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-3705956-1338120488/watcher-3705956-1338120488 -o /tmp/evaluation-result-3705956-1338120488/solver-3705956-1338120488 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3705956-1338120488.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.92 1.98 1.93 3/174 1326
/proc/meminfo: memFree=29017884/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 769 0 0 0 0 0 0 0 20 0 1 0 278174731 6356992 691 33554432000 4194304 8973514 140736612735872 140733270023816 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 1552 693 415 1167 0 333 0
[startup+0.0624709 s]
/proc/loadavg: 1.92 1.98 1.93 3/174 1326
/proc/meminfo: memFree=29017884/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=10304 CPUtime=0.05 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 1677 0 0 0 5 0 0 0 20 0 1 0 278174731 10551296 1598 33554432000 4194304 8973514 140736612735872 140736612735368 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 2576 1598 442 1167 0 1357 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10304
[startup+0.100289 s]
/proc/loadavg: 1.92 1.98 1.93 3/174 1326
/proc/meminfo: memFree=29017884/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=11328 CPUtime=0.09 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 2122 0 0 0 9 0 0 0 20 0 1 0 278174731 11599872 2043 33554432000 4194304 8973514 140736612735872 140736612735368 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 2832 2050 442 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328
[startup+0.300221 s]
/proc/loadavg: 1.92 1.98 1.93 3/174 1326
/proc/meminfo: memFree=29017884/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=13376 CPUtime=0.29 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 2415 0 0 0 29 0 0 0 20 0 1 0 278174731 13697024 2336 33554432000 4194304 8973514 140736612735872 140736612735368 4362968 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 3344 2336 442 1167 0 2125 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13376
[startup+0.700256 s]
/proc/loadavg: 1.92 1.98 1.93 3/174 1326
/proc/meminfo: memFree=29017884/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=15424 CPUtime=0.69 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 3153 0 0 0 68 1 0 0 20 0 1 0 278174731 15794176 3074 33554432000 4194304 8973514 140736612735872 140736612735368 4390436 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 3856 3074 442 1167 0 2637 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15424
[startup+1.50028 s]
/proc/loadavg: 1.92 1.98 1.93 3/175 1327
/proc/meminfo: memFree=29006228/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=20544 CPUtime=1.49 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 4394 0 0 0 148 1 0 0 20 0 1 0 278174731 21037056 4315 33554432000 4194304 8973514 140736612735872 140736612735368 4356712 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 5136 4315 442 1167 0 3917 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20544
[startup+3.10028 s]
/proc/loadavg: 1.92 1.98 1.93 3/175 1327
/proc/meminfo: memFree=28997912/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=31808 CPUtime=3.09 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 7045 0 0 0 306 3 0 0 20 0 1 0 278174731 32571392 6966 33554432000 4194304 8973514 140736612735872 140736612735368 4447472 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 7952 6966 442 1167 0 6733 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31808
[startup+6.30028 s]
/proc/loadavg: 1.93 1.98 1.93 3/175 1327
/proc/meminfo: memFree=28982024/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=43072 CPUtime=6.29 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 9920 0 0 0 624 5 0 0 20 0 1 0 278174731 44105728 9841 33554432000 4194304 8973514 140736612735872 140736612735368 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 10768 9841 443 1167 0 9549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43072
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.93 3/175 1327
/proc/meminfo: memFree=28963572/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=61504 CPUtime=12.69 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 14440 0 0 0 1258 11 0 0 20 0 1 0 278174731 62980096 14361 33554432000 4194304 8973514 140736612735872 140736612735136 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 15376 14361 443 1167 0 14157 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61504
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.93 3/174 1327
/proc/meminfo: memFree=28924892/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=98368 CPUtime=25.48 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 23668 0 0 0 2531 17 0 0 20 0 1 0 278174731 100728832 23589 33554432000 4194304 8973514 140736612735872 140736612735136 4390432 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 24592 23589 443 1167 0 23373 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 98368
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.93 3/175 1328
/proc/meminfo: memFree=28901836/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=119872 CPUtime=51.06 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 29289 0 0 0 5076 30 0 0 20 0 1 0 278174731 122748928 29192 33554432000 4194304 8973514 140736612735872 140736612735136 5383860 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 29968 29192 443 1167 0 28749 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 119872
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.93 3/175 1328
/proc/meminfo: memFree=28875220/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=146496 CPUtime=102.24 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 35982 0 0 0 10174 50 0 0 20 0 1 0 278174731 150011904 35848 33554432000 4194304 8973514 140736612735872 140736612735136 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 36624 35848 443 1167 0 35405 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 146496
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/176 1331
/proc/meminfo: memFree=28831864/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=190528 CPUtime=162.22 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 46994 0 0 0 16158 64 0 0 20 0 1 0 278174731 195100672 46856 33554432000 4194304 8973514 140736612735872 140736612735136 4459098 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 47632 46856 443 1167 0 46413 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 190528
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/175 1331
/proc/meminfo: memFree=28816496/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=204864 CPUtime=222.22 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 50578 0 0 0 22144 78 0 0 20 0 1 0 278174731 209780736 50440 33554432000 4194304 8973514 140736612735872 140736612735136 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 51216 50440 443 1167 0 49997 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 204864
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/175 1331
/proc/meminfo: memFree=28815628/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=206912 CPUtime=282.2 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 50851 0 0 0 28133 87 0 0 20 0 1 0 278174731 211877888 50713 33554432000 4194304 8973514 140736612735872 140736612735136 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 51728 50713 443 1167 0 50509 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 206912
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/175 1332
/proc/meminfo: memFree=28806328/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=215104 CPUtime=342.2 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 53138 0 0 0 34120 100 0 0 20 0 1 0 278174731 220266496 53000 33554432000 4194304 8973514 140736612735872 140736612735136 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 53776 53000 443 1167 0 52557 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 215104
[startup+402.3 s]
/proc/loadavg: 2.04 2.00 1.94 3/175 1332
/proc/meminfo: memFree=28795540/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=226368 CPUtime=402.19 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 55849 0 0 0 40107 112 0 0 20 0 1 0 278174731 231800832 55711 33554432000 4194304 8973514 140736612735872 140736612735136 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 56592 55711 443 1167 0 55373 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 226368
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 1332
/proc/meminfo: memFree=28795788/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=226368 CPUtime=462.17 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 55849 0 0 0 46091 126 0 0 20 0 1 0 278174731 231800832 55711 33554432000 4194304 8973514 140736612735872 140736612735136 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 56592 55711 443 1167 0 55373 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 226368
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 1332
/proc/meminfo: memFree=28795400/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=226368 CPUtime=522.14 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 55876 0 0 0 52073 141 0 0 20 0 1 0 278174731 231800832 55711 33554432000 4194304 8973514 140736612735872 140736612735136 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 56592 55711 443 1167 0 55373 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 226368
[startup+582.3 s]
/proc/loadavg: 1.96 1.98 1.93 3/175 1376
/proc/meminfo: memFree=29149824/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=230464 CPUtime=582.14 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 57005 0 0 0 58061 153 0 0 20 0 1 0 278174731 235995136 56840 33554432000 4194304 8973514 140736612735872 140736612735136 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 57616 56840 443 1167 0 56397 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 230464
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/175 1380
/proc/meminfo: memFree=29106252/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=266304 CPUtime=822.1 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 65976 0 0 0 82020 190 0 0 20 0 1 0 278174731 272695296 65800 33554432000 4194304 8973514 140736612735872 140736612735368 4209206 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 66576 65800 443 1167 0 65357 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 266304
[startup+882.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/175 1380
/proc/meminfo: memFree=29106128/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=266304 CPUtime=882.09 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 65976 0 0 0 88010 199 0 0 20 0 1 0 278174731 272695296 65800 33554432000 4194304 8973514 140736612735872 140736612735136 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 66576 65800 443 1167 0 65357 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 266304
[startup+942.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/174 1380
/proc/meminfo: memFree=29106384/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=266304 CPUtime=942.08 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 65976 0 0 0 94003 205 0 0 20 0 1 0 278174731 272695296 65800 33554432000 4194304 8973514 140736612735872 140736612735136 4213787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 66576 65800 443 1167 0 65357 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 266304
[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/175 1381
/proc/meminfo: memFree=29103336/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=266304 CPUtime=1002.07 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 65976 0 0 0 99994 213 0 0 20 0 1 0 278174731 272695296 65800 33554432000 4194304 8973514 140736612735872 140736612735136 4441929 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 66576 65800 443 1167 0 65357 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 266304
[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/175 1381
/proc/meminfo: memFree=29103088/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=266304 CPUtime=1062.06 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 65976 0 0 0 105985 221 0 0 20 0 1 0 278174731 272695296 65800 33554432000 4194304 8973514 140736612735872 140736612735136 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 66576 65800 443 1167 0 65357 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 266304
[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/175 1381
/proc/meminfo: memFree=29103212/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=266304 CPUtime=1122.05 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 65976 0 0 0 111976 229 0 0 20 0 1 0 278174731 272695296 65800 33554432000 4194304 8973514 140736612735872 140736612735136 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 66576 65800 443 1167 0 65357 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 266304
[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/175 1381
/proc/meminfo: memFree=29096948/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=268352 CPUtime=1182.04 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 66489 0 0 0 117967 237 0 0 20 0 1 0 278174731 274792448 66312 33554432000 4194304 8973514 140736612735872 140736612735136 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 67088 66312 443 1167 0 65869 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 268352
[startup+1242.3 s]
/proc/loadavg: 2.04 2.00 1.94 3/175 1381
/proc/meminfo: memFree=29073444/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=291904 CPUtime=1242.03 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 72268 0 0 0 123956 247 0 0 20 0 1 0 278174731 298909696 72091 33554432000 4194304 8973514 140736612735872 140736612735136 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 72976 72091 443 1167 0 71757 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 291904
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 1382
/proc/meminfo: memFree=29071956/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=291904 CPUtime=1302.02 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 72377 0 0 0 129946 256 0 0 20 0 1 0 278174731 298909696 72200 33554432000 4194304 8973514 140736612735872 140736612735136 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 72976 72200 443 1167 0 71757 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 291904
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 1385
/proc/meminfo: memFree=29071328/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=291904 CPUtime=1362.01 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 72377 0 0 0 135937 264 0 0 20 0 1 0 278174731 298909696 72200 33554432000 4194304 8973514 140736612735872 140736612735136 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 72976 72200 443 1167 0 71757 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 291904
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 1385
/proc/meminfo: memFree=29071128/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=291904 CPUtime=1422.01 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 72379 0 0 0 141927 274 0 0 20 0 1 0 278174731 298909696 72200 33554432000 4194304 8973514 140736612735872 140736612735368 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 72976 72200 443 1167 0 71757 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 291904
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 1385
/proc/meminfo: memFree=29071188/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=291904 CPUtime=1481.99 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 72379 0 0 0 147916 283 0 0 20 0 1 0 278174731 298909696 72200 33554432000 4194304 8973514 140736612735872 140736612735136 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 72976 72200 443 1167 0 71757 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 291904
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 1385
/proc/meminfo: memFree=29067096/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=291904 CPUtime=1541.99 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 72379 0 0 0 153906 293 0 0 20 0 1 0 278174731 298909696 72200 33554432000 4194304 8973514 140736612735872 140736612735136 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 72976 72200 443 1167 0 71757 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 291904
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 1386
/proc/meminfo: memFree=29066476/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=291904 CPUtime=1601.97 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 72379 0 0 0 159896 301 0 0 20 0 1 0 278174731 298909696 72200 33554432000 4194304 8973514 140736612735872 140736612735136 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 72976 72200 443 1167 0 71757 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 291904
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 1386
/proc/meminfo: memFree=29054324/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=304192 CPUtime=1661.96 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 75451 0 0 0 165887 309 0 0 20 0 1 0 278174731 311492608 75272 33554432000 4194304 8973514 140736612735872 140736612735136 4447608 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 76048 75272 443 1167 0 74829 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 304192
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/175 1386
/proc/meminfo: memFree=29054188/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=304192 CPUtime=1721.96 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 75454 0 0 0 171879 317 0 0 20 0 1 0 278174731 311492608 75272 33554432000 4194304 8973514 140736612735872 140736612735368 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 76048 75272 443 1167 0 74829 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 304192
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/175 1386
/proc/meminfo: memFree=29053688/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=304192 CPUtime=1781.95 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 75454 0 0 0 177869 326 0 0 20 0 1 0 278174731 311492608 75272 33554432000 4194304 8973514 140736612735872 140736612735136 7692526 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 76048 75272 443 1167 0 74829 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 304192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 1.94 3/175 1386
/proc/meminfo: memFree=29053812/32873852 swapFree=6856/6856
[pid=1326] ppid=1324 vsize=304192 CPUtime=1800.05 cores=1,3,5,7
/proc/1326/stat : 1326 (toysat) R 1324 1326 23596 0 -1 4202496 75454 0 0 0 179677 328 0 0 20 0 1 0 278174731 311492608 75272 33554432000 4194304 8973514 140736612735872 140736612735136 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1326/statm: 76048 75272 443 1167 0 74829 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 304192
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): 1796.78
CPU system time (s): 3.2865
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 304192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.78
system time used= 3.2865
maximum resident set size= 301088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75454
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= 111
involuntary context switches= 1849
runsolver used 3.71043 second user time and 8.79366 second system time
The end