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-4260019-1502037029/watcher-4260019-1502037029 -o /tmp/evaluation-result-4260019-1502037029/solver-4260019-1502037029 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502013980-30674 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260019-1502037029.xml
pid=1703
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.07 2.03 2.05 2/184 1706
/proc/meminfo: memFree=31442500/32770624 swapFree=0/448432
[pid=1706] ppid=1703 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/1706/stat : 1706 (runsolver) D 1703 1706 25139 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 51208891 24240128 108 18446744073709551615 4194304 4338465 140724059299728 140724059297368 139856552882903 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 27373568 140724059304129 140724059304521 140724059304521 140724059307978 0
/proc/1706/statm: 5918 108 54 36 0 2156 0
[startup+0.101699 s]
/proc/loadavg: 2.07 2.03 2.05 2/184 1706
/proc/meminfo: memFree=31442500/32770624 swapFree=0/448432
[pid=1706] ppid=1703 vsize=27460 CPUtime=0.01 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 1102 0 0 0 1 0 0 0 20 0 1 0 51208891 28119040 891 18446744073709551615 4194304 5747388 140734894032000 140734894028648 5202011 0 0 1 0 0 0 0 17 6 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 6865 891 705 380 0 283 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27460
[startup+0.200702 s]
/proc/loadavg: 2.07 2.03 2.05 2/184 1706
/proc/meminfo: memFree=31442500/32770624 swapFree=0/448432
[pid=1706] ppid=1703 vsize=55296 CPUtime=0.1 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 8390 0 0 0 10 0 0 0 20 0 1 0 51208891 56623104 7891 18446744073709551615 4194304 5747388 140734894032000 140734894019288 4894030 0 0 1 8405026 0 0 0 17 6 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 13824 7891 720 380 0 7242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 55296
[startup+0.300704 s]
/proc/loadavg: 2.07 2.03 2.05 2/184 1706
/proc/meminfo: memFree=31442500/32770624 swapFree=0/448432
[pid=1706] ppid=1703 vsize=55296 CPUtime=0.2 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 8392 0 0 0 20 0 0 0 20 0 1 0 51208891 56623104 7891 18446744073709551615 4194304 5747388 140734894032000 140734894019288 4894124 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 13824 7891 720 380 0 7242 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 55296
[startup+0.700354 s]
/proc/loadavg: 2.07 2.03 2.05 2/184 1706
/proc/meminfo: memFree=31442500/32770624 swapFree=0/448432
[pid=1706] ppid=1703 vsize=55296 CPUtime=0.6 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 8404 0 0 0 60 0 0 0 20 0 1 0 51208891 56623104 7957 18446744073709551615 4194304 5747388 140734894032000 140734894019288 4894021 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 13824 7957 760 380 0 7242 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 55296
[startup+1.50034 s]
/proc/loadavg: 2.07 2.03 2.05 3/185 1707
/proc/meminfo: memFree=31414200/32770624 swapFree=0/448576
[pid=1706] ppid=1703 vsize=55296 CPUtime=1.4 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 8422 0 0 0 140 0 0 0 20 0 1 0 51208891 56623104 7957 18446744073709551615 4194304 5747388 140734894032000 140734894019288 4894014 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 13824 7957 760 380 0 7242 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 55296
[startup+3.10035 s]
/proc/loadavg: 2.07 2.03 2.05 3/185 1708
/proc/meminfo: memFree=31413704/32770624 swapFree=0/448204
[pid=1706] ppid=1703 vsize=55740 CPUtime=3 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 15717 0 0 0 300 0 0 0 20 0 1 0 51208891 57077760 8072 18446744073709551615 4194304 5747388 140734894032000 140734894019288 4893982 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 13935 8072 761 380 0 7353 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 55740
[startup+6.30034 s]
/proc/loadavg: 2.06 2.03 2.05 3/185 1708
/proc/meminfo: memFree=31413084/32770624 swapFree=0/448212
[pid=1706] ppid=1703 vsize=55880 CPUtime=6.2 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 23018 0 0 0 620 0 0 0 20 0 1 0 51208891 57221120 8096 18446744073709551615 4194304 5747388 140734894032000 140734894019272 4893987 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 13970 8096 761 380 0 7388 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 55880
[startup+12.7003 s]
/proc/loadavg: 2.06 2.03 2.05 3/185 1708
/proc/meminfo: memFree=31412712/32770624 swapFree=0/448204
[pid=1706] ppid=1703 vsize=56012 CPUtime=12.61 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 30322 0 0 0 1260 1 0 0 20 0 1 0 51208891 57356288 8125 18446744073709551615 4194304 5747388 140734894032000 140734894019272 4893999 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8125 761 380 0 7421 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 56012
[startup+25.5004 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 1708
/proc/meminfo: memFree=31412588/32770624 swapFree=0/448208
[pid=1706] ppid=1703 vsize=56012 CPUtime=25.41 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 44934 0 0 0 2539 2 0 0 20 0 1 0 51208891 57356288 8152 18446744073709551615 4194304 5747388 140734894032000 140734894029528 4893982 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8152 761 380 0 7421 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 56012
[startup+51.1004 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 1709
/proc/meminfo: memFree=31412708/32770624 swapFree=0/448220
[pid=1706] ppid=1703 vsize=56012 CPUtime=51 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 52258 0 0 0 5098 2 0 0 20 0 1 0 51208891 57356288 8152 18446744073709551615 4194304 5747388 140734894032000 140734894019272 4894124 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8152 761 380 0 7421 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 56012
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 1711
/proc/meminfo: memFree=31411588/32770624 swapFree=0/448232
[pid=1706] ppid=1703 vsize=56012 CPUtime=102.21 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 58040 0 0 0 10219 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894019272 4892815 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 56012
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 1714
/proc/meminfo: memFree=31411084/32770624 swapFree=0/448244
[pid=1706] ppid=1703 vsize=56012 CPUtime=162.2 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 58199 0 0 0 16218 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894029528 4893939 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 56012
[startup+222.306 s]
/proc/loadavg: 2.05 2.03 2.05 3/189 1730
/proc/meminfo: memFree=31406980/32770624 swapFree=0/448280
[pid=1706] ppid=1703 vsize=56012 CPUtime=222.21 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 58356 0 0 0 22219 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894029528 4917673 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 56012
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/189 1732
/proc/meminfo: memFree=31406944/32770624 swapFree=0/448316
[pid=1706] ppid=1703 vsize=56012 CPUtime=282.21 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 58508 0 0 0 28219 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894029528 4912677 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 56012
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 1734
/proc/meminfo: memFree=31410652/32770624 swapFree=0/448344
[pid=1706] ppid=1703 vsize=56012 CPUtime=342.21 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 58508 0 0 0 34219 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894029528 4915063 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 56012
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 1737
/proc/meminfo: memFree=31410652/32770624 swapFree=0/448376
[pid=1706] ppid=1703 vsize=56012 CPUtime=402.21 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 58660 0 0 0 40219 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894029528 4918626 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 56012
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 1740
/proc/meminfo: memFree=31410664/32770624 swapFree=0/448392
[pid=1706] ppid=1703 vsize=56012 CPUtime=462.22 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 58660 0 0 0 46220 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894029528 4911440 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 56012
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 1743
/proc/meminfo: memFree=31410788/32770624 swapFree=0/448420
[pid=1706] ppid=1703 vsize=56012 CPUtime=522.22 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 58812 0 0 0 52220 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894029528 4919312 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 56012
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 1745
/proc/meminfo: memFree=31410796/32770624 swapFree=0/448444
[pid=1706] ppid=1703 vsize=56012 CPUtime=582.22 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 58896 0 0 0 58220 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894029528 4893982 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 56012
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.05 2.04 2.05 3/184 1810
/proc/meminfo: memFree=31410544/32770624 swapFree=0/448832
[pid=1706] ppid=1703 vsize=56012 CPUtime=1542.26 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 60219 0 0 0 154224 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894019272 4917647 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 56012
[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/186 1814
/proc/meminfo: memFree=31409892/32770624 swapFree=0/448868
[pid=1706] ppid=1703 vsize=56012 CPUtime=1602.26 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 60371 0 0 0 160224 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894019272 4915034 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 56012
[startup+1662.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/185 1816
/proc/meminfo: memFree=31409792/32770624 swapFree=0/448888
[pid=1706] ppid=1703 vsize=56012 CPUtime=1662.26 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 60463 0 0 0 166224 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894019272 4915646 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 56012
[startup+1722.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/185 1818
/proc/meminfo: memFree=31409924/32770624 swapFree=0/448920
[pid=1706] ppid=1703 vsize=56012 CPUtime=1722.27 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 60463 0 0 0 172225 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894019272 5125648 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 56012
[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/185 1820
/proc/meminfo: memFree=31409692/32770624 swapFree=0/448936
[pid=1706] ppid=1703 vsize=56012 CPUtime=1782.27 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 60615 0 0 0 178225 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894019272 4915704 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 56012
[startup+1842.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 1823
/proc/meminfo: memFree=31410428/32770624 swapFree=0/448956
[pid=1706] ppid=1703 vsize=56012 CPUtime=1842.27 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 60700 0 0 0 184225 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894019272 4911493 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 1842.27
Current children cumulated vsize (KiB) 56012
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 1825
/proc/meminfo: memFree=31409956/32770624 swapFree=0/448984
[pid=1706] ppid=1703 vsize=56012 CPUtime=1902.27 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 60767 0 0 0 190225 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894019272 4911506 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 1902.27
Current children cumulated vsize (KiB) 56012
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 1827
/proc/meminfo: memFree=31410336/32770624 swapFree=0/449016
[pid=1706] ppid=1703 vsize=56012 CPUtime=1962.28 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 60853 0 0 0 196226 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894019272 4947300 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 1962.28
Current children cumulated vsize (KiB) 56012
[startup+2022.3 s]
/proc/loadavg: 2.33 2.14 2.08 6/202 1922
/proc/meminfo: memFree=19665880/32770624 swapFree=0/407760
[pid=1706] ppid=1703 vsize=56012 CPUtime=2022.28 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 60853 0 0 0 202226 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894019272 4918665 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 2022.28
Current children cumulated vsize (KiB) 56012
[startup+2082.3 s]
/proc/loadavg: 2.10 2.12 2.08 3/202 1924
/proc/meminfo: memFree=18171528/32770624 swapFree=0/407796
[pid=1706] ppid=1703 vsize=56012 CPUtime=2082.28 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 61005 0 0 0 208226 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894019272 4911374 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 2082.28
Current children cumulated vsize (KiB) 56012
[startup+2142.3 s]
/proc/loadavg: 3.10 2.38 2.17 6/198 1926
/proc/meminfo: memFree=18171352/32770624 swapFree=0/407836
[pid=1706] ppid=1703 vsize=56012 CPUtime=2142.28 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 61087 0 0 0 214226 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894019272 4893991 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 2142.28
Current children cumulated vsize (KiB) 56012
[startup+2202.31 s]
/proc/loadavg: 3.95 2.78 2.32 6/201 1931
/proc/meminfo: memFree=18171064/32770624 swapFree=0/407880
[pid=1706] ppid=1703 vsize=56012 CPUtime=2202.29 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 61087 0 0 0 220227 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894019272 5000032 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 2202.29
Current children cumulated vsize (KiB) 56012
[startup+2262.3 s]
/proc/loadavg: 4.65 3.20 2.50 7/201 1933
/proc/meminfo: memFree=18171492/32770624 swapFree=0/407892
[pid=1706] ppid=1703 vsize=56012 CPUtime=2262.29 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 61169 0 0 0 226227 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894019272 4915712 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 2262.29
Current children cumulated vsize (KiB) 56012
[startup+2322.3 s]
/proc/loadavg: 4.57 3.43 2.62 6/197 1936
/proc/meminfo: memFree=18171588/32770624 swapFree=0/407912
[pid=1706] ppid=1703 vsize=56012 CPUtime=2322.29 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 61321 0 0 0 232227 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894019272 5000032 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 2322.29
Current children cumulated vsize (KiB) 56012
[startup+2382.3 s]
/proc/loadavg: 4.54 3.64 2.74 6/198 1939
/proc/meminfo: memFree=18171608/32770624 swapFree=0/407928
[pid=1706] ppid=1703 vsize=56012 CPUtime=2382.29 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 61321 0 0 0 238227 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894019272 4893991 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 2382.29
Current children cumulated vsize (KiB) 56012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 4.37 3.66 2.77 3/185 2062
/proc/meminfo: memFree=31438780/32770624 swapFree=0/407760
[pid=1706] ppid=1703 vsize=56012 CPUtime=2400.09 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 61413 0 0 0 240007 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894019272 4911980 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 56012
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 1706 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 4.37 3.66 2.77 3/185 2062
/proc/meminfo: memFree=31438780/32770624 swapFree=0/407760
[pid=1706] ppid=1703 vsize=56012 CPUtime=2400.09 cores=0,2,4,6
/proc/1706/stat : 1706 (cosoco) R 1703 1706 25139 0 -1 4202496 61413 0 0 0 240007 2 0 0 20 0 1 0 51208891 57356288 8158 18446744073709551615 4194304 5747388 140734894032000 140734894019272 4911980 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 33480704 140734894039534 140734894039629 140734894039629 140734894043086 0
/proc/1706/statm: 14003 8158 761 380 0 7421 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 56012
Child status: 1
Real time (s): 2400.1
CPU time (s): 2400.1
CPU user time (s): 2400.08
CPU system time (s): 0.028001
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 56012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.028001
maximum resident set size= 32708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61477
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= 15
involuntary context switches= 610
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.58473 second user time and 8.85232 second system time
The end