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-4260058-1502022702/watcher-4260058-1502022702 -o /tmp/evaluation-result-4260058-1502022702/solver-4260058-1502022702 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502014511-21396 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260058-1502022702.xml
pid=24295
running on 4 cores: 1,3,5,7
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.16 2.07 2.06 3/180 24298
/proc/meminfo: memFree=31417068/32770624 swapFree=0/316008
[pid=24298] ppid=24295 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/24298/stat : 24298 (runsolver) D 24295 24298 20633 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 4463975 24240128 108 18446744073709551615 4194304 4338465 140737034461312 140737034458952 139924532925143 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 19386368 140737034469570 140737034469962 140737034469962 140737034473418 0
/proc/24298/statm: 5918 108 54 36 0 2156 0
[startup+0.101041 s]
/proc/loadavg: 2.16 2.07 2.06 3/180 24298
/proc/meminfo: memFree=31417068/32770624 swapFree=0/316008
[pid=24298] ppid=24295 vsize=27160 CPUtime=0.02 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 1111 0 0 0 2 0 0 0 20 0 1 0 4463975 27811840 948 18446744073709551615 4194304 5747388 140721409110144 140721409104008 140062972978848 0 0 1 0 0 0 0 17 7 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 6790 948 777 380 0 208 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 27160
[startup+0.201057 s]
/proc/loadavg: 2.16 2.07 2.06 3/180 24298
/proc/meminfo: memFree=31417068/32770624 swapFree=0/316008
[pid=24298] ppid=24295 vsize=27792 CPUtime=0.12 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 1324 0 0 0 12 0 0 0 20 0 1 0 4463975 28459008 1105 18446744073709551615 4194304 5747388 140721409110144 140721409107288 5000046 0 0 1 8405026 0 0 0 17 7 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 6948 1105 814 380 0 366 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 27792
[startup+0.301056 s]
/proc/loadavg: 2.16 2.07 2.06 3/180 24298
/proc/meminfo: memFree=31417068/32770624 swapFree=0/316008
[pid=24298] ppid=24295 vsize=27924 CPUtime=0.22 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 1355 0 0 0 22 0 0 0 20 0 1 0 4463975 28594176 1171 18446744073709551615 4194304 5747388 140721409110144 140721409107288 4954102 0 0 1 8405026 0 0 0 17 7 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 6981 1171 814 380 0 399 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 27924
[startup+0.700222 s]
/proc/loadavg: 2.16 2.07 2.06 3/180 24298
/proc/meminfo: memFree=31417068/32770624 swapFree=0/316008
[pid=24298] ppid=24295 vsize=28056 CPUtime=0.62 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 1377 0 0 0 62 0 0 0 20 0 1 0 4463975 28729344 1171 18446744073709551615 4194304 5747388 140721409110144 140721409107288 5121308 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7014 1171 814 380 0 432 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 28056
[startup+1.50022 s]
/proc/loadavg: 2.16 2.07 2.06 3/181 24299
/proc/meminfo: memFree=31415360/32770624 swapFree=0/316016
[pid=24298] ppid=24295 vsize=28056 CPUtime=1.42 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 1388 0 0 0 142 0 0 0 20 0 1 0 4463975 28729344 1171 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4873584 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7014 1171 814 380 0 432 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 28056
[startup+3.10017 s]
/proc/loadavg: 2.16 2.07 2.06 3/181 24299
/proc/meminfo: memFree=31414988/32770624 swapFree=0/316016
[pid=24298] ppid=24295 vsize=28056 CPUtime=3.02 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 1751 0 0 0 302 0 0 0 20 0 1 0 4463975 28729344 1235 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4903029 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7014 1235 814 380 0 432 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 28056
[startup+6.3002 s]
/proc/loadavg: 2.30 2.10 2.07 2/193 24391
/proc/meminfo: memFree=31753544/32770624 swapFree=0/316052
[pid=24298] ppid=24295 vsize=28188 CPUtime=6.22 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 2112 0 0 0 622 0 0 0 20 0 1 0 4463975 28864512 1240 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4909425 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1240 814 380 0 465 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 28188
[startup+12.7002 s]
/proc/loadavg: 2.28 2.10 2.07 3/181 24485
/proc/meminfo: memFree=31764144/32770624 swapFree=0/316124
[pid=24298] ppid=24295 vsize=28188 CPUtime=12.62 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 2458 0 0 0 1262 0 0 0 20 0 1 0 4463975 28864512 1242 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4873657 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1242 814 380 0 465 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 28188
[startup+25.5003 s]
/proc/loadavg: 2.22 2.09 2.07 3/181 24485
/proc/meminfo: memFree=31763904/32770624 swapFree=0/316140
[pid=24298] ppid=24295 vsize=28188 CPUtime=25.42 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 3180 0 0 0 2542 0 0 0 20 0 1 0 4463975 28864512 1244 18446744073709551615 4194304 5747388 140721409110144 140721409107544 5000064 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1244 814 380 0 465 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 28188
[startup+51.1003 s]
/proc/loadavg: 2.14 2.08 2.06 3/181 24486
/proc/meminfo: memFree=31763904/32770624 swapFree=0/316168
[pid=24298] ppid=24295 vsize=28188 CPUtime=51.02 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 3542 0 0 0 5102 0 0 0 20 0 1 0 4463975 28864512 1245 18446744073709551615 4194304 5747388 140721409110144 140721409107544 5000064 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1245 814 380 0 465 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 28188
[startup+102.3 s]
/proc/loadavg: 1.99 2.05 2.05 3/181 24488
/proc/meminfo: memFree=31763292/32770624 swapFree=0/316244
[pid=24298] ppid=24295 vsize=28188 CPUtime=102.22 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 3894 0 0 0 10222 0 0 0 20 0 1 0 4463975 28864512 1245 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4873584 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1245 814 380 0 465 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 28188
[startup+162.3 s]
/proc/loadavg: 1.85 2.01 2.04 3/185 24505
/proc/meminfo: memFree=31758540/32770624 swapFree=0/316336
[pid=24298] ppid=24295 vsize=28188 CPUtime=162.21 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 4268 0 0 0 16221 0 0 0 20 0 1 0 4463975 28864512 1246 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4915034 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1246 814 380 0 465 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 28188
[startup+222.306 s]
/proc/loadavg: 1.95 2.01 2.04 3/185 24507
/proc/meminfo: memFree=31758932/32770624 swapFree=0/316392
[pid=24298] ppid=24295 vsize=28188 CPUtime=222.22 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 4637 0 0 0 22222 0 0 0 20 0 1 0 4463975 28864512 1246 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4915124 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1246 814 380 0 465 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 28188
[startup+282.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/182 24509
/proc/meminfo: memFree=31762396/32770624 swapFree=0/316452
[pid=24298] ppid=24295 vsize=28188 CPUtime=282.21 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 4986 0 0 0 28221 0 0 0 20 0 1 0 4463975 28864512 1246 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4911843 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1246 814 380 0 465 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 28188
[startup+342.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/182 24511
/proc/meminfo: memFree=31762404/32770624 swapFree=0/316508
[pid=24298] ppid=24295 vsize=28188 CPUtime=342.21 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 5347 0 0 0 34221 0 0 0 20 0 1 0 4463975 28864512 1246 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4917691 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1246 814 380 0 465 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 28188
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 24513
/proc/meminfo: memFree=31762652/32770624 swapFree=0/316552
[pid=24298] ppid=24295 vsize=28188 CPUtime=402.2 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 5715 0 0 0 40220 0 0 0 20 0 1 0 4463975 28864512 1246 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4873694 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1246 814 380 0 465 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 28188
[startup+462.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/181 24516
/proc/meminfo: memFree=31762124/32770624 swapFree=0/316612
[pid=24298] ppid=24295 vsize=28188 CPUtime=462.2 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 6056 0 0 0 46220 0 0 0 20 0 1 0 4463975 28864512 1246 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4911770 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1246 814 380 0 465 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 28188
[startup+522.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 24518
/proc/meminfo: memFree=31761984/32770624 swapFree=0/316644
[pid=24298] ppid=24295 vsize=28188 CPUtime=522.2 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 6434 0 0 0 52220 0 0 0 20 0 1 0 4463975 28864512 1246 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4972752 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1246 814 380 0 465 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 28188
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 24520
/proc/meminfo: memFree=31762108/32770624 swapFree=0/316696
[pid=24298] ppid=24295 vsize=28188 CPUtime=582.19 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 6788 0 0 0 58219 0 0 0 20 0 1 0 4463975 28864512 1246 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4906186 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1246 814 380 0 465 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 28188
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 24579
/proc/meminfo: memFree=31760844/32770624 swapFree=0/317324
[pid=24298] ppid=24295 vsize=28188 CPUtime=1482.15 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 11325 0 0 0 148215 0 0 0 20 0 1 0 4463975 28864512 1247 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4972090 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1247 814 380 0 465 0
Current children cumulated CPU time (s) 1482.15
Current children cumulated vsize (KiB) 28188
[startup+1542.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 24581
/proc/meminfo: memFree=31761216/32770624 swapFree=0/317356
[pid=24298] ppid=24295 vsize=28188 CPUtime=1542.16 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 11535 0 0 0 154216 0 0 0 20 0 1 0 4463975 28864512 1247 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4873679 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1247 814 380 0 465 0
Current children cumulated CPU time (s) 1542.16
Current children cumulated vsize (KiB) 28188
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 24583
/proc/meminfo: memFree=31761340/32770624 swapFree=0/317392
[pid=24298] ppid=24295 vsize=28188 CPUtime=1602.15 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 11750 0 0 0 160215 0 0 0 20 0 1 0 4463975 28864512 1247 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4873616 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1247 814 380 0 465 0
Current children cumulated CPU time (s) 1602.15
Current children cumulated vsize (KiB) 28188
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24585
/proc/meminfo: memFree=31761464/32770624 swapFree=0/317416
[pid=24298] ppid=24295 vsize=28188 CPUtime=1662.15 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 12101 0 0 0 166215 0 0 0 20 0 1 0 4463975 28864512 1247 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4971712 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1247 814 380 0 465 0
Current children cumulated CPU time (s) 1662.15
Current children cumulated vsize (KiB) 28188
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24587
/proc/meminfo: memFree=31761604/32770624 swapFree=0/317456
[pid=24298] ppid=24295 vsize=28188 CPUtime=1722.14 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 12315 0 0 0 172214 0 0 0 20 0 1 0 4463975 28864512 1247 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4906184 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1247 814 380 0 465 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 28188
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24589
/proc/meminfo: memFree=31760860/32770624 swapFree=0/317480
[pid=24298] ppid=24295 vsize=28188 CPUtime=1782.14 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 12529 0 0 0 178214 0 0 0 20 0 1 0 4463975 28864512 1247 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4972752 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1247 814 380 0 465 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 28188
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24591
/proc/meminfo: memFree=31761036/32770624 swapFree=0/317512
[pid=24298] ppid=24295 vsize=28188 CPUtime=1842.14 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 12745 0 0 0 184214 0 0 0 20 0 1 0 4463975 28864512 1247 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4906176 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1247 814 380 0 465 0
Current children cumulated CPU time (s) 1842.14
Current children cumulated vsize (KiB) 28188
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24593
/proc/meminfo: memFree=31761300/32770624 swapFree=0/317536
[pid=24298] ppid=24295 vsize=28188 CPUtime=1902.13 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 13111 0 0 0 190213 0 0 0 20 0 1 0 4463975 28864512 1247 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4873657 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1247 814 380 0 465 0
Current children cumulated CPU time (s) 1902.13
Current children cumulated vsize (KiB) 28188
[startup+1962.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/184 24609
/proc/meminfo: memFree=31756296/32770624 swapFree=0/317592
[pid=24298] ppid=24295 vsize=28188 CPUtime=1962.13 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 13344 0 0 0 196213 0 0 0 20 0 1 0 4463975 28864512 1247 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4972775 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1247 814 380 0 465 0
Current children cumulated CPU time (s) 1962.13
Current children cumulated vsize (KiB) 28188
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 24611
/proc/meminfo: memFree=31756276/32770624 swapFree=0/317636
[pid=24298] ppid=24295 vsize=28188 CPUtime=2022.13 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 13577 0 0 0 202213 0 0 0 20 0 1 0 4463975 28864512 1247 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4915608 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1247 814 380 0 465 0
Current children cumulated CPU time (s) 2022.13
Current children cumulated vsize (KiB) 28188
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 24613
/proc/meminfo: memFree=31759316/32770624 swapFree=0/317672
[pid=24298] ppid=24295 vsize=28188 CPUtime=2082.13 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 13809 0 0 0 208213 0 0 0 20 0 1 0 4463975 28864512 1247 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4972077 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1247 814 380 0 465 0
Current children cumulated CPU time (s) 2082.13
Current children cumulated vsize (KiB) 28188
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24615
/proc/meminfo: memFree=31760004/32770624 swapFree=0/317700
[pid=24298] ppid=24295 vsize=28188 CPUtime=2142.12 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 14133 0 0 0 214212 0 0 0 20 0 1 0 4463975 28864512 1247 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4915024 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1247 814 380 0 465 0
Current children cumulated CPU time (s) 2142.12
Current children cumulated vsize (KiB) 28188
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24617
/proc/meminfo: memFree=31760564/32770624 swapFree=0/317728
[pid=24298] ppid=24295 vsize=28188 CPUtime=2202.12 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 14344 0 0 0 220212 0 0 0 20 0 1 0 4463975 28864512 1247 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4917975 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1247 814 380 0 465 0
Current children cumulated CPU time (s) 2202.12
Current children cumulated vsize (KiB) 28188
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24620
/proc/meminfo: memFree=31760548/32770624 swapFree=0/317768
[pid=24298] ppid=24295 vsize=28188 CPUtime=2262.12 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 14556 0 0 0 226212 0 0 0 20 0 1 0 4463975 28864512 1247 18446744073709551615 4194304 5747388 140721409110144 140721409107544 5126274 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1247 814 380 0 465 0
Current children cumulated CPU time (s) 2262.12
Current children cumulated vsize (KiB) 28188
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24622
/proc/meminfo: memFree=31759944/32770624 swapFree=0/317808
[pid=24298] ppid=24295 vsize=28188 CPUtime=2322.11 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 14765 0 0 0 232211 0 0 0 20 0 1 0 4463975 28864512 1247 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4873702 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1247 814 380 0 465 0
Current children cumulated CPU time (s) 2322.11
Current children cumulated vsize (KiB) 28188
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24624
/proc/meminfo: memFree=31759680/32770624 swapFree=0/317840
[pid=24298] ppid=24295 vsize=28188 CPUtime=2382.11 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 15110 0 0 0 238211 0 0 0 20 0 1 0 4463975 28864512 1247 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4954105 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1247 814 380 0 465 0
Current children cumulated CPU time (s) 2382.11
Current children cumulated vsize (KiB) 28188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24624
/proc/meminfo: memFree=31759820/32770624 swapFree=0/317852
[pid=24298] ppid=24295 vsize=28188 CPUtime=2400.02 cores=1,3,5,7
/proc/24298/stat : 24298 (cosoco) R 24295 24298 20633 0 -1 4202496 15302 0 0 0 240002 0 0 0 20 0 1 0 4463975 28864512 1247 18446744073709551615 4194304 5747388 140721409110144 140721409107544 4903029 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 7845728 7850568 32473088 140721409118703 140721409118798 140721409118798 140721409122254 0
/proc/24298/statm: 7047 1247 814 380 0 465 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 28188
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 24298 sig 9
??? kill -24298 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.02
CPU user time (s): 2400.02
CPU system time (s): 0.002999
CPU usage (%): 99.9924
Max. virtual memory (cumulated for all children) (KiB): 28188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.002999
maximum resident set size= 5052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15351
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= 6
involuntary context switches= 605
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2667 second user time and 7.98694 second system time
The end