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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437611-1722973562/watcher-4437611-1722973562 -o /tmp/evaluation-result-4437611-1722973562/solver-4437611-1722973562 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722971570-346186 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437611-1722973562.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=347521, runsolver pid=347518

[startup+0.100113 s]*
/proc/loadavg: 4.18 4.48 4.35 5/251 347525
/proc/meminfo: memFree=125663236/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/347521/stat : 347521 (Hybrid-LSMabP+E) S 347518 347521 346174 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 63951819 10170368 683 134679101440 94685541765120 94685542844440 140722202706032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685544942896 94685544990084 94685547388928 140722202715114 140722202715259 140722202715259 140722202722274 0
/proc/347521/statm: 2483 683 604 264 0 134 0
[pid=347524] ppid=347521 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/347524/stat : 347524 (timeout) S 347521 347524 346174 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63951819 8867840 249 134679101440 94717624729600 94717624764616 140723868444096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94717626862032 94717626864164 94717651464192 140723868451875 140723868451997 140723868451997 140723868458983 0
/proc/347524/statm: 2165 249 225 9 0 87 0
[pid=347525] ppid=347524 vsize=21928 memory=9300 CPUtime=0.1 cores=1,3
/proc/347525/stat : 347525 (LS-MabP) R 347524 347524 346174 0 -1 4194304 1065 0 0 0 10 0 0 0 20 0 1 0 63951820 22454272 2325 134679101440 4194304 15467897 140734276761472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45449216 140734276764727 140734276764836 140734276764836 140734276771822 0
/proc/347525/statm: 5482 2325 1073 2753 0 2135 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40520 KiB
Current children cumulated memory: 13028 KiB

[startup+0.213902 s]*
/proc/loadavg: 4.18 4.48 4.35 5/251 347525
/proc/meminfo: memFree=125662368/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/347521/stat : 347521 (Hybrid-LSMabP+E) S 347518 347521 346174 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 63951819 10170368 683 134679101440 94685541765120 94685542844440 140722202706032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685544942896 94685544990084 94685547388928 140722202715114 140722202715259 140722202715259 140722202722274 0
/proc/347521/statm: 2483 683 604 264 0 134 0
[pid=347524] ppid=347521 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/347524/stat : 347524 (timeout) S 347521 347524 346174 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63951819 8867840 249 134679101440 94717624729600 94717624764616 140723868444096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94717626862032 94717626864164 94717651464192 140723868451875 140723868451997 140723868451997 140723868458983 0
/proc/347524/statm: 2165 249 225 9 0 87 0
[pid=347525] ppid=347524 vsize=22952 memory=10340 CPUtime=0.21 cores=1,3
/proc/347525/stat : 347525 (LS-MabP) R 347524 347524 346174 0 -1 4194304 1564 0 0 0 21 0 0 0 20 0 1 0 63951820 23502848 2585 134679101440 4194304 15467897 140734276761472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45449216 140734276764727 140734276764836 140734276764836 140734276771822 0
/proc/347525/statm: 5738 2585 1073 2753 0 2391 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41544 KiB
Current children cumulated memory: 14068 KiB

[startup+0.313781 s]*
/proc/loadavg: 4.18 4.48 4.35 5/251 347525
/proc/meminfo: memFree=125659952/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/347521/stat : 347521 (Hybrid-LSMabP+E) S 347518 347521 346174 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 63951819 10170368 683 134679101440 94685541765120 94685542844440 140722202706032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685544942896 94685544990084 94685547388928 140722202715114 140722202715259 140722202715259 140722202722274 0
/proc/347521/statm: 2483 683 604 264 0 134 0
[pid=347524] ppid=347521 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/347524/stat : 347524 (timeout) S 347521 347524 346174 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63951819 8867840 249 134679101440 94717624729600 94717624764616 140723868444096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94717626862032 94717626864164 94717651464192 140723868451875 140723868451997 140723868451997 140723868458983 0
/proc/347524/statm: 2165 249 225 9 0 87 0
[pid=347525] ppid=347524 vsize=28420 memory=15552 CPUtime=0.31 cores=1,3
/proc/347525/stat : 347525 (LS-MabP) R 347524 347524 346174 0 -1 4194304 2344 0 0 0 30 1 0 0 20 0 1 0 63951820 29102080 3888 134679101440 4194304 15467897 140734276761472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45449216 140734276764727 140734276764836 140734276764836 140734276771822 0
/proc/347525/statm: 7105 3888 1073 2753 0 3758 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 47012 KiB
Current children cumulated memory: 19280 KiB

