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-4267881-1502550826/watcher-4267881-1502550826 -o /tmp/evaluation-result-4267881-1502550826/solver-4267881-1502550826 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24509 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267881-1502550826.xml
pid=3258
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.01 2.02 2.05 3/185 3261
/proc/meminfo: memFree=30970492/32770624 swapFree=0/597604
[pid=3261] ppid=3258 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/3261/stat : 3261 (runsolver) D 3258 3261 24445 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 102588931 24240128 108 18446744073709551615 4194304 4338465 140723187712032 140723187709672 140159886435031 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 37457920 140723187716289 140723187716681 140723187716681 140723187720138 0
/proc/3261/statm: 5918 108 54 36 0 2156 0
[startup+0.100158 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 3261
/proc/meminfo: memFree=30970492/32770624 swapFree=0/597604
[pid=3261] ppid=3258 vsize=27668 CPUtime=0.05 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 1207 0 0 0 5 0 0 0 20 0 1 0 102588931 28332032 1030 18446744073709551615 4194304 5972588 140732378071456 140732378068104 4935490 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6917 1030 762 435 0 280 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27668
[startup+0.200254 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 3261
/proc/meminfo: memFree=30970492/32770624 swapFree=0/597604
[pid=3261] ppid=3258 vsize=27800 CPUtime=0.15 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 1208 0 0 0 15 0 0 0 20 0 1 0 102588931 28467200 1030 18446744073709551615 4194304 5972588 140732378071456 140732378068104 4977546 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1030 762 435 0 313 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 27800
[startup+0.30025 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 3261
/proc/meminfo: memFree=30970492/32770624 swapFree=0/597604
[pid=3261] ppid=3258 vsize=27800 CPUtime=0.25 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 1208 0 0 0 25 0 0 0 20 0 1 0 102588931 28467200 1030 18446744073709551615 4194304 5972588 140732378071456 140732378068104 4934332 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1030 762 435 0 313 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 27800
[startup+0.700221 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 3261
/proc/meminfo: memFree=30970492/32770624 swapFree=0/597604
[pid=3261] ppid=3258 vsize=27800 CPUtime=0.65 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 1209 0 0 0 65 0 0 0 20 0 1 0 102588931 28467200 1030 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935502 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1030 762 435 0 313 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 27800
[startup+1.50022 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 3262
/proc/meminfo: memFree=30969180/32770624 swapFree=0/597640
[pid=3261] ppid=3258 vsize=27800 CPUtime=1.45 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 1209 0 0 0 145 0 0 0 20 0 1 0 102588931 28467200 1030 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4970856 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1030 762 435 0 313 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 27800
[startup+3.10022 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 3262
/proc/meminfo: memFree=30968832/32770624 swapFree=0/597576
[pid=3261] ppid=3258 vsize=27800 CPUtime=3.05 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 1411 0 0 0 305 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935486 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 27800
[startup+6.30022 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 3262
/proc/meminfo: memFree=30968716/32770624 swapFree=0/597620
[pid=3261] ppid=3258 vsize=27800 CPUtime=6.25 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 1613 0 0 0 625 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935471 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 27800
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 3276
/proc/meminfo: memFree=30964500/32770624 swapFree=0/597632
[pid=3261] ppid=3258 vsize=27800 CPUtime=12.65 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 1815 0 0 0 1265 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935502 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 27800
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 3276
/proc/meminfo: memFree=30964968/32770624 swapFree=0/597640
[pid=3261] ppid=3258 vsize=27800 CPUtime=25.45 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 2219 0 0 0 2545 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935428 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 27800
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 3277
/proc/meminfo: memFree=30965464/32770624 swapFree=0/597632
[pid=3261] ppid=3258 vsize=27800 CPUtime=51.05 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 2421 0 0 0 5105 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4931696 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 27800
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3304
/proc/meminfo: memFree=30963504/32770624 swapFree=0/597632
[pid=3261] ppid=3258 vsize=27800 CPUtime=102.26 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 2623 0 0 0 10226 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935490 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 27800
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/189 3306
/proc/meminfo: memFree=30963596/32770624 swapFree=0/597636
[pid=3261] ppid=3258 vsize=27800 CPUtime=162.25 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 2825 0 0 0 16225 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 5048508 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 27800
[startup+222.306 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 3308
/proc/meminfo: memFree=30966636/32770624 swapFree=0/597648
[pid=3261] ppid=3258 vsize=27800 CPUtime=222.26 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 3027 0 0 0 22226 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 5047569 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 27800
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 3310
/proc/meminfo: memFree=30966916/32770624 swapFree=0/597664
[pid=3261] ppid=3258 vsize=27800 CPUtime=282.26 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 3229 0 0 0 28226 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935787 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 27800
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 3313
/proc/meminfo: memFree=30967656/32770624 swapFree=0/597672
[pid=3261] ppid=3258 vsize=27800 CPUtime=342.26 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 3431 0 0 0 34226 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935463 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 27800
[startup+402.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/186 3316
/proc/meminfo: memFree=30967804/32770624 swapFree=0/597680
[pid=3261] ppid=3258 vsize=27800 CPUtime=402.26 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 3633 0 0 0 40226 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935502 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 27800
[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 3318
/proc/meminfo: memFree=30967680/32770624 swapFree=0/597688
[pid=3261] ppid=3258 vsize=27800 CPUtime=462.26 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 3835 0 0 0 46226 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4979121 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 27800
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 3320
/proc/meminfo: memFree=30967292/32770624 swapFree=0/597704
[pid=3261] ppid=3258 vsize=27800 CPUtime=522.26 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 4037 0 0 0 52226 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4978749 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 27800
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 3322
/proc/meminfo: memFree=30967744/32770624 swapFree=0/597712
[pid=3261] ppid=3258 vsize=27800 CPUtime=582.26 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 4239 0 0 0 58226 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935663 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 27800
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3389
/proc/meminfo: memFree=30967696/32770624 swapFree=0/597940
[pid=3261] ppid=3258 vsize=27800 CPUtime=1602.3 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 6780 0 0 0 160230 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935502 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 27800
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3391
/proc/meminfo: memFree=30967308/32770624 swapFree=0/597948
[pid=3261] ppid=3258 vsize=27800 CPUtime=1662.3 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 6947 0 0 0 166230 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4934208 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 27800
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 3394
/proc/meminfo: memFree=30966456/32770624 swapFree=0/597968
[pid=3261] ppid=3258 vsize=27800 CPUtime=1722.3 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 6999 0 0 0 172230 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935863 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 27800
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3397
/proc/meminfo: memFree=30966580/32770624 swapFree=0/597976
[pid=3261] ppid=3258 vsize=27800 CPUtime=1782.31 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 7151 0 0 0 178231 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935506 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 27800
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 3478
/proc/meminfo: memFree=30943472/32770624 swapFree=0/598020
[pid=3261] ppid=3258 vsize=27800 CPUtime=1842.31 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 7299 0 0 0 184231 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935463 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 1842.31
Current children cumulated vsize (KiB) 27800
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3481
/proc/meminfo: memFree=30943828/32770624 swapFree=0/598044
[pid=3261] ppid=3258 vsize=27800 CPUtime=1902.31 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 7353 0 0 0 190231 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935534 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 1902.31
Current children cumulated vsize (KiB) 27800
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3483
/proc/meminfo: memFree=30948440/32770624 swapFree=0/598052
[pid=3261] ppid=3258 vsize=27800 CPUtime=1962.31 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 7503 0 0 0 196231 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 5099616 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 1962.31
Current children cumulated vsize (KiB) 27800
[startup+2022.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 3485
/proc/meminfo: memFree=30948764/32770624 swapFree=0/598076
[pid=3261] ppid=3258 vsize=27800 CPUtime=2022.32 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 7658 0 0 0 202232 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4978768 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 2022.32
Current children cumulated vsize (KiB) 27800
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 3487
/proc/meminfo: memFree=30948788/32770624 swapFree=0/598076
[pid=3261] ppid=3258 vsize=27800 CPUtime=2082.32 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 7705 0 0 0 208232 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935601 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 2082.32
Current children cumulated vsize (KiB) 27800
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3489
/proc/meminfo: memFree=30948680/32770624 swapFree=0/598080
[pid=3261] ppid=3258 vsize=27800 CPUtime=2142.32 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 7876 0 0 0 214232 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935502 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 2142.32
Current children cumulated vsize (KiB) 27800
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3492
/proc/meminfo: memFree=30948432/32770624 swapFree=0/598092
[pid=3261] ppid=3258 vsize=27800 CPUtime=2202.33 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 8057 0 0 0 220233 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4934348 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 2202.33
Current children cumulated vsize (KiB) 27800
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3494
/proc/meminfo: memFree=30948556/32770624 swapFree=0/598104
[pid=3261] ppid=3258 vsize=27800 CPUtime=2262.33 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 8081 0 0 0 226233 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935493 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 2262.33
Current children cumulated vsize (KiB) 27800
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3496
/proc/meminfo: memFree=30948432/32770624 swapFree=0/598112
[pid=3261] ppid=3258 vsize=27800 CPUtime=2322.33 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 8262 0 0 0 232233 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935454 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 2322.33
Current children cumulated vsize (KiB) 27800
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3498
/proc/meminfo: memFree=30948308/32770624 swapFree=0/598120
[pid=3261] ppid=3258 vsize=27800 CPUtime=2382.33 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 8262 0 0 0 238233 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935463 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 2382.33
Current children cumulated vsize (KiB) 27800
[startup+2442.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/189 3515
/proc/meminfo: memFree=30944228/32770624 swapFree=0/598136
[pid=3261] ppid=3258 vsize=27800 CPUtime=2442.33 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 8447 0 0 0 244233 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 5099648 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 2442.33
Current children cumulated vsize (KiB) 27800
[startup+2502.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 3517
/proc/meminfo: memFree=30943624/32770624 swapFree=0/598144
[pid=3261] ppid=3258 vsize=27800 CPUtime=2502.34 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 8632 0 0 0 250234 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935463 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 2502.34
Current children cumulated vsize (KiB) 27800
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 3517
/proc/meminfo: memFree=30947524/32770624 swapFree=0/598144
[pid=3261] ppid=3258 vsize=27800 CPUtime=2520.04 cores=1,3,5,7
/proc/3261/stat : 3261 (cosoco) R 3258 3261 24445 0 -1 4202496 8649 0 0 0 252004 0 0 0 20 0 1 0 102588931 28467200 1051 18446744073709551615 4194304 5972588 140732378071456 140732378058648 4935463 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 8070896 8075904 41185280 140732378079726 140732378079821 140732378079821 140732378083278 0
/proc/3261/statm: 6950 1051 777 435 0 313 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 27800
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 3261 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2520.04
CPU user time (s): 2520.04
CPU system time (s): 0.003
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 27800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.04
system time used= 0.003
maximum resident set size= 4284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8702
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= 1062
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.49052 second user time and 8.78047 second system time
The end