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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458053-1722831066/watcher-4458053-1722831066 -o /tmp/evaluation-result-4458053-1722831066/solver-4458053-1722831066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722827499-272572 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4458053-1722831066.opb -t 3558 -s 930872564 

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
Current StackSize limit: 8192 KiB

solver pid=274618, runsolver pid=274615

[startup+0.100848 s]*
/proc/loadavg: 4.05 4.13 4.16 5/258 274619
/proc/meminfo: memFree=126232552/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=35980 memory=28604 CPUtime=0.09 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4232 0 0 0 9 0 0 0 20 0 1 0 49703620 36843520 7151 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 8995 7151 2817 2753 0 5648 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35980 KiB
Current children cumulated memory: 28604 KiB

[startup+0.205844 s]*
/proc/loadavg: 4.05 4.13 4.16 5/258 274619
/proc/meminfo: memFree=126238208/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=22992 CPUtime=0.19 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4273 0 0 0 18 1 0 0 20 0 1 0 49703620 29925376 5748 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5748 2817 2753 0 3959 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 22992 KiB

[startup+0.304677 s]*
/proc/loadavg: 4.05 4.13 4.16 5/258 274619
/proc/meminfo: memFree=126238212/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=22992 CPUtime=0.29 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4273 0 0 0 26 3 0 0 20 0 1 0 49703620 29925376 5748 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5748 2817 2753 0 3959 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 22992 KiB

[startup+0.700164 s]
/proc/loadavg: 4.05 4.13 4.16 5/258 274619
/proc/meminfo: memFree=126238016/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=22992 CPUtime=0.68 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4273 0 0 0 59 9 0 0 20 0 1 0 49703620 29925376 5748 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5748 2817 2753 0 3959 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 22992 KiB

[startup+1.50016 s]
/proc/loadavg: 4.05 4.13 4.16 6/258 274619
/proc/meminfo: memFree=126238012/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=22992 CPUtime=1.48 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4273 0 0 0 128 20 0 0 20 0 1 0 49703620 29925376 5748 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5748 2817 2753 0 3959 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 22992 KiB

[startup+3.10461 s]
/proc/loadavg: 4.05 4.13 4.16 5/258 274665
/proc/meminfo: memFree=127191148/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=22992 CPUtime=3.08 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4273 0 0 0 262 46 0 0 20 0 1 0 49703620 29925376 5748 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5748 2817 2753 0 3959 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 22992 KiB

[startup+6.30015 s]
/proc/loadavg: 4.05 4.13 4.16 5/258 274665
/proc/meminfo: memFree=127189008/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=22992 CPUtime=6.27 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4273 0 0 0 528 99 0 0 20 0 1 0 49703620 29925376 5748 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5748 2817 2753 0 3959 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 22992 KiB

[startup+12.7001 s]
/proc/loadavg: 4.05 4.12 4.15 5/259 274667
/proc/meminfo: memFree=127188624/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=22992 CPUtime=12.66 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4273 0 0 0 1067 199 0 0 20 0 1 0 49703620 29925376 5748 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5748 2817 2753 0 3959 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 22992 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.13 4.16 5/259 274669
/proc/meminfo: memFree=127168768/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=22992 CPUtime=25.43 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4273 0 0 0 2143 400 0 0 20 0 1 0 49703620 29925376 5748 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5748 2817 2753 0 3959 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 22992 KiB

