runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14996 MiB free)
memory of node 1: 16384 MiB (15566 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266228-1502583703/watcher-4266228-1502583703 -o /tmp/evaluation-result-4266228-1502583703/solver-4266228-1502583703 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502565138-11649 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266228-1502583703.xml
running on 4 cores: 0,2,4,6
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16091, runsolver pid=16088
Current StackSize limit: 8192 KiB
[startup+0.100199 s]*
/proc/loadavg: 1.85 1.98 2.03 3/181 16098
/proc/meminfo: memFree=31295764/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=27348 memory=3328 CPUtime=0.03 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 1046 0 0 0 3 0 0 0 20 0 1 0 46711093 28004352 832 18446744073709551615 4194304 5972588 140736022305888 140736022302536 140422833458149 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 6837 832 723 435 0 200 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 27348 KiB
Current children cumulated memory: 3328 KiB
[startup+0.209104 s]*
/proc/loadavg: 1.85 1.98 2.03 2/179 16098
/proc/meminfo: memFree=31294276/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=28648 memory=4440 CPUtime=0.13 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 1436 0 0 0 13 0 0 0 20 0 1 0 46711093 29335552 1110 18446744073709551615 4194304 5972588 140736022305888 140736022302536 140422833458149 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 7162 1110 723 435 0 525 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28648 KiB
Current children cumulated memory: 4440 KiB
[startup+0.308902 s]*
/proc/loadavg: 1.85 1.98 2.03 2/177 16100
/proc/meminfo: memFree=31294312/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=29308 memory=5228 CPUtime=0.23 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 1667 0 0 0 23 0 0 0 20 0 1 0 46711093 30011392 1307 18446744073709551615 4194304 5972588 140736022305888 140736022302536 140422833458149 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 7327 1307 723 435 0 690 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 29308 KiB
Current children cumulated memory: 5228 KiB
[startup+0.70035 s]
/proc/loadavg: 1.85 1.98 2.03 3/181 16114
/proc/meminfo: memFree=31289188/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=33856 memory=8684 CPUtime=0.62 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 3106 0 0 0 62 0 0 0 20 0 1 0 46711093 34668544 2171 18446744073709551615 4194304 5972588 140736022305888 140736022302456 140422833458149 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 8464 2171 723 435 0 1827 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 33856 KiB
Current children cumulated memory: 8684 KiB
[startup+1.50037 s]
/proc/loadavg: 1.85 1.98 2.03 2/177 16133
/proc/meminfo: memFree=31287820/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=41812 memory=17616 CPUtime=1.41 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 5053 0 0 0 141 0 0 0 20 0 1 0 46711093 42815488 4404 18446744073709551615 4194304 5972588 140736022305888 140736022302456 140422833458149 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 10453 4404 723 435 0 3816 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 41812 KiB
Current children cumulated memory: 17616 KiB
[startup+3.10937 s]
/proc/loadavg: 2.02 2.02 2.05 6/194 16188
/proc/meminfo: memFree=31182604/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=57724 memory=31292 CPUtime=3.03 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 8538 0 0 0 302 1 0 0 20 0 1 0 46711093 59109376 7823 18446744073709551615 4194304 5972588 140736022305888 140736022302456 5673561 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 14431 7823 723 435 0 7794 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 57724 KiB
Current children cumulated memory: 31292 KiB
[startup+6.30034 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 16220
/proc/meminfo: memFree=31210968/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=89284 memory=60944 CPUtime=6.21 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 14416 0 0 0 619 2 0 0 20 0 1 0 46711093 91426816 15236 18446744073709551615 4194304 5972588 140736022305888 140736022300472 140422833458149 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 22321 15236 723 435 0 15684 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 89284 KiB
Current children cumulated memory: 60944 KiB
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 16220
/proc/meminfo: memFree=31154128/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=152800 memory=118244 CPUtime=12.61 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 25123 0 0 0 1256 5 0 0 20 0 1 0 46711093 156467200 29561 18446744073709551615 4194304 5972588 140736022305888 140736022302456 140422833896448 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 38200 29561 723 435 0 31563 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 152800 KiB
Current children cumulated memory: 118244 KiB
[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 16220
/proc/meminfo: memFree=31034168/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=279700 memory=234996 CPUtime=25.41 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 45630 0 0 0 2530 11 0 0 20 0 1 0 46711093 286412800 58749 18446744073709551615 4194304 5972588 140736022305888 140736022302456 140422833458149 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 69925 58749 723 435 0 63288 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 279700 KiB
Current children cumulated memory: 234996 KiB
[startup+51.1091 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 16220
/proc/meminfo: memFree=30798192/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=533764 memory=468676 CPUtime=51.01 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 85628 0 0 0 5081 20 0 0 20 0 1 0 46711093 546574336 117169 18446744073709551615 4194304 5972588 140736022305888 140736022302456 140422833458149 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 133441 117169 723 435 0 126804 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 533764 KiB
Current children cumulated memory: 468676 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16222
/proc/meminfo: memFree=29684804/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=102.2 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 406906 0 0 0 10153 67 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935663 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 16239
/proc/meminfo: memFree=29679912/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=162.2 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 479266 0 0 0 16151 69 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935681 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 16241
/proc/meminfo: memFree=29679788/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=222.19 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 558959 0 0 0 22147 72 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935456 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 16243
/proc/meminfo: memFree=29683120/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=282.18 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 604919 0 0 0 28145 73 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935585 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 16245
/proc/meminfo: memFree=29683156/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=342.18 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 749006 0 0 0 34138 80 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935663 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 342.18 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 16247
/proc/meminfo: memFree=29683452/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=402.18 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 881490 0 0 0 40132 86 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935681 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16249
/proc/meminfo: memFree=29683504/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=462.18 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 1007414 0 0 0 46127 91 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935493 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
################
# More data... #
################
Current children cumulated memory: 1579652 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 16275
/proc/meminfo: memFree=29678012/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=762.17 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 1543624 0 0 0 76103 114 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935663 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 762.17 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 16277
/proc/meminfo: memFree=29679116/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=822.17 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 1585936 0 0 0 82100 117 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935502 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 822.17 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+882.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 16280
/proc/meminfo: memFree=29682920/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=882.17 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 1597149 0 0 0 88099 118 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935502 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 882.17 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+942.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 16282
/proc/meminfo: memFree=29683588/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=942.16 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 1605141 0 0 0 94098 118 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935585 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 942.16 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 16284
/proc/meminfo: memFree=29683500/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=1002.16 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 1606044 0 0 0 100098 118 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935493 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 1002.16 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+1062.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 16287
/proc/meminfo: memFree=29683424/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=1062.16 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 1606962 0 0 0 106098 118 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935463 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 1062.16 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 16289
/proc/meminfo: memFree=29683564/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=1122.15 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 1607851 0 0 0 112097 118 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935663 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 1122.15 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+1157.64 s]
# the end of solver process 16091 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1156.31 s, system=1.19296 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 16289
/proc/meminfo: memFree=29683572/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=1126.25 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 1607851 0 0 0 112507 118 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935692 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 1126.25 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+1139.2 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 16289
/proc/meminfo: memFree=29683696/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=1139.05 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 1607975 0 0 0 113787 118 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935657 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 1139.05 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+1145.6 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 16290
/proc/meminfo: memFree=29683696/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=1145.45 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 1608026 0 0 0 114427 118 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4934348 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 1145.45 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+1152 s]*
/proc/loadavg: 2.01 2.02 2.05 3/181 16290
/proc/meminfo: memFree=29683696/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=1151.86 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 1608056 0 0 0 115068 118 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935490 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 1151.86 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+1155.2 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 16291
/proc/meminfo: memFree=29683696/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=1155.05 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 1608056 0 0 0 115387 118 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935792 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 1155.05 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+1156.8 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 16291
/proc/meminfo: memFree=29683696/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=1156.65 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 1608107 0 0 0 115547 118 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935568 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 1156.65 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+1157.2 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 16291
/proc/meminfo: memFree=29683696/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=1157.05 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 1608107 0 0 0 115587 118 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935502 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 1157.05 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
[startup+1157.6 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 16291
/proc/meminfo: memFree=29683696/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=1610360 memory=1579652 CPUtime=1157.45 cores=0,2,4,6
/proc/16091/stat : 16091 (cosoco) R 16088 16091 11586 0 -1 4202496 1608107 0 0 0 115627 118 0 0 20 0 1 0 46711093 1649008640 394913 18446744073709551615 4194304 5972588 140736022305888 140736022303192 4935502 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 14655488 140736022311364 140736022311464 140736022311464 140736022314958 0
/proc/16091/statm: 402590 394913 776 435 0 395953 0
Current children cumulated CPU time: 1157.45 s
Current children cumulated vsize: 1610360 KiB
Current children cumulated memory: 1579652 KiB
Child status: 0
Real time (s): 1157.64
CPU time (s): 1157.5
CPU user time (s): 1156.31
CPU system time (s): 1.19296
CPU usage (%): 99.9883
Max. virtual memory (cumulated for all children) (KiB): 2161048
Max. memory (cumulated for all children) (KiB): 1974124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1156.31
system time used= 1.19296
maximum resident set size= 1974124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1608145
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= 84
involuntary context switches= 1472
# summary of solver processes directly reported to runsolver:
# pid: 16091
# total CPU time (s): 1157.5
# total CPU user time (s): 1156.31
# total CPU system time (s): 1.19296
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.7844 second user time and 9.12231 second system time
The end