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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437076-1722953605/watcher-4437076-1722953605 -o /tmp/evaluation-result-4437076-1722953605/solver-4437076-1722953605 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722948202-325127 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437076-1722953605.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=328326, runsolver pid=328323

[startup+0.100094 s]*
/proc/loadavg: 4.11 4.11 4.11 5/249 328330
/proc/meminfo: memFree=129372936/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61731078 10170368 680 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0
/proc/328326/statm: 2483 680 602 264 0 134 0
[pid=328329] ppid=328326 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/328329/stat : 328329 (timeout) S 328326 328329 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61731078 8867840 257 134679101440 94321727406080 94321727441096 140735175701056 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94321729538512 94321729540644 94321754488832 140735175709741 140735175709857 140735175709857 140735175716839 0
/proc/328329/statm: 2165 257 232 9 0 87 0
[pid=328330] ppid=328329 vsize=21516 memory=9288 CPUtime=0.1 cores=4,6
/proc/328330/stat : 328330 (LS-MabSP) R 328329 328329 325114 0 -1 4194304 961 0 0 0 10 0 0 0 20 0 1 0 61731078 22032384 2322 134679101440 4194304 15467897 140736264003136 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36143104 140736264008768 140736264008871 140736264008871 140736264015853 0
/proc/328330/statm: 5379 2322 1105 2753 0 2032 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 13036 KiB

[startup+0.213326 s]*
/proc/loadavg: 4.11 4.11 4.11 5/249 328330
/proc/meminfo: memFree=129326184/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61731078 10170368 680 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0
/proc/328326/statm: 2483 680 602 264 0 134 0
[pid=328329] ppid=328326 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/328329/stat : 328329 (timeout) S 328326 328329 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61731078 8867840 257 134679101440 94321727406080 94321727441096 140735175701056 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94321729538512 94321729540644 94321754488832 140735175709741 140735175709857 140735175709857 140735175716839 0
/proc/328329/statm: 2165 257 232 9 0 87 0
[pid=328330] ppid=328329 vsize=36856 memory=29088 CPUtime=0.21 cores=4,6
/proc/328330/stat : 328330 (LS-MabSP) R 328329 328329 325114 0 -1 4194304 4584 0 0 0 21 0 0 0 20 0 1 0 61731078 37740544 7272 134679101440 4194304 15467897 140736264003136 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36143104 140736264008768 140736264008871 140736264008871 140736264015853 0
/proc/328330/statm: 9214 7272 2689 2753 0 5867 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 55448 KiB
Current children cumulated memory: 32836 KiB

[startup+0.313661 s]*
/proc/loadavg: 4.11 4.11 4.11 5/249 328330
/proc/meminfo: memFree=129303796/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61731078 10170368 680 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0
/proc/328326/statm: 2483 680 602 264 0 134 0
[pid=328329] ppid=328326 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/328329/stat : 328329 (timeout) S 328326 328329 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61731078 8867840 257 134679101440 94321727406080 94321727441096 140735175701056 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94321729538512 94321729540644 94321754488832 140735175709741 140735175709857 140735175709857 140735175716839 0
/proc/328329/statm: 2165 257 232 9 0 87 0
[pid=328330] ppid=328329 vsize=44504 memory=37128 CPUtime=0.31 cores=4,6
/proc/328330/stat : 328330 (LS-MabSP) R 328329 328329 325114 0 -1 4194304 6558 0 0 0 31 0 0 0 20 0 1 0 61731078 45572096 9282 134679101440 4194304 15467897 140736264003136 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36143104 140736264008768 140736264008871 140736264008871 140736264015853 0
/proc/328330/statm: 11126 9282 2817 2753 0 7779 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 63096 KiB
Current children cumulated memory: 40876 KiB