[startup+0.70052 s]
/proc/loadavg: 4.18 4.48 4.35 5/251 347525
/proc/meminfo: memFree=125646040/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/347521/stat : 347521 (Hybrid-LSMabP+E) S 347518 347521 346174 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 63951819 10170368 683 134679101440 94685541765120 94685542844440 140722202706032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685544942896 94685544990084 94685547388928 140722202715114 140722202715259 140722202715259 140722202722274 0
/proc/347521/statm: 2483 683 604 264 0 134 0
[pid=347524] ppid=347521 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/347524/stat : 347524 (timeout) S 347521 347524 346174 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63951819 8867840 249 134679101440 94717624729600 94717624764616 140723868444096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94717626862032 94717626864164 94717651464192 140723868451875 140723868451997 140723868451997 140723868458983 0
/proc/347524/statm: 2165 249 225 9 0 87 0
[pid=347525] ppid=347524 vsize=38920 memory=26012 CPUtime=0.68 cores=1,3
/proc/347525/stat : 347525 (LS-MabP) R 347524 347524 346174 0 -1 4194304 5652 0 0 0 66 2 0 0 20 0 1 0 63951820 39854080 6503 134679101440 4194304 15467897 140734276761472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45449216 140734276764727 140734276764836 140734276764836 140734276771822 0
/proc/347525/statm: 9730 6503 1105 2753 0 6383 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57512 KiB
Current children cumulated memory: 29740 KiB

[startup+1.5005 s]
/proc/loadavg: 4.18 4.48 4.35 5/251 347525
/proc/meminfo: memFree=125645992/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/347521/stat : 347521 (Hybrid-LSMabP+E) S 347518 347521 346174 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 63951819 10170368 683 134679101440 94685541765120 94685542844440 140722202706032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685544942896 94685544990084 94685547388928 140722202715114 140722202715259 140722202715259 140722202722274 0
/proc/347521/statm: 2483 683 604 264 0 134 0
[pid=347524] ppid=347521 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/347524/stat : 347524 (timeout) S 347521 347524 346174 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63951819 8867840 249 134679101440 94717624729600 94717624764616 140723868444096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94717626862032 94717626864164 94717651464192 140723868451875 140723868451997 140723868451997 140723868458983 0
/proc/347524/statm: 2165 249 225 9 0 87 0
[pid=347525] ppid=347524 vsize=38920 memory=26012 CPUtime=1.48 cores=1,3
/proc/347525/stat : 347525 (LS-MabP) R 347524 347524 346174 0 -1 4194304 5652 0 0 0 146 2 0 0 20 0 1 0 63951820 39854080 6503 134679101440 4194304 15467897 140734276761472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45449216 140734276764727 140734276764836 140734276764836 140734276771822 0
/proc/347525/statm: 9730 6503 1105 2753 0 6383 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57512 KiB
Current children cumulated memory: 29740 KiB

[startup+3.1137 s]
/proc/loadavg: 4.18 4.48 4.35 5/251 347527
/proc/meminfo: memFree=125645628/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/347521/stat : 347521 (Hybrid-LSMabP+E) S 347518 347521 346174 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 63951819 10170368 683 134679101440 94685541765120 94685542844440 140722202706032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685544942896 94685544990084 94685547388928 140722202715114 140722202715259 140722202715259 140722202722274 0
/proc/347521/statm: 2483 683 604 264 0 134 0
[pid=347524] ppid=347521 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/347524/stat : 347524 (timeout) S 347521 347524 346174 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63951819 8867840 249 134679101440 94717624729600 94717624764616 140723868444096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94717626862032 94717626864164 94717651464192 140723868451875 140723868451997 140723868451997 140723868458983 0
/proc/347524/statm: 2165 249 225 9 0 87 0
[pid=347525] ppid=347524 vsize=38920 memory=26012 CPUtime=3.09 cores=1,3
/proc/347525/stat : 347525 (LS-MabP) R 347524 347524 346174 0 -1 4194304 5653 0 0 0 307 2 0 0 20 0 1 0 63951820 39854080 6503 134679101440 4194304 15467897 140734276761472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45449216 140734276764727 140734276764836 140734276764836 140734276771822 0
/proc/347525/statm: 9730 6503 1105 2753 0 6383 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 57512 KiB
Current children cumulated memory: 29740 KiB

