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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458833-1722831192/watcher-4458833-1722831192 -o /tmp/evaluation-result-4458833-1722831192/solver-4458833-1722831192 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722827624-273418 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4458833-1722831192.opb -t 3558 -s 150627592 

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=275486, runsolver pid=275483
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 4.07 4.10 4.10 5/255 275487
/proc/meminfo: memFree=125023468/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=32268 memory=19496 CPUtime=0.09 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 3388 0 0 0 9 0 0 0 20 0 1 0 49720915 33042432 4874 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 8067 4874 1073 2753 0 4720 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32268 KiB
Current children cumulated memory: 19496 KiB

[startup+0.205926 s]*
/proc/loadavg: 4.07 4.10 4.10 5/252 275509
/proc/meminfo: memFree=125019208/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=36364 memory=21548 CPUtime=0.2 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 3904 0 0 0 19 1 0 0 20 0 1 0 49720915 37236736 5387 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 9091 5387 1073 2753 0 5744 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36364 KiB
Current children cumulated memory: 21548 KiB

[startup+0.305551 s]*
/proc/loadavg: 4.06 4.10 4.10 5/258 275519
/proc/meminfo: memFree=125007376/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=36364 memory=23596 CPUtime=0.3 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 3905 0 0 0 29 1 0 0 20 0 1 0 49720915 37236736 5899 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 9091 5899 1073 2753 0 5744 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36364 KiB
Current children cumulated memory: 23596 KiB

[startup+0.700233 s]
/proc/loadavg: 4.06 4.10 4.10 5/258 275519
/proc/meminfo: memFree=124970792/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=44556 memory=31792 CPUtime=0.69 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 4426 0 0 0 68 1 0 0 20 0 1 0 49720915 45625344 7948 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 11139 7948 1073 2753 0 7792 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44556 KiB
Current children cumulated memory: 31792 KiB

[startup+1.50025 s]
/proc/loadavg: 4.06 4.10 4.10 6/258 275519
/proc/meminfo: memFree=124815792/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=149088 memory=121752 CPUtime=1.48 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 12901 0 0 0 145 3 0 0 20 0 1 0 49720915 152666112 30438 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 37272 30438 1105 2753 0 33925 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 149088 KiB
Current children cumulated memory: 121752 KiB

[startup+3.10568 s]
/proc/loadavg: 4.06 4.10 4.10 5/258 275519
/proc/meminfo: memFree=124348672/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=149088 memory=122188 CPUtime=3.08 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 12917 0 0 0 305 3 0 0 20 0 1 0 49720915 152666112 30547 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 37272 30547 1153 2753 0 33925 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 149088 KiB
Current children cumulated memory: 122188 KiB

[startup+6.30025 s]
/proc/loadavg: 4.06 4.10 4.10 5/259 275522
/proc/meminfo: memFree=124206596/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=149088 memory=122188 CPUtime=6.27 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 12936 0 0 0 624 3 0 0 20 0 1 0 49720915 152666112 30547 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 37272 30547 1153 2753 0 33925 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 149088 KiB
Current children cumulated memory: 122188 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.09 4.10 5/259 275522
/proc/meminfo: memFree=122621360/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=1067196 memory=1009664 CPUtime=12.65 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 149808 0 0 0 1237 28 0 0 20 0 1 0 49720915 1092808704 252416 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 266799 252416 2769 2753 0 263452 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1067196 KiB
Current children cumulated memory: 1009664 KiB

[startup+25.5003 s]
/proc/loadavg: 4.04 4.09 4.10 5/259 275525
/proc/meminfo: memFree=122288024/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=1067196 memory=1009664 CPUtime=25.41 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 149868 0 0 0 2512 29 0 0 20 0 1 0 49720915 1092808704 252416 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 266799 252416 2769 2753 0 263452 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1067196 KiB
Current children cumulated memory: 1009664 KiB

