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-4267691-1502512776/watcher-4267691-1502512776 -o /tmp/evaluation-result-4267691-1502512776/solver-4267691-1502512776 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502500348-1543 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267691-1502512776.xml
pid=5813
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.01 2.03 2.05 3/185 5816
/proc/meminfo: memFree=28694224/32770624 swapFree=0/478496
[pid=5816] ppid=5813 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5816/stat : 5816 (runsolver) D 5813 5816 1478 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 93188845 24240128 106 18446744073709551615 4194304 4338465 140731686258832 140731686256472 140619310867159 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 24580096 140731686265026 140731686265417 140731686265417 140731686268874 0
/proc/5816/statm: 5918 106 53 36 0 2156 0
[startup+0.100857 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 5816
/proc/meminfo: memFree=28694224/32770624 swapFree=0/478496
[pid=5816] ppid=5813 vsize=27760 CPUtime=0.03 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 1250 0 0 0 3 0 0 0 20 0 1 0 93188845 28426240 1072 18446744073709551615 4194304 5972588 140722864037568 140722864030776 139954227459522 0 0 1 0 0 0 0 17 6 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 6940 1072 805 435 0 303 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27760
[startup+0.20086 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 5816
/proc/meminfo: memFree=28694224/32770624 swapFree=0/478496
[pid=5816] ppid=5813 vsize=29544 CPUtime=0.13 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 1714 0 0 0 13 0 0 0 20 0 1 0 93188845 30253056 1514 18446744073709551615 4194304 5972588 140722864037568 140722864034424 5099674 0 0 1 8405026 0 0 0 17 6 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 7386 1514 844 435 0 749 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 29544
[startup+0.30086 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 5816
/proc/meminfo: memFree=28694224/32770624 swapFree=0/478496
[pid=5816] ppid=5813 vsize=33240 CPUtime=0.23 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 2642 0 0 0 23 0 0 0 20 0 1 0 93188845 34037760 2438 18446744073709551615 4194304 5972588 140722864037568 140722864034424 5099664 0 0 1 8405026 0 0 0 17 6 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8310 2438 846 435 0 1673 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 33240
[startup+0.700288 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 5816
/proc/meminfo: memFree=28694224/32770624 swapFree=0/478496
[pid=5816] ppid=5813 vsize=33636 CPUtime=0.63 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 2766 0 0 0 63 0 0 0 20 0 1 0 93188845 34443264 2570 18446744073709551615 4194304 5972588 140722864037568 140722864034488 4965428 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8409 2570 849 435 0 1772 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 33636
[startup+1.50028 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 5817
/proc/meminfo: memFree=28682180/32770624 swapFree=0/478480
[pid=5816] ppid=5813 vsize=33768 CPUtime=1.43 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 2781 0 0 0 143 0 0 0 20 0 1 0 93188845 34578432 2570 18446744073709551615 4194304 5972588 140722864037568 140722864034488 4909660 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2570 849 435 0 1805 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 33768
[startup+3.10028 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 5817
/proc/meminfo: memFree=28676600/32770624 swapFree=0/478480
[pid=5816] ppid=5813 vsize=33768 CPUtime=3.03 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 2807 0 0 0 303 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 4909660 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 33768
[startup+6.30029 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 5817
/proc/meminfo: memFree=28657768/32770624 swapFree=0/478480
[pid=5816] ppid=5813 vsize=33768 CPUtime=6.23 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 2833 0 0 0 623 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 4909624 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 33768
[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 5817
/proc/meminfo: memFree=28622924/32770624 swapFree=0/478480
[pid=5816] ppid=5813 vsize=33768 CPUtime=12.63 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 2859 0 0 0 1263 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5070688 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 33768
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 5819
/proc/meminfo: memFree=28552108/32770624 swapFree=0/478480
[pid=5816] ppid=5813 vsize=33768 CPUtime=25.43 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 2911 0 0 0 2543 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5071499 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 33768
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 5819
/proc/meminfo: memFree=28415180/32770624 swapFree=0/478476
[pid=5816] ppid=5813 vsize=33768 CPUtime=51.03 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 2937 0 0 0 5103 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5071499 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 33768
[startup+102.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 5821
/proc/meminfo: memFree=28138416/32770624 swapFree=0/478488
[pid=5816] ppid=5813 vsize=33768 CPUtime=102.24 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 2963 0 0 0 10224 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 4909657 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 33768
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 5824
/proc/meminfo: memFree=27817148/32770624 swapFree=0/478500
[pid=5816] ppid=5813 vsize=33768 CPUtime=162.24 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 2989 0 0 0 16224 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5071411 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 33768
[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 5827
/proc/meminfo: memFree=27492964/32770624 swapFree=0/478508
[pid=5816] ppid=5813 vsize=33768 CPUtime=222.25 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3015 0 0 0 22225 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5070704 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 33768
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 5843
/proc/meminfo: memFree=27170896/32770624 swapFree=0/478536
[pid=5816] ppid=5813 vsize=33768 CPUtime=282.25 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3015 0 0 0 28225 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5071411 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 33768
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 5845
/proc/meminfo: memFree=26844028/32770624 swapFree=0/478556
[pid=5816] ppid=5813 vsize=33768 CPUtime=342.25 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3041 0 0 0 34225 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5053069 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 33768
[startup+402.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/186 5847
/proc/meminfo: memFree=26529228/32770624 swapFree=0/478564
[pid=5816] ppid=5813 vsize=33768 CPUtime=402.26 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3041 0 0 0 40226 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5099664 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 33768
[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/186 5849
/proc/meminfo: memFree=26202864/32770624 swapFree=0/478572
[pid=5816] ppid=5813 vsize=33768 CPUtime=462.26 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3067 0 0 0 46226 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 4965546 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 33768
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 5852
/proc/meminfo: memFree=25891924/32770624 swapFree=0/478596
[pid=5816] ppid=5813 vsize=33768 CPUtime=522.27 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3067 0 0 0 52227 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 4909657 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 33768
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 5854
/proc/meminfo: memFree=25892040/32770624 swapFree=0/478604
[pid=5816] ppid=5813 vsize=33768 CPUtime=582.27 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3093 0 0 0 58227 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 4909657 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 33768
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 5926
/proc/meminfo: memFree=25889408/32770624 swapFree=0/478796
[pid=5816] ppid=5813 vsize=33768 CPUtime=1662.35 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3327 0 0 0 166235 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5070704 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 33768
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5928
/proc/meminfo: memFree=25889692/32770624 swapFree=0/478796
[pid=5816] ppid=5813 vsize=33768 CPUtime=1722.35 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3327 0 0 0 172235 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5071520 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 33768
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 5931
/proc/meminfo: memFree=25889188/32770624 swapFree=0/478812
[pid=5816] ppid=5813 vsize=33768 CPUtime=1782.36 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3353 0 0 0 178236 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5053097 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 33768
[startup+1842.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/186 5933
/proc/meminfo: memFree=25888968/32770624 swapFree=0/478824
[pid=5816] ppid=5813 vsize=33768 CPUtime=1842.36 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3353 0 0 0 184236 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5071501 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 1842.36
Current children cumulated vsize (KiB) 33768
[startup+1902.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/186 5935
/proc/meminfo: memFree=25889092/32770624 swapFree=0/478832
[pid=5816] ppid=5813 vsize=33768 CPUtime=1902.37 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3379 0 0 0 190237 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 4965560 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 1902.37
Current children cumulated vsize (KiB) 33768
[startup+1962.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/185 5939
/proc/meminfo: memFree=25888748/32770624 swapFree=0/478844
[pid=5816] ppid=5813 vsize=33768 CPUtime=1962.37 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3379 0 0 0 196237 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5099664 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 1962.37
Current children cumulated vsize (KiB) 33768
[startup+2022.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/185 5941
/proc/meminfo: memFree=25888864/32770624 swapFree=0/478864
[pid=5816] ppid=5813 vsize=33768 CPUtime=2022.37 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3405 0 0 0 202237 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5099674 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 2022.37
Current children cumulated vsize (KiB) 33768
[startup+2082.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/188 5957
/proc/meminfo: memFree=25885044/32770624 swapFree=0/478872
[pid=5816] ppid=5813 vsize=33768 CPUtime=2082.38 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3405 0 0 0 208238 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5053056 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 2082.38
Current children cumulated vsize (KiB) 33768
[startup+2142.3 s]
/proc/loadavg: 2.15 2.10 2.06 3/189 6045
/proc/meminfo: memFree=31143388/32770624 swapFree=0/478924
[pid=5816] ppid=5813 vsize=33768 CPUtime=2142.38 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3431 0 0 0 214238 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5071411 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 2142.38
Current children cumulated vsize (KiB) 33768
[startup+2202.31 s]
/proc/loadavg: 2.24 2.13 2.07 3/189 6047
/proc/meminfo: memFree=31143216/32770624 swapFree=0/478944
[pid=5816] ppid=5813 vsize=33768 CPUtime=2202.39 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3431 0 0 0 220239 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5099674 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 2202.39
Current children cumulated vsize (KiB) 33768
[startup+2262.3 s]
/proc/loadavg: 2.09 2.10 2.06 3/186 6049
/proc/meminfo: memFree=31147204/32770624 swapFree=0/478952
[pid=5816] ppid=5813 vsize=33768 CPUtime=2262.39 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3457 0 0 0 226239 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5099674 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 2262.39
Current children cumulated vsize (KiB) 33768
[startup+2322.3 s]
/proc/loadavg: 2.03 2.08 2.06 3/186 6051
/proc/meminfo: memFree=31147460/32770624 swapFree=0/478960
[pid=5816] ppid=5813 vsize=33768 CPUtime=2322.39 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3457 0 0 0 232239 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5071496 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 2322.39
Current children cumulated vsize (KiB) 33768
[startup+2382.3 s]
/proc/loadavg: 2.09 2.09 2.06 3/186 6053
/proc/meminfo: memFree=31147844/32770624 swapFree=0/478984
[pid=5816] ppid=5813 vsize=33768 CPUtime=2382.4 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3483 0 0 0 238240 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5071456 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 2382.4
Current children cumulated vsize (KiB) 33768
[startup+2442.3 s]
/proc/loadavg: 2.08 2.08 2.06 3/185 6056
/proc/meminfo: memFree=31148104/32770624 swapFree=0/479000
[pid=5816] ppid=5813 vsize=33768 CPUtime=2442.4 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3483 0 0 0 244240 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5070704 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 2442.4
Current children cumulated vsize (KiB) 33768
[startup+2502.3 s]
/proc/loadavg: 2.03 2.07 2.05 3/185 6058
/proc/meminfo: memFree=31148248/32770624 swapFree=0/479012
[pid=5816] ppid=5813 vsize=33768 CPUtime=2502.41 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3509 0 0 0 250241 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5070704 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 2502.41
Current children cumulated vsize (KiB) 33768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.02 2.07 2.05 3/185 6058
/proc/meminfo: memFree=31148248/32770624 swapFree=0/479012
[pid=5816] ppid=5813 vsize=33768 CPUtime=2520.01 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3509 0 0 0 252001 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5099664 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 2520.01
Current children cumulated vsize (KiB) 33768
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 5816 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.02 2.07 2.05 3/185 6058
/proc/meminfo: memFree=31148248/32770624 swapFree=0/479012
[pid=5816] ppid=5813 vsize=33768 CPUtime=2520.01 cores=0,2,4,6
/proc/5816/stat : 5816 (cosoco) R 5813 5816 1478 0 -1 4202496 3509 0 0 0 252001 0 0 0 20 0 1 0 93188845 34578432 2622 18446744073709551615 4194304 5972588 140722864037568 140722864024760 5099664 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40456192 140722864042478 140722864042573 140722864042573 140722864046030 0
/proc/5816/statm: 8442 2622 850 435 0 1805 0
Current children cumulated CPU time (s) 2520.01
Current children cumulated vsize (KiB) 33768
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.02
CPU user time (s): 2520.02
CPU system time (s): 0.007
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 33768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.02
system time used= 0.007
maximum resident set size= 10556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3613
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= 3161
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.26489 second user time and 8.8611 second system time
The end