[startup+6.30047 s]
/proc/loadavg: 4.16 4.47 4.35 5/251 347528
/proc/meminfo: memFree=125640744/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/347521/stat : 347521 (Hybrid-LSMabP+E) S 347518 347521 346174 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 63951819 10170368 683 134679101440 94685541765120 94685542844440 140722202706032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685544942896 94685544990084 94685547388928 140722202715114 140722202715259 140722202715259 140722202722274 0
/proc/347521/statm: 2483 683 604 264 0 134 0
[pid=347524] ppid=347521 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/347524/stat : 347524 (timeout) S 347521 347524 346174 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63951819 8867840 249 134679101440 94717624729600 94717624764616 140723868444096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94717626862032 94717626864164 94717651464192 140723868451875 140723868451997 140723868451997 140723868458983 0
/proc/347524/statm: 2165 249 225 9 0 87 0
[pid=347525] ppid=347524 vsize=43796 memory=31164 CPUtime=6.27 cores=1,3
/proc/347525/stat : 347525 (LS-MabP) R 347524 347524 346174 0 -1 4194304 21441 0 0 0 611 16 0 0 20 0 1 0 63951820 44847104 7791 134679101440 4194304 15467897 140734276761472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45449216 140734276764727 140734276764836 140734276764836 140734276771822 0
/proc/347525/statm: 10949 7791 1169 2753 0 7602 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 62388 KiB
Current children cumulated memory: 34892 KiB

[startup+12.7004 s]
/proc/loadavg: 4.15 4.47 4.35 5/251 347530
/proc/meminfo: memFree=125639088/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/347521/stat : 347521 (Hybrid-LSMabP+E) S 347518 347521 346174 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 63951819 10170368 683 134679101440 94685541765120 94685542844440 140722202706032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685544942896 94685544990084 94685547388928 140722202715114 140722202715259 140722202715259 140722202722274 0
/proc/347521/statm: 2483 683 604 264 0 134 0
[pid=347524] ppid=347521 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/347524/stat : 347524 (timeout) S 347521 347524 346174 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63951819 8867840 249 134679101440 94717624729600 94717624764616 140723868444096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94717626862032 94717626864164 94717651464192 140723868451875 140723868451997 140723868451997 140723868458983 0
/proc/347524/statm: 2165 249 225 9 0 87 0
[pid=347525] ppid=347524 vsize=43796 memory=31164 CPUtime=12.66 cores=1,3
/proc/347525/stat : 347525 (LS-MabP) R 347524 347524 346174 0 -1 4194304 21441 0 0 0 1223 43 0 0 20 0 1 0 63951820 44847104 7791 134679101440 4194304 15467897 140734276761472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45449216 140734276764727 140734276764836 140734276764836 140734276771822 0
/proc/347525/statm: 10949 7791 1169 2753 0 7602 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 62388 KiB
Current children cumulated memory: 34892 KiB

[startup+25.5005 s]
/proc/loadavg: 4.18 4.46 4.35 5/251 347532
/proc/meminfo: memFree=125638544/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/347521/stat : 347521 (Hybrid-LSMabP+E) S 347518 347521 346174 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 63951819 10170368 683 134679101440 94685541765120 94685542844440 140722202706032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685544942896 94685544990084 94685547388928 140722202715114 140722202715259 140722202715259 140722202722274 0
/proc/347521/statm: 2483 683 604 264 0 134 0
[pid=347524] ppid=347521 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/347524/stat : 347524 (timeout) S 347521 347524 346174 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63951819 8867840 249 134679101440 94717624729600 94717624764616 140723868444096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94717626862032 94717626864164 94717651464192 140723868451875 140723868451997 140723868451997 140723868458983 0
/proc/347524/statm: 2165 249 225 9 0 87 0
[pid=347525] ppid=347524 vsize=43796 memory=31164 CPUtime=25.43 cores=1,3
/proc/347525/stat : 347525 (LS-MabP) R 347524 347524 346174 0 -1 4194304 21441 0 0 0 2442 101 0 0 20 0 1 0 63951820 44847104 7791 134679101440 4194304 15467897 140734276761472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45449216 140734276764727 140734276764836 140734276764836 140734276771822 0
/proc/347525/statm: 10949 7791 1169 2753 0 7602 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 62388 KiB
Current children cumulated memory: 34892 KiB

