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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397520-1568572789/watcher-4397520-1568572789 -o /tmp/evaluation-result-4397520-1568572789/solver-4397520-1568572789 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568572734-23145 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397520-1568572789.xml 

running on 4 cores: 1,3,5,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
solver pid=23235, runsolver pid=23232
Current StackSize limit: 8192 KiB


[startup+0.100109 s]*
/proc/loadavg: 0.17 0.05 0.06 3/205 23236
/proc/meminfo: memFree=31484160/32770624 swapFree=67010764/67108860
[pid=23235] ppid=23232 vsize=32232 memory=8564 CPUtime=0.1 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 2309 0 0 0 10 0 0 0 20 0 1 0 433201573 33005568 2141 33554432000 4194304 6211092 140729610664608 140729610661144 139870481861605 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 8058 2141 822 493 0 1363 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32232 KiB
Current children cumulated memory: 8564 KiB

[startup+0.209912 s]*
/proc/loadavg: 0.17 0.05 0.06 3/205 23236
/proc/meminfo: memFree=31479324/32770624 swapFree=67010764/67108860
[pid=23235] ppid=23232 vsize=36704 memory=12908 CPUtime=0.21 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 3441 0 0 0 21 0 0 0 20 0 1 0 433201573 37584896 3227 33554432000 4194304 6211092 140729610664608 140729610657912 139870481861605 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 9176 3227 822 493 0 2481 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36704 KiB
Current children cumulated memory: 12908 KiB

[startup+0.309858 s]*
/proc/loadavg: 0.17 0.05 0.06 3/205 23236
/proc/meminfo: memFree=31465228/32770624 swapFree=67010764/67108860
[pid=23235] ppid=23232 vsize=40916 memory=17116 CPUtime=0.3 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 4475 0 0 0 30 0 0 0 20 0 1 0 433201573 41897984 4279 33554432000 4194304 6211092 140729610664608 140729610657912 139870481861605 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 10229 4279 822 493 0 3534 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40916 KiB
Current children cumulated memory: 17116 KiB

[startup+0.700269 s]
/proc/loadavg: 0.39 0.10 0.07 3/205 23236
/proc/meminfo: memFree=31459728/32770624 swapFree=67010764/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28156 CPUtime=0.69 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 7232 0 0 0 68 1 0 0 20 0 1 0 433201573 52953088 7039 33554432000 4194304 6211092 140729610664608 140729610659048 5165664 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7039 867 493 0 6233 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28156 KiB

[startup+1.50023 s]
/proc/loadavg: 0.39 0.10 0.07 3/205 23236
/proc/meminfo: memFree=31459984/32770624 swapFree=67010764/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28156 CPUtime=1.49 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 7232 0 0 0 148 1 0 0 20 0 1 0 433201573 52953088 7039 33554432000 4194304 6211092 140729610664608 140729610662744 5397454 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7039 867 493 0 6233 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28156 KiB

[startup+3.10928 s]
/proc/loadavg: 0.39 0.10 0.07 3/205 23236
/proc/meminfo: memFree=31352156/32770624 swapFree=67010764/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=3.1 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 8276 0 0 0 309 1 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5165604 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/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.30022 s]
/proc/loadavg: 0.44 0.11 0.08 3/205 23236
/proc/meminfo: memFree=31189932/32770624 swapFree=67010764/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=6.29 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 9332 0 0 0 628 1 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5186284 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/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.7002 s]
/proc/loadavg: 0.57 0.15 0.09 3/205 23236
/proc/meminfo: memFree=30865672/32770624 swapFree=67010764/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=12.69 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 10382 0 0 0 1268 1 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5165664 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/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.5002 s]
/proc/loadavg: 0.79 0.21 0.11 3/205 23239
/proc/meminfo: memFree=30160892/32770624 swapFree=67010764/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=25.49 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 12465 0 0 0 2548 1 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5396409 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/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.1098 s]
/proc/loadavg: 1.19 0.36 0.16 3/205 23239
/proc/meminfo: memFree=28751744/32770624 swapFree=67010764/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=51.09 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 13532 0 0 0 5108 1 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5009107 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+102.3 s]
/proc/loadavg: 1.65 0.62 0.26 3/205 23248
/proc/meminfo: memFree=27926096/32770624 swapFree=67010764/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=102.28 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 14582 0 0 0 10227 1 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5193696 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+162.3 s]
/proc/loadavg: 1.87 0.87 0.37 3/205 23255
/proc/meminfo: memFree=27926808/32770624 swapFree=67010764/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=162.28 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 15632 0 0 0 16227 1 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5009001 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+222.3 s]
/proc/loadavg: 1.95 1.07 0.47 3/205 23259
/proc/meminfo: memFree=27925432/32770624 swapFree=67010764/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=222.27 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 16682 0 0 0 22226 1 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5009098 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+282.3 s]
/proc/loadavg: 1.98 1.24 0.56 3/204 23263
/proc/meminfo: memFree=27925456/32770624 swapFree=67010764/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=282.27 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 17732 0 0 0 28226 1 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5397413 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+342.3 s]
/proc/loadavg: 1.99 1.38 0.65 3/204 23269
/proc/meminfo: memFree=27925608/32770624 swapFree=67010764/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=342.26 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 18782 0 0 0 34225 1 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5207585 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.74 3/204 23273
/proc/meminfo: memFree=27925640/32770624 swapFree=67010764/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=402.26 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 19832 0 0 0 40225 1 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5397375 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.82 3/204 23278
/proc/meminfo: memFree=27925424/32770624 swapFree=67010764/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=462.26 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 20882 0 0 0 46225 1 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5390176 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB


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

