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 (15162 MiB free)
memory of node 1: 16384 MiB (15297 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397064-1568572785/watcher-4397064-1568572785 -o /tmp/evaluation-result-4397064-1568572785/solver-4397064-1568572785 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568569089-22859 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397064-1568572785.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
Current StackSize limit: 8192 KiB
solver pid=22889, runsolver pid=22886
[startup+0.100199 s]*
/proc/loadavg: 0.00 0.01 0.05 3/198 22890
/proc/meminfo: memFree=31190300/32770624 swapFree=66938672/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4216 CPUtime=0.09 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 1224 0 0 0 9 0 0 0 20 0 1 0 433536780 28151808 1054 33554432000 4194304 6211092 140728908114064 140728908110552 5250224 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1054 896 493 0 178 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4216 KiB
[startup+0.209428 s]*
/proc/loadavg: 0.00 0.01 0.05 3/198 22890
/proc/meminfo: memFree=31190300/32770624 swapFree=66938672/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4216 CPUtime=0.2 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 1224 0 0 0 20 0 0 0 20 0 1 0 433536780 28151808 1054 33554432000 4194304 6211092 140728908114064 140728908110552 5250450 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1054 896 493 0 178 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4216 KiB
[startup+0.309118 s]*
/proc/loadavg: 0.00 0.01 0.05 3/198 22890
/proc/meminfo: memFree=31190300/32770624 swapFree=66938672/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4216 CPUtime=0.29 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 1224 0 0 0 29 0 0 0 20 0 1 0 433536780 28151808 1054 33554432000 4194304 6211092 140728908114064 140728908112200 5027225 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1054 896 493 0 178 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4216 KiB
[startup+0.700333 s]
/proc/loadavg: 0.00 0.01 0.05 3/198 22890
/proc/meminfo: memFree=31190300/32770624 swapFree=66938672/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4216 CPUtime=0.68 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 1224 0 0 0 68 0 0 0 20 0 1 0 433536780 28151808 1054 33554432000 4194304 6211092 140728908114064 140728908112200 5250234 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1054 896 493 0 178 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4216 KiB
[startup+1.50034 s]
/proc/loadavg: 0.00 0.01 0.05 3/198 22890
/proc/meminfo: memFree=31190780/32770624 swapFree=66938672/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4216 CPUtime=1.48 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 1224 0 0 0 148 0 0 0 20 0 1 0 433536780 28151808 1054 33554432000 4194304 6211092 140728908114064 140728908112200 5158160 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1054 896 493 0 178 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4216 KiB
[startup+3.10908 s]
/proc/loadavg: 0.00 0.01 0.05 3/198 22890
/proc/meminfo: memFree=31191144/32770624 swapFree=66938672/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=3.09 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 1316 0 0 0 309 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908112200 5193754 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+6.30034 s]
/proc/loadavg: 0.16 0.05 0.06 3/198 22890
/proc/meminfo: memFree=31191060/32770624 swapFree=66938672/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=6.28 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 1408 0 0 0 628 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908112200 5380270 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+12.7003 s]
/proc/loadavg: 0.31 0.08 0.07 3/199 22892
/proc/meminfo: memFree=31190660/32770624 swapFree=66938672/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=12.68 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 1500 0 0 0 1268 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908112200 5404016 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+25.5003 s]
/proc/loadavg: 0.68 0.17 0.10 3/198 22892
/proc/meminfo: memFree=31191464/32770624 swapFree=66938672/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=25.48 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 1701 0 0 0 2548 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908112200 5397216 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+51.1091 s]
/proc/loadavg: 1.13 0.32 0.15 3/198 22893
/proc/meminfo: memFree=31191796/32770624 swapFree=66938672/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=51.09 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 1810 0 0 0 5109 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908101944 5155525 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+102.3 s]
/proc/loadavg: 1.62 0.58 0.25 3/198 22899
/proc/meminfo: memFree=31191468/32770624 swapFree=66938672/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=102.29 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 1902 0 0 0 10229 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908101944 5250287 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+162.3 s]
/proc/loadavg: 1.77 0.81 0.34 3/197 22974
/proc/meminfo: memFree=30374368/32770624 swapFree=66938676/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=162.29 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 1994 0 0 0 16229 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908101944 5250467 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+222.3 s]
/proc/loadavg: 1.91 1.02 0.45 3/198 22979
/proc/meminfo: memFree=27267776/32770624 swapFree=66938676/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=222.3 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 2086 0 0 0 22230 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908101944 5250289 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+282.3 s]
/proc/loadavg: 1.97 1.20 0.55 3/198 22985
/proc/meminfo: memFree=25713092/32770624 swapFree=66938676/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=282.3 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 2086 0 0 0 28230 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908101944 5250251 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.35 0.64 3/198 22989
/proc/meminfo: memFree=22942580/32770624 swapFree=66938676/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=342.31 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 2178 0 0 0 34231 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908101944 5148860 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.47 0.72 3/198 22993
/proc/meminfo: memFree=20548424/32770624 swapFree=66938676/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=402.31 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 2178 0 0 0 40231 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908101944 5155707 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+462.3 s]
/proc/loadavg: 2.05 1.58 0.81 3/198 22999
/proc/meminfo: memFree=18471184/32770624 swapFree=66938676/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=462.32 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 2270 0 0 0 46232 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908101944 5389408 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+522.3 s]
/proc/loadavg: 2.02 1.66 0.88 3/199 23065
/proc/meminfo: memFree=29954300/32770624 swapFree=66938676/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=522.32 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 2270 0 0 0 52232 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908101944 5250450 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 522.32 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+574.304 s]
# the end of solver process 22889 was just reported to runsolver
# cumulated CPU time of all completed processes: user=574.336 s, system=0.001381 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+547.8 s]
/proc/loadavg: 2.87 1.90 0.98 3/199 23070
/proc/meminfo: memFree=30880428/32770624 swapFree=66938676/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=547.83 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 2362 0 0 0 54783 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908101944 5156460 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 547.83 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+560.6 s]
/proc/loadavg: 2.90 1.96 1.02 3/198 23070
/proc/meminfo: memFree=30881256/32770624 swapFree=66938676/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=560.63 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 2362 0 0 0 56063 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908101944 5148878 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 560.63 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+567 s]
/proc/loadavg: 2.91 1.97 1.03 3/198 23070
/proc/meminfo: memFree=30881440/32770624 swapFree=66938676/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=567.03 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 2362 0 0 0 56703 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908101944 5250224 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 567.03 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+570.2 s]*
/proc/loadavg: 2.92 1.99 1.04 3/198 23070
/proc/meminfo: memFree=30881440/32770624 swapFree=66938676/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=570.24 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 2362 0 0 0 57024 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908101944 5158128 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 570.24 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+571.8 s]
/proc/loadavg: 2.92 1.99 1.04 3/198 23070
/proc/meminfo: memFree=30881440/32770624 swapFree=66938676/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=571.83 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 2362 0 0 0 57183 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908101944 5250459 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 571.83 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+573.4 s]
/proc/loadavg: 2.92 1.99 1.04 3/198 23070
/proc/meminfo: memFree=30881440/32770624 swapFree=66938676/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=573.43 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 2362 0 0 0 57343 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908101944 5250234 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 573.43 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+573.8 s]
/proc/loadavg: 2.92 1.99 1.04 3/198 23070
/proc/meminfo: memFree=30881440/32770624 swapFree=66938676/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=573.83 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 2362 0 0 0 57383 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908101944 5155345 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 573.83 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
[startup+574.2 s]*
/proc/loadavg: 2.92 1.99 1.04 3/198 23070
/proc/meminfo: memFree=30881440/32770624 swapFree=66938676/67108860
[pid=22889] ppid=22886 vsize=27492 memory=4248 CPUtime=574.24 cores=0,2,4,6
/proc/22889/stat : 22889 (cosoco) R 22886 22889 22828 0 -1 4202496 2362 0 0 0 57424 0 0 0 20 0 1 0 433536780 28151808 1062 33554432000 4194304 6211092 140728908114064 140728908101944 5186312 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21024768 140728908121099 140728908121201 140728908121201 140728908124110 0
/proc/22889/statm: 6873 1062 896 493 0 178 0
Current children cumulated CPU time: 574.24 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4248 KiB
Child status: 0
Real time (s): 574.304
CPU time (s): 574.338
CPU user time (s): 574.336
CPU system time (s): 0.001381
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 27492
Max. memory (cumulated for all children) (KiB): 4248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 574.336
system time used= 0.001381
maximum resident set size= 4312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2414
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= 25
involuntary context switches= 723
# summary of solver processes directly reported to runsolver:
# pid: 22889
# total CPU time (s): 574.338
# total CPU user time (s): 574.336
# total CPU system time (s): 0.001381
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.52551 second user time and 4.24733 second system time
The end