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-4082775-1465230654/watcher-4082775-1465230654 -o /tmp/evaluation-result-4082775-1465230654/solver-4082775-1465230654 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1465227048-7039 --watchdog 1960 naps-1.02 HOME/instance-4082775-1465230654.opb
pid=7329
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.07 2.03 1.97 4/175 7332
/proc/meminfo: memFree=32054232/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=7128 CPUtime=0 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 461 0 0 0 0 0 0 0 20 0 1 0 104996587 7299072 335 33554432000 4194304 5796924 140733420145696 140733454950824 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 1782 335 128 392 0 1381 0
[startup+0.100157 s]
/proc/loadavg: 2.07 2.03 1.97 4/175 7332
/proc/meminfo: memFree=32054232/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=22904 CPUtime=0.09 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 4948 0 0 0 9 0 0 0 20 0 1 0 104996587 23453696 4619 33554432000 4194304 5796924 140733420145696 140733454950824 4621249 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 5726 4619 158 392 0 5325 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22904
[startup+0.200323 s]
/proc/loadavg: 2.07 2.03 1.97 4/175 7332
/proc/meminfo: memFree=32054232/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=47260 CPUtime=0.19 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 10336 0 0 0 18 1 0 0 20 0 1 0 104996587 48394240 10306 33554432000 4194304 5796924 140733420145696 140733454950824 4564248 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 11815 10307 159 392 0 11414 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 47260
[startup+0.300364 s]
/proc/loadavg: 2.07 2.03 1.97 4/175 7332
/proc/meminfo: memFree=32054232/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=56836 CPUtime=0.28 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 12235 0 0 0 27 1 0 0 20 0 1 0 104996587 58200064 12059 33554432000 4194304 5796924 140733420145696 140733454950824 4633897 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 14209 12059 159 392 0 13808 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 56836
[startup+0.70031 s]
/proc/loadavg: 2.07 2.03 1.97 4/175 7332
/proc/meminfo: memFree=32054232/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=57576 CPUtime=0.69 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 14841 0 0 0 67 2 0 0 20 0 1 0 104996587 58957824 12732 33554432000 4194304 5796924 140733420145696 140733454950824 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 14394 12732 169 392 0 13993 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57576
[startup+1.50029 s]
/proc/loadavg: 2.07 2.03 1.97 3/178 7365
/proc/meminfo: memFree=31970708/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=64856 CPUtime=1.49 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 15166 0 0 0 147 2 0 0 20 0 1 0 104996587 66412544 14589 33554432000 4194304 5796924 140733420145696 140733420142744 4606469 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 16214 14589 171 392 0 15813 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64856
[startup+3.10029 s]
/proc/loadavg: 2.07 2.03 1.97 3/178 7365
/proc/meminfo: memFree=31951040/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=69208 CPUtime=3.09 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 15780 0 0 0 307 2 0 0 20 0 1 0 104996587 70868992 15677 33554432000 4194304 5796924 140733420145696 140733420142760 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 17302 15677 171 392 0 16901 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69208
[startup+6.30031 s]
/proc/loadavg: 2.06 2.03 1.97 3/178 7365
/proc/meminfo: memFree=31942116/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=73628 CPUtime=6.29 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 16517 0 0 0 627 2 0 0 20 0 1 0 104996587 75395072 16881 33554432000 4194304 5796924 140733420145696 140733420142760 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 18407 16881 171 392 0 18006 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73628
[startup+12.7002 s]
/proc/loadavg: 2.06 2.02 1.97 3/177 7365
/proc/meminfo: memFree=31936452/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=73628 CPUtime=12.68 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 16525 0 0 0 1266 2 0 0 20 0 1 0 104996587 75395072 16881 33554432000 4194304 5796924 140733420145696 140733420142760 4606518 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 18407 16881 171 392 0 18006 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 73628
[startup+25.5003 s]
/proc/loadavg: 2.04 2.02 1.97 3/177 7365
/proc/meminfo: memFree=31935760/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=69416 CPUtime=25.48 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 17498 0 0 0 2545 3 0 0 20 0 1 0 104996587 71081984 16322 33554432000 4194304 5796924 140733420145696 140733420142744 4606721 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 17354 16322 171 392 0 16953 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 69416
[startup+51.1004 s]
/proc/loadavg: 2.03 2.02 1.97 3/177 7365
/proc/meminfo: memFree=31907956/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=99616 CPUtime=51.07 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 18309 0 0 0 5104 3 0 0 20 0 1 0 104996587 102006784 21198 33554432000 4194304 5796924 140733420145696 140733420142936 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 24904 21198 171 392 0 24503 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 99616
[startup+102.3 s]
/proc/loadavg: 2.08 2.03 1.98 3/177 7366
/proc/meminfo: memFree=31867136/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=99616 CPUtime=102.28 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 18795 0 0 0 10224 4 0 0 20 0 1 0 104996587 102006784 23901 33554432000 4194304 5796924 140733420145696 140733420143160 4606631 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 24904 23901 171 392 0 24503 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 99616
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 1.98 3/177 7367
/proc/meminfo: memFree=31832208/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=138248 CPUtime=162.25 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 19229 0 0 0 16221 4 0 0 20 0 1 0 104996587 141565952 27898 33554432000 4194304 5796924 140733420145696 140733420142936 4606503 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 34562 27898 171 392 0 34161 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 138248
[startup+222.307 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 7368
/proc/meminfo: memFree=31800852/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=138248 CPUtime=222.25 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 20312 0 0 0 22220 5 0 0 20 0 1 0 104996587 141565952 33559 33554432000 4194304 5796924 140733420145696 140733420143160 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 34562 33559 171 392 0 34161 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 138248
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/177 7370
/proc/meminfo: memFree=31789424/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=149312 CPUtime=282.24 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 21619 0 0 0 28218 6 0 0 20 0 1 0 104996587 152895488 36325 33554432000 4194304 5796924 140733420145696 140733420143160 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 37328 36325 171 392 0 36927 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 149312
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/177 7371
/proc/meminfo: memFree=31774776/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=149312 CPUtime=342.23 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 22144 0 0 0 34216 7 0 0 20 0 1 0 104996587 152895488 36329 33554432000 4194304 5796924 140733420145696 140733420143160 4569019 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 37328 36329 171 392 0 36927 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 149312
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 7372
/proc/meminfo: memFree=31775412/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=149312 CPUtime=402.22 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 23176 0 0 0 40214 8 0 0 20 0 1 0 104996587 152895488 36329 33554432000 4194304 5796924 140733420145696 140733420143160 4606847 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 37328 36329 171 392 0 36927 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 149312
[startup+462.3 s]
/proc/loadavg: 2.06 2.01 1.98 3/177 7374
/proc/meminfo: memFree=31707020/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=198632 CPUtime=462.21 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 24216 0 0 0 46211 10 0 0 20 0 1 0 104996587 203399168 45021 33554432000 4194304 5796924 140733420145696 140733420142984 4606744 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 49658 45021 171 392 0 49257 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 198632
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/177 7375
/proc/meminfo: memFree=31774532/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=149312 CPUtime=522.2 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 24218 0 0 0 52210 10 0 0 20 0 1 0 104996587 152895488 36329 33554432000 4194304 5796924 140733420145696 140733420143160 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 37328 36329 171 392 0 36927 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 149312
[startup+582.3 s]
/proc/loadavg: 2.08 2.02 1.99 3/178 7380
/proc/meminfo: memFree=31728420/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=160820 CPUtime=582.19 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 24570 0 0 0 58209 10 0 0 20 0 1 0 104996587 164679680 39202 33554432000 4194304 5796924 140733420145696 140733420142760 4583342 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 40205 39202 171 392 0 39804 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 160820
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 7385
/proc/meminfo: memFree=31667428/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=248700 CPUtime=882.15 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 29436 0 0 0 88198 17 0 0 20 0 1 0 104996587 254668800 57576 33554432000 4194304 5796924 140733420145696 140733420143336 4607776 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 62175 57576 171 392 0 61774 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 248700
[startup+942.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 7387
/proc/meminfo: memFree=31679492/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=248700 CPUtime=942.12 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 30044 0 0 0 94194 18 0 0 20 0 1 0 104996587 254668800 54504 33554432000 4194304 5796924 140733420145696 140733420143336 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 62175 54504 171 392 0 61774 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 248700
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7388
/proc/meminfo: memFree=31732656/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=168560 CPUtime=1002.11 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 30642 0 0 0 100191 20 0 0 20 0 1 0 104996587 172605440 41137 33554432000 4194304 5796924 140733420145696 140733420143160 4606427 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 42140 41137 171 392 0 41739 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 168560
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7389
/proc/meminfo: memFree=31669308/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=248700 CPUtime=1062.11 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 31239 0 0 0 106189 22 0 0 20 0 1 0 104996587 254668800 57064 33554432000 4194304 5796924 140733420145696 140733420143336 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 62175 57064 171 392 0 61774 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 248700
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7390
/proc/meminfo: memFree=31708476/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=203012 CPUtime=1122.09 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 33296 0 0 0 112186 23 0 0 20 0 1 0 104996587 207884288 47306 33554432000 4194304 5796924 140733420145696 140733420142936 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 50753 47306 171 392 0 50352 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 203012
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7394
/proc/meminfo: memFree=31557940/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=283152 CPUtime=1182.08 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 34255 0 0 0 118183 25 0 0 20 0 1 0 104996587 289947648 67679 33554432000 4194304 5796924 140733420145696 140733420143336 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 70788 67679 171 392 0 70387 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 283152
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7396
/proc/meminfo: memFree=31639580/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=203012 CPUtime=1242.07 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 34778 0 0 0 124181 26 0 0 20 0 1 0 104996587 207884288 49704 33554432000 4194304 5796924 140733420145696 140733420143160 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 50753 49704 171 392 0 50352 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 203012
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7397
/proc/meminfo: memFree=31662428/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=203012 CPUtime=1302.07 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 35297 0 0 0 130180 27 0 0 20 0 1 0 104996587 207884288 49704 33554432000 4194304 5796924 140733420145696 140733420143160 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 50753 49704 171 392 0 50352 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 203012
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7398
/proc/meminfo: memFree=31651624/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=203012 CPUtime=1362.05 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 35819 0 0 0 136178 27 0 0 20 0 1 0 104996587 207884288 49750 33554432000 4194304 5796924 140733420145696 140733420143160 4607201 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 50753 49750 171 392 0 50352 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 203012
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7399
/proc/meminfo: memFree=31667788/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=203012 CPUtime=1422.06 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 36420 0 0 0 142177 29 0 0 20 0 1 0 104996587 207884288 49750 33554432000 4194304 5796924 140733420145696 140733420143160 4606483 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 50753 49750 171 392 0 50352 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 203012
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7400
/proc/meminfo: memFree=31663384/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=203012 CPUtime=1482.04 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 37018 0 0 0 148174 30 0 0 20 0 1 0 104996587 207884288 49750 33554432000 4194304 5796924 140733420145696 140733420143160 4592061 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 50753 49750 171 392 0 50352 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 203012
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7402
/proc/meminfo: memFree=31590464/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=283152 CPUtime=1542.04 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 37621 0 0 0 154172 32 0 0 20 0 1 0 104996587 289947648 68237 33554432000 4194304 5796924 140733420145696 140733420143336 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 70788 68237 171 392 0 70387 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 283152
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 7403
/proc/meminfo: memFree=31600472/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=283152 CPUtime=1602.02 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 38220 0 0 0 160168 34 0 0 20 0 1 0 104996587 289947648 65677 33554432000 4194304 5796924 140733420145696 140733420143336 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 70788 65677 171 392 0 70387 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 283152
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 7404
/proc/meminfo: memFree=31663864/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=203012 CPUtime=1662 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 38559 0 0 0 166165 35 0 0 20 0 1 0 104996587 207884288 49750 33554432000 4194304 5796924 140733420145696 140733420143160 4596110 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 50753 49750 171 392 0 50352 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 203012
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7405
/proc/meminfo: memFree=31581876/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=283152 CPUtime=1722 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 39165 0 0 0 172163 37 0 0 20 0 1 0 104996587 289947648 69773 33554432000 4194304 5796924 140733420145696 140733420143336 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 70788 69773 171 392 0 70387 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 283152
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7409
/proc/meminfo: memFree=31544528/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=252332 CPUtime=1781.99 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 39998 0 0 0 178160 39 0 0 20 0 1 0 104996587 258387968 62026 33554432000 4194304 5796924 140733420145696 140733420142984 4607218 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 63083 62026 171 392 0 62682 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 252332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7409
/proc/meminfo: memFree=31524280/32872528 swapFree=9100/9100
[pid=7332] ppid=7329 vsize=283152 CPUtime=1800.08 cores=1,3,5,7
/proc/7332/stat : 7332 (naps-1.02) R 7329 7332 7022 0 -1 4202496 40070 0 0 0 179969 39 0 0 20 0 1 0 104996587 289947648 64141 33554432000 4194304 5796924 140733420145696 140733420143336 4606802 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 70788 64141 171 392 0 70387 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 283152
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 7332 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.1
CPU user time (s): 1799.7
CPU system time (s): 0.399939
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 333240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 0.399939
maximum resident set size= 296680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40082
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= 67
involuntary context switches= 1853
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53631 second user time and 6.92595 second system time
The end