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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427779-1722773150/watcher-4427779-1722773150 -o /tmp/evaluation-result-4427779-1722773150/solver-4427779-1722773150 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722769582-238621 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427779-1722773150.opb -t 3558 -s 704629819 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=240652, runsolver pid=240646
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 4.11 4.10 4.02 5/256 240674
/proc/meminfo: memFree=129412968/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=24196 memory=10500 CPUtime=0.09 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 1646 0 0 0 9 0 0 0 20 0 1 0 43919537 24776704 2625 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 6049 2625 1073 2753 0 2702 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24196 KiB
Current children cumulated memory: 10500 KiB

[startup+0.205347 s]*
/proc/loadavg: 4.11 4.10 4.02 5/256 240674
/proc/meminfo: memFree=129394480/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=36832 memory=23288 CPUtime=0.19 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 4858 0 0 0 19 0 0 0 20 0 1 0 43919537 37715968 5822 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 9208 5822 1105 2753 0 5861 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 36832 KiB
Current children cumulated memory: 23288 KiB

[startup+0.305027 s]*
/proc/loadavg: 4.11 4.10 4.02 5/256 240674
/proc/meminfo: memFree=129368100/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=36832 memory=23288 CPUtime=0.29 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 4858 0 0 0 29 0 0 0 20 0 1 0 43919537 37715968 5822 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 9208 5822 1105 2753 0 5861 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36832 KiB
Current children cumulated memory: 23288 KiB

[startup+0.700223 s]
/proc/loadavg: 4.11 4.10 4.02 4/251 240682
/proc/meminfo: memFree=129619264/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=81048 memory=72320 CPUtime=0.69 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 15613 0 0 0 67 2 0 0 20 0 1 0 43919537 82993152 18080 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 20262 18080 2705 2753 0 16915 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 81048 KiB
Current children cumulated memory: 72320 KiB

[startup+1.50021 s]
/proc/loadavg: 4.11 4.10 4.02 4/251 240682
/proc/meminfo: memFree=129465172/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=184456 memory=163604 CPUtime=1.48 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 32982 0 0 0 144 4 0 0 20 0 1 0 43919537 188882944 40901 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 46114 40901 2833 2753 0 42767 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 184456 KiB
Current children cumulated memory: 163604 KiB

[startup+3.10517 s]
/proc/loadavg: 4.10 4.10 4.02 5/256 240720
/proc/meminfo: memFree=129230904/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=184800 memory=163864 CPUtime=3.08 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 33024 0 0 0 304 4 0 0 20 0 1 0 43919537 189235200 40966 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 46200 40966 2833 2753 0 42853 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 184800 KiB
Current children cumulated memory: 163864 KiB

[startup+6.30017 s]
/proc/loadavg: 4.10 4.10 4.02 5/256 240722
/proc/meminfo: memFree=129012156/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=185128 memory=164124 CPUtime=6.27 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 33088 0 0 0 623 4 0 0 20 0 1 0 43919537 189571072 41031 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 46282 41031 2833 2753 0 42935 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 185128 KiB
Current children cumulated memory: 164124 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.02 5/256 240722
/proc/meminfo: memFree=128913152/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=206632 memory=180808 CPUtime=12.66 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 37265 0 0 0 1261 5 0 0 20 0 1 0 43919537 211591168 45202 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 51658 45202 2849 2753 0 48311 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 206632 KiB
Current children cumulated memory: 180808 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.02 5/256 240724
/proc/meminfo: memFree=128907500/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=217684 memory=183180 CPUtime=25.43 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 37862 0 0 0 2538 5 0 0 20 0 1 0 43919537 222908416 45795 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 54421 45795 2849 2753 0 51074 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 217684 KiB
Current children cumulated memory: 183180 KiB

