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-3706779-1338118411/watcher-3706779-1338118411 -o /tmp/evaluation-result-3706779-1338118411/solver-3706779-1338118411 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706779-1338118411.opb
running on 4 cores: 0,2,4,6
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.84 1.98 1.99 3/174 10888
/proc/meminfo: memFree=30174696/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 794 0 0 0 0 0 0 0 20 0 1 0 277965238 6356992 716 33554432000 4194304 8973514 140736170388144 140737416312664 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10888/statm: 1552 718 412 1167 0 333 0
[startup+0.0759361 s]
/proc/loadavg: 1.84 1.98 1.99 3/174 10888
/proc/meminfo: memFree=30174696/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=11328 CPUtime=0.06 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 2010 0 0 0 6 0 0 0 20 0 1 0 277965238 11599872 1932 33554432000 4194304 8973514 140736170388144 140737416312664 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10888/statm: 2832 1932 417 1167 0 1613 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11328
[startup+0.100227 s]
/proc/loadavg: 1.84 1.98 1.99 3/174 10888
/proc/meminfo: memFree=30174696/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=13376 CPUtime=0.09 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 2480 0 0 0 9 0 0 0 20 0 1 0 277965238 13697024 2402 33554432000 4194304 8973514 140736170388144 140737416312664 4209325 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10888/statm: 3344 2408 417 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300198 s]
/proc/loadavg: 1.84 1.98 1.99 3/174 10888
/proc/meminfo: memFree=30174696/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=27712 CPUtime=0.29 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 6193 0 0 0 28 1 0 0 20 0 1 0 277965238 28377088 6115 33554432000 4194304 8973514 140736170388144 140736170387640 7858672 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10888/statm: 6928 6115 417 1167 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27712
[startup+0.700206 s]
/proc/loadavg: 1.84 1.98 1.99 3/174 10888
/proc/meminfo: memFree=30174696/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=48192 CPUtime=0.69 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 11314 0 0 0 67 2 0 0 20 0 1 0 277965238 49348608 11236 33554432000 4194304 8973514 140736170388144 140736170387408 5781784 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10888/statm: 12048 11236 418 1167 0 10829 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48192
[startup+1.50024 s]
/proc/loadavg: 1.84 1.98 1.99 3/177 10923
/proc/meminfo: memFree=30051848/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=98368 CPUtime=1.49 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 23645 0 0 0 145 4 0 0 20 0 1 0 277965238 100728832 23567 33554432000 4194304 8973514 140736170388144 140736170370112 4447672 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10888/statm: 24592 23567 426 1167 0 23373 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98368
[startup+3.10025 s]
/proc/loadavg: 1.84 1.98 1.99 3/177 10923
/proc/meminfo: memFree=29937248/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=98368 CPUtime=3.08 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 23902 0 0 0 304 4 0 0 20 0 1 0 277965238 100728832 23824 33554432000 4194304 8973514 140736170388144 140736170370112 4209168 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/10888/statm: 24592 23824 456 1167 0 23373 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 98368
[startup+6.30028 s]
/proc/loadavg: 1.93 2.00 1.99 3/177 10923
/proc/meminfo: memFree=29930816/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=109632 CPUtime=6.29 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 26560 0 0 0 623 6 0 0 20 0 1 0 277965238 112263168 26482 33554432000 4194304 8973514 140736170388144 140736170387408 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 27408 26482 456 1167 0 26189 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 109632
[startup+12.7003 s]
/proc/loadavg: 1.94 2.00 1.99 3/177 10923
/proc/meminfo: memFree=29890080/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=137280 CPUtime=12.69 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 33597 0 0 0 1260 9 0 0 20 0 1 0 277965238 140574720 33519 33554432000 4194304 8973514 140736170388144 140736170387640 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 34320 33519 456 1167 0 33101 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 137280
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 1.99 3/177 10923
/proc/meminfo: memFree=29806640/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=185408 CPUtime=25.48 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 45533 0 0 0 2535 13 0 0 20 0 1 0 277965238 189857792 45455 33554432000 4194304 8973514 140736170388144 140736170387640 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 46352 45455 456 1167 0 45133 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 185408
[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 1.99 3/177 10923
/proc/meminfo: memFree=29677136/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=259136 CPUtime=51.07 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 64115 0 0 0 5086 21 0 0 20 0 1 0 277965238 265355264 64021 33554432000 4194304 8973514 140736170388144 140736170387640 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 64784 64021 456 1167 0 63565 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 259136
[startup+102.306 s]
/proc/loadavg: 1.98 2.00 1.99 3/177 10923
/proc/meminfo: memFree=29471464/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=354368 CPUtime=102.23 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 87835 0 0 0 10192 31 0 0 20 0 1 0 277965238 362872832 87702 33554432000 4194304 8973514 140736170388144 140736170387408 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 88592 87702 456 1167 0 87373 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 354368
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 10923
/proc/meminfo: memFree=29293428/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=430144 CPUtime=162.19 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 106915 0 0 0 16179 40 0 0 20 0 1 0 277965238 440467456 106737 33554432000 4194304 8973514 140736170388144 140736170387408 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 107536 106737 456 1167 0 106317 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 430144
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 10923
/proc/meminfo: memFree=29141188/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=488512 CPUtime=222.14 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 121342 0 0 0 22167 47 0 0 20 0 1 0 277965238 500236288 121121 33554432000 4194304 8973514 140736170388144 140736170387408 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 122128 121121 456 1167 0 120909 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 488512
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 10924
/proc/meminfo: memFree=29018456/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=536640 CPUtime=282.11 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 133504 0 0 0 28157 54 0 0 20 0 1 0 277965238 549519360 133242 33554432000 4194304 8973514 140736170388144 140736170387408 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 134160 133242 456 1167 0 132941 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 536640
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 10924
/proc/meminfo: memFree=28894612/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=579648 CPUtime=342.1 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 144410 0 0 0 34149 61 0 0 20 0 1 0 277965238 593559552 144132 33554432000 4194304 8973514 140736170388144 140736170387408 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 144912 144132 456 1167 0 143693 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 579648
[startup+402.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/178 10927
/proc/meminfo: memFree=28796184/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=617536 CPUtime=402.08 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 153897 0 0 0 40143 65 0 0 20 0 1 0 277965238 632356864 153614 33554432000 4194304 8973514 140736170388144 140736170387408 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 154384 153614 456 1167 0 153165 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 617536
[startup+462.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 10927
/proc/meminfo: memFree=28700088/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=655424 CPUtime=462.07 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 163366 0 0 0 46137 70 0 0 20 0 1 0 277965238 671154176 163083 33554432000 4194304 8973514 140736170388144 140736170387408 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 163856 163083 456 1167 0 162637 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 655424
[startup+522.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 10927
/proc/meminfo: memFree=28622988/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=687168 CPUtime=522.07 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 171216 0 0 0 52132 75 0 0 20 0 1 0 277965238 703660032 170933 33554432000 4194304 8973514 140736170388144 140736170387408 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 171792 170933 456 1167 0 170573 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 687168
[startup+582.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 10928
/proc/meminfo: memFree=28547996/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=719936 CPUtime=582.05 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 179399 0 0 0 58126 79 0 0 20 0 1 0 277965238 737214464 179116 33554432000 4194304 8973514 140736170388144 140736170387640 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 179984 179116 456 1167 0 178765 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 719936
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 10928
/proc/meminfo: memFree=28305568/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=838720 CPUtime=822.01 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 209119 0 0 0 82104 97 0 0 20 0 1 0 277965238 858849280 208836 33554432000 4194304 8973514 140736170388144 140736170387408 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 209680 208836 456 1167 0 208461 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 838720
[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 10928
/proc/meminfo: memFree=28249308/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=866368 CPUtime=882.01 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 216112 0 0 0 88100 101 0 0 20 0 1 0 277965238 887160832 215829 33554432000 4194304 8973514 140736170388144 140736170387408 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 216592 215829 456 1167 0 215373 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 866368
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10929
/proc/meminfo: memFree=28190924/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=894016 CPUtime=942 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 223024 0 0 0 94095 105 0 0 20 0 1 0 277965238 915472384 222741 33554432000 4194304 8973514 140736170388144 140736170387408 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 223504 222741 456 1167 0 222285 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 894016
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10932
/proc/meminfo: memFree=28129328/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=937024 CPUtime=1001.99 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 233598 0 0 0 100089 110 0 0 20 0 1 0 277965238 959512576 233315 33554432000 4194304 8973514 140736170388144 140736170387408 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 234256 233315 456 1167 0 233037 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 937024
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10932
/proc/meminfo: memFree=28083668/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=951360 CPUtime=1061.98 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 237144 0 0 0 106085 113 0 0 20 0 1 0 277965238 974192640 236861 33554432000 4194304 8973514 140736170388144 140736170387408 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 237840 236861 456 1167 0 236621 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 951360
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10932
/proc/meminfo: memFree=28032212/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=981056 CPUtime=1121.97 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 244753 0 0 0 112080 117 0 0 20 0 1 0 277965238 1004601344 244470 33554432000 4194304 8973514 140736170388144 140736170387408 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 245264 244470 456 1167 0 244045 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 981056
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10932
/proc/meminfo: memFree=27967484/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=1013824 CPUtime=1181.97 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 252725 0 0 0 118075 122 0 0 20 0 1 0 277965238 1038155776 252442 33554432000 4194304 8973514 140736170388144 140736170387408 7681399 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 253456 252442 456 1167 0 252237 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1013824
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10933
/proc/meminfo: memFree=27928920/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=1029184 CPUtime=1241.95 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 256816 0 0 0 124069 126 0 0 20 0 1 0 277965238 1053884416 256533 33554432000 4194304 8973514 140736170388144 140736170387408 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 257296 256533 456 1167 0 256077 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1029184
[startup+1302.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/177 10933
/proc/meminfo: memFree=27871136/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=1064000 CPUtime=1301.95 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 265316 0 0 0 130065 130 0 0 20 0 1 0 277965238 1089536000 265033 33554432000 4194304 8973514 140736170388144 140736170387408 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 266000 265033 456 1167 0 264781 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1064000
[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 10933
/proc/meminfo: memFree=27831084/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=1080384 CPUtime=1361.93 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 269616 0 0 0 136060 133 0 0 20 0 1 0 277965238 1106313216 269333 33554432000 4194304 8973514 140736170388144 140736170387408 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 270096 269333 456 1167 0 268877 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1080384
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10933
/proc/meminfo: memFree=27785328/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=1115200 CPUtime=1421.93 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 278090 0 0 0 142056 137 0 0 20 0 1 0 277965238 1141964800 277807 33554432000 4194304 8973514 140736170388144 140736170387408 4208816 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 278800 277807 456 1167 0 277581 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1115200
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10933
/proc/meminfo: memFree=27745064/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=1131584 CPUtime=1481.9 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 282368 0 0 0 148050 140 0 0 20 0 1 0 277965238 1158742016 282049 33554432000 4194304 8973514 140736170388144 140736170387408 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 282896 282049 456 1167 0 281677 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1131584
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10934
/proc/meminfo: memFree=27703184/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=1148992 CPUtime=1541.86 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 286738 0 0 0 154042 144 0 0 20 0 1 0 277965238 1176567808 286372 33554432000 4194304 8973514 140736170388144 140736170387408 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 287248 286372 456 1167 0 286029 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1148992
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10937
/proc/meminfo: memFree=27659556/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=1167424 CPUtime=1601.82 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 291325 0 0 0 160035 147 0 0 20 0 1 0 277965238 1195442176 290922 33554432000 4194304 8973514 140736170388144 140736170387408 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 291856 290922 456 1167 0 290637 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1167424
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10960
/proc/meminfo: memFree=27615216/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=1185856 CPUtime=1661.79 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 296057 0 0 0 166029 150 0 0 20 0 1 0 277965238 1214316544 295624 33554432000 4194304 8973514 140736170388144 140736170387408 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 296464 295624 456 1167 0 295245 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1185856
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10960
/proc/meminfo: memFree=27586468/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=1203264 CPUtime=1721.78 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 300373 0 0 0 172024 154 0 0 20 0 1 0 277965238 1232142336 299928 33554432000 4194304 8973514 140736170388144 140736170387408 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 300816 299928 456 1167 0 299597 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1203264
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 10960
/proc/meminfo: memFree=27539624/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=1222720 CPUtime=1781.75 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 305344 0 0 0 178019 156 0 0 20 0 1 0 277965238 1252065280 304874 33554432000 4194304 8973514 140736170388144 140736170387408 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 305680 304874 456 1167 0 304461 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1222720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.06 2.01 2.00 3/176 10960
/proc/meminfo: memFree=27526828/32873648 swapFree=7368/7368
[pid=10888] ppid=10886 vsize=1222720 CPUtime=1800.06 cores=0,2,4,6
/proc/10888/stat : 10888 (toysat) R 10886 10888 3829 0 -1 4202496 305392 0 0 0 179849 157 0 0 20 0 1 0 277965238 1252065280 304917 33554432000 4194304 8973514 140736170388144 140736170387408 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/10888/statm: 305680 304917 456 1167 0 304461 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1222720
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.07
CPU user time (s): 1798.49
CPU system time (s): 1.57676
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 1222720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.49
system time used= 1.57676
maximum resident set size= 1219668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305392
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= 405
involuntary context switches= 2004
runsolver used 3.3005 second user time and 8.33573 second system time
The end