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-3724279-1338631508/watcher-3724279-1338631508 -o /tmp/evaluation-result-3724279-1338631508/solver-3724279-1338631508 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724279-1338631508.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: 0.06 0.02 0.00 3/176 27869
/proc/meminfo: memFree=29864256/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 829 0 0 0 0 0 0 0 20 0 1 0 329276252 6373376 749 33554432000 4194304 8989770 140736671185600 140736671185096 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 1556 749 428 1171 0 333 0
[startup+0.02986 s]
/proc/loadavg: 0.06 0.02 0.00 3/176 27869
/proc/meminfo: memFree=29864256/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=8272 CPUtime=0.02 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 1264 0 0 0 2 0 0 0 20 0 1 0 329276252 8470528 1184 33554432000 4194304 8989770 140736671185600 140736671185096 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 2068 1184 429 1171 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8272
[startup+0.100239 s]
/proc/loadavg: 0.06 0.02 0.00 3/176 27869
/proc/meminfo: memFree=29864256/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=13392 CPUtime=0.09 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 2448 0 0 0 9 0 0 0 20 0 1 0 329276252 13713408 2369 33554432000 4194304 8989770 140736671185600 140736671185096 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 3348 2376 429 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.300231 s]
/proc/loadavg: 0.06 0.02 0.00 3/176 27869
/proc/meminfo: memFree=29864256/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=24656 CPUtime=0.29 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 5441 0 0 0 28 1 0 0 20 0 1 0 329276252 25247744 5361 33554432000 4194304 8989770 140736671185600 140736671185096 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 6164 5361 431 1171 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24656
[startup+0.700228 s]
/proc/loadavg: 0.06 0.02 0.00 3/176 27869
/proc/meminfo: memFree=29864256/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=49232 CPUtime=0.69 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 11585 0 0 0 66 3 0 0 20 0 1 0 329276252 50413568 11505 33554432000 4194304 8989770 140736671185600 140736671185096 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 12308 11505 431 1171 0 11085 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49232
[startup+1.50029 s]
/proc/loadavg: 0.22 0.05 0.01 3/177 27870
/proc/meminfo: memFree=29794664/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=85072 CPUtime=1.49 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 20579 0 0 0 144 5 0 0 20 0 1 0 329276252 87113728 20499 33554432000 4194304 8989770 140736671185600 140736671185096 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 21268 20499 459 1171 0 20045 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85072
[startup+3.10026 s]
/proc/loadavg: 0.22 0.05 0.01 2/172 27894
/proc/meminfo: memFree=29808644/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=66640 CPUtime=3.09 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 20579 0 0 0 303 6 0 0 20 0 1 0 329276252 68239360 15891 33554432000 4194304 8989770 140736671185600 140736671184864 4209206 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 16660 15891 459 1171 0 15437 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66640
[startup+6.30024 s]
/proc/loadavg: 0.22 0.05 0.01 3/177 27908
/proc/meminfo: memFree=29792892/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=66640 CPUtime=6.29 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 20579 0 0 0 622 7 0 0 20 0 1 0 329276252 68239360 15891 33554432000 4194304 8989770 140736671185600 140736671185096 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 16660 15891 459 1171 0 15437 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66640
[startup+12.7002 s]
/proc/loadavg: 0.57 0.13 0.04 3/177 27908
/proc/meminfo: memFree=29781644/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=75856 CPUtime=12.68 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 22890 0 0 0 1258 10 0 0 20 0 1 0 329276252 77676544 18200 33554432000 4194304 8989770 140736671185600 140736671185096 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 18964 18200 459 1171 0 17741 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 75856
[startup+25.5002 s]
/proc/loadavg: 0.79 0.19 0.06 3/177 27908
/proc/meminfo: memFree=29755860/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=100432 CPUtime=25.46 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 29041 0 0 0 2531 15 0 0 20 0 1 0 329276252 102842368 24344 33554432000 4194304 8989770 140736671185600 140736671183552 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 25108 24344 459 1171 0 23885 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 100432
[startup+51.1003 s]
/proc/loadavg: 1.20 0.33 0.11 3/177 27946
/proc/meminfo: memFree=29567028/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=144464 CPUtime=51.05 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 39936 0 0 0 5078 27 0 0 20 0 1 0 329276252 147931136 35218 33554432000 4194304 8989770 140736671185600 140736671184864 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 36116 35218 459 1171 0 34893 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 144464
[startup+102.307 s]
/proc/loadavg: 1.68 0.61 0.22 3/177 27947
/proc/meminfo: memFree=28933148/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=191568 CPUtime=102.23 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 51706 0 0 0 10178 45 0 0 20 0 1 0 329276252 196165632 46957 33554432000 4194304 8989770 140736671185600 140736671185096 4371280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 47892 46957 459 1171 0 46669 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 191568
[startup+162.3 s]
/proc/loadavg: 1.88 0.86 0.33 3/177 27947
/proc/meminfo: memFree=28890688/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=233552 CPUtime=162.19 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 62391 0 0 0 16157 62 0 0 20 0 1 0 329276252 239157248 57624 33554432000 4194304 8989770 140736671185600 140736671184864 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 58388 57624 459 1171 0 57165 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 233552
[startup+222.3 s]
/proc/loadavg: 1.95 1.07 0.43 3/177 27947
/proc/meminfo: memFree=28858140/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=266320 CPUtime=222.19 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 70425 0 0 0 22140 79 0 0 20 0 1 0 329276252 272711680 65658 33554432000 4194304 8989770 140736671185600 140736671184864 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 66580 65658 459 1171 0 65357 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 266320
[startup+282.3 s]
/proc/loadavg: 1.98 1.23 0.52 3/177 27947
/proc/meminfo: memFree=28824936/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=299088 CPUtime=282.18 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 78775 0 0 0 28126 92 0 0 20 0 1 0 329276252 306266112 74008 33554432000 4194304 8989770 140736671185600 140736671183552 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 74772 74008 459 1171 0 73549 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 299088
[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.61 3/178 27950
/proc/meminfo: memFree=28798680/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=325712 CPUtime=342.17 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 85254 0 0 0 34112 105 0 0 20 0 1 0 329276252 333529088 80487 33554432000 4194304 8989770 140736671185600 140736671184864 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 81428 80487 459 1171 0 80205 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 325712
[startup+402.3 s]
/proc/loadavg: 1.99 1.48 0.70 3/177 27951
/proc/meminfo: memFree=28761392/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=362576 CPUtime=402.16 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 94516 0 0 0 40099 117 0 0 20 0 1 0 329276252 371277824 89749 33554432000 4194304 8989770 140736671185600 140736671184864 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 90644 89749 459 1171 0 89421 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 362576
[startup+462.3 s]
/proc/loadavg: 1.99 1.57 0.78 3/177 27951
/proc/meminfo: memFree=28728436/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=395344 CPUtime=462.14 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 102816 0 0 0 46085 129 0 0 20 0 1 0 329276252 404832256 98049 33554432000 4194304 8989770 140736671185600 140736671184864 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 98836 98049 459 1171 0 97613 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 395344
[startup+522.3 s]
/proc/loadavg: 2.05 1.66 0.85 3/177 27951
/proc/meminfo: memFree=28695976/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=428112 CPUtime=522.14 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 110923 0 0 0 52072 142 0 0 20 0 1 0 329276252 438386688 106156 33554432000 4194304 8989770 140736671185600 140736671184864 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 107028 106156 459 1171 0 105805 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 428112
[startup+582.3 s]
/proc/loadavg: 2.10 1.74 0.93 3/177 27951
/proc/meminfo: memFree=28665756/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=457808 CPUtime=582.13 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 118434 0 0 0 58060 153 0 0 20 0 1 0 329276252 468795392 113667 33554432000 4194304 8989770 140736671185600 140736671184864 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 114452 113667 459 1171 0 113229 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 457808
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 1.89 1.21 3/177 27952
/proc/meminfo: memFree=28552108/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=570448 CPUtime=882 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 146733 0 0 0 87998 202 0 0 20 0 1 0 329276252 584138752 141848 33554432000 4194304 8989770 140736671185600 140736671184864 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 142612 141848 459 1171 0 141389 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 570448
[startup+942.3 s]
/proc/loadavg: 2.00 1.91 1.26 3/178 27955
/proc/meminfo: memFree=28533360/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=589904 CPUtime=941.97 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 151391 0 0 0 93987 210 0 0 20 0 1 0 329276252 604061696 146477 33554432000 4194304 8989770 140736671185600 140736671184864 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 147476 146477 459 1171 0 146253 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 589904
[startup+1002.3 s]
/proc/loadavg: 2.00 1.92 1.30 3/177 27956
/proc/meminfo: memFree=28511748/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=612432 CPUtime=1001.97 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 157169 0 0 0 99979 218 0 0 20 0 1 0 329276252 627130368 152254 33554432000 4194304 8989770 140736671185600 140736671184864 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 153108 152254 459 1171 0 151885 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 612432
[startup+1062.3 s]
/proc/loadavg: 2.00 1.94 1.34 3/177 27956
/proc/meminfo: memFree=28490916/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=635984 CPUtime=1061.96 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 163120 0 0 0 105970 226 0 0 20 0 1 0 329276252 651247616 158205 33554432000 4194304 8989770 140736671185600 140736671184440 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 158996 158205 459 1171 0 157773 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 635984
[startup+1122.3 s]
/proc/loadavg: 2.03 1.96 1.39 3/177 27956
/proc/meminfo: memFree=28479632/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=645200 CPUtime=1121.95 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 165202 0 0 0 111963 232 0 0 20 0 1 0 329276252 660684800 160287 33554432000 4194304 8989770 140736671185600 140736671184864 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 161300 160287 459 1171 0 160077 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 645200
[startup+1182.3 s]
/proc/loadavg: 2.01 1.96 1.42 3/177 27956
/proc/meminfo: memFree=28462148/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=668752 CPUtime=1181.94 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 171243 0 0 0 117954 240 0 0 20 0 1 0 329276252 684802048 166328 33554432000 4194304 8989770 140736671185600 140736671185096 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 167188 166328 459 1171 0 165965 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 668752
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.46 3/176 27956
/proc/meminfo: memFree=28447032/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=677968 CPUtime=1241.93 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 173643 0 0 0 123948 245 0 0 20 0 1 0 329276252 694239232 168728 33554432000 4194304 8989770 140736671185600 140736671184864 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 169492 168728 459 1171 0 168269 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 677968
[startup+1302.3 s]
/proc/loadavg: 2.07 1.99 1.49 3/178 27959
/proc/meminfo: memFree=28428180/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=696400 CPUtime=1301.93 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 178131 0 0 0 129940 253 0 0 20 0 1 0 329276252 713113600 173216 33554432000 4194304 8989770 140736671185600 140736671184864 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 174100 173216 459 1171 0 172877 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 696400
[startup+1362.3 s]
/proc/loadavg: 2.10 2.00 1.53 3/177 27959
/proc/meminfo: memFree=28416036/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=708688 CPUtime=1361.91 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 181081 0 0 0 135932 259 0 0 20 0 1 0 329276252 725696512 176166 33554432000 4194304 8989770 140736671185600 140736671184864 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 177172 176166 459 1171 0 175949 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 708688
[startup+1422.31 s]
/proc/loadavg: 2.11 2.02 1.56 3/177 27959
/proc/meminfo: memFree=28402892/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=722000 CPUtime=1421.91 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 184416 0 0 0 141925 266 0 0 20 0 1 0 329276252 739328000 179501 33554432000 4194304 8989770 140736671185600 140736671184864 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 180500 179501 459 1171 0 179277 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 722000
[startup+1482.3 s]
/proc/loadavg: 2.11 2.03 1.59 3/177 27959
/proc/meminfo: memFree=28389624/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=734288 CPUtime=1481.89 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 187723 0 0 0 147918 271 0 0 20 0 1 0 329276252 751910912 182808 33554432000 4194304 8989770 140736671185600 140736671184864 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 183572 182808 459 1171 0 182349 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 734288
[startup+1542.3 s]
/proc/loadavg: 2.10 2.04 1.62 3/178 27962
/proc/meminfo: memFree=28380084/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=744528 CPUtime=1541.88 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 190049 0 0 0 153911 277 0 0 20 0 1 0 329276252 762396672 185134 33554432000 4194304 8989770 140736671185600 140736671184864 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 186132 185134 459 1171 0 184909 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 744528
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 1.64 3/176 27962
/proc/meminfo: memFree=28369560/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=754768 CPUtime=1601.87 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 192707 0 0 0 159903 284 0 0 20 0 1 0 329276252 772882432 187792 33554432000 4194304 8989770 140736671185600 140736671184864 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 188692 187792 459 1171 0 187469 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 754768
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.66 3/177 27963
/proc/meminfo: memFree=28362732/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=761936 CPUtime=1661.86 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 194422 0 0 0 165896 290 0 0 20 0 1 0 329276252 780222464 189507 33554432000 4194304 8989770 140736671185600 140736671184864 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 190484 189507 459 1171 0 189261 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 761936
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.67 3/177 27963
/proc/meminfo: memFree=28350828/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=773200 CPUtime=1721.86 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 197451 0 0 0 171890 296 0 0 20 0 1 0 329276252 791756800 192536 33554432000 4194304 8989770 140736671185600 140736671184864 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 193300 192536 459 1171 0 192077 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 773200
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.69 3/177 27963
/proc/meminfo: memFree=28342924/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=780368 CPUtime=1781.84 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 199152 0 0 0 177881 303 0 0 20 0 1 0 329276252 799096832 194222 33554432000 4194304 8989770 140736671185600 140736671184864 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 195092 194222 459 1171 0 193869 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 780368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 1.70 3/177 27963
/proc/meminfo: memFree=28337452/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=786512 CPUtime=1800.03 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 200552 0 0 0 179699 304 0 0 20 0 1 0 329276252 805388288 195614 33554432000 4194304 8989770 140736671185600 140736671184864 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 196628 195614 459 1171 0 195405 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 786512
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 1.70 3/177 27963
/proc/meminfo: memFree=28337452/32873648 swapFree=7116/7116
[pid=27869] ppid=27867 vsize=786512 CPUtime=1800.03 cores=1,3,5,7
/proc/27869/stat : 27869 (toysat) R 27867 27869 27825 0 -1 4202496 200552 0 0 0 179699 304 0 0 20 0 1 0 329276252 805388288 195614 33554432000 4194304 8989770 140736671185600 140736671184864 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27869/statm: 196628 195614 459 1171 0 195405 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 786512
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.06
CPU user time (s): 1797
CPU system time (s): 3.05953
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 786512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797
system time used= 3.05953
maximum resident set size= 782456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200552
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= 257
involuntary context switches= 1844
runsolver used 3.51147 second user time and 8.99263 second system time
The end