[startup+0.700413 s]
/proc/loadavg: 4.11 4.11 4.11 5/249 328330
/proc/meminfo: memFree=129275140/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61731078 10170368 680 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0
/proc/328326/statm: 2483 680 602 264 0 134 0
[pid=328329] ppid=328326 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/328329/stat : 328329 (timeout) S 328326 328329 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61731078 8867840 257 134679101440 94321727406080 94321727441096 140735175701056 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94321729538512 94321729540644 94321754488832 140735175709741 140735175709857 140735175709857 140735175716839 0
/proc/328329/statm: 2165 257 232 9 0 87 0
[pid=328330] ppid=328329 vsize=49128 memory=41636 CPUtime=0.68 cores=4,6
/proc/328330/stat : 328330 (LS-MabSP) R 328329 328329 325114 0 -1 4194304 7645 0 0 0 67 1 0 0 20 0 1 0 61731078 50307072 10409 134679101440 4194304 15467897 140736264003136 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36143104 140736264008768 140736264008871 140736264008871 140736264015853 0
/proc/328330/statm: 12282 10409 2833 2753 0 8935 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 67720 KiB
Current children cumulated memory: 45384 KiB

[startup+1.50042 s]
/proc/loadavg: 4.11 4.11 4.11 5/249 328330
/proc/meminfo: memFree=129221004/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61731078 10170368 680 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0
/proc/328326/statm: 2483 680 602 264 0 134 0
[pid=328329] ppid=328326 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/328329/stat : 328329 (timeout) S 328326 328329 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61731078 8867840 257 134679101440 94321727406080 94321727441096 140735175701056 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94321729538512 94321729540644 94321754488832 140735175709741 140735175709857 140735175709857 140735175716839 0
/proc/328329/statm: 2165 257 232 9 0 87 0
[pid=328330] ppid=328329 vsize=52760 memory=44540 CPUtime=1.48 cores=4,6
/proc/328330/stat : 328330 (LS-MabSP) R 328329 328329 325114 0 -1 4194304 8381 0 0 0 147 1 0 0 20 0 1 0 61731078 54026240 11135 134679101440 4194304 15467897 140736264003136 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36143104 140736264008768 140736264008871 140736264008871 140736264015853 0
/proc/328330/statm: 13190 11135 2833 2753 0 9843 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 71352 KiB
Current children cumulated memory: 48288 KiB

[startup+3.11322 s]
/proc/loadavg: 4.10 4.11 4.11 5/249 328389
/proc/meminfo: memFree=129091180/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61731078 10170368 680 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0
/proc/328326/statm: 2483 680 602 264 0 134 0
[pid=328329] ppid=328326 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/328329/stat : 328329 (timeout) S 328326 328329 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61731078 8867840 257 134679101440 94321727406080 94321727441096 140735175701056 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94321729538512 94321729540644 94321754488832 140735175709741 140735175709857 140735175709857 140735175716839 0
/proc/328329/statm: 2165 257 232 9 0 87 0
[pid=328330] ppid=328329 vsize=64020 memory=54568 CPUtime=3.09 cores=4,6
/proc/328330/stat : 328330 (LS-MabSP) R 328329 328329 325114 0 -1 4194304 10924 0 0 0 308 1 0 0 20 0 1 0 61731078 65556480 13642 134679101440 4194304 15467897 140736264003136 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36143104 140736264008768 140736264008871 140736264008871 140736264015853 0
/proc/328330/statm: 16005 13642 2833 2753 0 12658 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 82612 KiB
Current children cumulated memory: 58316 KiB

[startup+6.30047 s]
/proc/loadavg: 4.10 4.11 4.11 5/249 328389
/proc/meminfo: memFree=128972488/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61731078 10170368 680 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0
/proc/328326/statm: 2483 680 602 264 0 134 0
[pid=328329] ppid=328326 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/328329/stat : 328329 (timeout) S 328326 328329 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61731078 8867840 257 134679101440 94321727406080 94321727441096 140735175701056 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94321729538512 94321729540644 94321754488832 140735175709741 140735175709857 140735175709857 140735175716839 0
/proc/328329/statm: 2165 257 232 9 0 87 0
[pid=328330] ppid=328329 vsize=91212 memory=80436 CPUtime=6.27 cores=4,6
/proc/328330/stat : 328330 (LS-MabSP) R 328329 328329 325114 0 -1 4194304 17347 0 0 0 625 2 0 0 20 0 1 0 61731078 93401088 20109 134679101440 4194304 15467897 140736264003136 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36143104 140736264008768 140736264008871 140736264008871 140736264015853 0
/proc/328330/statm: 22803 20109 2833 2753 0 19456 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 109804 KiB
Current children cumulated memory: 84184 KiB

