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 (61846 MiB free)
  memory of node 1: 64510 MiB (62912 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437537-1722948203/watcher-4437537-1722948203 -o /tmp/evaluation-result-4437537-1722948203/solver-4437537-1722948203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722948202-337148 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437537-1722948203.opb 3600 HOME 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=337196, runsolver pid=337189

[startup+0.100341 s]*
/proc/loadavg: 0.10 0.09 0.09 6/267 337222
/proc/meminfo: memFree=127736708/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61416038 10170368 664 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0
/proc/337196/statm: 2483 664 585 264 0 134 0
[pid=337201] ppid=337196 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/337201/stat : 337201 (timeout) S 337196 337201 337135 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 260 134679101440 94307428462592 94307428497608 140723937733984 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 3 0 0 94307430595024 94307430597156 94307436855296 140723937735715 140723937735837 140723937735837 140723937742823 0
/proc/337201/statm: 2165 260 236 9 0 87 0
[pid=337220] ppid=337201 vsize=25236 memory=11944 CPUtime=0.05 cores=5,7
/proc/337220/stat : 337220 (LS-MabP) R 337201 337201 337135 0 -1 4194304 1494 0 0 0 5 0 0 0 20 0 1 0 61416043 25841664 2986 134679101440 4194304 15467897 140729921807504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54292480 140729921811511 140729921811620 140729921811620 140729921818606 0
/proc/337220/statm: 6309 2986 1073 2753 0 2962 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 43828 KiB
Current children cumulated memory: 15640 KiB

[startup+0.205959 s]*
/proc/loadavg: 0.10 0.09 0.09 5/267 337222
/proc/meminfo: memFree=127723764/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61416038 10170368 664 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0
/proc/337196/statm: 2483 664 585 264 0 134 0
[pid=337201] ppid=337196 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/337201/stat : 337201 (timeout) S 337196 337201 337135 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 260 134679101440 94307428462592 94307428497608 140723937733984 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 3 0 0 94307430595024 94307430597156 94307436855296 140723937735715 140723937735837 140723937735837 140723937742823 0
/proc/337201/statm: 2165 260 236 9 0 87 0
[pid=337220] ppid=337201 vsize=27284 memory=14356 CPUtime=0.16 cores=5,7
/proc/337220/stat : 337220 (LS-MabP) R 337201 337201 337135 0 -1 4194304 2073 0 0 0 16 0 0 0 20 0 1 0 61416043 27938816 3589 134679101440 4194304 15467897 140729921807504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54292480 140729921811511 140729921811620 140729921811620 140729921818606 0
/proc/337220/statm: 6821 3589 1073 2753 0 3474 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 45876 KiB
Current children cumulated memory: 18052 KiB

[startup+0.305838 s]*
/proc/loadavg: 0.10 0.09 0.09 6/267 337222
/proc/meminfo: memFree=127704312/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61416038 10170368 664 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0
/proc/337196/statm: 2483 664 585 264 0 134 0
[pid=337201] ppid=337196 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/337201/stat : 337201 (timeout) S 337196 337201 337135 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 260 134679101440 94307428462592 94307428497608 140723937733984 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 3 0 0 94307430595024 94307430597156 94307436855296 140723937735715 140723937735837 140723937735837 140723937742823 0
/proc/337201/statm: 2165 260 236 9 0 87 0
[pid=337220] ppid=337201 vsize=43448 memory=28876 CPUtime=0.25 cores=5,7
/proc/337220/stat : 337220 (LS-MabP) R 337201 337201 337135 0 -1 4194304 4219 0 0 0 25 0 0 0 20 0 1 0 61416043 44490752 7219 134679101440 4194304 15467897 140729921807504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54292480 140729921811511 140729921811620 140729921811620 140729921818606 0
/proc/337220/statm: 10862 7219 1073 2753 0 7515 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 62040 KiB
Current children cumulated memory: 32572 KiB

[startup+0.700285 s]
/proc/loadavg: 0.10 0.09 0.09 6/267 337222
/proc/meminfo: memFree=127649464/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61416038 10170368 664 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0
/proc/337196/statm: 2483 664 585 264 0 134 0
[pid=337201] ppid=337196 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/337201/stat : 337201 (timeout) S 337196 337201 337135 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 260 134679101440 94307428462592 94307428497608 140723937733984 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 3 0 0 94307430595024 94307430597156 94307436855296 140723937735715 140723937735837 140723937735837 140723937742823 0
/proc/337201/statm: 2165 260 236 9 0 87 0
[pid=337220] ppid=337201 vsize=62016 memory=47756 CPUtime=0.64 cores=5,7
/proc/337220/stat : 337220 (LS-MabP) R 337201 337201 337135 0 -1 4194304 9940 0 0 0 63 1 0 0 20 0 1 0 61416043 63504384 11939 134679101440 4194304 15467897 140729921807504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54292480 140729921811511 140729921811620 140729921811620 140729921818606 0
/proc/337220/statm: 15504 11939 1105 2753 0 12157 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 80608 KiB
Current children cumulated memory: 51452 KiB

[startup+1.50029 s]
/proc/loadavg: 0.10 0.09 0.09 6/267 337222
/proc/meminfo: memFree=127642628/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61416038 10170368 664 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0
/proc/337196/statm: 2483 664 585 264 0 134 0
[pid=337201] ppid=337196 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/337201/stat : 337201 (timeout) S 337196 337201 337135 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 260 134679101440 94307428462592 94307428497608 140723937733984 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 3 0 0 94307430595024 94307430597156 94307436855296 140723937735715 140723937735837 140723937735837 140723937742823 0
/proc/337201/statm: 2165 260 236 9 0 87 0
[pid=337220] ppid=337201 vsize=62016 memory=47756 CPUtime=1.44 cores=5,7
/proc/337220/stat : 337220 (LS-MabP) R 337201 337201 337135 0 -1 4194304 9940 0 0 0 143 1 0 0 20 0 1 0 61416043 63504384 11939 134679101440 4194304 15467897 140729921807504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54292480 140729921811511 140729921811620 140729921811620 140729921818606 0
/proc/337220/statm: 15504 11939 1105 2753 0 12157 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 80608 KiB
Current children cumulated memory: 51452 KiB

[startup+3.1063 s]
/proc/loadavg: 0.42 0.15 0.11 6/267 337222
/proc/meminfo: memFree=127619060/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61416038 10170368 664 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0
/proc/337196/statm: 2483 664 585 264 0 134 0
[pid=337201] ppid=337196 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/337201/stat : 337201 (timeout) S 337196 337201 337135 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 260 134679101440 94307428462592 94307428497608 140723937733984 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 3 0 0 94307430595024 94307430597156 94307436855296 140723937735715 140723937735837 140723937735837 140723937742823 0
/proc/337201/statm: 2165 260 236 9 0 87 0
[pid=337220] ppid=337201 vsize=74556 memory=58496 CPUtime=3.04 cores=5,7
/proc/337220/stat : 337220 (LS-MabP) R 337201 337201 337135 0 -1 4194304 115424 0 0 0 287 17 0 0 20 0 1 0 61416043 76345344 14624 134679101440 4194304 15467897 140729921807504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54292480 140729921811511 140729921811620 140729921811620 140729921818606 0
/proc/337220/statm: 18639 14624 1169 2753 0 15292 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 93148 KiB
Current children cumulated memory: 62192 KiB

[startup+6.30029 s]
/proc/loadavg: 0.42 0.15 0.11 6/267 337224
/proc/meminfo: memFree=127619044/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61416038 10170368 664 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0
/proc/337196/statm: 2483 664 585 264 0 134 0
[pid=337201] ppid=337196 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/337201/stat : 337201 (timeout) S 337196 337201 337135 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 260 134679101440 94307428462592 94307428497608 140723937733984 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 3 0 0 94307430595024 94307430597156 94307436855296 140723937735715 140723937735837 140723937735837 140723937742823 0
/proc/337201/statm: 2165 260 236 9 0 87 0
[pid=337220] ppid=337201 vsize=74556 memory=58496 CPUtime=6.23 cores=5,7
/proc/337220/stat : 337220 (LS-MabP) R 337201 337201 337135 0 -1 4194304 120506 0 0 0 599 24 0 0 20 0 1 0 61416043 76345344 14624 134679101440 4194304 15467897 140729921807504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54292480 140729921811511 140729921811620 140729921811620 140729921818606 0
/proc/337220/statm: 18639 14624 1169 2753 0 15292 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 93148 KiB
Current children cumulated memory: 62192 KiB

[startup+12.7003 s]
/proc/loadavg: 0.70 0.22 0.13 6/267 337224
/proc/meminfo: memFree=127618900/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61416038 10170368 664 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0
/proc/337196/statm: 2483 664 585 264 0 134 0
[pid=337201] ppid=337196 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/337201/stat : 337201 (timeout) S 337196 337201 337135 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 260 134679101440 94307428462592 94307428497608 140723937733984 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 3 0 0 94307430595024 94307430597156 94307436855296 140723937735715 140723937735837 140723937735837 140723937742823 0
/proc/337201/statm: 2165 260 236 9 0 87 0
[pid=337220] ppid=337201 vsize=74556 memory=58496 CPUtime=12.62 cores=5,7
/proc/337220/stat : 337220 (LS-MabP) R 337201 337201 337135 0 -1 4194304 120508 0 0 0 1226 36 0 0 20 0 1 0 61416043 76345344 14624 134679101440 4194304 15467897 140729921807504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54292480 140729921811511 140729921811620 140729921811620 140729921818606 0
/proc/337220/statm: 18639 14624 1169 2753 0 15292 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 93148 KiB
Current children cumulated memory: 62192 KiB

[startup+25.5003 s]
/proc/loadavg: 1.43 0.40 0.20 6/267 337227
/proc/meminfo: memFree=127618548/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61416038 10170368 664 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0
/proc/337196/statm: 2483 664 585 264 0 134 0
[pid=337201] ppid=337196 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/337201/stat : 337201 (timeout) S 337196 337201 337135 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 260 134679101440 94307428462592 94307428497608 140723937733984 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 3 0 0 94307430595024 94307430597156 94307436855296 140723937735715 140723937735837 140723937735837 140723937742823 0
/proc/337201/statm: 2165 260 236 9 0 87 0
[pid=337220] ppid=337201 vsize=74556 memory=58564 CPUtime=25.4 cores=5,7
/proc/337220/stat : 337220 (LS-MabP) R 337201 337201 337135 0 -1 4194304 123055 0 0 0 2480 60 0 0 20 0 1 0 61416043 76345344 14641 134679101440 4194304 15467897 140729921807504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54292480 140729921811511 140729921811620 140729921811620 140729921818606 0
/proc/337220/statm: 18639 14641 1169 2753 0 15292 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 93148 KiB
Current children cumulated memory: 62260 KiB

[startup+51.1063 s]
/proc/loadavg: 2.31 0.69 0.30 6/267 337230
/proc/meminfo: memFree=127615464/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61416038 10170368 664 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0
/proc/337196/statm: 2483 664 585 264 0 134 0
[pid=337201] ppid=337196 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/337201/stat : 337201 (timeout) S 337196 337201 337135 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 260 134679101440 94307428462592 94307428497608 140723937733984 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 3 0 0 94307430595024 94307430597156 94307436855296 140723937735715 140723937735837 140723937735837 140723937742823 0
/proc/337201/statm: 2165 260 236 9 0 87 0
[pid=337220] ppid=337201 vsize=74556 memory=60772 CPUtime=50.94 cores=5,7
/proc/337220/stat : 337220 (LS-MabP) R 337201 337201 337135 0 -1 4194304 123117 0 0 0 4992 102 0 0 20 0 1 0 61416043 76345344 15193 134679101440 4194304 15467897 140729921807504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54292480 140729921811511 140729921811620 140729921811620 140729921818606 0
/proc/337220/statm: 18639 15193 1169 2753 0 15292 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 93148 KiB
Current children cumulated memory: 64468 KiB

[startup+102.3 s]
/proc/loadavg: 3.31 1.22 0.50 6/267 337238
/proc/meminfo: memFree=127610724/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61416038 10170368 664 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0

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

/proc/338131/statm: 37950 31141 820 745 0 37015 0
Current children cumulated CPU time: 3395.32 s
Current children cumulated vsize: 170392 KiB
Current children cumulated memory: 128288 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.18 4.10 6/267 339059
/proc/meminfo: memFree=125845408/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2696 CPUtime=1794.93 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 269 126471 0 1 0 0 176451 3042 20 0 1 0 61416038 10170368 674 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0
/proc/337196/statm: 2483 674 585 264 0 134 0
[pid=338130] ppid=337196 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/338130/stat : 338130 (timeout) S 337196 338130 337135 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61595845 8867840 257 134679101440 94572627374080 94572627409096 140721372362192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94572629506512 94572629508644 94572661411840 140721372369908 140721372370077 140721372370077 140721372377063 0
/proc/338130/statm: 2165 257 233 9 0 87 0
[pid=338131] ppid=338130 vsize=152084 memory=124948 CPUtime=1660.25 cores=5,7
/proc/338131/stat : 338131 (Exact) R 338130 338130 337135 0 -1 4194304 17103 0 0 0 166019 6 0 0 20 0 1 0 61595845 155734016 31237 134679101440 4194304 7243121 140721209946848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 42340352 140721209951248 140721209951398 140721209951398 140721209958384 0
/proc/338131/statm: 38021 31237 820 745 0 37086 0
Current children cumulated CPU time: 3455.18 s
Current children cumulated vsize: 170676 KiB
Current children cumulated memory: 128672 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.16 4.10 6/267 339070
/proc/meminfo: memFree=125838624/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2696 CPUtime=1794.93 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 269 126471 0 1 0 0 176451 3042 20 0 1 0 61416038 10170368 674 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0
/proc/337196/statm: 2483 674 585 264 0 134 0
[pid=338130] ppid=337196 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/338130/stat : 338130 (timeout) S 337196 338130 337135 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61595845 8867840 257 134679101440 94572627374080 94572627409096 140721372362192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94572629506512 94572629508644 94572661411840 140721372369908 140721372370077 140721372370077 140721372377063 0
/proc/338130/statm: 2165 257 233 9 0 87 0
[pid=338131] ppid=338130 vsize=152084 memory=125012 CPUtime=1720.1 cores=5,7
/proc/338131/stat : 338131 (Exact) R 338130 338130 337135 0 -1 4194304 17173 0 0 0 172004 6 0 0 20 0 1 0 61595845 155734016 31253 134679101440 4194304 7243121 140721209946848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 42340352 140721209951248 140721209951398 140721209951398 140721209958384 0
/proc/338131/statm: 38021 31253 820 745 0 37086 0
Current children cumulated CPU time: 3515.03 s
Current children cumulated vsize: 170676 KiB
Current children cumulated memory: 128736 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.10 6/267 339080
/proc/meminfo: memFree=125828064/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2696 CPUtime=1794.93 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 269 126471 0 1 0 0 176451 3042 20 0 1 0 61416038 10170368 674 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0
/proc/337196/statm: 2483 674 585 264 0 134 0
[pid=338130] ppid=337196 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/338130/stat : 338130 (timeout) S 337196 338130 337135 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61595845 8867840 257 134679101440 94572627374080 94572627409096 140721372362192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94572629506512 94572629508644 94572661411840 140721372369908 140721372370077 140721372370077 140721372377063 0
/proc/338130/statm: 2165 257 233 9 0 87 0
[pid=338131] ppid=338130 vsize=152952 memory=129912 CPUtime=1779.96 cores=5,7
/proc/338131/stat : 338131 (Exact) R 338130 338130 337135 0 -1 4194304 17423 0 0 0 177990 6 0 0 20 0 1 0 61595845 156622848 32478 134679101440 4194304 7243121 140721209946848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 42340352 140721209951248 140721209951398 140721209951398 140721209958384 0
/proc/338131/statm: 38238 32478 820 745 0 37303 0
Current children cumulated CPU time: 3574.89 s
Current children cumulated vsize: 171544 KiB
Current children cumulated memory: 133636 KiB

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

# cumulated CPU time of all completed processes:  user=3558.17 s, system=30.4983 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.15 4.10 7/268 339081
/proc/meminfo: memFree=125827808/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2696 CPUtime=1794.93 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 269 126471 0 1 0 0 176451 3042 20 0 1 0 61416038 10170368 674 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0
/proc/337196/statm: 2483 674 585 264 0 134 0
[pid=338130] ppid=337196 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/338130/stat : 338130 (timeout) S 337196 338130 337135 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61595845 8867840 257 134679101440 94572627374080 94572627409096 140721372362192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94572629506512 94572629508644 94572661411840 140721372369908 140721372370077 140721372370077 140721372377063 0
/proc/338130/statm: 2165 257 233 9 0 87 0
[pid=338131] ppid=338130 vsize=152952 memory=129912 CPUtime=1781.66 cores=5,7
/proc/338131/stat : 338131 (Exact) R 338130 338130 337135 0 -1 4194304 17425 0 0 0 178160 6 0 0 20 0 1 0 61595845 156622848 32478 134679101440 4194304 7243121 140721209946848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 42340352 140721209951248 140721209951398 140721209951398 140721209958384 0
/proc/338131/statm: 38238 32478 820 745 0 37303 0
Current children cumulated CPU time: 3576.59 s
Current children cumulated vsize: 171544 KiB
Current children cumulated memory: 133636 KiB

[startup+3590.4 s]
/proc/loadavg: 4.18 4.17 4.10 6/267 339082
/proc/meminfo: memFree=125820696/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2696 CPUtime=1794.93 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 269 126471 0 1 0 0 176451 3042 20 0 1 0 61416038 10170368 674 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0
/proc/337196/statm: 2483 674 585 264 0 134 0
[pid=338130] ppid=337196 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/338130/stat : 338130 (timeout) S 337196 338130 337135 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61595845 8867840 257 134679101440 94572627374080 94572627409096 140721372362192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94572629506512 94572629508644 94572661411840 140721372369908 140721372370077 140721372370077 140721372377063 0
/proc/338130/statm: 2165 257 233 9 0 87 0
[pid=338131] ppid=338130 vsize=152952 memory=129912 CPUtime=1788.04 cores=5,7
/proc/338131/stat : 338131 (Exact) R 338130 338130 337135 0 -1 4194304 17432 0 0 0 178798 6 0 0 20 0 1 0 61595845 156622848 32478 134679101440 4194304 7243121 140721209946848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 42340352 140721209951248 140721209951398 140721209951398 140721209958384 0
/proc/338131/statm: 38238 32478 820 745 0 37303 0
Current children cumulated CPU time: 3582.97 s
Current children cumulated vsize: 171544 KiB
Current children cumulated memory: 133636 KiB

[startup+3593.6 s]
/proc/loadavg: 4.18 4.17 4.10 6/267 339082
/proc/meminfo: memFree=125820700/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2696 CPUtime=1794.93 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 269 126471 0 1 0 0 176451 3042 20 0 1 0 61416038 10170368 674 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0
/proc/337196/statm: 2483 674 585 264 0 134 0
[pid=338130] ppid=337196 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/338130/stat : 338130 (timeout) S 337196 338130 337135 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61595845 8867840 257 134679101440 94572627374080 94572627409096 140721372362192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94572629506512 94572629508644 94572661411840 140721372369908 140721372370077 140721372370077 140721372377063 0
/proc/338130/statm: 2165 257 233 9 0 87 0
[pid=338131] ppid=338130 vsize=152952 memory=129912 CPUtime=1791.23 cores=5,7
/proc/338131/stat : 338131 (Exact) R 338130 338130 337135 0 -1 4194304 17441 0 0 0 179117 6 0 0 20 0 1 0 61595845 156622848 32478 134679101440 4194304 7243121 140721209946848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 42340352 140721209951248 140721209951398 140721209951398 140721209958384 0
/proc/338131/statm: 38238 32478 820 745 0 37303 0
Current children cumulated CPU time: 3586.16 s
Current children cumulated vsize: 171544 KiB
Current children cumulated memory: 133636 KiB

[startup+3595.2 s]
/proc/loadavg: 4.17 4.16 4.10 6/267 339083
/proc/meminfo: memFree=125820444/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2696 CPUtime=1794.93 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 269 126471 0 1 0 0 176451 3042 20 0 1 0 61416038 10170368 674 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0
/proc/337196/statm: 2483 674 585 264 0 134 0
[pid=338130] ppid=337196 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/338130/stat : 338130 (timeout) S 337196 338130 337135 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61595845 8867840 257 134679101440 94572627374080 94572627409096 140721372362192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94572629506512 94572629508644 94572661411840 140721372369908 140721372370077 140721372370077 140721372377063 0
/proc/338130/statm: 2165 257 233 9 0 87 0
[pid=338131] ppid=338130 vsize=152952 memory=129912 CPUtime=1792.83 cores=5,7
/proc/338131/stat : 338131 (Exact) R 338130 338130 337135 0 -1 4194304 17441 0 0 0 179277 6 0 0 20 0 1 0 61595845 156622848 32478 134679101440 4194304 7243121 140721209946848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 42340352 140721209951248 140721209951398 140721209951398 140721209958384 0
/proc/338131/statm: 38238 32478 820 745 0 37303 0
Current children cumulated CPU time: 3587.76 s
Current children cumulated vsize: 171544 KiB
Current children cumulated memory: 133636 KiB

[startup+3595.6 s]
/proc/loadavg: 4.17 4.16 4.10 6/267 339083
/proc/meminfo: memFree=125820444/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2696 CPUtime=1794.93 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 269 126471 0 1 0 0 176451 3042 20 0 1 0 61416038 10170368 674 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0
/proc/337196/statm: 2483 674 585 264 0 134 0
[pid=338130] ppid=337196 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/338130/stat : 338130 (timeout) S 337196 338130 337135 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61595845 8867840 257 134679101440 94572627374080 94572627409096 140721372362192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94572629506512 94572629508644 94572661411840 140721372369908 140721372370077 140721372370077 140721372377063 0
/proc/338130/statm: 2165 257 233 9 0 87 0
[pid=338131] ppid=338130 vsize=152952 memory=129912 CPUtime=1793.23 cores=5,7
/proc/338131/stat : 338131 (Exact) R 338130 338130 337135 0 -1 4194304 17441 0 0 0 179317 6 0 0 20 0 1 0 61595845 156622848 32478 134679101440 4194304 7243121 140721209946848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 42340352 140721209951248 140721209951398 140721209951398 140721209958384 0
/proc/338131/statm: 38238 32478 820 745 0 37303 0
Current children cumulated CPU time: 3588.16 s
Current children cumulated vsize: 171544 KiB
Current children cumulated memory: 133636 KiB

[startup+3596 s]*
/proc/loadavg: 4.17 4.16 4.10 6/267 339083
/proc/meminfo: memFree=125820420/131524600 swapFree=131071996/131071996
[pid=337196] ppid=337189 vsize=9932 memory=2696 CPUtime=1794.93 cores=5,7
/proc/337196/stat : 337196 (Hybrid-LSMabP+E) S 337189 337196 337135 0 -1 4194304 269 126471 0 1 0 0 176451 3042 20 0 1 0 61416038 10170368 674 134679101440 94913818386432 94913819465752 140728052709456 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94913821564208 94913821611396 94913832517632 140728052712426 140728052712571 140728052712571 140728052719586 0
/proc/337196/statm: 2483 674 585 264 0 134 0
[pid=338130] ppid=337196 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/338130/stat : 338130 (timeout) S 337196 338130 337135 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61595845 8867840 257 134679101440 94572627374080 94572627409096 140721372362192 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94572629506512 94572629508644 94572661411840 140721372369908 140721372370077 140721372370077 140721372377063 0
/proc/338130/statm: 2165 257 233 9 0 87 0
[pid=338131] ppid=338130 vsize=152952 memory=129912 CPUtime=1793.63 cores=5,7
/proc/338131/stat : 338131 (Exact) R 338130 338130 337135 0 -1 4194304 17441 0 0 0 179357 6 0 0 20 0 1 0 61595845 156622848 32478 134679101440 4194304 7243121 140721209946848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 42340352 140721209951248 140721209951398 140721209951398 140721209958384 0
/proc/338131/statm: 38238 32478 820 745 0 37303 0
Current children cumulated CPU time: 3588.56 s
Current children cumulated vsize: 171544 KiB
Current children cumulated memory: 133636 KiB

Child status: 0

Real time (s): 3596.09
CPU time (s): 3588.67
CPU user time (s): 3558.17
CPU system time (s): 30.4983
CPU usage (%): 99.7935
Max. virtual memory (cumulated for all children) (KiB): 171544
Max. memory (cumulated for all children) (KiB): 133636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.17
system time used= 30.4983
maximum resident set size= 141936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147189
page faults= 2
swaps= 0
block input operations= 16
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125
involuntary context switches= 1276


# summary of solver processes directly reported to runsolver:
#   pid: 337196
#   total CPU time (s): 3588.67
#   total CPU user time (s): 3558.17
#   total CPU system time (s): 30.4983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3476 second user time and 17.5345 second system time

The end