[startup+51.1058 s]
/proc/loadavg: 4.08 4.10 4.10 5/259 275528
/proc/meminfo: memFree=122325816/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=1070056 memory=1012548 CPUtime=50.93 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 150133 0 0 0 5063 30 0 0 20 0 1 0 49720915 1095737344 253137 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 267514 253137 2801 2753 0 264167 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1070056 KiB
Current children cumulated memory: 1012548 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/259 275539
/proc/meminfo: memFree=122127080/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=1071832 memory=1014248 CPUtime=101.93 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 150564 0 0 0 10162 31 0 0 20 0 1 0 49720915 1097555968 253562 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 267958 253562 2817 2753 0 264611 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1071832 KiB
Current children cumulated memory: 1014248 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/256 275549
/proc/meminfo: memFree=122075496/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=1071832 memory=1014348 CPUtime=161.69 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 150624 0 0 0 16137 32 0 0 20 0 1 0 49720915 1097555968 253587 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 267958 253587 2817 2753 0 264611 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 1071832 KiB
Current children cumulated memory: 1014348 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/256 275560
/proc/meminfo: memFree=121964432/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=1071832 memory=1014348 CPUtime=221.46 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 150692 0 0 0 22112 34 0 0 20 0 1 0 49720915 1097555968 253587 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 267958 253587 2817 2753 0 264611 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 1071832 KiB
Current children cumulated memory: 1014348 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 275572
/proc/meminfo: memFree=121961228/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=1071832 memory=1014348 CPUtime=281.23 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 150760 0 0 0 28088 35 0 0 20 0 1 0 49720915 1097555968 253587 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 267958 253587 2817 2753 0 264611 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 1071832 KiB
Current children cumulated memory: 1014348 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/254 275583
/proc/meminfo: memFree=121955600/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=1071832 memory=1014348 CPUtime=340.99 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 150828 0 0 0 34063 36 0 0 20 0 1 0 49720915 1097555968 253587 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 267958 253587 2817 2753 0 264611 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 1071832 KiB
Current children cumulated memory: 1014348 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 275593
/proc/meminfo: memFree=121947564/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=1071832 memory=1014348 CPUtime=400.76 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 150896 0 0 0 40038 38 0 0 20 0 1 0 49720915 1097555968 253587 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 267958 253587 2817 2753 0 264611 0
Current children cumulated CPU time: 400.76 s
Current children cumulated vsize: 1071832 KiB
Current children cumulated memory: 1014348 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 275608
/proc/meminfo: memFree=121935160/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=1071832 memory=1014348 CPUtime=460.53 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 150964 0 0 0 46014 39 0 0 20 0 1 0 49720915 1097555968 253587 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0

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

/proc/loadavg: 4.28 4.16 4.11 5/256 277292
/proc/meminfo: memFree=122210420/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=923200 memory=886836 CPUtime=3212.69 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 206500 0 0 0 320733 536 0 0 20 0 1 0 49720915 945356800 221709 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 230800 221709 2849 2753 0 227453 0
Current children cumulated CPU time: 3212.69 s
Current children cumulated vsize: 923200 KiB
Current children cumulated memory: 886836 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/257 277305
/proc/meminfo: memFree=122209912/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=923200 memory=886836 CPUtime=3272.58 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 206576 0 0 0 326702 556 0 0 20 0 1 0 49720915 945356800 221709 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 230800 221709 2849 2753 0 227453 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 923200 KiB
Current children cumulated memory: 886836 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.17 4.11 5/256 277315
/proc/meminfo: memFree=122209060/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=923200 memory=886836 CPUtime=3332.46 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 206653 0 0 0 332673 573 0 0 20 0 1 0 49720915 945356800 221709 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 230800 221709 2849 2753 0 227453 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 923200 KiB
Current children cumulated memory: 886836 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.18 4.11 5/256 277325
/proc/meminfo: memFree=122208440/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=923200 memory=886836 CPUtime=3392.34 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 206729 0 0 0 338642 592 0 0 20 0 1 0 49720915 945356800 221709 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 230800 221709 2849 2753 0 227453 0
Current children cumulated CPU time: 3392.34 s
Current children cumulated vsize: 923200 KiB
Current children cumulated memory: 886836 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/258 277339
/proc/meminfo: memFree=122207444/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=923200 memory=886836 CPUtime=3452.22 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 206805 0 0 0 344610 612 0 0 20 0 1 0 49720915 945356800 221709 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 230800 221709 2849 2753 0 227453 0
Current children cumulated CPU time: 3452.22 s
Current children cumulated vsize: 923200 KiB
Current children cumulated memory: 886836 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/258 277352
/proc/meminfo: memFree=122203148/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=923200 memory=886836 CPUtime=3512.11 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 206881 0 0 0 350581 630 0 0 20 0 1 0 49720915 945356800 221709 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 230800 221709 2849 2753 0 227453 0
Current children cumulated CPU time: 3512.11 s
Current children cumulated vsize: 923200 KiB
Current children cumulated memory: 886836 KiB

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

# cumulated CPU time of all completed processes:  user=3551.58 s, system=6.46546 s

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

[startup+3532.8 s]
/proc/loadavg: 4.10 4.14 4.10 5/257 277353
/proc/meminfo: memFree=122203036/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=923200 memory=886836 CPUtime=3522.59 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 206919 0 0 0 351626 633 0 0 20 0 1 0 49720915 945356800 221709 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 230800 221709 2849 2753 0 227453 0
Current children cumulated CPU time: 3522.59 s
Current children cumulated vsize: 923200 KiB
Current children cumulated memory: 886836 KiB