[startup+12.7004 s]
/proc/loadavg: 4.10 4.11 4.11 5/249 328391
/proc/meminfo: memFree=128784628/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61731078 10170368 680 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0
/proc/328326/statm: 2483 680 602 264 0 134 0
[pid=328329] ppid=328326 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/328329/stat : 328329 (timeout) S 328326 328329 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61731078 8867840 257 134679101440 94321727406080 94321727441096 140735175701056 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94321729538512 94321729540644 94321754488832 140735175709741 140735175709857 140735175709857 140735175716839 0
/proc/328329/statm: 2165 257 232 9 0 87 0
[pid=328330] ppid=328329 vsize=106312 memory=92504 CPUtime=12.65 cores=4,6
/proc/328330/stat : 328330 (LS-MabSP) R 328329 328329 325114 0 -1 4194304 21520 0 0 0 1262 3 0 0 20 0 1 0 61731078 108863488 23126 134679101440 4194304 15467897 140736264003136 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36143104 140736264008768 140736264008871 140736264008871 140736264015853 0
/proc/328330/statm: 26578 23126 2833 2753 0 23231 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 124904 KiB
Current children cumulated memory: 96252 KiB

[startup+25.5005 s]
/proc/loadavg: 4.15 4.12 4.12 5/249 328392
/proc/meminfo: memFree=128573464/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61731078 10170368 680 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0
/proc/328326/statm: 2483 680 602 264 0 134 0
[pid=328329] ppid=328326 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/328329/stat : 328329 (timeout) S 328326 328329 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61731078 8867840 257 134679101440 94321727406080 94321727441096 140735175701056 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94321729538512 94321729540644 94321754488832 140735175709741 140735175709857 140735175709857 140735175716839 0
/proc/328329/statm: 2165 257 232 9 0 87 0
[pid=328330] ppid=328329 vsize=113200 memory=98824 CPUtime=25.42 cores=4,6
/proc/328330/stat : 328330 (LS-MabSP) R 328329 328329 325114 0 -1 4194304 23095 0 0 0 2539 3 0 0 20 0 1 0 61731078 115916800 24706 134679101440 4194304 15467897 140736264003136 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36143104 140736264008768 140736264008871 140736264008871 140736264015853 0
/proc/328330/statm: 28300 24706 2833 2753 0 24953 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 131792 KiB
Current children cumulated memory: 102572 KiB

[startup+51.1131 s]
/proc/loadavg: 4.10 4.11 4.11 5/249 328397
/proc/meminfo: memFree=128432356/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61731078 10170368 680 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0
/proc/328326/statm: 2483 680 602 264 0 134 0
[pid=328329] ppid=328326 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/328329/stat : 328329 (timeout) S 328326 328329 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61731078 8867840 257 134679101440 94321727406080 94321727441096 140735175701056 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94321729538512 94321729540644 94321754488832 140735175709741 140735175709857 140735175709857 140735175716839 0
/proc/328329/statm: 2165 257 232 9 0 87 0
[pid=328330] ppid=328329 vsize=148216 memory=130932 CPUtime=50.97 cores=4,6
/proc/328330/stat : 328330 (LS-MabSP) R 328329 328329 325114 0 -1 4194304 31538 0 0 0 5093 4 0 0 20 0 1 0 61731078 151773184 32733 134679101440 4194304 15467897 140736264003136 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36143104 140736264008768 140736264008871 140736264008871 140736264015853 0
/proc/328330/statm: 37054 32733 2833 2753 0 33707 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 166808 KiB
Current children cumulated memory: 134680 KiB

[startup+102.301 s]
/proc/loadavg: 4.04 4.09 4.10 5/249 328406
/proc/meminfo: memFree=128324444/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61731078 10170368 680 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0

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

