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-4267547-1502555292/watcher-4267547-1502555292 -o /tmp/evaluation-result-4267547-1502555292/solver-4267547-1502555292 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502500306-27514 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267547-1502555292.xml
pid=6292
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.05 2.00 2.04 3/184 6295
/proc/meminfo: memFree=31085464/32770624 swapFree=0/475504
[pid=6295] ppid=6292 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6295/stat : 6295 (runsolver) D 6292 6295 27450 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 155181992 24240128 107 18446744073709551615 4194304 4338465 140729519166096 140729519163736 140251232412375 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 10768384 140729519169729 140729519170121 140729519170121 140729519173578 0
/proc/6295/statm: 5918 107 54 36 0 2156 0
[startup+0.100161 s]
/proc/loadavg: 2.05 2.00 2.04 3/184 6295
/proc/meminfo: memFree=31085464/32770624 swapFree=0/475504
[pid=6295] ppid=6292 vsize=29104 CPUtime=0.01 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 1495 0 0 0 1 0 0 0 20 0 1 0 155181992 29802496 1275 18446744073709551615 4194304 5972588 140723292123136 140723292118184 5140591 0 0 1 0 0 0 0 17 7 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 7276 1275 711 435 0 639 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29104
[startup+0.201165 s]
/proc/loadavg: 2.05 2.00 2.04 3/184 6295
/proc/meminfo: memFree=31085464/32770624 swapFree=0/475504
[pid=6295] ppid=6292 vsize=38732 CPUtime=0.1 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 3927 0 0 0 10 0 0 0 20 0 1 0 155181992 39661568 3671 18446744073709551615 4194304 5972588 140723292123136 140723292119704 5674988 0 0 1 0 0 0 0 17 7 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 9683 3671 716 435 0 3046 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 38732
[startup+0.301161 s]
/proc/loadavg: 2.05 2.00 2.04 3/184 6295
/proc/meminfo: memFree=31085464/32770624 swapFree=0/475504
[pid=6295] ppid=6292 vsize=39908 CPUtime=0.2 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 4274 0 0 0 20 0 0 0 20 0 1 0 155181992 40865792 3946 18446744073709551615 4194304 5972588 140723292123136 140723292117720 5675302 0 0 1 0 0 0 0 17 7 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 9977 3946 716 435 0 3340 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 39908
[startup+0.700233 s]
/proc/loadavg: 2.05 2.00 2.04 3/184 6295
/proc/meminfo: memFree=31085464/32770624 swapFree=0/475504
[pid=6295] ppid=6292 vsize=44852 CPUtime=0.61 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 5571 0 0 0 60 1 0 0 20 0 1 0 155181992 45928448 5198 18446744073709551615 4194304 5972588 140723292123136 140723292117720 5672480 0 0 1 0 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 11213 5198 716 435 0 4576 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 44852
[startup+1.50032 s]
/proc/loadavg: 1.96 1.99 2.03 3/185 6296
/proc/meminfo: memFree=31050912/32770624 swapFree=0/475564
[pid=6295] ppid=6292 vsize=352896 CPUtime=1.4 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 83556 0 0 0 129 11 0 0 20 0 1 0 155181992 361365504 82213 18446744073709551615 4194304 5972588 140723292123136 140723292119704 5032455 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 88224 82213 844 435 0 81587 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 352896
[startup+3.10031 s]
/proc/loadavg: 1.96 1.99 2.03 3/185 6296
/proc/meminfo: memFree=30758812/32770624 swapFree=0/475564
[pid=6295] ppid=6292 vsize=352896 CPUtime=3 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 90891 0 0 0 289 11 0 0 20 0 1 0 155181992 361365504 82217 18446744073709551615 4194304 5972588 140723292123136 140723292110344 5139327 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 88224 82217 848 435 0 81587 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 352896
[startup+6.30031 s]
/proc/loadavg: 1.96 1.99 2.03 3/185 6296
/proc/meminfo: memFree=30758800/32770624 swapFree=0/475564
[pid=6295] ppid=6292 vsize=352896 CPUtime=6.2 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 116690 0 0 0 607 13 0 0 20 0 1 0 155181992 361365504 82217 18446744073709551615 4194304 5972588 140723292123136 140723292110344 5032455 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 88224 82217 848 435 0 81587 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 352896
[startup+12.7003 s]
/proc/loadavg: 1.97 1.99 2.03 3/185 6296
/proc/meminfo: memFree=30758048/32770624 swapFree=0/475560
[pid=6295] ppid=6292 vsize=353424 CPUtime=12.59 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 167100 0 0 0 1244 15 0 0 20 0 1 0 155181992 361906176 82345 18446744073709551615 4194304 5972588 140723292123136 140723292119896 5139312 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 88356 82345 850 435 0 81719 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 353424
[startup+25.5004 s]
/proc/loadavg: 1.97 1.99 2.03 3/185 6297
/proc/meminfo: memFree=30751472/32770624 swapFree=0/475560
[pid=6295] ppid=6292 vsize=359380 CPUtime=25.39 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 266974 0 0 0 2518 21 0 0 20 0 1 0 155181992 368005120 84028 18446744073709551615 4194304 5972588 140723292123136 140723292119848 5139327 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 89845 84028 850 435 0 83208 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 359380
[startup+51.1004 s]
/proc/loadavg: 1.98 1.99 2.03 3/185 6297
/proc/meminfo: memFree=30744248/32770624 swapFree=0/475556
[pid=6295] ppid=6292 vsize=366680 CPUtime=50.98 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 302120 0 0 0 5075 23 0 0 20 0 1 0 155181992 375480320 85841 18446744073709551615 4194304 5972588 140723292123136 140723292119880 5139327 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 91670 85841 850 435 0 85033 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 366680
[startup+102.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/184 6299
/proc/meminfo: memFree=30744016/32770624 swapFree=0/475572
[pid=6295] ppid=6292 vsize=366680 CPUtime=102.19 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 330667 0 0 0 10194 25 0 0 20 0 1 0 155181992 375480320 85849 18446744073709551615 4194304 5972588 140723292123136 140723292119880 5032455 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 91670 85849 850 435 0 85033 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 366680
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/184 6301
/proc/meminfo: memFree=30744268/32770624 swapFree=0/475584
[pid=6295] ppid=6292 vsize=366680 CPUtime=162.18 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 350099 0 0 0 16191 27 0 0 20 0 1 0 155181992 375480320 85849 18446744073709551615 4194304 5972588 140723292123136 140723292119880 5139312 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 91670 85849 850 435 0 85033 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 366680
[startup+222.306 s]
/proc/loadavg: 1.87 1.95 2.02 3/184 6303
/proc/meminfo: memFree=30742588/32770624 swapFree=0/475592
[pid=6295] ppid=6292 vsize=368232 CPUtime=222.18 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 352367 0 0 0 22191 27 0 0 20 0 1 0 155181992 377069568 86231 18446744073709551615 4194304 5972588 140723292123136 140723292119880 5139312 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92058 86231 850 435 0 85421 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 368232
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 2.03 3/184 6305
/proc/meminfo: memFree=30742020/32770624 swapFree=0/475592
[pid=6295] ppid=6292 vsize=368904 CPUtime=282.18 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 353353 0 0 0 28191 27 0 0 20 0 1 0 155181992 377757696 86392 18446744073709551615 4194304 5972588 140723292123136 140723292119800 4935463 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92226 86392 850 435 0 85589 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 368904
[startup+342.3 s]
/proc/loadavg: 2.00 1.98 2.03 3/185 6308
/proc/meminfo: memFree=30742092/32770624 swapFree=0/475596
[pid=6295] ppid=6292 vsize=368904 CPUtime=342.17 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 353999 0 0 0 34190 27 0 0 20 0 1 0 155181992 377757696 86403 18446744073709551615 4194304 5972588 140723292123136 140723292119800 5139490 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92226 86403 850 435 0 85589 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 368904
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 6324
/proc/meminfo: memFree=30737952/32770624 swapFree=0/475604
[pid=6295] ppid=6292 vsize=368904 CPUtime=402.17 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 354644 0 0 0 40190 27 0 0 20 0 1 0 155181992 377757696 86403 18446744073709551615 4194304 5972588 140723292123136 140723292119800 5139274 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92226 86403 850 435 0 85589 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 368904
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 6326
/proc/meminfo: memFree=30737644/32770624 swapFree=0/475612
[pid=6295] ppid=6292 vsize=368904 CPUtime=462.17 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 355528 0 0 0 46190 27 0 0 20 0 1 0 155181992 377757696 86405 18446744073709551615 4194304 5972588 140723292123136 140723292119800 5139329 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92226 86405 850 435 0 85589 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 368904
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 6328
/proc/meminfo: memFree=30740236/32770624 swapFree=0/475616
[pid=6295] ppid=6292 vsize=369172 CPUtime=522.17 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 356199 0 0 0 52190 27 0 0 20 0 1 0 155181992 378032128 86467 18446744073709551615 4194304 5972588 140723292123136 140723292119848 5139319 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92293 86467 850 435 0 85656 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 369172
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 6330
/proc/meminfo: memFree=30740452/32770624 swapFree=0/475632
[pid=6295] ppid=6292 vsize=369172 CPUtime=582.17 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 356750 0 0 0 58189 28 0 0 20 0 1 0 155181992 378032128 86468 18446744073709551615 4194304 5972588 140723292123136 140723292119848 5139329 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92293 86468 850 435 0 85656 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 369172
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.03 3/189 6398
/proc/meminfo: memFree=30736580/32770624 swapFree=0/475776
[pid=6295] ppid=6292 vsize=369684 CPUtime=1602.14 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 367570 0 0 0 160185 29 0 0 20 0 1 0 155181992 378556416 86622 18446744073709551615 4194304 5972588 140723292123136 140723292119848 5139312 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92421 86622 850 435 0 85784 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 369684
[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.03 3/188 6400
/proc/meminfo: memFree=30736804/32770624 swapFree=0/475784
[pid=6295] ppid=6292 vsize=369820 CPUtime=1662.14 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 368466 0 0 0 166185 29 0 0 20 0 1 0 155181992 378695680 86625 18446744073709551615 4194304 5972588 140723292123136 140723292119800 4935463 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92455 86625 850 435 0 85818 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 369820
[startup+1722.3 s]
/proc/loadavg: 1.95 2.01 2.03 3/185 6402
/proc/meminfo: memFree=30740452/32770624 swapFree=0/475792
[pid=6295] ppid=6292 vsize=369820 CPUtime=1722.14 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 369119 0 0 0 172185 29 0 0 20 0 1 0 155181992 378695680 86625 18446744073709551615 4194304 5972588 140723292123136 140723292119800 5139324 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92455 86625 850 435 0 85818 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 369820
[startup+1782.3 s]
/proc/loadavg: 1.91 1.99 2.02 3/185 6404
/proc/meminfo: memFree=30740180/32770624 swapFree=0/475804
[pid=6295] ppid=6292 vsize=369820 CPUtime=1782.15 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 369675 0 0 0 178185 30 0 0 20 0 1 0 155181992 378695680 86625 18446744073709551615 4194304 5972588 140723292123136 140723292119800 5139329 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92455 86625 850 435 0 85818 0
Current children cumulated CPU time (s) 1782.15
Current children cumulated vsize (KiB) 369820
[startup+1842.3 s]
/proc/loadavg: 1.97 1.99 2.02 3/186 6407
/proc/meminfo: memFree=30740292/32770624 swapFree=0/475820
[pid=6295] ppid=6292 vsize=369820 CPUtime=1842.15 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 370219 0 0 0 184185 30 0 0 20 0 1 0 155181992 378695680 86625 18446744073709551615 4194304 5972588 140723292123136 140723292119800 5032400 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92455 86625 850 435 0 85818 0
Current children cumulated CPU time (s) 1842.15
Current children cumulated vsize (KiB) 369820
[startup+1902.3 s]
/proc/loadavg: 1.98 1.99 2.02 3/185 6471
/proc/meminfo: memFree=30741564/32770624 swapFree=0/475844
[pid=6295] ppid=6292 vsize=369820 CPUtime=1902.15 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 370981 0 0 0 190185 30 0 0 20 0 1 0 155181992 378695680 86625 18446744073709551615 4194304 5972588 140723292123136 140723292119800 5139312 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92455 86625 850 435 0 85818 0
Current children cumulated CPU time (s) 1902.15
Current children cumulated vsize (KiB) 369820
[startup+1962.3 s]
/proc/loadavg: 2.07 2.01 2.03 3/185 6473
/proc/meminfo: memFree=30740564/32770624 swapFree=0/475836
[pid=6295] ppid=6292 vsize=369820 CPUtime=1962.14 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 371531 0 0 0 196184 30 0 0 20 0 1 0 155181992 378695680 86625 18446744073709551615 4194304 5972588 140723292123136 140723292119800 5032455 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92455 86625 850 435 0 85818 0
Current children cumulated CPU time (s) 1962.14
Current children cumulated vsize (KiB) 369820
[startup+2022.3 s]
/proc/loadavg: 2.06 2.02 2.03 3/185 6475
/proc/meminfo: memFree=30740680/32770624 swapFree=0/475864
[pid=6295] ppid=6292 vsize=369820 CPUtime=2022.14 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 372081 0 0 0 202184 30 0 0 20 0 1 0 155181992 378695680 86625 18446744073709551615 4194304 5972588 140723292123136 140723292119800 5139329 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92455 86625 850 435 0 85818 0
Current children cumulated CPU time (s) 2022.14
Current children cumulated vsize (KiB) 369820
[startup+2082.3 s]
/proc/loadavg: 2.02 2.01 2.03 3/185 6477
/proc/meminfo: memFree=30740536/32770624 swapFree=0/475876
[pid=6295] ppid=6292 vsize=369820 CPUtime=2082.14 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 372629 0 0 0 208184 30 0 0 20 0 1 0 155181992 378695680 86625 18446744073709551615 4194304 5972588 140723292123136 140723292119800 5139329 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92455 86625 850 435 0 85818 0
Current children cumulated CPU time (s) 2082.14
Current children cumulated vsize (KiB) 369820
[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.04 3/184 6479
/proc/meminfo: memFree=30740428/32770624 swapFree=0/475876
[pid=6295] ppid=6292 vsize=369820 CPUtime=2142.14 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 373176 0 0 0 214184 30 0 0 20 0 1 0 155181992 378695680 86627 18446744073709551615 4194304 5972588 140723292123136 140723292119800 5139329 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92455 86627 850 435 0 85818 0
Current children cumulated CPU time (s) 2142.14
Current children cumulated vsize (KiB) 369820
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.04 3/187 6495
/proc/meminfo: memFree=30736320/32770624 swapFree=0/475908
[pid=6295] ppid=6292 vsize=369820 CPUtime=2202.14 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 373688 0 0 0 220184 30 0 0 20 0 1 0 155181992 378695680 86628 18446744073709551615 4194304 5972588 140723292123136 140723292119800 5139312 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92455 86628 850 435 0 85818 0
Current children cumulated CPU time (s) 2202.14
Current children cumulated vsize (KiB) 369820
[startup+2262.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/187 6496
/proc/meminfo: memFree=30736824/32770624 swapFree=0/475904
[pid=6295] ppid=6292 vsize=369820 CPUtime=2262.13 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 374240 0 0 0 226183 30 0 0 20 0 1 0 155181992 378695680 86628 18446744073709551615 4194304 5972588 140723292123136 140723292119800 5032400 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92455 86628 850 435 0 85818 0
Current children cumulated CPU time (s) 2262.13
Current children cumulated vsize (KiB) 369820
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 6499
/proc/meminfo: memFree=30739784/32770624 swapFree=0/475916
[pid=6295] ppid=6292 vsize=369820 CPUtime=2322.13 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 374751 0 0 0 232183 30 0 0 20 0 1 0 155181992 378695680 86631 18446744073709551615 4194304 5972588 140723292123136 140723292119800 5139312 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92455 86631 850 435 0 85818 0
Current children cumulated CPU time (s) 2322.13
Current children cumulated vsize (KiB) 369820
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 6501
/proc/meminfo: memFree=30740272/32770624 swapFree=0/475936
[pid=6295] ppid=6292 vsize=369820 CPUtime=2382.13 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 375303 0 0 0 238183 30 0 0 20 0 1 0 155181992 378695680 86631 18446744073709551615 4194304 5972588 140723292123136 140723292119800 5139329 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92455 86631 850 435 0 85818 0
Current children cumulated CPU time (s) 2382.13
Current children cumulated vsize (KiB) 369820
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 6503
/proc/meminfo: memFree=30740136/32770624 swapFree=0/475960
[pid=6295] ppid=6292 vsize=369820 CPUtime=2442.12 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 376056 0 0 0 244182 30 0 0 20 0 1 0 155181992 378695680 86631 18446744073709551615 4194304 5972588 140723292123136 140723292119800 5032400 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92455 86631 850 435 0 85818 0
Current children cumulated CPU time (s) 2442.12
Current children cumulated vsize (KiB) 369820
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 6506
/proc/meminfo: memFree=30740064/32770624 swapFree=0/475976
[pid=6295] ppid=6292 vsize=369820 CPUtime=2502.13 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 376648 0 0 0 250182 31 0 0 20 0 1 0 155181992 378695680 86633 18446744073709551615 4194304 5972588 140723292123136 140723292119800 5139319 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92455 86633 850 435 0 85818 0
Current children cumulated CPU time (s) 2502.13
Current children cumulated vsize (KiB) 369820
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 1.93 2.00 2.03 3/185 6507
/proc/meminfo: memFree=30740156/32770624 swapFree=0/475988
[pid=6295] ppid=6292 vsize=369820 CPUtime=2519.83 cores=1,3,5,7
/proc/6295/stat : 6295 (cosoco) R 6292 6295 27450 0 -1 4202496 376679 0 0 0 251952 31 0 0 20 0 1 0 155181992 378695680 86640 18446744073709551615 4194304 5972588 140723292123136 140723292119800 5139312 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31567872 140723292127726 140723292127821 140723292127821 140723292131278 0
/proc/6295/statm: 92455 86640 850 435 0 85818 0
Current children cumulated CPU time (s) 2519.83
Current children cumulated vsize (KiB) 369820
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 6295 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2519.84
CPU user time (s): 2519.53
CPU system time (s): 0.311992
CPU usage (%): 99.9936
Max. virtual memory (cumulated for all children) (KiB): 369820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.53
system time used= 0.311992
maximum resident set size= 346636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376731
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= 39
involuntary context switches= 769
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4579 second user time and 11.3122 second system time
The end