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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428740-1722806086/watcher-4428740-1722806086 -o /tmp/evaluation-result-4428740-1722806086/solver-4428740-1722806086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722806085-257470 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428740-1722806086.opb -t 3558 -s 644177770 --no-s 

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
Starting watchdog thread
solver pid=257536, runsolver pid=257533
Current StackSize limit: 8192 KiB


[startup+0.100083 s]*
/proc/loadavg: 0.09 0.09 0.09 6/260 257537
/proc/meminfo: memFree=129470492/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=28556 memory=14952 CPUtime=0.1 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 2278 0 0 0 10 0 0 0 20 0 1 0 47213107 29241344 3738 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 7139 3738 1073 2753 0 3792 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28556 KiB
Current children cumulated memory: 14952 KiB

[startup+0.204611 s]*
/proc/loadavg: 0.09 0.09 0.09 5/260 257537
/proc/meminfo: memFree=129463124/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=30600 memory=15064 CPUtime=0.2 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 2794 0 0 0 20 0 0 0 20 0 1 0 47213107 31334400 3766 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 7650 3766 1073 2753 0 4303 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30600 KiB
Current children cumulated memory: 15064 KiB

[startup+0.305506 s]*
/proc/loadavg: 0.09 0.09 0.09 5/260 257537
/proc/meminfo: memFree=129457064/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=41492 memory=25748 CPUtime=0.3 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 4443 0 0 0 30 0 0 0 20 0 1 0 47213107 42487808 6437 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 10373 6437 1073 2753 0 7026 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41492 KiB
Current children cumulated memory: 25748 KiB

[startup+0.700146 s]
/proc/loadavg: 0.09 0.09 0.09 5/260 257537
/proc/meminfo: memFree=129434268/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=61116 memory=47596 CPUtime=0.69 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 10370 0 0 0 68 1 0 0 20 0 1 0 47213107 62582784 11899 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 15279 11899 1105 2753 0 11932 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61116 KiB
Current children cumulated memory: 47596 KiB

[startup+1.50014 s]
/proc/loadavg: 0.09 0.09 0.09 5/260 257537
/proc/meminfo: memFree=129433832/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=61116 memory=47596 CPUtime=1.49 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 10370 0 0 0 148 1 0 0 20 0 1 0 47213107 62582784 11899 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 15279 11899 1105 2753 0 11932 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 61116 KiB
Current children cumulated memory: 47596 KiB

[startup+3.10542 s]
/proc/loadavg: 0.09 0.09 0.09 5/260 257537
/proc/meminfo: memFree=129433920/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=61116 memory=47596 CPUtime=3.09 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 10373 0 0 0 308 1 0 0 20 0 1 0 47213107 62582784 11899 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 15279 11899 1105 2753 0 11932 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61116 KiB
Current children cumulated memory: 47596 KiB

[startup+6.30015 s]
/proc/loadavg: 0.40 0.16 0.11 5/260 257537
/proc/meminfo: memFree=129376876/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=66760 CPUtime=6.28 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 16357 0 0 0 619 9 0 0 20 0 1 0 47213107 82784256 16690 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16690 1153 2753 0 16864 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 66760 KiB

[startup+12.7001 s]
/proc/loadavg: 0.69 0.22 0.13 5/260 257539
/proc/meminfo: memFree=129376540/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=66760 CPUtime=12.65 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 16359 0 0 0 1238 27 0 0 20 0 1 0 47213107 82784256 16690 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16690 1153 2753 0 16864 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 66760 KiB

[startup+25.5001 s]
/proc/loadavg: 1.49 0.42 0.20 5/260 257540
/proc/meminfo: memFree=129376336/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=66760 CPUtime=25.42 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 16362 0 0 0 2477 65 0 0 20 0 1 0 47213107 82784256 16690 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16690 1153 2753 0 16864 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 66760 KiB

[startup+51.1054 s]
/proc/loadavg: 2.35 0.71 0.30 5/260 257545
/proc/meminfo: memFree=129375468/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=66760 CPUtime=50.96 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 16365 0 0 0 4949 147 0 0 20 0 1 0 47213107 82784256 16690 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16690 1153 2753 0 16864 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 66760 KiB

