runsolver version 3.4.2 (svn: 4680) 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: 63931 MiB (61657 MiB free)
  memory of node 1: 64510 MiB (59637 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458817-1722995153/watcher-4458817-1722995153 -o /tmp/evaluation-result-4458817-1722995153/solver-4458817-1722995153 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722995153-363801 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4458817-1722995153.opb 3600 HOME 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=363871, runsolver pid=363868

[startup+0.100343 s]*
/proc/loadavg: 2.77 3.86 4.08 5/266 363875
/proc/meminfo: memFree=124181856/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2592 CPUtime=0 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 66112376 10170368 648 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0
/proc/363871/statm: 2483 648 568 264 0 134 0
[pid=363874] ppid=363871 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/363874/stat : 363874 (timeout) S 363871 363874 363790 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66112376 8867840 245 134679101440 94661708787712 94661708822728 140721301564304 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94661710920144 94661710922276 94661740806144 140721301566505 140721301566621 140721301566621 140721301573607 0
/proc/363874/statm: 2165 245 221 9 0 87 0
[pid=363875] ppid=363874 vsize=32960 memory=20436 CPUtime=0.08 cores=4,6
/proc/363875/stat : 363875 (LS-MabSP) R 363874 363874 363790 0 -1 4194304 2592 0 0 0 8 0 0 0 20 0 1 0 66112376 33751040 5109 134679101440 4194304 15467897 140720962183088 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 52727808 140720962188348 140720962188451 140720962188451 140720962195437 0
/proc/363875/statm: 8240 5109 1073 2753 0 4893 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 51552 KiB
Current children cumulated memory: 24008 KiB

[startup+0.205343 s]*
/proc/loadavg: 2.77 3.86 4.08 5/266 363875
/proc/meminfo: memFree=124170616/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2592 CPUtime=0 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 66112376 10170368 648 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0
/proc/363871/statm: 2483 648 568 264 0 134 0
[pid=363874] ppid=363871 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/363874/stat : 363874 (timeout) S 363871 363874 363790 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66112376 8867840 245 134679101440 94661708787712 94661708822728 140721301564304 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94661710920144 94661710922276 94661740806144 140721301566505 140721301566621 140721301566621 140721301573607 0
/proc/363874/statm: 2165 245 221 9 0 87 0
[pid=363875] ppid=363874 vsize=43204 memory=25368 CPUtime=0.19 cores=4,6
/proc/363875/stat : 363875 (LS-MabSP) R 363874 363874 363790 0 -1 4194304 3340 0 0 0 18 1 0 0 20 0 1 0 66112376 44240896 6342 134679101440 4194304 15467897 140720962183088 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 52727808 140720962188348 140720962188451 140720962188451 140720962195437 0
/proc/363875/statm: 10801 6342 1073 2753 0 7454 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61796 KiB
Current children cumulated memory: 28940 KiB

[startup+0.305342 s]*
/proc/loadavg: 2.77 3.86 4.08 5/266 363875
/proc/meminfo: memFree=124170980/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2592 CPUtime=0 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 66112376 10170368 648 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0
/proc/363871/statm: 2483 648 568 264 0 134 0
[pid=363874] ppid=363871 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/363874/stat : 363874 (timeout) S 363871 363874 363790 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66112376 8867840 245 134679101440 94661708787712 94661708822728 140721301564304 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94661710920144 94661710922276 94661740806144 140721301566505 140721301566621 140721301566621 140721301573607 0
/proc/363874/statm: 2165 245 221 9 0 87 0
[pid=363875] ppid=363874 vsize=39104 memory=25580 CPUtime=0.28 cores=4,6
/proc/363875/stat : 363875 (LS-MabSP) R 363874 363874 363790 0 -1 4194304 3342 0 0 0 27 1 0 0 20 0 1 0 66112376 40042496 6395 134679101440 4194304 15467897 140720962183088 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 52727808 140720962188348 140720962188451 140720962188451 140720962195437 0
/proc/363875/statm: 9776 6395 1073 2753 0 6429 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 57696 KiB
Current children cumulated memory: 29152 KiB

[startup+0.700341 s]
/proc/loadavg: 2.77 3.86 4.08 5/266 363875
/proc/meminfo: memFree=124073780/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2592 CPUtime=0 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 66112376 10170368 648 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0
/proc/363871/statm: 2483 648 568 264 0 134 0
[pid=363874] ppid=363871 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/363874/stat : 363874 (timeout) S 363871 363874 363790 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66112376 8867840 245 134679101440 94661708787712 94661708822728 140721301564304 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94661710920144 94661710922276 94661740806144 140721301566505 140721301566621 140721301566621 140721301573607 0
/proc/363874/statm: 2165 245 221 9 0 87 0
[pid=363875] ppid=363874 vsize=47296 memory=33776 CPUtime=0.66 cores=4,6
/proc/363875/stat : 363875 (LS-MabSP) R 363874 363874 363790 0 -1 4194304 3863 0 0 0 65 1 0 0 20 0 1 0 66112376 48431104 8444 134679101440 4194304 15467897 140720962183088 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 52727808 140720962188348 140720962188451 140720962188451 140720962195437 0
/proc/363875/statm: 11824 8444 1073 2753 0 8477 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 65888 KiB
Current children cumulated memory: 37348 KiB

[startup+1.5003 s]
/proc/loadavg: 2.77 3.86 4.08 5/266 363875
/proc/meminfo: memFree=124060432/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2592 CPUtime=0 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 66112376 10170368 648 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0
/proc/363871/statm: 2483 648 568 264 0 134 0
[pid=363874] ppid=363871 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/363874/stat : 363874 (timeout) S 363871 363874 363790 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66112376 8867840 245 134679101440 94661708787712 94661708822728 140721301564304 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94661710920144 94661710922276 94661740806144 140721301566505 140721301566621 140721301566621 140721301573607 0
/proc/363874/statm: 2165 245 221 9 0 87 0
[pid=363875] ppid=363874 vsize=178564 memory=156840 CPUtime=1.46 cores=4,6
/proc/363875/stat : 363875 (LS-MabSP) R 363874 363874 363790 0 -1 4194304 13698 0 0 0 141 5 0 0 20 0 1 0 66112376 182849536 39210 134679101440 4194304 15467897 140720962183088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52727808 140720962188348 140720962188451 140720962188451 140720962195437 0
/proc/363875/statm: 44641 39210 1105 2753 0 41294 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 197156 KiB
Current children cumulated memory: 160412 KiB

[startup+3.10565 s]
/proc/loadavg: 2.77 3.86 4.08 5/266 363875
/proc/meminfo: memFree=123893244/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2592 CPUtime=0 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 66112376 10170368 648 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0
/proc/363871/statm: 2483 648 568 264 0 134 0
[pid=363874] ppid=363871 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/363874/stat : 363874 (timeout) S 363871 363874 363790 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66112376 8867840 245 134679101440 94661708787712 94661708822728 140721301564304 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94661710920144 94661710922276 94661740806144 140721301566505 140721301566621 140721301566621 140721301573607 0
/proc/363874/statm: 2165 245 221 9 0 87 0
[pid=363875] ppid=363874 vsize=178564 memory=156840 CPUtime=3.06 cores=4,6
/proc/363875/stat : 363875 (LS-MabSP) R 363874 363874 363790 0 -1 4194304 13731 0 0 0 301 5 0 0 20 0 1 0 66112376 182849536 39210 134679101440 4194304 15467897 140720962183088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52727808 140720962188348 140720962188451 140720962188451 140720962195437 0
/proc/363875/statm: 44641 39210 1105 2753 0 41294 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 197156 KiB
Current children cumulated memory: 160412 KiB

[startup+6.30029 s]
/proc/loadavg: 2.87 3.86 4.08 5/266 363877
/proc/meminfo: memFree=123392252/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2592 CPUtime=0 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 66112376 10170368 648 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0
/proc/363871/statm: 2483 648 568 264 0 134 0
[pid=363874] ppid=363871 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/363874/stat : 363874 (timeout) S 363871 363874 363790 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66112376 8867840 245 134679101440 94661708787712 94661708822728 140721301564304 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94661710920144 94661710922276 94661740806144 140721301566505 140721301566621 140721301566621 140721301573607 0
/proc/363874/statm: 2165 245 221 9 0 87 0
[pid=363875] ppid=363874 vsize=178564 memory=157080 CPUtime=6.25 cores=4,6
/proc/363875/stat : 363875 (LS-MabSP) R 363874 363874 363790 0 -1 4194304 13757 0 0 0 620 5 0 0 20 0 1 0 66112376 182849536 39270 134679101440 4194304 15467897 140720962183088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52727808 140720962188348 140720962188451 140720962188451 140720962195437 0
/proc/363875/statm: 44641 39270 1153 2753 0 41294 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 197156 KiB
Current children cumulated memory: 160652 KiB

[startup+12.7003 s]
/proc/loadavg: 2.96 3.87 4.08 5/263 363877
/proc/meminfo: memFree=122913076/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2592 CPUtime=0 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 66112376 10170368 648 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0
/proc/363871/statm: 2483 648 568 264 0 134 0
[pid=363874] ppid=363871 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/363874/stat : 363874 (timeout) S 363871 363874 363790 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66112376 8867840 245 134679101440 94661708787712 94661708822728 140721301564304 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94661710920144 94661710922276 94661740806144 140721301566505 140721301566621 140721301566621 140721301573607 0
/proc/363874/statm: 2165 245 221 9 0 87 0
[pid=363875] ppid=363874 vsize=671200 memory=640972 CPUtime=12.63 cores=4,6
/proc/363875/stat : 363875 (LS-MabSP) R 363874 363874 363790 0 -1 4194304 135991 0 0 0 1239 24 0 0 20 0 1 0 66112376 687308800 160243 134679101440 4194304 15467897 140720962183088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52727808 140720962188348 140720962188451 140720962188451 140720962195437 0
/proc/363875/statm: 167800 160243 2689 2753 0 164453 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 689792 KiB
Current children cumulated memory: 644544 KiB

[startup+25.5003 s]
/proc/loadavg: 3.26 3.89 4.08 5/263 363880
/proc/meminfo: memFree=122357056/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2592 CPUtime=0 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 66112376 10170368 648 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0
/proc/363871/statm: 2483 648 568 264 0 134 0
[pid=363874] ppid=363871 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/363874/stat : 363874 (timeout) S 363871 363874 363790 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66112376 8867840 245 134679101440 94661708787712 94661708822728 140721301564304 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94661710920144 94661710922276 94661740806144 140721301566505 140721301566621 140721301566621 140721301573607 0
/proc/363874/statm: 2165 245 221 9 0 87 0
[pid=363875] ppid=363874 vsize=1270084 memory=1194048 CPUtime=25.4 cores=4,6
/proc/363875/stat : 363875 (LS-MabSP) R 363874 363874 363790 0 -1 4194304 180197 0 0 0 2503 37 0 0 20 0 1 0 66112376 1300566016 298512 134679101440 4194304 15467897 140720962183088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52727808 140720962188348 140720962188451 140720962188451 140720962195437 0
/proc/363875/statm: 317521 298512 2769 2753 0 314174 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1288676 KiB
Current children cumulated memory: 1197620 KiB

[startup+51.1057 s]
/proc/loadavg: 3.59 3.92 4.08 5/263 363883
/proc/meminfo: memFree=122355416/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2592 CPUtime=0 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 66112376 10170368 648 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0
/proc/363871/statm: 2483 648 568 264 0 134 0
[pid=363874] ppid=363871 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/363874/stat : 363874 (timeout) S 363871 363874 363790 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66112376 8867840 245 134679101440 94661708787712 94661708822728 140721301564304 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94661710920144 94661710922276 94661740806144 140721301566505 140721301566621 140721301566621 140721301573607 0
/proc/363874/statm: 2165 245 221 9 0 87 0
[pid=363875] ppid=363874 vsize=1270084 memory=1194308 CPUtime=50.95 cores=4,6
/proc/363875/stat : 363875 (LS-MabSP) R 363874 363874 363790 0 -1 4194304 180241 0 0 0 5057 38 0 0 20 0 1 0 66112376 1300566016 298577 134679101440 4194304 15467897 140720962183088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52727808 140720962188348 140720962188451 140720962188451 140720962195437 0
/proc/363875/statm: 317521 298577 2801 2753 0 314174 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1288676 KiB
Current children cumulated memory: 1197880 KiB

[startup+102.3 s]
/proc/loadavg: 3.90 3.96 4.09 5/263 363891
/proc/meminfo: memFree=122151872/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2592 CPUtime=0 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 66112376 10170368 648 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0

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

/proc/364782/statm: 44249 35856 764 737 0 43337 0
Current children cumulated CPU time: 3394.6 s
Current children cumulated vsize: 195588 KiB
Current children cumulated memory: 147140 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/265 365693
/proc/meminfo: memFree=122197164/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2692 CPUtime=1794.27 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 271 187984 0 0 0 0 179137 290 20 0 1 0 66112376 10170368 673 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0
/proc/363871/statm: 2483 673 583 264 0 134 0
[pid=364781] ppid=363871 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/364781/stat : 364781 (timeout) S 363871 364781 363790 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 66292181 8867840 256 134679101440 94358513037312 94358513072328 140725774154272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94358515169744 94358515171876 94358520012800 140725774156788 140725774156957 140725774156957 140725774163943 0
/proc/364781/statm: 2165 256 232 9 0 87 0
[pid=364782] ppid=364781 vsize=177160 memory=143552 CPUtime=1660.19 cores=4,6
/proc/364782/stat : 364782 (Exact) R 364781 364781 363790 0 -1 4194304 21397 0 0 0 166012 7 0 0 20 0 1 0 66292181 181411840 35888 134679101440 4194304 7210733 140729685750000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 35344384 140729685754896 140729685755046 140729685755046 140729685762032 0
/proc/364782/statm: 44290 35888 764 737 0 43378 0
Current children cumulated CPU time: 3454.46 s
Current children cumulated vsize: 195752 KiB
Current children cumulated memory: 147268 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/265 365705
/proc/meminfo: memFree=122192928/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2692 CPUtime=1794.27 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 271 187984 0 0 0 0 179137 290 20 0 1 0 66112376 10170368 673 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0
/proc/363871/statm: 2483 673 583 264 0 134 0
[pid=364781] ppid=363871 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/364781/stat : 364781 (timeout) S 363871 364781 363790 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 66292181 8867840 256 134679101440 94358513037312 94358513072328 140725774154272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94358515169744 94358515171876 94358520012800 140725774156788 140725774156957 140725774156957 140725774163943 0
/proc/364781/statm: 2165 256 232 9 0 87 0
[pid=364782] ppid=364781 vsize=177424 memory=143740 CPUtime=1720.05 cores=4,6
/proc/364782/stat : 364782 (Exact) R 364781 364781 363790 0 -1 4194304 21520 0 0 0 171998 7 0 0 20 0 1 0 66292181 181682176 35935 134679101440 4194304 7210733 140729685750000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 35344384 140729685754896 140729685755046 140729685755046 140729685762032 0
/proc/364782/statm: 44356 35935 764 737 0 43444 0
Current children cumulated CPU time: 3514.32 s
Current children cumulated vsize: 196016 KiB
Current children cumulated memory: 147456 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/265 365715
/proc/meminfo: memFree=122170032/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2692 CPUtime=1794.27 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 271 187984 0 0 0 0 179137 290 20 0 1 0 66112376 10170368 673 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0
/proc/363871/statm: 2483 673 583 264 0 134 0
[pid=364781] ppid=363871 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/364781/stat : 364781 (timeout) S 363871 364781 363790 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 66292181 8867840 256 134679101440 94358513037312 94358513072328 140725774154272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94358515169744 94358515171876 94358520012800 140725774156788 140725774156957 140725774156957 140725774163943 0
/proc/364781/statm: 2165 256 232 9 0 87 0
[pid=364782] ppid=364781 vsize=177836 memory=144248 CPUtime=1779.92 cores=4,6
/proc/364782/stat : 364782 (Exact) R 364781 364781 363790 0 -1 4194304 21689 0 0 0 177985 7 0 0 20 0 1 0 66292181 182104064 36062 134679101440 4194304 7210733 140729685750000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 35344384 140729685754896 140729685755046 140729685755046 140729685762032 0
/proc/364782/statm: 44459 36062 764 737 0 43547 0
Current children cumulated CPU time: 3574.19 s
Current children cumulated vsize: 196428 KiB
Current children cumulated memory: 147964 KiB

[startup+3596.08 s]
# the end of solver process 363871 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3584.97 s, system=2.99334 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.14 5/265 365715
/proc/meminfo: memFree=122170064/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2692 CPUtime=1794.27 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 271 187984 0 0 0 0 179137 290 20 0 1 0 66112376 10170368 673 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0
/proc/363871/statm: 2483 673 583 264 0 134 0
[pid=364781] ppid=363871 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/364781/stat : 364781 (timeout) S 363871 364781 363790 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 66292181 8867840 256 134679101440 94358513037312 94358513072328 140725774154272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94358515169744 94358515171876 94358520012800 140725774156788 140725774156957 140725774156957 140725774163943 0
/proc/364781/statm: 2165 256 232 9 0 87 0
[pid=364782] ppid=364781 vsize=177836 memory=144248 CPUtime=1781.62 cores=4,6
/proc/364782/stat : 364782 (Exact) R 364781 364781 363790 0 -1 4194304 21691 0 0 0 178155 7 0 0 20 0 1 0 66292181 182104064 36062 134679101440 4194304 7210733 140729685750000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 35344384 140729685754896 140729685755046 140729685755046 140729685762032 0
/proc/364782/statm: 44459 36062 764 737 0 43547 0
Current children cumulated CPU time: 3575.89 s
Current children cumulated vsize: 196428 KiB
Current children cumulated memory: 147964 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.13 4.14 5/265 365717
/proc/meminfo: memFree=122166684/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2692 CPUtime=1794.27 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 271 187984 0 0 0 0 179137 290 20 0 1 0 66112376 10170368 673 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0
/proc/363871/statm: 2483 673 583 264 0 134 0
[pid=364781] ppid=363871 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/364781/stat : 364781 (timeout) S 363871 364781 363790 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 66292181 8867840 256 134679101440 94358513037312 94358513072328 140725774154272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94358515169744 94358515171876 94358520012800 140725774156788 140725774156957 140725774156957 140725774163943 0
/proc/364781/statm: 2165 256 232 9 0 87 0
[pid=364782] ppid=364781 vsize=177836 memory=144248 CPUtime=1788 cores=4,6
/proc/364782/stat : 364782 (Exact) R 364781 364781 363790 0 -1 4194304 21696 0 0 0 178793 7 0 0 20 0 1 0 66292181 182104064 36062 134679101440 4194304 7210733 140729685750000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 35344384 140729685754896 140729685755046 140729685755046 140729685762032 0
/proc/364782/statm: 44459 36062 764 737 0 43547 0
Current children cumulated CPU time: 3582.27 s
Current children cumulated vsize: 196428 KiB
Current children cumulated memory: 147964 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.13 4.14 5/265 365717
/proc/meminfo: memFree=122166728/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2692 CPUtime=1794.27 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 271 187984 0 0 0 0 179137 290 20 0 1 0 66112376 10170368 673 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0
/proc/363871/statm: 2483 673 583 264 0 134 0
[pid=364781] ppid=363871 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/364781/stat : 364781 (timeout) S 363871 364781 363790 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 66292181 8867840 256 134679101440 94358513037312 94358513072328 140725774154272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94358515169744 94358515171876 94358520012800 140725774156788 140725774156957 140725774156957 140725774163943 0
/proc/364781/statm: 2165 256 232 9 0 87 0
[pid=364782] ppid=364781 vsize=177836 memory=144248 CPUtime=1791.19 cores=4,6
/proc/364782/stat : 364782 (Exact) R 364781 364781 363790 0 -1 4194304 21699 0 0 0 179112 7 0 0 20 0 1 0 66292181 182104064 36062 134679101440 4194304 7210733 140729685750000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 35344384 140729685754896 140729685755046 140729685755046 140729685762032 0
/proc/364782/statm: 44459 36062 764 737 0 43547 0
Current children cumulated CPU time: 3585.46 s
Current children cumulated vsize: 196428 KiB
Current children cumulated memory: 147964 KiB

[startup+3595.2 s]
/proc/loadavg: 4.14 4.12 4.14 5/265 365718
/proc/meminfo: memFree=122166672/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2692 CPUtime=1794.27 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 271 187984 0 0 0 0 179137 290 20 0 1 0 66112376 10170368 673 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0
/proc/363871/statm: 2483 673 583 264 0 134 0
[pid=364781] ppid=363871 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/364781/stat : 364781 (timeout) S 363871 364781 363790 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 66292181 8867840 256 134679101440 94358513037312 94358513072328 140725774154272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94358515169744 94358515171876 94358520012800 140725774156788 140725774156957 140725774156957 140725774163943 0
/proc/364781/statm: 2165 256 232 9 0 87 0
[pid=364782] ppid=364781 vsize=177836 memory=144248 CPUtime=1792.79 cores=4,6
/proc/364782/stat : 364782 (Exact) R 364781 364781 363790 0 -1 4194304 21699 0 0 0 179272 7 0 0 20 0 1 0 66292181 182104064 36062 134679101440 4194304 7210733 140729685750000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 35344384 140729685754896 140729685755046 140729685755046 140729685762032 0
/proc/364782/statm: 44459 36062 764 737 0 43547 0
Current children cumulated CPU time: 3587.06 s
Current children cumulated vsize: 196428 KiB
Current children cumulated memory: 147964 KiB

[startup+3595.6 s]
/proc/loadavg: 4.14 4.12 4.14 5/265 365718
/proc/meminfo: memFree=122166672/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2692 CPUtime=1794.27 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 271 187984 0 0 0 0 179137 290 20 0 1 0 66112376 10170368 673 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0
/proc/363871/statm: 2483 673 583 264 0 134 0
[pid=364781] ppid=363871 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/364781/stat : 364781 (timeout) S 363871 364781 363790 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 66292181 8867840 256 134679101440 94358513037312 94358513072328 140725774154272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94358515169744 94358515171876 94358520012800 140725774156788 140725774156957 140725774156957 140725774163943 0
/proc/364781/statm: 2165 256 232 9 0 87 0
[pid=364782] ppid=364781 vsize=177836 memory=144248 CPUtime=1793.19 cores=4,6
/proc/364782/stat : 364782 (Exact) R 364781 364781 363790 0 -1 4194304 21699 0 0 0 179312 7 0 0 20 0 1 0 66292181 182104064 36062 134679101440 4194304 7210733 140729685750000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 35344384 140729685754896 140729685755046 140729685755046 140729685762032 0
/proc/364782/statm: 44459 36062 764 737 0 43547 0
Current children cumulated CPU time: 3587.46 s
Current children cumulated vsize: 196428 KiB
Current children cumulated memory: 147964 KiB

[startup+3596 s]*
/proc/loadavg: 4.14 4.12 4.14 2/254 365785
/proc/meminfo: memFree=124039056/131524592 swapFree=131071996/131071996
[pid=363871] ppid=363868 vsize=9932 memory=2692 CPUtime=1794.27 cores=4,6
/proc/363871/stat : 363871 (Hybrid-LSMabSP+) S 363868 363871 363790 0 -1 4194304 271 187984 0 0 0 0 179137 290 20 0 1 0 66112376 10170368 673 134679101440 94193674412032 94193675491352 140721325434336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94193677589808 94193677636996 94193684135936 140721325437928 140721325438074 140721325438074 140721325445089 0
/proc/363871/statm: 2483 673 583 264 0 134 0
[pid=364781] ppid=363871 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/364781/stat : 364781 (timeout) S 363871 364781 363790 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 66292181 8867840 256 134679101440 94358513037312 94358513072328 140725774154272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94358515169744 94358515171876 94358520012800 140725774156788 140725774156957 140725774156957 140725774163943 0
/proc/364781/statm: 2165 256 232 9 0 87 0
[pid=364782] ppid=364781 vsize=177836 memory=144248 CPUtime=1793.59 cores=4,6
/proc/364782/stat : 364782 (Exact) R 364781 364781 363790 0 -1 4194304 21699 0 0 0 179352 7 0 0 20 0 1 0 66292181 182104064 36062 134679101440 4194304 7210733 140729685750000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 35344384 140729685754896 140729685755046 140729685755046 140729685762032 0
/proc/364782/statm: 44459 36062 764 737 0 43547 0
Current children cumulated CPU time: 3587.86 s
Current children cumulated vsize: 196428 KiB
Current children cumulated memory: 147964 KiB

Child status: 0

Real time (s): 3596.08
CPU time (s): 3587.96
CPU user time (s): 3584.97
CPU system time (s): 2.99334
CPU usage (%): 99.7742
Max. virtual memory (cumulated for all children) (KiB): 1291960
Max. memory (cumulated for all children) (KiB): 1203344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.97
system time used= 2.99334
maximum resident set size= 1223656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212963
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120
involuntary context switches= 1590


# summary of solver processes directly reported to runsolver:
#   pid: 363871
#   total CPU time (s): 3587.96
#   total CPU user time (s): 3584.97
#   total CPU system time (s): 2.99334

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1066 second user time and 14.4201 second system time

The end