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-4260112-1502022756/watcher-4260112-1502022756 -o /tmp/evaluation-result-4260112-1502022756/solver-4260112-1502022756 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502014384-22616 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260112-1502022756.xml
pid=24199
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: 2.01 2.02 2.05 3/180 24202
/proc/meminfo: memFree=31707996/32770624 swapFree=0/338100
[pid=24202] ppid=24199 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/24202/stat : 24202 (runsolver) D 24199 24202 21827 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 4471444 24240128 107 18446744073709551615 4194304 4338465 140725318357936 140725318355576 140576907354839 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 27410432 140725318361282 140725318361674 140725318361674 140725318365130 0
/proc/24202/statm: 5918 107 54 36 0 2156 0
[startup+0.100153 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 24202
/proc/meminfo: memFree=31707996/32770624 swapFree=0/338100
[pid=24202] ppid=24199 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/24202/stat : 24202 (runsolver) D 24199 24202 21827 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 4471444 24240128 107 18446744073709551615 4194304 4338465 140725318357936 140725318355576 140576907354839 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 27410432 140725318361282 140725318361674 140725318361674 140725318365130 0
/proc/24202/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200275 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 24202
/proc/meminfo: memFree=31707996/32770624 swapFree=0/338100
[pid=24202] ppid=24199 vsize=27536 CPUtime=0.07 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 1207 0 0 0 7 0 0 0 20 0 1 0 4471444 28196864 1042 18446744073709551615 4194304 5747388 140726393606448 140726393600312 140614029502550 0 0 1 0 0 0 0 17 6 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 6884 1042 777 380 0 302 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 27536
[startup+0.300273 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 24202
/proc/meminfo: memFree=31707996/32770624 swapFree=0/338100
[pid=24202] ppid=24199 vsize=27780 CPUtime=0.17 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 1325 0 0 0 17 0 0 0 20 0 1 0 4471444 28446720 1103 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4915136 0 0 1 8405026 0 0 0 17 6 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 6945 1103 777 380 0 363 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 27780
[startup+0.700181 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 24202
/proc/meminfo: memFree=31707996/32770624 swapFree=0/338100
[pid=24202] ppid=24199 vsize=28176 CPUtime=0.57 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 1417 0 0 0 57 0 0 0 20 0 1 0 4471444 28852224 1234 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4918650 0 0 1 8405026 0 0 0 17 0 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7044 1234 814 380 0 462 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 28176
[startup+1.50018 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 24203
/proc/meminfo: memFree=31706096/32770624 swapFree=0/338084
[pid=24202] ppid=24199 vsize=28308 CPUtime=1.37 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 1432 0 0 0 137 0 0 0 20 0 1 0 4471444 28987392 1234 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4902963 0 0 1 8405026 0 0 0 17 0 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7077 1234 814 380 0 495 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 28308
[startup+3.10018 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 24203
/proc/meminfo: memFree=31705604/32770624 swapFree=0/338084
[pid=24202] ppid=24199 vsize=28308 CPUtime=2.97 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 1839 0 0 0 297 0 0 0 20 0 1 0 4471444 28987392 1278 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4910648 0 0 1 8405026 0 0 0 17 0 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7077 1278 814 380 0 495 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 28308
[startup+6.30018 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 24203
/proc/meminfo: memFree=31705528/32770624 swapFree=0/338092
[pid=24202] ppid=24199 vsize=28308 CPUtime=6.17 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 2259 0 0 0 617 0 0 0 20 0 1 0 4471444 28987392 1295 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4954064 0 0 1 8405026 0 0 0 17 0 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7077 1295 814 380 0 495 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 28308
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 24203
/proc/meminfo: memFree=31705280/32770624 swapFree=0/338092
[pid=24202] ppid=24199 vsize=28308 CPUtime=12.56 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 2682 0 0 0 1256 0 0 0 20 0 1 0 4471444 28987392 1297 18446744073709551615 4194304 5747388 140726393606448 140726393603848 5000064 0 0 1 8405026 0 0 0 17 0 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7077 1297 814 380 0 495 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 28308
[startup+25.5003 s]
/proc/loadavg: 1.94 2.00 2.04 3/181 24204
/proc/meminfo: memFree=31705404/32770624 swapFree=0/338108
[pid=24202] ppid=24199 vsize=28440 CPUtime=25.36 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 3523 0 0 0 2536 0 0 0 20 0 1 0 4471444 29122560 1302 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4972419 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1302 814 380 0 528 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 28440
[startup+51.1003 s]
/proc/loadavg: 2.04 2.02 2.05 3/181 24204
/proc/meminfo: memFree=31705900/32770624 swapFree=0/338132
[pid=24202] ppid=24199 vsize=28440 CPUtime=50.96 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 3940 0 0 0 5096 0 0 0 20 0 1 0 4471444 29122560 1302 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4915034 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1302 814 380 0 528 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 28440
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/185 24221
/proc/meminfo: memFree=31701040/32770624 swapFree=0/338260
[pid=24202] ppid=24199 vsize=28440 CPUtime=102.16 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 4367 0 0 0 10216 0 0 0 20 0 1 0 4471444 29122560 1303 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4972421 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1303 814 380 0 528 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 28440
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/185 24223
/proc/meminfo: memFree=31700792/32770624 swapFree=0/338316
[pid=24202] ppid=24199 vsize=28440 CPUtime=162.15 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 4790 0 0 0 16215 0 0 0 20 0 1 0 4471444 29122560 1305 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4972419 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1305 814 380 0 528 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 28440
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 24225
/proc/meminfo: memFree=31703824/32770624 swapFree=0/338360
[pid=24202] ppid=24199 vsize=28440 CPUtime=222.15 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 5209 0 0 0 22215 0 0 0 20 0 1 0 4471444 29122560 1305 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4954077 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1305 814 380 0 528 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 28440
[startup+282.3 s]
/proc/loadavg: 1.92 1.99 2.03 3/182 24290
/proc/meminfo: memFree=31706520/32770624 swapFree=0/338444
[pid=24202] ppid=24199 vsize=28440 CPUtime=282.14 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 5633 0 0 0 28214 0 0 0 20 0 1 0 4471444 29122560 1307 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4911541 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1307 814 380 0 528 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 28440
[startup+342.3 s]
/proc/loadavg: 2.07 2.02 2.05 3/182 24292
/proc/meminfo: memFree=31706260/32770624 swapFree=0/338532
[pid=24202] ppid=24199 vsize=28440 CPUtime=342.13 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 6053 0 0 0 34213 0 0 0 20 0 1 0 4471444 29122560 1307 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4972384 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1307 814 380 0 528 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 28440
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/181 24295
/proc/meminfo: memFree=31706124/32770624 swapFree=0/338588
[pid=24202] ppid=24199 vsize=28440 CPUtime=402.13 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 6473 0 0 0 40213 0 0 0 20 0 1 0 4471444 29122560 1307 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4918034 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1307 814 380 0 528 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 28440
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 24297
/proc/meminfo: memFree=31705884/32770624 swapFree=0/338624
[pid=24202] ppid=24199 vsize=28440 CPUtime=462.12 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 6890 0 0 0 46212 0 0 0 20 0 1 0 4471444 29122560 1307 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4917621 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1307 814 380 0 528 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 28440
[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 24299
/proc/meminfo: memFree=31706176/32770624 swapFree=0/338672
[pid=24202] ppid=24199 vsize=28440 CPUtime=522.12 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 7321 0 0 0 52212 0 0 0 20 0 1 0 4471444 29122560 1307 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4873657 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1307 814 380 0 528 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 28440
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 24302
/proc/meminfo: memFree=31705832/32770624 swapFree=0/338732
[pid=24202] ppid=24199 vsize=28440 CPUtime=582.11 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 7745 0 0 0 58211 0 0 0 20 0 1 0 4471444 29122560 1307 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4917632 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1307 814 380 0 528 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 28440
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24361
/proc/meminfo: memFree=31702728/32770624 swapFree=0/339376
[pid=24202] ppid=24199 vsize=28440 CPUtime=1482.04 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 13694 0 0 0 148204 0 0 0 20 0 1 0 4471444 29122560 1309 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4918630 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1309 814 380 0 528 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 28440
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24363
/proc/meminfo: memFree=31703572/32770624 swapFree=0/339412
[pid=24202] ppid=24199 vsize=28440 CPUtime=1542.04 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 14055 0 0 0 154204 0 0 0 20 0 1 0 4471444 29122560 1309 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4912668 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1309 814 380 0 528 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 28440
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 24365
/proc/meminfo: memFree=31703408/32770624 swapFree=0/339456
[pid=24202] ppid=24199 vsize=28440 CPUtime=1602.03 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 14481 0 0 0 160203 0 0 0 20 0 1 0 4471444 29122560 1309 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4873584 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1309 814 380 0 528 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 28440
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 24367
/proc/meminfo: memFree=31703640/32770624 swapFree=0/339492
[pid=24202] ppid=24199 vsize=28440 CPUtime=1662.02 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 14835 0 0 0 166202 0 0 0 20 0 1 0 4471444 29122560 1309 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4971712 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1309 814 380 0 528 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 28440
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 24369
/proc/meminfo: memFree=31703856/32770624 swapFree=0/339516
[pid=24202] ppid=24199 vsize=28440 CPUtime=1722.01 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 15189 0 0 0 172201 0 0 0 20 0 1 0 4471444 29122560 1309 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4972419 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1309 814 380 0 528 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 28440
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24371
/proc/meminfo: memFree=31704520/32770624 swapFree=0/339560
[pid=24202] ppid=24199 vsize=28440 CPUtime=1782.01 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 15595 0 0 0 178201 0 0 0 20 0 1 0 4471444 29122560 1309 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4911840 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1309 814 380 0 528 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 28440
[startup+1842.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/181 24373
/proc/meminfo: memFree=31704108/32770624 swapFree=0/339584
[pid=24202] ppid=24199 vsize=28440 CPUtime=1842 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 15933 0 0 0 184200 0 0 0 20 0 1 0 4471444 29122560 1309 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4917573 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1309 814 380 0 528 0
Current children cumulated CPU time (s) 1842
Current children cumulated vsize (KiB) 28440
[startup+1902.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 24390
/proc/meminfo: memFree=31700700/32770624 swapFree=0/339644
[pid=24202] ppid=24199 vsize=28440 CPUtime=1902 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 16360 0 0 0 190200 0 0 0 20 0 1 0 4471444 29122560 1310 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4915348 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1310 814 380 0 528 0
Current children cumulated CPU time (s) 1902
Current children cumulated vsize (KiB) 28440
[startup+1962.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 24392
/proc/meminfo: memFree=31700864/32770624 swapFree=0/339688
[pid=24202] ppid=24199 vsize=28440 CPUtime=1961.99 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 16712 0 0 0 196199 0 0 0 20 0 1 0 4471444 29122560 1310 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4971712 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1310 814 380 0 528 0
Current children cumulated CPU time (s) 1961.99
Current children cumulated vsize (KiB) 28440
[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 24394
/proc/meminfo: memFree=31703184/32770624 swapFree=0/339716
[pid=24202] ppid=24199 vsize=28440 CPUtime=2022 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 17060 0 0 0 202199 1 0 0 20 0 1 0 4471444 29122560 1310 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4912528 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1310 814 380 0 528 0
Current children cumulated CPU time (s) 2022
Current children cumulated vsize (KiB) 28440
[startup+2082.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 24396
/proc/meminfo: memFree=31703596/32770624 swapFree=0/339752
[pid=24202] ppid=24199 vsize=28440 CPUtime=2082 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 17493 0 0 0 208199 1 0 0 20 0 1 0 4471444 29122560 1310 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4906176 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1310 814 380 0 528 0
Current children cumulated CPU time (s) 2082
Current children cumulated vsize (KiB) 28440
[startup+2142.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 24398
/proc/meminfo: memFree=31703980/32770624 swapFree=0/339788
[pid=24202] ppid=24199 vsize=28440 CPUtime=2141.99 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 17823 0 0 0 214198 1 0 0 20 0 1 0 4471444 29122560 1310 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4917978 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1310 814 380 0 528 0
Current children cumulated CPU time (s) 2141.99
Current children cumulated vsize (KiB) 28440
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 24401
/proc/meminfo: memFree=31703500/32770624 swapFree=0/339824
[pid=24202] ppid=24199 vsize=28440 CPUtime=2201.99 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 18148 0 0 0 220198 1 0 0 20 0 1 0 4471444 29122560 1310 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4910691 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1310 814 380 0 528 0
Current children cumulated CPU time (s) 2201.99
Current children cumulated vsize (KiB) 28440
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 24403
/proc/meminfo: memFree=31704176/32770624 swapFree=0/339864
[pid=24202] ppid=24199 vsize=28440 CPUtime=2261.98 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 18493 0 0 0 226197 1 0 0 20 0 1 0 4471444 29122560 1310 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4911493 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1310 814 380 0 528 0
Current children cumulated CPU time (s) 2261.98
Current children cumulated vsize (KiB) 28440
[startup+2322.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 24405
/proc/meminfo: memFree=31704184/32770624 swapFree=0/339896
[pid=24202] ppid=24199 vsize=28440 CPUtime=2321.97 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 18916 0 0 0 232196 1 0 0 20 0 1 0 4471444 29122560 1310 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4972403 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1310 814 380 0 528 0
Current children cumulated CPU time (s) 2321.97
Current children cumulated vsize (KiB) 28440
[startup+2382.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 24408
/proc/meminfo: memFree=31704208/32770624 swapFree=0/339940
[pid=24202] ppid=24199 vsize=28440 CPUtime=2381.97 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 19241 0 0 0 238196 1 0 0 20 0 1 0 4471444 29122560 1310 18446744073709551615 4194304 5747388 140726393606448 140726393603848 4917959 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1310 814 380 0 528 0
Current children cumulated CPU time (s) 2381.97
Current children cumulated vsize (KiB) 28440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 24409
/proc/meminfo: memFree=31703944/32770624 swapFree=0/339956
[pid=24202] ppid=24199 vsize=28440 CPUtime=2400.07 cores=0,2,4,6
/proc/24202/stat : 24202 (cosoco) R 24199 24202 21827 0 -1 4202496 19560 0 0 0 240006 1 0 0 20 0 1 0 4471444 29122560 1310 18446744073709551615 4194304 5747388 140726393606448 140726393603848 5000035 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 7845728 7850568 19156992 140726393610735 140726393610830 140726393610830 140726393614286 0
/proc/24202/statm: 7110 1310 814 380 0 528 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 28440
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 24202 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.4
CPU time (s): 2400.07
CPU user time (s): 2400.06
CPU system time (s): 0.010999
CPU usage (%): 99.9863
Max. virtual memory (cumulated for all children) (KiB): 28440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.06
system time used= 0.010999
maximum resident set size= 5304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19608
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= 10
involuntary context switches= 3016
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15454 second user time and 7.69349 second system time
The end