[startup+102.3 s]
/proc/loadavg: 3.40 1.25 0.51 5/257 257555
/proc/meminfo: memFree=129374460/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=66760 CPUtime=102.03 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 16367 0 0 0 9898 305 0 0 20 0 1 0 47213107 82784256 16690 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16690 1153 2753 0 16864 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 66760 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 1.77 0.74 5/257 257566
/proc/meminfo: memFree=129373856/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=66760 CPUtime=161.87 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 16369 0 0 0 15690 497 0 0 20 0 1 0 47213107 82784256 16690 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16690 1153 2753 0 16864 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 66760 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.21 0.95 5/257 257578
/proc/meminfo: memFree=129372080/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=66760 CPUtime=221.73 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 16370 0 0 0 21479 694 0 0 20 0 1 0 47213107 82784256 16690 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16690 1153 2753 0 16864 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 66760 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 2.57 1.16 6/257 257588
/proc/meminfo: memFree=129370392/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=67720 CPUtime=281.58 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 16386 0 0 0 27276 882 0 0 20 0 1 0 47213107 82784256 16930 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16930 1169 2753 0 16864 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 67720 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 2.85 1.34 5/256 257600
/proc/meminfo: memFree=129369424/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=67720 CPUtime=341.43 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 16408 0 0 0 33085 1058 0 0 20 0 1 0 47213107 82784256 16930 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16930 1169 2753 0 16864 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 67720 KiB

[startup+402.3 s]
/proc/loadavg: 4.23 3.11 1.53 5/258 257662
/proc/meminfo: memFree=129357676/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=67720 CPUtime=401.3 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 16427 0 0 0 38896 1234 0 0 20 0 1 0 47213107 82784256 16930 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16930 1169 2753 0 16864 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 67720 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.29 1.69 5/258 257672
/proc/meminfo: memFree=129356896/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=67720 CPUtime=461.16 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 16446 0 0 0 44695 1421 0 0 20 0 1 0 47213107 82784256 16930 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0

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

/proc/loadavg: 4.17 4.14 4.02 5/258 259367
/proc/meminfo: memFree=129422456/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=67720 CPUtime=3154.97 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 17301 0 0 0 305794 9703 0 0 20 0 1 0 47213107 82784256 16930 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16930 1169 2753 0 16864 0
Current children cumulated CPU time: 3154.97 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 67720 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.02 5/258 259392
/proc/meminfo: memFree=129421380/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=67720 CPUtime=3214.84 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 17320 0 0 0 311559 9925 0 0 20 0 1 0 47213107 82784256 16930 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16930 1169 2753 0 16864 0
Current children cumulated CPU time: 3214.84 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 67720 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.02 5/261 259630
/proc/meminfo: memFree=129420208/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=67720 CPUtime=3274.7 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 17339 0 0 0 317386 10084 0 0 20 0 1 0 47213107 82784256 16930 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16930 1169 2753 0 16864 0
Current children cumulated CPU time: 3274.7 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 67720 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.14 4.04 5/261 259641
/proc/meminfo: memFree=129419512/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=67720 CPUtime=3334.57 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 17358 0 0 0 323191 10266 0 0 20 0 1 0 47213107 82784256 16930 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16930 1169 2753 0 16864 0
Current children cumulated CPU time: 3334.57 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 67720 KiB

[startup+3402.3 s]
/proc/loadavg: 4.43 4.22 4.07 6/263 259942
/proc/meminfo: memFree=129467476/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=67720 CPUtime=3394.43 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 17377 0 0 0 329003 10440 0 0 20 0 1 0 47213107 82784256 16930 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16930 1169 2753 0 16864 0
Current children cumulated CPU time: 3394.43 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 67720 KiB

[startup+3462.3 s]
/proc/loadavg: 4.41 4.25 4.09 5/262 259952
/proc/meminfo: memFree=129466688/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=67720 CPUtime=3454.3 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 17396 0 0 0 334827 10603 0 0 20 0 1 0 47213107 82784256 16930 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16930 1169 2753 0 16864 0
Current children cumulated CPU time: 3454.3 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 67720 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.22 4.09 5/261 259962
/proc/meminfo: memFree=129465880/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=67720 CPUtime=3514.16 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 17415 0 0 0 340610 10806 0 0 20 0 1 0 47213107 82784256 16930 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16930 1169 2753 0 16864 0
Current children cumulated CPU time: 3514.16 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 67720 KiB

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

