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-4241630-1502103642/watcher-4241630-1502103642 -o /tmp/evaluation-result-4241630-1502103642/solver-4241630-1502103642 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502102795-6405 --watchdog 2560 BTD 2400 HOME/instance-4241630-1502103642.xml
pid=6496
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 5.33 5.82 5.47 3/183 6499
/proc/meminfo: memFree=31056496/32770624 swapFree=0/20544
[pid=6499] ppid=6496 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6499/stat : 6499 (runsolver) D 6496 6499 21827 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 12559944 24240128 107 18446744073709551615 4194304 4338465 140728008844032 140728008841672 139714698207959 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 16871424 140728008847574 140728008847946 140728008847946 140728008851402 0
/proc/6499/statm: 5918 107 54 36 0 2156 0
[startup+0.10019 s]
/proc/loadavg: 5.33 5.82 5.47 3/183 6499
/proc/meminfo: memFree=31056496/32770624 swapFree=0/20544
[pid=6499] ppid=6496 vsize=31576 CPUtime=0.01 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 629 0 0 0 1 0 0 0 20 0 1 0 12559944 32333824 456 18446744073709551615 4194304 35031059 140723489519600 140723489519600 7408842 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 7894 456 242 7529 0 341 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 31576
[startup+0.200343 s]
/proc/loadavg: 5.33 5.82 5.47 3/183 6499
/proc/meminfo: memFree=31056496/32770624 swapFree=0/20544
[pid=6499] ppid=6496 vsize=36088 CPUtime=0.11 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 2052 0 0 0 11 0 0 0 20 0 1 0 12559944 36954112 1583 18446744073709551615 4194304 35031059 140723489519600 140723489519600 6429808 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 9022 1583 242 7529 0 1469 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 36088
[startup+0.30037 s]
/proc/loadavg: 5.33 5.82 5.47 3/183 6499
/proc/meminfo: memFree=31056496/32770624 swapFree=0/20544
[pid=6499] ppid=6496 vsize=56116 CPUtime=0.2 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 6617 0 0 0 20 0 0 0 20 0 1 0 12559944 57462784 6268 18446744073709551615 4194304 35031059 140723489519600 140723489516776 7408842 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 14029 6268 253 7529 0 6476 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 56116
[startup+0.700351 s]
/proc/loadavg: 5.33 5.82 5.47 3/183 6499
/proc/meminfo: memFree=31056496/32770624 swapFree=0/20544
[pid=6499] ppid=6496 vsize=168488 CPUtime=0.61 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 34594 0 0 0 57 4 0 0 20 0 1 0 12559944 172531712 34252 18446744073709551615 4194304 35031059 140723489519600 140723489511768 7408842 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 42122 34252 258 7529 0 34569 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 168488
[startup+1.50034 s]
/proc/loadavg: 5.06 5.76 5.45 3/184 6500
/proc/meminfo: memFree=30811596/32770624 swapFree=0/20552
[pid=6499] ppid=6496 vsize=362488 CPUtime=1.4 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 83848 0 0 0 130 10 0 0 20 0 1 0 12559944 371187712 82974 18446744073709551615 4194304 35031059 140723489519600 140723489511832 6429808 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 90622 82974 258 7529 0 83069 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 362488
[startup+3.10036 s]
/proc/loadavg: 5.06 5.76 5.45 3/184 6500
/proc/meminfo: memFree=30571284/32770624 swapFree=0/20552
[pid=6499] ppid=6496 vsize=736968 CPUtime=3 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 188132 0 0 0 279 21 0 0 20 0 1 0 12559944 754655232 176707 18446744073709551615 4194304 35031059 140723489519600 140723489511848 4376551 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176707 284 7529 0 176689 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 736968
[startup+6.30036 s]
/proc/loadavg: 5.06 5.76 5.45 3/184 6500
/proc/meminfo: memFree=30348368/32770624 swapFree=0/20560
[pid=6499] ppid=6496 vsize=736968 CPUtime=6.2 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 402161 0 0 0 590 30 0 0 20 0 1 0 12559944 754655232 176720 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4376551 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176720 297 7529 0 176689 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 736968
[startup+12.7004 s]
/proc/loadavg: 4.59 5.63 5.41 3/184 6500
/proc/meminfo: memFree=30348060/32770624 swapFree=0/20560
[pid=6499] ppid=6496 vsize=736968 CPUtime=12.61 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 551364 0 0 0 1225 36 0 0 20 0 1 0 12559944 754655232 176720 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4376551 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176720 297 7529 0 176689 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 736968
[startup+25.5004 s]
/proc/loadavg: 4.19 5.51 5.37 3/184 6500
/proc/meminfo: memFree=30348200/32770624 swapFree=0/20580
[pid=6499] ppid=6496 vsize=736968 CPUtime=25.4 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 729189 0 0 0 2497 43 0 0 20 0 1 0 12559944 754655232 176720 18446744073709551615 4194304 35031059 140723489519600 140723489518600 7416202 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176720 297 7529 0 176689 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 736968
[startup+51.1004 s]
/proc/loadavg: 3.29 5.20 5.27 3/184 6565
/proc/meminfo: memFree=30568684/32770624 swapFree=0/20628
[pid=6499] ppid=6496 vsize=736968 CPUtime=51 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 945327 0 0 0 5047 53 0 0 20 0 1 0 12559944 754655232 176720 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4376745 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176720 297 7529 0 176689 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 736968
[startup+102.3 s]
/proc/loadavg: 2.52 4.66 5.09 3/183 6566
/proc/meminfo: memFree=30569184/32770624 swapFree=0/20676
[pid=6499] ppid=6496 vsize=736968 CPUtime=102.2 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1160234 0 0 0 10158 62 0 0 20 0 1 0 12559944 754655232 176720 18446744073709551615 4194304 35031059 140723489519600 140723489518600 7416182 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176720 297 7529 0 176689 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 736968
[startup+162.3 s]
/proc/loadavg: 2.19 4.18 4.89 3/183 6568
/proc/meminfo: memFree=30569184/32770624 swapFree=0/20708
[pid=6499] ppid=6496 vsize=736968 CPUtime=162.19 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1303178 0 0 0 16151 68 0 0 20 0 1 0 12559944 754655232 176720 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4346688 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176720 297 7529 0 176689 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 736968
[startup+222.306 s]
/proc/loadavg: 2.07 3.78 4.71 3/187 6586
/proc/meminfo: memFree=30563532/32770624 swapFree=0/20904
[pid=6499] ppid=6496 vsize=736968 CPUtime=222.19 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1420337 0 0 0 22147 72 0 0 20 0 1 0 12559944 754655232 176720 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4376551 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176720 297 7529 0 176689 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 736968
[startup+282.3 s]
/proc/loadavg: 2.03 3.45 4.54 3/187 6588
/proc/meminfo: memFree=30563652/32770624 swapFree=0/20928
[pid=6499] ppid=6496 vsize=736968 CPUtime=282.17 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1511319 0 0 0 28141 76 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4346792 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 736968
[startup+342.3 s]
/proc/loadavg: 2.01 3.19 4.38 3/183 6590
/proc/meminfo: memFree=30567248/32770624 swapFree=0/20956
[pid=6499] ppid=6496 vsize=736968 CPUtime=342.17 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1570470 0 0 0 34138 79 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4376551 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 736968
[startup+402.3 s]
/proc/loadavg: 2.00 2.97 4.23 3/183 6591
/proc/meminfo: memFree=30567256/32770624 swapFree=0/20988
[pid=6499] ppid=6496 vsize=736968 CPUtime=402.16 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1597338 0 0 0 40136 80 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 7415497 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 736968
[startup+462.3 s]
/proc/loadavg: 2.00 2.80 4.09 3/183 6594
/proc/meminfo: memFree=30567040/32770624 swapFree=0/21028
[pid=6499] ppid=6496 vsize=736968 CPUtime=462.16 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1606186 0 0 0 46135 81 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4376745 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 736968
[startup+522.3 s]
/proc/loadavg: 2.07 2.67 3.97 3/181 6596
/proc/meminfo: memFree=30566472/32770624 swapFree=0/21060
[pid=6499] ppid=6496 vsize=736968 CPUtime=522.15 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1607228 0 0 0 52134 81 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4346792 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 736968
[startup+582.3 s]
/proc/loadavg: 2.03 2.55 3.84 3/181 6598
/proc/meminfo: memFree=30566888/32770624 swapFree=0/21092
[pid=6499] ppid=6496 vsize=736968 CPUtime=582.14 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1607668 0 0 0 58133 81 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 7416247 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 736968
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.71 3/184 6682
/proc/meminfo: memFree=30563328/32770624 swapFree=0/21960
[pid=6499] ppid=6496 vsize=736968 CPUtime=1482.05 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1614531 0 0 0 148122 83 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4376745 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 736968
[startup+1542.31 s]
/proc/loadavg: 2.00 2.03 2.66 3/181 6684
/proc/meminfo: memFree=30566460/32770624 swapFree=0/21992
[pid=6499] ppid=6496 vsize=736968 CPUtime=1542.05 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1614985 0 0 0 154122 83 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4346792 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 736968
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.62 3/181 6686
/proc/meminfo: memFree=30566876/32770624 swapFree=0/22020
[pid=6499] ppid=6496 vsize=736968 CPUtime=1602.04 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1615426 0 0 0 160121 83 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4376519 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 736968
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.58 3/181 6688
/proc/meminfo: memFree=30566844/32770624 swapFree=0/22048
[pid=6499] ppid=6496 vsize=736968 CPUtime=1662.04 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1615907 0 0 0 166120 84 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4213184 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 736968
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.55 3/181 6690
/proc/meminfo: memFree=30567084/32770624 swapFree=0/22084
[pid=6499] ppid=6496 vsize=736968 CPUtime=1722.04 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1616347 0 0 0 172120 84 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4376745 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 1722.04
Current children cumulated vsize (KiB) 736968
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.51 3/181 6692
/proc/meminfo: memFree=30566476/32770624 swapFree=0/22112
[pid=6499] ppid=6496 vsize=736968 CPUtime=1782.03 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1616787 0 0 0 178119 84 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4376551 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 1782.03
Current children cumulated vsize (KiB) 736968
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.48 3/181 6694
/proc/meminfo: memFree=30566308/32770624 swapFree=0/22140
[pid=6499] ppid=6496 vsize=736968 CPUtime=1842.02 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1617240 0 0 0 184118 84 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4376745 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 1842.02
Current children cumulated vsize (KiB) 736968
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.45 3/181 6696
/proc/meminfo: memFree=30565948/32770624 swapFree=0/22172
[pid=6499] ppid=6496 vsize=736968 CPUtime=1902.02 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1617708 0 0 0 190118 84 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4346792 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 1902.02
Current children cumulated vsize (KiB) 736968
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.42 3/181 6698
/proc/meminfo: memFree=30566404/32770624 swapFree=0/22200
[pid=6499] ppid=6496 vsize=736968 CPUtime=1962.01 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1618149 0 0 0 196117 84 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4346792 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 1962.01
Current children cumulated vsize (KiB) 736968
[startup+2022.3 s]
/proc/loadavg: 2.08 2.03 2.40 3/184 6714
/proc/meminfo: memFree=30561912/32770624 swapFree=0/22252
[pid=6499] ppid=6496 vsize=736968 CPUtime=2022 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1618590 0 0 0 202116 84 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4346792 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 2022
Current children cumulated vsize (KiB) 736968
[startup+2082.3 s]
/proc/loadavg: 2.06 2.04 2.38 3/184 6716
/proc/meminfo: memFree=30562316/32770624 swapFree=0/22292
[pid=6499] ppid=6496 vsize=736968 CPUtime=2082 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1619031 0 0 0 208116 84 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4376745 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 2082
Current children cumulated vsize (KiB) 736968
[startup+2142.3 s]
/proc/loadavg: 2.02 2.03 2.36 3/181 6718
/proc/meminfo: memFree=30565472/32770624 swapFree=0/22316
[pid=6499] ppid=6496 vsize=736968 CPUtime=2141.99 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1619472 0 0 0 214115 84 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 7415280 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 2141.99
Current children cumulated vsize (KiB) 736968
[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.34 3/181 6720
/proc/meminfo: memFree=30565740/32770624 swapFree=0/22344
[pid=6499] ppid=6496 vsize=736968 CPUtime=2201.99 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1619939 0 0 0 220114 85 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4376551 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 2201.99
Current children cumulated vsize (KiB) 736968
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.31 3/181 6722
/proc/meminfo: memFree=30566336/32770624 swapFree=0/22384
[pid=6499] ppid=6496 vsize=736968 CPUtime=2261.98 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1620379 0 0 0 226113 85 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4346792 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 2261.98
Current children cumulated vsize (KiB) 736968
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.30 3/181 6725
/proc/meminfo: memFree=30565848/32770624 swapFree=0/22420
[pid=6499] ppid=6496 vsize=736968 CPUtime=2321.98 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1620832 0 0 0 232113 85 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4376551 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 2321.98
Current children cumulated vsize (KiB) 736968
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.28 3/181 6727
/proc/meminfo: memFree=30565636/32770624 swapFree=0/22448
[pid=6499] ppid=6496 vsize=736968 CPUtime=2381.97 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1621272 0 0 0 238112 85 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4376745 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 2381.97
Current children cumulated vsize (KiB) 736968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.27 3/181 6729
/proc/meminfo: memFree=30565512/32770624 swapFree=0/22468
[pid=6499] ppid=6496 vsize=736968 CPUtime=2400.07 cores=0,2,4,6
/proc/6499/stat : 6499 (BTD) R 6496 6499 21827 0 -1 4202496 1621272 0 0 0 239922 85 0 0 20 0 1 0 12559944 754655232 176905 18446744073709551615 4194304 35031059 140723489519600 140723489518600 4376745 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 61112320 140723489526277 140723489526353 140723489526353 140723489529809 0
/proc/6499/statm: 184242 176905 297 7529 0 176689 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 736968
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 6499 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.4
CPU time (s): 2400.08
CPU user time (s): 2399.22
CPU system time (s): 0.856914
CPU usage (%): 99.9865
Max. virtual memory (cumulated for all children) (KiB): 736968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.22
system time used= 0.856914
maximum resident set size= 709056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1621272
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= 15
involuntary context switches= 3003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.85848 second user time and 10.5345 second system time
The end