[startup+51.1045 s]
/proc/loadavg: 4.08 4.12 4.15 5/259 274673
/proc/meminfo: memFree=127129984/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=22992 CPUtime=50.99 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4273 0 0 0 4320 779 0 0 20 0 1 0 49703620 29925376 5748 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5748 2817 2753 0 3959 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 22992 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/258 274683
/proc/meminfo: memFree=127088356/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=22992 CPUtime=102.09 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4273 0 0 0 8587 1622 0 0 20 0 1 0 49703620 29925376 5748 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5748 2817 2753 0 3959 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 22992 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.15 5/259 274694
/proc/meminfo: memFree=127033164/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23284 CPUtime=161.96 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4281 0 0 0 13654 2542 0 0 20 0 1 0 49703620 29925376 5821 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5821 2817 2753 0 3959 0
Current children cumulated CPU time: 161.96 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23284 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.10 4.14 5/259 274705
/proc/meminfo: memFree=126969452/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23284 CPUtime=221.86 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4285 0 0 0 18701 3485 0 0 20 0 1 0 49703620 29925376 5821 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5821 2817 2753 0 3959 0
Current children cumulated CPU time: 221.86 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23284 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.09 4.13 5/259 274715
/proc/meminfo: memFree=126920852/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23284 CPUtime=281.75 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4287 0 0 0 23818 4357 0 0 20 0 1 0 49703620 29925376 5821 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5821 2817 2753 0 3959 0
Current children cumulated CPU time: 281.75 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23284 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.13 5/256 274725
/proc/meminfo: memFree=126871684/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23284 CPUtime=341.63 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4288 0 0 0 28800 5363 0 0 20 0 1 0 49703620 29925376 5821 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5821 2817 2753 0 3959 0
Current children cumulated CPU time: 341.63 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23284 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/256 274738
/proc/meminfo: memFree=126817368/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23284 CPUtime=401.52 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4289 0 0 0 33818 6334 0 0 20 0 1 0 49703620 29925376 5821 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5821 2817 2753 0 3959 0
Current children cumulated CPU time: 401.52 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23284 KiB

[startup+462.3 s]
/proc/loadavg: 4.50 4.19 4.15 5/255 274748
/proc/meminfo: memFree=126771316/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23284 CPUtime=461.41 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4290 0 0 0 38866 7275 0 0 20 0 1 0 49703620 29925376 5821 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0

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

/proc/loadavg: 4.24 4.18 4.15 5/257 276437
/proc/meminfo: memFree=125790172/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23420 CPUtime=3216.51 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4336 0 0 0 270730 50921 0 0 20 0 1 0 49703620 29925376 5855 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5855 2817 2753 0 3959 0
Current children cumulated CPU time: 3216.51 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23420 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.14 5/255 276447
/proc/meminfo: memFree=125789428/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23420 CPUtime=3276.41 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4337 0 0 0 275756 51885 0 0 20 0 1 0 49703620 29925376 5855 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5855 2817 2753 0 3959 0
Current children cumulated CPU time: 3276.41 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23420 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.16 4.14 5/255 276458
/proc/meminfo: memFree=125788844/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23420 CPUtime=3336.3 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4338 0 0 0 280753 52877 0 0 20 0 1 0 49703620 29925376 5855 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5855 2817 2753 0 3959 0
Current children cumulated CPU time: 3336.3 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23420 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/257 276473
/proc/meminfo: memFree=125788008/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23420 CPUtime=3396.2 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4339 0 0 0 285798 53822 0 0 20 0 1 0 49703620 29925376 5855 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5855 2817 2753 0 3959 0
Current children cumulated CPU time: 3396.2 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23420 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/257 276483
/proc/meminfo: memFree=125786920/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23420 CPUtime=3456.09 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4340 0 0 0 290857 54752 0 0 20 0 1 0 49703620 29925376 5855 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5855 2817 2753 0 3959 0
Current children cumulated CPU time: 3456.09 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23420 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/257 276493
/proc/meminfo: memFree=125786096/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23420 CPUtime=3515.99 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4341 0 0 0 295919 55680 0 0 20 0 1 0 49703620 29925376 5855 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5855 2817 2753 0 3959 0
Current children cumulated CPU time: 3515.99 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23420 KiB

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

# cumulated CPU time of all completed processes:  user=2994.57 s, system=563.433 s

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

[startup+3532.8 s]
/proc/loadavg: 4.28 4.18 4.14 5/257 276495
/proc/meminfo: memFree=125785956/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23420 CPUtime=3526.47 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4341 0 0 0 296806 55841 0 0 20 0 1 0 49703620 29925376 5855 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5855 2817 2753 0 3959 0
Current children cumulated CPU time: 3526.47 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23420 KiB