/proc/329351/statm: 48936 47099 748 737 0 48024 0
Current children cumulated CPU time: 3394.42 s
Current children cumulated vsize: 214336 KiB
Current children cumulated memory: 192076 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/248 330274
/proc/meminfo: memFree=128156448/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2764 CPUtime=1794.28 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 269 108621 0 0 0 0 174656 4772 20 0 1 0 61731078 10170368 691 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0
/proc/328326/statm: 2483 691 602 264 0 134 0
[pid=329350] ppid=328326 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/329350/stat : 329350 (timeout) S 328326 329350 325114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61910879 8867840 229 134679101440 94259811880960 94259811915976 140728726138480 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94259814013392 94259814015524 94259841527808 140728726139896 140728726140065 140728726140065 140728726147047 0
/proc/329350/statm: 2165 229 205 9 0 87 0
[pid=329351] ppid=329350 vsize=196320 memory=188808 CPUtime=1660 cores=4,6
/proc/329351/stat : 329351 (Exact) R 329350 329350 325114 0 -1 4194304 25697 0 0 0 165990 10 0 0 20 0 1 0 61910879 201031680 47202 134679101440 4194304 7210733 140726784875952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7850304 7914896 26484736 140726784877588 140726784877738 140726784877738 140726784884720 0
/proc/329351/statm: 49080 47202 748 737 0 48168 0
Current children cumulated CPU time: 3454.28 s
Current children cumulated vsize: 214912 KiB
Current children cumulated memory: 192488 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/248 330284
/proc/meminfo: memFree=128153840/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2764 CPUtime=1794.28 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 269 108621 0 0 0 0 174656 4772 20 0 1 0 61731078 10170368 691 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0
/proc/328326/statm: 2483 691 602 264 0 134 0
[pid=329350] ppid=328326 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/329350/stat : 329350 (timeout) S 328326 329350 325114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61910879 8867840 229 134679101440 94259811880960 94259811915976 140728726138480 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94259814013392 94259814015524 94259841527808 140728726139896 140728726140065 140728726140065 140728726147047 0
/proc/329350/statm: 2165 229 205 9 0 87 0
[pid=329351] ppid=329350 vsize=197152 memory=189800 CPUtime=1719.86 cores=4,6
/proc/329351/stat : 329351 (Exact) R 329350 329350 325114 0 -1 4194304 25990 0 0 0 171976 10 0 0 20 0 1 0 61910879 201883648 47450 134679101440 4194304 7210733 140726784875952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7850304 7914896 26484736 140726784877588 140726784877738 140726784877738 140726784884720 0
/proc/329351/statm: 49288 47450 748 737 0 48376 0
Current children cumulated CPU time: 3514.14 s
Current children cumulated vsize: 215744 KiB
Current children cumulated memory: 193480 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.12 4.16 5/248 330296
/proc/meminfo: memFree=128152364/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2764 CPUtime=1794.28 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 269 108621 0 0 0 0 174656 4772 20 0 1 0 61731078 10170368 691 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0
/proc/328326/statm: 2483 691 602 264 0 134 0
[pid=329350] ppid=328326 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/329350/stat : 329350 (timeout) S 328326 329350 325114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61910879 8867840 229 134679101440 94259811880960 94259811915976 140728726138480 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94259814013392 94259814015524 94259841527808 140728726139896 140728726140065 140728726140065 140728726147047 0
/proc/329350/statm: 2165 229 205 9 0 87 0
[pid=329351] ppid=329350 vsize=197472 memory=190132 CPUtime=1779.73 cores=4,6
/proc/329351/stat : 329351 (Exact) R 329350 329350 325114 0 -1 4194304 26128 0 0 0 177963 10 0 0 20 0 1 0 61910879 202211328 47533 134679101440 4194304 7210733 140726784875952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7850304 7914896 26484736 140726784877588 140726784877738 140726784877738 140726784884720 0
/proc/329351/statm: 49368 47533 748 737 0 48456 0
Current children cumulated CPU time: 3574.01 s
Current children cumulated vsize: 216064 KiB
Current children cumulated memory: 193812 KiB

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

# cumulated CPU time of all completed processes:  user=3539.9 s, system=47.856 s

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

