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-3724474-1338644361/watcher-3724474-1338644361 -o /tmp/evaluation-result-3724474-1338644361/solver-3724474-1338644361 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724474-1338644361.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.94 2.00 1.99 3/176 5503
/proc/meminfo: memFree=27371592/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 820 0 0 0 0 0 0 0 20 0 1 0 330562177 6373376 740 33554432000 4194304 8989770 140733398967168 140735406803304 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 1556 740 428 1171 0 333 0
[startup+0.0823191 s]
/proc/loadavg: 1.94 2.00 1.99 3/176 5503
/proc/meminfo: memFree=27371592/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=11344 CPUtime=0.07 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 1947 0 0 0 7 0 0 0 20 0 1 0 330562177 11616256 1867 33554432000 4194304 8989770 140733398967168 140735406803304 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 2836 1867 429 1171 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11344
[startup+0.100295 s]
/proc/loadavg: 1.94 2.00 1.99 3/176 5503
/proc/meminfo: memFree=27371592/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 2370 0 0 0 9 0 0 0 20 0 1 0 330562177 12664832 2290 33554432000 4194304 8989770 140733398967168 140735406803304 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 3092 2290 430 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300235 s]
/proc/loadavg: 1.94 2.00 1.99 3/176 5503
/proc/meminfo: memFree=27371592/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=24656 CPUtime=0.28 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 5200 0 0 0 28 0 0 0 20 0 1 0 330562177 25247744 5121 33554432000 4194304 8989770 140733398967168 140735406803304 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 6164 5127 431 1171 0 4941 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24656
[startup+0.700236 s]
/proc/loadavg: 1.94 2.00 1.99 3/176 5503
/proc/meminfo: memFree=27371592/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=46160 CPUtime=0.69 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 10807 0 0 0 67 2 0 0 20 0 1 0 330562177 47267840 10727 33554432000 4194304 8989770 140733398967168 140735406803304 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 11540 10734 436 1171 0 10317 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46160
[startup+1.50025 s]
/proc/loadavg: 1.94 2.00 1.99 3/177 5504
/proc/meminfo: memFree=27319388/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=57424 CPUtime=1.48 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 13669 0 0 0 146 2 0 0 20 0 1 0 330562177 58802176 13589 33554432000 4194304 8989770 140733398967168 140733398966664 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 14356 13589 459 1171 0 13133 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 57424
[startup+3.10018 s]
/proc/loadavg: 1.94 2.00 1.99 3/177 5504
/proc/meminfo: memFree=27318752/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=57424 CPUtime=3.08 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 13669 0 0 0 306 2 0 0 20 0 1 0 330562177 58802176 13589 33554432000 4194304 8989770 140733398967168 140733398966664 4435107 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 14356 13589 459 1171 0 13133 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 57424
[startup+6.30024 s]
/proc/loadavg: 1.95 2.00 1.99 3/177 5504
/proc/meminfo: memFree=27315776/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=58448 CPUtime=6.29 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 13925 0 0 0 625 4 0 0 20 0 1 0 330562177 59850752 13845 33554432000 4194304 8989770 140733398967168 140733398966432 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 14612 13845 459 1171 0 13389 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58448
[startup+12.7002 s]
/proc/loadavg: 1.95 2.00 1.99 3/177 5504
/proc/meminfo: memFree=27310196/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=65616 CPUtime=12.69 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 15717 0 0 0 1263 6 0 0 20 0 1 0 330562177 67190784 15637 33554432000 4194304 8989770 140733398967168 140733398966664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 16404 15637 459 1171 0 15181 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65616
[startup+25.5002 s]
/proc/loadavg: 1.96 2.00 1.99 3/177 5504
/proc/meminfo: memFree=27296664/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=77904 CPUtime=25.48 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 18789 0 0 0 2539 9 0 0 20 0 1 0 330562177 79773696 18709 33554432000 4194304 8989770 140733398967168 140733398966664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 19476 18709 459 1171 0 18253 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 77904
[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 1.99 3/178 5507
/proc/meminfo: memFree=27268236/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=109648 CPUtime=51.08 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 26641 0 0 0 5091 17 0 0 20 0 1 0 330562177 112279552 26561 33554432000 4194304 8989770 140733398967168 140733398966432 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 27412 26561 459 1171 0 26189 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 109648
[startup+102.306 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 5508
/proc/meminfo: memFree=27215252/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=158800 CPUtime=102.28 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 38948 0 0 0 10200 28 0 0 20 0 1 0 330562177 162611200 38868 33554432000 4194304 8989770 140733398967168 140733398966432 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 39700 38868 459 1171 0 38477 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 158800
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5508
/proc/meminfo: memFree=27150200/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=220240 CPUtime=162.24 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 54179 0 0 0 16179 45 0 0 20 0 1 0 330562177 225525760 54068 33554432000 4194304 8989770 140733398967168 140733398966432 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 55060 54068 459 1171 0 53837 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 220240
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 5508
/proc/meminfo: memFree=27105480/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=263248 CPUtime=222.21 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 64942 0 0 0 22164 57 0 0 20 0 1 0 330562177 269565952 64795 33554432000 4194304 8989770 140733398967168 140733398966432 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 65812 64795 459 1171 0 64589 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 263248
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5508
/proc/meminfo: memFree=27070792/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=293968 CPUtime=282.17 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 72848 0 0 0 28149 68 0 0 20 0 1 0 330562177 301023232 72665 33554432000 4194304 8989770 140733398967168 140733398966664 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 73492 72665 459 1171 0 72269 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 293968
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5508
/proc/meminfo: memFree=27043364/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=322640 CPUtime=342.16 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 79833 0 0 0 34138 78 0 0 20 0 1 0 330562177 330383360 79645 33554432000 4194304 8989770 140733398967168 140733398966664 4208894 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 80660 79645 459 1171 0 79437 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 322640
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5509
/proc/meminfo: memFree=27033452/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=331856 CPUtime=402.15 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 82387 0 0 0 40128 87 0 0 20 0 1 0 330562177 339820544 82199 33554432000 4194304 8989770 140733398967168 140733398966664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 82964 82199 461 1171 0 81741 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 331856
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5510
/proc/meminfo: memFree=27033372/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=331856 CPUtime=462.14 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 82387 0 0 0 46115 99 0 0 20 0 1 0 330562177 339820544 82199 33554432000 4194304 8989770 140733398967168 140733398966664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 82964 82199 461 1171 0 81741 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 331856
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5510
/proc/meminfo: memFree=27031836/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=331856 CPUtime=522.13 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 82387 0 0 0 52104 109 0 0 20 0 1 0 330562177 339820544 82199 33554432000 4194304 8989770 140733398967168 140733398966664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 82964 82199 461 1171 0 81741 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 331856
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5510
/proc/meminfo: memFree=27032332/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=331856 CPUtime=582.12 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 82387 0 0 0 58093 119 0 0 20 0 1 0 330562177 339820544 82199 33554432000 4194304 8989770 140733398967168 140733398966664 4469828 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 82964 82199 461 1171 0 81741 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 331856
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5514
/proc/meminfo: memFree=26965676/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=398416 CPUtime=822.08 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 99041 0 0 0 82049 159 0 0 20 0 1 0 330562177 407977984 98839 33554432000 4194304 8989770 140733398967168 140733398966432 4209142 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 99604 98839 461 1171 0 98381 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 398416
[startup+882.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 5514
/proc/meminfo: memFree=26965428/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=398416 CPUtime=882.07 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 99041 0 0 0 88038 169 0 0 20 0 1 0 330562177 407977984 98839 33554432000 4194304 8989770 140733398967168 140733398966432 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 99604 98839 461 1171 0 98381 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 398416
[startup+942.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5514
/proc/meminfo: memFree=26965552/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=398416 CPUtime=942.06 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 99041 0 0 0 94027 179 0 0 20 0 1 0 330562177 407977984 98839 33554432000 4194304 8989770 140733398967168 140733398966432 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 99604 98839 461 1171 0 98381 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 398416
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5554
/proc/meminfo: memFree=27062792/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=398416 CPUtime=1002.04 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 99047 0 0 0 100018 186 0 0 20 0 1 0 330562177 407977984 98839 33554432000 4194304 8989770 140733398967168 140733398966664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 99604 98839 461 1171 0 98381 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 398416
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5554
/proc/meminfo: memFree=27050476/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=398416 CPUtime=1062.04 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 99050 0 0 0 106009 195 0 0 20 0 1 0 330562177 407977984 98839 33554432000 4194304 8989770 140733398967168 140733398966664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 99604 98839 461 1171 0 98381 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 398416
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5554
/proc/meminfo: memFree=27044496/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=398416 CPUtime=1122.02 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 99050 0 0 0 112001 201 0 0 20 0 1 0 330562177 407977984 98839 33554432000 4194304 8989770 140733398967168 140733398966664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 99604 98839 461 1171 0 98381 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 398416
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5554
/proc/meminfo: memFree=27041768/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=402512 CPUtime=1182.02 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 99830 0 0 0 117993 209 0 0 20 0 1 0 330562177 412172288 99619 33554432000 4194304 8989770 140733398967168 140733398966432 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 100628 99619 461 1171 0 99405 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 402512
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5557
/proc/meminfo: memFree=27026348/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=414800 CPUtime=1242.01 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 103146 0 0 0 123984 217 0 0 20 0 1 0 330562177 424755200 102935 33554432000 4194304 8989770 140733398967168 140733398966432 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 103700 102935 461 1171 0 102477 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 414800
[startup+1302.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 5581
/proc/meminfo: memFree=27036160/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=402512 CPUtime=1302.01 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 103146 0 0 0 129976 225 0 0 20 0 1 0 330562177 412172288 99863 33554432000 4194304 8989770 140733398967168 140733398966432 4209198 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 100628 99863 461 1171 0 99405 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 402512
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5581
/proc/meminfo: memFree=27061768/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=377936 CPUtime=1361.99 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 103148 0 0 0 135965 234 0 0 20 0 1 0 330562177 387006464 93719 33554432000 4194304 8989770 140733398967168 140733398966664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 94484 93719 461 1171 0 93261 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 377936
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5581
/proc/meminfo: memFree=27062136/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=377936 CPUtime=1421.99 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 103148 0 0 0 141956 243 0 0 20 0 1 0 330562177 387006464 93719 33554432000 4194304 8989770 140733398967168 140733398966432 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 94484 93719 461 1171 0 93261 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 377936
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5581
/proc/meminfo: memFree=27061144/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=377936 CPUtime=1481.97 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 103148 0 0 0 147945 252 0 0 20 0 1 0 330562177 387006464 93719 33554432000 4194304 8989770 140733398967168 140733398966432 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 94484 93719 461 1171 0 93261 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 377936
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5581
/proc/meminfo: memFree=27060276/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=377936 CPUtime=1541.97 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 103148 0 0 0 153935 262 0 0 20 0 1 0 330562177 387006464 93719 33554432000 4194304 8989770 140733398967168 140733398966432 4437964 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 94484 93719 461 1171 0 93261 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 377936
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5581
/proc/meminfo: memFree=27059912/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=377936 CPUtime=1601.96 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 103148 0 0 0 159926 270 0 0 20 0 1 0 330562177 387006464 93719 33554432000 4194304 8989770 140733398967168 140733398966432 4209328 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 94484 93719 461 1171 0 93261 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 377936
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5582
/proc/meminfo: memFree=27052964/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=385104 CPUtime=1661.94 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 104891 0 0 0 165916 278 0 0 20 0 1 0 330562177 394346496 95462 33554432000 4194304 8989770 140733398967168 140733398966664 4452980 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 96276 95462 461 1171 0 95053 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 385104
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5582
/proc/meminfo: memFree=27023388/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=412752 CPUtime=1721.94 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 111676 0 0 0 171908 286 0 0 20 0 1 0 330562177 422658048 102247 33554432000 4194304 8989770 140733398967168 140733398966432 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 103188 102247 461 1171 0 101965 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 412752
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 5582
/proc/meminfo: memFree=27004664/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=430160 CPUtime=1781.92 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 116204 0 0 0 177897 295 0 0 20 0 1 0 330562177 440483840 106775 33554432000 4194304 8989770 140733398967168 140733398965120 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 107540 106775 461 1171 0 106317 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 430160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 5582
/proc/meminfo: memFree=27004540/32873648 swapFree=6860/6860
[pid=5503] ppid=5501 vsize=430160 CPUtime=1800.03 cores=0,2,4,6
/proc/5503/stat : 5503 (toysat) R 5501 5503 4467 0 -1 4202496 116204 0 0 0 179705 298 0 0 20 0 1 0 330562177 440483840 106775 33554432000 4194304 8989770 140733398967168 140733398966664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5503/statm: 107540 106775 461 1171 0 106317 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 430160
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.05
CPU user time (s): 1797.06
CPU system time (s): 2.98854
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 430160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.06
system time used= 2.98855
maximum resident set size= 427100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116204
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= 136
involuntary context switches= 1874
runsolver used 3.2915 second user time and 9.04363 second system time
The end