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-3725399-1338640544/watcher-3725399-1338640544 -o /tmp/evaluation-result-3725399-1338640544/solver-3725399-1338640544 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725399-1338640544.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: 1.93 1.99 1.99 3/176 16752
/proc/meminfo: memFree=27739236/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 815 0 0 0 0 0 0 0 20 0 1 0 330180481 6373376 735 33554432000 4194304 8989770 140736668114240 140733226896632 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 1556 735 430 1171 0 333 0
[startup+0.0944041 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 16752
/proc/meminfo: memFree=27739236/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=12368 CPUtime=0.08 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 2370 0 0 0 8 0 0 0 20 0 1 0 330180481 12664832 2290 33554432000 4194304 8989770 140736668114240 140733226896632 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 3092 2290 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12368
[startup+0.100337 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 16752
/proc/meminfo: memFree=27739236/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 2370 0 0 0 9 0 0 0 20 0 1 0 330180481 12664832 2290 33554432000 4194304 8989770 140736668114240 140733226896632 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 3092 2290 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300274 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 16752
/proc/meminfo: memFree=27739236/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=23632 CPUtime=0.29 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 5186 0 0 0 28 1 0 0 20 0 1 0 330180481 24199168 5106 33554432000 4194304 8989770 140736668114240 140733226896632 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 5908 5106 431 1171 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23632
[startup+0.700264 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 16752
/proc/meminfo: memFree=27739236/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=52304 CPUtime=0.69 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 12354 0 0 0 67 2 0 0 20 0 1 0 330180481 53559296 12274 33554432000 4194304 8989770 140736668114240 140733226896632 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 13076 12274 431 1171 0 11853 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52304
[startup+1.50028 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 16753
/proc/meminfo: memFree=27672368/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=88144 CPUtime=1.48 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 21360 0 0 0 145 3 0 0 20 0 1 0 330180481 90259456 21280 33554432000 4194304 8989770 140736668114240 140736668113080 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 22036 21280 471 1171 0 20813 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 88144
[startup+3.10028 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 16753
/proc/meminfo: memFree=27654388/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=88144 CPUtime=3.09 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 21360 0 0 0 305 4 0 0 20 0 1 0 330180481 90259456 21280 33554432000 4194304 8989770 140736668114240 140736668113736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 22036 21280 471 1171 0 20813 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88144
[startup+6.30028 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 16753
/proc/meminfo: memFree=27654264/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=88144 CPUtime=6.28 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 21361 0 0 0 623 5 0 0 20 0 1 0 330180481 90259456 21285 33554432000 4194304 8989770 140736668114240 140736668113736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 22036 21285 471 1171 0 20813 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 88144
[startup+12.7003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 16753
/proc/meminfo: memFree=27649364/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=96336 CPUtime=12.68 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 23409 0 0 0 1260 8 0 0 20 0 1 0 330180481 98648064 23333 33554432000 4194304 8989770 140736668114240 140736668112192 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 24084 23333 471 1171 0 22861 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 96336
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 16753
/proc/meminfo: memFree=27624512/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=116816 CPUtime=25.47 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 28537 0 0 0 2533 14 0 0 20 0 1 0 330180481 119619584 28453 33554432000 4194304 8989770 140736668114240 140736668113736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 29204 28453 471 1171 0 27981 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 116816
[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 16753
/proc/meminfo: memFree=27603448/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=140368 CPUtime=51.07 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 34439 0 0 0 5083 24 0 0 20 0 1 0 330180481 143736832 34343 33554432000 4194304 8989770 140736668114240 140736668113504 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 35092 34343 473 1171 0 33869 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 140368
[startup+102.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 16754
/proc/meminfo: memFree=27590792/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=150608 CPUtime=102.26 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 40081 0 0 0 10179 47 0 0 20 0 1 0 330180481 154222592 36903 33554432000 4194304 8989770 140736668114240 140736668113736 4451817 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 37652 36903 473 1171 0 36429 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 150608
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 16754
/proc/meminfo: memFree=27541664/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=196688 CPUtime=162.25 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 51601 0 0 0 16160 65 0 0 20 0 1 0 330180481 201408512 48423 33554432000 4194304 8989770 140736668114240 140736668113736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 49172 48423 473 1171 0 47949 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 196688
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 16754
/proc/meminfo: memFree=27521740/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=218192 CPUtime=222.24 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 59538 0 0 0 22145 79 0 0 20 0 1 0 330180481 223428608 53799 33554432000 4194304 8989770 140736668114240 140736668113504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 54548 53799 473 1171 0 53325 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 218192
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 16757
/proc/meminfo: memFree=27522836/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=218192 CPUtime=282.21 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 59554 0 0 0 28127 94 0 0 20 0 1 0 330180481 223428608 53799 33554432000 4194304 8989770 140736668114240 140736668113736 4438244 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 54548 53799 473 1171 0 53325 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 218192
[startup+342.3 s]
/proc/loadavg: 1.93 1.97 1.99 3/177 16796
/proc/meminfo: memFree=27382920/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=245840 CPUtime=342.21 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 66466 0 0 0 34113 108 0 0 20 0 1 0 330180481 251740160 60711 33554432000 4194304 8989770 140736668114240 140736668112192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 61460 60711 473 1171 0 60237 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 245840
[startup+402.3 s]
/proc/loadavg: 2.03 1.99 1.99 3/177 16797
/proc/meminfo: memFree=27378404/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=226384 CPUtime=402.19 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 66466 0 0 0 40097 122 0 0 20 0 1 0 330180481 231817216 55847 33554432000 4194304 8989770 140736668114240 140736668113736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 56596 55847 473 1171 0 55373 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 226384
[startup+462.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 16797
/proc/meminfo: memFree=27328584/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=226384 CPUtime=462.18 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 66473 0 0 0 46082 136 0 0 20 0 1 0 330180481 231817216 55847 33554432000 4194304 8989770 140736668114240 140736668113736 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 56596 55847 473 1171 0 55373 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 226384
[startup+522.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 16797
/proc/meminfo: memFree=27269836/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=257104 CPUtime=522.17 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 74153 0 0 0 52069 148 0 0 20 0 1 0 330180481 263274496 63527 33554432000 4194304 8989770 140736668114240 140736668113504 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 64276 63527 473 1171 0 63053 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 257104
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16797
/proc/meminfo: memFree=27279136/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=230480 CPUtime=582.17 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 74153 0 0 0 58054 163 0 0 20 0 1 0 330180481 236011520 56871 33554432000 4194304 8989770 140736668114240 140736668113736 4447892 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 57620 56871 473 1171 0 56397 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 230480
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16798
/proc/meminfo: memFree=27243888/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=210000 CPUtime=822.12 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 86453 0 0 0 81978 234 0 0 20 0 1 0 330180481 215040000 51751 33554432000 4194304 8989770 140736668114240 140736668113504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 52500 51751 473 1171 0 51277 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 210000
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16801
/proc/meminfo: memFree=27186096/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=242768 CPUtime=882.11 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 94645 0 0 0 87959 252 0 0 20 0 1 0 330180481 248594432 59943 33554432000 4194304 8989770 140736668114240 140736668113504 7678805 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 60692 59943 473 1171 0 59469 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 242768
[startup+942.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 16801
/proc/meminfo: memFree=27184532/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=238672 CPUtime=942.1 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 94645 0 0 0 93942 268 0 0 20 0 1 0 330180481 244400128 58919 33554432000 4194304 8989770 140736668114240 140736668113736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 59668 58919 473 1171 0 58445 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 238672
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 16801
/proc/meminfo: memFree=27171264/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=238672 CPUtime=1002.09 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 94645 0 0 0 99926 283 0 0 20 0 1 0 330180481 244400128 58919 33554432000 4194304 8989770 140736668114240 140736668112256 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 59668 58919 473 1171 0 58445 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 238672
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16802
/proc/meminfo: memFree=27239008/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=156752 CPUtime=1062.08 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 94648 0 0 0 105907 301 0 0 20 0 1 0 330180481 160514048 38439 33554432000 4194304 8989770 140736668114240 140736668113736 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 39188 38439 473 1171 0 37965 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 156752
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16802
/proc/meminfo: memFree=27202712/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=182352 CPUtime=1122.06 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 101056 0 0 0 111885 321 0 0 20 0 1 0 330180481 186728448 44839 33554432000 4194304 8989770 140736668114240 140736668113504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 45588 44839 473 1171 0 44365 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 182352
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16802
/proc/meminfo: memFree=27224516/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=148560 CPUtime=1182.05 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 108480 0 0 0 117866 339 0 0 20 0 1 0 330180481 152125440 36391 33554432000 4194304 8989770 140736668114240 140736668113504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 37140 36391 473 1171 0 35917 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 148560
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16802
/proc/meminfo: memFree=27210752/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=157776 CPUtime=1242.05 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 110784 0 0 0 123844 361 0 0 20 0 1 0 330180481 161562624 38695 33554432000 4194304 8989770 140736668114240 140736668112192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 39444 38695 473 1171 0 38221 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 157776
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16802
/proc/meminfo: memFree=27133660/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=204880 CPUtime=1302.05 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 122560 0 0 0 129827 378 0 0 20 0 1 0 330180481 209797120 50471 33554432000 4194304 8989770 140736668114240 140736668113504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 51220 50471 473 1171 0 49997 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 204880
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16803
/proc/meminfo: memFree=27127588/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=204880 CPUtime=1362.03 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 122560 0 0 0 135809 394 0 0 20 0 1 0 330180481 209797120 50471 33554432000 4194304 8989770 140736668114240 140736668113504 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 51220 50471 473 1171 0 49997 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 204880
[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 16803
/proc/meminfo: memFree=27124500/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=207952 CPUtime=1422.02 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 123338 0 0 0 141791 411 0 0 20 0 1 0 330180481 212942848 51239 33554432000 4194304 8989770 140736668114240 140736668113504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 51988 51239 473 1171 0 50765 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 207952
[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 16806
/proc/meminfo: memFree=27122008/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=210000 CPUtime=1481.99 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 130782 0 0 0 147769 430 0 0 20 0 1 0 330180481 215040000 51751 33554432000 4194304 8989770 140736668114240 140736668112192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 52500 51751 473 1171 0 51277 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 210000
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 16829
/proc/meminfo: memFree=27122132/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=210000 CPUtime=1541.98 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 130782 0 0 0 153751 447 0 0 20 0 1 0 330180481 215040000 51751 33554432000 4194304 8989770 140736668114240 140736668112192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 52500 51751 473 1171 0 51277 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 210000
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16829
/proc/meminfo: memFree=27151260/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=173136 CPUtime=1601.97 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 138718 0 0 0 159735 462 0 0 20 0 1 0 330180481 177291264 42535 33554432000 4194304 8989770 140736668114240 140736668113736 4214513 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 43284 42535 473 1171 0 42061 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 173136
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16830
/proc/meminfo: memFree=27194760/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=138320 CPUtime=1661.96 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 142302 0 0 0 165711 485 0 0 20 0 1 0 330180481 141639680 33831 33554432000 4194304 8989770 140736668114240 140736668113736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 34580 33831 473 1171 0 33357 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 138320
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16830
/proc/meminfo: memFree=27192360/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=140368 CPUtime=1721.95 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 151262 0 0 0 171692 503 0 0 20 0 1 0 330180481 143736832 34343 33554432000 4194304 8989770 140736668114240 140736668113736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 35092 34343 473 1171 0 33869 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 140368
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16830
/proc/meminfo: memFree=27174852/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=157776 CPUtime=1781.95 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 155615 0 0 0 177667 528 0 0 20 0 1 0 330180481 161562624 38695 33554432000 4194304 8989770 140736668114240 140736668113736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 39444 38695 473 1171 0 38221 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 157776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16830
/proc/meminfo: memFree=27156716/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=176208 CPUtime=1800.05 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 160223 0 0 0 179471 534 0 0 20 0 1 0 330180481 180436992 43303 33554432000 4194304 8989770 140736668114240 140736668113736 4213733 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 44052 43303 473 1171 0 42829 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 176208
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.06
CPU user time (s): 1794.71
CPU system time (s): 5.35119
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 257104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.71
system time used= 5.35119
maximum resident set size= 254108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160223
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= 112
involuntary context switches= 1844
runsolver used 3.54246 second user time and 9.91249 second system time
The end