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: 16375 MiB (15383 MiB free)
  memory of node 1: 16384 MiB (15338 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408780-1569787417/watcher-4408780-1569787417 -o /tmp/evaluation-result-4408780-1569787417/solver-4408780-1569787417 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408780-1569787417.xml 

running on 4 cores: 4-7

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=26456, runsolver pid=26453

[startup+0.100138 s]*
/proc/loadavg: 0.68 0.17 0.10 3/199 26457
/proc/meminfo: memFree=31455952/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=31576 memory=7908 CPUtime=0.1 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 2168 0 0 0 10 0 0 0 20 0 1 0 554683210 32333824 1977 33554432000 4194304 6211132 140729170032784 140729170027104 140314758933477 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 7894 1977 822 493 0 1199 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31576 KiB
Current children cumulated memory: 7908 KiB

[startup+0.21075 s]*
/proc/loadavg: 0.68 0.17 0.10 3/199 26457
/proc/meminfo: memFree=31451860/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=35652 memory=11984 CPUtime=0.21 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 3161 0 0 0 21 0 0 0 20 0 1 0 554683210 36507648 2996 33554432000 4194304 6211132 140729170032784 140729170027104 140314758933477 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 8913 2996 822 493 0 2218 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 11984 KiB

[startup+0.310403 s]*
/proc/loadavg: 0.68 0.17 0.10 3/199 26457
/proc/meminfo: memFree=31447824/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=39208 memory=15540 CPUtime=0.31 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 4060 0 0 0 30 1 0 0 20 0 1 0 554683210 40148992 3885 33554432000 4194304 6211132 140729170032784 140729170027104 140314758933477 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 9802 3885 822 493 0 3107 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39208 KiB
Current children cumulated memory: 15540 KiB

[startup+0.700361 s]
/proc/loadavg: 0.68 0.17 0.10 3/199 26457
/proc/meminfo: memFree=31440756/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28028 CPUtime=0.69 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 7232 0 0 0 67 2 0 0 20 0 1 0 554683210 52953088 7007 33554432000 4194304 6211132 140729170032784 140729170025672 5165640 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7007 867 493 0 6233 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28028 KiB

[startup+1.50029 s]
/proc/loadavg: 0.68 0.17 0.10 3/199 26457
/proc/meminfo: memFree=31433352/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28028 CPUtime=1.49 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 7232 0 0 0 147 2 0 0 20 0 1 0 554683210 52953088 7007 33554432000 4194304 6211132 140729170032784 140729170025672 5409476 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7007 867 493 0 6233 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28028 KiB

[startup+3.11018 s]
/proc/loadavg: 0.63 0.17 0.10 3/199 26457
/proc/meminfo: memFree=31433608/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28280 CPUtime=3.1 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 8280 0 0 0 308 2 0 0 20 0 1 0 554683210 52953088 7070 33554432000 4194304 6211132 140729170032784 140729170025672 5008852 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+6.30028 s]
/proc/loadavg: 0.63 0.17 0.10 3/199 26457
/proc/meminfo: memFree=31433824/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28280 CPUtime=6.29 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 9332 0 0 0 627 2 0 0 20 0 1 0 554683210 52953088 7070 33554432000 4194304 6211132 140729170032784 140729170030920 5409493 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+12.7003 s]
/proc/loadavg: 0.74 0.20 0.11 3/199 26458
/proc/meminfo: memFree=31433532/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28280 CPUtime=12.69 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 10382 0 0 0 1267 2 0 0 20 0 1 0 554683210 52953088 7070 33554432000 4194304 6211132 140729170032784 140729170030920 5409485 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+25.5003 s]
/proc/loadavg: 1.02 0.29 0.14 3/200 26460
/proc/meminfo: memFree=31432648/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28280 CPUtime=25.49 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 12480 0 0 0 2547 2 0 0 20 0 1 0 554683210 52953088 7070 33554432000 4194304 6211132 140729170032784 140729170030920 5165714 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+51.1102 s]
/proc/loadavg: 1.35 0.43 0.19 3/199 26460
/proc/meminfo: memFree=31433356/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=51.1 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 12841 0 0 0 5108 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5186208 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+102.3 s]
/proc/loadavg: 1.72 0.67 0.28 3/199 26464
/proc/meminfo: memFree=31432492/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=102.29 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 13040 0 0 0 10227 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5397419 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+162.3 s]
/proc/loadavg: 1.90 0.91 0.39 3/200 26470
/proc/meminfo: memFree=31432576/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=162.3 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 13239 0 0 0 16228 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5165632 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+222.3 s]
/proc/loadavg: 1.96 1.11 0.49 3/199 26474
/proc/meminfo: memFree=31432956/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=222.3 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 13438 0 0 0 22228 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5193765 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 1.27 0.58 3/199 26478
/proc/meminfo: memFree=31432648/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=282.31 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 13438 0 0 0 28229 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5397419 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+342.3 s]
/proc/loadavg: 1.99 1.40 0.67 3/200 26484
/proc/meminfo: memFree=31433216/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=342.31 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 13637 0 0 0 34229 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5409476 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.51 0.76 3/199 26488
/proc/meminfo: memFree=31433700/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=402.32 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 13637 0 0 0 40230 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5409489 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.60 0.83 3/200 26500
/proc/meminfo: memFree=31432900/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=462.32 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 13836 0 0 0 46230 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5397321 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB


