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-4259893-1502029962/watcher-4259893-1502029962 -o /tmp/evaluation-result-4259893-1502029962/solver-4259893-1502029962 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502014384-22616 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259893-1502029962.xml
pid=25540
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.00 2.01 2.05 3/180 25543
/proc/meminfo: memFree=31701336/32770624 swapFree=0/345296
[pid=25543] ppid=25540 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/25543/stat : 25543 (runsolver) D 25540 25543 21827 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 5192008 24240128 108 18446744073709551615 4194304 4338465 140720928525648 140720928523288 140401848636119 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 19824640 140720928530626 140720928531018 140720928531018 140720928534474 0
/proc/25543/statm: 5918 108 54 36 0 2156 0
[startup+0.103984 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 25543
/proc/meminfo: memFree=31701336/32770624 swapFree=0/345296
[pid=25543] ppid=25540 vsize=26776 CPUtime=0.01 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1013 0 0 0 1 0 0 0 20 0 1 0 5192008 27418624 825 18446744073709551615 4194304 5747388 140720967786832 140720967784360 4947948 0 0 1 8405026 0 0 0 17 6 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26776
[startup+0.201055 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 25543
/proc/meminfo: memFree=31701336/32770624 swapFree=0/345296
[pid=25543] ppid=25540 vsize=26776 CPUtime=0.1 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1014 0 0 0 10 0 0 0 20 0 1 0 5192008 27418624 825 18446744073709551615 4194304 5747388 140720967786832 140720967774104 4946833 0 0 1 8405026 0 0 0 17 6 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 26776
[startup+0.301055 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 25543
/proc/meminfo: memFree=31701336/32770624 swapFree=0/345296
[pid=25543] ppid=25540 vsize=26776 CPUtime=0.2 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1014 0 0 0 20 0 0 0 20 0 1 0 5192008 27418624 825 18446744073709551615 4194304 5747388 140720967786832 140720967784360 4946808 0 0 1 8405026 0 0 0 17 6 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 26776
[startup+0.700275 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 25543
/proc/meminfo: memFree=31701336/32770624 swapFree=0/345296
[pid=25543] ppid=25540 vsize=26776 CPUtime=0.6 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1014 0 0 0 60 0 0 0 20 0 1 0 5192008 27418624 825 18446744073709551615 4194304 5747388 140720967786832 140720967784360 5025380 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 26776
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25544
/proc/meminfo: memFree=31701000/32770624 swapFree=0/345300
[pid=25543] ppid=25540 vsize=26776 CPUtime=1.4 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1014 0 0 0 140 0 0 0 20 0 1 0 5192008 27418624 825 18446744073709551615 4194304 5747388 140720967786832 140720967784360 5025579 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 26776
[startup+3.10027 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25544
/proc/meminfo: memFree=31700628/32770624 swapFree=0/345300
[pid=25543] ppid=25540 vsize=26776 CPUtime=3 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1055 0 0 0 300 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967774104 5025570 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 26776
[startup+6.30028 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 25544
/proc/meminfo: memFree=31700468/32770624 swapFree=0/345308
[pid=25543] ppid=25540 vsize=26776 CPUtime=6.2 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1096 0 0 0 620 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967784360 5025404 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 26776
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 25544
/proc/meminfo: memFree=31699848/32770624 swapFree=0/345312
[pid=25543] ppid=25540 vsize=26776 CPUtime=12.6 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1120 0 0 0 1260 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967774104 5025344 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 26776
[startup+25.5003 s]
/proc/loadavg: 1.94 2.00 2.04 3/181 25544
/proc/meminfo: memFree=31699852/32770624 swapFree=0/345320
[pid=25543] ppid=25540 vsize=26776 CPUtime=25.4 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1183 0 0 0 2540 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967784360 5025404 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 26776
[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 25545
/proc/meminfo: memFree=31699936/32770624 swapFree=0/345352
[pid=25543] ppid=25540 vsize=26776 CPUtime=51 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1226 0 0 0 5100 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967774104 5025392 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 26776
[startup+102.3 s]
/proc/loadavg: 2.06 2.01 2.05 3/186 25563
/proc/meminfo: memFree=31696084/32770624 swapFree=0/345440
[pid=25543] ppid=25540 vsize=26776 CPUtime=102.2 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1267 0 0 0 10220 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967784360 5025579 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 26776
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/186 25565
/proc/meminfo: memFree=31695872/32770624 swapFree=0/345480
[pid=25543] ppid=25540 vsize=26776 CPUtime=162.19 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1291 0 0 0 16219 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967774104 5025344 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 26776
[startup+222.306 s]
/proc/loadavg: 2.01 2.01 2.05 3/183 25567
/proc/meminfo: memFree=31698580/32770624 swapFree=0/345508
[pid=25543] ppid=25540 vsize=26776 CPUtime=222.19 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1315 0 0 0 22219 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967774104 5025585 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 26776
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 25569
/proc/meminfo: memFree=31698512/32770624 swapFree=0/345536
[pid=25543] ppid=25540 vsize=26776 CPUtime=282.18 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1339 0 0 0 28218 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967774104 4947456 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 26776
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 25571
/proc/meminfo: memFree=31698892/32770624 swapFree=0/345572
[pid=25543] ppid=25540 vsize=26776 CPUtime=342.18 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1380 0 0 0 34218 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967774104 5025392 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 26776
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25574
/proc/meminfo: memFree=31698640/32770624 swapFree=0/345632
[pid=25543] ppid=25540 vsize=26776 CPUtime=402.17 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1421 0 0 0 40217 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967774104 5025344 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 26776
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25576
/proc/meminfo: memFree=31698888/32770624 swapFree=0/345664
[pid=25543] ppid=25540 vsize=26776 CPUtime=462.17 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1445 0 0 0 46217 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967774104 4947013 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 26776
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25700
/proc/meminfo: memFree=31700168/32770624 swapFree=0/345672
[pid=25543] ppid=25540 vsize=26776 CPUtime=522.16 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1469 0 0 0 52216 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967774104 5142941 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 26776
[startup+582.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 25703
/proc/meminfo: memFree=31700552/32770624 swapFree=0/345836
[pid=25543] ppid=25540 vsize=26776 CPUtime=582.16 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1493 0 0 0 58216 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967774104 4947456 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 26776
################
# More data... #
################
/proc/loadavg: 2.03 2.02 2.05 3/181 25731
/proc/meminfo: memFree=31699032/32770624 swapFree=0/346200
[pid=25543] ppid=25540 vsize=26776 CPUtime=1002.12 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1695 0 0 0 100212 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967784360 5025404 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 26776
[startup+1062.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 25733
/proc/meminfo: memFree=31699112/32770624 swapFree=0/346220
[pid=25543] ppid=25540 vsize=26776 CPUtime=1062.12 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1734 0 0 0 106212 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967784360 4949594 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 26776
[startup+1122.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 25735
/proc/meminfo: memFree=31699116/32770624 swapFree=0/346276
[pid=25543] ppid=25540 vsize=26776 CPUtime=1122.11 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1760 0 0 0 112211 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967774104 4947445 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 26776
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 25736
/proc/meminfo: memFree=31699124/32770624 swapFree=0/346300
[pid=25543] ppid=25540 vsize=26776 CPUtime=1182.11 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1784 0 0 0 118211 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967774104 4947632 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 26776
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 25739
/proc/meminfo: memFree=31698720/32770624 swapFree=0/346336
[pid=25543] ppid=25540 vsize=26776 CPUtime=1242.1 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1823 0 0 0 124210 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967784360 4949091 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 26776
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 25754
/proc/meminfo: memFree=31694536/32770624 swapFree=0/346420
[pid=25543] ppid=25540 vsize=26776 CPUtime=1302.1 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1849 0 0 0 130210 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967774104 4947948 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 26776
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 25756
/proc/meminfo: memFree=31694532/32770624 swapFree=0/346464
[pid=25543] ppid=25540 vsize=26776 CPUtime=1362.09 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1888 0 0 0 136209 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967784360 5025371 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 26776
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25758
/proc/meminfo: memFree=31698160/32770624 swapFree=0/346496
[pid=25543] ppid=25540 vsize=26776 CPUtime=1422.09 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1912 0 0 0 142209 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967784360 4946808 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 1422.09
Current children cumulated vsize (KiB) 26776
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25760
/proc/meminfo: memFree=31698104/32770624 swapFree=0/346516
[pid=25543] ppid=25540 vsize=26776 CPUtime=1482.08 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1936 0 0 0 148208 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967784360 4946991 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 1482.08
Current children cumulated vsize (KiB) 26776
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25543 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1484.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25761
/proc/meminfo: memFree=31698240/32770624 swapFree=0/346520
[pid=25543] ppid=25540 vsize=26776 CPUtime=1484.58 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1936 0 0 0 148458 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967784360 5025344 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 1484.58
Current children cumulated vsize (KiB) 26776
[startup+1510.41 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25761
/proc/meminfo: memFree=31698360/32770624 swapFree=0/346540
[pid=25543] ppid=25540 vsize=26776 CPUtime=1510.19 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1960 0 0 0 151019 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967784360 4947432 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 1510.19
Current children cumulated vsize (KiB) 26776
[startup+1523.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25761
/proc/meminfo: memFree=31698360/32770624 swapFree=0/346544
[pid=25543] ppid=25540 vsize=26776 CPUtime=1522.98 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1960 0 0 0 152298 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967784360 4947728 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 1522.98
Current children cumulated vsize (KiB) 26776
[startup+1529.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25761
/proc/meminfo: memFree=31698360/32770624 swapFree=0/346556
[pid=25543] ppid=25540 vsize=26776 CPUtime=1529.38 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1960 0 0 0 152938 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967784360 4947159 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 1529.38
Current children cumulated vsize (KiB) 26776
[startup+1532.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25761
/proc/meminfo: memFree=31698360/32770624 swapFree=0/346556
[pid=25543] ppid=25540 vsize=26776 CPUtime=1532.58 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1960 0 0 0 153258 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967784360 5025413 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 1532.58
Current children cumulated vsize (KiB) 26776
[startup+1536 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25762
/proc/meminfo: memFree=31698484/32770624 swapFree=0/346556
[pid=25543] ppid=25540 vsize=26776 CPUtime=1535.78 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1960 0 0 0 153578 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967784360 4947288 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 1535.78
Current children cumulated vsize (KiB) 26776
[startup+1536.81 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25762
/proc/meminfo: memFree=31698484/32770624 swapFree=0/346556
[pid=25543] ppid=25540 vsize=26776 CPUtime=1536.58 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1960 0 0 0 153658 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967784360 5025570 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 1536.58
Current children cumulated vsize (KiB) 26776
[startup+1537.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25762
/proc/meminfo: memFree=31698484/32770624 swapFree=0/346556
[pid=25543] ppid=25540 vsize=26776 CPUtime=1536.98 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1960 0 0 0 153698 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967784360 5025418 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 1536.98
Current children cumulated vsize (KiB) 26776
[startup+1537.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25762
/proc/meminfo: memFree=31698484/32770624 swapFree=0/346556
[pid=25543] ppid=25540 vsize=26776 CPUtime=1537.38 cores=0,2,4,6
/proc/25543/stat : 25543 (cosoco) R 25540 25543 21827 0 -1 4202496 1960 0 0 0 153738 0 0 0 20 0 1 0 5192008 27418624 856 18446744073709551615 4194304 5747388 140720967786832 140720967784360 5025392 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 14794752 140720967791087 140720967791182 140720967791182 140720967794638 0
/proc/25543/statm: 6694 856 756 380 0 112 0
Current children cumulated CPU time (s) 1537.38
Current children cumulated vsize (KiB) 26776
Child status: 0
Real time (s): 1537.63
CPU time (s): 1537.42
CPU user time (s): 1537.42
CPU system time (s): 0.001999
CPU usage (%): 99.986
Max. virtual memory (cumulated for all children) (KiB): 26776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1537.42
system time used= 0.001999
maximum resident set size= 3504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2019
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 1928
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.46005 second user time and 5.40537 second system time
The end