[startup+51.1138 s]
/proc/loadavg: 4.12 4.42 4.34 5/251 347535
/proc/meminfo: memFree=125637064/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/347521/stat : 347521 (Hybrid-LSMabP+E) S 347518 347521 346174 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 63951819 10170368 683 134679101440 94685541765120 94685542844440 140722202706032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685544942896 94685544990084 94685547388928 140722202715114 140722202715259 140722202715259 140722202722274 0
/proc/347521/statm: 2483 683 604 264 0 134 0
[pid=347524] ppid=347521 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/347524/stat : 347524 (timeout) S 347521 347524 346174 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63951819 8867840 249 134679101440 94717624729600 94717624764616 140723868444096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94717626862032 94717626864164 94717651464192 140723868451875 140723868451997 140723868451997 140723868458983 0
/proc/347524/statm: 2165 249 225 9 0 87 0
[pid=347525] ppid=347524 vsize=43796 memory=31164 CPUtime=50.98 cores=1,3
/proc/347525/stat : 347525 (LS-MabP) R 347524 347524 346174 0 -1 4194304 21441 0 0 0 4880 218 0 0 20 0 1 0 63951820 44847104 7791 134679101440 4194304 15467897 140734276761472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45449216 140734276764727 140734276764836 140734276764836 140734276771822 0
/proc/347525/statm: 10949 7791 1169 2753 0 7602 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 62388 KiB
Current children cumulated memory: 34892 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 4.40 4.33 5/251 347604
/proc/meminfo: memFree=125918892/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2732 CPUtime=0 cores=1,3

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

/proc/347525/statm: 10949 7872 1169 2753 0 7602 0
Current children cumulated CPU time: 1718.49 s
Current children cumulated vsize: 62388 KiB
Current children cumulated memory: 35216 KiB

[startup+1782.3 s]
/proc/loadavg: 4.25 4.27 4.22 5/252 348587
/proc/meminfo: memFree=126146648/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/347521/stat : 347521 (Hybrid-LSMabP+E) S 347518 347521 346174 0 -1 4194304 236 100 0 0 0 0 0 0 20 0 1 0 63951819 10170368 683 134679101440 94685541765120 94685542844440 140722202706032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685544942896 94685544990084 94685547388928 140722202715114 140722202715259 140722202715259 140722202722274 0
/proc/347521/statm: 2483 683 604 264 0 134 0
[pid=347524] ppid=347521 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/347524/stat : 347524 (timeout) S 347521 347524 346174 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63951819 8867840 249 134679101440 94717624729600 94717624764616 140723868444096 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94717626862032 94717626864164 94717651464192 140723868451875 140723868451997 140723868451997 140723868458983 0
/proc/347524/statm: 2165 249 225 9 0 87 0
[pid=347525] ppid=347524 vsize=43796 memory=31488 CPUtime=1778.36 cores=1,3
/proc/347525/stat : 347525 (LS-MabP) R 347524 347524 346174 0 -1 4194304 21931 0 0 0 169449 8387 0 0 20 0 1 0 63951820 44847104 7872 134679101440 4194304 15467897 140734276761472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45449216 140734276764727 140734276764836 140734276764836 140734276771822 0
/proc/347525/statm: 10949 7872 1169 2753 0 7602 0
Current children cumulated CPU time: 1778.36 s
Current children cumulated vsize: 62388 KiB
Current children cumulated memory: 35216 KiB

[startup+1842.3 s]
/proc/loadavg: 4.09 4.22 4.20 5/250 348602
/proc/meminfo: memFree=126151608/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2776 CPUtime=1794.05 cores=1,3
/proc/347521/stat : 347521 (Hybrid-LSMabP+E) S 347518 347521 346174 0 -1 4194304 267 23503 0 0 0 0 170941 8464 20 0 1 0 63951819 10170368 694 134679101440 94685541765120 94685542844440 140722202706032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685544942896 94685544990084 94685547388928 140722202715114 140722202715259 140722202715259 140722202722274 0
/proc/347521/statm: 2483 694 604 264 0 134 0
[pid=348591] ppid=347521 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/348591/stat : 348591 (timeout) S 347521 348591 346174 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64131621 8867840 249 134679101440 93831211290624 93831211325640 140729741535344 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93831213423056 93831213425188 93831221587968 140729741542388 140729741542557 140729741542557 140729741549543 0
/proc/348591/statm: 2165 249 225 9 0 87 0
[pid=348592] ppid=348591 vsize=37672 memory=24112 CPUtime=44.13 cores=1,3
/proc/348592/stat : 348592 (Exact) R 348591 348591 346174 0 -1 4194304 8431 0 0 0 4411 2 0 0 20 0 1 0 64131621 38576128 6028 134679101440 4194304 7243121 140720683091728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 44736512 140720683099152 140720683099302 140720683099302 140720683106288 0
/proc/348592/statm: 9418 6028 804 745 0 8483 0
Current children cumulated CPU time: 1838.18 s
Current children cumulated vsize: 56264 KiB
Current children cumulated memory: 27884 KiB

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

