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: 63837 MiB (62267 MiB free)
  memory of node 1: 64465 MiB (62803 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4482523-1751409410/watcher-4482523-1751409410 -o /tmp/evaluation-result-4482523-1751409410/solver-4482523-1751409410 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751402421-54807 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1232436497 --ls=360 HOME/instance-4482523-1751409410.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=56046, runsolver pid=56043

[startup+0.10007 s]*
/proc/loadavg: 4.13 4.12 4.14 5/251 56047
/proc/meminfo: memFree=128072904/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=35924 memory=12976 CPUtime=0.1 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 2768 0 0 0 10 0 0 0 20 0 1 0 56619662 36786176 3244 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 8981 3244 1024 1200 0 7461 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35924 KiB
Current children cumulated memory: 12976 KiB

[startup+0.213205 s]*
/proc/loadavg: 4.13 4.12 4.14 5/251 56047
/proc/meminfo: memFree=128069124/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=41808 memory=19448 CPUtime=0.21 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 4842 0 0 0 20 1 0 0 20 0 1 0 56619662 42811392 4862 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 10452 4862 1024 1200 0 8932 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41808 KiB
Current children cumulated memory: 19448 KiB

[startup+0.313161 s]*
/proc/loadavg: 4.13 4.12 4.14 5/251 56047
/proc/meminfo: memFree=128061196/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=48956 memory=28972 CPUtime=0.31 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 6064 0 0 0 30 1 0 0 20 0 1 0 56619662 50130944 7243 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 12239 7243 1024 1200 0 10719 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 48956 KiB
Current children cumulated memory: 28972 KiB

[startup+0.700329 s]
/proc/loadavg: 4.13 4.12 4.14 5/251 56047
/proc/meminfo: memFree=128055336/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=57440 memory=36012 CPUtime=0.68 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 7839 0 0 0 66 2 0 0 20 0 1 0 56619662 58818560 9003 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 14360 9003 1024 1200 0 12840 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57440 KiB
Current children cumulated memory: 36012 KiB

[startup+1.50033 s]
/proc/loadavg: 4.13 4.12 4.14 5/251 56047
/proc/meminfo: memFree=128055336/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=57440 memory=36012 CPUtime=1.48 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 7840 0 0 0 146 2 0 0 20 0 1 0 56619662 58818560 9003 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 14360 9003 1024 1200 0 12840 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57440 KiB
Current children cumulated memory: 36012 KiB

[startup+3.11296 s]
/proc/loadavg: 4.12 4.12 4.14 5/251 56047
/proc/meminfo: memFree=128055560/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=57440 memory=36012 CPUtime=3.09 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 7844 0 0 0 307 2 0 0 20 0 1 0 56619662 58818560 9003 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 14360 9003 1024 1200 0 12840 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 57440 KiB
Current children cumulated memory: 36012 KiB

[startup+6.30032 s]
/proc/loadavg: 4.12 4.12 4.14 5/251 56047
/proc/meminfo: memFree=128055924/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=57440 memory=36012 CPUtime=6.27 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 7847 0 0 0 625 2 0 0 20 0 1 0 56619662 58818560 9003 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 14360 9003 1024 1200 0 12840 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 57440 KiB
Current children cumulated memory: 36012 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.11 4.14 5/251 56047
/proc/meminfo: memFree=128056176/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=57440 memory=36012 CPUtime=12.65 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 7850 0 0 0 1263 2 0 0 20 0 1 0 56619662 58818560 9003 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 14360 9003 1024 1200 0 12840 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 57440 KiB
Current children cumulated memory: 36012 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.13 4.14 5/251 56047
/proc/meminfo: memFree=128048488/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=57440 memory=36012 CPUtime=25.41 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 7850 0 0 0 2539 2 0 0 20 0 1 0 56619662 58818560 9003 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 14360 9003 1024 1200 0 12840 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 57440 KiB
Current children cumulated memory: 36012 KiB

[startup+51.1132 s]
/proc/loadavg: 4.11 4.11 4.14 5/251 56047
/proc/meminfo: memFree=128025780/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=57440 memory=36012 CPUtime=50.94 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 7856 0 0 0 5092 2 0 0 20 0 1 0 56619662 58818560 9003 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 14360 9003 1024 1200 0 12840 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 57440 KiB
Current children cumulated memory: 36012 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.14 5/251 56049
/proc/meminfo: memFree=128003376/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=57440 memory=36012 CPUtime=101.96 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 7859 0 0 0 10194 2 0 0 20 0 1 0 56619662 58818560 9003 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 14360 9003 1024 1200 0 12840 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 57440 KiB
Current children cumulated memory: 36012 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.14 5/250 56051
/proc/meminfo: memFree=128004128/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=57440 memory=36012 CPUtime=161.77 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 7862 0 0 0 16175 2 0 0 20 0 1 0 56619662 58818560 9003 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 14360 9003 1024 1200 0 12840 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 57440 KiB
Current children cumulated memory: 36012 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.14 4.14 5/250 56053
/proc/meminfo: memFree=127990644/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=57440 memory=36012 CPUtime=221.58 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 7868 0 0 0 22156 2 0 0 20 0 1 0 56619662 58818560 9003 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 14360 9003 1024 1200 0 12840 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 57440 KiB
Current children cumulated memory: 36012 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.14 4.14 5/249 56057
/proc/meminfo: memFree=127992660/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=57440 memory=36012 CPUtime=281.39 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 7868 0 0 0 28137 2 0 0 20 0 1 0 56619662 58818560 9003 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 14360 9003 1024 1200 0 12840 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 57440 KiB
Current children cumulated memory: 36012 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.14 4.14 5/250 56064
/proc/meminfo: memFree=127958844/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=57440 memory=36012 CPUtime=341.2 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 7871 0 0 0 34118 2 0 0 20 0 1 0 56619662 58818560 9003 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 14360 9003 1024 1200 0 12840 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 57440 KiB
Current children cumulated memory: 36012 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/250 56066
/proc/meminfo: memFree=127874484/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=115252 memory=98588 CPUtime=401.02 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 19601 0 0 0 40095 7 0 0 20 0 1 0 56619662 118018048 24647 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 28813 24647 1248 1200 0 27293 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 115252 KiB
Current children cumulated memory: 98588 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/250 56113
/proc/meminfo: memFree=127939676/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=119192 memory=106292 CPUtime=460.81 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 20552 0 0 0 46071 10 0 0 20 0 1 0 56619662 122052608 26573 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 29798 26573 1248 1200 0 28278 0
Current children cumulated CPU time: 460.81 s

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

/proc/loadavg: 4.08 4.11 4.12 5/250 56115
/proc/meminfo: memFree=127938368/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=122080 memory=108212 CPUtime=520.62 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 21017 0 0 0 52050 12 0 0 20 0 1 0 56619662 125009920 27053 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 30520 27053 1248 1200 0 29000 0
Current children cumulated CPU time: 520.62 s
Current children cumulated vsize: 122080 KiB
Current children cumulated memory: 108212 KiB

[startup+582.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/250 56117
/proc/meminfo: memFree=127930076/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=127252 memory=113844 CPUtime=580.44 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 22424 0 0 0 58026 18 0 0 20 0 1 0 56619662 130306048 28461 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 31813 28461 1248 1200 0 30293 0
Current children cumulated CPU time: 580.44 s
Current children cumulated vsize: 127252 KiB
Current children cumulated memory: 113844 KiB

[startup+642.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/249 56119
/proc/meminfo: memFree=127930076/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=127864 memory=114868 CPUtime=640.27 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 22722 0 0 0 64008 19 0 0 20 0 1 0 56619662 130932736 28717 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 31966 28717 1248 1200 0 30446 0
Current children cumulated CPU time: 640.27 s
Current children cumulated vsize: 127864 KiB
Current children cumulated memory: 114868 KiB

[startup+702.3 s]
/proc/loadavg: 4.04 4.09 4.10 5/249 56121
/proc/meminfo: memFree=127929848/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=128408 memory=115508 CPUtime=700.08 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 22863 0 0 0 69988 20 0 0 20 0 1 0 56619662 131489792 28877 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 32102 28877 1248 1200 0 30582 0
Current children cumulated CPU time: 700.08 s
Current children cumulated vsize: 128408 KiB
Current children cumulated memory: 115508 KiB

[startup+762.3 s]
/proc/loadavg: 4.12 4.10 4.10 5/249 56123
/proc/meminfo: memFree=127909640/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=138924 memory=123240 CPUtime=759.9 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 23769 0 0 0 75965 25 0 0 20 0 1 0 56619662 142258176 30810 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 34731 30810 1248 1200 0 33211 0
Current children cumulated CPU time: 759.9 s
Current children cumulated vsize: 138924 KiB
Current children cumulated memory: 123240 KiB

[startup+822.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/249 56170
/proc/meminfo: memFree=127902996/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=138924 memory=123240 CPUtime=819.73 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 23772 0 0 0 81939 34 0 0 20 0 1 0 56619662 142258176 30810 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 34731 30810 1248 1200 0 33211 0
Current children cumulated CPU time: 819.73 s
Current children cumulated vsize: 138924 KiB
Current children cumulated memory: 123240 KiB

[startup+882.3 s]
/proc/loadavg: 4.66 4.25 4.15 5/250 56176
/proc/meminfo: memFree=127902372/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=138924 memory=123240 CPUtime=879.55 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 23773 0 0 0 87921 34 0 0 20 0 1 0 56619662 142258176 30810 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 34731 30810 1248 1200 0 33211 0
Current children cumulated CPU time: 879.55 s
Current children cumulated vsize: 138924 KiB
Current children cumulated memory: 123240 KiB

[startup+942.3 s]
/proc/loadavg: 4.45 4.28 4.16 5/250 56182
/proc/meminfo: memFree=127899484/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=138924 memory=123240 CPUtime=939.36 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 23804 0 0 0 93902 34 0 0 20 0 1 0 56619662 142258176 30810 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 34731 30810 1248 1200 0 33211 0
Current children cumulated CPU time: 939.36 s
Current children cumulated vsize: 138924 KiB
Current children cumulated memory: 123240 KiB

[startup+1002.3 s]
/proc/loadavg: 4.21 4.24 4.16 5/250 56184
/proc/meminfo: memFree=127871660/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=138924 memory=123240 CPUtime=999.18 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 23804 0 0 0 99884 34 0 0 20 0 1 0 56619662 142258176 30810 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 34731 30810 1248 1200 0 33211 0
Current children cumulated CPU time: 999.18 s
Current children cumulated vsize: 138924 KiB
Current children cumulated memory: 123240 KiB

[startup+1011.62 s]
# the end of solver process 56046 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1008.13 s, system=0.343859 s

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

[startup+1004.8 s]
/proc/loadavg: 4.21 4.24 4.16 5/250 56184
/proc/meminfo: memFree=127871660/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=138924 memory=123240 CPUtime=1001.67 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 23804 0 0 0 100133 34 0 0 20 0 1 0 56619662 142258176 30810 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 34731 30810 1248 1200 0 33211 0
Current children cumulated CPU time: 1001.67 s
Current children cumulated vsize: 138924 KiB
Current children cumulated memory: 123240 KiB

[startup+1008 s]*
/proc/loadavg: 4.20 4.23 4.16 5/250 56184
/proc/meminfo: memFree=127871912/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=138924 memory=123240 CPUtime=1004.87 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 23804 0 0 0 100453 34 0 0 20 0 1 0 56619662 142258176 30810 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 34731 30810 1248 1200 0 33211 0
Current children cumulated CPU time: 1004.87 s
Current children cumulated vsize: 138924 KiB
Current children cumulated memory: 123240 KiB

[startup+1009.6 s]
/proc/loadavg: 4.20 4.23 4.16 5/250 56184
/proc/meminfo: memFree=127871912/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=138924 memory=123240 CPUtime=1006.45 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 23804 0 0 0 100611 34 0 0 20 0 1 0 56619662 142258176 30810 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 34731 30810 1248 1200 0 33211 0
Current children cumulated CPU time: 1006.45 s
Current children cumulated vsize: 138924 KiB
Current children cumulated memory: 123240 KiB

[startup+1010.4 s]
/proc/loadavg: 4.20 4.23 4.16 5/250 56184
/proc/meminfo: memFree=127871912/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=138924 memory=123240 CPUtime=1007.25 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 23804 0 0 0 100691 34 0 0 20 0 1 0 56619662 142258176 30810 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 34731 30810 1248 1200 0 33211 0
Current children cumulated CPU time: 1007.25 s
Current children cumulated vsize: 138924 KiB
Current children cumulated memory: 123240 KiB

[startup+1011.2 s]
/proc/loadavg: 4.20 4.23 4.16 5/250 56184
/proc/meminfo: memFree=127871912/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=138924 memory=123240 CPUtime=1008.05 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 23804 0 0 0 100771 34 0 0 20 0 1 0 56619662 142258176 30810 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 34731 30810 1248 1200 0 33211 0
Current children cumulated CPU time: 1008.05 s
Current children cumulated vsize: 138924 KiB
Current children cumulated memory: 123240 KiB

[startup+1011.6 s]
/proc/loadavg: 4.20 4.23 4.16 5/250 56184
/proc/meminfo: memFree=127871912/131382120 swapFree=33010684/33010684
[pid=56046] ppid=56043 vsize=138924 memory=123240 CPUtime=1008.45 cores=0,2
/proc/56046/stat : 56046 (Exact) R 56043 56046 54797 0 -1 4194304 23804 0 0 0 100811 34 0 0 20 0 1 0 56619662 142258176 30810 18446744073709551615 4198400 9112445 140727083878304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15626240 140727083882810 140727083882989 140727083882989 140727083888591 0
/proc/56046/statm: 34731 30810 1248 1200 0 33211 0
Current children cumulated CPU time: 1008.45 s
Current children cumulated vsize: 138924 KiB
Current children cumulated memory: 123240 KiB

Child status: 30

Real time (s): 1011.62
CPU time (s): 1008.48
CPU user time (s): 1008.13
CPU system time (s): 0.343859
CPU usage (%): 99.6889
Max. virtual memory (cumulated for all children) (KiB): 138924
Max. memory (cumulated for all children) (KiB): 123240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1008.13
system time used= 0.343859
maximum resident set size= 123368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23814
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 2212


# summary of solver processes directly reported to runsolver:
#   pid: 56046
#   total CPU time (s): 1008.48
#   total CPU user time (s): 1008.13
#   total CPU system time (s): 0.343859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52302 second user time and 10.3245 second system time

The end