runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/inescp-1.0/rand14ba69.cudf.difficult.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/difficult//rand14ba69.cudf /home/misc2010/tmp/201007051419/inescp-1.0/rand14ba69.cudf.difficult.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.02 1.04 1.04 1/95 28813 /proc/meminfo: memFree=1246092/2097152 swapFree=2055676/2097144 [pid=28813] ppid=28812 vsize=2376 CPUtime=0 /proc/28813/stat : 28813 (inescp-1.0) S 28812 28813 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 22 0 1 0 415648766 2433024 258 1283457024 134512640 135191968 4289303344 18446744073709551615 4159216270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28813/statm: 594 258 221 166 0 26 0 [pid=28814] ppid=28813 vsize=3268 CPUtime=0 /proc/28814/stat : 28814 (cudf-solver.py) R 28813 28813 13759 34823 13904 4194304 302 0 0 0 0 0 0 0 23 0 1 0 415648767 3346432 228 1283457024 134512640 135539072 4289901520 18446744073709551615 134800287 0 0 0 0 0 0 0 17 0 0 0 0 /proc/28814/statm: 817 229 185 251 0 118 0 [startup+0.206159 s] /proc/loadavg: 1.02 1.04 1.04 1/95 28813 /proc/meminfo: memFree=1246092/2097152 swapFree=2055676/2097144 [pid=28813] ppid=28812 vsize=2376 CPUtime=0 /proc/28813/stat : 28813 (inescp-1.0) S 28812 28813 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 22 0 1 0 415648766 2433024 258 1283457024 134512640 135191968 4289303344 18446744073709551615 4159216270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28813/statm: 594 258 221 166 0 26 0 [pid=28814] ppid=28813 vsize=3996 CPUtime=0 /proc/28814/stat : 28814 (cudf-solver.py) S 28813 28813 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 23 0 1 0 415648767 4091904 641 1283457024 134512640 135539072 4289901520 18446744073709551615 4158859918 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28814/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+0.304149 s] /proc/loadavg: 1.02 1.04 1.04 1/95 28813 /proc/meminfo: memFree=1246092/2097152 swapFree=2055676/2097144 [pid=28813] ppid=28812 vsize=2376 CPUtime=0 /proc/28813/stat : 28813 (inescp-1.0) S 28812 28813 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 22 0 1 0 415648766 2433024 258 1283457024 134512640 135191968 4289303344 18446744073709551615 4159216270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28813/statm: 594 258 221 166 0 26 0 [pid=28814] ppid=28813 vsize=3996 CPUtime=0 /proc/28814/stat : 28814 (cudf-solver.py) S 28813 28813 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 23 0 1 0 415648767 4091904 641 1283457024 134512640 135539072 4289901520 18446744073709551615 4158859918 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28814/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+0.40415 s] /proc/loadavg: 1.02 1.04 1.04 1/95 28813 /proc/meminfo: memFree=1246092/2097152 swapFree=2055676/2097144 [pid=28813] ppid=28812 vsize=2376 CPUtime=0 /proc/28813/stat : 28813 (inescp-1.0) S 28812 28813 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 22 0 1 0 415648766 2433024 258 1283457024 134512640 135191968 4289303344 18446744073709551615 4159216270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28813/statm: 594 258 221 166 0 26 0 [pid=28814] ppid=28813 vsize=3996 CPUtime=0 /proc/28814/stat : 28814 (cudf-solver.py) S 28813 28813 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 23 0 1 0 415648767 4091904 641 1283457024 134512640 135539072 4289901520 18446744073709551615 4158859918 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28814/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+0.710857 s] /proc/loadavg: 1.02 1.04 1.04 1/95 28813 /proc/meminfo: memFree=1246092/2097152 swapFree=2055676/2097144 [pid=28813] ppid=28812 vsize=2376 CPUtime=0 /proc/28813/stat : 28813 (inescp-1.0) S 28812 28813 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 22 0 1 0 415648766 2433024 258 1283457024 134512640 135191968 4289303344 18446744073709551615 4159216270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28813/statm: 594 258 221 166 0 26 0 [pid=28814] ppid=28813 vsize=3996 CPUtime=0 /proc/28814/stat : 28814 (cudf-solver.py) S 28813 28813 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 23 0 1 0 415648767 4091904 641 1283457024 134512640 135539072 4289901520 18446744073709551615 4158859918 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28814/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+1.50418 s] /proc/loadavg: 1.02 1.04 1.04 2/109 28827 /proc/meminfo: memFree=1169224/2097152 swapFree=2055676/2097144 [pid=28813] ppid=28812 vsize=2376 CPUtime=0 /proc/28813/stat : 28813 (inescp-1.0) S 28812 28813 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 22 0 1 0 415648766 2433024 258 1283457024 134512640 135191968 4289303344 18446744073709551615 4159216270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28813/statm: 594 258 221 166 0 26 0 [pid=28814] ppid=28813 vsize=3996 CPUtime=0 /proc/28814/stat : 28814 (cudf-solver.py) S 28813 28813 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 23 0 1 0 415648767 4091904 641 1283457024 134512640 135539072 4289901520 18446744073709551615 4158859918 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28814/statm: 999 641 346 251 0 300 0 [pid=28816] ppid=28814 vsize=868216 CPUtime=2.23 /proc/28816/stat : 28816 (java) S 28814 28813 13759 34823 13904 4202496 27541 0 0 0 213 10 0 0 17 0 12 0 415648769 889053184 23332 1283457024 134512640 134550932 4294408032 18446744073709551615 4160230546 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28816/statm: 217054 23332 1745 10 0 214141 0 [pid=28816/tid=28817] ppid=28814 vsize=868216 CPUtime=1.01 /proc/28816/task/28817/stat : 28817 (java) R 28814 28813 13759 34823 13904 4202560 9270 0 0 0 96 5 0 0 15 0 12 0 415648771 889053184 23332 1283457024 134512640 134550932 4294408032 18446744073709551615 4160255345 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=28816/tid=28818] ppid=28814 vsize=868216 CPUtime=0.16 /proc/28816/task/28818/stat : 28818 (java) S 28814 28813 13759 34823 13904 4202560 6027 0 0 0 16 0 0 0 16 0 12 0 415648771 889053184 23332 1283457024 134512640 134550932 4294408032 18446744073709551615 4160243952 0 4 0 16800975 18446612133612605696 0 0 -1 1 0 0 0 [pid=28816/tid=28819] ppid=28814 vsize=868216 CPUtime=0.13 /proc/28816/task/28819/stat : 28819 (java) S 28814 28813 13759 34823 13904 4202560 5211 0 0 0 10 3 0 0 15 0 12 0 415648771 889053184 23332 1283457024 134512640 134550932 4294408032 18446744073709551615 4160243952 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=28816/tid=28820] ppid=28814 vsize=868216 CPUtime=0.07 /proc/28816/task/28820/stat : 28820 (java) S 28814 28813 13759 34823 13904 4202560 114 0 0 0 7 0 0 0 15 0 12 0 415648773 889053184 23332 1283457024 134512640 134550932 4294408032 18446744073709551615 4160244744 0 0 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=28816/tid=28821] ppid=28814 vsize=868216 CPUtime=0 /proc/28816/task/28821/stat : 28821 (java) S 28814 28813 13759 34823 13904 4202560 14 0 0 0 0 0 0 0 15 0 12 0 415648773 889053184 23332 1283457024 134512640 134550932 4294408032 18446744073709551615 4160243952 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=28816/tid=28822] ppid=28814 vsize=868216 CPUtime=0 /proc/28816/task/28822/stat : 28822 (java) S 28814 28813 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 415648773 889053184 23332 1283457024 134512640 134550932 4294408032 18446744073709551615 4160243952 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=28816/tid=28823] ppid=28814 vsize=868216 CPUtime=0 /proc/28816/task/28823/stat : 28823 (java) S 28814 28813 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 24 0 12 0 415648776 889053184 23332 1283457024 134512640 134550932 4294408032 18446744073709551615 4160252240 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=28816/tid=28824] ppid=28814 vsize=868216 CPUtime=0.41 /proc/28816/task/28824/stat : 28824 (java) S 28814 28813 13759 34823 13904 4202560 2272 0 0 0 41 0 0 0 15 0 12 0 415648776 889053184 23332 1283457024 134512640 134550932 4294408032 18446744073709551615 4160243952 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=28816/tid=28825] ppid=28814 vsize=868216 CPUtime=0.41 /proc/28816/task/28825/stat : 28825 (java) S 28814 28813 13759 34823 13904 4202560 3241 0 0 0 41 0 0 0 15 0 12 0 415648776 889053184 23332 1283457024 134512640 134550932 4294408032 18446744073709551615 4160243952 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=28816/tid=28826] ppid=28814 vsize=868216 CPUtime=0 /proc/28816/task/28826/stat : 28826 (java) S 28814 28813 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 12 0 415648776 889053184 23332 1283457024 134512640 134550932 4294408032 18446744073709551615 4160243952 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=28816/tid=28827] ppid=28814 vsize=868216 CPUtime=0 /proc/28816/task/28827/stat : 28827 (java) S 28814 28813 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 15 0 12 0 415648776 889053184 23332 1283457024 134512640 134550932 4294408032 18446744073709551615 4160244744 0 4 0 16800975 18446612133612605696 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.23 Current children cumulated vsize (KiB) 874588 [startup+3.1043 s] /proc/loadavg: 1.02 1.04 1.04 5/109 28827 /proc/meminfo: memFree=1102636/2097152 swapFree=2055676/2097144 [pid=28813] ppid=28812 vsize=2376 CPUtime=0 /proc/28813/stat : 28813 (inescp-1.0) S 28812 28813 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 22 0 1 0 415648766 2433024 258 1283457024 134512640 135191968 4289303344 18446744073709551615 4159216270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28813/statm: 594 258 221 166 0 26 0 [pid=28814] ppid=28813 vsize=3996 CPUtime=0 /proc/28814/stat : 28814 (cudf-solver.py) S 28813 28813 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 23 0 1 0 415648767 4091904 641 1283457024 134512640 135539072 4289901520 18446744073709551615 4158859918 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28814/statm: 999 641 346 251 0 300 0 [pid=28816] ppid=28814 vsize=881228 CPUtime=4.94 /proc/28816/stat : 28816 (java) S 28814 28813 13759 34823 13904 4202496 52227 0 0 0 476 18 0 0 17 0 12 0 415648769 902377472 44733 1283457024 134512640 134550932 4294408032 18446744073709551615 4160230546 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28816/statm: 220307 44733 1778 10 0 217394 0 [pid=28816/tid=28817] ppid=28814 vsize=881228 CPUtime=2.06 /proc/28816/task/28817/stat : 28817 (java) R 28814 28813 13759 34823 13904 4202560 15884 0 0 0 200 6 0 0 16 0 12 0 415648771 902377472 44733 1283457024 134512640 134550932 4294408032 18446744073709551615 4149562778 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=28816/tid=28818] ppid=28814 vsize=881228 CPUtime=0.34 /proc/28816/task/28818/stat : 28818 (java) S 28814 28813 13759 34823 13904 4202560 11911 0 0 0 31 3 0 0 16 0 12 0 415648771 902377472 44733 1283457024 134512640 134550932 4294408032 18446744073709551615 4160243952 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=28816/tid=28819] ppid=28814 vsize=881228 CPUtime=0.26 /proc/28816/task/28819/stat : 28819 (java) S 28814 28813 13759 34823 13904 4202560 10490 0 0 0 21 5 0 0 16 0 12 0 415648771 902377472 44733 1283457024 134512640 134550932 4294408032 18446744073709551615 4160243952 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=28816/tid=28820] ppid=28814 vsize=881228 CPUtime=0.24 /proc/28816/task/28820/stat : 28820 (java) S 28814 28813 13759 34823 13904 4202560 2020 0 0 0 24 0 0 0 15 0 12 0 415648773 902377472 44733 1283457024 134512640 134550932 4294408032 18446744073709551615 4160244744 0 0 0 16800975 18446612133612605696 0 0 -1 1 0 0 0 [pid=28816/tid=28821] ppid=28814 vsize=881228 CPUtime=0 /proc/28816/task/28821/stat : 28821 (java) D 28814 28813 13759 34823 13904 4202560 14 0 0 0 0 0 0 0 15 0 12 0 415648773 902377472 44733 1283457024 134512640 134550932 4294408032 18446744073709551615 4160254663 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28816/tid=28822] ppid=28814 vsize=881228 CPUtime=0 /proc/28816/task/28822/stat : 28822 (java) S 28814 28813 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 415648773 902377472 44733 1283457024 134512640 134550932 4294408032 18446744073709551615 4160243952 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=28816/tid=28823] ppid=28814 vsize=881228 CPUtime=0 /proc/28816/task/28823/stat : 28823 (java) S 28814 28813 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 24 0 12 0 415648776 902377472 44733 1283457024 134512640 134550932 4294408032 18446744073709551615 4160252240 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=28816/tid=28824] ppid=28814 vsize=881228 CPUtime=1.08 /proc/28816/task/28824/stat : 28824 (java) D 28814 28813 13759 34823 13904 4202560 4038 0 0 0 108 0 0 0 16 0 12 0 415648776 902377472 44733 1283457024 134512640 134550932 4294408032 18446744073709551615 4159292044 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28816/tid=28825] ppid=28814 vsize=881228 CPUtime=0.92 /proc/28816/task/28825/stat : 28825 (java) R 28814 28813 13759 34823 13904 4202560 6478 0 0 0 90 2 0 0 16 0 12 0 415648776 902377472 44733 1283457024 134512640 134550932 4294408032 18446744073709551615 4159662868 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=28816/tid=28826] ppid=28814 vsize=881228 CPUtime=0 /proc/28816/task/28826/stat : 28826 (java) S 28814 28813 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 12 0 415648776 902377472 44733 1283457024 134512640 134550932 4294408032 18446744073709551615 4160243952 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 [pid=28816/tid=28827] ppid=28814 vsize=881228 CPUtime=0 /proc/28816/task/28827/stat : 28827 (java) S 28814 28813 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 16 0 12 0 415648776 902377472 44733 1283457024 134512640 134550932 4294408032 18446744073709551615 4159725326 0 4 0 16800975 18446612133612605696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.94 Current children cumulated vsize (KiB) 887600 [startup+6.30618 s] /proc/loadavg: 1.01 1.04 1.04 2/99 28832 /proc/meminfo: memFree=1209844/2097152 swapFree=2055676/2097144 [pid=28813] ppid=28812 vsize=2376 CPUtime=0 /proc/28813/stat : 28813 (inescp-1.0) S 28812 28813 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 22 0 1 0 415648766 2433024 258 1283457024 134512640 135191968 4289303344 18446744073709551615 4159216270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28813/statm: 594 258 221 166 0 26 0 [pid=28814] ppid=28813 vsize=3996 CPUtime=6.06 /proc/28814/stat : 28814 (cudf-solver.py) S 28813 28813 13759 34823 13904 4202496 812 53317 0 0 0 1 575 30 15 0 1 0 415648767 4091904 641 1283457024 134512640 135539072 4289901520 18446744073709551615 4158859918 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/28814/statm: 999 641 346 251 0 300 0 [pid=28831] ppid=28814 vsize=2888 CPUtime=0 /proc/28831/stat : 28831 (sh) S 28814 28813 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415649179 2957312 321 1283457024 134512640 135191968 4293466000 18446744073709551615 4159023758 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28831/statm: 722 321 219 166 0 154 0 [pid=28832] ppid=28831 vsize=32720 CPUtime=2.16 /proc/28832/stat : 28832 (msuncore) R 28831 28813 13759 34823 13904 4202496 18830 0 0 0 206 10 0 0 23 0 1 0 415649180 33505280 7941 1283457024 134512640 135858300 4290479312 18446744073709551615 135401313 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/28832/statm: 8180 7941 137 329 0 7849 0 Current children cumulated CPU time (s) 8.22 Current children cumulated vsize (KiB) 41980 Solver just ended. Dumping a history of the last processes samples [startup+6.50609 s] /proc/loadavg: 1.01 1.04 1.04 2/99 28832 /proc/meminfo: memFree=1209844/2097152 swapFree=2055676/2097144 [pid=28813] ppid=28812 vsize=2376 CPUtime=0 /proc/28813/stat : 28813 (inescp-1.0) S 28812 28813 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 22 0 1 0 415648766 2433024 258 1283457024 134512640 135191968 4289303344 18446744073709551615 4159216270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28813/statm: 594 258 221 166 0 26 0 [pid=28814] ppid=28813 vsize=3996 CPUtime=6.06 /proc/28814/stat : 28814 (cudf-solver.py) S 28813 28813 13759 34823 13904 4202496 812 53317 0 0 0 1 575 30 15 0 1 0 415648767 4091904 641 1283457024 134512640 135539072 4289901520 18446744073709551615 4158859918 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/28814/statm: 999 641 346 251 0 300 0 [pid=28831] ppid=28814 vsize=2888 CPUtime=0 /proc/28831/stat : 28831 (sh) S 28814 28813 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415649179 2957312 321 1283457024 134512640 135191968 4293466000 18446744073709551615 4159023758 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28831/statm: 722 321 219 166 0 154 0 [pid=28832] ppid=28831 vsize=32720 CPUtime=2.36 /proc/28832/stat : 28832 (msuncore) R 28831 28813 13759 34823 13904 4202496 18830 0 0 0 226 10 0 0 24 0 1 0 415649180 33505280 7941 1283457024 134512640 135858300 4290479312 18446744073709551615 134658864 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/28832/statm: 8180 7941 137 329 0 7849 0 Current children cumulated CPU time (s) 8.42 Current children cumulated vsize (KiB) 41980 [startup+9.70622 s] /proc/loadavg: 1.01 1.04 1.04 2/99 28833 /proc/meminfo: memFree=1209224/2097152 swapFree=2055676/2097144 [pid=28813] ppid=28812 vsize=2376 CPUtime=0 /proc/28813/stat : 28813 (inescp-1.0) S 28812 28813 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 22 0 1 0 415648766 2433024 258 1283457024 134512640 135191968 4289303344 18446744073709551615 4159216270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28813/statm: 594 258 221 166 0 26 0 [pid=28814] ppid=28813 vsize=3996 CPUtime=6.06 /proc/28814/stat : 28814 (cudf-solver.py) S 28813 28813 13759 34823 13904 4202496 812 53317 0 0 0 1 575 30 15 0 1 0 415648767 4091904 641 1283457024 134512640 135539072 4289901520 18446744073709551615 4158859918 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/28814/statm: 999 641 346 251 0 300 0 [pid=28831] ppid=28814 vsize=2888 CPUtime=0 /proc/28831/stat : 28831 (sh) S 28814 28813 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415649179 2957312 321 1283457024 134512640 135191968 4293466000 18446744073709551615 4159023758 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28831/statm: 722 321 219 166 0 154 0 [pid=28832] ppid=28831 vsize=32720 CPUtime=5.55 /proc/28832/stat : 28832 (msuncore) R 28831 28813 13759 34823 13904 4202496 18830 0 0 0 545 10 0 0 25 0 1 0 415649180 33505280 7941 1283457024 134512640 135858300 4290479312 18446744073709551615 135401313 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/28832/statm: 8180 7941 137 329 0 7849 0 Current children cumulated CPU time (s) 11.61 Current children cumulated vsize (KiB) 41980 [startup+10.5063 s] /proc/loadavg: 1.01 1.04 1.04 2/99 28833 /proc/meminfo: memFree=1209224/2097152 swapFree=2055676/2097144 [pid=28813] ppid=28812 vsize=2376 CPUtime=0 /proc/28813/stat : 28813 (inescp-1.0) S 28812 28813 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 22 0 1 0 415648766 2433024 258 1283457024 134512640 135191968 4289303344 18446744073709551615 4159216270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28813/statm: 594 258 221 166 0 26 0 [pid=28814] ppid=28813 vsize=3996 CPUtime=6.06 /proc/28814/stat : 28814 (cudf-solver.py) S 28813 28813 13759 34823 13904 4202496 812 53317 0 0 0 1 575 30 15 0 1 0 415648767 4091904 641 1283457024 134512640 135539072 4289901520 18446744073709551615 4158859918 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/28814/statm: 999 641 346 251 0 300 0 [pid=28831] ppid=28814 vsize=2888 CPUtime=0 /proc/28831/stat : 28831 (sh) S 28814 28813 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415649179 2957312 321 1283457024 134512640 135191968 4293466000 18446744073709551615 4159023758 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28831/statm: 722 321 219 166 0 154 0 [pid=28832] ppid=28831 vsize=32720 CPUtime=6.35 /proc/28832/stat : 28832 (msuncore) R 28831 28813 13759 34823 13904 4202496 18830 0 0 0 625 10 0 0 25 0 1 0 415649180 33505280 7941 1283457024 134512640 135858300 4290479312 18446744073709551615 134626105 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/28832/statm: 8180 7941 137 329 0 7849 0 Current children cumulated CPU time (s) 12.41 Current children cumulated vsize (KiB) 41980 [startup+10.9063 s] /proc/loadavg: 1.01 1.04 1.04 2/99 28833 /proc/meminfo: memFree=1209224/2097152 swapFree=2055676/2097144 [pid=28813] ppid=28812 vsize=2376 CPUtime=0 /proc/28813/stat : 28813 (inescp-1.0) S 28812 28813 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 22 0 1 0 415648766 2433024 258 1283457024 134512640 135191968 4289303344 18446744073709551615 4159216270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28813/statm: 594 258 221 166 0 26 0 [pid=28814] ppid=28813 vsize=3996 CPUtime=6.06 /proc/28814/stat : 28814 (cudf-solver.py) S 28813 28813 13759 34823 13904 4202496 812 53317 0 0 0 1 575 30 15 0 1 0 415648767 4091904 641 1283457024 134512640 135539072 4289901520 18446744073709551615 4158859918 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/28814/statm: 999 641 346 251 0 300 0 [pid=28831] ppid=28814 vsize=2888 CPUtime=0 /proc/28831/stat : 28831 (sh) S 28814 28813 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415649179 2957312 321 1283457024 134512640 135191968 4293466000 18446744073709551615 4159023758 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28831/statm: 722 321 219 166 0 154 0 [pid=28832] ppid=28831 vsize=32720 CPUtime=6.75 /proc/28832/stat : 28832 (msuncore) R 28831 28813 13759 34823 13904 4202496 18830 0 0 0 665 10 0 0 25 0 1 0 415649180 33505280 7941 1283457024 134512640 135858300 4290479312 18446744073709551615 135400398 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/28832/statm: 8180 7941 137 329 0 7849 0 Current children cumulated CPU time (s) 12.81 Current children cumulated vsize (KiB) 41980 [startup+11.1063 s] /proc/loadavg: 1.01 1.04 1.04 2/97 28833 /proc/meminfo: memFree=1238396/2097152 swapFree=2055676/2097144 [pid=28813] ppid=28812 vsize=2376 CPUtime=0 /proc/28813/stat : 28813 (inescp-1.0) S 28812 28813 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 22 0 1 0 415648766 2433024 258 1283457024 134512640 135191968 4289303344 18446744073709551615 4159216270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28813/statm: 594 258 221 166 0 26 0 [pid=28814] ppid=28813 vsize=6392 CPUtime=13.02 /proc/28814/stat : 28814 (cudf-solver.py) R 28813 28813 13759 34823 13904 4202496 1583 72527 0 0 3 1 1258 40 15 0 1 0 415648767 6545408 1226 1283457024 134512640 135539072 4289901520 18446744073709551615 4158398289 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/28814/statm: 1598 1226 346 251 0 899 0 Current children cumulated CPU time (s) 13.02 Current children cumulated vsize (KiB) 8768 Child status: 0 Real time (s): 11.1722 CPU time (s): 13.0808 CPU user time (s): 12.6608 CPU system time (s): 0.420026 CPU usage (%): 117.083 Max. virtual memory (cumulated for all children) (KiB): 888560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.6608 system time used= 0.420026 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75860 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 640 involuntary context switches= 332 runsolver used 0 second user time and 0.008 second system time The end