[startup+3545.6 s]
/proc/loadavg: 4.09 4.13 4.10 5/257 277357
/proc/meminfo: memFree=122202832/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=923200 memory=886836 CPUtime=3535.37 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 206919 0 0 0 352900 637 0 0 20 0 1 0 49720915 945356800 221709 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 230800 221709 2849 2753 0 227453 0
Current children cumulated CPU time: 3535.37 s
Current children cumulated vsize: 923200 KiB
Current children cumulated memory: 886836 KiB

[startup+3558.4 s]
/proc/loadavg: 4.07 4.13 4.09 5/256 277359
/proc/meminfo: memFree=122202804/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=923200 memory=886836 CPUtime=3548.15 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 206919 0 0 0 354172 643 0 0 20 0 1 0 49720915 945356800 221709 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 230800 221709 2849 2753 0 227453 0
Current children cumulated CPU time: 3548.15 s
Current children cumulated vsize: 923200 KiB
Current children cumulated memory: 886836 KiB

[startup+3564.8 s]
/proc/loadavg: 4.14 4.14 4.10 4/251 277368
/proc/meminfo: memFree=123004896/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=923200 memory=886836 CPUtime=3554.54 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 206957 0 0 0 354809 645 0 0 20 0 1 0 49720915 945356800 221709 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 230800 221709 2849 2753 0 227453 0
Current children cumulated CPU time: 3554.54 s
Current children cumulated vsize: 923200 KiB
Current children cumulated memory: 886836 KiB

[startup+3566.4 s]
/proc/loadavg: 4.05 4.12 4.09 4/249 277391
/proc/meminfo: memFree=123022892/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=923200 memory=886836 CPUtime=3556.13 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 206957 0 0 0 354968 645 0 0 20 0 1 0 49720915 945356800 221709 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 230800 221709 2849 2753 0 227453 0
Current children cumulated CPU time: 3556.13 s
Current children cumulated vsize: 923200 KiB
Current children cumulated memory: 886836 KiB

[startup+3567.2 s]
/proc/loadavg: 4.05 4.12 4.09 4/249 277391
/proc/meminfo: memFree=123022884/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=923200 memory=886836 CPUtime=3556.93 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 206957 0 0 0 355048 645 0 0 20 0 1 0 49720915 945356800 221709 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 230800 221709 2849 2753 0 227453 0
Current children cumulated CPU time: 3556.93 s
Current children cumulated vsize: 923200 KiB
Current children cumulated memory: 886836 KiB

[startup+3568 s]*
/proc/loadavg: 4.05 4.12 4.09 4/247 277405
/proc/meminfo: memFree=124185208/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=923200 memory=886836 CPUtime=3557.74 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 206957 0 0 0 355128 646 0 0 20 0 1 0 49720915 945356800 221709 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 230800 221709 2849 2753 0 227453 0
Current children cumulated CPU time: 3557.74 s
Current children cumulated vsize: 923200 KiB
Current children cumulated memory: 886836 KiB

[startup+3568.2 s]
/proc/loadavg: 4.05 4.12 4.09 4/247 277405
/proc/meminfo: memFree=124185208/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=923200 memory=886836 CPUtime=3557.93 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 206957 0 0 0 355147 646 0 0 20 0 1 0 49720915 945356800 221709 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 230800 221709 2849 2753 0 227453 0
Current children cumulated CPU time: 3557.93 s
Current children cumulated vsize: 923200 KiB
Current children cumulated memory: 886836 KiB

[startup+3568.3 s]
/proc/loadavg: 4.05 4.12 4.09 4/247 277405
/proc/meminfo: memFree=124185208/131524600 swapFree=131071996/131071996
[pid=275486] ppid=275483 vsize=923200 memory=886836 CPUtime=3558.03 cores=5,7
/proc/275486/stat : 275486 (LS-MabSP) R 275483 275486 273405 0 -1 4194304 207060 0 0 0 355157 646 0 0 20 0 1 0 49720915 945356800 221709 134679101440 4194304 15467897 140721644998432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36052992 140721644999711 140721644999813 140721644999813 140721645006829 0
/proc/275486/statm: 230800 221709 2849 2753 0 227453 0
Current children cumulated CPU time: 3558.03 s
Current children cumulated vsize: 923200 KiB
Current children cumulated memory: 886836 KiB

Child status: 0

Real time (s): 3568.31
CPU time (s): 3558.05
CPU user time (s): 3551.58
CPU system time (s): 6.46546
CPU usage (%): 99.7124
Max. virtual memory (cumulated for all children) (KiB): 1299420
Max. memory (cumulated for all children) (KiB): 1220996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.58
system time used= 6.46546
maximum resident set size= 1220996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207572
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= 13
involuntary context switches= 2973


# summary of solver processes directly reported to runsolver:
#   pid: 275486
#   total CPU time (s): 3558.05
#   total CPU user time (s): 3551.58
#   total CPU system time (s): 6.46546

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.91611 second user time and 14.0201 second system time

The end