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-4268098-1502539783/watcher-4268098-1502539783 -o /tmp/evaluation-result-4268098-1502539783/solver-4268098-1502539783 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502500327-28377 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268098-1502539783.xml
pid=5095
running on 4 cores: 0,2,4,6
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.00 2.01 2.05 2/185 5098
/proc/meminfo: memFree=31064596/32770624 swapFree=0/458496
[pid=5098] ppid=5095 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5098/stat : 5098 (runsolver) D 5095 5098 28313 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 101793526 24240128 107 18446744073709551615 4194304 4338465 140732873323920 140732873321560 140152670474967 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 19451904 140732873330881 140732873331273 140732873331273 140732873334730 0
/proc/5098/statm: 5918 107 54 36 0 2156 0
[startup+0.100801 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 5098
/proc/meminfo: memFree=31064596/32770624 swapFree=0/458496
[pid=5098] ppid=5095 vsize=29388 CPUtime=0.03 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 1617 0 0 0 3 0 0 0 20 0 1 0 101793526 30093312 1439 18446744073709551615 4194304 5972588 140729439210736 140729439207480 5040138 0 0 1 8405026 0 0 0 17 6 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1439 781 435 0 710 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29388
[startup+0.200802 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 5098
/proc/meminfo: memFree=31064596/32770624 swapFree=0/458496
[pid=5098] ppid=5095 vsize=29388 CPUtime=0.13 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 1625 0 0 0 13 0 0 0 20 0 1 0 101793526 30093312 1439 18446744073709551615 4194304 5972588 140729439210736 140729439208040 5099648 0 0 1 8405026 0 0 0 17 6 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1439 781 435 0 710 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 29388
[startup+0.300803 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 5098
/proc/meminfo: memFree=31064596/32770624 swapFree=0/458496
[pid=5098] ppid=5095 vsize=29388 CPUtime=0.23 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 1625 0 0 0 23 0 0 0 20 0 1 0 101793526 30093312 1439 18446744073709551615 4194304 5972588 140729439210736 140729439208040 5099630 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1439 781 435 0 710 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 29388
[startup+0.700279 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 5098
/proc/meminfo: memFree=31064596/32770624 swapFree=0/458496
[pid=5098] ppid=5095 vsize=29388 CPUtime=0.63 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 1626 0 0 0 63 0 0 0 20 0 1 0 101793526 30093312 1439 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4971939 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1439 781 435 0 710 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 29388
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5099
/proc/meminfo: memFree=31062208/32770624 swapFree=0/458580
[pid=5098] ppid=5095 vsize=29388 CPUtime=1.43 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 1626 0 0 0 143 0 0 0 20 0 1 0 101793526 30093312 1439 18446744073709551615 4194304 5972588 140729439210736 140729439208040 5094201 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1439 781 435 0 710 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 29388
[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5099
/proc/meminfo: memFree=31061916/32770624 swapFree=0/458528
[pid=5098] ppid=5095 vsize=29388 CPUtime=3.03 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 2223 0 0 0 303 0 0 0 20 0 1 0 101793526 30093312 1467 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4975379 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1467 789 435 0 710 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 29388
[startup+6.30028 s]
/proc/loadavg: 1.92 2.00 2.04 3/186 5099
/proc/meminfo: memFree=31061748/32770624 swapFree=0/458524
[pid=5098] ppid=5095 vsize=29388 CPUtime=6.23 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 2820 0 0 0 623 0 0 0 20 0 1 0 101793526 30093312 1467 18446744073709551615 4194304 5972588 140729439210736 140729439208040 5040128 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1467 789 435 0 710 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 29388
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/186 5099
/proc/meminfo: memFree=31061500/32770624 swapFree=0/458520
[pid=5098] ppid=5095 vsize=29388 CPUtime=12.63 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 3417 0 0 0 1263 0 0 0 20 0 1 0 101793526 30093312 1467 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4975379 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1467 789 435 0 710 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 29388
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/186 5100
/proc/meminfo: memFree=31061252/32770624 swapFree=0/458520
[pid=5098] ppid=5095 vsize=29388 CPUtime=25.43 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 4611 0 0 0 2543 0 0 0 20 0 1 0 101793526 30093312 1467 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4971589 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1467 789 435 0 710 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 29388
[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 2.04 3/186 5100
/proc/meminfo: memFree=31061748/32770624 swapFree=0/458520
[pid=5098] ppid=5095 vsize=29388 CPUtime=51.04 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 5208 0 0 0 5104 0 0 0 20 0 1 0 101793526 30093312 1467 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4975784 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1467 789 435 0 710 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 29388
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/186 5102
/proc/meminfo: memFree=31062120/32770624 swapFree=0/458528
[pid=5098] ppid=5095 vsize=29388 CPUtime=102.25 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 5807 0 0 0 10225 0 0 0 20 0 1 0 101793526 30093312 1467 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4979381 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1467 789 435 0 710 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 29388
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/186 5105
/proc/meminfo: memFree=31061608/32770624 swapFree=0/458528
[pid=5098] ppid=5095 vsize=29388 CPUtime=162.25 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 6405 0 0 0 16225 0 0 0 20 0 1 0 101793526 30093312 1467 18446744073709551615 4194304 5972588 140729439210736 140729439208040 5040147 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1467 789 435 0 710 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 29388
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 5108
/proc/meminfo: memFree=31061816/32770624 swapFree=0/458536
[pid=5098] ppid=5095 vsize=29388 CPUtime=222.26 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 7003 0 0 0 22226 0 0 0 20 0 1 0 101793526 30093312 1467 18446744073709551615 4194304 5972588 140729439210736 140729439208040 5040128 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1467 789 435 0 710 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 29388
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/189 5124
/proc/meminfo: memFree=31058412/32770624 swapFree=0/458540
[pid=5098] ppid=5095 vsize=29388 CPUtime=282.25 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 7003 0 0 0 28225 0 0 0 20 0 1 0 101793526 30093312 1467 18446744073709551615 4194304 5972588 140729439210736 140729439208040 5039167 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1467 789 435 0 710 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 29388
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/189 5150
/proc/meminfo: memFree=31056628/32770624 swapFree=0/458536
[pid=5098] ppid=5095 vsize=29388 CPUtime=342.26 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 7601 0 0 0 34226 0 0 0 20 0 1 0 101793526 30093312 1467 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4979356 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1467 789 435 0 710 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 29388
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/189 5152
/proc/meminfo: memFree=31057584/32770624 swapFree=0/458560
[pid=5098] ppid=5095 vsize=29388 CPUtime=402.26 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 7601 0 0 0 40226 0 0 0 20 0 1 0 101793526 30093312 1467 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4975104 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1467 789 435 0 710 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 29388
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5154
/proc/meminfo: memFree=31061616/32770624 swapFree=0/458588
[pid=5098] ppid=5095 vsize=29388 CPUtime=462.27 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 8199 0 0 0 46227 0 0 0 20 0 1 0 101793526 30093312 1467 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4975100 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1467 789 435 0 710 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 29388
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5158
/proc/meminfo: memFree=31061872/32770624 swapFree=0/458588
[pid=5098] ppid=5095 vsize=29388 CPUtime=522.27 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 8199 0 0 0 52227 0 0 0 20 0 1 0 101793526 30093312 1467 18446744073709551615 4194304 5972588 140729439210736 140729439208040 5040162 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1467 789 435 0 710 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 29388
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5160
/proc/meminfo: memFree=31061928/32770624 swapFree=0/458592
[pid=5098] ppid=5095 vsize=29388 CPUtime=582.28 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 8797 0 0 0 58228 0 0 0 20 0 1 0 101793526 30093312 1467 18446744073709551615 4194304 5972588 140729439210736 140729439208040 5099648 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1467 789 435 0 710 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 29388
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.09 2.07 2.05 3/186 5595
/proc/meminfo: memFree=31070792/32770624 swapFree=0/458756
[pid=5098] ppid=5095 vsize=29388 CPUtime=1662.36 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 14163 0 0 0 166235 1 0 0 20 0 1 0 101793526 30093312 1469 18446744073709551615 4194304 5972588 140729439210736 140729439208040 5040166 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1469 789 435 0 710 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 29388
[startup+1722.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/186 5597
/proc/meminfo: memFree=31070920/32770624 swapFree=0/458760
[pid=5098] ppid=5095 vsize=29388 CPUtime=1722.36 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 14185 0 0 0 172235 1 0 0 20 0 1 0 101793526 30093312 1469 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4975104 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1469 789 435 0 710 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 29388
[startup+1782.3 s]
/proc/loadavg: 2.16 2.08 2.06 3/186 5600
/proc/meminfo: memFree=31070620/32770624 swapFree=0/458772
[pid=5098] ppid=5095 vsize=29388 CPUtime=1782.37 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 14761 0 0 0 178236 1 0 0 20 0 1 0 101793526 30093312 1469 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4979192 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1469 789 435 0 710 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 29388
[startup+1842.3 s]
/proc/loadavg: 2.18 2.10 2.06 3/186 5603
/proc/meminfo: memFree=31070632/32770624 swapFree=0/458784
[pid=5098] ppid=5095 vsize=29388 CPUtime=1842.37 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 14762 0 0 0 184236 1 0 0 20 0 1 0 101793526 30093312 1469 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4975784 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1469 789 435 0 710 0
Current children cumulated CPU time (s) 1842.37
Current children cumulated vsize (KiB) 29388
[startup+1902.3 s]
/proc/loadavg: 2.07 2.08 2.05 3/186 5605
/proc/meminfo: memFree=31070964/32770624 swapFree=0/458796
[pid=5098] ppid=5095 vsize=29388 CPUtime=1902.38 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 15360 0 0 0 190237 1 0 0 20 0 1 0 101793526 30093312 1469 18446744073709551615 4194304 5972588 140729439210736 140729439208040 5099648 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1469 789 435 0 710 0
Current children cumulated CPU time (s) 1902.38
Current children cumulated vsize (KiB) 29388
[startup+1962.3 s]
/proc/loadavg: 2.02 2.07 2.05 3/186 5608
/proc/meminfo: memFree=31070452/32770624 swapFree=0/458792
[pid=5098] ppid=5095 vsize=29388 CPUtime=1962.38 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 15360 0 0 0 196237 1 0 0 20 0 1 0 101793526 30093312 1469 18446744073709551615 4194304 5972588 140729439210736 140729439208040 5328506 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1469 789 435 0 710 0
Current children cumulated CPU time (s) 1962.38
Current children cumulated vsize (KiB) 29388
[startup+2022.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/186 5610
/proc/meminfo: memFree=31070792/32770624 swapFree=0/458816
[pid=5098] ppid=5095 vsize=29388 CPUtime=2022.39 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 15937 0 0 0 202238 1 0 0 20 0 1 0 101793526 30093312 1469 18446744073709551615 4194304 5972588 140729439210736 140729439208040 5040128 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1469 789 435 0 710 0
Current children cumulated CPU time (s) 2022.39
Current children cumulated vsize (KiB) 29388
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 5627
/proc/meminfo: memFree=31067120/32770624 swapFree=0/458812
[pid=5098] ppid=5095 vsize=29388 CPUtime=2082.4 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 15937 0 0 0 208239 1 0 0 20 0 1 0 101793526 30093312 1469 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4970835 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1469 789 435 0 710 0
Current children cumulated CPU time (s) 2082.4
Current children cumulated vsize (KiB) 29388
[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/189 5630
/proc/meminfo: memFree=31066988/32770624 swapFree=0/458812
[pid=5098] ppid=5095 vsize=29388 CPUtime=2142.4 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 16535 0 0 0 214239 1 0 0 20 0 1 0 101793526 30093312 1469 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4972728 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1469 789 435 0 710 0
Current children cumulated CPU time (s) 2142.4
Current children cumulated vsize (KiB) 29388
[startup+2202.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 5632
/proc/meminfo: memFree=31070588/32770624 swapFree=0/458816
[pid=5098] ppid=5095 vsize=29388 CPUtime=2202.41 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 16536 0 0 0 220240 1 0 0 20 0 1 0 101793526 30093312 1469 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4979365 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1469 789 435 0 710 0
Current children cumulated CPU time (s) 2202.41
Current children cumulated vsize (KiB) 29388
[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 5635
/proc/meminfo: memFree=31070916/32770624 swapFree=0/458832
[pid=5098] ppid=5095 vsize=29388 CPUtime=2262.41 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 17112 0 0 0 226240 1 0 0 20 0 1 0 101793526 30093312 1469 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4978058 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1469 789 435 0 710 0
Current children cumulated CPU time (s) 2262.41
Current children cumulated vsize (KiB) 29388
[startup+2322.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 5637
/proc/meminfo: memFree=31071044/32770624 swapFree=0/458836
[pid=5098] ppid=5095 vsize=29388 CPUtime=2322.41 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 17135 0 0 0 232240 1 0 0 20 0 1 0 101793526 30093312 1469 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4975391 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1469 789 435 0 710 0
Current children cumulated CPU time (s) 2322.41
Current children cumulated vsize (KiB) 29388
[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 5639
/proc/meminfo: memFree=31070656/32770624 swapFree=0/458844
[pid=5098] ppid=5095 vsize=29388 CPUtime=2382.41 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 17711 0 0 0 238240 1 0 0 20 0 1 0 101793526 30093312 1469 18446744073709551615 4194304 5972588 140729439210736 140729439208040 5039344 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1469 789 435 0 710 0
Current children cumulated CPU time (s) 2382.41
Current children cumulated vsize (KiB) 29388
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 5641
/proc/meminfo: memFree=31070556/32770624 swapFree=0/458848
[pid=5098] ppid=5095 vsize=29388 CPUtime=2442.42 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 17712 0 0 0 244241 1 0 0 20 0 1 0 101793526 30093312 1469 18446744073709551615 4194304 5972588 140729439210736 140729439208040 5040162 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1469 789 435 0 710 0
Current children cumulated CPU time (s) 2442.42
Current children cumulated vsize (KiB) 29388
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 5644
/proc/meminfo: memFree=31070620/32770624 swapFree=0/458856
[pid=5098] ppid=5095 vsize=29388 CPUtime=2502.42 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 18289 0 0 0 250241 1 0 0 20 0 1 0 101793526 30093312 1469 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4975080 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1469 789 435 0 710 0
Current children cumulated CPU time (s) 2502.42
Current children cumulated vsize (KiB) 29388
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 5644
/proc/meminfo: memFree=31070620/32770624 swapFree=0/458852
[pid=5098] ppid=5095 vsize=29388 CPUtime=2520.02 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 18289 0 0 0 252001 1 0 0 20 0 1 0 101793526 30093312 1469 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4971081 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1469 789 435 0 710 0
Current children cumulated CPU time (s) 2520.02
Current children cumulated vsize (KiB) 29388
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 5098 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 5644
/proc/meminfo: memFree=31070620/32770624 swapFree=0/458852
[pid=5098] ppid=5095 vsize=29388 CPUtime=2520.02 cores=0,2,4,6
/proc/5098/stat : 5098 (cosoco) R 5095 5098 28313 0 -1 4202496 18289 0 0 0 252001 1 0 0 20 0 1 0 101793526 30093312 1469 18446744073709551615 4194304 5972588 140729439210736 140729439208040 4971081 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 17285120 140729439216110 140729439216205 140729439216205 140729439219662 0
/proc/5098/statm: 7347 1469 789 435 0 710 0
Current children cumulated CPU time (s) 2520.02
Current children cumulated vsize (KiB) 29388
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.03
CPU user time (s): 2520.02
CPU system time (s): 0.014001
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 29388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.02
system time used= 0.014001
maximum resident set size= 5952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18342
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= 1988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.92349 second user time and 9.36376 second system time
The end