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-3707298-1338133122/watcher-3707298-1338133122 -o /tmp/evaluation-result-3707298-1338133122/solver-3707298-1338133122 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707298-1338133122.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.03 2.02 2.00 3/176 10575
/proc/meminfo: memFree=30635420/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 805 0 0 0 0 0 0 0 20 0 1 0 279438241 6356992 727 33554432000 4194304 8973514 140737451619008 140734715999000 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 1552 729 414 1167 0 333 0
[startup+0.0200921 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 10575
/proc/meminfo: memFree=30635420/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=8256 CPUtime=0.01 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 1107 0 0 0 1 0 0 0 20 0 1 0 279438241 8454144 1029 33554432000 4194304 8973514 140737451619008 140734715999000 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 2064 1033 418 1167 0 845 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8256
[startup+0.100205 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 10575
/proc/meminfo: memFree=30635420/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 2402 0 0 0 9 0 0 0 20 0 1 0 279438241 13697024 2324 33554432000 4194304 8973514 140737451619008 140734715999000 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 3344 2324 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300227 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 10575
/proc/meminfo: memFree=30635420/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=36928 CPUtime=0.29 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 8379 0 0 0 29 0 0 0 20 0 1 0 279438241 37814272 8301 33554432000 4194304 8973514 140737451619008 140737451617848 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 9232 8301 429 1167 0 8013 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36928
[startup+0.700229 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 10575
/proc/meminfo: memFree=30635420/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=57408 CPUtime=0.69 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 13666 0 0 0 68 1 0 0 20 0 1 0 279438241 58785792 13588 33554432000 4194304 8973514 140737451619008 140737451617848 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 14352 13588 458 1167 0 13133 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57408
[startup+1.50024 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 10576
/proc/meminfo: memFree=30565840/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=72768 CPUtime=1.49 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 17458 0 0 0 147 2 0 0 20 0 1 0 279438241 74514432 17380 33554432000 4194304 8973514 140737451619008 140737451618272 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 18192 17380 458 1167 0 16973 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72768
[startup+3.10024 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 10576
/proc/meminfo: memFree=30556888/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=83008 CPUtime=3.09 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 19908 0 0 0 306 3 0 0 20 0 1 0 279438241 85000192 19830 33554432000 4194304 8973514 140737451619008 140737451618504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 20752 19830 458 1167 0 19533 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83008
[startup+6.30023 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 10576
/proc/meminfo: memFree=30536844/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=99392 CPUtime=6.29 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 23979 0 0 0 624 5 0 0 20 0 1 0 279438241 101777408 23901 33554432000 4194304 8973514 140737451619008 140737451618504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 24848 23901 458 1167 0 23629 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99392
[startup+12.7002 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 10576
/proc/meminfo: memFree=30509576/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=121920 CPUtime=12.69 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 29636 0 0 0 1263 6 0 0 20 0 1 0 279438241 124846080 29558 33554432000 4194304 8973514 140737451619008 140737451618272 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 30480 29558 458 1167 0 29261 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 121920
[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 10576
/proc/meminfo: memFree=30447084/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=170048 CPUtime=25.49 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 41818 0 0 0 2537 12 0 0 20 0 1 0 279438241 174129152 41740 33554432000 4194304 8973514 140737451619008 140737451618504 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 42512 41740 458 1167 0 41293 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 170048
[startup+51.1002 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 10576
/proc/meminfo: memFree=30328828/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=242752 CPUtime=51.08 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 59890 0 0 0 5089 19 0 0 20 0 1 0 279438241 248578048 59812 33554432000 4194304 8973514 140737451619008 140737451618272 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 60688 59812 458 1167 0 59469 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 242752
[startup+102.306 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 10579
/proc/meminfo: memFree=30173736/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=360512 CPUtime=102.28 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 89216 0 0 0 10196 32 0 0 20 0 1 0 279438241 369164288 89138 33554432000 4194304 8973514 140737451619008 140737451618272 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 90128 89138 458 1167 0 88909 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 360512
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10579
/proc/meminfo: memFree=30052028/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=473152 CPUtime=162.26 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 117494 0 0 0 16182 44 0 0 20 0 1 0 279438241 484507648 117416 33554432000 4194304 8973514 140737451619008 140737451618504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 118288 117416 458 1167 0 117069 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 473152
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10579
/proc/meminfo: memFree=29975824/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=569408 CPUtime=222.26 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 141637 0 0 0 22170 56 0 0 20 0 1 0 279438241 583073792 141559 33554432000 4194304 8973514 140737451619008 140737451618504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 142352 141559 458 1167 0 141133 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 569408
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10580
/proc/meminfo: memFree=29838524/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=641088 CPUtime=282.24 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 159496 0 0 0 28157 67 0 0 20 0 1 0 279438241 656474112 159418 33554432000 4194304 8973514 140737451619008 140737451618272 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 160272 159418 458 1167 0 159053 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 641088
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10580
/proc/meminfo: memFree=29757492/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=708672 CPUtime=342.23 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 176347 0 0 0 34146 77 0 0 20 0 1 0 279438241 725680128 176273 33554432000 4194304 8973514 140737451619008 140737451618272 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 177168 176273 458 1167 0 175949 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 708672
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10580
/proc/meminfo: memFree=29646208/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=774208 CPUtime=402.2 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 192709 0 0 0 40133 87 0 0 20 0 1 0 279438241 792788992 192591 33554432000 4194304 8973514 140737451619008 140737451618272 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 193552 192591 458 1167 0 192333 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 774208
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 10580
/proc/meminfo: memFree=29531420/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=828480 CPUtime=462.14 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 206527 0 0 0 46119 95 0 0 20 0 1 0 279438241 848363520 206361 33554432000 4194304 8973514 140737451619008 140737451618272 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 207120 206361 458 1167 0 205901 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 828480
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10580
/proc/meminfo: memFree=29554080/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=872512 CPUtime=522.1 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 217488 0 0 0 52108 102 0 0 20 0 1 0 279438241 893452288 217279 33554432000 4194304 8973514 140737451619008 140737451618504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 218128 217279 458 1167 0 216909 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 872512
[startup+582.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 10581
/proc/meminfo: memFree=29520472/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=919616 CPUtime=582.07 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 229294 0 0 0 58098 109 0 0 20 0 1 0 279438241 941686784 229039 33554432000 4194304 8973514 140737451619008 140737451618272 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 229904 229039 458 1167 0 228685 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 919616
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10584
/proc/meminfo: memFree=29420092/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=1054784 CPUtime=821.92 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 263267 0 0 0 82064 128 0 0 20 0 1 0 279438241 1080098816 262844 33554432000 4194304 8973514 140737451619008 140737451618272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 263696 262844 458 1167 0 262477 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 1054784
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10585
/proc/meminfo: memFree=29426428/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=1073216 CPUtime=881.88 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 267825 0 0 0 88057 131 0 0 20 0 1 0 279438241 1098973184 267358 33554432000 4194304 8973514 140737451619008 140737451618272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 268304 267358 458 1167 0 267085 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 1073216
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10585
/proc/meminfo: memFree=29379352/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=1108032 CPUtime=941.85 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 276566 0 0 0 94050 135 0 0 20 0 1 0 279438241 1134624768 276083 33554432000 4194304 8973514 140737451619008 140737451618272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 277008 276083 458 1167 0 275789 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 1108032
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10585
/proc/meminfo: memFree=29310172/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=1127488 CPUtime=1001.84 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 281477 0 0 0 100046 138 0 0 20 0 1 0 279438241 1154547712 280986 33554432000 4194304 8973514 140737451619008 140737451618272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 281872 280986 458 1167 0 280653 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 1127488
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10585
/proc/meminfo: memFree=29288392/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=1146944 CPUtime=1061.82 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 286307 0 0 0 106041 141 0 0 20 0 1 0 279438241 1174470656 285815 33554432000 4194304 8973514 140737451619008 140737451618272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 286736 285815 458 1167 0 285517 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 1146944
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 10585
/proc/meminfo: memFree=29225728/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=1186880 CPUtime=1121.82 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 296305 0 0 0 112036 146 0 0 20 0 1 0 279438241 1215365120 295813 33554432000 4194304 8973514 140737451619008 140737451618272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 296720 295813 458 1167 0 295501 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 1186880
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10586
/proc/meminfo: memFree=29135900/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=1206336 CPUtime=1181.81 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 301299 0 0 0 118031 150 0 0 20 0 1 0 279438241 1235288064 300807 33554432000 4194304 8973514 140737451619008 140737451618272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 301584 300807 458 1167 0 300365 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 1206336
[startup+1242.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 10586
/proc/meminfo: memFree=29201948/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=1228864 CPUtime=1241.8 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 306781 0 0 0 124026 154 0 0 20 0 1 0 279438241 1258356736 306289 33554432000 4194304 8973514 140737451619008 140737451618272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 307216 306289 458 1167 0 305997 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1228864
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 10589
/proc/meminfo: memFree=29139960/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=1248320 CPUtime=1301.8 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 311797 0 0 0 130024 156 0 0 20 0 1 0 279438241 1278279680 311305 33554432000 4194304 8973514 140737451619008 140737451618272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 312080 311305 458 1167 0 310861 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 1248320
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10612
/proc/meminfo: memFree=29158700/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=1269824 CPUtime=1361.78 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 317022 0 0 0 136019 159 0 0 20 0 1 0 279438241 1300299776 316530 33554432000 4194304 8973514 140737451619008 140737451618272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 317456 316530 458 1167 0 316237 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1269824
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10612
/proc/meminfo: memFree=29081264/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=1292352 CPUtime=1421.78 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 322638 0 0 0 142015 163 0 0 20 0 1 0 279438241 1323368448 322146 33554432000 4194304 8973514 140737451619008 140737451618272 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 323088 322146 458 1167 0 321869 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1292352
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10613
/proc/meminfo: memFree=29097492/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=1313856 CPUtime=1481.76 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 327971 0 0 0 148009 167 0 0 20 0 1 0 279438241 1345388544 327479 33554432000 4194304 8973514 140737451619008 140737451618272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 328464 327479 458 1167 0 327245 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1313856
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10613
/proc/meminfo: memFree=29030080/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=1337408 CPUtime=1541.76 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 333839 0 0 0 154005 171 0 0 20 0 1 0 279438241 1369505792 333347 33554432000 4194304 8973514 140737451619008 140737451618272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 334352 333347 458 1167 0 333133 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1337408
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10613
/proc/meminfo: memFree=28942896/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=1358912 CPUtime=1601.74 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 339257 0 0 0 160001 173 0 0 20 0 1 0 279438241 1391525888 338765 33554432000 4194304 8973514 140737451619008 140737451618272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 339728 338765 458 1167 0 338509 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1358912
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10613
/proc/meminfo: memFree=29023316/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=1381440 CPUtime=1661.74 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 345034 0 0 0 165997 177 0 0 20 0 1 0 279438241 1414594560 344542 33554432000 4194304 8973514 140737451619008 140737451618272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 345360 344542 458 1167 0 344141 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1381440
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 10614
/proc/meminfo: memFree=28986172/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=1406016 CPUtime=1721.73 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 351175 0 0 0 171993 180 0 0 20 0 1 0 279438241 1439760384 350683 33554432000 4194304 8973514 140737451619008 140737451618272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 351504 350683 458 1167 0 350285 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1406016
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10654
/proc/meminfo: memFree=29377248/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=1430592 CPUtime=1781.72 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 357253 0 0 0 177989 183 0 0 20 0 1 0 279438241 1464926208 356761 33554432000 4194304 8973514 140737451619008 140737451618272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 357648 356761 458 1167 0 356429 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1430592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10654
/proc/meminfo: memFree=29370788/32873648 swapFree=6860/6860
[pid=10575] ppid=10573 vsize=1430592 CPUtime=1800.02 cores=1,3,5,7
/proc/10575/stat : 10575 (toysat) R 10573 10575 9979 0 -1 4202496 357253 0 0 0 179819 183 0 0 20 0 1 0 279438241 1464926208 356761 33554432000 4194304 8973514 140737451619008 140737451618272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10575/statm: 357648 356761 458 1167 0 356429 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1430592
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.63
CPU time (s): 1800.06
CPU user time (s): 1798.2
CPU system time (s): 1.86172
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 1430592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.2
system time used= 1.86172
maximum resident set size= 1427044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357253
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= 429
involuntary context switches= 1839
runsolver used 3.19051 second user time and 8.62469 second system time
The end