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-4094793-1466079892/watcher-4094793-1466079892 -o /tmp/evaluation-result-4094793-1466079892/solver-4094793-1466079892 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466074607-12177 --watchdog 1960 naps-1.02 HOME/instance-4094793-1466079892.wbo 

pid=13434
running on 4 cores: 0,2,4,6

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.29 2.24 2.19 3/176 13437
/proc/meminfo: memFree=30335708/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=6696 CPUtime=0 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 10037473 6856704 250 33554432000 4194304 5796924 140737465034736 140736204921304 4621249 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 1674 250 130 392 0 1273 0

[startup+0.100162 s]
/proc/loadavg: 2.29 2.24 2.19 3/176 13437
/proc/meminfo: memFree=30335708/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=6828 CPUtime=0.09 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 1721 0 0 0 9 0 0 0 20 0 1 0 10037473 6991872 1323 33554432000 4194304 5796924 140737465034736 140736204921304 4623737 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 1707 1323 169 392 0 1306 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6828

[startup+0.200307 s]
/proc/loadavg: 2.29 2.24 2.19 3/176 13437
/proc/meminfo: memFree=30335708/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=10372 CPUtime=0.19 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 2409 0 0 0 19 0 0 0 20 0 1 0 10037473 10620928 1988 33554432000 4194304 5796924 140737465034736 140736204921304 4611179 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 2593 1989 171 392 0 2192 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10372

[startup+0.300236 s]
/proc/loadavg: 2.29 2.24 2.19 3/176 13437
/proc/meminfo: memFree=30335708/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=14740 CPUtime=0.29 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 2732 0 0 0 29 0 0 0 20 0 1 0 10037473 15093760 2822 33554432000 4194304 5796924 140737465034736 140736204921304 4611179 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 3685 2822 171 392 0 3284 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14740

[startup+0.700254 s]
/proc/loadavg: 2.29 2.24 2.19 3/176 13437
/proc/meminfo: memFree=30335708/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=14872 CPUtime=0.69 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 3659 0 0 0 69 0 0 0 20 0 1 0 10037473 15228928 3328 33554432000 4194304 5796924 140737465034736 140736204921304 4596148 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 3718 3328 171 392 0 3317 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14872

[startup+1.50025 s]
/proc/loadavg: 2.34 2.25 2.19 3/177 13438
/proc/meminfo: memFree=30312076/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=33464 CPUtime=1.49 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 4468 0 0 0 148 1 0 0 20 0 1 0 10037473 34267136 6688 33554432000 4194304 5796924 140737465034736 140737465031976 4606771 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 8366 6688 171 392 0 7965 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33464

[startup+3.10025 s]
/proc/loadavg: 2.34 2.25 2.19 3/177 13438
/proc/meminfo: memFree=30305560/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=22056 CPUtime=3.09 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 5732 0 0 0 308 1 0 0 20 0 1 0 10037473 22585344 4675 33554432000 4194304 5796924 140737465034736 140737465033128 4606523 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 5514 4675 183 392 0 5113 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22056

[startup+6.30029 s]
/proc/loadavg: 2.32 2.25 2.19 3/177 13438
/proc/meminfo: memFree=30294172/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=41148 CPUtime=6.29 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 6856 0 0 0 627 2 0 0 20 0 1 0 10037473 42135552 9879 33554432000 4194304 5796924 140737465034736 140737465031800 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 10287 9879 183 392 0 9886 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41148

[startup+12.7002 s]
/proc/loadavg: 2.29 2.24 2.19 3/177 13438
/proc/meminfo: memFree=30281572/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=64244 CPUtime=12.69 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 7974 0 0 0 1266 3 0 0 20 0 1 0 10037473 65785856 12840 33554432000 4194304 5796924 140737465034736 140737465032200 4593510 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 16061 12840 183 392 0 15660 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64244

[startup+25.5004 s]
/proc/loadavg: 2.25 2.23 2.19 3/177 13438
/proc/meminfo: memFree=30253464/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=83100 CPUtime=25.49 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 8577 0 0 0 2545 4 0 0 20 0 1 0 10037473 85094400 19558 33554432000 4194304 5796924 140737465034736 140737465031976 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 20775 19558 183 392 0 20374 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83100

[startup+51.1004 s]
/proc/loadavg: 2.21 2.23 2.18 3/177 13438
/proc/meminfo: memFree=30239988/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=83100 CPUtime=51.08 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 9400 0 0 0 5102 6 0 0 20 0 1 0 10037473 85094400 20421 33554432000 4194304 5796924 140737465034736 140737465032200 4606799 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 20775 20421 183 392 0 20374 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83100

