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-3706973-1338127713/watcher-3706973-1338127713 -o /tmp/evaluation-result-3706973-1338127713/solver-3706973-1338127713 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706973-1338127713.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.00 2.00 2.00 3/178 23347
/proc/meminfo: memFree=29784372/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 805 0 0 0 0 0 0 0 20 0 1 0 278896060 6356992 726 33554432000 4194304 8973514 140733266489232 140733266488728 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 1552 726 415 1167 0 333 0
[startup+0.0124311 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23347
/proc/meminfo: memFree=29784372/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 942 0 0 0 0 0 0 0 20 0 1 0 278896060 7405568 863 33554432000 4194304 8973514 140733266489232 140733266488728 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 1808 867 416 1167 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7232
[startup+0.100285 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23347
/proc/meminfo: memFree=29784372/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 2356 0 0 0 9 0 0 0 20 0 1 0 278896060 12648448 2277 33554432000 4194304 8973514 140733266489232 140733266488336 5781035 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 3088 2277 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300362 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23347
/proc/meminfo: memFree=29784372/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=23616 CPUtime=0.29 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 5070 0 0 0 28 1 0 0 20 0 1 0 278896060 24182784 4992 33554432000 4194304 8973514 140733266489232 140733266488336 4212523 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 5904 4998 422 1167 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23616
[startup+0.700356 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23347
/proc/meminfo: memFree=29784372/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=32832 CPUtime=0.69 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 7520 0 0 0 67 2 0 0 20 0 1 0 278896060 33619968 7441 33554432000 4194304 8973514 140733266489232 140733266488336 4481181 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 8208 7441 456 1167 0 6989 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32832
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23348
/proc/meminfo: memFree=29754364/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=34880 CPUtime=1.49 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 8032 0 0 0 147 2 0 0 20 0 1 0 278896060 35717120 7953 33554432000 4194304 8973514 140733266489232 140733266488728 4204292 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 8720 7953 456 1167 0 7501 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34880
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23348
/proc/meminfo: memFree=29753744/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=35904 CPUtime=3.09 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 8288 0 0 0 307 2 0 0 20 0 1 0 278896060 36765696 8209 33554432000 4194304 8973514 140733266489232 140733266488728 4214368 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 8976 8209 456 1167 0 7757 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35904
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23348
/proc/meminfo: memFree=29752512/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=35904 CPUtime=6.29 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 8288 0 0 0 626 3 0 0 20 0 1 0 278896060 36765696 8209 33554432000 4194304 8973514 140733266489232 140733266488496 4204605 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 8976 8209 456 1167 0 7757 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35904
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23348
/proc/meminfo: memFree=29749964/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=38976 CPUtime=12.69 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 9059 0 0 0 1265 4 0 0 20 0 1 0 278896060 39911424 8982 33554432000 4194304 8973514 140733266489232 140733266488496 4213876 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 9744 8982 456 1167 0 8525 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38976
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23348
/proc/meminfo: memFree=29743136/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=45120 CPUtime=25.48 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 10599 0 0 0 2542 6 0 0 20 0 1 0 278896060 46202880 10518 33554432000 4194304 8973514 140733266489232 140733266487168 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 11280 10518 456 1167 0 10061 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45120
[startup+51.1003 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 23387
/proc/meminfo: memFree=29772516/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=58432 CPUtime=51.06 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 13935 0 0 0 5095 11 0 0 20 0 1 0 278896060 59834368 13846 33554432000 4194304 8973514 140733266489232 140733266488728 4356165 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 14608 13846 456 1167 0 13389 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 58432
[startup+102.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/180 23390
/proc/meminfo: memFree=29743792/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=80960 CPUtime=102.26 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 19573 0 0 0 10207 19 0 0 20 0 1 0 278896060 82903040 19478 33554432000 4194304 8973514 140733266489232 140733266488496 6571859 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 20240 19478 456 1167 0 19021 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 80960
[startup+162.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 23390
/proc/meminfo: memFree=29708820/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=110656 CPUtime=162.24 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 26997 0 0 0 16196 28 0 0 20 0 1 0 278896060 113311744 26902 33554432000 4194304 8973514 140733266489232 140733266488496 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 27664 26902 456 1167 0 26445 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 110656
[startup+222.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 23390
/proc/meminfo: memFree=29688524/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=122944 CPUtime=222.24 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 30078 0 0 0 22186 38 0 0 20 0 1 0 278896060 125894656 29975 33554432000 4194304 8973514 140733266489232 140733266488728 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 30736 29975 457 1167 0 29517 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 122944
[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 23391
/proc/meminfo: memFree=29646584/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=150592 CPUtime=282.22 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 36995 0 0 0 28175 47 0 0 20 0 1 0 278896060 154206208 36887 33554432000 4194304 8973514 140733266489232 140733266488496 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 37648 36887 457 1167 0 36429 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 150592
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 23391
/proc/meminfo: memFree=29659272/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=128064 CPUtime=342.21 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 36995 0 0 0 34165 56 0 0 20 0 1 0 278896060 131137536 31255 33554432000 4194304 8973514 140733266489232 140733266488728 6541308 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 32016 31255 457 1167 0 30797 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 128064
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 23391
/proc/meminfo: memFree=29641824/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=136256 CPUtime=402.2 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 39047 0 0 0 40157 63 0 0 20 0 1 0 278896060 139526144 33303 33554432000 4194304 8973514 140733266489232 140733266488728 4427080 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 34064 33303 457 1167 0 32845 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 136256
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 23391
/proc/meminfo: memFree=29624836/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=144448 CPUtime=462.19 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 41095 0 0 0 46147 72 0 0 20 0 1 0 278896060 147914752 35351 33554432000 4194304 8973514 140733266489232 140733266488728 4213703 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 36112 35351 457 1167 0 34893 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 144448
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23391
/proc/meminfo: memFree=29625812/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=128064 CPUtime=522.18 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 46727 0 0 0 52138 80 0 0 20 0 1 0 278896060 131137536 31255 33554432000 4194304 8973514 140733266489232 140733266488728 4447608 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 32016 31255 457 1167 0 30797 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 128064
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23392
/proc/meminfo: memFree=29627832/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=123968 CPUtime=582.16 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 46737 0 0 0 58128 88 0 0 20 0 1 0 278896060 126943232 30231 33554432000 4194304 8973514 140733266489232 140733266488728 4427084 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 30992 30231 457 1167 0 29773 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 123968
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 23395
/proc/meminfo: memFree=29612568/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=96320 CPUtime=882.12 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 61338 0 0 0 88079 133 0 0 20 0 1 0 278896060 98631680 23319 33554432000 4194304 8973514 140733266489232 140733266487168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 24080 23319 457 1167 0 22861 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 96320
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23396
/proc/meminfo: memFree=29597160/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=103488 CPUtime=942.11 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 63130 0 0 0 94069 142 0 0 20 0 1 0 278896060 105971712 25111 33554432000 4194304 8973514 140733266489232 140733266488728 6534720 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 25872 25111 457 1167 0 24653 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 103488
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23396
/proc/meminfo: memFree=29583924/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=107584 CPUtime=1002.08 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 64167 0 0 0 100058 150 0 0 20 0 1 0 278896060 110166016 26135 33554432000 4194304 8973514 140733266489232 140733266488496 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 26896 26135 457 1167 0 25677 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 107584
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23396
/proc/meminfo: memFree=29562224/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=121920 CPUtime=1062.07 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 67751 0 0 0 106047 160 0 0 20 0 1 0 278896060 124846080 29719 33554432000 4194304 8973514 140733266489232 140733266488728 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 30480 29719 457 1167 0 29261 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 121920
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23396
/proc/meminfo: memFree=29554944/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=121920 CPUtime=1122.06 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 67751 0 0 0 112038 168 0 0 20 0 1 0 278896060 124846080 29719 33554432000 4194304 8973514 140733266489232 140733266488728 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 30480 29719 457 1167 0 29261 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 121920
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23396
/proc/meminfo: memFree=29549296/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=119872 CPUtime=1182.05 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 68266 0 0 0 118028 177 0 0 20 0 1 0 278896060 122748928 29207 33554432000 4194304 8973514 140733266489232 140733266488728 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 29968 29207 457 1167 0 28749 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 119872
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23397
/proc/meminfo: memFree=29539428/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=124992 CPUtime=1242.03 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 69550 0 0 0 124019 184 0 0 20 0 1 0 278896060 127991808 30487 33554432000 4194304 8973514 140733266489232 140733266488728 4427192 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 31248 30487 457 1167 0 30029 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 124992
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23400
/proc/meminfo: memFree=29525144/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=131136 CPUtime=1302.03 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 71086 0 0 0 130010 193 0 0 20 0 1 0 278896060 134283264 32023 33554432000 4194304 8973514 140733266489232 140733266488728 4481288 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 32784 32023 457 1167 0 31565 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 131136
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23400
/proc/meminfo: memFree=29505364/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=144448 CPUtime=1362.02 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 74414 0 0 0 136000 202 0 0 20 0 1 0 278896060 147914752 35351 33554432000 4194304 8973514 140733266489232 140733266488728 4204359 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 36112 35351 457 1167 0 34893 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 144448
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23400
/proc/meminfo: memFree=29485772/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=144448 CPUtime=1422.02 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 74414 0 0 0 141992 210 0 0 20 0 1 0 278896060 147914752 35351 33554432000 4194304 8973514 140733266489232 140733266488728 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 36112 35351 457 1167 0 34893 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 144448
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23400
/proc/meminfo: memFree=29485936/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=144448 CPUtime=1482 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 74418 0 0 0 147981 219 0 0 20 0 1 0 278896060 147914752 35351 33554432000 4194304 8973514 140733266489232 140733266488496 4546360 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 36112 35351 457 1167 0 34893 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 144448
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23401
/proc/meminfo: memFree=29496732/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=146496 CPUtime=1542 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 74930 0 0 0 153973 227 0 0 20 0 1 0 278896060 150011904 35863 33554432000 4194304 8973514 140733266489232 140733266488728 7672543 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 36624 35863 457 1167 0 35405 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 146496
[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/180 23402
/proc/meminfo: memFree=29485748/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=156736 CPUtime=1601.98 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 79026 0 0 0 159964 234 0 0 20 0 1 0 278896060 160497664 38423 33554432000 4194304 8973514 140733266489232 140733266488496 4441393 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 39184 38423 457 1167 0 37965 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 156736
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23402
/proc/meminfo: memFree=29485924/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=156736 CPUtime=1661.97 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 79026 0 0 0 165955 242 0 0 20 0 1 0 278896060 160497664 38423 33554432000 4194304 8973514 140733266489232 140733266487168 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 39184 38423 457 1167 0 37965 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 156736
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23402
/proc/meminfo: memFree=29479388/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=163904 CPUtime=1721.96 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 80825 0 0 0 171943 253 0 0 20 0 1 0 278896060 167837696 40215 33554432000 4194304 8973514 140733266489232 140733266488728 4211745 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 40976 40215 457 1167 0 39757 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 163904
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23402
/proc/meminfo: memFree=29479140/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=164928 CPUtime=1781.95 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 81059 0 0 0 177933 262 0 0 20 0 1 0 278896060 168886272 40449 33554432000 4194304 8973514 140733266489232 140733266488728 7695626 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 41232 40449 457 1167 0 40013 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 164928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23402
/proc/meminfo: memFree=29465880/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=177216 CPUtime=1800.06 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 84153 0 0 0 179741 265 0 0 20 0 1 0 278896060 181469184 43543 33554432000 4194304 8973514 140733266489232 140733266488496 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 44304 43543 457 1167 0 43085 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 177216
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23402
/proc/meminfo: memFree=29465880/32873844 swapFree=7372/7372
[pid=23347] ppid=23345 vsize=177216 CPUtime=1800.06 cores=1,3,5,7
/proc/23347/stat : 23347 (toysat) R 23345 23347 21797 0 -1 4202496 84153 0 0 0 179741 265 0 0 20 0 1 0 278896060 181469184 43543 33554432000 4194304 8973514 140733266489232 140733266488496 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23347/statm: 44304 43543 457 1167 0 43085 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 177216
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1797.41
CPU system time (s): 2.6526
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 177216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.41
system time used= 2.6526
maximum resident set size= 174172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84153
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= 91
involuntary context switches= 1849
runsolver used 2.53161 second user time and 11.7732 second system time
The end