# cumulated CPU time of all completed processes:  user=3448.72 s, system=109.3 s

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

[startup+3532.8 s]
/proc/loadavg: 4.17 4.21 4.09 6/261 259964
/proc/meminfo: memFree=129465748/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=67720 CPUtime=3524.64 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 17415 0 0 0 341630 10834 0 0 20 0 1 0 47213107 82784256 16930 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16930 1169 2753 0 16864 0
Current children cumulated CPU time: 3524.64 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 67720 KiB

[startup+3545.6 s]
/proc/loadavg: 4.22 4.22 4.09 5/261 259965
/proc/meminfo: memFree=129465368/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=67720 CPUtime=3537.41 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 17415 0 0 0 342871 10870 0 0 20 0 1 0 47213107 82784256 16930 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16930 1169 2753 0 16864 0
Current children cumulated CPU time: 3537.41 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 67720 KiB

[startup+3558.4 s]
/proc/loadavg: 4.18 4.21 4.09 6/261 259968
/proc/meminfo: memFree=129465236/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=67720 CPUtime=3550.18 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 17415 0 0 0 344110 10908 0 0 20 0 1 0 47213107 82784256 16930 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16930 1169 2753 0 16864 0
Current children cumulated CPU time: 3550.18 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 67720 KiB

[startup+3561.6 s]
/proc/loadavg: 4.17 4.21 4.09 5/261 259969
/proc/meminfo: memFree=129465152/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=67720 CPUtime=3553.37 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 17415 0 0 0 344419 10918 0 0 20 0 1 0 47213107 82784256 16930 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16930 1169 2753 0 16864 0
Current children cumulated CPU time: 3553.37 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 67720 KiB

[startup+3564.8 s]
/proc/loadavg: 4.17 4.21 4.09 5/261 259969
/proc/meminfo: memFree=129465152/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=67720 CPUtime=3556.57 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 17415 0 0 0 344730 10927 0 0 20 0 1 0 47213107 82784256 16930 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16930 1169 2753 0 16864 0
Current children cumulated CPU time: 3556.57 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 67720 KiB

[startup+3565.6 s]
/proc/loadavg: 4.15 4.20 4.09 3/254 259977
/proc/meminfo: memFree=129594648/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=67720 CPUtime=3557.36 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 17415 0 0 0 344808 10928 0 0 20 0 1 0 47213107 82784256 16930 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16930 1169 2753 0 16864 0
Current children cumulated CPU time: 3557.36 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 67720 KiB

[startup+3566 s]*
/proc/loadavg: 4.15 4.20 4.09 3/251 259985
/proc/meminfo: memFree=129594144/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=67720 CPUtime=3557.76 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 17434 0 0 0 344847 10929 0 0 20 0 1 0 47213107 82784256 16930 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16930 1169 2753 0 16864 0
Current children cumulated CPU time: 3557.76 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 67720 KiB

[startup+3566.2 s]
/proc/loadavg: 4.15 4.20 4.09 3/251 259985
/proc/meminfo: memFree=129594144/131524600 swapFree=131071996/131071996
[pid=257536] ppid=257533 vsize=80844 memory=67720 CPUtime=3557.96 cores=0,2
/proc/257536/stat : 257536 (LS-MabP) R 257533 257536 257460 0 -1 4194304 17434 0 0 0 344867 10929 0 0 20 0 1 0 47213107 82784256 16930 134679101440 4194304 15467897 140735165410880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26841088 140735165412378 140735165412486 140735165412486 140735165419502 0
/proc/257536/statm: 20211 16930 1169 2753 0 16864 0
Current children cumulated CPU time: 3557.96 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 67720 KiB

Child status: 0

Real time (s): 3566.26
CPU time (s): 3558.02
CPU user time (s): 3448.72
CPU system time (s): 109.3
CPU usage (%): 99.7692
Max. virtual memory (cumulated for all children) (KiB): 80844
Max. memory (cumulated for all children) (KiB): 67720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3448.72
system time used= 109.3
maximum resident set size= 67720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17443
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= 20
involuntary context switches= 24873


# summary of solver processes directly reported to runsolver:
#   pid: 257536
#   total CPU time (s): 3558.02
#   total CPU user time (s): 3448.72
#   total CPU system time (s): 109.3

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.21047 second user time and 13.2572 second system time

The end