runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (62798 MiB free)
  memory of node 1: 64510 MiB (63384 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=336861, runsolver pid=336858

[startup+0.100346 s]*
/proc/loadavg: 4.10 4.11 4.09 5/266 336865
/proc/meminfo: memFree=129204888/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/336861/stat : 336861 (Hybrid-LSMabSP+) S 336858 336861 331427 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62321838 10170368 711 134679101440 94128112484352 94128113563672 140734585756992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94128115662128 94128115709316 94128147177472 140734585758696 140734585758842 140734585758842 140734585765857 0
/proc/336861/statm: 2483 711 634 264 0 134 0
[pid=336864] ppid=336861 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/336864/stat : 336864 (timeout) S 336861 336864 331427 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62321838 8867840 254 134679101440 94423153516544 94423153551560 140726912317456 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94423155648976 94423155651108 94423187218432 140726912324649 140726912324765 140726912324765 140726912331751 0
/proc/336864/statm: 2165 254 230 9 0 87 0
[pid=336865] ppid=336864 vsize=23716 memory=9752 CPUtime=0.09 cores=0,2
/proc/336865/stat : 336865 (LS-MabSP) R 336864 336864 331427 0 -1 4194304 1426 0 0 0 9 0 0 0 20 0 1 0 62321838 24285184 2438 134679101440 4194304 15467897 140733301193488 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25853952 140733301195836 140733301195939 140733301195939 140733301202925 0
/proc/336865/statm: 5929 2438 1073 2753 0 2582 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42308 KiB
Current children cumulated memory: 13612 KiB

[startup+0.206162 s]*
/proc/loadavg: 4.10 4.11 4.09 5/266 336865
/proc/meminfo: memFree=129200916/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/336861/stat : 336861 (Hybrid-LSMabSP+) S 336858 336861 331427 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62321838 10170368 711 134679101440 94128112484352 94128113563672 140734585756992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94128115662128 94128115709316 94128147177472 140734585758696 140734585758842 140734585758842 140734585765857 0
/proc/336861/statm: 2483 711 634 264 0 134 0
[pid=336864] ppid=336861 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/336864/stat : 336864 (timeout) S 336861 336864 331427 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62321838 8867840 254 134679101440 94423153516544 94423153551560 140726912317456 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94423155648976 94423155651108 94423187218432 140726912324649 140726912324765 140726912324765 140726912331751 0
/proc/336864/statm: 2165 254 230 9 0 87 0
[pid=336865] ppid=336864 vsize=27944 memory=13896 CPUtime=0.19 cores=0,2
/proc/336865/stat : 336865 (LS-MabSP) R 336864 336864 331427 0 -1 4194304 1960 0 0 0 19 0 0 0 20 0 1 0 62321838 28614656 3474 134679101440 4194304 15467897 140733301193488 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25853952 140733301195836 140733301195939 140733301195939 140733301202925 0
/proc/336865/statm: 6986 3474 1073 2753 0 3639 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 46536 KiB
Current children cumulated memory: 17756 KiB

[startup+0.306101 s]*
/proc/loadavg: 4.10 4.11 4.09 5/266 336865
/proc/meminfo: memFree=129180280/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/336861/stat : 336861 (Hybrid-LSMabSP+) S 336858 336861 331427 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62321838 10170368 711 134679101440 94128112484352 94128113563672 140734585756992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94128115662128 94128115709316 94128147177472 140734585758696 140734585758842 140734585758842 140734585765857 0
/proc/336861/statm: 2483 711 634 264 0 134 0
[pid=336864] ppid=336861 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/336864/stat : 336864 (timeout) S 336861 336864 331427 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62321838 8867840 254 134679101440 94423153516544 94423153551560 140726912317456 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94423155648976 94423155651108 94423187218432 140726912324649 140726912324765 140726912324765 140726912331751 0
/proc/336864/statm: 2165 254 230 9 0 87 0
[pid=336865] ppid=336864 vsize=48572 memory=34464 CPUtime=0.3 cores=0,2
/proc/336865/stat : 336865 (LS-MabSP) R 336864 336864 331427 0 -1 4194304 6082 0 0 0 29 1 0 0 20 0 1 0 62321838 49737728 8616 134679101440 4194304 15467897 140733301193488 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25853952 140733301195836 140733301195939 140733301195939 140733301202925 0
/proc/336865/statm: 12143 8616 1105 2753 0 8796 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 67164 KiB
Current children cumulated memory: 38324 KiB

[startup+0.700294 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 336865
/proc/meminfo: memFree=129180196/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/336861/stat : 336861 (Hybrid-LSMabSP+) S 336858 336861 331427 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62321838 10170368 711 134679101440 94128112484352 94128113563672 140734585756992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94128115662128 94128115709316 94128147177472 140734585758696 140734585758842 140734585758842 140734585765857 0
/proc/336861/statm: 2483 711 634 264 0 134 0
[pid=336864] ppid=336861 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/336864/stat : 336864 (timeout) S 336861 336864 331427 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62321838 8867840 254 134679101440 94423153516544 94423153551560 140726912317456 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94423155648976 94423155651108 94423187218432 140726912324649 140726912324765 140726912324765 140726912331751 0
/proc/336864/statm: 2165 254 230 9 0 87 0
[pid=336865] ppid=336864 vsize=48572 memory=34464 CPUtime=0.68 cores=0,2
/proc/336865/stat : 336865 (LS-MabSP) R 336864 336864 331427 0 -1 4194304 6086 0 0 0 67 1 0 0 20 0 1 0 62321838 49737728 8616 134679101440 4194304 15467897 140733301193488 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25853952 140733301195836 140733301195939 140733301195939 140733301202925 0
/proc/336865/statm: 12143 8616 1105 2753 0 8796 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 67164 KiB
Current children cumulated memory: 38324 KiB

[startup+1.5003 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 336866
/proc/meminfo: memFree=129120724/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/336861/stat : 336861 (Hybrid-LSMabSP+) S 336858 336861 331427 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62321838 10170368 711 134679101440 94128112484352 94128113563672 140734585756992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94128115662128 94128115709316 94128147177472 140734585758696 140734585758842 140734585758842 140734585765857 0
/proc/336861/statm: 2483 711 634 264 0 134 0
[pid=336864] ppid=336861 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/336864/stat : 336864 (timeout) S 336861 336864 331427 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62321838 8867840 254 134679101440 94423153516544 94423153551560 140726912317456 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94423155648976 94423155651108 94423187218432 140726912324649 140726912324765 140726912324765 140726912331751 0
/proc/336864/statm: 2165 254 230 9 0 87 0
[pid=336865] ppid=336864 vsize=159988 memory=138848 CPUtime=1.48 cores=0,2
/proc/336865/stat : 336865 (LS-MabSP) R 336864 336864 331427 0 -1 4194304 29887 0 0 0 144 4 0 0 20 0 1 0 62321838 163827712 34712 134679101440 4194304 15467897 140733301193488 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25853952 140733301195836 140733301195939 140733301195939 140733301202925 0
/proc/336865/statm: 39997 34712 2817 2753 0 36650 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 178580 KiB
Current children cumulated memory: 142708 KiB

[startup+3.10626 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 336866
/proc/meminfo: memFree=129038620/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/336861/stat : 336861 (Hybrid-LSMabSP+) S 336858 336861 331427 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62321838 10170368 711 134679101440 94128112484352 94128113563672 140734585756992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94128115662128 94128115709316 94128147177472 140734585758696 140734585758842 140734585758842 140734585765857 0
/proc/336861/statm: 2483 711 634 264 0 134 0
[pid=336864] ppid=336861 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/336864/stat : 336864 (timeout) S 336861 336864 331427 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62321838 8867840 254 134679101440 94423153516544 94423153551560 140726912317456 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94423155648976 94423155651108 94423187218432 140726912324649 140726912324765 140726912324765 140726912331751 0
/proc/336864/statm: 2165 254 230 9 0 87 0
[pid=336865] ppid=336864 vsize=200520 memory=178332 CPUtime=3.08 cores=0,2
/proc/336865/stat : 336865 (LS-MabSP) R 336864 336864 331427 0 -1 4194304 39772 0 0 0 303 5 0 0 20 0 1 0 62321838 205332480 44583 134679101440 4194304 15467897 140733301193488 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25853952 140733301195836 140733301195939 140733301195939 140733301202925 0
/proc/336865/statm: 50130 44583 2833 2753 0 46783 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 219112 KiB
Current children cumulated memory: 182192 KiB

[startup+6.30029 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 336866
/proc/meminfo: memFree=128995192/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/336861/stat : 336861 (Hybrid-LSMabSP+) S 336858 336861 331427 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62321838 10170368 711 134679101440 94128112484352 94128113563672 140734585756992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94128115662128 94128115709316 94128147177472 140734585758696 140734585758842 140734585758842 140734585765857 0
/proc/336861/statm: 2483 711 634 264 0 134 0
[pid=336864] ppid=336861 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/336864/stat : 336864 (timeout) S 336861 336864 331427 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62321838 8867840 254 134679101440 94423153516544 94423153551560 140726912317456 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94423155648976 94423155651108 94423187218432 140726912324649 140726912324765 140726912324765 140726912331751 0
/proc/336864/statm: 2165 254 230 9 0 87 0
[pid=336865] ppid=336864 vsize=237764 memory=217020 CPUtime=6.26 cores=0,2
/proc/336865/stat : 336865 (LS-MabSP) R 336864 336864 331427 0 -1 4194304 49477 0 0 0 619 7 0 0 20 0 1 0 62321838 243470336 54255 134679101440 4194304 15467897 140733301193488 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25853952 140733301195836 140733301195939 140733301195939 140733301202925 0
/proc/336865/statm: 59441 54255 2833 2753 0 56094 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 256356 KiB
Current children cumulated memory: 220880 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 336868
/proc/meminfo: memFree=128967532/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/336861/stat : 336861 (Hybrid-LSMabSP+) S 336858 336861 331427 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62321838 10170368 711 134679101440 94128112484352 94128113563672 140734585756992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94128115662128 94128115709316 94128147177472 140734585758696 140734585758842 140734585758842 140734585765857 0
/proc/336861/statm: 2483 711 634 264 0 134 0
[pid=336864] ppid=336861 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/336864/stat : 336864 (timeout) S 336861 336864 331427 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62321838 8867840 254 134679101440 94423153516544 94423153551560 140726912317456 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94423155648976 94423155651108 94423187218432 140726912324649 140726912324765 140726912324765 140726912331751 0
/proc/336864/statm: 2165 254 230 9 0 87 0
[pid=336865] ppid=336864 vsize=243716 memory=223040 CPUtime=12.63 cores=0,2
/proc/336865/stat : 336865 (LS-MabSP) R 336864 336864 331427 0 -1 4194304 51020 0 0 0 1256 7 0 0 20 0 1 0 62321838 249565184 55760 134679101440 4194304 15467897 140733301193488 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25853952 140733301195836 140733301195939 140733301195939 140733301202925 0
/proc/336865/statm: 60929 55760 2833 2753 0 57582 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 262308 KiB
Current children cumulated memory: 226900 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.12 4.09 5/266 336869
/proc/meminfo: memFree=128899412/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/336861/stat : 336861 (Hybrid-LSMabSP+) S 336858 336861 331427 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62321838 10170368 711 134679101440 94128112484352 94128113563672 140734585756992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94128115662128 94128115709316 94128147177472 140734585758696 140734585758842 140734585758842 140734585765857 0
/proc/336861/statm: 2483 711 634 264 0 134 0
[pid=336864] ppid=336861 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/336864/stat : 336864 (timeout) S 336861 336864 331427 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62321838 8867840 254 134679101440 94423153516544 94423153551560 140726912317456 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94423155648976 94423155651108 94423187218432 140726912324649 140726912324765 140726912324765 140726912331751 0
/proc/336864/statm: 2165 254 230 9 0 87 0
[pid=336865] ppid=336864 vsize=260660 memory=239928 CPUtime=25.39 cores=0,2
/proc/336865/stat : 336865 (LS-MabSP) R 336864 336864 331427 0 -1 4194304 55234 0 0 0 2530 9 0 0 20 0 1 0 62321838 266915840 59982 134679101440 4194304 15467897 140733301193488 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25853952 140733301195836 140733301195939 140733301195939 140733301202925 0
/proc/336865/statm: 65165 59982 2849 2753 0 61818 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 279252 KiB
Current children cumulated memory: 243788 KiB

[startup+51.1063 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 336874
/proc/meminfo: memFree=128845952/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/336861/stat : 336861 (Hybrid-LSMabSP+) S 336858 336861 331427 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62321838 10170368 711 134679101440 94128112484352 94128113563672 140734585756992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94128115662128 94128115709316 94128147177472 140734585758696 140734585758842 140734585758842 140734585765857 0
/proc/336861/statm: 2483 711 634 264 0 134 0
[pid=336864] ppid=336861 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/336864/stat : 336864 (timeout) S 336861 336864 331427 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62321838 8867840 254 134679101440 94423153516544 94423153551560 140726912317456 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94423155648976 94423155651108 94423187218432 140726912324649 140726912324765 140726912324765 140726912331751 0
/proc/336864/statm: 2165 254 230 9 0 87 0
[pid=336865] ppid=336864 vsize=270216 memory=250192 CPUtime=50.91 cores=0,2
/proc/336865/stat : 336865 (LS-MabSP) R 336864 336864 331427 0 -1 4194304 57824 0 0 0 5081 10 0 0 20 0 1 0 62321838 276701184 62548 134679101440 4194304 15467897 140733301193488 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25853952 140733301195836 140733301195939 140733301195939 140733301202925 0
/proc/336865/statm: 67554 62548 2849 2753 0 64207 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 288808 KiB
Current children cumulated memory: 254052 KiB

[startup+102.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/265 336955
/proc/meminfo: memFree=128804932/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2844 CPUtime=0 cores=0,2

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

/proc/337886/statm: 11563 8405 748 737 0 10651 0
Current children cumulated CPU time: 3391.83 s
Current children cumulated vsize: 64844 KiB
Current children cumulated memory: 37500 KiB

[startup+3462.3 s]
/proc/loadavg: 3.18 3.15 3.29 4/256 338806
/proc/meminfo: memFree=129444684/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2892 CPUtime=1792.21 cores=0,2
/proc/336861/stat : 336861 (Hybrid-LSMabSP+) S 336858 336861 331427 0 -1 4194304 270 159750 0 0 0 0 179022 199 20 0 1 0 62321838 10170368 723 134679101440 94128112484352 94128113563672 140734585756992 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94128115662128 94128115709316 94128147177472 140734585758696 140734585758842 140734585758842 140734585765857 0
/proc/336861/statm: 2483 723 634 264 0 134 0
[pid=337885] ppid=336861 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/337885/stat : 337885 (timeout) S 336861 337885 331427 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501639 8867840 247 134679101440 94799342616576 94799342651592 140731542463280 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94799344749008 94799344751140 94799346581504 140731542467572 140731542467741 140731542467741 140731542474727 0
/proc/337885/statm: 2165 247 223 9 0 87 0
[pid=337886] ppid=337885 vsize=46444 memory=33812 CPUtime=1659.45 cores=0,2
/proc/337886/stat : 337886 (Exact) R 337885 337885 331427 0 -1 4194304 52172 0 0 0 165934 11 0 0 20 0 1 0 62501639 47558656 8453 134679101440 4194304 7210733 140737220383504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 13672448 140737220391952 140737220392102 140737220392102 140737220399088 0
/proc/337886/statm: 11611 8453 748 737 0 10699 0
Current children cumulated CPU time: 3451.66 s
Current children cumulated vsize: 65036 KiB
Current children cumulated memory: 37692 KiB

[startup+3522.3 s]
/proc/loadavg: 3.11 3.14 3.27 4/256 338816
/proc/meminfo: memFree=129444112/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2892 CPUtime=1792.21 cores=0,2
/proc/336861/stat : 336861 (Hybrid-LSMabSP+) S 336858 336861 331427 0 -1 4194304 270 159750 0 0 0 0 179022 199 20 0 1 0 62321838 10170368 723 134679101440 94128112484352 94128113563672 140734585756992 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94128115662128 94128115709316 94128147177472 140734585758696 140734585758842 140734585758842 140734585765857 0
/proc/336861/statm: 2483 723 634 264 0 134 0
[pid=337885] ppid=336861 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/337885/stat : 337885 (timeout) S 336861 337885 331427 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501639 8867840 247 134679101440 94799342616576 94799342651592 140731542463280 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94799344749008 94799344751140 94799346581504 140731542467572 140731542467741 140731542467741 140731542474727 0
/proc/337885/statm: 2165 247 223 9 0 87 0
[pid=337886] ppid=337885 vsize=46572 memory=33940 CPUtime=1719.28 cores=0,2
/proc/337886/stat : 337886 (Exact) R 337885 337885 331427 0 -1 4194304 53632 0 0 0 171917 11 0 0 20 0 1 0 62501639 47689728 8485 134679101440 4194304 7210733 140737220383504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 13672448 140737220391952 140737220392102 140737220392102 140737220399088 0
/proc/337886/statm: 11643 8485 748 737 0 10731 0
Current children cumulated CPU time: 3511.49 s
Current children cumulated vsize: 65164 KiB
Current children cumulated memory: 37820 KiB

[startup+3582.3 s]
/proc/loadavg: 3.16 3.14 3.26 4/256 338826
/proc/meminfo: memFree=129443396/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2892 CPUtime=1792.21 cores=0,2
/proc/336861/stat : 336861 (Hybrid-LSMabSP+) S 336858 336861 331427 0 -1 4194304 270 159750 0 0 0 0 179022 199 20 0 1 0 62321838 10170368 723 134679101440 94128112484352 94128113563672 140734585756992 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94128115662128 94128115709316 94128147177472 140734585758696 140734585758842 140734585758842 140734585765857 0
/proc/336861/statm: 2483 723 634 264 0 134 0
[pid=337885] ppid=336861 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/337885/stat : 337885 (timeout) S 336861 337885 331427 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501639 8867840 247 134679101440 94799342616576 94799342651592 140731542463280 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94799344749008 94799344751140 94799346581504 140731542467572 140731542467741 140731542467741 140731542474727 0
/proc/337885/statm: 2165 247 223 9 0 87 0
[pid=337886] ppid=337885 vsize=46572 memory=33940 CPUtime=1779.11 cores=0,2
/proc/337886/stat : 337886 (Exact) R 337885 337885 331427 0 -1 4194304 55058 0 0 0 177899 12 0 0 20 0 1 0 62501639 47689728 8485 134679101440 4194304 7210733 140737220383504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 13672448 140737220391952 140737220392102 140737220392102 140737220399088 0
/proc/337886/statm: 11643 8485 748 737 0 10731 0
Current children cumulated CPU time: 3571.32 s
Current children cumulated vsize: 65164 KiB
Current children cumulated memory: 37820 KiB

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

# cumulated CPU time of all completed processes:  user=3582.9 s, system=2.12379 s

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

[startup+3584 s]*
/proc/loadavg: 3.16 3.14 3.26 2/243 338890
/proc/meminfo: memFree=129518272/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2892 CPUtime=1792.21 cores=0,2
/proc/336861/stat : 336861 (Hybrid-LSMabSP+) S 336858 336861 331427 0 -1 4194304 270 159750 0 0 0 0 179022 199 20 0 1 0 62321838 10170368 723 134679101440 94128112484352 94128113563672 140734585756992 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94128115662128 94128115709316 94128147177472 140734585758696 140734585758842 140734585758842 140734585765857 0
/proc/336861/statm: 2483 723 634 264 0 134 0
[pid=337885] ppid=336861 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/337885/stat : 337885 (timeout) S 336861 337885 331427 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501639 8867840 247 134679101440 94799342616576 94799342651592 140731542463280 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94799344749008 94799344751140 94799346581504 140731542467572 140731542467741 140731542467741 140731542474727 0
/proc/337885/statm: 2165 247 223 9 0 87 0
[pid=337886] ppid=337885 vsize=46636 memory=34004 CPUtime=1780.81 cores=0,2
/proc/337886/stat : 337886 (Exact) R 337885 337885 331427 0 -1 4194304 55184 0 0 0 178069 12 0 0 20 0 1 0 62501639 47755264 8501 134679101440 4194304 7210733 140737220383504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 13672448 140737220391952 140737220392102 140737220392102 140737220399088 0
/proc/337886/statm: 11659 8501 748 737 0 10747 0
Current children cumulated CPU time: 3573.02 s
Current children cumulated vsize: 65228 KiB
Current children cumulated memory: 37884 KiB

[startup+3590.4 s]
/proc/loadavg: 2.98 3.11 3.25 2/238 338921
/proc/meminfo: memFree=129542360/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2892 CPUtime=1792.21 cores=0,2
/proc/336861/stat : 336861 (Hybrid-LSMabSP+) S 336858 336861 331427 0 -1 4194304 270 159750 0 0 0 0 179022 199 20 0 1 0 62321838 10170368 723 134679101440 94128112484352 94128113563672 140734585756992 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94128115662128 94128115709316 94128147177472 140734585758696 140734585758842 140734585758842 140734585765857 0
/proc/336861/statm: 2483 723 634 264 0 134 0
[pid=337885] ppid=336861 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/337885/stat : 337885 (timeout) S 336861 337885 331427 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501639 8867840 247 134679101440 94799342616576 94799342651592 140731542463280 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94799344749008 94799344751140 94799346581504 140731542467572 140731542467741 140731542467741 140731542474727 0
/proc/337885/statm: 2165 247 223 9 0 87 0
[pid=337886] ppid=337885 vsize=46764 memory=34132 CPUtime=1787.19 cores=0,2
/proc/337886/stat : 337886 (Exact) R 337885 337885 331427 0 -1 4194304 55375 0 0 0 178707 12 0 0 20 0 1 0 62501639 47886336 8533 134679101440 4194304 7210733 140737220383504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 13672448 140737220391952 140737220392102 140737220392102 140737220399088 0
/proc/337886/statm: 11691 8533 748 737 0 10779 0
Current children cumulated CPU time: 3579.4 s
Current children cumulated vsize: 65356 KiB
Current children cumulated memory: 38012 KiB

[startup+3593.6 s]
/proc/loadavg: 2.83 3.07 3.24 2/238 338922
/proc/meminfo: memFree=129542228/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2892 CPUtime=1792.21 cores=0,2
/proc/336861/stat : 336861 (Hybrid-LSMabSP+) S 336858 336861 331427 0 -1 4194304 270 159750 0 0 0 0 179022 199 20 0 1 0 62321838 10170368 723 134679101440 94128112484352 94128113563672 140734585756992 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94128115662128 94128115709316 94128147177472 140734585758696 140734585758842 140734585758842 140734585765857 0
/proc/336861/statm: 2483 723 634 264 0 134 0
[pid=337885] ppid=336861 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/337885/stat : 337885 (timeout) S 336861 337885 331427 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501639 8867840 247 134679101440 94799342616576 94799342651592 140731542463280 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94799344749008 94799344751140 94799346581504 140731542467572 140731542467741 140731542467741 140731542474727 0
/proc/337885/statm: 2165 247 223 9 0 87 0
[pid=337886] ppid=337885 vsize=46764 memory=34132 CPUtime=1790.38 cores=0,2
/proc/337886/stat : 337886 (Exact) R 337885 337885 331427 0 -1 4194304 55375 0 0 0 179026 12 0 0 20 0 1 0 62501639 47886336 8533 134679101440 4194304 7210733 140737220383504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 13672448 140737220391952 140737220392102 140737220392102 140737220399088 0
/proc/337886/statm: 11691 8533 748 737 0 10779 0
Current children cumulated CPU time: 3582.59 s
Current children cumulated vsize: 65356 KiB
Current children cumulated memory: 38012 KiB

[startup+3595.2 s]
/proc/loadavg: 2.83 3.07 3.24 2/238 338922
/proc/meminfo: memFree=129542280/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2892 CPUtime=1792.21 cores=0,2
/proc/336861/stat : 336861 (Hybrid-LSMabSP+) S 336858 336861 331427 0 -1 4194304 270 159750 0 0 0 0 179022 199 20 0 1 0 62321838 10170368 723 134679101440 94128112484352 94128113563672 140734585756992 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94128115662128 94128115709316 94128147177472 140734585758696 140734585758842 140734585758842 140734585765857 0
/proc/336861/statm: 2483 723 634 264 0 134 0
[pid=337885] ppid=336861 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/337885/stat : 337885 (timeout) S 336861 337885 331427 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501639 8867840 247 134679101440 94799342616576 94799342651592 140731542463280 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94799344749008 94799344751140 94799346581504 140731542467572 140731542467741 140731542467741 140731542474727 0
/proc/337885/statm: 2165 247 223 9 0 87 0
[pid=337886] ppid=337885 vsize=46764 memory=34132 CPUtime=1791.98 cores=0,2
/proc/337886/stat : 337886 (Exact) R 337885 337885 331427 0 -1 4194304 55532 0 0 0 179186 12 0 0 20 0 1 0 62501639 47886336 8533 134679101440 4194304 7210733 140737220383504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 13672448 140737220391952 140737220392102 140737220392102 140737220399088 0
/proc/337886/statm: 11691 8533 748 737 0 10779 0
Current children cumulated CPU time: 3584.19 s
Current children cumulated vsize: 65356 KiB
Current children cumulated memory: 38012 KiB

[startup+3595.6 s]
/proc/loadavg: 2.83 3.07 3.24 2/238 338922
/proc/meminfo: memFree=129542280/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2892 CPUtime=1792.21 cores=0,2
/proc/336861/stat : 336861 (Hybrid-LSMabSP+) S 336858 336861 331427 0 -1 4194304 270 159750 0 0 0 0 179022 199 20 0 1 0 62321838 10170368 723 134679101440 94128112484352 94128113563672 140734585756992 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94128115662128 94128115709316 94128147177472 140734585758696 140734585758842 140734585758842 140734585765857 0
/proc/336861/statm: 2483 723 634 264 0 134 0
[pid=337885] ppid=336861 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/337885/stat : 337885 (timeout) S 336861 337885 331427 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501639 8867840 247 134679101440 94799342616576 94799342651592 140731542463280 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94799344749008 94799344751140 94799346581504 140731542467572 140731542467741 140731542467741 140731542474727 0
/proc/337885/statm: 2165 247 223 9 0 87 0
[pid=337886] ppid=337885 vsize=46764 memory=34132 CPUtime=1792.38 cores=0,2
/proc/337886/stat : 337886 (Exact) R 337885 337885 331427 0 -1 4194304 55532 0 0 0 179226 12 0 0 20 0 1 0 62501639 47886336 8533 134679101440 4194304 7210733 140737220383504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 13672448 140737220391952 140737220392102 140737220392102 140737220399088 0
/proc/337886/statm: 11691 8533 748 737 0 10779 0
Current children cumulated CPU time: 3584.59 s
Current children cumulated vsize: 65356 KiB
Current children cumulated memory: 38012 KiB

[startup+3596 s]*
/proc/loadavg: 2.83 3.07 3.24 2/238 338922
/proc/meminfo: memFree=129542280/131524600 swapFree=131071996/131071996
[pid=336861] ppid=336858 vsize=9932 memory=2892 CPUtime=1792.21 cores=0,2
/proc/336861/stat : 336861 (Hybrid-LSMabSP+) S 336858 336861 331427 0 -1 4194304 270 159750 0 0 0 0 179022 199 20 0 1 0 62321838 10170368 723 134679101440 94128112484352 94128113563672 140734585756992 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94128115662128 94128115709316 94128147177472 140734585758696 140734585758842 140734585758842 140734585765857 0
/proc/336861/statm: 2483 723 634 264 0 134 0
[pid=337885] ppid=336861 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/337885/stat : 337885 (timeout) S 336861 337885 331427 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501639 8867840 247 134679101440 94799342616576 94799342651592 140731542463280 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94799344749008 94799344751140 94799346581504 140731542467572 140731542467741 140731542467741 140731542474727 0
/proc/337885/statm: 2165 247 223 9 0 87 0
[pid=337886] ppid=337885 vsize=46764 memory=34132 CPUtime=1792.78 cores=0,2
/proc/337886/stat : 337886 (Exact) R 337885 337885 331427 0 -1 4194304 55532 0 0 0 179266 12 0 0 20 0 1 0 62501639 47886336 8533 134679101440 4194304 7210733 140737220383504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 13672448 140737220391952 140737220392102 140737220392102 140737220399088 0
/proc/337886/statm: 11691 8533 748 737 0 10779 0
Current children cumulated CPU time: 3584.99 s
Current children cumulated vsize: 65356 KiB
Current children cumulated memory: 38012 KiB

Child status: 0

Real time (s): 3596.02
CPU time (s): 3585.02
CPU user time (s): 3582.9
CPU system time (s): 2.12379
CPU usage (%): 99.6942
Max. virtual memory (cumulated for all children) (KiB): 690272
Max. memory (cumulated for all children) (KiB): 652656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.9
system time used= 2.12379
maximum resident set size= 648796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217123
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121
involuntary context switches= 25294


# summary of solver processes directly reported to runsolver:
#   pid: 336861
#   total CPU time (s): 3585.02
#   total CPU user time (s): 3582.9
#   total CPU system time (s): 2.12379

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.37509 second user time and 15.6151 second system time

The end