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-4259917-1502033013/watcher-4259917-1502033013 -o /tmp/evaluation-result-4259917-1502033013/solver-4259917-1502033013 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502014216-3974 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259917-1502033013.xml
pid=7142
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: 1.99 2.00 2.03 3/183 7145
/proc/meminfo: memFree=31499176/32770624 swapFree=0/345400
[pid=7145] ppid=7142 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7145/stat : 7145 (runsolver) D 7142 7145 2911 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 102954531 24240128 106 18446744073709551615 4194304 4338465 140732135507984 140732135505624 140528483562199 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 33079296 140732135514306 140732135514697 140732135514697 140732135518154 0
/proc/7145/statm: 5918 106 53 36 0 2156 0
[startup+0.100109 s]
/proc/loadavg: 1.99 2.00 2.03 3/183 7145
/proc/meminfo: memFree=31499176/32770624 swapFree=0/345400
[pid=7145] ppid=7142 vsize=28804 CPUtime=0.04 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 1456 0 0 0 4 0 0 0 20 0 1 0 102954531 29495296 1271 18446744073709551615 4194304 5747388 140728781213792 140728781210440 5437085 0 0 1 0 0 0 0 17 0 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7201 1271 724 380 0 619 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 28804
[startup+0.200261 s]
/proc/loadavg: 1.99 2.00 2.03 3/183 7145
/proc/meminfo: memFree=31499176/32770624 swapFree=0/345400
[pid=7145] ppid=7142 vsize=29600 CPUtime=0.14 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 1706 0 0 0 14 0 0 0 20 0 1 0 102954531 30310400 1534 18446744073709551615 4194304 5747388 140728781213792 140728781210440 5025344 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7400 1534 759 380 0 818 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 29600
[startup+0.300205 s]
/proc/loadavg: 1.99 2.00 2.03 3/183 7145
/proc/meminfo: memFree=31499176/32770624 swapFree=0/345400
[pid=7145] ppid=7142 vsize=29732 CPUtime=0.24 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 1743 0 0 0 24 0 0 0 20 0 1 0 102954531 30445568 1534 18446744073709551615 4194304 5747388 140728781213792 140728781210440 4947143 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7433 1534 759 380 0 851 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 29732
[startup+0.700174 s]
/proc/loadavg: 1.99 2.00 2.03 3/183 7145
/proc/meminfo: memFree=31499176/32770624 swapFree=0/345400
[pid=7145] ppid=7142 vsize=29732 CPUtime=0.64 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 1762 0 0 0 64 0 0 0 20 0 1 0 102954531 30445568 1600 18446744073709551615 4194304 5747388 140728781213792 140728781211320 4947720 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7433 1600 759 380 0 851 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 29732
[startup+1.50017 s]
/proc/loadavg: 1.99 2.00 2.03 3/184 7146
/proc/meminfo: memFree=31496248/32770624 swapFree=0/345260
[pid=7145] ppid=7142 vsize=29864 CPUtime=1.44 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 1771 0 0 0 144 0 0 0 20 0 1 0 102954531 30580736 1600 18446744073709551615 4194304 5747388 140728781213792 140728781211320 5025354 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1600 759 380 0 884 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 29864
[startup+3.10017 s]
/proc/loadavg: 1.99 2.00 2.03 3/184 7146
/proc/meminfo: memFree=31496096/32770624 swapFree=0/345376
[pid=7145] ppid=7142 vsize=29864 CPUtime=3.04 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 2550 0 0 0 304 0 0 0 20 0 1 0 102954531 30580736 1614 18446744073709551615 4194304 5747388 140728781213792 140728781210536 4947484 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1614 759 380 0 884 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 29864
[startup+6.30017 s]
/proc/loadavg: 1.99 2.00 2.03 3/184 7146
/proc/meminfo: memFree=31495528/32770624 swapFree=0/345376
[pid=7145] ppid=7142 vsize=29864 CPUtime=6.24 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 3326 0 0 0 624 0 0 0 20 0 1 0 102954531 30580736 1615 18446744073709551615 4194304 5747388 140728781213792 140728781210536 5025361 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1615 759 380 0 884 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 29864
[startup+12.7002 s]
/proc/loadavg: 1.99 2.00 2.03 3/184 7146
/proc/meminfo: memFree=31495252/32770624 swapFree=0/345376
[pid=7145] ppid=7142 vsize=29864 CPUtime=12.64 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 4108 0 0 0 1264 0 0 0 20 0 1 0 102954531 30580736 1616 18446744073709551615 4194304 5747388 140728781213792 140728781210536 5025361 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1616 759 380 0 884 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 29864
[startup+25.5003 s]
/proc/loadavg: 1.92 1.98 2.02 3/184 7146
/proc/meminfo: memFree=31495476/32770624 swapFree=0/345420
[pid=7145] ppid=7142 vsize=29864 CPUtime=25.44 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 5661 0 0 0 2544 0 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 5025392 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 29864
[startup+51.1003 s]
/proc/loadavg: 1.95 1.98 2.02 3/187 7161
/proc/meminfo: memFree=31490412/32770624 swapFree=0/345436
[pid=7145] ppid=7142 vsize=29864 CPUtime=51.04 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 6436 0 0 0 5104 0 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 4947292 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 29864
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 2.02 3/187 7162
/proc/meminfo: memFree=31490844/32770624 swapFree=0/345472
[pid=7145] ppid=7142 vsize=29864 CPUtime=102.24 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 7215 0 0 0 10224 0 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 5025392 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 29864
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.02 3/185 7165
/proc/meminfo: memFree=31494312/32770624 swapFree=0/345508
[pid=7145] ppid=7142 vsize=29864 CPUtime=162.23 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 7991 0 0 0 16223 0 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 4946821 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 29864
[startup+222.306 s]
/proc/loadavg: 2.09 2.02 2.03 3/185 7167
/proc/meminfo: memFree=31494868/32770624 swapFree=0/345524
[pid=7145] ppid=7142 vsize=29864 CPUtime=222.23 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 8767 0 0 0 22223 0 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 4947292 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 29864
[startup+282.3 s]
/proc/loadavg: 2.10 2.03 2.04 3/185 7169
/proc/meminfo: memFree=31494672/32770624 swapFree=0/345548
[pid=7145] ppid=7142 vsize=29864 CPUtime=282.22 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 9540 0 0 0 28222 0 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 4946833 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 29864
[startup+342.3 s]
/proc/loadavg: 2.04 2.02 2.04 3/185 7171
/proc/meminfo: memFree=31494920/32770624 swapFree=0/345576
[pid=7145] ppid=7142 vsize=29864 CPUtime=342.21 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 10314 0 0 0 34221 0 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 4949583 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 29864
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/185 7173
/proc/meminfo: memFree=31494764/32770624 swapFree=0/345604
[pid=7145] ppid=7142 vsize=29864 CPUtime=402.2 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 11086 0 0 0 40220 0 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 5025392 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 29864
[startup+462.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/184 7175
/proc/meminfo: memFree=31495284/32770624 swapFree=0/345620
[pid=7145] ppid=7142 vsize=29864 CPUtime=462.2 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 11858 0 0 0 46220 0 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 4947292 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 29864
[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/184 7177
/proc/meminfo: memFree=31495000/32770624 swapFree=0/345636
[pid=7145] ppid=7142 vsize=29864 CPUtime=522.19 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 12632 0 0 0 52219 0 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 4947292 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 29864
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 7179
/proc/meminfo: memFree=31495380/32770624 swapFree=0/345648
[pid=7145] ppid=7142 vsize=29864 CPUtime=582.19 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 13405 0 0 0 58219 0 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 5025392 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 29864
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 7307
/proc/meminfo: memFree=31494296/32770624 swapFree=0/346056
[pid=7145] ppid=7142 vsize=29864 CPUtime=1542.11 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 24479 0 0 0 154210 1 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 5025392 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 1542.11
Current children cumulated vsize (KiB) 29864
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 7309
/proc/meminfo: memFree=31494636/32770624 swapFree=0/346080
[pid=7145] ppid=7142 vsize=29864 CPUtime=1602.11 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 25051 0 0 0 160210 1 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 4947712 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 29864
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 7311
/proc/meminfo: memFree=31494608/32770624 swapFree=0/346096
[pid=7145] ppid=7142 vsize=29864 CPUtime=1662.1 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 25824 0 0 0 166209 1 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 4948542 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 29864
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 7314
/proc/meminfo: memFree=31494476/32770624 swapFree=0/346120
[pid=7145] ppid=7142 vsize=29864 CPUtime=1722.09 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 26367 0 0 0 172208 1 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 5025392 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 29864
[startup+1782.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/185 7316
/proc/meminfo: memFree=31494440/32770624 swapFree=0/346136
[pid=7145] ppid=7142 vsize=29864 CPUtime=1782.09 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 26929 0 0 0 178208 1 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 5025392 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 1782.09
Current children cumulated vsize (KiB) 29864
[startup+1842.3 s]
/proc/loadavg: 1.94 1.99 2.03 3/185 7318
/proc/meminfo: memFree=31494068/32770624 swapFree=0/346136
[pid=7145] ppid=7142 vsize=29864 CPUtime=1842.08 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 27703 0 0 0 184207 1 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 4946825 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 1842.08
Current children cumulated vsize (KiB) 29864
[startup+1902.3 s]
/proc/loadavg: 2.05 2.00 2.04 3/188 7334
/proc/meminfo: memFree=31490028/32770624 swapFree=0/346168
[pid=7145] ppid=7142 vsize=29864 CPUtime=1902.08 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 28258 0 0 0 190207 1 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 5025418 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 1902.08
Current children cumulated vsize (KiB) 29864
[startup+1962.3 s]
/proc/loadavg: 1.95 1.99 2.03 3/185 7396
/proc/meminfo: memFree=31494372/32770624 swapFree=0/346172
[pid=7145] ppid=7142 vsize=29864 CPUtime=1962.07 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 28820 0 0 0 196206 1 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 4947720 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 1962.07
Current children cumulated vsize (KiB) 29864
[startup+2022.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/184 7398
/proc/meminfo: memFree=31494500/32770624 swapFree=0/346216
[pid=7145] ppid=7142 vsize=29864 CPUtime=2022.06 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 29595 0 0 0 202205 1 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 5025413 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 2022.06
Current children cumulated vsize (KiB) 29864
[startup+2082.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/184 7400
/proc/meminfo: memFree=31494476/32770624 swapFree=0/346236
[pid=7145] ppid=7142 vsize=29864 CPUtime=2082.07 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 30161 0 0 0 208206 1 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 4947305 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 2082.07
Current children cumulated vsize (KiB) 29864
[startup+2142.3 s]
/proc/loadavg: 1.92 1.96 2.02 3/184 7402
/proc/meminfo: memFree=31494344/32770624 swapFree=0/346264
[pid=7145] ppid=7142 vsize=29864 CPUtime=2142.06 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 30726 0 0 0 214205 1 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 5000080 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 2142.06
Current children cumulated vsize (KiB) 29864
[startup+2202.31 s]
/proc/loadavg: 1.93 1.95 2.02 3/185 7405
/proc/meminfo: memFree=31494440/32770624 swapFree=0/346296
[pid=7145] ppid=7142 vsize=29864 CPUtime=2202.06 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 31294 0 0 0 220205 1 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 4947445 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 2202.06
Current children cumulated vsize (KiB) 29864
[startup+2262.3 s]
/proc/loadavg: 1.97 1.96 2.02 3/185 7407
/proc/meminfo: memFree=31494564/32770624 swapFree=0/346316
[pid=7145] ppid=7142 vsize=29864 CPUtime=2262.05 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 32061 0 0 0 226203 2 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 5025581 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 2262.05
Current children cumulated vsize (KiB) 29864
[startup+2322.3 s]
/proc/loadavg: 2.02 1.98 2.02 3/185 7409
/proc/meminfo: memFree=31494916/32770624 swapFree=0/346328
[pid=7145] ppid=7142 vsize=29864 CPUtime=2322.05 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 32632 0 0 0 232203 2 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 5025392 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 2322.05
Current children cumulated vsize (KiB) 29864
[startup+2382.3 s]
/proc/loadavg: 2.05 2.00 2.03 3/185 7411
/proc/meminfo: memFree=31494420/32770624 swapFree=0/346340
[pid=7145] ppid=7142 vsize=29864 CPUtime=2382.04 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 33195 0 0 0 238202 2 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 5025570 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 2382.04
Current children cumulated vsize (KiB) 29864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.04 2.00 2.03 3/185 7412
/proc/meminfo: memFree=31494516/32770624 swapFree=0/346340
[pid=7145] ppid=7142 vsize=29864 CPUtime=2400.05 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 33746 0 0 0 240003 2 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 4947720 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 29864
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 7145 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.04 2.00 2.03 3/185 7412
/proc/meminfo: memFree=31494516/32770624 swapFree=0/346340
[pid=7145] ppid=7142 vsize=29864 CPUtime=2400.05 cores=0,2,4,6
/proc/7145/stat : 7145 (cosoco) R 7142 7145 2911 0 -1 4202496 33746 0 0 0 240003 2 0 0 20 0 1 0 102954531 30580736 1619 18446744073709551615 4194304 5747388 140728781213792 140728781210536 4947720 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 36270080 140728781222382 140728781222477 140728781222477 140728781225934 0
/proc/7145/statm: 7466 1619 759 380 0 884 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 29864
Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.06
CPU user time (s): 2400.03
CPU system time (s): 0.023998
CPU usage (%): 99.9896
Max. virtual memory (cumulated for all children) (KiB): 29864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.023998
maximum resident set size= 6552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33842
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= 9
involuntary context switches= 4012
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.29313 second user time and 7.81806 second system time
The end