Current children cumulated memory: 28280 KiB

[startup+1002.3 s]
/proc/loadavg: 2.03 2.02 1.39 3/205 23329
/proc/meminfo: memFree=27924236/32770624 swapFree=67010768/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=1002.23 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 30332 0 0 0 100221 2 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5008816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 1002.23 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 1.42 3/204 23335
/proc/meminfo: memFree=27924416/32770624 swapFree=67010768/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=1062.22 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 31382 0 0 0 106220 2 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5165723 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 1062.22 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.46 3/204 23339
/proc/meminfo: memFree=27924844/32770624 swapFree=67010768/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=1122.22 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 32432 0 0 0 112220 2 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5193710 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 1122.22 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.50 3/204 23345
/proc/meminfo: memFree=27925200/32770624 swapFree=67010768/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=1182.21 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 33482 0 0 0 118219 2 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5397382 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 1182.21 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.53 3/205 23352
/proc/meminfo: memFree=27925500/32770624 swapFree=67010768/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=1242.21 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 34532 0 0 0 124219 2 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5397352 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 1242.21 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.55 3/205 23361
/proc/meminfo: memFree=27924792/32770624 swapFree=67010772/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=1302.21 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 35582 0 0 0 130219 2 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5008816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 1302.21 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.58 3/205 23385
/proc/meminfo: memFree=27925064/32770624 swapFree=67010780/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=1362.2 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 36632 0 0 0 136218 2 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5409444 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 1362.2 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+1401.57 s]
# the end of solver process 23235 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1401.45 s, system=0.022998 s

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

[startup+1382.4 s]
/proc/loadavg: 2.00 2.01 1.59 3/205 23388
/proc/meminfo: memFree=27925232/32770624 swapFree=67010780/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=1382.3 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 37682 0 0 0 138228 2 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5397454 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 1382.3 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+1395.2 s]
/proc/loadavg: 2.00 2.01 1.60 3/205 23388
/proc/meminfo: memFree=27925080/32770624 swapFree=67010780/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=1395.1 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 37682 0 0 0 139508 2 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5165608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 1395.1 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+1398.4 s]
/proc/loadavg: 2.00 2.01 1.60 3/205 23388
/proc/meminfo: memFree=27924988/32770624 swapFree=67010780/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=1398.3 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 37682 0 0 0 139828 2 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5397491 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 1398.3 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+1400 s]*
/proc/loadavg: 2.00 2.01 1.60 3/205 23388
/proc/meminfo: memFree=27924988/32770624 swapFree=67010780/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=1399.91 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 37682 0 0 0 139989 2 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5409444 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 1399.91 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+1400.8 s]
/proc/loadavg: 2.00 2.01 1.60 3/205 23388
/proc/meminfo: memFree=27924988/32770624 swapFree=67010780/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=1400.7 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 37682 0 0 0 140068 2 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5008918 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 1400.7 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+1401.2 s]
/proc/loadavg: 2.00 2.01 1.60 3/205 23389
/proc/meminfo: memFree=27924988/32770624 swapFree=67010780/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=1401.1 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 37682 0 0 0 140108 2 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5409444 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 1401.1 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+1401.4 s]
/proc/loadavg: 2.00 2.01 1.60 3/205 23389
/proc/meminfo: memFree=27924988/32770624 swapFree=67010780/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=1401.3 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 37682 0 0 0 140128 2 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5165629 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 1401.3 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

[startup+1401.5 s]
/proc/loadavg: 2.00 2.01 1.60 3/205 23389
/proc/meminfo: memFree=27924988/32770624 swapFree=67010780/67108860
[pid=23235] ppid=23232 vsize=51712 memory=28280 CPUtime=1401.4 cores=1,3,5,7
/proc/23235/stat : 23235 (cosoco) R 23232 23235 23113 0 -1 4202496 37682 0 0 0 140138 2 0 0 20 0 1 0 433201573 52953088 7070 33554432000 4194304 6211092 140729610664608 140729610662744 5193696 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27127808 140729610671115 140729610671217 140729610671217 140729610674126 0
/proc/23235/statm: 12928 7070 867 493 0 6233 0
Current children cumulated CPU time: 1401.4 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28280 KiB

Child status: 0
Real time (s): 1401.57
CPU time (s): 1401.47
CPU user time (s): 1401.45
CPU system time (s): 0.022998
CPU usage (%): 99.9932
Max. virtual memory (cumulated for all children) (KiB): 51712
Max. memory (cumulated for all children) (KiB): 28280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1401.45
system time used= 0.022998
maximum resident set size= 28344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37793
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 359


# summary of solver processes directly reported to runsolver:
#   pid: 23235
#   total CPU time (s): 1401.47
#   total CPU user time (s): 1401.45
#   total CPU system time (s): 0.022998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.29657 second user time and 9.0753 second system time

The end