runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3706788-1338118105/watcher-3706788-1338118105 -o /tmp/evaluation-result-3706788-1338118105/solver-3706788-1338118105 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706788-1338118105.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.04 2.00 2/174 23561
/proc/meminfo: memFree=28286304/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 834 0 0 0 0 0 0 0 20 0 1 0 277935975 7405568 756 33554432000 4194304 8973514 140735850825728 140735850825224 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 1808 756 413 1167 0 589 0
[startup+0.0582559 s]
/proc/loadavg: 2.04 2.04 2.00 2/174 23561
/proc/meminfo: memFree=28286304/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=10304 CPUtime=0.05 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 1642 0 0 0 5 0 0 0 20 0 1 0 277935975 10551296 1564 33554432000 4194304 8973514 140735850825728 140735850824992 4212523 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 2576 1569 418 1167 0 1357 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10304
[startup+0.100241 s]
/proc/loadavg: 2.04 2.04 2.00 2/174 23561
/proc/meminfo: memFree=28286304/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 2611 0 0 0 9 0 0 0 20 0 1 0 277935975 13697024 2533 33554432000 4194304 8973514 140735850825728 140735850824992 7858672 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 3344 2533 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300231 s]
/proc/loadavg: 2.04 2.04 2.00 2/174 23561
/proc/meminfo: memFree=28286304/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=26688 CPUtime=0.29 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 5939 0 0 0 28 1 0 0 20 0 1 0 277935975 27328512 5861 33554432000 4194304 8973514 140735850825728 140735850824992 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 6672 5861 418 1167 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26688
[startup+0.700272 s]
/proc/loadavg: 2.04 2.04 2.00 2/174 23561
/proc/meminfo: memFree=28286304/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=62528 CPUtime=0.69 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 14858 0 0 0 67 2 0 0 20 0 1 0 277935975 64028672 14780 33554432000 4194304 8973514 140735850825728 140735850824992 4213859 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 15632 14788 418 1167 0 14413 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62528
[startup+1.50027 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 23600
/proc/meminfo: memFree=28143232/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=114752 CPUtime=1.49 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 27967 0 0 0 144 5 0 0 20 0 1 0 277935975 117506048 27889 33554432000 4194304 8973514 140735850825728 140735850823680 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 28688 27889 425 1167 0 27469 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 114752
[startup+3.10024 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 23600
/proc/meminfo: memFree=28044380/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=127040 CPUtime=3.09 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 31071 0 0 0 303 6 0 0 20 0 1 0 277935975 130088960 30993 33554432000 4194304 8973514 140735850825728 140735850823680 4208816 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 31760 30993 456 1167 0 30541 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 127040
[startup+6.30024 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 23600
/proc/meminfo: memFree=28042824/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=128064 CPUtime=6.29 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 31114 0 0 0 622 7 0 0 20 0 1 0 277935975 131137536 31036 33554432000 4194304 8973514 140735850825728 140735850823680 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 32016 31036 456 1167 0 30797 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 128064
[startup+12.7002 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 23600
/proc/meminfo: memFree=28004124/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=146496 CPUtime=12.68 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 35907 0 0 0 1260 8 0 0 20 0 1 0 277935975 150011904 35824 33554432000 4194304 8973514 140735850825728 140735850825224 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 36624 35824 456 1167 0 35405 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 146496
[startup+25.5002 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 23600
/proc/meminfo: memFree=27931852/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=179264 CPUtime=25.48 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 44034 0 0 0 2536 12 0 0 20 0 1 0 277935975 183566336 43943 33554432000 4194304 8973514 140735850825728 140735850825224 4447287 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 44816 43943 456 1167 0 43597 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 179264
[startup+51.1003 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 23600
/proc/meminfo: memFree=27806704/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=234560 CPUtime=51.06 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 57921 0 0 0 5087 19 0 0 20 0 1 0 277935975 240189440 57817 33554432000 4194304 8973514 140735850825728 140735850824992 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 58640 57817 456 1167 0 57421 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 234560
[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 23603
/proc/meminfo: memFree=27602848/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=319552 CPUtime=102.24 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 79033 0 0 0 10191 33 0 0 20 0 1 0 277935975 327221248 78898 33554432000 4194304 8973514 140735850825728 140735850824992 4213859 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 79888 78898 456 1167 0 78669 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 319552
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 23603
/proc/meminfo: memFree=27447244/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=383040 CPUtime=162.18 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 95005 0 0 0 16175 43 0 0 20 0 1 0 277935975 392232960 94822 33554432000 4194304 8973514 140735850825728 140735850825224 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 95760 94822 456 1167 0 94541 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 383040
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 23603
/proc/meminfo: memFree=27308280/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=432192 CPUtime=222.13 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 107509 0 0 0 22162 51 0 0 20 0 1 0 277935975 442564608 107281 33554432000 4194304 8973514 140735850825728 140735850824992 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 108048 107281 456 1167 0 106829 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 432192
[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 23604
/proc/meminfo: memFree=27186320/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=478272 CPUtime=282.1 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 118819 0 0 0 28152 58 0 0 20 0 1 0 277935975 489750528 118559 33554432000 4194304 8973514 140735850825728 140735850823936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 119568 118559 456 1167 0 118349 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 478272
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 23604
/proc/meminfo: memFree=27082604/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=516160 CPUtime=342.09 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 128371 0 0 0 34145 64 0 0 20 0 1 0 277935975 528547840 128108 33554432000 4194304 8973514 140735850825728 140735850824992 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 129040 128108 456 1167 0 127821 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 516160
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 23604
/proc/meminfo: memFree=27005256/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=552000 CPUtime=402.08 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 137440 0 0 0 40139 69 0 0 20 0 1 0 277935975 565248000 137177 33554432000 4194304 8973514 140735850825728 140735850823680 4459404 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 138000 137177 456 1167 0 136781 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 552000
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23604
/proc/meminfo: memFree=26917616/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=582720 CPUtime=462.07 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 145058 0 0 0 46132 75 0 0 20 0 1 0 277935975 596705280 144795 33554432000 4194304 8973514 140735850825728 140735850824992 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 145680 144795 456 1167 0 144461 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 582720
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23604
/proc/meminfo: memFree=26839044/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=617536 CPUtime=522.06 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 153640 0 0 0 52126 80 0 0 20 0 1 0 277935975 632356864 153377 33554432000 4194304 8973514 140735850825728 140735850823936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 154384 153377 456 1167 0 153165 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 617536
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23605
/proc/meminfo: memFree=26766144/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=651328 CPUtime=582.05 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 162328 0 0 0 58119 86 0 0 20 0 1 0 277935975 666959872 162065 33554432000 4194304 8973514 140735850825728 140735850825224 4204378 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 162832 162065 456 1167 0 161613 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 651328
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23608
/proc/meminfo: memFree=26530320/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=764992 CPUtime=822.02 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 190573 0 0 0 82095 107 0 0 20 0 1 0 277935975 783351808 190310 33554432000 4194304 8973514 140735850825728 140735850823936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 191248 190310 456 1167 0 190029 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 764992
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23609
/proc/meminfo: memFree=26460908/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=799808 CPUtime=882.01 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 199314 0 0 0 88088 113 0 0 20 0 1 0 277935975 819003392 199051 33554432000 4194304 8973514 140735850825728 140735850823936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 199952 199051 456 1167 0 198733 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 799808
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23609
/proc/meminfo: memFree=26410360/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=826432 CPUtime=942 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 206090 0 0 0 94083 117 0 0 20 0 1 0 277935975 846266368 205827 33554432000 4194304 8973514 140735850825728 140735850823936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 206608 205827 456 1167 0 205389 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 826432
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23609
/proc/meminfo: memFree=26358768/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=855104 CPUtime=1001.99 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 213127 0 0 0 100078 121 0 0 20 0 1 0 277935975 875626496 212864 33554432000 4194304 8973514 140735850825728 140735850823936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 213776 212864 456 1167 0 212557 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 855104
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23609
/proc/meminfo: memFree=26305944/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=883776 CPUtime=1061.98 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 220264 0 0 0 106073 125 0 0 20 0 1 0 277935975 904986624 220001 33554432000 4194304 8973514 140735850825728 140735850824992 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 220944 220001 456 1167 0 219725 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 883776
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23609
/proc/meminfo: memFree=26254736/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=911424 CPUtime=1121.97 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 227334 0 0 0 112068 129 0 0 20 0 1 0 277935975 933298176 227071 33554432000 4194304 8973514 140735850825728 140735850824992 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 227856 227071 456 1167 0 226637 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 911424
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23610
/proc/meminfo: memFree=26210096/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=931904 CPUtime=1181.97 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 232472 0 0 0 118063 134 0 0 20 0 1 0 277935975 954269696 232209 33554432000 4194304 8973514 140735850825728 140735850823872 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 232976 232209 456 1167 0 231757 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 931904
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23610
/proc/meminfo: memFree=26153240/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=961600 CPUtime=1241.96 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 239834 0 0 0 124057 139 0 0 20 0 1 0 277935975 984678400 239570 33554432000 4194304 8973514 140735850825728 140735850824992 4209220 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 240400 239570 456 1167 0 239181 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 961600
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23613
/proc/meminfo: memFree=26105980/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=983104 CPUtime=1301.91 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 245154 0 0 0 130049 142 0 0 20 0 1 0 277935975 1006698496 244844 33554432000 4194304 8973514 140735850825728 140735850823744 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 245776 244844 456 1167 0 244557 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 983104
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23613
/proc/meminfo: memFree=26058604/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=1004608 CPUtime=1361.85 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 250487 0 0 0 136039 146 0 0 20 0 1 0 277935975 1028718592 250136 33554432000 4194304 8973514 140735850825728 140735850823936 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 251152 250136 456 1167 0 249933 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1004608
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23613
/proc/meminfo: memFree=26022036/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=1027136 CPUtime=1421.83 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 256198 0 0 0 142033 150 0 0 20 0 1 0 277935975 1051787264 255812 33554432000 4194304 8973514 140735850825728 140735850823936 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 256784 255812 456 1167 0 255565 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1027136
[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 23614
/proc/meminfo: memFree=25974340/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=1047616 CPUtime=1481.79 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 261546 0 0 0 148026 153 0 0 20 0 1 0 277935975 1072758784 261129 33554432000 4194304 8973514 140735850825728 140735850824992 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 261904 261129 456 1167 0 260685 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1047616
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 23614
/proc/meminfo: memFree=25948936/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=1058880 CPUtime=1541.76 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 264387 0 0 0 154020 156 0 0 20 0 1 0 277935975 1084293120 263953 33554432000 4194304 8973514 140735850825728 140735850824992 6573583 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 264720 263953 456 1167 0 263501 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1058880
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23614
/proc/meminfo: memFree=25899008/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=1081408 CPUtime=1601.75 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 269964 0 0 0 160015 160 0 0 20 0 1 0 277935975 1107361792 269519 33554432000 4194304 8973514 140735850825728 140735850823936 7681392 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 270352 269519 456 1167 0 269133 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1081408
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23614
/proc/meminfo: memFree=25861284/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=1105984 CPUtime=1661.74 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 275934 0 0 0 166011 163 0 0 20 0 1 0 277935975 1132527616 275489 33554432000 4194304 8973514 140735850825728 140735850823936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 276496 275489 456 1167 0 275277 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1105984
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23614
/proc/meminfo: memFree=25818876/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=1118272 CPUtime=1721.73 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 279082 0 0 0 172007 166 0 0 20 0 1 0 277935975 1145110528 278637 33554432000 4194304 8973514 140735850825728 140735850823936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 279568 278637 456 1167 0 278349 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1118272
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23615
/proc/meminfo: memFree=25779568/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=1142848 CPUtime=1781.73 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 285167 0 0 0 178003 170 0 0 20 0 1 0 277935975 1170276352 284722 33554432000 4194304 8973514 140735850825728 140735850823936 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 285712 284722 456 1167 0 284493 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1142848
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23615
/proc/meminfo: memFree=25764440/32873648 swapFree=7104/7104
[pid=23561] ppid=23559 vsize=1142848 CPUtime=1800.03 cores=1,3,5,7
/proc/23561/stat : 23561 (toysat) R 23559 23561 20135 0 -1 4202496 285167 0 0 0 179833 170 0 0 20 0 1 0 277935975 1170276352 284722 33554432000 4194304 8973514 140735850825728 140735850824992 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23561/statm: 285712 284722 456 1167 0 284493 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1142848
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.62
CPU time (s): 1800.05
CPU user time (s): 1798.34
CPU system time (s): 1.71674
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 1142848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.34
system time used= 1.71674
maximum resident set size= 1138888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285167
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= 370
involuntary context switches= 1855
runsolver used 3.33249 second user time and 8.74367 second system time
The end