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-4260064-1502031401/watcher-4260064-1502031401 -o /tmp/evaluation-result-4260064-1502031401/solver-4260064-1502031401 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502014323-10662 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260064-1502031401.xml
pid=14980
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: 2.08 2.04 2.05 2/181 14983
/proc/meminfo: memFree=31795076/32770624 swapFree=0/323920
[pid=14983] ppid=14980 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14983/stat : 14983 (runsolver) D 14980 14983 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 5361040 24240128 106 18446744073709551615 4194304 4338465 140722098415680 140722098413320 140681441428183 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 9261056 140722098417858 140722098418250 140722098418250 140722098421706 0
/proc/14983/statm: 5918 106 53 36 0 2156 0
[startup+0.10015 s]
/proc/loadavg: 2.08 2.04 2.05 2/181 14983
/proc/meminfo: memFree=31795076/32770624 swapFree=0/323920
[pid=14983] ppid=14980 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14983/stat : 14983 (runsolver) D 14980 14983 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 5361040 24240128 106 18446744073709551615 4194304 4338465 140722098415680 140722098413320 140681441428183 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 9261056 140722098417858 140722098418250 140722098418250 140722098421706 0
/proc/14983/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200314 s]
/proc/loadavg: 2.08 2.04 2.05 2/181 14983
/proc/meminfo: memFree=31795076/32770624 swapFree=0/323920
[pid=14983] ppid=14980 vsize=34256 CPUtime=0.09 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 2863 0 0 0 9 0 0 0 20 0 1 0 5361040 35078144 2673 18446744073709551615 4194304 5747388 140730156267104 140730156263752 4877745 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2673 717 380 0 1982 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34256
[startup+0.300325 s]
/proc/loadavg: 2.08 2.04 2.05 2/181 14983
/proc/meminfo: memFree=31795076/32770624 swapFree=0/323920
[pid=14983] ppid=14980 vsize=34256 CPUtime=0.19 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 2870 0 0 0 19 0 0 0 20 0 1 0 5361040 35078144 2673 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877745 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2673 717 380 0 1982 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34256
[startup+0.700235 s]
/proc/loadavg: 2.08 2.04 2.05 2/181 14983
/proc/meminfo: memFree=31795076/32770624 swapFree=0/323920
[pid=14983] ppid=14980 vsize=34256 CPUtime=0.59 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 2872 0 0 0 59 0 0 0 20 0 1 0 5361040 35078144 2673 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877745 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2673 717 380 0 1982 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 34256
[startup+1.50023 s]
/proc/loadavg: 1.99 2.02 2.04 3/182 14984
/proc/meminfo: memFree=31787396/32770624 swapFree=0/323856
[pid=14983] ppid=14980 vsize=34256 CPUtime=1.39 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 2872 0 0 0 139 0 0 0 20 0 1 0 5361040 35078144 2673 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4873111 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2673 717 380 0 1982 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 34256
[startup+3.10022 s]
/proc/loadavg: 1.99 2.02 2.04 3/182 14984
/proc/meminfo: memFree=31786616/32770624 swapFree=0/323904
[pid=14983] ppid=14980 vsize=34256 CPUtime=2.98 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 3735 0 0 0 298 0 0 0 20 0 1 0 5361040 35078144 2714 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877616 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2714 748 380 0 1982 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 34256
[startup+6.30022 s]
/proc/loadavg: 1.99 2.02 2.04 3/182 14984
/proc/meminfo: memFree=31787124/32770624 swapFree=0/323916
[pid=14983] ppid=14980 vsize=34256 CPUtime=6.18 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 4595 0 0 0 618 0 0 0 20 0 1 0 5361040 35078144 2714 18446744073709551615 4194304 5747388 140730156267104 140730156264504 5133696 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2714 748 380 0 1982 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 34256
[startup+12.7002 s]
/proc/loadavg: 1.99 2.02 2.04 3/182 14984
/proc/meminfo: memFree=31786876/32770624 swapFree=0/323928
[pid=14983] ppid=14980 vsize=34256 CPUtime=12.58 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 5455 0 0 0 1258 0 0 0 20 0 1 0 5361040 35078144 2714 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877450 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2714 748 380 0 1982 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 34256
[startup+25.5003 s]
/proc/loadavg: 1.99 2.02 2.04 3/182 14985
/proc/meminfo: memFree=31787000/32770624 swapFree=0/323948
[pid=14983] ppid=14980 vsize=34256 CPUtime=25.39 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 7175 0 0 0 2539 0 0 0 20 0 1 0 5361040 35078144 2714 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877667 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2714 748 380 0 1982 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 34256
[startup+51.1003 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 14985
/proc/meminfo: memFree=31786876/32770624 swapFree=0/323976
[pid=14983] ppid=14980 vsize=34256 CPUtime=50.99 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 8035 0 0 0 5099 0 0 0 20 0 1 0 5361040 35078144 2714 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877638 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2714 748 380 0 1982 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 34256
[startup+102.3 s]
/proc/loadavg: 2.21 2.08 2.06 3/182 14987
/proc/meminfo: memFree=31786368/32770624 swapFree=0/324032
[pid=14983] ppid=14980 vsize=34256 CPUtime=102.2 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 8900 0 0 0 10220 0 0 0 20 0 1 0 5361040 35078144 2714 18446744073709551615 4194304 5747388 140730156267104 140730156264504 5125687 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2714 748 380 0 1982 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 34256
[startup+162.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/180 14989
/proc/meminfo: memFree=31787004/32770624 swapFree=0/324096
[pid=14983] ppid=14980 vsize=34256 CPUtime=162.2 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 9760 0 0 0 16220 0 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877749 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 34256
[startup+222.306 s]
/proc/loadavg: 2.08 2.07 2.05 3/181 14992
/proc/meminfo: memFree=31786368/32770624 swapFree=0/324148
[pid=14983] ppid=14980 vsize=34256 CPUtime=222.22 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 10621 0 0 0 22221 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877745 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 34256
[startup+282.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/181 14994
/proc/meminfo: memFree=31786616/32770624 swapFree=0/324184
[pid=14983] ppid=14980 vsize=34256 CPUtime=282.22 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 10621 0 0 0 28221 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877652 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 34256
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 14996
/proc/meminfo: memFree=31786740/32770624 swapFree=0/324236
[pid=14983] ppid=14980 vsize=34256 CPUtime=342.23 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 11481 0 0 0 34222 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 5121272 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 34256
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 14998
/proc/meminfo: memFree=31787252/32770624 swapFree=0/324276
[pid=14983] ppid=14980 vsize=34256 CPUtime=402.23 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 11482 0 0 0 40222 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877691 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 34256
[startup+462.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/185 15015
/proc/meminfo: memFree=31782140/32770624 swapFree=0/324352
[pid=14983] ppid=14980 vsize=34256 CPUtime=462.24 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 12342 0 0 0 46223 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877740 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 34256
[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 15017
/proc/meminfo: memFree=31781520/32770624 swapFree=0/324400
[pid=14983] ppid=14980 vsize=34256 CPUtime=522.25 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 12342 0 0 0 52224 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4872843 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 34256
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 15019
/proc/meminfo: memFree=31784048/32770624 swapFree=0/324444
[pid=14983] ppid=14980 vsize=34256 CPUtime=582.25 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 13202 0 0 0 58224 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877393 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 34256
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 15093
/proc/meminfo: memFree=31783040/32770624 swapFree=0/325116
[pid=14983] ppid=14980 vsize=34256 CPUtime=1542.35 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 19750 0 0 0 154234 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877652 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 34256
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 15095
/proc/meminfo: memFree=31783412/32770624 swapFree=0/325152
[pid=14983] ppid=14980 vsize=34256 CPUtime=1602.36 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 19750 0 0 0 160235 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877652 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 34256
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 15112
/proc/meminfo: memFree=31779632/32770624 swapFree=0/325204
[pid=14983] ppid=14980 vsize=34256 CPUtime=1662.36 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 20368 0 0 0 166235 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4873336 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 34256
[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 15114
/proc/meminfo: memFree=31778896/32770624 swapFree=0/325256
[pid=14983] ppid=14980 vsize=34256 CPUtime=1722.37 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 20610 0 0 0 172236 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877616 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 34256
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 15116
/proc/meminfo: memFree=31782172/32770624 swapFree=0/325296
[pid=14983] ppid=14980 vsize=34256 CPUtime=1782.37 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 21112 0 0 0 178236 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877351 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 34256
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 15118
/proc/meminfo: memFree=31782916/32770624 swapFree=0/325324
[pid=14983] ppid=14980 vsize=34256 CPUtime=1842.38 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 21470 0 0 0 184237 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877549 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 1842.38
Current children cumulated vsize (KiB) 34256
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 15120
/proc/meminfo: memFree=31782784/32770624 swapFree=0/325356
[pid=14983] ppid=14980 vsize=34256 CPUtime=1902.39 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 22123 0 0 0 190238 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877740 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 1902.39
Current children cumulated vsize (KiB) 34256
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15122
/proc/meminfo: memFree=31783024/32770624 swapFree=0/325392
[pid=14983] ppid=14980 vsize=34256 CPUtime=1962.39 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 22143 0 0 0 196238 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877745 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 1962.39
Current children cumulated vsize (KiB) 34256
[startup+2022.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 15124
/proc/meminfo: memFree=31783032/32770624 swapFree=0/325432
[pid=14983] ppid=14980 vsize=34256 CPUtime=2022.4 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 22816 0 0 0 202239 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877735 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 2022.4
Current children cumulated vsize (KiB) 34256
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 15126
/proc/meminfo: memFree=31783552/32770624 swapFree=0/325464
[pid=14983] ppid=14980 vsize=34256 CPUtime=2082.41 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 23003 0 0 0 208240 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877667 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 2082.41
Current children cumulated vsize (KiB) 34256
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15128
/proc/meminfo: memFree=31783180/32770624 swapFree=0/325508
[pid=14983] ppid=14980 vsize=34256 CPUtime=2142.41 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 23569 0 0 0 214240 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877453 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 2142.41
Current children cumulated vsize (KiB) 34256
[startup+2202.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 15130
/proc/meminfo: memFree=31783428/32770624 swapFree=0/325540
[pid=14983] ppid=14980 vsize=34256 CPUtime=2202.42 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 23863 0 0 0 220241 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877648 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 2202.42
Current children cumulated vsize (KiB) 34256
[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.05 4/185 15208
/proc/meminfo: memFree=31529468/32770624 swapFree=0/325628
[pid=14983] ppid=14980 vsize=34256 CPUtime=2262.42 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 24512 0 0 0 226241 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877594 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 2262.42
Current children cumulated vsize (KiB) 34256
[startup+2322.3 s]
/proc/loadavg: 1.97 2.00 2.04 4/185 15210
/proc/meminfo: memFree=31498616/32770624 swapFree=0/325720
[pid=14983] ppid=14980 vsize=34256 CPUtime=2322.43 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 24512 0 0 0 232242 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 5125664 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 2322.43
Current children cumulated vsize (KiB) 34256
[startup+2382.3 s]
/proc/loadavg: 1.99 2.00 2.04 4/182 15212
/proc/meminfo: memFree=31495928/32770624 swapFree=0/325788
[pid=14983] ppid=14980 vsize=34256 CPUtime=2382.44 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 25178 0 0 0 238243 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4873114 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 2382.44
Current children cumulated vsize (KiB) 34256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 1.99 2.00 2.04 4/182 15212
/proc/meminfo: memFree=31495988/32770624 swapFree=0/325800
[pid=14983] ppid=14980 vsize=34256 CPUtime=2400.04 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 25178 0 0 0 240003 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877638 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 34256
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 14983 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 1.99 2.00 2.04 4/182 15212
/proc/meminfo: memFree=31495988/32770624 swapFree=0/325800
[pid=14983] ppid=14980 vsize=34256 CPUtime=2400.04 cores=1,3,5,7
/proc/14983/stat : 14983 (cosoco) R 14980 14983 9955 0 -1 4202496 25178 0 0 0 240003 1 0 0 20 0 1 0 5361040 35078144 2719 18446744073709551615 4194304 5747388 140730156267104 140730156264504 4877638 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 16842752 140730156270063 140730156270158 140730156270158 140730156273614 0
/proc/14983/statm: 8564 2719 748 380 0 1982 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 34256
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.05
CPU user time (s): 2400.03
CPU system time (s): 0.015001
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 34256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.015001
maximum resident set size= 10948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25229
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= 721
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96232 second user time and 7.45437 second system time
The end