# cumulated CPU time of all completed processes:  user=1774.25 s, system=84.6823 s

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

[startup+1843.2 s]
/proc/loadavg: 4.09 4.22 4.20 5/250 348602
/proc/meminfo: memFree=126151480/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2776 CPUtime=1794.05 cores=1,3
/proc/347521/stat : 347521 (Hybrid-LSMabP+E) S 347518 347521 346174 0 -1 4194304 267 23503 0 0 0 0 170941 8464 20 0 1 0 63951819 10170368 694 134679101440 94685541765120 94685542844440 140722202706032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685544942896 94685544990084 94685547388928 140722202715114 140722202715259 140722202715259 140722202722274 0
/proc/347521/statm: 2483 694 604 264 0 134 0
[pid=348591] ppid=347521 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/348591/stat : 348591 (timeout) S 347521 348591 346174 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64131621 8867840 249 134679101440 93831211290624 93831211325640 140729741535344 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93831213423056 93831213425188 93831221587968 140729741542388 140729741542557 140729741542557 140729741549543 0
/proc/348591/statm: 2165 249 225 9 0 87 0
[pid=348592] ppid=348591 vsize=37724 memory=24164 CPUtime=45.03 cores=1,3
/proc/348592/stat : 348592 (Exact) R 348591 348591 346174 0 -1 4194304 8682 0 0 0 4501 2 0 0 20 0 1 0 64131621 38629376 6041 134679101440 4194304 7243121 140720683091728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 44736512 140720683099152 140720683099302 140720683099302 140720683106288 0
/proc/348592/statm: 9431 6041 804 745 0 8496 0
Current children cumulated CPU time: 1839.08 s
Current children cumulated vsize: 56316 KiB
Current children cumulated memory: 27936 KiB

[startup+1856 s]*
/proc/loadavg: 4.07 4.21 4.20 5/250 348603
/proc/meminfo: memFree=126150432/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2776 CPUtime=1794.05 cores=1,3
/proc/347521/stat : 347521 (Hybrid-LSMabP+E) S 347518 347521 346174 0 -1 4194304 267 23503 0 0 0 0 170941 8464 20 0 1 0 63951819 10170368 694 134679101440 94685541765120 94685542844440 140722202706032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685544942896 94685544990084 94685547388928 140722202715114 140722202715259 140722202715259 140722202722274 0
/proc/347521/statm: 2483 694 604 264 0 134 0
[pid=348591] ppid=347521 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/348591/stat : 348591 (timeout) S 347521 348591 346174 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64131621 8867840 249 134679101440 93831211290624 93831211325640 140729741535344 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93831213423056 93831213425188 93831221587968 140729741542388 140729741542557 140729741542557 140729741549543 0
/proc/348591/statm: 2165 249 225 9 0 87 0
[pid=348592] ppid=348591 vsize=38512 memory=24960 CPUtime=57.8 cores=1,3
/proc/348592/stat : 348592 (Exact) R 348591 348591 346174 0 -1 4194304 10045 0 0 0 5778 2 0 0 20 0 1 0 64131621 39436288 6240 134679101440 4194304 7243121 140720683091728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 44736512 140720683099152 140720683099302 140720683099302 140720683106288 0
/proc/348592/statm: 9628 6240 820 745 0 8693 0
Current children cumulated CPU time: 1851.85 s
Current children cumulated vsize: 57104 KiB
Current children cumulated memory: 28732 KiB

