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-3725217-1338636939/watcher-3725217-1338636939 -o /tmp/evaluation-result-3725217-1338636939/solver-3725217-1338636939 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725217-1338636939.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.01 1.94 3/174 15054
/proc/meminfo: memFree=28090408/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 818 0 0 0 0 0 0 0 20 0 1 0 329819956 6373376 738 33554432000 4194304 8989770 140734548376112 140734725921656 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 1556 738 429 1171 0 333 0
[startup+0.00774095 s]
/proc/loadavg: 2.00 2.01 1.94 3/174 15054
/proc/meminfo: memFree=28090408/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 863 0 0 0 0 0 0 0 20 0 1 0 329819956 7421952 783 33554432000 4194304 8989770 140734548376112 140734725921656 4209325 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 1812 789 429 1171 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7248
[startup+0.100307 s]
/proc/loadavg: 2.00 2.01 1.94 3/174 15054
/proc/meminfo: memFree=28090408/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=13392 CPUtime=0.09 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 2527 0 0 0 9 0 0 0 20 0 1 0 329819956 13713408 2447 33554432000 4194304 8989770 140734548376112 140734725921656 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 3348 2447 431 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.300305 s]
/proc/loadavg: 2.00 2.01 1.94 3/174 15054
/proc/meminfo: memFree=28090408/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=24656 CPUtime=0.28 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 5441 0 0 0 28 0 0 0 20 0 1 0 329819956 25247744 5361 33554432000 4194304 8989770 140734548376112 140734548374952 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 6164 5361 431 1171 0 4941 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24656
[startup+0.700355 s]
/proc/loadavg: 2.00 2.01 1.94 3/174 15054
/proc/meminfo: memFree=28090408/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=50256 CPUtime=0.69 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 11841 0 0 0 67 2 0 0 20 0 1 0 329819956 51462144 11761 33554432000 4194304 8989770 140734548376112 140734548374952 7953280 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 12564 11761 431 1171 0 11341 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50256
[startup+1.50037 s]
/proc/loadavg: 2.00 2.01 1.94 3/175 15055
/proc/meminfo: memFree=28030912/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=111696 CPUtime=1.49 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 27201 0 0 0 144 5 0 0 20 0 1 0 329819956 114376704 27121 33554432000 4194304 8989770 140734548376112 140734548375608 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 27924 27121 431 1171 0 26701 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 111696
[startup+3.10032 s]
/proc/loadavg: 2.00 2.01 1.94 3/175 15055
/proc/meminfo: memFree=27947576/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=195664 CPUtime=3.09 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 48193 0 0 0 298 11 0 0 20 0 1 0 329819956 200359936 48113 33554432000 4194304 8989770 140734548376112 140734548375608 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 48916 48113 431 1171 0 47693 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 195664
[startup+6.30035 s]
/proc/loadavg: 2.00 2.01 1.94 3/175 15055
/proc/meminfo: memFree=27749284/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=455760 CPUtime=6.29 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 113197 0 0 0 604 25 0 0 20 0 1 0 329819956 466698240 113117 33554432000 4194304 8989770 140734548376112 140734548374952 4209325 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 113940 113125 431 1171 0 112717 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 455760
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.94 3/175 15055
/proc/meminfo: memFree=27273512/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=821328 CPUtime=12.69 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 204609 0 0 0 1227 42 0 0 20 0 1 0 329819956 841039872 204529 33554432000 4194304 8989770 140734548376112 140734548375608 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 205332 204529 431 1171 0 204109 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 821328
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.94 3/175 15055
/proc/meminfo: memFree=26627488/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=1466448 CPUtime=25.48 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 365935 0 0 0 2472 76 0 0 20 0 1 0 329819956 1501642752 365855 33554432000 4194304 8989770 140734548376112 140734548375608 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 366612 365855 471 1171 0 365389 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1466448
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 1.94 3/175 15056
/proc/meminfo: memFree=27824428/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=271440 CPUtime=51.08 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 378227 0 0 0 5011 97 0 0 20 0 1 0 329819956 277954560 67103 33554432000 4194304 8989770 140734548376112 140734548375608 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 67860 67103 471 1171 0 66637 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 271440
[startup+102.307 s]
/proc/loadavg: 1.94 1.99 1.94 3/175 15095
/proc/meminfo: memFree=27711132/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=358480 CPUtime=102.27 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 400001 0 0 0 10112 115 0 0 20 0 1 0 329819956 367083520 88865 33554432000 4194304 8989770 140734548376112 140734548375608 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 89620 88865 473 1171 0 88397 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 358480
[startup+162.3 s]
/proc/loadavg: 1.97 1.99 1.94 3/175 15095
/proc/meminfo: memFree=27546124/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=506960 CPUtime=162.24 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 437068 0 0 0 16086 138 0 0 20 0 1 0 329819956 519127040 125911 33554432000 4194304 8989770 140734548376112 140734548375376 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 126740 125911 473 1171 0 125517 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 506960
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/176 15096
/proc/meminfo: memFree=27408628/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=624720 CPUtime=222.2 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 466543 0 0 0 22065 155 0 0 20 0 1 0 329819956 639713280 155368 33554432000 4194304 8989770 140734548376112 140734548374080 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 156180 155368 473 1171 0 154957 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 624720
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/176 15098
/proc/meminfo: memFree=27319376/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=707664 CPUtime=282.18 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 487209 0 0 0 28050 168 0 0 20 0 1 0 329819956 724647936 176021 33554432000 4194304 8989770 140734548376112 140734548375608 4371792 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 176916 176021 473 1171 0 175693 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 707664
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/175 15098
/proc/meminfo: memFree=27216492/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=788560 CPUtime=342.17 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 507583 0 0 0 34034 183 0 0 20 0 1 0 329819956 807485440 196385 33554432000 4194304 8989770 140734548376112 140734548358080 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 197140 196385 473 1171 0 195917 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 788560
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/175 15099
/proc/meminfo: memFree=27098348/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=899152 CPUtime=402.16 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 535243 0 0 0 40021 195 0 0 20 0 1 0 329819956 920731648 224033 33554432000 4194304 8989770 140734548376112 140734548374080 7688482 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 224788 224033 473 1171 0 223565 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 899152
[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/175 15099
/proc/meminfo: memFree=27097384/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=900176 CPUtime=462.14 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 535507 0 0 0 46012 202 0 0 20 0 1 0 329819956 921780224 224289 33554432000 4194304 8989770 140734548376112 140734548375608 7697332 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 225044 224289 473 1171 0 223821 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 900176
[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/175 15099
/proc/meminfo: memFree=27097536/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=900176 CPUtime=522.12 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 535512 0 0 0 52003 209 0 0 20 0 1 0 329819956 921780224 224289 33554432000 4194304 8989770 140734548376112 140734548375376 4209278 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 225044 224289 473 1171 0 223821 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 900176
[startup+582.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/175 15099
/proc/meminfo: memFree=27093348/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=900176 CPUtime=582.11 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 535516 0 0 0 57995 216 0 0 20 0 1 0 329819956 921780224 224289 33554432000 4194304 8989770 140734548376112 140734548374080 7675353 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 225044 224289 473 1171 0 223821 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 900176
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.00 1.94 3/175 15100
/proc/meminfo: memFree=27077764/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=909392 CPUtime=822.07 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 537820 0 0 0 81961 246 0 0 20 0 1 0 329819956 931217408 226593 33554432000 4194304 8989770 140734548376112 140734548375608 7686163 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 227348 226593 473 1171 0 226125 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 909392
[startup+882.3 s]
/proc/loadavg: 2.12 2.03 1.95 3/176 15103
/proc/meminfo: memFree=27077012/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=909392 CPUtime=882.06 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 537820 0 0 0 87954 252 0 0 20 0 1 0 329819956 931217408 226593 33554432000 4194304 8989770 140734548376112 140734548374080 4209212 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 227348 226593 473 1171 0 226125 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 909392
[startup+942.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/175 15103
/proc/meminfo: memFree=27068712/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=909392 CPUtime=942.06 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 537820 0 0 0 93946 260 0 0 20 0 1 0 329819956 931217408 226593 33554432000 4194304 8989770 140734548376112 140734548374080 4213876 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 227348 226593 473 1171 0 226125 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 909392
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/175 15104
/proc/meminfo: memFree=27068836/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=909392 CPUtime=1002.05 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 537820 0 0 0 99937 268 0 0 20 0 1 0 329819956 931217408 226593 33554432000 4194304 8989770 140734548376112 140734548375376 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 227348 226593 473 1171 0 226125 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 909392
[startup+1062.3 s]
/proc/loadavg: 2.08 2.04 1.97 3/175 15104
/proc/meminfo: memFree=27077708/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=909392 CPUtime=1062.03 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 537820 0 0 0 105929 274 0 0 20 0 1 0 329819956 931217408 226593 33554432000 4194304 8989770 140734548376112 140734548374080 4209376 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 227348 226593 473 1171 0 226125 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 909392
[startup+1122.3 s]
/proc/loadavg: 2.03 2.03 1.97 3/175 15104
/proc/meminfo: memFree=27076468/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=910416 CPUtime=1122.02 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 538076 0 0 0 111919 283 0 0 20 0 1 0 329819956 932265984 226849 33554432000 4194304 8989770 140734548376112 140734548375608 4209367 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 227604 226849 473 1171 0 226381 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 910416
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/175 15104
/proc/meminfo: memFree=27051792/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=934992 CPUtime=1182.02 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 544220 0 0 0 117911 291 0 0 20 0 1 0 329819956 957431808 232993 33554432000 4194304 8989770 140734548376112 140734548375608 7696100 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 233748 232993 473 1171 0 232525 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 934992
[startup+1242.3 s]
/proc/loadavg: 2.12 2.05 1.98 3/175 15104
/proc/meminfo: memFree=27003248/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1242.01 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 123901 300 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548375376 7686653 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 968784
[startup+1302.3 s]
/proc/loadavg: 2.04 2.04 1.98 3/175 15105
/proc/meminfo: memFree=27002496/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1302.01 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 129895 306 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548374080 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 968784
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/175 15105
/proc/meminfo: memFree=27009160/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1361.99 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 135887 312 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548375608 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 968784
[startup+1422.31 s]
/proc/loadavg: 2.04 2.03 1.98 3/175 15105
/proc/meminfo: memFree=27009408/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1421.99 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 141883 316 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548374080 4512536 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 968784
[startup+1482.3 s]
/proc/loadavg: 2.13 2.06 1.99 3/176 15108
/proc/meminfo: memFree=27007788/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1481.97 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 147875 322 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548375376 4512536 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 968784
[startup+1542.3 s]
/proc/loadavg: 2.05 2.04 1.99 3/176 15131
/proc/meminfo: memFree=27008036/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1541.96 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 153868 328 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548375608 4209357 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 968784
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/175 15132
/proc/meminfo: memFree=27014068/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1601.95 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 159861 334 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548375376 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 968784
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/175 15132
/proc/meminfo: memFree=27014068/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1661.94 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 165853 341 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548375376 4512536 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 968784
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/175 15132
/proc/meminfo: memFree=27007248/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1721.93 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 171845 348 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548375376 4209168 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 968784
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/175 15132
/proc/meminfo: memFree=27006008/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1781.92 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 177838 354 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548374080 4209212 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 968784
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 1.99 3/175 15132
/proc/meminfo: memFree=27006256/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1800.03 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 179647 356 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548375376 4512536 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 968784
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.41
CPU time (s): 1800.04
CPU user time (s): 1796.47
CPU system time (s): 3.56946
CPU usage (%): 99.9794
Max. virtual memory (cumulated for all children) (KiB): 1466448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.47
system time used= 3.56946
maximum resident set size= 1463420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 552674
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= 116
involuntary context switches= 1850
runsolver used 3.74243 second user time and 10.1825 second system time
The end