[startup+51.1053 s]
/proc/loadavg: 4.10 4.10 4.02 5/256 240729
/proc/meminfo: memFree=128886088/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=221360 memory=183964 CPUtime=50.97 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 38069 0 0 0 5092 5 0 0 20 0 1 0 43919537 226672640 45991 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 55340 45991 2849 2753 0 51993 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 221360 KiB
Current children cumulated memory: 183964 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.03 5/257 240739
/proc/meminfo: memFree=128829692/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=254324 memory=215316 CPUtime=102.04 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 45892 0 0 0 10198 6 0 0 20 0 1 0 43919537 260427776 53829 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 63581 53829 2849 2753 0 60234 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 254324 KiB
Current children cumulated memory: 215316 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/257 240751
/proc/meminfo: memFree=128698044/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=390536 memory=343548 CPUtime=161.89 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 82099 0 0 0 16178 11 0 0 20 0 1 0 43919537 399908864 85887 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 97634 85887 2849 2753 0 94287 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 390536 KiB
Current children cumulated memory: 343548 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/256 240761
/proc/meminfo: memFree=128693320/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=390536 memory=343548 CPUtime=221.75 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 82130 0 0 0 22163 12 0 0 20 0 1 0 43919537 399908864 85887 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 97634 85887 2849 2753 0 94287 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 390536 KiB
Current children cumulated memory: 343548 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/256 240772
/proc/meminfo: memFree=128639504/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=390536 memory=343948 CPUtime=281.61 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 82136 0 0 0 28149 12 0 0 20 0 1 0 43919537 399908864 85987 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 97634 85987 2849 2753 0 94287 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 390536 KiB
Current children cumulated memory: 343948 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.08 4.03 5/258 240788
/proc/meminfo: memFree=128615296/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=390536 memory=361216 CPUtime=341.46 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 82212 0 0 0 34134 12 0 0 20 0 1 0 43919537 399908864 90304 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 97634 90304 2849 2753 0 94287 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 390536 KiB
Current children cumulated memory: 361216 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/258 240798
/proc/meminfo: memFree=128523144/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=390536 memory=368040 CPUtime=401.31 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 83164 0 0 0 40119 12 0 0 20 0 1 0 43919537 399908864 92010 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 97634 92010 2849 2753 0 94287 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 390536 KiB
Current children cumulated memory: 368040 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/257 240808
/proc/meminfo: memFree=128510796/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=390536 memory=373292 CPUtime=461.17 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 83256 0 0 0 46105 12 0 0 20 0 1 0 43919537 399908864 93323 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0

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

/proc/loadavg: 4.38 4.24 4.17 5/257 242306
/proc/meminfo: memFree=128425252/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=339056 memory=332860 CPUtime=3155.22 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 86187 0 0 0 312372 3150 0 0 20 0 1 0 43919537 347193344 83215 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 84764 83215 2849 2753 0 81417 0
Current children cumulated CPU time: 3155.22 s
Current children cumulated vsize: 339056 KiB
Current children cumulated memory: 332860 KiB

[startup+3222.3 s]
/proc/loadavg: 4.40 4.29 4.19 5/259 242488
/proc/meminfo: memFree=128424128/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=339056 memory=332860 CPUtime=3215.11 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 86195 0 0 0 318242 3269 0 0 20 0 1 0 43919537 347193344 83215 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 84764 83215 2849 2753 0 81417 0
Current children cumulated CPU time: 3215.11 s
Current children cumulated vsize: 339056 KiB
Current children cumulated memory: 332860 KiB

[startup+3282.3 s]
/proc/loadavg: 4.36 4.29 4.19 5/259 242498
/proc/meminfo: memFree=128423116/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=339056 memory=332860 CPUtime=3275 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 86203 0 0 0 324109 3391 0 0 20 0 1 0 43919537 347193344 83215 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 84764 83215 2849 2753 0 81417 0
Current children cumulated CPU time: 3275 s
Current children cumulated vsize: 339056 KiB
Current children cumulated memory: 332860 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.25 4.18 5/257 242523
/proc/meminfo: memFree=128422656/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=339056 memory=332860 CPUtime=3334.89 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 86211 0 0 0 329978 3511 0 0 20 0 1 0 43919537 347193344 83215 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 84764 83215 2849 2753 0 81417 0
Current children cumulated CPU time: 3334.89 s
Current children cumulated vsize: 339056 KiB
Current children cumulated memory: 332860 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.22 4.17 5/257 242533
/proc/meminfo: memFree=128422336/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=339056 memory=332860 CPUtime=3394.76 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 86219 0 0 0 335820 3656 0 0 20 0 1 0 43919537 347193344 83215 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 84764 83215 2849 2753 0 81417 0
Current children cumulated CPU time: 3394.76 s
Current children cumulated vsize: 339056 KiB
Current children cumulated memory: 332860 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.19 4.17 5/257 242543
/proc/meminfo: memFree=128421664/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=339056 memory=332860 CPUtime=3454.66 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 86227 0 0 0 341681 3785 0 0 20 0 1 0 43919537 347193344 83215 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 84764 83215 2849 2753 0 81417 0
Current children cumulated CPU time: 3454.66 s
Current children cumulated vsize: 339056 KiB
Current children cumulated memory: 332860 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/255 242556
/proc/meminfo: memFree=128420792/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=339056 memory=332860 CPUtime=3514.54 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 86235 0 0 0 347537 3917 0 0 20 0 1 0 43919537 347193344 83215 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 84764 83215 2849 2753 0 81417 0
Current children cumulated CPU time: 3514.54 s
Current children cumulated vsize: 339056 KiB
Current children cumulated memory: 332860 KiB

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

# cumulated CPU time of all completed processes:  user=3517.85 s, system=40.1688 s

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

