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-4260013-1502015145/watcher-4260013-1502015145 -o /tmp/evaluation-result-4260013-1502015145/solver-4260013-1502015145 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502014298-25935 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260013-1502015145.xml
pid=25957
running on 4 cores: 1,3,5,7
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.27 1.42 1.41 3/187 25963
/proc/meminfo: memFree=31554228/32770624 swapFree=0/304588
[pid=25962] ppid=25957 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/25962/stat : 25962 (runsolver) D 25957 25962 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 49329771 24240128 107 18446744073709551615 4194304 4338465 140720392963056 140720392960696 140603531068119 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 39297024 140720392970433 140720392970825 140720392970825 140720392974282 0
/proc/25962/statm: 5918 107 54 36 0 2156 0
[startup+0.100153 s]
/proc/loadavg: 1.27 1.42 1.41 3/187 25963
/proc/meminfo: memFree=31554228/32770624 swapFree=0/304588
[pid=25962] ppid=25957 vsize=27036 CPUtime=0 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 1074 0 0 0 0 0 0 0 20 0 1 0 49329771 27684864 896 18446744073709551615 4194304 5747388 140720434610640 140720434607288 140468235058149 0 0 1 0 0 0 0 17 3 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 6759 896 757 380 0 177 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 27036
[startup+0.200264 s]
/proc/loadavg: 1.27 1.42 1.41 3/187 25963
/proc/meminfo: memFree=31554228/32770624 swapFree=0/304588
[pid=25962] ppid=25957 vsize=28208 CPUtime=0.1 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 1431 0 0 0 10 0 0 0 20 0 1 0 49329771 28884992 1226 18446744073709551615 4194304 5747388 140720434610640 140720434607288 4872960 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1226 810 380 0 470 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 28208
[startup+0.300252 s]
/proc/loadavg: 1.27 1.42 1.41 3/187 25963
/proc/meminfo: memFree=31554228/32770624 swapFree=0/304588
[pid=25962] ppid=25957 vsize=28208 CPUtime=0.2 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 1431 0 0 0 20 0 0 0 20 0 1 0 49329771 28884992 1226 18446744073709551615 4194304 5747388 140720434610640 140720434607288 4946991 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1226 810 380 0 470 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 28208
[startup+0.700306 s]
/proc/loadavg: 1.27 1.42 1.41 3/187 25963
/proc/meminfo: memFree=31554228/32770624 swapFree=0/304588
[pid=25962] ppid=25957 vsize=28208 CPUtime=0.6 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 1432 0 0 0 60 0 0 0 20 0 1 0 49329771 28884992 1226 18446744073709551615 4194304 5747388 140720434610640 140720434608168 5000032 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1226 810 380 0 470 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 28208
[startup+1.50029 s]
/proc/loadavg: 1.33 1.43 1.41 4/189 25966
/proc/meminfo: memFree=31551304/32770624 swapFree=0/304540
[pid=25962] ppid=25957 vsize=28208 CPUtime=1.4 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 1432 0 0 0 140 0 0 0 20 0 1 0 49329771 28884992 1226 18446744073709551615 4194304 5747388 140720434610640 140720434608168 4888918 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1226 810 380 0 470 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 28208
[startup+3.10029 s]
/proc/loadavg: 1.33 1.43 1.41 4/189 25966
/proc/meminfo: memFree=31550248/32770624 swapFree=0/304540
[pid=25962] ppid=25957 vsize=28208 CPUtime=3 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 1815 0 0 0 300 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434597912 5025371 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 28208
[startup+6.30029 s]
/proc/loadavg: 1.33 1.43 1.41 4/187 25966
/proc/meminfo: memFree=31552036/32770624 swapFree=0/304536
[pid=25962] ppid=25957 vsize=28208 CPUtime=6.2 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 2228 0 0 0 620 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434597912 5025344 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 28208
[startup+12.7003 s]
/proc/loadavg: 1.43 1.45 1.42 4/186 25966
/proc/meminfo: memFree=31552300/32770624 swapFree=0/304540
[pid=25962] ppid=25957 vsize=28208 CPUtime=12.6 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 2611 0 0 0 1260 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434597912 4941225 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 28208
[startup+25.5003 s]
/proc/loadavg: 1.52 1.47 1.42 4/186 25966
/proc/meminfo: memFree=31552304/32770624 swapFree=0/304556
[pid=25962] ppid=25957 vsize=28208 CPUtime=25.4 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 3391 0 0 0 2540 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 5000084 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 28208
[startup+51.1003 s]
/proc/loadavg: 1.68 1.51 1.44 4/185 25966
/proc/meminfo: memFree=31552480/32770624 swapFree=0/304568
[pid=25962] ppid=25957 vsize=28208 CPUtime=51 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 3790 0 0 0 5100 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434597912 5025392 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 28208
[startup+102.3 s]
/proc/loadavg: 1.87 1.59 1.47 4/185 25968
/proc/meminfo: memFree=31552064/32770624 swapFree=0/304584
[pid=25962] ppid=25957 vsize=28208 CPUtime=102.21 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 4173 0 0 0 10221 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434597912 4948940 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 28208
[startup+162.3 s]
/proc/loadavg: 1.95 1.67 1.50 4/184 25970
/proc/meminfo: memFree=31551848/32770624 swapFree=0/304584
[pid=25962] ppid=25957 vsize=28208 CPUtime=162.2 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 4570 0 0 0 16220 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 4940709 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 28208
[startup+222.306 s]
/proc/loadavg: 1.98 1.73 1.53 4/184 25972
/proc/meminfo: memFree=31552416/32770624 swapFree=0/304624
[pid=25962] ppid=25957 vsize=28208 CPUtime=222.21 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 4956 0 0 0 22221 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 5000080 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 28208
[startup+282.3 s]
/proc/loadavg: 1.99 1.78 1.56 4/185 25975
/proc/meminfo: memFree=31552496/32770624 swapFree=0/304660
[pid=25962] ppid=25957 vsize=28208 CPUtime=282.21 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 5355 0 0 0 28221 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434597912 4940705 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 28208
[startup+342.3 s]
/proc/loadavg: 2.04 1.83 1.60 4/185 25977
/proc/meminfo: memFree=31551628/32770624 swapFree=0/304704
[pid=25962] ppid=25957 vsize=28208 CPUtime=342.21 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 5739 0 0 0 34221 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434597912 4941621 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 28208
[startup+402.3 s]
/proc/loadavg: 2.16 1.90 1.63 4/185 25979
/proc/meminfo: memFree=31551884/32770624 swapFree=0/304720
[pid=25962] ppid=25957 vsize=28208 CPUtime=402.21 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 6136 0 0 0 40221 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 4948389 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 28208
[startup+462.3 s]
/proc/loadavg: 2.06 1.91 1.65 4/185 25981
/proc/meminfo: memFree=31552080/32770624 swapFree=0/304732
[pid=25962] ppid=25957 vsize=28208 CPUtime=462.21 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 6520 0 0 0 46221 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 4947928 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 28208
[startup+522.3 s]
/proc/loadavg: 2.02 1.93 1.68 4/188 25997
/proc/meminfo: memFree=31547780/32770624 swapFree=0/304756
[pid=25962] ppid=25957 vsize=28208 CPUtime=522.22 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 6904 0 0 0 52222 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 5025392 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 28208
[startup+582.3 s]
/proc/loadavg: 2.01 1.94 1.70 4/187 25999
/proc/meminfo: memFree=31548108/32770624 swapFree=0/304760
[pid=25962] ppid=25957 vsize=28208 CPUtime=582.22 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 6919 0 0 0 58222 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 4882128 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 28208
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.88 4/186 26050
/proc/meminfo: memFree=31551000/32770624 swapFree=0/305048
[pid=25962] ppid=25957 vsize=28208 CPUtime=1482.25 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 11930 0 0 0 148225 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 4948720 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 28208
[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 1.89 4/186 26052
/proc/meminfo: memFree=31551308/32770624 swapFree=0/305064
[pid=25962] ppid=25957 vsize=28208 CPUtime=1542.26 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 11931 0 0 0 154226 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 4948946 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 28208
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.90 4/186 26054
/proc/meminfo: memFree=31551316/32770624 swapFree=0/305076
[pid=25962] ppid=25957 vsize=28208 CPUtime=1602.26 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 12313 0 0 0 160226 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 4946833 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 28208
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.90 4/185 26056
/proc/meminfo: memFree=31551400/32770624 swapFree=0/305100
[pid=25962] ppid=25957 vsize=28208 CPUtime=1662.27 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 12313 0 0 0 166227 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 4948385 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 28208
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/188 26072
/proc/meminfo: memFree=31547456/32770624 swapFree=0/305120
[pid=25962] ppid=25957 vsize=28208 CPUtime=1722.27 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 12697 0 0 0 172227 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 4940454 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 28208
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/188 26075
/proc/meminfo: memFree=31547020/32770624 swapFree=0/305132
[pid=25962] ppid=25957 vsize=28208 CPUtime=1782.28 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 12697 0 0 0 178228 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 5025371 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 28208
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.92 4/186 26078
/proc/meminfo: memFree=31550412/32770624 swapFree=0/305152
[pid=25962] ppid=25957 vsize=28208 CPUtime=1842.28 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 13078 0 0 0 184228 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 4946991 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 1842.28
Current children cumulated vsize (KiB) 28208
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.92 4/186 26080
/proc/meminfo: memFree=31550484/32770624 swapFree=0/305168
[pid=25962] ppid=25957 vsize=28208 CPUtime=1902.29 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 13081 0 0 0 190229 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 4995156 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 1902.29
Current children cumulated vsize (KiB) 28208
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.93 4/186 26082
/proc/meminfo: memFree=31550616/32770624 swapFree=0/305188
[pid=25962] ppid=25957 vsize=28208 CPUtime=1962.29 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 13493 0 0 0 196229 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 4946808 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 1962.29
Current children cumulated vsize (KiB) 28208
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/186 26084
/proc/meminfo: memFree=31550932/32770624 swapFree=0/305196
[pid=25962] ppid=25957 vsize=28208 CPUtime=2022.3 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 13493 0 0 0 202230 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 5025570 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 2022.3
Current children cumulated vsize (KiB) 28208
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/186 26087
/proc/meminfo: memFree=31550444/32770624 swapFree=0/305212
[pid=25962] ppid=25957 vsize=28208 CPUtime=2082.31 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 13877 0 0 0 208231 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 5025570 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 2082.31
Current children cumulated vsize (KiB) 28208
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/185 26089
/proc/meminfo: memFree=31551020/32770624 swapFree=0/305224
[pid=25962] ppid=25957 vsize=28208 CPUtime=2142.31 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 13877 0 0 0 214231 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 5025361 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 2142.31
Current children cumulated vsize (KiB) 28208
[startup+2202.31 s]
/proc/loadavg: 2.00 1.99 1.95 4/186 26092
/proc/meminfo: memFree=31551012/32770624 swapFree=0/305256
[pid=25962] ppid=25957 vsize=28208 CPUtime=2202.32 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 14260 0 0 0 220232 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 5025344 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 2202.32
Current children cumulated vsize (KiB) 28208
[startup+2262.3 s]
/proc/loadavg: 2.07 2.02 1.97 4/186 26094
/proc/meminfo: memFree=31551224/32770624 swapFree=0/305272
[pid=25962] ppid=25957 vsize=28208 CPUtime=2262.32 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 14260 0 0 0 226232 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 4940106 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 2262.32
Current children cumulated vsize (KiB) 28208
[startup+2322.3 s]
/proc/loadavg: 2.07 2.03 1.97 4/189 26110
/proc/meminfo: memFree=31547436/32770624 swapFree=0/305312
[pid=25962] ppid=25957 vsize=28208 CPUtime=2322.33 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 14644 0 0 0 232233 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 4948940 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 2322.33
Current children cumulated vsize (KiB) 28208
[startup+2382.3 s]
/proc/loadavg: 2.07 2.04 1.98 4/189 26113
/proc/meminfo: memFree=31546712/32770624 swapFree=0/305348
[pid=25962] ppid=25957 vsize=28208 CPUtime=2382.33 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 14644 0 0 0 238233 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 4946829 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 2382.33
Current children cumulated vsize (KiB) 28208
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.20 2.07 1.99 4/189 26113
/proc/meminfo: memFree=31546696/32770624 swapFree=0/305344
[pid=25962] ppid=25957 vsize=28208 CPUtime=2400.03 cores=1,3,5,7
/proc/25962/stat : 25962 (cosoco) R 25957 25962 25100 0 -1 4202496 15027 0 0 0 240003 0 0 0 20 0 1 0 49329771 28884992 1273 18446744073709551615 4194304 5747388 140720434610640 140720434608168 4947167 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 36012032 140720434618862 140720434618957 140720434618957 140720434622414 0
/proc/25962/statm: 7052 1273 810 380 0 470 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 28208
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 25962 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.05
CPU user time (s): 2400.04
CPU system time (s): 0.006
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 28208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.006
maximum resident set size= 5160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15078
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= 12
involuntary context switches= 2493
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.45107 second user time and 8.07528 second system time
The end