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-4251938-1500919833/watcher-4251938-1500919833 -o /tmp/evaluation-result-4251938-1500919833/solver-4251938-1500919833 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500914921-4815 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4251938-1500919833.xml
pid=6202
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.01 2.01 1.98 2/181 6205
/proc/meminfo: memFree=32068120/32770624 swapFree=6560/141512
[pid=6205] ppid=6202 vsize=26772 CPUtime=0 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 937 0 0 0 0 0 0 0 20 0 1 0 1536543 27414528 760 33554432000 4194304 5744392 140731895897216 140731895893864 139887573867493 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6693 760 678 379 0 112 0
[startup+0.100124 s]
/proc/loadavg: 2.01 2.01 1.98 2/181 6205
/proc/meminfo: memFree=32068120/32770624 swapFree=6560/141512
[pid=6205] ppid=6202 vsize=27432 CPUtime=0.09 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 1184 0 0 0 9 0 0 0 20 0 1 0 1536543 28090368 958 33554432000 4194304 5744392 140731895897216 140731895893864 5024245 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 958 714 379 0 277 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27432
[startup+0.200239 s]
/proc/loadavg: 2.01 2.01 1.98 2/181 6205
/proc/meminfo: memFree=32068120/32770624 swapFree=6560/141512
[pid=6205] ppid=6202 vsize=27432 CPUtime=0.19 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 1184 0 0 0 19 0 0 0 20 0 1 0 1536543 28090368 958 33554432000 4194304 5744392 140731895897216 140731895893864 5024245 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 958 714 379 0 277 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27432
[startup+0.300203 s]
/proc/loadavg: 2.01 2.01 1.98 2/181 6205
/proc/meminfo: memFree=32068120/32770624 swapFree=6560/141512
[pid=6205] ppid=6202 vsize=27432 CPUtime=0.29 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 1184 0 0 0 29 0 0 0 20 0 1 0 1536543 28090368 958 33554432000 4194304 5744392 140731895897216 140731895894824 4893113 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 958 714 379 0 277 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27432
[startup+0.700174 s]
/proc/loadavg: 2.01 2.01 1.98 2/181 6205
/proc/meminfo: memFree=32068120/32770624 swapFree=6560/141512
[pid=6205] ppid=6202 vsize=27432 CPUtime=0.69 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 1184 0 0 0 69 0 0 0 20 0 1 0 1536543 28090368 958 33554432000 4194304 5744392 140731895897216 140731895894824 5024417 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 958 714 379 0 277 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27432
[startup+1.50017 s]
/proc/loadavg: 2.01 2.01 1.98 3/182 6206
/proc/meminfo: memFree=32067220/32770624 swapFree=6560/141536
[pid=6205] ppid=6202 vsize=27432 CPUtime=1.49 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 1185 0 0 0 149 0 0 0 20 0 1 0 1536543 28090368 1024 33554432000 4194304 5744392 140731895897216 140731895894824 5024241 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1024 761 379 0 277 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27432
[startup+3.10017 s]
/proc/loadavg: 2.01 2.01 1.98 3/182 6206
/proc/meminfo: memFree=32066724/32770624 swapFree=6560/141536
[pid=6205] ppid=6202 vsize=27432 CPUtime=3.09 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 1390 0 0 0 309 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895894824 5024231 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27432
[startup+6.30017 s]
/proc/loadavg: 1.93 2.00 1.97 3/182 6206
/proc/meminfo: memFree=32066784/32770624 swapFree=6560/141544
[pid=6205] ppid=6202 vsize=27432 CPUtime=6.29 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 1593 0 0 0 629 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895894824 4946152 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27432
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 1.97 3/182 6206
/proc/meminfo: memFree=32066416/32770624 swapFree=6560/141548
[pid=6205] ppid=6202 vsize=27432 CPUtime=12.69 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 1798 0 0 0 1269 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895894824 4889032 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27432
[startup+25.5002 s]
/proc/loadavg: 1.95 2.00 1.97 3/182 6206
/proc/meminfo: memFree=32066544/32770624 swapFree=6560/141568
[pid=6205] ppid=6202 vsize=27432 CPUtime=25.49 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 2188 0 0 0 2549 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 4889129 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27432
[startup+51.1002 s]
/proc/loadavg: 1.97 2.00 1.97 3/182 6206
/proc/meminfo: memFree=32066924/32770624 swapFree=6560/141584
[pid=6205] ppid=6202 vsize=27432 CPUtime=51.1 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 2392 0 0 0 5110 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895894824 4946156 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 27432
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 1.97 3/182 6207
/proc/meminfo: memFree=32066700/32770624 swapFree=6560/141632
[pid=6205] ppid=6202 vsize=27432 CPUtime=102.31 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 2579 0 0 0 10231 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 5024231 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 27432
[startup+162.3 s]
/proc/loadavg: 1.85 1.97 1.96 3/182 6269
/proc/meminfo: memFree=32065924/32770624 swapFree=6560/141724
[pid=6205] ppid=6202 vsize=27432 CPUtime=162.31 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 2802 0 0 0 16231 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 4946576 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 27432
[startup+222.306 s]
/proc/loadavg: 1.95 1.97 1.96 3/182 6270
/proc/meminfo: memFree=32065344/32770624 swapFree=6560/141764
[pid=6205] ppid=6202 vsize=27432 CPUtime=222.32 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 2987 0 0 0 22232 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 4892830 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 27432
[startup+282.3 s]
/proc/loadavg: 1.98 1.98 1.96 3/182 6271
/proc/meminfo: memFree=32065384/32770624 swapFree=6560/141804
[pid=6205] ppid=6202 vsize=27432 CPUtime=282.32 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 3005 0 0 0 28232 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895894824 4946152 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 27432
[startup+342.3 s]
/proc/loadavg: 2.07 2.00 1.97 3/182 6272
/proc/meminfo: memFree=32065160/32770624 swapFree=6560/141840
[pid=6205] ppid=6202 vsize=27432 CPUtime=342.33 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 3190 0 0 0 34233 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895894824 4916805 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 27432
[startup+402.3 s]
/proc/loadavg: 2.03 2.00 1.97 3/182 6273
/proc/meminfo: memFree=32065080/32770624 swapFree=6560/141872
[pid=6205] ppid=6202 vsize=27432 CPUtime=402.34 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 3190 0 0 0 40234 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895894824 4947899 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 402.34
Current children cumulated vsize (KiB) 27432
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/182 6274
/proc/meminfo: memFree=32065256/32770624 swapFree=6560/141900
[pid=6205] ppid=6202 vsize=27432 CPUtime=462.35 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 3375 0 0 0 46235 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895894824 4998912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 27432
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 6275
/proc/meminfo: memFree=32065184/32770624 swapFree=6560/141936
[pid=6205] ppid=6202 vsize=27432 CPUtime=522.35 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 3375 0 0 0 52235 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895894824 4872988 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 27432
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 6284
/proc/meminfo: memFree=32063760/32770624 swapFree=6560/141972
[pid=6205] ppid=6202 vsize=27432 CPUtime=582.36 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 3560 0 0 0 58236 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895894824 5024227 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 27432
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/182 6308
/proc/meminfo: memFree=32064416/32770624 swapFree=6560/142460
[pid=6205] ppid=6202 vsize=27432 CPUtime=1482.47 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 4875 0 0 0 148247 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 4948300 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 1482.47
Current children cumulated vsize (KiB) 27432
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.98 3/182 6309
/proc/meminfo: memFree=32064192/32770624 swapFree=6560/142496
[pid=6205] ppid=6202 vsize=27432 CPUtime=1542.49 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 5060 0 0 0 154249 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 5024224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 1542.49
Current children cumulated vsize (KiB) 27432
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/182 6310
/proc/meminfo: memFree=32064228/32770624 swapFree=6560/142524
[pid=6205] ppid=6202 vsize=27432 CPUtime=1602.49 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 5060 0 0 0 160249 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 5024231 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 1602.49
Current children cumulated vsize (KiB) 27432
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 1.98 3/182 6311
/proc/meminfo: memFree=32064368/32770624 swapFree=6560/142560
[pid=6205] ppid=6202 vsize=27432 CPUtime=1662.5 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 5243 0 0 0 166250 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 4948328 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 1662.5
Current children cumulated vsize (KiB) 27432
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/182 6312
/proc/meminfo: memFree=32064368/32770624 swapFree=6560/142584
[pid=6205] ppid=6202 vsize=27432 CPUtime=1722.5 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 5243 0 0 0 172250 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 5024250 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 1722.5
Current children cumulated vsize (KiB) 27432
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/182 6320
/proc/meminfo: memFree=32063344/32770624 swapFree=6560/142612
[pid=6205] ppid=6202 vsize=27432 CPUtime=1782.51 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 5426 0 0 0 178251 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 5123281 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 1782.51
Current children cumulated vsize (KiB) 27432
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/182 6321
/proc/meminfo: memFree=32063640/32770624 swapFree=6560/142640
[pid=6205] ppid=6202 vsize=27432 CPUtime=1842.52 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 5428 0 0 0 184252 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 5129189 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 1842.52
Current children cumulated vsize (KiB) 27432
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/182 6322
/proc/meminfo: memFree=32064176/32770624 swapFree=6560/142672
[pid=6205] ppid=6202 vsize=27432 CPUtime=1902.53 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 5613 0 0 0 190253 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 5124536 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 1902.53
Current children cumulated vsize (KiB) 27432
[startup+1962.3 s]
/proc/loadavg: 2.08 2.03 1.99 3/182 6323
/proc/meminfo: memFree=32064136/32770624 swapFree=6560/142700
[pid=6205] ppid=6202 vsize=27432 CPUtime=1962.53 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 5613 0 0 0 196253 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 4892913 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 1962.53
Current children cumulated vsize (KiB) 27432
[startup+2022.3 s]
/proc/loadavg: 2.03 2.02 1.99 3/182 6324
/proc/meminfo: memFree=32064156/32770624 swapFree=6560/142728
[pid=6205] ppid=6202 vsize=27432 CPUtime=2022.54 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 5796 0 0 0 202254 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 5024419 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 2022.54
Current children cumulated vsize (KiB) 27432
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/182 6325
/proc/meminfo: memFree=32064300/32770624 swapFree=6560/142760
[pid=6205] ppid=6202 vsize=27432 CPUtime=2082.55 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 5796 0 0 0 208255 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 4946156 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 2082.55
Current children cumulated vsize (KiB) 27432
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 6326
/proc/meminfo: memFree=32064120/32770624 swapFree=6560/142792
[pid=6205] ppid=6202 vsize=27432 CPUtime=2142.56 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 5979 0 0 0 214256 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 5024241 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 2142.56
Current children cumulated vsize (KiB) 27432
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 6327
/proc/meminfo: memFree=32064260/32770624 swapFree=6560/142820
[pid=6205] ppid=6202 vsize=27432 CPUtime=2202.57 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 5981 0 0 0 220257 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 4914576 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 2202.57
Current children cumulated vsize (KiB) 27432
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 6328
/proc/meminfo: memFree=32064152/32770624 swapFree=6560/142848
[pid=6205] ppid=6202 vsize=27432 CPUtime=2262.57 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 6166 0 0 0 226257 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 5131348 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 2262.57
Current children cumulated vsize (KiB) 27432
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 6329
/proc/meminfo: memFree=32064168/32770624 swapFree=6560/142880
[pid=6205] ppid=6202 vsize=27432 CPUtime=2322.58 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 6166 0 0 0 232258 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 5024239 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 2322.58
Current children cumulated vsize (KiB) 27432
[startup+2382.3 s]
/proc/loadavg: 2.04 2.03 1.99 3/182 6337
/proc/meminfo: memFree=32062824/32770624 swapFree=6560/142916
[pid=6205] ppid=6202 vsize=27432 CPUtime=2382.59 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 6351 0 0 0 238259 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 4948352 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 2382.59
Current children cumulated vsize (KiB) 27432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.8 s]
/proc/loadavg: 2.03 2.02 1.99 3/182 6337
/proc/meminfo: memFree=32063708/32770624 swapFree=6560/142924
[pid=6205] ppid=6202 vsize=27432 CPUtime=2400.09 cores=1,3,5,7
/proc/6205/stat : 6205 (cosoco) R 6202 6205 4783 0 -1 4202496 6351 0 0 0 240009 0 0 0 20 0 1 0 1536543 28090368 1025 33554432000 4194304 5744392 140731895897216 140731895884568 4914397 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 38375424 140731895903425 140731895903555 140731895903555 140731895906254 0
/proc/6205/statm: 6858 1025 761 379 0 277 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 27432
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 6205 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2399.8
CPU time (s): 2400.1
CPU user time (s): 2400.09
CPU system time (s): 0.003
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 27432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.09
system time used= 0.003
maximum resident set size= 4148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6390
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= 12
involuntary context switches= 625
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01626 second user time and 7.42918 second system time
The end