[startup+3584 s]*
/proc/loadavg: 4.04 4.11 4.16 5/248 330296
/proc/meminfo: memFree=128152364/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2764 CPUtime=1794.28 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 269 108621 0 0 0 0 174656 4772 20 0 1 0 61731078 10170368 691 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0
/proc/328326/statm: 2483 691 602 264 0 134 0
[pid=329350] ppid=328326 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/329350/stat : 329350 (timeout) S 328326 329350 325114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61910879 8867840 229 134679101440 94259811880960 94259811915976 140728726138480 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94259814013392 94259814015524 94259841527808 140728726139896 140728726140065 140728726140065 140728726147047 0
/proc/329350/statm: 2165 229 205 9 0 87 0
[pid=329351] ppid=329350 vsize=197472 memory=190132 CPUtime=1781.43 cores=4,6
/proc/329351/stat : 329351 (Exact) R 329350 329350 325114 0 -1 4194304 26130 0 0 0 178133 10 0 0 20 0 1 0 61910879 202211328 47533 134679101440 4194304 7210733 140726784875952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7850304 7914896 26484736 140726784877588 140726784877738 140726784877738 140726784884720 0
/proc/329351/statm: 49368 47533 748 737 0 48456 0
Current children cumulated CPU time: 3575.71 s
Current children cumulated vsize: 216064 KiB
Current children cumulated memory: 193812 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.13 4.16 5/248 330298
/proc/meminfo: memFree=128152140/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2764 CPUtime=1794.28 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 269 108621 0 0 0 0 174656 4772 20 0 1 0 61731078 10170368 691 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0
/proc/328326/statm: 2483 691 602 264 0 134 0
[pid=329350] ppid=328326 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/329350/stat : 329350 (timeout) S 328326 329350 325114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61910879 8867840 229 134679101440 94259811880960 94259811915976 140728726138480 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94259814013392 94259814015524 94259841527808 140728726139896 140728726140065 140728726140065 140728726147047 0
/proc/329350/statm: 2165 229 205 9 0 87 0
[pid=329351] ppid=329350 vsize=197664 memory=190332 CPUtime=1787.81 cores=4,6
/proc/329351/stat : 329351 (Exact) R 329350 329350 325114 0 -1 4194304 26186 0 0 0 178771 10 0 0 20 0 1 0 61910879 202407936 47583 134679101440 4194304 7210733 140726784875952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7850304 7914896 26484736 140726784877588 140726784877738 140726784877738 140726784884720 0
/proc/329351/statm: 49416 47583 748 737 0 48504 0
Current children cumulated CPU time: 3582.09 s
Current children cumulated vsize: 216256 KiB
Current children cumulated memory: 194012 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.13 4.16 5/248 330298
/proc/meminfo: memFree=128152112/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2764 CPUtime=1794.28 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 269 108621 0 0 0 0 174656 4772 20 0 1 0 61731078 10170368 691 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0
/proc/328326/statm: 2483 691 602 264 0 134 0
[pid=329350] ppid=328326 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/329350/stat : 329350 (timeout) S 328326 329350 325114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61910879 8867840 229 134679101440 94259811880960 94259811915976 140728726138480 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94259814013392 94259814015524 94259841527808 140728726139896 140728726140065 140728726140065 140728726147047 0
/proc/329350/statm: 2165 229 205 9 0 87 0
[pid=329351] ppid=329350 vsize=198368 memory=190828 CPUtime=1791 cores=4,6
/proc/329351/stat : 329351 (Exact) R 329350 329350 325114 0 -1 4194304 26338 0 0 0 179090 10 0 0 20 0 1 0 61910879 203128832 47707 134679101440 4194304 7210733 140726784875952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7850304 7914896 26484736 140726784877588 140726784877738 140726784877738 140726784884720 0
/proc/329351/statm: 49592 47707 748 737 0 48680 0
Current children cumulated CPU time: 3585.28 s
Current children cumulated vsize: 216960 KiB
Current children cumulated memory: 194508 KiB

[startup+3595.2 s]
/proc/loadavg: 4.11 4.13 4.16 5/248 330298
/proc/meminfo: memFree=128151132/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2764 CPUtime=1794.28 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 269 108621 0 0 0 0 174656 4772 20 0 1 0 61731078 10170368 691 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0
/proc/328326/statm: 2483 691 602 264 0 134 0
[pid=329350] ppid=328326 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/329350/stat : 329350 (timeout) S 328326 329350 325114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61910879 8867840 229 134679101440 94259811880960 94259811915976 140728726138480 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94259814013392 94259814015524 94259841527808 140728726139896 140728726140065 140728726140065 140728726147047 0
/proc/329350/statm: 2165 229 205 9 0 87 0
[pid=329351] ppid=329350 vsize=198368 memory=190828 CPUtime=1792.6 cores=4,6
/proc/329351/stat : 329351 (Exact) R 329350 329350 325114 0 -1 4194304 26338 0 0 0 179250 10 0 0 20 0 1 0 61910879 203128832 47707 134679101440 4194304 7210733 140726784875952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7850304 7914896 26484736 140726784877588 140726784877738 140726784877738 140726784884720 0
/proc/329351/statm: 49592 47707 748 737 0 48680 0
Current children cumulated CPU time: 3586.88 s
Current children cumulated vsize: 216960 KiB
Current children cumulated memory: 194508 KiB