[startup+102.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/177 13439
/proc/meminfo: memFree=30237588/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=83100 CPUtime=102.28 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 10738 0 0 0 10217 11 0 0 20 0 1 0 10037473 85094400 20421 33554432000 4194304 5796924 140737465034736 140737465032200 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 20775 20421 183 392 0 20374 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 83100

[startup+162.3 s]
/proc/loadavg: 2.11 2.19 2.17 3/177 13440
/proc/meminfo: memFree=30225308/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=144432 CPUtime=162.27 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 14948 0 0 0 16208 19 0 0 20 0 1 0 10037473 147898368 31762 33554432000 4194304 5796924 140737465034736 140737465032024 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 36108 31762 183 392 0 35707 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 144432

[startup+222.307 s]
/proc/loadavg: 2.28 2.22 2.18 3/177 13441
/proc/meminfo: memFree=30169412/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=175252 CPUtime=222.26 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 19309 0 0 0 22198 28 0 0 20 0 1 0 10037473 179458048 37461 33554432000 4194304 5796924 140737465034736 140737465032376 4606480 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 43813 37461 183 392 0 43412 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 175252

[startup+282.3 s]
/proc/loadavg: 2.27 2.22 2.18 3/177 13443
/proc/meminfo: memFree=30217960/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=144432 CPUtime=282.25 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 22505 0 0 0 28189 36 0 0 20 0 1 0 10037473 147898368 31762 33554432000 4194304 5796924 140737465034736 140737465032024 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 36108 31762 183 392 0 35707 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 144432

[startup+342.3 s]
/proc/loadavg: 2.29 2.24 2.19 4/178 13447
/proc/meminfo: memFree=30163528/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=144432 CPUtime=342.24 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 25947 0 0 0 34181 43 0 0 20 0 1 0 10037473 147898368 35753 33554432000 4194304 5796924 140737465034736 140737465032024 4611179 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 36108 35753 183 392 0 35707 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 144432

[startup+402.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/177 13448
/proc/meminfo: memFree=30173120/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=146244 CPUtime=402.22 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 29023 0 0 0 40172 50 0 0 20 0 1 0 10037473 149753856 34263 33554432000 4194304 5796924 140737465034736 140737465032024 4569798 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 36561 34263 183 392 0 36160 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 146244

[startup+462.3 s]
/proc/loadavg: 2.26 2.24 2.19 4/177 13449
/proc/meminfo: memFree=30136196/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=181180 CPUtime=462.21 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 32923 0 0 0 46165 56 0 0 20 0 1 0 10037473 185528320 39455 33554432000 4194304 5796924 140737465034736 140737465032376 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 45295 39455 183 392 0 44894 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 181180

[startup+522.3 s]
/proc/loadavg: 2.31 2.26 2.20 3/177 13450
/proc/meminfo: memFree=30129572/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=185608 CPUtime=522.21 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 36314 0 0 0 52158 63 0 0 20 0 1 0 10037473 190062592 41586 33554432000 4194304 5796924 140737465034736 140737465032376 4592128 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 46402 41586 183 392 0 46001 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 185608

[startup+582.3 s]
/proc/loadavg: 2.39 2.29 2.20 3/177 13452
/proc/meminfo: memFree=30130368/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=188800 CPUtime=582.2 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 39394 0 0 0 58153 67 0 0 20 0 1 0 10037473 193331200 40848 33554432000 4194304 5796924 140737465034736 140737465032376 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 47200 40848 183 392 0 46799 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 188800


################
# More data... #
################


[startup+882.307 s]
/proc/loadavg: 2.16 2.25 2.20 4/177 13458
/proc/meminfo: memFree=30141092/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=168280 CPUtime=882.16 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 55116 0 0 0 88123 93 0 0 20 0 1 0 10037473 172318720 39260 33554432000 4194304 5796924 140737465034736 140737465032024 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 42070 39260 183 392 0 41669 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 168280

[startup+942.3 s]
/proc/loadavg: 2.21 2.25 2.20 3/178 13462
/proc/meminfo: memFree=30120788/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=203360 CPUtime=942.14 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 59418 0 0 0 94115 99 0 0 20 0 1 0 10037473 208240640 44488 33554432000 4194304 5796924 140737465034736 140737465032376 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 50840 44488 183 392 0 50439 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 203360

[startup+1002.3 s]
/proc/loadavg: 2.19 2.23 2.19 3/177 13463
/proc/meminfo: memFree=30112776/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=205188 CPUtime=1002.13 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 63046 0 0 0 100108 105 0 0 20 0 1 0 10037473 210112512 46481 33554432000 4194304 5796924 140737465034736 140737465032376 4606799 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 51297 46481 183 392 0 50896 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 205188

[startup+1062.3 s]
/proc/loadavg: 2.28 2.25 2.20 3/177 13464
/proc/meminfo: memFree=30117972/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=207892 CPUtime=1062.13 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 66892 0 0 0 106102 111 0 0 20 0 1 0 10037473 212881408 45109 33554432000 4194304 5796924 140737465034736 140737465032376 4593521 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 51973 45109 183 392 0 51572 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 207892

[startup+1122.3 s]
/proc/loadavg: 2.25 2.24 2.20 3/177 13465
/proc/meminfo: memFree=30121376/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=179620 CPUtime=1122.12 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 70113 0 0 0 112096 116 0 0 20 0 1 0 10037473 183930880 41071 33554432000 4194304 5796924 140737465034736 140737465032024 4606802 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 44905 41071 183 392 0 44504 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 179620

[startup+1182.3 s]
/proc/loadavg: 2.25 2.24 2.20 3/176 13466
/proc/meminfo: memFree=30058996/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=261112 CPUtime=1182.11 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 73270 0 0 0 118090 121 0 0 20 0 1 0 10037473 267378688 56433 33554432000 4194304 5796924 140737465034736 140737465032376 4607192 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 65278 56433 183 392 0 64877 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 261112

[startup+1242.3 s]
/proc/loadavg: 2.19 2.23 2.19 3/177 13468
/proc/meminfo: memFree=30067532/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=263192 CPUtime=1242.1 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 76954 0 0 0 124083 127 0 0 20 0 1 0 10037473 269508608 54393 33554432000 4194304 5796924 140737465034736 140737465032376 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 65798 54393 183 392 0 65397 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 263192

[startup+1302.3 s]
/proc/loadavg: 2.21 2.23 2.19 3/177 13469
/proc/meminfo: memFree=30080604/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=220696 CPUtime=1302.07 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 80722 0 0 0 130075 132 0 0 20 0 1 0 10037473 225992704 50358 33554432000 4194304 5796924 140737465034736 140737465032376 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 55174 50358 183 392 0 54773 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 220696

[startup+1362.3 s]
/proc/loadavg: 2.13 2.20 2.18 3/177 13470
/proc/meminfo: memFree=30049488/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=270784 CPUtime=1362.06 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 83158 0 0 0 136069 137 0 0 20 0 1 0 10037473 277282816 58339 33554432000 4194304 5796924 140737465034736 140737465032376 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 67696 58339 183 392 0 67295 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 270784

[startup+1422.3 s]
/proc/loadavg: 2.13 2.19 2.18 3/177 13471
/proc/meminfo: memFree=30071120/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=220696 CPUtime=1422.06 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 85535 0 0 0 142065 141 0 0 20 0 1 0 10037473 225992704 52406 33554432000 4194304 5796924 140737465034736 140737465032376 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 55174 52406 183 392 0 54773 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 220696

[startup+1482.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 13472
/proc/meminfo: memFree=30074568/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=220696 CPUtime=1482.04 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 88734 0 0 0 148057 147 0 0 20 0 1 0 10037473 225992704 51382 33554432000 4194304 5796924 140737465034736 140737465032376 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 55174 51382 183 392 0 54773 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 220696

[startup+1542.31 s]
/proc/loadavg: 2.18 2.19 2.18 3/178 13477
/proc/meminfo: memFree=30040660/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=270784 CPUtime=1542.04 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 91167 0 0 0 154053 151 0 0 20 0 1 0 10037473 277282816 59875 33554432000 4194304 5796924 140737465034736 140737465032376 4607198 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 67696 59875 183 392 0 67295 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 270784

[startup+1602.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/177 13478
/proc/meminfo: memFree=30048704/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=270784 CPUtime=1602.02 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 94361 0 0 0 160045 157 0 0 20 0 1 0 10037473 277282816 57827 33554432000 4194304 5796924 140737465034736 140737465032376 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 67696 57827 183 392 0 67295 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 270784

[startup+1662.3 s]
/proc/loadavg: 2.30 2.22 2.19 3/177 13479
/proc/meminfo: memFree=30032428/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=270784 CPUtime=1662.01 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 95972 0 0 0 166040 161 0 0 20 0 1 0 10037473 277282816 61923 33554432000 4194304 5796924 140737465034736 140737465032376 4606514 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 67696 61923 183 392 0 67295 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 270784

[startup+1722.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/176 13480
/proc/meminfo: memFree=30085316/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=220696 CPUtime=1722 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 98346 0 0 0 172035 165 0 0 20 0 1 0 10037473 225992704 49334 33554432000 4194304 5796924 140737465034736 140737465032376 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 55174 49334 183 392 0 54773 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 220696

[startup+1782.3 s]
/proc/loadavg: 2.28 2.23 2.19 3/177 13528
/proc/meminfo: memFree=30114064/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=220696 CPUtime=1782 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 99966 0 0 0 178031 169 0 0 20 0 1 0 10037473 225992704 54455 33554432000 4194304 5796924 140737465034736 140737465032376 4606771 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 55174 54455 183 392 0 54773 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 220696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.29 2.23 2.19 3/177 13529
/proc/meminfo: memFree=30080124/32872528 swapFree=1589776/1720592
[pid=13437] ppid=13434 vsize=270784 CPUtime=1800.09 cores=0,2,4,6
/proc/13437/stat : 13437 (naps-1.02) R 13434 13437 7097 0 -1 4202496 100793 0 0 0 179839 170 0 0 20 0 1 0 10037473 277282816 62947 33554432000 4194304 5796924 140737465034736 140737465032376 4607222 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 67696 62947 183 392 0 67295 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 270784

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 13437 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1798.4
CPU system time (s): 1.70874
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 320104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.4
system time used= 1.70874
maximum resident set size= 287188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100803
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= 42
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5773 second user time and 6.88295 second system time

The end