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-4267658-1502540284/watcher-4267658-1502540284 -o /tmp/evaluation-result-4267658-1502540284/solver-4267658-1502540284 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502500309-6741 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267658-1502540284.xml
pid=14374
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.02 2.06 2.05 2/181 14377
/proc/meminfo: memFree=31188996/32770624 swapFree=0/562836
[pid=14377] ppid=14374 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14377/stat : 14377 (runsolver) D 14374 14377 6677 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 56221836 24240128 106 18446744073709551615 4194304 4338465 140724838005344 140724838002984 140459135431383 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 31506432 140724838011074 140724838011465 140724838011465 140724838014922 0
/proc/14377/statm: 5918 106 53 36 0 2156 0
[startup+0.100153 s]
/proc/loadavg: 2.02 2.06 2.05 2/181 14377
/proc/meminfo: memFree=31188996/32770624 swapFree=0/562836
[pid=14377] ppid=14374 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14377/stat : 14377 (runsolver) D 14374 14377 6677 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 56221836 24240128 106 18446744073709551615 4194304 4338465 140724838005344 140724838002984 140459135431383 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 31506432 140724838011074 140724838011465 140724838011465 140724838014922 0
/proc/14377/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200321 s]
/proc/loadavg: 2.02 2.06 2.05 2/181 14377
/proc/meminfo: memFree=31188996/32770624 swapFree=0/562836
[pid=14377] ppid=14374 vsize=26996 CPUtime=0.09 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1032 0 0 0 9 0 0 0 20 0 1 0 56221836 27643904 832 18446744073709551615 4194304 5972588 140732354204512 140732354201160 5046159 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 832 738 435 0 112 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26996
[startup+0.30026 s]
/proc/loadavg: 2.02 2.06 2.05 2/181 14377
/proc/meminfo: memFree=31188996/32770624 swapFree=0/562836
[pid=14377] ppid=14374 vsize=26996 CPUtime=0.19 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1032 0 0 0 19 0 0 0 20 0 1 0 56221836 27643904 832 18446744073709551615 4194304 5972588 140732354204512 140732354201160 5139324 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 832 738 435 0 112 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26996
[startup+0.700219 s]
/proc/loadavg: 2.02 2.06 2.05 2/181 14377
/proc/meminfo: memFree=31188996/32770624 swapFree=0/562836
[pid=14377] ppid=14374 vsize=26996 CPUtime=0.59 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1032 0 0 0 59 0 0 0 20 0 1 0 56221836 27643904 832 18446744073709551615 4194304 5972588 140732354204512 140732354201160 5045983 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 832 738 435 0 112 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 26996
[startup+1.5002 s]
/proc/loadavg: 2.02 2.06 2.05 3/182 14378
/proc/meminfo: memFree=31188996/32770624 swapFree=0/562836
[pid=14377] ppid=14374 vsize=26996 CPUtime=1.39 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1032 0 0 0 139 0 0 0 20 0 1 0 56221836 27643904 832 18446744073709551615 4194304 5972588 140732354204512 140732354201160 5139264 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 832 738 435 0 112 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 26996
[startup+3.10022 s]
/proc/loadavg: 2.02 2.06 2.05 3/182 14378
/proc/meminfo: memFree=31188672/32770624 swapFree=0/562836
[pid=14377] ppid=14374 vsize=26996 CPUtime=2.99 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1069 0 0 0 299 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354191704 5046920 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 26996
[startup+6.30022 s]
/proc/loadavg: 2.02 2.06 2.05 3/182 14378
/proc/meminfo: memFree=31188116/32770624 swapFree=0/562836
[pid=14377] ppid=14374 vsize=26996 CPUtime=6.19 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1106 0 0 0 619 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354191704 5139329 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 26996
[startup+12.7002 s]
/proc/loadavg: 1.93 2.04 2.05 3/182 14379
/proc/meminfo: memFree=31188260/32770624 swapFree=0/562856
[pid=14377] ppid=14374 vsize=26996 CPUtime=12.59 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1126 0 0 0 1259 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354201960 5139324 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 26996
[startup+25.5003 s]
/proc/loadavg: 1.95 2.04 2.05 3/182 14379
/proc/meminfo: memFree=31188136/32770624 swapFree=0/562852
[pid=14377] ppid=14374 vsize=26996 CPUtime=25.39 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1166 0 0 0 2539 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354201960 5320528 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 26996
[startup+51.1003 s]
/proc/loadavg: 1.97 2.04 2.05 3/182 14379
/proc/meminfo: memFree=31188136/32770624 swapFree=0/562856
[pid=14377] ppid=14374 vsize=26996 CPUtime=50.99 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1203 0 0 0 5099 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354201960 5139281 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 26996
[startup+102.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/181 14381
/proc/meminfo: memFree=31188408/32770624 swapFree=0/562884
[pid=14377] ppid=14374 vsize=26996 CPUtime=102.19 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1257 0 0 0 10219 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354201960 5139264 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 26996
[startup+162.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/181 14383
/proc/meminfo: memFree=31187180/32770624 swapFree=0/562872
[pid=14377] ppid=14374 vsize=26996 CPUtime=162.18 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1295 0 0 0 16218 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354201960 5099674 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 26996
[startup+222.306 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 14385
/proc/meminfo: memFree=31187552/32770624 swapFree=0/562888
[pid=14377] ppid=14374 vsize=26996 CPUtime=222.18 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1333 0 0 0 22218 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354201960 5047162 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 26996
[startup+282.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/181 14387
/proc/meminfo: memFree=31187244/32770624 swapFree=0/562892
[pid=14377] ppid=14374 vsize=26996 CPUtime=282.18 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1371 0 0 0 28218 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354191704 5047901 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 26996
[startup+342.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 14389
/proc/meminfo: memFree=31187740/32770624 swapFree=0/562908
[pid=14377] ppid=14374 vsize=26996 CPUtime=342.17 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1392 0 0 0 34217 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354191704 5046297 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 26996
[startup+402.3 s]
/proc/loadavg: 2.10 2.06 2.05 3/184 14405
/proc/meminfo: memFree=31183108/32770624 swapFree=0/562904
[pid=14377] ppid=14374 vsize=26996 CPUtime=402.17 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1430 0 0 0 40217 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354191704 5046624 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 26996
[startup+462.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/184 14407
/proc/meminfo: memFree=31183456/32770624 swapFree=0/562912
[pid=14377] ppid=14374 vsize=26996 CPUtime=462.17 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1468 0 0 0 46217 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354191704 5046736 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 26996
[startup+522.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 14409
/proc/meminfo: memFree=31186736/32770624 swapFree=0/562928
[pid=14377] ppid=14374 vsize=26996 CPUtime=522.17 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1506 0 0 0 52217 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354191704 5139499 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 26996
[startup+582.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 14411
/proc/meminfo: memFree=31187360/32770624 swapFree=0/562960
[pid=14377] ppid=14374 vsize=26996 CPUtime=582.16 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1544 0 0 0 58216 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354201960 5046362 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 26996
[startup+642.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 14413
/proc/meminfo: memFree=31186908/32770624 swapFree=0/562948
[pid=14377] ppid=14374 vsize=26996 CPUtime=642.16 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1582 0 0 0 64216 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354191704 5048626 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 26996
[startup+702.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 14415
/proc/meminfo: memFree=31187156/32770624 swapFree=0/562960
[pid=14377] ppid=14374 vsize=26996 CPUtime=702.16 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1618 0 0 0 70216 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354201960 5048665 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 702.16
Current children cumulated vsize (KiB) 26996
[startup+762.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/181 14417
/proc/meminfo: memFree=31186828/32770624 swapFree=0/562972
[pid=14377] ppid=14374 vsize=26996 CPUtime=762.16 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1658 0 0 0 76216 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354191704 5048626 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 762.16
Current children cumulated vsize (KiB) 26996
[startup+822.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 14419
/proc/meminfo: memFree=31186584/32770624 swapFree=0/562968
[pid=14377] ppid=14374 vsize=26996 CPUtime=822.15 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1679 0 0 0 82215 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354191704 5046624 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 26996
[startup+882.306 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 14421
/proc/meminfo: memFree=31186216/32770624 swapFree=0/562972
[pid=14377] ppid=14374 vsize=26996 CPUtime=882.15 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1715 0 0 0 88215 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354201960 5048436 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 26996
[startup+942.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 14423
/proc/meminfo: memFree=31186812/32770624 swapFree=0/562992
[pid=14377] ppid=14374 vsize=26996 CPUtime=942.14 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1753 0 0 0 94214 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354201960 5139329 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 26996
[startup+1002.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/184 14439
/proc/meminfo: memFree=31183016/32770624 swapFree=0/563004
[pid=14377] ppid=14374 vsize=26996 CPUtime=1002.14 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1791 0 0 0 100214 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354201960 5047946 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 26996
[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/184 14441
/proc/meminfo: memFree=31183444/32770624 swapFree=0/563020
[pid=14377] ppid=14374 vsize=26996 CPUtime=1062.14 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1829 0 0 0 106214 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354191704 5046148 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 1062.14
Current children cumulated vsize (KiB) 26996
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14377 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1062.4 s]
/proc/loadavg: 2.03 2.04 2.05 3/184 14441
/proc/meminfo: memFree=31183444/32770624 swapFree=0/563020
[pid=14377] ppid=14374 vsize=26996 CPUtime=1062.24 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1829 0 0 0 106224 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354191704 5139324 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 26996
[startup+1075.2 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 14441
/proc/meminfo: memFree=31185528/32770624 swapFree=0/563020
[pid=14377] ppid=14374 vsize=26996 CPUtime=1075.04 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1829 0 0 0 107504 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354191704 5046005 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 1075.04
Current children cumulated vsize (KiB) 26996
[startup+1081.6 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 14441
/proc/meminfo: memFree=31185528/32770624 swapFree=0/563020
[pid=14377] ppid=14374 vsize=26996 CPUtime=1081.44 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1850 0 0 0 108144 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354191704 5139264 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 1081.44
Current children cumulated vsize (KiB) 26996
[startup+1083.2 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 14441
/proc/meminfo: memFree=31185528/32770624 swapFree=0/563020
[pid=14377] ppid=14374 vsize=26996 CPUtime=1083.04 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1850 0 0 0 108304 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354191704 5048417 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 1083.04
Current children cumulated vsize (KiB) 26996
[startup+1084 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 14442
/proc/meminfo: memFree=31185880/32770624 swapFree=0/563036
[pid=14377] ppid=14374 vsize=26996 CPUtime=1083.84 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1850 0 0 0 108384 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354191704 5048405 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 1083.84
Current children cumulated vsize (KiB) 26996
[startup+1084.4 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 14442
/proc/meminfo: memFree=31185880/32770624 swapFree=0/563036
[pid=14377] ppid=14374 vsize=26996 CPUtime=1084.24 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1850 0 0 0 108424 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354191704 5047531 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 1084.24
Current children cumulated vsize (KiB) 26996
[startup+1084.8 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 14442
/proc/meminfo: memFree=31185756/32770624 swapFree=0/563032
[pid=14377] ppid=14374 vsize=26996 CPUtime=1084.64 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1850 0 0 0 108464 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354191704 5338173 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 1084.64
Current children cumulated vsize (KiB) 26996
[startup+1084.9 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 14442
/proc/meminfo: memFree=31185756/32770624 swapFree=0/563032
[pid=14377] ppid=14374 vsize=26996 CPUtime=1084.74 cores=1,3,5,7
/proc/14377/stat : 14377 (cosoco) R 14374 14377 6677 0 -1 4202496 1850 0 0 0 108474 0 0 0 20 0 1 0 56221836 27643904 873 18446744073709551615 4194304 5972588 140732354204512 140732354191704 5139312 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16388096 140732354212334 140732354212429 140732354212429 140732354215886 0
/proc/14377/statm: 6749 873 776 435 0 112 0
Current children cumulated CPU time (s) 1084.74
Current children cumulated vsize (KiB) 26996
Child status: 0
Real time (s): 1084.96
CPU time (s): 1084.81
CPU user time (s): 1084.8
CPU system time (s): 0.003999
CPU usage (%): 99.9859
Max. virtual memory (cumulated for all children) (KiB): 26996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1084.8
system time used= 0.003999
maximum resident set size= 3572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1909
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= 281
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.94923 second user time and 4.20637 second system time
The end