runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4103099-1466241673/watcher-4103099-1466241673 -o /tmp/evaluation-result-4103099-1466241673/solver-4103099-1466241673 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466241673-16674 --watchdog 1960 naps-1.02 HOME/instance-4103099-1466241673.opb
pid=16700
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.18 1.74 1.89 3/176 16703
/proc/meminfo: memFree=31572052/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=6984 CPUtime=0 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 428 0 0 0 0 0 0 0 20 0 1 0 26217743 7151616 303 33554432000 4194304 5796924 140737335585328 140733676623928 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 1746 303 128 392 0 1345 0
[startup+0.100161 s]
/proc/loadavg: 1.18 1.74 1.89 3/176 16703
/proc/meminfo: memFree=31572052/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=7528 CPUtime=0.09 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 650 0 0 0 9 0 0 0 20 0 1 0 26217743 7708672 509 33554432000 4194304 5796924 140737335585328 140733676623928 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 1882 509 128 392 0 1481 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7528
[startup+0.20028 s]
/proc/loadavg: 1.18 1.74 1.89 3/176 16703
/proc/meminfo: memFree=31572052/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=8280 CPUtime=0.19 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 858 0 0 0 19 0 0 0 20 0 1 0 26217743 8478720 1208 33554432000 4194304 5796924 140737335585328 140733676623928 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 2070 1208 128 392 0 1669 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8280
[startup+0.300265 s]
/proc/loadavg: 1.18 1.74 1.89 3/176 16703
/proc/meminfo: memFree=31572052/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=9000 CPUtime=0.29 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 1045 0 0 0 29 0 0 0 20 0 1 0 26217743 9216000 1374 33554432000 4194304 5796924 140737335585328 140737335584552 4564234 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 2250 1374 128 392 0 1849 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9000
[startup+0.700235 s]
/proc/loadavg: 1.18 1.74 1.89 3/176 16703
/proc/meminfo: memFree=31572052/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=11756 CPUtime=0.69 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 1896 0 0 0 69 0 0 0 20 0 1 0 26217743 12038144 2042 33554432000 4194304 5796924 140737335585328 140737335584552 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 2939 2042 128 392 0 2538 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11756
[startup+1.50023 s]
/proc/loadavg: 1.17 1.73 1.89 3/177 16704
/proc/meminfo: memFree=31529544/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=46636 CPUtime=1.49 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 11376 0 0 0 148 1 0 0 20 0 1 0 26217743 47755264 10241 33554432000 4194304 5796924 140737335585328 140737335583720 4648430 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 11659 10241 157 392 0 11258 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46636
[startup+3.10031 s]
/proc/loadavg: 1.17 1.73 1.89 3/177 16704
/proc/meminfo: memFree=31479632/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=58664 CPUtime=3.09 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 14605 0 0 0 307 2 0 0 20 0 1 0 26217743 60071936 13352 33554432000 4194304 5796924 140737335585328 140737335582376 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 14666 13352 170 392 0 14265 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58664
[startup+6.3003 s]
/proc/loadavg: 1.24 1.73 1.89 3/177 16704
/proc/meminfo: memFree=31466372/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=63592 CPUtime=6.29 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 15623 0 0 0 626 3 0 0 20 0 1 0 26217743 65118208 14474 33554432000 4194304 5796924 140737335585328 140737335582472 4607287 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 15898 14474 171 392 0 15497 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63592
[startup+12.7003 s]
/proc/loadavg: 1.30 1.74 1.89 3/177 16704
/proc/meminfo: memFree=31439836/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=78332 CPUtime=12.68 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 17032 0 0 0 1265 3 0 0 20 0 1 0 26217743 80211968 18418 33554432000 4194304 5796924 140737335585328 140737335582568 4592310 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 19583 18418 172 392 0 19182 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 78332
[startup+25.5004 s]
/proc/loadavg: 1.45 1.75 1.89 3/177 16704
/proc/meminfo: memFree=31383572/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=108792 CPUtime=25.48 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 17538 0 0 0 2544 4 0 0 20 0 1 0 26217743 111403008 26036 33554432000 4194304 5796924 140737335585328 140737335582568 4568985 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 27198 26036 172 392 0 26797 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 108792
[startup+51.1004 s]
/proc/loadavg: 1.64 1.77 1.89 3/177 16705
/proc/meminfo: memFree=31310596/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=170688 CPUtime=51.08 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 18676 0 0 0 5102 6 0 0 20 0 1 0 26217743 174784512 39071 33554432000 4194304 5796924 140737335585328 140737335582616 4606708 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 42672 39071 172 392 0 42271 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 170688
[startup+102.3 s]
/proc/loadavg: 1.90 1.82 1.90 3/177 16706
/proc/meminfo: memFree=31251912/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=170688 CPUtime=102.28 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 20466 0 0 0 10218 10 0 0 20 0 1 0 26217743 174784512 41177 33554432000 4194304 5796924 140737335585328 140737335582616 4606552 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 42672 41177 172 392 0 42271 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 170688
[startup+162.3 s]
/proc/loadavg: 2.04 1.86 1.91 3/177 16707
/proc/meminfo: memFree=31273112/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=201508 CPUtime=162.26 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 22561 0 0 0 16212 14 0 0 20 0 1 0 26217743 206344192 47332 33554432000 4194304 5796924 140737335585328 140737335582968 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 50377 47332 172 392 0 49976 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 201508
[startup+222.307 s]
/proc/loadavg: 2.01 1.89 1.91 3/177 16708
/proc/meminfo: memFree=31210092/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=201508 CPUtime=222.27 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 24125 0 0 0 22209 18 0 0 20 0 1 0 26217743 206344192 46820 33554432000 4194304 5796924 140737335585328 140737335582968 4606483 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 50377 46820 172 392 0 49976 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 201508
[startup+282.3 s]
/proc/loadavg: 2.00 1.90 1.91 3/177 16709
/proc/meminfo: memFree=31275148/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=170688 CPUtime=282.23 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 26764 0 0 0 28201 22 0 0 20 0 1 0 26217743 174784512 38798 33554432000 4194304 5796924 140737335585328 140737335582616 4606768 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 42672 38798 172 392 0 42271 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 170688
[startup+342.3 s]
/proc/loadavg: 2.03 1.93 1.92 3/177 16710
/proc/meminfo: memFree=31225528/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=201508 CPUtime=342.22 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 28977 0 0 0 34196 26 0 0 20 0 1 0 26217743 206344192 46033 33554432000 4194304 5796924 140737335585328 140737335582968 4593942 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 50377 46033 172 392 0 49976 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 201508
[startup+402.3 s]
/proc/loadavg: 2.01 1.94 1.92 3/177 16712
/proc/meminfo: memFree=31209240/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=201508 CPUtime=402.21 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 30930 0 0 0 40191 30 0 0 20 0 1 0 26217743 206344192 49437 33554432000 4194304 5796924 140737335585328 140737335582968 4611179 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 50377 49437 172 392 0 49976 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 201508
[startup+462.3 s]
/proc/loadavg: 2.09 1.98 1.93 3/177 16713
/proc/meminfo: memFree=31201764/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=251596 CPUtime=462.2 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 33034 0 0 0 46187 33 0 0 20 0 1 0 26217743 257634304 50430 33554432000 4194304 5796924 140737335585328 140737335582968 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 62899 50430 172 392 0 62498 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 251596
[startup+522.3 s]
/proc/loadavg: 2.08 2.00 1.94 3/177 16714
/proc/meminfo: memFree=31216696/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=201508 CPUtime=522.19 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 33959 0 0 0 52183 36 0 0 20 0 1 0 26217743 206344192 49228 33554432000 4194304 5796924 140737335585328 140737335582968 4593768 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 50377 49228 172 392 0 49976 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 201508
[startup+582.3 s]
/proc/loadavg: 2.07 2.01 1.94 3/178 16718
/proc/meminfo: memFree=31244492/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=201508 CPUtime=582.19 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 35458 0 0 0 58179 40 0 0 20 0 1 0 26217743 206344192 47062 33554432000 4194304 5796924 140737335585328 140737335582968 4606483 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 50377 47062 172 392 0 49976 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 201508
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.10 2.06 1.97 3/177 16724
/proc/meminfo: memFree=31138972/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=336296 CPUtime=882.13 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 43596 0 0 0 88160 53 0 0 20 0 1 0 26217743 344367104 63544 33554432000 4194304 5796924 140737335585328 140737335582968 4606610 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 84074 63544 172 392 0 83673 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 336296
[startup+942.3 s]
/proc/loadavg: 2.07 2.06 1.98 3/177 16725
/proc/meminfo: memFree=31133112/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=256752 CPUtime=942.11 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 45675 0 0 0 94154 57 0 0 20 0 1 0 26217743 262914048 53253 33554432000 4194304 5796924 140737335585328 140737335582968 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 64188 53253 172 392 0 63787 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 256752
[startup+1002.3 s]
/proc/loadavg: 2.12 2.08 1.99 3/177 16727
/proc/meminfo: memFree=31105724/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=338140 CPUtime=1002.07 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 46254 0 0 0 100149 58 0 0 20 0 1 0 26217743 346255360 69125 33554432000 4194304 5796924 140737335585328 140737335582968 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 84535 69125 172 392 0 84134 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 338140
[startup+1062.3 s]
/proc/loadavg: 2.09 2.07 2.00 3/177 16728
/proc/meminfo: memFree=31109124/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=258696 CPUtime=1062.06 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 48363 0 0 0 106145 61 0 0 20 0 1 0 26217743 264904704 57323 33554432000 4194304 5796924 140737335585328 140737335582968 4606704 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 64674 57323 172 392 0 64273 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 258696
[startup+1122.3 s]
/proc/loadavg: 2.07 2.07 2.00 3/177 16729
/proc/meminfo: memFree=31220448/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=179240 CPUtime=1122.05 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 49450 0 0 0 112141 64 0 0 20 0 1 0 26217743 183541760 40422 33554432000 4194304 5796924 140737335585328 140737335582616 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 44810 40422 172 392 0 44409 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 179240
[startup+1182.3 s]
/proc/loadavg: 2.06 2.07 2.00 3/178 16733
/proc/meminfo: memFree=31102684/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=260148 CPUtime=1182.04 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 50889 0 0 0 118138 66 0 0 20 0 1 0 26217743 266391552 59734 33554432000 4194304 5796924 140737335585328 140737335582968 4606491 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 65037 59734 172 392 0 64636 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 260148
[startup+1242.3 s]
/proc/loadavg: 2.07 2.07 2.00 3/177 16734
/proc/meminfo: memFree=31219480/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=181628 CPUtime=1242.03 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 51695 0 0 0 124135 68 0 0 20 0 1 0 26217743 185987072 40507 33554432000 4194304 5796924 140737335585328 140737335582616 4607241 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 45407 40507 172 392 0 45006 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 181628
[startup+1302.3 s]
/proc/loadavg: 2.07 2.07 2.00 3/177 16736
/proc/meminfo: memFree=31103104/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=262536 CPUtime=1302.02 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 53134 0 0 0 130132 70 0 0 20 0 1 0 26217743 268836864 58795 33554432000 4194304 5796924 140737335585328 140737335582968 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 65634 58795 172 392 0 65233 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 262536
[startup+1362.3 s]
/proc/loadavg: 2.08 2.07 2.00 3/177 16737
/proc/meminfo: memFree=31094280/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=343924 CPUtime=1361.99 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 53702 0 0 0 136128 71 0 0 20 0 1 0 26217743 352178176 73643 33554432000 4194304 5796924 140737335585328 140737335582968 4596098 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 85981 73643 172 392 0 85580 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 343924
[startup+1422.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 16738
/proc/meminfo: memFree=31113264/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=264016 CPUtime=1421.98 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 55701 0 0 0 142124 74 0 0 20 0 1 0 26217743 270352384 57629 33554432000 4194304 5796924 140737335585328 140737335582968 4607168 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 66004 57629 172 392 0 65603 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 264016
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 16739
/proc/meminfo: memFree=31119684/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=345404 CPUtime=1481.97 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 56250 0 0 0 148121 76 0 0 20 0 1 0 26217743 353693696 72477 33554432000 4194304 5796924 140737335585328 140737335582968 4607192 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 86351 72477 172 392 0 85950 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 345404
[startup+1542.31 s]
/proc/loadavg: 2.15 2.08 2.01 3/177 16740
/proc/meminfo: memFree=31150828/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=265864 CPUtime=1541.96 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 57949 0 0 0 154118 78 0 0 20 0 1 0 26217743 272244736 53083 33554432000 4194304 5796924 140737335585328 140737335582968 4611179 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 66466 53083 172 392 0 66065 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 265864
[startup+1602.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/177 16742
/proc/meminfo: memFree=31048668/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=347252 CPUtime=1601.95 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 58896 0 0 0 160115 80 0 0 20 0 1 0 26217743 355586048 69355 33554432000 4194304 5796924 140737335585328 140737335582968 4607192 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 86813 69355 172 392 0 86412 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 347252
[startup+1662.3 s]
/proc/loadavg: 2.08 2.08 2.01 3/177 16743
/proc/meminfo: memFree=31197636/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=215776 CPUtime=1661.94 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 59528 0 0 0 166112 82 0 0 20 0 1 0 26217743 220954624 46357 33554432000 4194304 5796924 140737335585328 140737335582968 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 53944 46357 172 392 0 53543 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 215776
[startup+1722.3 s]
/proc/loadavg: 2.03 2.06 2.00 3/177 16744
/proc/meminfo: memFree=31087664/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=265864 CPUtime=1721.93 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 60079 0 0 0 172110 83 0 0 20 0 1 0 26217743 272244736 64277 33554432000 4194304 5796924 140737335585328 140737335582968 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 66466 64277 172 392 0 66065 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 265864
[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/178 16748
/proc/meminfo: memFree=30993676/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=347252 CPUtime=1781.92 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 60621 0 0 0 178108 84 0 0 20 0 1 0 26217743 355586048 78101 33554432000 4194304 5796924 140737335585328 140737335582968 4607229 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 86813 78101 172 392 0 86412 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 347252
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 16748
/proc/meminfo: memFree=31243460/32872528 swapFree=249320/249320
[pid=16703] ppid=16700 vsize=184956 CPUtime=1800.02 cores=1,3,5,7
/proc/16703/stat : 16703 (naps-1.02) R 16700 16703 16657 0 -1 4202496 60836 0 0 0 179917 85 0 0 20 0 1 0 26217743 189394944 41851 33554432000 4194304 5796924 140737335585328 140737335582792 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/16703/statm: 46239 41851 172 392 0 45838 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 184956
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16703 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.4
CPU time (s): 1800.03
CPU user time (s): 1799.18
CPU system time (s): 0.85387
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 396572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 0.85387
maximum resident set size= 360160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60848
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= 123
involuntary context switches= 1972
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.41833 second user time and 7.05493 second system time
The end