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-3707227-1338208299/watcher-3707227-1338208299 -o /tmp/evaluation-result-3707227-1338208299/solver-3707227-1338208299 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707227-1338208299.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.09 2.04 2.01 3/178 22473
/proc/meminfo: memFree=31282208/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 812 0 0 0 0 0 0 0 20 0 1 0 286954731 6356992 734 33554432000 4194304 8973514 140734825122960 140735709635768 8251226 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 1808 741 412 1167 0 589 0
[startup+0.0288869 s]
/proc/loadavg: 2.09 2.04 2.01 3/178 22473
/proc/meminfo: memFree=31282208/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=8256 CPUtime=0.02 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 1215 0 0 0 2 0 0 0 20 0 1 0 286954731 8454144 1137 33554432000 4194304 8973514 140734825122960 140735709635768 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 2064 1137 418 1167 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8256
[startup+0.100198 s]
/proc/loadavg: 2.09 2.04 2.01 3/178 22473
/proc/meminfo: memFree=31282208/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=12352 CPUtime=0.08 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 2325 0 0 0 8 0 0 0 20 0 1 0 286954731 12648448 2247 33554432000 4194304 8973514 140734825122960 140735709635768 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 3088 2247 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12352
[startup+0.300237 s]
/proc/loadavg: 2.09 2.04 2.01 3/178 22473
/proc/meminfo: memFree=31282208/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=24640 CPUtime=0.28 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 5426 0 0 0 27 1 0 0 20 0 1 0 286954731 25231360 5348 33554432000 4194304 8973514 140734825122960 140735709635768 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 6160 5348 418 1167 0 4941 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24640
[startup+0.700225 s]
/proc/loadavg: 2.09 2.04 2.01 3/178 22473
/proc/meminfo: memFree=31282208/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=47168 CPUtime=0.69 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 11058 0 0 0 66 3 0 0 20 0 1 0 286954731 48300032 10980 33554432000 4194304 8973514 140734825122960 140734825122224 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 11792 10980 418 1167 0 10573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47168
[startup+1.50025 s]
/proc/loadavg: 2.09 2.04 2.01 3/179 22474
/proc/meminfo: memFree=31172064/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=99392 CPUtime=1.49 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 24114 0 0 0 144 5 0 0 20 0 1 0 286954731 101777408 24036 33554432000 4194304 8973514 140734825122960 140734825121800 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 24848 24036 418 1167 0 23629 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99392
[startup+3.10023 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 22474
/proc/meminfo: memFree=31041360/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=164928 CPUtime=3.08 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 40498 0 0 0 300 8 0 0 20 0 1 0 286954731 168886272 40420 33554432000 4194304 8973514 140734825122960 140734825120960 4212526 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 41232 40420 418 1167 0 40013 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 164928
[startup+6.30029 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 22474
/proc/meminfo: memFree=30564820/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=366656 CPUtime=6.28 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 90930 0 0 0 607 21 0 0 20 0 1 0 286954731 375455744 90852 33554432000 4194304 8973514 140734825122960 140734825120768 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 91664 90852 418 1167 0 90445 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 366656
[startup+12.7003 s]
/proc/loadavg: 2.07 2.04 2.01 3/179 22474
/proc/meminfo: memFree=29685888/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=804928 CPUtime=12.69 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 200508 0 0 0 1224 45 0 0 20 0 1 0 286954731 824246272 200430 33554432000 4194304 8973514 140734825122960 140734825122456 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 201232 200430 422 1167 0 200013 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 804928
[startup+25.5078 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 22474
/proc/meminfo: memFree=29357528/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=25.49 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246613 0 0 0 2495 54 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825120960 4209198 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 989248
[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 22474
/proc/meminfo: memFree=29357604/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=51.08 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246613 0 0 0 5048 60 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825122456 7841851 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 989248
[startup+102.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 22474
/proc/meminfo: memFree=29357400/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=102.28 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246613 0 0 0 10162 66 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825120896 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 989248
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 22475
/proc/meminfo: memFree=29357056/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=162.27 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246613 0 0 0 16152 75 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825122224 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 989248
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 22475
/proc/meminfo: memFree=29357456/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=222.26 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246613 0 0 0 22144 82 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825122224 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 989248
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 22475
/proc/meminfo: memFree=29357360/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=282.24 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246613 0 0 0 28131 93 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825120896 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 989248
[startup+342.308 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 22475
/proc/meminfo: memFree=29357388/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=342.24 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246613 0 0 0 34121 103 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825122456 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 989248
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22475
/proc/meminfo: memFree=29357416/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=402.23 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246613 0 0 0 40110 113 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825120896 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 989248
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22476
/proc/meminfo: memFree=29357444/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=462.22 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246613 0 0 0 46100 122 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825104960 4209442 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 989248
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22479
/proc/meminfo: memFree=29357216/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=522.21 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246613 0 0 0 52088 133 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825121152 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 989248
[startup+582.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/179 22479
/proc/meminfo: memFree=29357128/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=582.2 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246613 0 0 0 58076 144 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825122224 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 989248
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22480
/proc/meminfo: memFree=29357332/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=882.16 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246620 0 0 0 88022 194 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825120896 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 989248
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22480
/proc/meminfo: memFree=29357360/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=942.15 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246620 0 0 0 94011 204 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825122456 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 989248
[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22480
/proc/meminfo: memFree=29357264/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=1002.15 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246620 0 0 0 100000 215 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825104960 4204286 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 1002.15
Current children cumulated vsize (KiB) 989248
[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22481
/proc/meminfo: memFree=29357416/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=1062.12 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246627 0 0 0 105986 226 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825122224 4204359 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 989248
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 22484
/proc/meminfo: memFree=29357436/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=1122.11 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246636 0 0 0 111973 238 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825122224 4209212 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 989248
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 22484
/proc/meminfo: memFree=29357216/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=1182.1 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246642 0 0 0 117962 248 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825120896 6571949 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 989248
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22484
/proc/meminfo: memFree=29350832/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=1242.09 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246642 0 0 0 123949 260 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825122456 4208870 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 989248
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22484
/proc/meminfo: memFree=29350832/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=1302.08 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246642 0 0 0 129940 268 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825122224 4209212 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 989248
[startup+1362.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 22485
/proc/meminfo: memFree=29350956/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=1362.07 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246642 0 0 0 135929 278 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825104960 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 989248
[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22485
/proc/meminfo: memFree=29339424/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=1422.06 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246642 0 0 0 141917 289 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825122456 6571896 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 989248
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22485
/proc/meminfo: memFree=29339548/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=1482.05 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246642 0 0 0 147906 299 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825120960 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 989248
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22485
/proc/meminfo: memFree=29339672/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=1542.05 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246642 0 0 0 153894 311 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825122456 4209488 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 989248
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22485
/proc/meminfo: memFree=29339796/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=1602.03 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246642 0 0 0 159881 322 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825122456 7672112 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 989248
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22486
/proc/meminfo: memFree=29339672/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=1662.04 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246642 0 0 0 165868 336 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825120960 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 989248
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22489
/proc/meminfo: memFree=29339788/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=1722.01 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246642 0 0 0 171854 347 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825120896 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 989248
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22512
/proc/meminfo: memFree=29339168/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=1782.01 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246642 0 0 0 177841 360 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825120896 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 989248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22512
/proc/meminfo: memFree=29338840/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=1800.01 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246642 0 0 0 179638 363 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825120896 7732850 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 989248
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22512
/proc/meminfo: memFree=29338840/32873844 swapFree=7616/7616
[pid=22473] ppid=22471 vsize=989248 CPUtime=1800.01 cores=1,3,5,7
/proc/22473/stat : 22473 (toysat) R 22471 22473 21285 0 -1 4202496 246642 0 0 0 179638 363 0 0 20 0 1 0 286954731 1012989952 246535 33554432000 4194304 8973514 140734825122960 140734825120896 7732850 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/22473/statm: 247312 246535 447 1167 0 246093 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 989248
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1796.39
CPU system time (s): 3.63845
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 989248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.39
system time used= 3.63845
maximum resident set size= 986140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246642
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= 32
involuntary context switches= 1855
runsolver used 4.16137 second user time and 10.9133 second system time
The end