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-4259887-1502029524/watcher-4259887-1502029524 -o /tmp/evaluation-result-4259887-1502029524/solver-4259887-1502029524 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502014216-3974 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259887-1502029524.xml
pid=6711
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.82 1.98 2.03 3/188 6714
/proc/meminfo: memFree=31499656/32770624 swapFree=0/343964
[pid=6714] ppid=6711 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6714/stat : 6714 (runsolver) D 6711 6714 2911 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 102605538 24240128 106 18446744073709551615 4194304 4338465 140720398227568 140720398225208 140380666442455 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 19345408 140720398233794 140720398234185 140720398234185 140720398237642 0
/proc/6714/statm: 5918 106 53 36 0 2156 0
[startup+0.100189 s]
/proc/loadavg: 1.82 1.98 2.03 3/188 6714
/proc/meminfo: memFree=31499656/32770624 swapFree=0/343964
[pid=6714] ppid=6711 vsize=26776 CPUtime=0.03 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1010 0 0 0 3 0 0 0 20 0 1 0 102605538 27418624 825 18446744073709551615 4194304 5747388 140737235409600 140737235406248 4947959 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 825 732 380 0 112 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26776
[startup+0.200336 s]
/proc/loadavg: 1.82 1.98 2.03 3/188 6714
/proc/meminfo: memFree=31499656/32770624 swapFree=0/343964
[pid=6714] ppid=6711 vsize=26776 CPUtime=0.13 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1010 0 0 0 13 0 0 0 20 0 1 0 102605538 27418624 825 18446744073709551615 4194304 5747388 140737235409600 140737235406248 4947292 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 825 732 380 0 112 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 26776
[startup+0.300315 s]
/proc/loadavg: 1.82 1.98 2.03 3/188 6714
/proc/meminfo: memFree=31499656/32770624 swapFree=0/343964
[pid=6714] ppid=6711 vsize=26776 CPUtime=0.23 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1010 0 0 0 23 0 0 0 20 0 1 0 102605538 27418624 825 18446744073709551615 4194304 5747388 140737235409600 140737235406248 4947305 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 825 732 380 0 112 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 26776
[startup+0.70028 s]
/proc/loadavg: 1.82 1.98 2.03 3/188 6714
/proc/meminfo: memFree=31499656/32770624 swapFree=0/343964
[pid=6714] ppid=6711 vsize=26776 CPUtime=0.63 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1010 0 0 0 63 0 0 0 20 0 1 0 102605538 27418624 825 18446744073709551615 4194304 5747388 140737235409600 140737235396872 4946988 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 825 732 380 0 112 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 26776
[startup+1.50028 s]
/proc/loadavg: 1.82 1.98 2.03 3/189 6715
/proc/meminfo: memFree=31499880/32770624 swapFree=0/343952
[pid=6714] ppid=6711 vsize=26776 CPUtime=1.43 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1010 0 0 0 143 0 0 0 20 0 1 0 102605538 27418624 825 18446744073709551615 4194304 5747388 140737235409600 140737235396872 5025392 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 825 732 380 0 112 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 26776
[startup+3.10028 s]
/proc/loadavg: 1.82 1.98 2.03 3/189 6715
/proc/meminfo: memFree=31499632/32770624 swapFree=0/343952
[pid=6714] ppid=6711 vsize=26776 CPUtime=3.03 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1047 0 0 0 303 0 0 0 20 0 1 0 102605538 27418624 825 18446744073709551615 4194304 5747388 140737235409600 140737235396872 5025344 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 825 732 380 0 112 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 26776
[startup+6.30028 s]
/proc/loadavg: 1.76 1.96 2.02 3/189 6715
/proc/meminfo: memFree=31499812/32770624 swapFree=0/343948
[pid=6714] ppid=6711 vsize=26776 CPUtime=6.23 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1084 0 0 0 623 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235396872 4947720 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 26776
[startup+12.7003 s]
/proc/loadavg: 1.78 1.96 2.02 3/189 6715
/proc/meminfo: memFree=31499440/32770624 swapFree=0/343956
[pid=6714] ppid=6711 vsize=26776 CPUtime=12.63 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1104 0 0 0 1263 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235407128 5025585 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 26776
[startup+25.5003 s]
/proc/loadavg: 1.83 1.96 2.02 3/189 6715
/proc/meminfo: memFree=31499564/32770624 swapFree=0/343960
[pid=6714] ppid=6711 vsize=26776 CPUtime=25.43 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1144 0 0 0 2543 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235407128 5025354 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 26776
[startup+51.1003 s]
/proc/loadavg: 1.89 1.96 2.02 3/186 6716
/proc/meminfo: memFree=31503172/32770624 swapFree=0/343944
[pid=6714] ppid=6711 vsize=26776 CPUtime=51.03 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1181 0 0 0 5103 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235407128 5142937 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 26776
[startup+102.3 s]
/proc/loadavg: 1.95 1.97 2.02 3/185 6717
/proc/meminfo: memFree=31502788/32770624 swapFree=0/343980
[pid=6714] ppid=6711 vsize=26776 CPUtime=102.23 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1235 0 0 0 10223 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235407128 5025392 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 26776
[startup+162.3 s]
/proc/loadavg: 2.09 2.01 2.04 3/185 6719
/proc/meminfo: memFree=31503016/32770624 swapFree=0/343996
[pid=6714] ppid=6711 vsize=26776 CPUtime=162.22 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1272 0 0 0 16222 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235407128 4947317 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 26776
[startup+222.306 s]
/proc/loadavg: 2.19 2.05 2.05 3/185 6721
/proc/meminfo: memFree=31503024/32770624 swapFree=0/344028
[pid=6714] ppid=6711 vsize=26776 CPUtime=222.22 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1309 0 0 0 22222 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235407128 4947632 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 26776
[startup+282.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/184 6723
/proc/meminfo: memFree=31503348/32770624 swapFree=0/344056
[pid=6714] ppid=6711 vsize=26776 CPUtime=282.21 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1346 0 0 0 28221 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235396872 5025392 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 26776
[startup+342.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 6726
/proc/meminfo: memFree=31503216/32770624 swapFree=0/344064
[pid=6714] ppid=6711 vsize=26776 CPUtime=342.21 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1366 0 0 0 34221 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235396872 5025371 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 26776
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 6728
/proc/meminfo: memFree=31503536/32770624 swapFree=0/344104
[pid=6714] ppid=6711 vsize=26776 CPUtime=402.2 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1403 0 0 0 40220 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235396872 4947295 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 26776
[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 6730
/proc/meminfo: memFree=31503056/32770624 swapFree=0/344148
[pid=6714] ppid=6711 vsize=26776 CPUtime=462.2 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1440 0 0 0 46220 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235396872 5025344 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 26776
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 6732
/proc/meminfo: memFree=31503140/32770624 swapFree=0/344192
[pid=6714] ppid=6711 vsize=26776 CPUtime=522.2 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1477 0 0 0 52220 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235396872 4947156 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 26776
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/189 6749
/proc/meminfo: memFree=31497964/32770624 swapFree=0/344228
[pid=6714] ppid=6711 vsize=26776 CPUtime=582.19 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1514 0 0 0 58219 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235407128 5025578 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 26776
[startup+642.3 s]
/proc/loadavg: 2.11 2.05 2.05 3/186 6751
/proc/meminfo: memFree=31500304/32770624 swapFree=0/344252
[pid=6714] ppid=6711 vsize=26776 CPUtime=642.19 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1551 0 0 0 64219 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235396872 4948593 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 26776
[startup+702.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 6753
/proc/meminfo: memFree=31501704/32770624 swapFree=0/344264
[pid=6714] ppid=6711 vsize=26776 CPUtime=702.19 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1587 0 0 0 70219 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235407128 4947953 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 702.19
Current children cumulated vsize (KiB) 26776
[startup+762.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 6756
/proc/meminfo: memFree=31501792/32770624 swapFree=0/344264
[pid=6714] ppid=6711 vsize=26776 CPUtime=762.19 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1625 0 0 0 76219 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235396872 5025354 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 762.19
Current children cumulated vsize (KiB) 26776
[startup+822.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/187 6759
/proc/meminfo: memFree=31502164/32770624 swapFree=0/344280
[pid=6714] ppid=6711 vsize=26776 CPUtime=822.18 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1645 0 0 0 82218 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235396872 4949516 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 822.18
Current children cumulated vsize (KiB) 26776
[startup+882.306 s]
/proc/loadavg: 1.99 2.01 2.04 3/186 6762
/proc/meminfo: memFree=31502220/32770624 swapFree=0/344324
[pid=6714] ppid=6711 vsize=26776 CPUtime=882.18 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1681 0 0 0 88218 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235407128 5025570 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 882.18
Current children cumulated vsize (KiB) 26776
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 6764
/proc/meminfo: memFree=31502352/32770624 swapFree=0/344364
[pid=6714] ppid=6711 vsize=26776 CPUtime=942.17 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1718 0 0 0 94217 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235407128 4946833 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 942.17
Current children cumulated vsize (KiB) 26776
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 6766
/proc/meminfo: memFree=31502316/32770624 swapFree=0/344384
[pid=6714] ppid=6711 vsize=26776 CPUtime=1002.17 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1755 0 0 0 100217 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235407128 5000090 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 1002.17
Current children cumulated vsize (KiB) 26776
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 6769
/proc/meminfo: memFree=31502212/32770624 swapFree=0/344408
[pid=6714] ppid=6711 vsize=26776 CPUtime=1062.17 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1792 0 0 0 106217 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235407128 4948416 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 1062.17
Current children cumulated vsize (KiB) 26776
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6714 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1062.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 6769
/proc/meminfo: memFree=31502212/32770624 swapFree=0/344408
[pid=6714] ppid=6711 vsize=26776 CPUtime=1062.27 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1792 0 0 0 106227 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235407128 5025404 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 26776
[startup+1075.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 6770
/proc/meminfo: memFree=31502212/32770624 swapFree=0/344408
[pid=6714] ppid=6711 vsize=26776 CPUtime=1075.07 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1792 0 0 0 107507 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235396872 4949560 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 1075.07
Current children cumulated vsize (KiB) 26776
[startup+1081.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 6770
/proc/meminfo: memFree=31502212/32770624 swapFree=0/344408
[pid=6714] ppid=6711 vsize=26776 CPUtime=1081.47 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1812 0 0 0 108147 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235396872 5025407 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 1081.47
Current children cumulated vsize (KiB) 26776
[startup+1084.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 6771
/proc/meminfo: memFree=31501840/32770624 swapFree=0/344420
[pid=6714] ppid=6711 vsize=26776 CPUtime=1084.66 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1812 0 0 0 108466 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235396872 4947964 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 1084.66
Current children cumulated vsize (KiB) 26776
[startup+1086.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 6771
/proc/meminfo: memFree=31501840/32770624 swapFree=0/344420
[pid=6714] ppid=6711 vsize=26776 CPUtime=1086.26 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1812 0 0 0 108626 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235396872 5025344 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 1086.26
Current children cumulated vsize (KiB) 26776
[startup+1086.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 6771
/proc/meminfo: memFree=31501964/32770624 swapFree=0/344420
[pid=6714] ppid=6711 vsize=26776 CPUtime=1086.67 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1812 0 0 0 108667 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235396872 5025409 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 1086.67
Current children cumulated vsize (KiB) 26776
[startup+1087 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 6771
/proc/meminfo: memFree=31501964/32770624 swapFree=0/344420
[pid=6714] ppid=6711 vsize=26776 CPUtime=1086.86 cores=0,2,4,6
/proc/6714/stat : 6714 (cosoco) R 6711 6714 2911 0 -1 4202496 1812 0 0 0 108686 0 0 0 20 0 1 0 102605538 27418624 851 18446744073709551615 4194304 5747388 140737235409600 140737235396872 4947676 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 39145472 140737235411438 140737235411533 140737235411533 140737235414990 0
/proc/6714/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 1086.86
Current children cumulated vsize (KiB) 26776
Child status: 0
Real time (s): 1087.01
CPU time (s): 1086.89
CPU user time (s): 1086.88
CPU system time (s): 0.008999
CPU usage (%): 99.9888
Max. virtual memory (cumulated for all children) (KiB): 26776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1086.88
system time used= 0.008999
maximum resident set size= 3484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1868
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= 6
involuntary context switches= 1761
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.63544 second user time and 3.79291 second system time
The end