[startup+3595.6 s]
/proc/loadavg: 4.11 4.13 4.16 5/248 330298
/proc/meminfo: memFree=128151132/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2764 CPUtime=1794.28 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 269 108621 0 0 0 0 174656 4772 20 0 1 0 61731078 10170368 691 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0
/proc/328326/statm: 2483 691 602 264 0 134 0
[pid=329350] ppid=328326 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/329350/stat : 329350 (timeout) S 328326 329350 325114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61910879 8867840 229 134679101440 94259811880960 94259811915976 140728726138480 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94259814013392 94259814015524 94259841527808 140728726139896 140728726140065 140728726140065 140728726147047 0
/proc/329350/statm: 2165 229 205 9 0 87 0
[pid=329351] ppid=329350 vsize=198368 memory=190828 CPUtime=1792.99 cores=4,6
/proc/329351/stat : 329351 (Exact) R 329350 329350 325114 0 -1 4194304 26338 0 0 0 179289 10 0 0 20 0 1 0 61910879 203128832 47707 134679101440 4194304 7210733 140726784875952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7850304 7914896 26484736 140726784877588 140726784877738 140726784877738 140726784884720 0
/proc/329351/statm: 49592 47707 748 737 0 48680 0
Current children cumulated CPU time: 3587.27 s
Current children cumulated vsize: 216960 KiB
Current children cumulated memory: 194508 KiB

[startup+3596 s]*
/proc/loadavg: 4.11 4.13 4.16 4/244 330320
/proc/meminfo: memFree=128372088/131655788 swapFree=131071216/131071996
[pid=328326] ppid=328323 vsize=9932 memory=2764 CPUtime=1794.28 cores=4,6
/proc/328326/stat : 328326 (Hybrid-LSMabSP+) S 328323 328326 325114 0 -1 4194304 269 108621 0 0 0 0 174656 4772 20 0 1 0 61731078 10170368 691 134679101440 94561086631936 94561087711256 140721231432448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94561089809712 94561089856900 94561107959808 140721231434732 140721231434878 140721231434878 140721231441889 0
/proc/328326/statm: 2483 691 602 264 0 134 0
[pid=329350] ppid=328326 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/329350/stat : 329350 (timeout) S 328326 329350 325114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61910879 8867840 229 134679101440 94259811880960 94259811915976 140728726138480 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94259814013392 94259814015524 94259841527808 140728726139896 140728726140065 140728726140065 140728726147047 0
/proc/329350/statm: 2165 229 205 9 0 87 0
[pid=329351] ppid=329350 vsize=198368 memory=190828 CPUtime=1793.41 cores=4,6
/proc/329351/stat : 329351 (Exact) R 329350 329350 325114 0 -1 4194304 26338 0 0 0 179331 10 0 0 20 0 1 0 61910879 203128832 47707 134679101440 4194304 7210733 140726784875952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7850304 7914896 26484736 140726784877588 140726784877738 140726784877738 140726784884720 0
/proc/329351/statm: 49592 47707 748 737 0 48680 0
Current children cumulated CPU time: 3587.69 s
Current children cumulated vsize: 216960 KiB
Current children cumulated memory: 194508 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3587.75
CPU user time (s): 3539.9
CPU system time (s): 47.856
CPU usage (%): 99.7695
Max. virtual memory (cumulated for all children) (KiB): 461080
Max. memory (cumulated for all children) (KiB): 411872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3539.9
system time used= 47.856
maximum resident set size= 408288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138238
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106
involuntary context switches= 2370


# summary of solver processes directly reported to runsolver:
#   pid: 328326
#   total CPU time (s): 3587.75
#   total CPU user time (s): 3539.9
#   total CPU system time (s): 47.856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4403 second user time and 38.7547 second system time

The end