[startup+1859.2 s]
/proc/loadavg: 4.07 4.21 4.20 5/250 348603
/proc/meminfo: memFree=126150696/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2776 CPUtime=1794.05 cores=1,3
/proc/347521/stat : 347521 (Hybrid-LSMabP+E) S 347518 347521 346174 0 -1 4194304 267 23503 0 0 0 0 170941 8464 20 0 1 0 63951819 10170368 694 134679101440 94685541765120 94685542844440 140722202706032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685544942896 94685544990084 94685547388928 140722202715114 140722202715259 140722202715259 140722202722274 0
/proc/347521/statm: 2483 694 604 264 0 134 0
[pid=348591] ppid=347521 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/348591/stat : 348591 (timeout) S 347521 348591 346174 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64131621 8867840 249 134679101440 93831211290624 93831211325640 140729741535344 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93831213423056 93831213425188 93831221587968 140729741542388 140729741542557 140729741542557 140729741549543 0
/proc/348591/statm: 2165 249 225 9 0 87 0
[pid=348592] ppid=348591 vsize=38556 memory=25020 CPUtime=60.98 cores=1,3
/proc/348592/stat : 348592 (Exact) R 348591 348591 346174 0 -1 4194304 10300 0 0 0 6096 2 0 0 20 0 1 0 64131621 39481344 6255 134679101440 4194304 7243121 140720683091728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 44736512 140720683099152 140720683099302 140720683099302 140720683106288 0
/proc/348592/statm: 9639 6255 820 745 0 8704 0
Current children cumulated CPU time: 1855.03 s
Current children cumulated vsize: 57148 KiB
Current children cumulated memory: 28792 KiB

[startup+1860.8 s]
/proc/loadavg: 4.07 4.21 4.20 5/250 348603
/proc/meminfo: memFree=126150696/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2776 CPUtime=1794.05 cores=1,3
/proc/347521/stat : 347521 (Hybrid-LSMabP+E) S 347518 347521 346174 0 -1 4194304 267 23503 0 0 0 0 170941 8464 20 0 1 0 63951819 10170368 694 134679101440 94685541765120 94685542844440 140722202706032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685544942896 94685544990084 94685547388928 140722202715114 140722202715259 140722202715259 140722202722274 0
/proc/347521/statm: 2483 694 604 264 0 134 0
[pid=348591] ppid=347521 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/348591/stat : 348591 (timeout) S 347521 348591 346174 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64131621 8867840 249 134679101440 93831211290624 93831211325640 140729741535344 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93831213423056 93831213425188 93831221587968 140729741542388 140729741542557 140729741542557 140729741549543 0
/proc/348591/statm: 2165 249 225 9 0 87 0
[pid=348592] ppid=348591 vsize=38556 memory=25020 CPUtime=62.57 cores=1,3
/proc/348592/stat : 348592 (Exact) R 348591 348591 346174 0 -1 4194304 10301 0 0 0 6255 2 0 0 20 0 1 0 64131621 39481344 6255 134679101440 4194304 7243121 140720683091728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 44736512 140720683099152 140720683099302 140720683099302 140720683106288 0
/proc/348592/statm: 9639 6255 820 745 0 8704 0
Current children cumulated CPU time: 1856.62 s
Current children cumulated vsize: 57148 KiB
Current children cumulated memory: 28792 KiB

[startup+1862.4 s]
/proc/loadavg: 4.14 4.22 4.20 5/250 348605
/proc/meminfo: memFree=126150600/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2776 CPUtime=1794.05 cores=1,3
/proc/347521/stat : 347521 (Hybrid-LSMabP+E) S 347518 347521 346174 0 -1 4194304 267 23503 0 0 0 0 170941 8464 20 0 1 0 63951819 10170368 694 134679101440 94685541765120 94685542844440 140722202706032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685544942896 94685544990084 94685547388928 140722202715114 140722202715259 140722202715259 140722202722274 0
/proc/347521/statm: 2483 694 604 264 0 134 0
[pid=348591] ppid=347521 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/348591/stat : 348591 (timeout) S 347521 348591 346174 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64131621 8867840 249 134679101440 93831211290624 93831211325640 140729741535344 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93831213423056 93831213425188 93831221587968 140729741542388 140729741542557 140729741542557 140729741549543 0
/proc/348591/statm: 2165 249 225 9 0 87 0
[pid=348592] ppid=348591 vsize=38612 memory=25084 CPUtime=64.17 cores=1,3
/proc/348592/stat : 348592 (Exact) R 348591 348591 346174 0 -1 4194304 10555 0 0 0 6415 2 0 0 20 0 1 0 64131621 39538688 6271 134679101440 4194304 7243121 140720683091728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 44736512 140720683099152 140720683099302 140720683099302 140720683106288 0
/proc/348592/statm: 9653 6271 820 745 0 8718 0
Current children cumulated CPU time: 1858.22 s
Current children cumulated vsize: 57204 KiB
Current children cumulated memory: 28856 KiB