################
# More data... #
################

Current children cumulated memory: 28288 KiB

[startup+702.3 s]
/proc/loadavg: 2.00 1.82 1.10 3/201 26520
/proc/meminfo: memFree=31432680/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=702.34 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 14234 0 0 0 70232 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5008827 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 702.34 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+762.3 s]
/proc/loadavg: 2.00 1.85 1.16 3/199 26524
/proc/meminfo: memFree=31433484/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=762.35 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 14234 0 0 0 76233 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5397384 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 762.35 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+822.3 s]
/proc/loadavg: 2.00 1.88 1.21 3/199 26528
/proc/meminfo: memFree=31433580/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=822.35 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 14433 0 0 0 82233 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5008831 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 822.35 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+882.3 s]
/proc/loadavg: 2.00 1.90 1.26 3/200 26534
/proc/meminfo: memFree=31433720/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=882.36 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 14433 0 0 0 88234 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5009136 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 882.36 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+942.3 s]
/proc/loadavg: 2.00 1.92 1.31 3/199 26538
/proc/meminfo: memFree=31433764/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=942.36 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 14632 0 0 0 94234 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5397332 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 942.36 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+1002.3 s]
/proc/loadavg: 2.00 1.93 1.35 3/199 26542
/proc/meminfo: memFree=31433124/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=1002.37 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 14632 0 0 0 100235 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5390520 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 1002.37 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+1062.3 s]
/proc/loadavg: 2.00 1.95 1.39 3/200 26555
/proc/meminfo: memFree=31432316/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=1062.38 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 14831 0 0 0 106236 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5165717 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 1062.38 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+1095.94 s]
# the end of solver process 26456 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1096 s, system=0.028002 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1075.2 s]
/proc/loadavg: 2.00 1.95 1.40 3/199 26555
/proc/meminfo: memFree=31432460/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=1075.28 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 14831 0 0 0 107526 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5390500 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 1075.28 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+1088 s]*
/proc/loadavg: 2.00 1.95 1.41 3/199 26556
/proc/meminfo: memFree=31432520/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=1088.09 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 14831 0 0 0 108807 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5396441 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 1088.09 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+1091.2 s]
/proc/loadavg: 2.00 1.95 1.41 3/199 26556
/proc/meminfo: memFree=31432768/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=1091.28 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 14831 0 0 0 109126 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5165656 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 1091.28 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+1094.4 s]
/proc/loadavg: 2.00 1.95 1.41 3/199 26557
/proc/meminfo: memFree=31432768/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=1094.48 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 14831 0 0 0 109446 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5008831 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 1094.48 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+1095.2 s]
/proc/loadavg: 2.00 1.95 1.41 3/199 26557
/proc/meminfo: memFree=31432760/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=1095.28 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 14831 0 0 0 109526 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5165649 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 1095.28 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+1095.6 s]
/proc/loadavg: 2.00 1.95 1.41 3/199 26557
/proc/meminfo: memFree=31432760/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=1095.68 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 14831 0 0 0 109566 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5165680 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 1095.68 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+1095.8 s]
/proc/loadavg: 2.00 1.95 1.41 3/199 26557
/proc/meminfo: memFree=31432760/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=1095.88 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 14831 0 0 0 109586 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5008831 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 1095.88 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

[startup+1095.9 s]
/proc/loadavg: 2.00 1.95 1.41 3/199 26557
/proc/meminfo: memFree=31432760/32770688 swapFree=67001368/67108860
[pid=26456] ppid=26453 vsize=51712 memory=28288 CPUtime=1095.98 cores=4-7
/proc/26456/stat : 26456 (cosoco) R 26453 26456 26332 0 -1 4202496 14831 0 0 0 109596 2 0 0 20 0 1 0 554683210 52953088 7072 33554432000 4194304 6211132 140729170032784 140729170030920 5397384 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30601216 140729170039819 140729170039921 140729170039921 140729170042830 0
/proc/26456/statm: 12928 7072 867 493 0 6233 0
Current children cumulated CPU time: 1095.98 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28288 KiB

Child status: 0
Real time (s): 1095.94
CPU time (s): 1096.03
CPU user time (s): 1096
CPU system time (s): 0.028002
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 51712
Max. memory (cumulated for all children) (KiB): 28288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1096
system time used= 0.028002
maximum resident set size= 28352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14922
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= 19
involuntary context switches= 278


# summary of solver processes directly reported to runsolver:
#   pid: 26456
#   total CPU time (s): 1096.03
#   total CPU user time (s): 1096
#   total CPU system time (s): 0.028002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.93325 second user time and 8.25342 second system time

The end