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-3725671-1338638829/watcher-3725671-1338638829 -o /tmp/evaluation-result-3725671-1338638829/solver-3725671-1338638829 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725671-1338638829.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.00 2.00 2.00 2/176 24385
/proc/meminfo: memFree=31806332/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 768 0 0 0 0 0 0 0 20 0 1 0 330007828 6373376 687 33554432000 4194304 8989770 140736659173888 140735607852520 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 1556 688 425 1171 0 333 0
[startup+0.0828311 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 24385
/proc/meminfo: memFree=31806332/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=11344 CPUtime=0.07 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 2057 0 0 0 7 0 0 0 20 0 1 0 330007828 11616256 1976 33554432000 4194304 8989770 140736659173888 140735607852520 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 2836 1976 431 1171 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11344
[startup+0.100333 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 24385
/proc/meminfo: memFree=31806332/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=13392 CPUtime=0.09 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 2416 0 0 0 9 0 0 0 20 0 1 0 330007828 13713408 2335 33554432000 4194304 8989770 140736659173888 140735607852520 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 3348 2335 431 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.300291 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 24385
/proc/meminfo: memFree=31806332/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=33872 CPUtime=0.29 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 7531 0 0 0 28 1 0 0 20 0 1 0 330007828 34684928 7450 33554432000 4194304 8989770 140736659173888 140735607852520 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 8468 7457 442 1171 0 7245 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33872
[startup+0.700305 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 24385
/proc/meminfo: memFree=31806332/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=57424 CPUtime=0.68 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 13681 0 0 0 66 2 0 0 20 0 1 0 330007828 58802176 13600 33554432000 4194304 8989770 140736659173888 140736659173384 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 14356 13600 471 1171 0 13133 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 57424
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24386
/proc/meminfo: memFree=31741472/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=72784 CPUtime=1.49 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 17419 0 0 0 146 3 0 0 20 0 1 0 330007828 74530816 17338 33554432000 4194304 8989770 140736659173888 140736659173208 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 18196 17338 471 1171 0 16973 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72784
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24386
/proc/meminfo: memFree=31734520/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=80976 CPUtime=3.08 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 19569 0 0 0 305 3 0 0 20 0 1 0 330007828 82919424 19488 33554432000 4194304 8989770 140736659173888 140736659173384 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 20244 19488 471 1171 0 19021 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 80976
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24386
/proc/meminfo: memFree=31718888/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=94288 CPUtime=6.29 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 22897 0 0 0 624 5 0 0 20 0 1 0 330007828 96550912 22816 33554432000 4194304 8989770 140736659173888 140736659173384 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 23572 22816 471 1171 0 22349 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 94288
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24386
/proc/meminfo: memFree=31694228/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=119888 CPUtime=12.69 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 29107 0 0 0 1261 8 0 0 20 0 1 0 330007828 122765312 29026 33554432000 4194304 8989770 140736659173888 140736659173384 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 29972 29026 471 1171 0 28749 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 119888
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24386
/proc/meminfo: memFree=31646784/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=166992 CPUtime=25.49 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 41036 0 0 0 2537 12 0 0 20 0 1 0 330007828 170999808 40955 33554432000 4194304 8989770 140736659173888 140736659171840 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 41748 40955 471 1171 0 40525 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 166992
[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 24386
/proc/meminfo: memFree=31575520/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=237648 CPUtime=51.07 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 58692 0 0 0 5087 20 0 0 20 0 1 0 330007828 243351552 58607 33554432000 4194304 8989770 140736659173888 140736659173152 6677497 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 59412 58607 471 1171 0 58189 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 237648
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24388
/proc/meminfo: memFree=31479580/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=328784 CPUtime=102.25 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 81526 0 0 0 10193 32 0 0 20 0 1 0 330007828 336674816 81414 33554432000 4194304 8989770 140736659173888 140736659173384 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 82196 81414 471 1171 0 80973 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 328784
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24388
/proc/meminfo: memFree=31417112/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=391248 CPUtime=162.2 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 96987 0 0 0 16178 42 0 0 20 0 1 0 330007828 400637952 96830 33554432000 4194304 8989770 140736659173888 140736659173384 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 97812 96830 471 1171 0 96589 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 391248
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24391
/proc/meminfo: memFree=31364556/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=440400 CPUtime=222.15 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 109354 0 0 0 22167 48 0 0 20 0 1 0 330007828 450969600 109153 33554432000 4194304 8989770 140736659173888 140736659173384 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 110100 109153 471 1171 0 108877 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 440400
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24391
/proc/meminfo: memFree=31314248/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=487504 CPUtime=282.12 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 121221 0 0 0 28158 54 0 0 20 0 1 0 330007828 499204096 120982 33554432000 4194304 8989770 140736659173888 140736659173384 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 121876 120982 471 1171 0 120653 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 487504
[startup+342.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 24391
/proc/meminfo: memFree=31277448/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=525392 CPUtime=342.09 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 130863 0 0 0 34150 59 0 0 20 0 1 0 330007828 538001408 130597 33554432000 4194304 8989770 140736659173888 140736659172096 4213859 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 131604 130604 471 1171 0 130381 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 525392
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24392
/proc/meminfo: memFree=31241156/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=558160 CPUtime=402.07 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 138874 0 0 0 40143 64 0 0 20 0 1 0 330007828 571555840 138603 33554432000 4194304 8989770 140736659173888 140736659172096 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 139540 138603 471 1171 0 138317 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 558160
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24392
/proc/meminfo: memFree=31202520/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=597072 CPUtime=462.07 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 148604 0 0 0 46138 69 0 0 20 0 1 0 330007828 611401728 148333 33554432000 4194304 8989770 140736659173888 140736659172096 4379877 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 149268 148333 471 1171 0 148045 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 597072
[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 24392
/proc/meminfo: memFree=31170528/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=627792 CPUtime=522.06 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 156304 0 0 0 52131 75 0 0 20 0 1 0 330007828 642859008 156033 33554432000 4194304 8989770 140736659173888 140736659172096 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 156948 156033 471 1171 0 155725 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 627792
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24392
/proc/meminfo: memFree=31148084/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=649296 CPUtime=582.05 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 161651 0 0 0 58126 79 0 0 20 0 1 0 330007828 664879104 161380 33554432000 4194304 8989770 140736659173888 140736659172096 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 162324 161380 471 1171 0 161101 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 649296
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24396
/proc/meminfo: memFree=31017644/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=771152 CPUtime=821.98 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 192287 0 0 0 82103 95 0 0 20 0 1 0 330007828 789659648 191968 33554432000 4194304 8989770 140736659173888 140736659172096 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 192788 191968 471 1171 0 191565 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 771152
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24396
/proc/meminfo: memFree=30990648/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=797776 CPUtime=881.96 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 199019 0 0 0 88098 98 0 0 20 0 1 0 330007828 816922624 198676 33554432000 4194304 8989770 140736659173888 140736659173152 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 199444 198676 471 1171 0 198221 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 797776
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24396
/proc/meminfo: memFree=30961252/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=826448 CPUtime=941.94 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 206028 0 0 0 94093 101 0 0 20 0 1 0 330007828 846282752 205682 33554432000 4194304 8989770 140736659173888 140736659173384 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 206612 205682 471 1171 0 205389 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 826448
[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 24397
/proc/meminfo: memFree=30946236/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=839760 CPUtime=1001.93 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 209535 0 0 0 100088 105 0 0 20 0 1 0 330007828 859914240 209189 33554432000 4194304 8989770 140736659173888 140736659172096 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 209940 209189 471 1171 0 208717 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 839760
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24397
/proc/meminfo: memFree=30916476/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=869456 CPUtime=1061.93 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 216752 0 0 0 106084 109 0 0 20 0 1 0 330007828 890322944 216406 33554432000 4194304 8989770 140736659173888 140736659172096 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 217364 216406 471 1171 0 216141 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 869456
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24397
/proc/meminfo: memFree=30898744/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=885840 CPUtime=1121.92 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 220829 0 0 0 112080 112 0 0 20 0 1 0 330007828 907100160 220483 33554432000 4194304 8989770 140736659173888 140736659173152 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 221460 220483 471 1171 0 220237 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 885840
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24397
/proc/meminfo: memFree=30867372/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=916560 CPUtime=1181.91 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 228716 0 0 0 118074 117 0 0 20 0 1 0 330007828 938557440 228370 33554432000 4194304 8989770 140736659173888 140736659172096 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 229140 228370 471 1171 0 227917 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 916560
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24397
/proc/meminfo: memFree=30851500/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=932944 CPUtime=1241.9 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 232697 0 0 0 124070 120 0 0 20 0 1 0 330007828 955334656 232351 33554432000 4194304 8989770 140736659173888 140736659172096 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 233236 232351 471 1171 0 232013 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 932944
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24398
/proc/meminfo: memFree=30833644/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=948304 CPUtime=1301.89 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 236671 0 0 0 130066 123 0 0 20 0 1 0 330007828 971063296 236325 33554432000 4194304 8989770 140736659173888 140736659172096 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 237076 236325 471 1171 0 235853 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 948304
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24398
/proc/meminfo: memFree=30800784/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=981072 CPUtime=1361.89 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 244691 0 0 0 136062 127 0 0 20 0 1 0 330007828 1004617728 244345 33554432000 4194304 8989770 140736659173888 140736659172096 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 245268 244345 471 1171 0 244045 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 981072
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24401
/proc/meminfo: memFree=30784160/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=997456 CPUtime=1421.88 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 248934 0 0 0 142058 130 0 0 20 0 1 0 330007828 1021394944 248588 33554432000 4194304 8989770 140736659173888 140736659171840 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 249364 248588 471 1171 0 248141 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 997456
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24401
/proc/meminfo: memFree=30767552/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=1013840 CPUtime=1481.86 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 253055 0 0 0 148054 132 0 0 20 0 1 0 330007828 1038172160 252709 33554432000 4194304 8989770 140736659173888 140736659172096 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 253460 252709 471 1171 0 252237 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1013840
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24401
/proc/meminfo: memFree=30749076/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=1032272 CPUtime=1541.84 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 257453 0 0 0 154049 135 0 0 20 0 1 0 330007828 1057046528 257086 33554432000 4194304 8989770 140736659173888 140736659172096 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 258068 257086 471 1171 0 256845 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1032272
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24402
/proc/meminfo: memFree=30729760/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=1050704 CPUtime=1601.82 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 262313 0 0 0 160044 138 0 0 20 0 1 0 330007828 1075920896 261925 33554432000 4194304 8989770 140736659173888 140736659173152 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 262676 261925 471 1171 0 261453 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1050704
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24402
/proc/meminfo: memFree=30711004/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=1069136 CPUtime=1661.81 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 266936 0 0 0 166041 140 0 0 20 0 1 0 330007828 1094795264 266533 33554432000 4194304 8989770 140736659173888 140736659172096 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 267284 266533 471 1171 0 266061 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1069136
[startup+1722.3 s]
/proc/loadavg: 1.94 1.98 1.99 4/178 24442
/proc/meminfo: memFree=30745696/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=1085520 CPUtime=1721.8 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 271032 0 0 0 172037 143 0 0 20 0 1 0 330007828 1111572480 270629 33554432000 4194304 8989770 140736659173888 140736659171968 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 271380 270629 471 1171 0 270157 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1085520
[startup+1782.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 24442
/proc/meminfo: memFree=30707140/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=1106000 CPUtime=1781.78 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 276001 0 0 0 178033 145 0 0 20 0 1 0 330007828 1132544000 275598 33554432000 4194304 8989770 140736659173888 140736659172096 6591966 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 276500 275598 471 1171 0 275277 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1106000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 24442
/proc/meminfo: memFree=30689284/32873844 swapFree=7116/7116
[pid=24385] ppid=24383 vsize=1124432 CPUtime=1800.09 cores=1,3,5,7
/proc/24385/stat : 24385 (toysat) R 24383 24385 23807 0 -1 4202496 280585 0 0 0 179862 147 0 0 20 0 1 0 330007828 1151418368 280182 33554432000 4194304 8989770 140736659173888 140736659172096 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24385/statm: 281108 280182 471 1171 0 279885 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1124432
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.11
CPU user time (s): 1798.63
CPU system time (s): 1.48677
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1124432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.63
system time used= 1.48677
maximum resident set size= 1120728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280585
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= 330
involuntary context switches= 1836
runsolver used 3.3105 second user time and 8.80466 second system time
The end