[startup+3532.8 s]
/proc/loadavg: 4.11 4.18 4.17 5/255 242558
/proc/meminfo: memFree=128420732/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=339056 memory=332860 CPUtime=3525.02 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 86235 0 0 0 348562 3940 0 0 20 0 1 0 43919537 347193344 83215 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 84764 83215 2849 2753 0 81417 0
Current children cumulated CPU time: 3525.02 s
Current children cumulated vsize: 339056 KiB
Current children cumulated memory: 332860 KiB

[startup+3545.6 s]
/proc/loadavg: 4.09 4.17 4.16 5/255 242559
/proc/meminfo: memFree=128420500/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=339056 memory=332860 CPUtime=3537.8 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 86235 0 0 0 349811 3969 0 0 20 0 1 0 43919537 347193344 83215 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 84764 83215 2849 2753 0 81417 0
Current children cumulated CPU time: 3537.8 s
Current children cumulated vsize: 339056 KiB
Current children cumulated memory: 332860 KiB

[startup+3558.4 s]
/proc/loadavg: 4.07 4.16 4.16 5/255 242563
/proc/meminfo: memFree=128420172/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=339056 memory=332860 CPUtime=3550.57 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 86235 0 0 0 351058 3999 0 0 20 0 1 0 43919537 347193344 83215 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 84764 83215 2849 2753 0 81417 0
Current children cumulated CPU time: 3550.57 s
Current children cumulated vsize: 339056 KiB
Current children cumulated memory: 332860 KiB

[startup+3561.6 s]
/proc/loadavg: 4.15 4.18 4.17 5/255 242563
/proc/meminfo: memFree=128420184/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=339056 memory=332860 CPUtime=3553.76 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 86235 0 0 0 351371 4005 0 0 20 0 1 0 43919537 347193344 83215 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 84764 83215 2849 2753 0 81417 0
Current children cumulated CPU time: 3553.76 s
Current children cumulated vsize: 339056 KiB
Current children cumulated memory: 332860 KiB

[startup+3563.2 s]
/proc/loadavg: 4.15 4.18 4.17 5/255 242563
/proc/meminfo: memFree=128420184/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=339056 memory=332860 CPUtime=3555.36 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 86235 0 0 0 351527 4009 0 0 20 0 1 0 43919537 347193344 83215 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 84764 83215 2849 2753 0 81417 0
Current children cumulated CPU time: 3555.36 s
Current children cumulated vsize: 339056 KiB
Current children cumulated memory: 332860 KiB

[startup+3564.8 s]
/proc/loadavg: 4.14 4.17 4.16 5/255 242563
/proc/meminfo: memFree=128420184/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=339056 memory=332860 CPUtime=3556.96 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 86235 0 0 0 351683 4013 0 0 20 0 1 0 43919537 347193344 83215 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 84764 83215 2849 2753 0 81417 0
Current children cumulated CPU time: 3556.96 s
Current children cumulated vsize: 339056 KiB
Current children cumulated memory: 332860 KiB

[startup+3565.6 s]
/proc/loadavg: 4.14 4.17 4.16 5/255 242563
/proc/meminfo: memFree=128420192/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=339056 memory=332860 CPUtime=3557.76 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 86235 0 0 0 351760 4016 0 0 20 0 1 0 43919537 347193344 83215 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 84764 83215 2849 2753 0 81417 0
Current children cumulated CPU time: 3557.76 s
Current children cumulated vsize: 339056 KiB
Current children cumulated memory: 332860 KiB

[startup+3565.8 s]
/proc/loadavg: 4.14 4.17 4.16 5/255 242563
/proc/meminfo: memFree=128420192/131524600 swapFree=131071996/131071996
[pid=240652] ppid=240646 vsize=339056 memory=332860 CPUtime=3557.96 cores=5,7
/proc/240652/stat : 240652 (LS-MabSP) R 240646 240652 238608 0 -1 4194304 86235 0 0 0 351780 4016 0 0 20 0 1 0 43919537 347193344 83215 134679101440 4194304 15467897 140726820369040 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24920064 140726820373535 140726820373637 140726820373637 140726820380653 0
/proc/240652/statm: 84764 83215 2849 2753 0 81417 0
Current children cumulated CPU time: 3557.96 s
Current children cumulated vsize: 339056 KiB
Current children cumulated memory: 332860 KiB

Child status: 0

Real time (s): 3565.85
CPU time (s): 3558.01
CPU user time (s): 3517.85
CPU system time (s): 40.1688
CPU usage (%): 99.7803
Max. virtual memory (cumulated for all children) (KiB): 407864
Max. memory (cumulated for all children) (KiB): 373292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3517.85
system time used= 40.1688
maximum resident set size= 373292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86302
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= 1019


# summary of solver processes directly reported to runsolver:
#   pid: 240652
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3517.85
#   total CPU system time (s): 40.1688

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.89331 second user time and 15.3356 second system time

The end