[startup+1862.8 s]
/proc/loadavg: 4.14 4.22 4.20 5/250 348605
/proc/meminfo: memFree=126150600/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2776 CPUtime=1794.05 cores=1,3
/proc/347521/stat : 347521 (Hybrid-LSMabP+E) S 347518 347521 346174 0 -1 4194304 267 23503 0 0 0 0 170941 8464 20 0 1 0 63951819 10170368 694 134679101440 94685541765120 94685542844440 140722202706032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685544942896 94685544990084 94685547388928 140722202715114 140722202715259 140722202715259 140722202722274 0
/proc/347521/statm: 2483 694 604 264 0 134 0
[pid=348591] ppid=347521 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/348591/stat : 348591 (timeout) S 347521 348591 346174 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64131621 8867840 249 134679101440 93831211290624 93831211325640 140729741535344 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93831213423056 93831213425188 93831221587968 140729741542388 140729741542557 140729741542557 140729741549543 0
/proc/348591/statm: 2165 249 225 9 0 87 0
[pid=348592] ppid=348591 vsize=38612 memory=25084 CPUtime=64.56 cores=1,3
/proc/348592/stat : 348592 (Exact) R 348591 348591 346174 0 -1 4194304 10555 0 0 0 6454 2 0 0 20 0 1 0 64131621 39538688 6271 134679101440 4194304 7243121 140720683091728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 44736512 140720683099152 140720683099302 140720683099302 140720683106288 0
/proc/348592/statm: 9653 6271 820 745 0 8718 0
Current children cumulated CPU time: 1858.61 s
Current children cumulated vsize: 57204 KiB
Current children cumulated memory: 28856 KiB

[startup+1863 s]*
/proc/loadavg: 4.14 4.22 4.20 5/250 348605
/proc/meminfo: memFree=126150556/131655788 swapFree=131071996/131071996
[pid=347521] ppid=347518 vsize=9932 memory=2776 CPUtime=1794.05 cores=1,3
/proc/347521/stat : 347521 (Hybrid-LSMabP+E) S 347518 347521 346174 0 -1 4194304 267 23503 0 0 0 0 170941 8464 20 0 1 0 63951819 10170368 694 134679101440 94685541765120 94685542844440 140722202706032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94685544942896 94685544990084 94685547388928 140722202715114 140722202715259 140722202715259 140722202722274 0
/proc/347521/statm: 2483 694 604 264 0 134 0
[pid=348591] ppid=347521 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/348591/stat : 348591 (timeout) S 347521 348591 346174 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64131621 8867840 249 134679101440 93831211290624 93831211325640 140729741535344 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93831213423056 93831213425188 93831221587968 140729741542388 140729741542557 140729741542557 140729741549543 0
/proc/348591/statm: 2165 249 225 9 0 87 0
[pid=348592] ppid=348591 vsize=38612 memory=25084 CPUtime=64.78 cores=1,3
/proc/348592/stat : 348592 (Exact) R 348591 348591 346174 0 -1 4194304 10555 0 0 0 6476 2 0 0 20 0 1 0 64131621 39538688 6271 134679101440 4194304 7243121 140720683091728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 44736512 140720683099152 140720683099302 140720683099302 140720683106288 0
/proc/348592/statm: 9653 6271 820 745 0 8718 0
Current children cumulated CPU time: 1858.83 s
Current children cumulated vsize: 57204 KiB
Current children cumulated memory: 28856 KiB

Child status: 0

Real time (s): 1863.11
CPU time (s): 1858.93
CPU user time (s): 1774.25
CPU system time (s): 84.6823
CPU usage (%): 99.776
Max. virtual memory (cumulated for all children) (KiB): 66840
Max. memory (cumulated for all children) (KiB): 39036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.25
system time used= 84.6823
maximum resident set size= 35696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35539
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42
involuntary context switches= 2419


# summary of solver processes directly reported to runsolver:
#   pid: 347521
#   total CPU time (s): 1858.93
#   total CPU user time (s): 1774.25
#   total CPU system time (s): 84.6823

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4572 second user time and 19.2974 second system time

The end