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: 64096 MiB (53582 MiB free)
  memory of node 1: 64473 MiB (62652 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=359759, runsolver pid=359756

[startup+0.100924 s]*
/proc/loadavg: 4.13 4.18 4.18 5/253 359763
/proc/meminfo: memFree=119019352/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 65521552 10170368 664 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0
/proc/359759/statm: 2483 664 584 264 0 134 0
[pid=359762] ppid=359759 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/359762/stat : 359762 (timeout) S 359759 359762 355190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65521553 8867840 229 134679101440 94349966368768 94349966403784 140720971787520 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94349968501200 94349968503332 94349997572096 140720971793449 140720971793565 140720971793565 140720971800551 0
/proc/359762/statm: 2165 229 204 9 0 87 0
[pid=359763] ppid=359762 vsize=20636 memory=7896 CPUtime=0.09 cores=1,3
/proc/359763/stat : 359763 (LS-MabSP) R 359762 359762 355190 0 -1 4194304 532 0 0 0 8 1 0 0 20 0 1 0 65521553 21131264 1974 134679101440 4194304 15467897 140732242820160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35676160 140732242826300 140732242826403 140732242826403 140732242833389 0
/proc/359763/statm: 5159 1974 1073 2753 0 1812 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39228 KiB
Current children cumulated memory: 11468 KiB

[startup+0.21334 s]*
/proc/loadavg: 4.13 4.18 4.18 5/253 359763
/proc/meminfo: memFree=119019116/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 65521552 10170368 664 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0
/proc/359759/statm: 2483 664 584 264 0 134 0
[pid=359762] ppid=359759 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/359762/stat : 359762 (timeout) S 359759 359762 355190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65521553 8867840 229 134679101440 94349966368768 94349966403784 140720971787520 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94349968501200 94349968503332 94349997572096 140720971793449 140720971793565 140720971793565 140720971800551 0
/proc/359762/statm: 2165 229 204 9 0 87 0
[pid=359763] ppid=359762 vsize=20636 memory=7896 CPUtime=0.2 cores=1,3
/proc/359763/stat : 359763 (LS-MabSP) R 359762 359762 355190 0 -1 4194304 533 0 0 0 18 2 0 0 20 0 1 0 65521553 21131264 1974 134679101440 4194304 15467897 140732242820160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35676160 140732242826300 140732242826403 140732242826403 140732242833389 0
/proc/359763/statm: 5159 1974 1073 2753 0 1812 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39228 KiB
Current children cumulated memory: 11468 KiB

[startup+0.312466 s]*
/proc/loadavg: 4.13 4.18 4.18 5/253 359763
/proc/meminfo: memFree=119018976/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 65521552 10170368 664 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0
/proc/359759/statm: 2483 664 584 264 0 134 0
[pid=359762] ppid=359759 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/359762/stat : 359762 (timeout) S 359759 359762 355190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65521553 8867840 229 134679101440 94349966368768 94349966403784 140720971787520 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94349968501200 94349968503332 94349997572096 140720971793449 140720971793565 140720971793565 140720971800551 0
/proc/359762/statm: 2165 229 204 9 0 87 0
[pid=359763] ppid=359762 vsize=20636 memory=7896 CPUtime=0.31 cores=1,3
/proc/359763/stat : 359763 (LS-MabSP) R 359762 359762 355190 0 -1 4194304 533 0 0 0 27 4 0 0 20 0 1 0 65521553 21131264 1974 134679101440 4194304 15467897 140732242820160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35676160 140732242826300 140732242826403 140732242826403 140732242833389 0
/proc/359763/statm: 5159 1974 1073 2753 0 1812 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39228 KiB
Current children cumulated memory: 11468 KiB

[startup+0.700408 s]
/proc/loadavg: 4.12 4.17 4.17 5/253 359763
/proc/meminfo: memFree=119018808/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 65521552 10170368 664 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0
/proc/359759/statm: 2483 664 584 264 0 134 0
[pid=359762] ppid=359759 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/359762/stat : 359762 (timeout) S 359759 359762 355190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65521553 8867840 229 134679101440 94349966368768 94349966403784 140720971787520 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94349968501200 94349968503332 94349997572096 140720971793449 140720971793565 140720971793565 140720971800551 0
/proc/359762/statm: 2165 229 204 9 0 87 0
[pid=359763] ppid=359762 vsize=20636 memory=7896 CPUtime=0.67 cores=1,3
/proc/359763/stat : 359763 (LS-MabSP) R 359762 359762 355190 0 -1 4194304 533 0 0 0 59 8 0 0 20 0 1 0 65521553 21131264 1974 134679101440 4194304 15467897 140732242820160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35676160 140732242826300 140732242826403 140732242826403 140732242833389 0
/proc/359763/statm: 5159 1974 1073 2753 0 1812 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 39228 KiB
Current children cumulated memory: 11468 KiB

[startup+1.50039 s]
/proc/loadavg: 4.12 4.17 4.17 5/253 359763
/proc/meminfo: memFree=119018788/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 65521552 10170368 664 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0
/proc/359759/statm: 2483 664 584 264 0 134 0
[pid=359762] ppid=359759 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/359762/stat : 359762 (timeout) S 359759 359762 355190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65521553 8867840 229 134679101440 94349966368768 94349966403784 140720971787520 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94349968501200 94349968503332 94349997572096 140720971793449 140720971793565 140720971793565 140720971800551 0
/proc/359762/statm: 2165 229 204 9 0 87 0
[pid=359763] ppid=359762 vsize=20636 memory=7896 CPUtime=1.48 cores=1,3
/proc/359763/stat : 359763 (LS-MabSP) R 359762 359762 355190 0 -1 4194304 539 0 0 0 126 22 0 0 20 0 1 0 65521553 21131264 1974 134679101440 4194304 15467897 140732242820160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35676160 140732242826300 140732242826403 140732242826403 140732242833389 0
/proc/359763/statm: 5159 1974 1073 2753 0 1812 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39228 KiB
Current children cumulated memory: 11468 KiB

[startup+3.11193 s]
/proc/loadavg: 4.12 4.17 4.17 5/253 359763
/proc/meminfo: memFree=119018704/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 65521552 10170368 664 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0
/proc/359759/statm: 2483 664 584 264 0 134 0
[pid=359762] ppid=359759 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/359762/stat : 359762 (timeout) S 359759 359762 355190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65521553 8867840 229 134679101440 94349966368768 94349966403784 140720971787520 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94349968501200 94349968503332 94349997572096 140720971793449 140720971793565 140720971793565 140720971800551 0
/proc/359762/statm: 2165 229 204 9 0 87 0
[pid=359763] ppid=359762 vsize=20636 memory=7896 CPUtime=3.08 cores=1,3
/proc/359763/stat : 359763 (LS-MabSP) R 359762 359762 355190 0 -1 4194304 540 0 0 0 265 43 0 0 20 0 1 0 65521553 21131264 1974 134679101440 4194304 15467897 140732242820160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35676160 140732242826300 140732242826403 140732242826403 140732242833389 0
/proc/359763/statm: 5159 1974 1073 2753 0 1812 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39228 KiB
Current children cumulated memory: 11468 KiB

[startup+6.30037 s]
/proc/loadavg: 4.11 4.17 4.17 5/253 359764
/proc/meminfo: memFree=119018564/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 65521552 10170368 664 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0
/proc/359759/statm: 2483 664 584 264 0 134 0
[pid=359762] ppid=359759 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/359762/stat : 359762 (timeout) S 359759 359762 355190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65521553 8867840 229 134679101440 94349966368768 94349966403784 140720971787520 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94349968501200 94349968503332 94349997572096 140720971793449 140720971793565 140720971793565 140720971800551 0
/proc/359762/statm: 2165 229 204 9 0 87 0
[pid=359763] ppid=359762 vsize=20636 memory=7896 CPUtime=6.27 cores=1,3
/proc/359763/stat : 359763 (LS-MabSP) R 359762 359762 355190 0 -1 4194304 540 0 0 0 534 93 0 0 20 0 1 0 65521553 21131264 1974 134679101440 4194304 15467897 140732242820160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35676160 140732242826300 140732242826403 140732242826403 140732242833389 0
/proc/359763/statm: 5159 1974 1073 2753 0 1812 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 39228 KiB
Current children cumulated memory: 11468 KiB

[startup+12.7004 s]
/proc/loadavg: 4.10 4.17 4.17 5/253 359764
/proc/meminfo: memFree=119018536/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 65521552 10170368 664 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0
/proc/359759/statm: 2483 664 584 264 0 134 0
[pid=359762] ppid=359759 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/359762/stat : 359762 (timeout) S 359759 359762 355190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65521553 8867840 229 134679101440 94349966368768 94349966403784 140720971787520 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94349968501200 94349968503332 94349997572096 140720971793449 140720971793565 140720971793565 140720971800551 0
/proc/359762/statm: 2165 229 204 9 0 87 0
[pid=359763] ppid=359762 vsize=20636 memory=7896 CPUtime=12.65 cores=1,3
/proc/359763/stat : 359763 (LS-MabSP) R 359762 359762 355190 0 -1 4194304 540 0 0 0 1076 189 0 0 20 0 1 0 65521553 21131264 1974 134679101440 4194304 15467897 140732242820160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35676160 140732242826300 140732242826403 140732242826403 140732242833389 0
/proc/359763/statm: 5159 1974 1073 2753 0 1812 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 39228 KiB
Current children cumulated memory: 11468 KiB

[startup+25.5004 s]
/proc/loadavg: 4.16 4.18 4.18 5/250 359829
/proc/meminfo: memFree=119015744/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 65521552 10170368 664 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0
/proc/359759/statm: 2483 664 584 264 0 134 0
[pid=359762] ppid=359759 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/359762/stat : 359762 (timeout) S 359759 359762 355190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65521553 8867840 229 134679101440 94349966368768 94349966403784 140720971787520 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94349968501200 94349968503332 94349997572096 140720971793449 140720971793565 140720971793565 140720971800551 0
/proc/359762/statm: 2165 229 204 9 0 87 0
[pid=359763] ppid=359762 vsize=20636 memory=7896 CPUtime=25.42 cores=1,3
/proc/359763/stat : 359763 (LS-MabSP) R 359762 359762 355190 0 -1 4194304 540 0 0 0 2153 389 0 0 20 0 1 0 65521553 21131264 1974 134679101440 4194304 15467897 140732242820160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35676160 140732242826300 140732242826403 140732242826403 140732242833389 0
/proc/359763/statm: 5159 1974 1073 2753 0 1812 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 39228 KiB
Current children cumulated memory: 11468 KiB

[startup+51.1122 s]
/proc/loadavg: 4.10 4.16 4.17 5/250 359904
/proc/meminfo: memFree=118664404/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 65521552 10170368 664 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0
/proc/359759/statm: 2483 664 584 264 0 134 0
[pid=359762] ppid=359759 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/359762/stat : 359762 (timeout) S 359759 359762 355190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65521553 8867840 229 134679101440 94349966368768 94349966403784 140720971787520 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94349968501200 94349968503332 94349997572096 140720971793449 140720971793565 140720971793565 140720971800551 0
/proc/359762/statm: 2165 229 204 9 0 87 0
[pid=359763] ppid=359762 vsize=20636 memory=7896 CPUtime=50.98 cores=1,3
/proc/359763/stat : 359763 (LS-MabSP) R 359762 359762 355190 0 -1 4194304 540 0 0 0 4293 805 0 0 20 0 1 0 65521553 21131264 1974 134679101440 4194304 15467897 140732242820160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35676160 140732242826300 140732242826403 140732242826403 140732242833389 0
/proc/359763/statm: 5159 1974 1073 2753 0 1812 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 39228 KiB
Current children cumulated memory: 11468 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.18 4.18 5/250 359913
/proc/meminfo: memFree=118662864/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 65521552 10170368 664 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0

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

/proc/359759/statm: 2483 664 584 264 0 134 0
[pid=359762] ppid=359759 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/359762/stat : 359762 (timeout) S 359759 359762 355190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65521553 8867840 229 134679101440 94349966368768 94349966403784 140720971787520 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94349968501200 94349968503332 94349997572096 140720971793449 140720971793565 140720971793565 140720971800551 0
/proc/359762/statm: 2165 229 204 9 0 87 0
[pid=359763] ppid=359762 vsize=20636 memory=8204 CPUtime=1599.03 cores=1,3
/proc/359763/stat : 359763 (LS-MabSP) R 359762 359762 355190 0 -1 4194304 545 0 0 0 133185 26718 0 0 20 0 1 0 65521553 21131264 2051 134679101440 4194304 15467897 140732242820160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35676160 140732242826300 140732242826403 140732242826403 140732242833389 0
/proc/359763/statm: 5159 2051 1089 2753 0 1812 0
Current children cumulated CPU time: 1599.03 s
Current children cumulated vsize: 39228 KiB
Current children cumulated memory: 11776 KiB

[startup+1662.3 s]
/proc/loadavg: 4.16 4.14 4.16 5/252 360771
/proc/meminfo: memFree=118629228/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 65521552 10170368 664 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0
/proc/359759/statm: 2483 664 584 264 0 134 0
[pid=359762] ppid=359759 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/359762/stat : 359762 (timeout) S 359759 359762 355190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65521553 8867840 229 134679101440 94349966368768 94349966403784 140720971787520 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94349968501200 94349968503332 94349997572096 140720971793449 140720971793565 140720971793565 140720971800551 0
/proc/359762/statm: 2165 229 204 9 0 87 0
[pid=359763] ppid=359762 vsize=20636 memory=8204 CPUtime=1658.91 cores=1,3
/proc/359763/stat : 359763 (LS-MabSP) R 359762 359762 355190 0 -1 4194304 545 0 0 0 138171 27720 0 0 20 0 1 0 65521553 21131264 2051 134679101440 4194304 15467897 140732242820160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35676160 140732242826300 140732242826403 140732242826403 140732242833389 0
/proc/359763/statm: 5159 2051 1089 2753 0 1812 0
Current children cumulated CPU time: 1658.91 s
Current children cumulated vsize: 39228 KiB
Current children cumulated memory: 11776 KiB

[startup+1722.3 s]
/proc/loadavg: 4.18 4.14 4.16 5/255 360787
/proc/meminfo: memFree=118628308/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 65521552 10170368 664 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0
/proc/359759/statm: 2483 664 584 264 0 134 0
[pid=359762] ppid=359759 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/359762/stat : 359762 (timeout) S 359759 359762 355190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65521553 8867840 229 134679101440 94349966368768 94349966403784 140720971787520 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94349968501200 94349968503332 94349997572096 140720971793449 140720971793565 140720971793565 140720971800551 0
/proc/359762/statm: 2165 229 204 9 0 87 0
[pid=359763] ppid=359762 vsize=20636 memory=8204 CPUtime=1718.78 cores=1,3
/proc/359763/stat : 359763 (LS-MabSP) R 359762 359762 355190 0 -1 4194304 545 0 0 0 143157 28721 0 0 20 0 1 0 65521553 21131264 2051 134679101440 4194304 15467897 140732242820160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35676160 140732242826300 140732242826403 140732242826403 140732242833389 0
/proc/359763/statm: 5159 2051 1089 2753 0 1812 0
Current children cumulated CPU time: 1718.78 s
Current children cumulated vsize: 39228 KiB
Current children cumulated memory: 11776 KiB

[startup+1782.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/255 360797
/proc/meminfo: memFree=118627656/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 65521552 10170368 664 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0
/proc/359759/statm: 2483 664 584 264 0 134 0
[pid=359762] ppid=359759 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/359762/stat : 359762 (timeout) S 359759 359762 355190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65521553 8867840 229 134679101440 94349966368768 94349966403784 140720971787520 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94349968501200 94349968503332 94349997572096 140720971793449 140720971793565 140720971793565 140720971800551 0
/proc/359762/statm: 2165 229 204 9 0 87 0
[pid=359763] ppid=359762 vsize=20636 memory=8204 CPUtime=1778.66 cores=1,3
/proc/359763/stat : 359763 (LS-MabSP) R 359762 359762 355190 0 -1 4194304 545 0 0 0 148113 29753 0 0 20 0 1 0 65521553 21131264 2051 134679101440 4194304 15467897 140732242820160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35676160 140732242826300 140732242826403 140732242826403 140732242833389 0
/proc/359763/statm: 5159 2051 1089 2753 0 1812 0
Current children cumulated CPU time: 1778.66 s
Current children cumulated vsize: 39228 KiB
Current children cumulated memory: 11776 KiB

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

# cumulated CPU time of all completed processes:  user=1494.22 s, system=300.193 s

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

[startup+1785.6 s]
/proc/loadavg: 4.11 4.13 4.16 5/255 360799
/proc/meminfo: memFree=118627512/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 65521552 10170368 664 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0
/proc/359759/statm: 2483 664 584 264 0 134 0
[pid=359762] ppid=359759 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/359762/stat : 359762 (timeout) S 359759 359762 355190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65521553 8867840 229 134679101440 94349966368768 94349966403784 140720971787520 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94349968501200 94349968503332 94349997572096 140720971793449 140720971793565 140720971793565 140720971800551 0
/proc/359762/statm: 2165 229 204 9 0 87 0
[pid=359763] ppid=359762 vsize=20636 memory=8204 CPUtime=1781.95 cores=1,3
/proc/359763/stat : 359763 (LS-MabSP) R 359762 359762 355190 0 -1 4194304 545 0 0 0 148387 29808 0 0 20 0 1 0 65521553 21131264 2051 134679101440 4194304 15467897 140732242820160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35676160 140732242826300 140732242826403 140732242826403 140732242833389 0
/proc/359763/statm: 5159 2051 1089 2753 0 1812 0
Current children cumulated CPU time: 1781.95 s
Current children cumulated vsize: 39228 KiB
Current children cumulated memory: 11776 KiB

[startup+1792 s]*
/proc/loadavg: 4.16 4.14 4.16 5/255 360860
/proc/meminfo: memFree=118631608/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 65521552 10170368 664 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0
/proc/359759/statm: 2483 664 584 264 0 134 0
[pid=359762] ppid=359759 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/359762/stat : 359762 (timeout) S 359759 359762 355190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65521553 8867840 229 134679101440 94349966368768 94349966403784 140720971787520 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94349968501200 94349968503332 94349997572096 140720971793449 140720971793565 140720971793565 140720971800551 0
/proc/359762/statm: 2165 229 204 9 0 87 0
[pid=359763] ppid=359762 vsize=20636 memory=8204 CPUtime=1788.35 cores=1,3
/proc/359763/stat : 359763 (LS-MabSP) R 359762 359762 355190 0 -1 4194304 545 0 0 0 148921 29914 0 0 20 0 1 0 65521553 21131264 2051 134679101440 4194304 15467897 140732242820160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35676160 140732242826300 140732242826403 140732242826403 140732242833389 0
/proc/359763/statm: 5159 2051 1089 2753 0 1812 0
Current children cumulated CPU time: 1788.35 s
Current children cumulated vsize: 39228 KiB
Current children cumulated memory: 11776 KiB

[startup+1795.2 s]
/proc/loadavg: 4.16 4.14 4.16 5/255 360862
/proc/meminfo: memFree=118631356/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 65521552 10170368 664 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0
/proc/359759/statm: 2483 664 584 264 0 134 0
[pid=359762] ppid=359759 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/359762/stat : 359762 (timeout) S 359759 359762 355190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65521553 8867840 229 134679101440 94349966368768 94349966403784 140720971787520 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94349968501200 94349968503332 94349997572096 140720971793449 140720971793565 140720971793565 140720971800551 0
/proc/359762/statm: 2165 229 204 9 0 87 0
[pid=359763] ppid=359762 vsize=20636 memory=8204 CPUtime=1791.53 cores=1,3
/proc/359763/stat : 359763 (LS-MabSP) R 359762 359762 355190 0 -1 4194304 545 0 0 0 149186 29967 0 0 20 0 1 0 65521553 21131264 2051 134679101440 4194304 15467897 140732242820160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35676160 140732242826300 140732242826403 140732242826403 140732242833389 0
/proc/359763/statm: 5159 2051 1089 2753 0 1812 0
Current children cumulated CPU time: 1791.53 s
Current children cumulated vsize: 39228 KiB
Current children cumulated memory: 11776 KiB

[startup+1796.8 s]
/proc/loadavg: 4.15 4.14 4.16 5/255 360862
/proc/meminfo: memFree=118631356/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 65521552 10170368 664 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0
/proc/359759/statm: 2483 664 584 264 0 134 0
[pid=359762] ppid=359759 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/359762/stat : 359762 (timeout) S 359759 359762 355190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65521553 8867840 229 134679101440 94349966368768 94349966403784 140720971787520 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94349968501200 94349968503332 94349997572096 140720971793449 140720971793565 140720971793565 140720971800551 0
/proc/359762/statm: 2165 229 204 9 0 87 0
[pid=359763] ppid=359762 vsize=20636 memory=8204 CPUtime=1793.13 cores=1,3
/proc/359763/stat : 359763 (LS-MabSP) R 359762 359762 355190 0 -1 4194304 545 0 0 0 149318 29995 0 0 20 0 1 0 65521553 21131264 2051 134679101440 4194304 15467897 140732242820160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35676160 140732242826300 140732242826403 140732242826403 140732242833389 0
/proc/359763/statm: 5159 2051 1089 2753 0 1812 0
Current children cumulated CPU time: 1793.13 s
Current children cumulated vsize: 39228 KiB
Current children cumulated memory: 11776 KiB

[startup+1797.6 s]
/proc/loadavg: 4.15 4.14 4.16 5/255 360862
/proc/meminfo: memFree=118631348/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2656 CPUtime=0 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 65521552 10170368 664 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0
/proc/359759/statm: 2483 664 584 264 0 134 0
[pid=359762] ppid=359759 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/359762/stat : 359762 (timeout) S 359759 359762 355190 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65521553 8867840 229 134679101440 94349966368768 94349966403784 140720971787520 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94349968501200 94349968503332 94349997572096 140720971793449 140720971793565 140720971793565 140720971800551 0
/proc/359762/statm: 2165 229 204 9 0 87 0
[pid=359763] ppid=359762 vsize=20636 memory=8204 CPUtime=1793.92 cores=1,3
/proc/359763/stat : 359763 (LS-MabSP) R 359762 359762 355190 0 -1 4194304 545 0 0 0 149382 30010 0 0 20 0 1 0 65521553 21131264 2051 134679101440 4194304 15467897 140732242820160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35676160 140732242826300 140732242826403 140732242826403 140732242833389 0
/proc/359763/statm: 5159 2051 1089 2753 0 1812 0
Current children cumulated CPU time: 1793.92 s
Current children cumulated vsize: 39228 KiB
Current children cumulated memory: 11776 KiB

[startup+1798 s]*
/proc/loadavg: 4.15 4.14 4.16 6/255 360862
/proc/meminfo: memFree=118631400/131655788 swapFree=131071216/131071996
[pid=359759] ppid=359756 vsize=9932 memory=2692 CPUtime=1794.33 cores=1,3
/proc/359759/stat : 359759 (Hybrid-LSMabSP+) S 359756 359759 355190 0 -1 4194304 268 765 0 0 0 0 149416 30017 20 0 1 0 65521552 10170368 673 134679101440 94505304715264 94505305794584 140737372470928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94505307893040 94505307940228 94505339756544 140737372472296 140737372472442 140737372472442 140737372479457 0
/proc/359759/statm: 2483 673 584 264 0 134 0
Current children cumulated CPU time: 1794.33 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2692 KiB

Child status: 0

Real time (s): 1798.09
CPU time (s): 1794.42
CPU user time (s): 1494.22
CPU system time (s): 300.193
CPU usage (%): 99.7958
Max. virtual memory (cumulated for all children) (KiB): 39228
Max. memory (cumulated for all children) (KiB): 11776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1494.22
system time used= 300.193
maximum resident set size= 8336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3190
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 466


# summary of solver processes directly reported to runsolver:
#   pid: 359759
#   total CPU time (s): 1794.42
#   total CPU user time (s): 1494.22
#   total CPU system time (s): 300.193

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.49302 second user time and 16.6752 second system time

The end