[startup+3545.6 s]
/proc/loadavg: 4.28 4.18 4.15 5/257 276496
/proc/meminfo: memFree=125785960/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23420 CPUtime=3539.25 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4341 0 0 0 297893 56032 0 0 20 0 1 0 49703620 29925376 5855 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5855 2817 2753 0 3959 0
Current children cumulated CPU time: 3539.25 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23420 KiB

[startup+3552 s]*
/proc/loadavg: 4.26 4.18 4.15 5/257 276499
/proc/meminfo: memFree=125785924/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23420 CPUtime=3545.64 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4341 0 0 0 298422 56142 0 0 20 0 1 0 49703620 29925376 5855 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5855 2817 2753 0 3959 0
Current children cumulated CPU time: 3545.64 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23420 KiB

[startup+3558.4 s]
/proc/loadavg: 4.32 4.19 4.15 5/257 276499
/proc/meminfo: memFree=125785956/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23420 CPUtime=3552.03 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4341 0 0 0 298955 56248 0 0 20 0 1 0 49703620 29925376 5855 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5855 2817 2753 0 3959 0
Current children cumulated CPU time: 3552.03 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23420 KiB

[startup+3561.6 s]
/proc/loadavg: 4.29 4.19 4.15 5/257 276501
/proc/meminfo: memFree=125785796/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23420 CPUtime=3555.22 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4341 0 0 0 299220 56302 0 0 20 0 1 0 49703620 29925376 5855 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5855 2817 2753 0 3959 0
Current children cumulated CPU time: 3555.22 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23420 KiB

[startup+3563.2 s]
/proc/loadavg: 4.29 4.19 4.15 5/257 276501
/proc/meminfo: memFree=125785804/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23420 CPUtime=3556.82 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4341 0 0 0 299354 56328 0 0 20 0 1 0 49703620 29925376 5855 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5855 2817 2753 0 3959 0
Current children cumulated CPU time: 3556.82 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23420 KiB

[startup+3564 s]*
/proc/loadavg: 4.27 4.19 4.15 5/257 276501
/proc/meminfo: memFree=125785796/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23420 CPUtime=3557.62 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4341 0 0 0 299423 56339 0 0 20 0 1 0 49703620 29925376 5855 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5855 2817 2753 0 3959 0
Current children cumulated CPU time: 3557.62 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23420 KiB

[startup+3564.2 s]
/proc/loadavg: 4.27 4.19 4.15 5/257 276501
/proc/meminfo: memFree=125785796/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23420 CPUtime=3557.81 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4341 0 0 0 299440 56341 0 0 20 0 1 0 49703620 29925376 5855 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5855 2817 2753 0 3959 0
Current children cumulated CPU time: 3557.81 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23420 KiB

[startup+3564.3 s]
/proc/loadavg: 4.27 4.19 4.15 5/257 276501
/proc/meminfo: memFree=125785796/131524600 swapFree=131071216/131071996
[pid=274618] ppid=274615 vsize=29224 memory=23420 CPUtime=3557.91 cores=5,7
/proc/274618/stat : 274618 (LS-MabSP) R 274615 274618 272559 0 -1 4194304 4341 0 0 0 299449 56342 0 0 20 0 1 0 49703620 29925376 5855 134679101440 4194304 15467897 140735089479616 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47849472 140735089484831 140735089484933 140735089484933 140735089491949 0
/proc/274618/statm: 7306 5855 2817 2753 0 3959 0
Current children cumulated CPU time: 3557.91 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 23420 KiB

Child status: 0

Real time (s): 3564.38
CPU time (s): 3558
CPU user time (s): 2994.57
CPU system time (s): 563.433
CPU usage (%): 99.8211
Max. virtual memory (cumulated for all children) (KiB): 35980
Max. memory (cumulated for all children) (KiB): 28604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2994.57
system time used= 563.433
maximum resident set size= 28700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4346
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= 3
involuntary context switches= 1024


# summary of solver processes directly reported to runsolver:
#   pid: 274618
#   total CPU time (s): 3558
#   total CPU user time (s): 2994.57
#   total CPU system time (s): 563.433

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38159 second user time and 11.8586 second system time

The end