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-4259895-1502030040/watcher-4259895-1502030040 -o /tmp/evaluation-result-4259895-1502030040/solver-4259895-1502030040 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502016917-13118 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259895-1502030040.xml
pid=16030
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.05 2.05 2/188 16033
/proc/meminfo: memFree=31606632/32770624 swapFree=0/328612
[pid=16033] ppid=16030 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/16033/stat : 16033 (runsolver) D 16030 16033 12906 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 44914875 24240128 106 18446744073709551615 4194304 4338465 140731166020672 140731166018312 140335158792919 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 15294464 140731166027969 140731166028361 140731166028361 140731166031818 0
/proc/16033/statm: 5918 106 53 36 0 2156 0
[startup+0.100106 s]
/proc/loadavg: 2.04 2.05 2.05 2/188 16033
/proc/meminfo: memFree=31606632/32770624 swapFree=0/328612
[pid=16033] ppid=16030 vsize=26776 CPUtime=0.05 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 1014 0 0 0 5 0 0 0 20 0 1 0 44914875 27418624 825 18446744073709551615 4194304 5747388 140735052671936 140735052668584 5025585 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 26776
[startup+0.200198 s]
/proc/loadavg: 2.04 2.05 2.05 2/188 16033
/proc/meminfo: memFree=31606632/32770624 swapFree=0/328612
[pid=16033] ppid=16030 vsize=26776 CPUtime=0.15 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 1014 0 0 0 15 0 0 0 20 0 1 0 44914875 27418624 825 18446744073709551615 4194304 5747388 140735052671936 140735052668584 5025587 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 26776
[startup+0.3002 s]
/proc/loadavg: 2.04 2.05 2.05 2/188 16033
/proc/meminfo: memFree=31606632/32770624 swapFree=0/328612
[pid=16033] ppid=16030 vsize=26776 CPUtime=0.25 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 1014 0 0 0 25 0 0 0 20 0 1 0 44914875 27418624 825 18446744073709551615 4194304 5747388 140735052671936 140735052668584 4949594 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 26776
[startup+0.70018 s]
/proc/loadavg: 2.04 2.05 2.05 2/188 16033
/proc/meminfo: memFree=31606632/32770624 swapFree=0/328612
[pid=16033] ppid=16030 vsize=26776 CPUtime=0.65 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 1014 0 0 0 65 0 0 0 20 0 1 0 44914875 27418624 825 18446744073709551615 4194304 5747388 140735052671936 140735052668584 4947712 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 26776
[startup+1.50017 s]
/proc/loadavg: 2.04 2.05 2.05 3/189 16034
/proc/meminfo: memFree=31606868/32770624 swapFree=0/328624
[pid=16033] ppid=16030 vsize=26776 CPUtime=1.45 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 1014 0 0 0 145 0 0 0 20 0 1 0 44914875 27418624 825 18446744073709551615 4194304 5747388 140735052671936 140735052659208 4947445 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 26776
[startup+3.10017 s]
/proc/loadavg: 2.04 2.05 2.05 3/189 16034
/proc/meminfo: memFree=31606868/32770624 swapFree=0/328624
[pid=16033] ppid=16030 vsize=26776 CPUtime=3.05 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 1038 0 0 0 305 0 0 0 20 0 1 0 44914875 27418624 825 18446744073709551615 4194304 5747388 140735052671936 140735052659208 4947445 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 26776
[startup+6.30017 s]
/proc/loadavg: 2.04 2.05 2.05 3/189 16034
/proc/meminfo: memFree=31606596/32770624 swapFree=0/328624
[pid=16033] ppid=16030 vsize=26776 CPUtime=6.25 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 1077 0 0 0 625 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052659208 5025361 0 0 1 8405026 0 0 0 17 0 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 26776
[startup+12.7003 s]
/proc/loadavg: 1.95 2.03 2.04 3/189 16034
/proc/meminfo: memFree=31606352/32770624 swapFree=0/328628
[pid=16033] ppid=16030 vsize=26776 CPUtime=12.64 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 1118 0 0 0 1264 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052659208 4947343 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 26776
[startup+25.5003 s]
/proc/loadavg: 1.96 2.03 2.04 3/189 16034
/proc/meminfo: memFree=31606228/32770624 swapFree=0/328636
[pid=16033] ppid=16030 vsize=26776 CPUtime=25.45 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 1200 0 0 0 2545 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052659208 4946841 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 26776
[startup+51.1003 s]
/proc/loadavg: 1.97 2.03 2.04 3/187 16035
/proc/meminfo: memFree=31606244/32770624 swapFree=0/328664
[pid=16033] ppid=16030 vsize=26776 CPUtime=51.05 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 1241 0 0 0 5105 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052669464 4947832 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 26776
[startup+102.3 s]
/proc/loadavg: 1.99 2.02 2.04 3/186 16038
/proc/meminfo: memFree=31607888/32770624 swapFree=0/328700
[pid=16033] ppid=16030 vsize=26776 CPUtime=102.25 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 1282 0 0 0 10225 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052659208 4948935 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 26776
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/185 16040
/proc/meminfo: memFree=31608640/32770624 swapFree=0/328736
[pid=16033] ppid=16030 vsize=26776 CPUtime=162.25 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 1306 0 0 0 16225 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052659208 4947468 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 26776
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 16043
/proc/meminfo: memFree=31607880/32770624 swapFree=0/328756
[pid=16033] ppid=16030 vsize=26776 CPUtime=222.26 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 1330 0 0 0 22226 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052659208 5025344 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 26776
[startup+282.3 s]
/proc/loadavg: 2.22 2.06 2.06 3/185 16045
/proc/meminfo: memFree=31609400/32770624 swapFree=0/328768
[pid=16033] ppid=16030 vsize=26776 CPUtime=282.25 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 1345 0 0 0 28225 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052669464 4949594 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 26776
[startup+342.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/186 16049
/proc/meminfo: memFree=31608796/32770624 swapFree=0/328772
[pid=16033] ppid=16030 vsize=26776 CPUtime=342.26 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 1386 0 0 0 34226 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052659208 4948396 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 26776
[startup+402.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 16051
/proc/meminfo: memFree=31608304/32770624 swapFree=0/328784
[pid=16033] ppid=16030 vsize=26776 CPUtime=402.26 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 1410 0 0 0 40226 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052659208 5025361 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 26776
[startup+462.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/186 16114
/proc/meminfo: memFree=31611860/32770624 swapFree=0/328828
[pid=16033] ppid=16030 vsize=26776 CPUtime=462.26 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 1449 0 0 0 46226 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052669464 4948935 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 26776
[startup+522.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/185 16118
/proc/meminfo: memFree=31611024/32770624 swapFree=0/328888
[pid=16033] ppid=16030 vsize=26776 CPUtime=522.26 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 1490 0 0 0 52226 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052659208 4946808 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 26776
[startup+582.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 16120
/proc/meminfo: memFree=31610652/32770624 swapFree=0/328928
[pid=16033] ppid=16030 vsize=26776 CPUtime=582.26 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 1514 0 0 0 58226 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052659208 4947305 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 26776
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 16184
/proc/meminfo: memFree=31609360/32770624 swapFree=0/329392
[pid=16033] ppid=16030 vsize=26776 CPUtime=1482.29 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 2021 0 0 0 148229 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052659208 4947143 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 26776
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 16186
/proc/meminfo: memFree=31609128/32770624 swapFree=0/329412
[pid=16033] ppid=16030 vsize=26776 CPUtime=1542.3 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 2044 0 0 0 154230 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052659208 4947292 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 26776
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 16188
/proc/meminfo: memFree=31609376/32770624 swapFree=0/329436
[pid=16033] ppid=16030 vsize=26776 CPUtime=1602.3 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 2068 0 0 0 160230 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052659208 5025587 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 26776
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 16191
/proc/meminfo: memFree=31608740/32770624 swapFree=0/329448
[pid=16033] ppid=16030 vsize=26776 CPUtime=1662.3 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 2092 0 0 0 166230 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052659208 5025392 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 26776
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 16193
/proc/meminfo: memFree=31608944/32770624 swapFree=0/329468
[pid=16033] ppid=16030 vsize=26776 CPUtime=1722.3 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 2116 0 0 0 172230 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052659208 4949085 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 26776
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 16195
/proc/meminfo: memFree=31608572/32770624 swapFree=0/329484
[pid=16033] ppid=16030 vsize=26776 CPUtime=1782.3 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 2140 0 0 0 178230 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052659208 4946829 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 26776
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 16211
/proc/meminfo: memFree=31604696/32770624 swapFree=0/329536
[pid=16033] ppid=16030 vsize=26776 CPUtime=1842.31 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 2164 0 0 0 184231 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052659208 5000090 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 1842.31
Current children cumulated vsize (KiB) 26776
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16213
/proc/meminfo: memFree=31606928/32770624 swapFree=0/329576
[pid=16033] ppid=16030 vsize=26776 CPUtime=1902.31 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 2188 0 0 0 190231 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052659208 5143354 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 1902.31
Current children cumulated vsize (KiB) 26776
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 16214
/proc/meminfo: memFree=31608828/32770624 swapFree=0/329608
[pid=16033] ppid=16030 vsize=26776 CPUtime=1962.31 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 2227 0 0 0 196231 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052669464 4947976 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 1962.31
Current children cumulated vsize (KiB) 26776
[startup+2022.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/185 16218
/proc/meminfo: memFree=31608508/32770624 swapFree=0/329636
[pid=16033] ppid=16030 vsize=26776 CPUtime=2022.31 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 2227 0 0 0 202231 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052669464 5142912 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 2022.31
Current children cumulated vsize (KiB) 26776
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 16220
/proc/meminfo: memFree=31609008/32770624 swapFree=0/329672
[pid=16033] ppid=16030 vsize=26776 CPUtime=2082.32 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 2251 0 0 0 208232 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052669464 5025404 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 2082.32
Current children cumulated vsize (KiB) 26776
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 16222
/proc/meminfo: memFree=31608140/32770624 swapFree=0/329688
[pid=16033] ppid=16030 vsize=26776 CPUtime=2142.32 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 2275 0 0 0 214232 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052669464 4946768 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 2142.32
Current children cumulated vsize (KiB) 26776
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 16226
/proc/meminfo: memFree=31608256/32770624 swapFree=0/329704
[pid=16033] ppid=16030 vsize=26776 CPUtime=2202.32 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 2299 0 0 0 220232 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052669464 5025395 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 2202.32
Current children cumulated vsize (KiB) 26776
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 16227
/proc/meminfo: memFree=31607884/32770624 swapFree=0/329704
[pid=16033] ppid=16030 vsize=26776 CPUtime=2262.32 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 2323 0 0 0 226232 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052669464 4947728 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 2262.32
Current children cumulated vsize (KiB) 26776
[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/186 16230
/proc/meminfo: memFree=31608060/32770624 swapFree=0/329732
[pid=16033] ppid=16030 vsize=26776 CPUtime=2322.32 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 2347 0 0 0 232232 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052669464 5025344 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 2322.32
Current children cumulated vsize (KiB) 26776
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 16232
/proc/meminfo: memFree=31608032/32770624 swapFree=0/329756
[pid=16033] ppid=16030 vsize=26776 CPUtime=2382.33 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 2371 0 0 0 238233 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052669464 4947712 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 2382.33
Current children cumulated vsize (KiB) 26776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 16233
/proc/meminfo: memFree=31608156/32770624 swapFree=0/329752
[pid=16033] ppid=16030 vsize=26776 CPUtime=2400.03 cores=0,2,4,6
/proc/16033/stat : 16033 (cosoco) R 16030 16033 12906 0 -1 4202496 2395 0 0 0 240003 0 0 0 20 0 1 0 44914875 27418624 855 18446744073709551615 4194304 5747388 140735052671936 140735052669464 5025344 0 0 1 8405026 0 0 0 17 2 0 0 4 0 0 7845728 7850568 35700736 140735052673518 140735052673613 140735052673613 140735052677070 0
/proc/16033/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 26776
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 16033 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400
CPU time (s): 2400.03
CPU user time (s): 2400.03
CPU system time (s): 0.003
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 26776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.003
maximum resident set size= 3496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2450
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= 3007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.58595 second user time and 7.92632 second system time
The end