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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427910-1722806084/watcher-4427910-1722806084 -o /tmp/evaluation-result-4427910-1722806084/solver-4427910-1722806084 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722806084-260582 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427910-1722806084.opb -t 3558 -s 2019462709 

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

solver pid=260644, runsolver pid=260641

[startup+0.100555 s]*
/proc/loadavg: 0.09 0.10 0.09 6/243 260645
/proc/meminfo: memFree=129603188/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=22604 memory=10168 CPUtime=0.1 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 1281 0 0 0 10 0 0 0 20 0 1 0 47205419 23146496 2542 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 5651 2542 1105 2753 0 2304 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22604 KiB
Current children cumulated memory: 10168 KiB

[startup+0.212392 s]*
/proc/loadavg: 0.49 0.18 0.12 5/243 260645
/proc/meminfo: memFree=129599144/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=22604 memory=10168 CPUtime=0.21 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 1281 0 0 0 21 0 0 0 20 0 1 0 47205419 23146496 2542 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 5651 2542 1105 2753 0 2304 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 22604 KiB
Current children cumulated memory: 10168 KiB

[startup+0.312115 s]*
/proc/loadavg: 0.49 0.18 0.12 5/243 260645
/proc/meminfo: memFree=129583032/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=22604 memory=10168 CPUtime=0.31 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 1281 0 0 0 31 0 0 0 20 0 1 0 47205419 23146496 2542 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 5651 2542 1105 2753 0 2304 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 22604 KiB
Current children cumulated memory: 10168 KiB

[startup+0.70027 s]
/proc/loadavg: 0.49 0.18 0.12 5/243 260645
/proc/meminfo: memFree=129580368/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=22604 memory=10168 CPUtime=0.68 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 1281 0 0 0 68 0 0 0 20 0 1 0 47205419 23146496 2542 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 5651 2542 1105 2753 0 2304 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 22604 KiB
Current children cumulated memory: 10168 KiB

[startup+1.50028 s]
/proc/loadavg: 0.49 0.18 0.12 5/243 260645
/proc/meminfo: memFree=129550664/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=47528 memory=39188 CPUtime=1.47 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7111 0 0 0 146 1 0 0 20 0 1 0 47205419 48668672 9797 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 11882 9797 2817 2753 0 8535 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 47528 KiB
Current children cumulated memory: 39188 KiB

[startup+3.11202 s]
/proc/loadavg: 0.49 0.18 0.12 5/243 260645
/proc/meminfo: memFree=129399612/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=31960 CPUtime=3.08 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7430 0 0 0 300 8 0 0 20 0 1 0 47205419 40411136 7990 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 7990 2833 2753 0 6519 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 31960 KiB

[startup+6.3003 s]
/proc/loadavg: 0.77 0.24 0.14 5/243 260645
/proc/meminfo: memFree=129374692/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=31960 CPUtime=6.26 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7430 0 0 0 602 24 0 0 20 0 1 0 47205419 40411136 7990 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 7990 2833 2753 0 6519 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 31960 KiB

[startup+12.7002 s]
/proc/loadavg: 1.11 0.32 0.16 5/243 260647
/proc/meminfo: memFree=129343060/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=31960 CPUtime=12.65 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7430 0 0 0 1207 58 0 0 20 0 1 0 47205419 40411136 7990 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 7990 2833 2753 0 6519 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 31960 KiB

[startup+25.5003 s]
/proc/loadavg: 1.55 0.44 0.20 5/243 260648
/proc/meminfo: memFree=128997296/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=31960 CPUtime=25.42 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7430 0 0 0 2414 128 0 0 20 0 1 0 47205419 40411136 7990 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 7990 2833 2753 0 6519 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 31960 KiB

[startup+51.1119 s]
/proc/loadavg: 2.52 0.78 0.33 5/243 260653
/proc/meminfo: memFree=128897332/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=31960 CPUtime=50.96 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7430 0 0 0 4839 257 0 0 20 0 1 0 47205419 40411136 7990 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 7990 2833 2753 0 6519 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 31960 KiB

[startup+102.3 s]
/proc/loadavg: 3.48 1.31 0.53 5/242 260661
/proc/meminfo: memFree=128896280/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=31960 CPUtime=102.03 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7430 0 0 0 9683 520 0 0 20 0 1 0 47205419 40411136 7990 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 7990 2833 2753 0 6519 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 31960 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 1.82 0.76 5/241 260672
/proc/meminfo: memFree=128895052/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=31960 CPUtime=161.91 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7430 0 0 0 15367 824 0 0 20 0 1 0 47205419 40411136 7990 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 7990 2833 2753 0 6519 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 31960 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 2.23 0.97 5/241 260685
/proc/meminfo: memFree=128885636/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=31960 CPUtime=221.76 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7430 0 0 0 21044 1132 0 0 20 0 1 0 47205419 40411136 7990 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 7990 2833 2753 0 6519 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 31960 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 2.59 1.17 5/242 260696
/proc/meminfo: memFree=128856340/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=31960 CPUtime=281.63 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7430 0 0 0 26730 1433 0 0 20 0 1 0 47205419 40411136 7990 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 7990 2833 2753 0 6519 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 31960 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 2.86 1.36 5/242 260706
/proc/meminfo: memFree=128851832/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=31960 CPUtime=341.5 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7430 0 0 0 32415 1735 0 0 20 0 1 0 47205419 40411136 7990 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 7990 2833 2753 0 6519 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 31960 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 3.12 1.54 5/245 260722
/proc/meminfo: memFree=128850220/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=31960 CPUtime=401.37 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7430 0 0 0 38099 2038 0 0 20 0 1 0 47205419 40411136 7990 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 7990 2833 2753 0 6519 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 31960 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.30 1.70 5/245 260732
/proc/meminfo: memFree=128846020/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=31960 CPUtime=461.23 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7430 0 0 0 43783 2340 0 0 20 0 1 0 47205419 40411136 7990 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0

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

/proc/loadavg: 4.16 4.22 4.07 5/241 262411
/proc/meminfo: memFree=128873072/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=33964 CPUtime=3155.17 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7538 0 0 0 299730 15787 0 0 20 0 1 0 47205419 40411136 8491 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 8491 2833 2753 0 6519 0
Current children cumulated CPU time: 3155.17 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 33964 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.19 4.07 6/243 262436
/proc/meminfo: memFree=128871492/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=33964 CPUtime=3215.03 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7540 0 0 0 305421 16082 0 0 20 0 1 0 47205419 40411136 8491 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 8491 2833 2753 0 6519 0
Current children cumulated CPU time: 3215.03 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 33964 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.18 4.07 5/245 262673
/proc/meminfo: memFree=128870792/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=33964 CPUtime=3274.9 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7542 0 0 0 311108 16382 0 0 20 0 1 0 47205419 40411136 8491 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 8491 2833 2753 0 6519 0
Current children cumulated CPU time: 3274.9 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 33964 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.16 4.07 5/245 262684
/proc/meminfo: memFree=128870168/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=33964 CPUtime=3334.77 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7544 0 0 0 316807 16670 0 0 20 0 1 0 47205419 40411136 8491 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 8491 2833 2753 0 6519 0
Current children cumulated CPU time: 3334.77 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 33964 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.15 4.07 5/246 262988
/proc/meminfo: memFree=128895960/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=33964 CPUtime=3394.63 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7546 0 0 0 322498 16965 0 0 20 0 1 0 47205419 40411136 8491 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 8491 2833 2753 0 6519 0
Current children cumulated CPU time: 3394.63 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 33964 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.08 5/246 262999
/proc/meminfo: memFree=128895272/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=33964 CPUtime=3454.5 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7548 0 0 0 328205 17245 0 0 20 0 1 0 47205419 40411136 8491 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 8491 2833 2753 0 6519 0
Current children cumulated CPU time: 3454.5 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 33964 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.08 5/244 263010
/proc/meminfo: memFree=128894344/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=33964 CPUtime=3514.36 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7550 0 0 0 333898 17538 0 0 20 0 1 0 47205419 40411136 8491 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 8491 2833 2753 0 6519 0
Current children cumulated CPU time: 3514.36 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 33964 KiB

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

# cumulated CPU time of all completed processes:  user=3380.27 s, system=177.735 s

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

[startup+3532.8 s]
/proc/loadavg: 4.16 4.15 4.08 5/244 263012
/proc/meminfo: memFree=128894332/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=33964 CPUtime=3524.84 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7550 0 0 0 334888 17596 0 0 20 0 1 0 47205419 40411136 8491 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 8491 2833 2753 0 6519 0
Current children cumulated CPU time: 3524.84 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 33964 KiB

[startup+3545.6 s]
/proc/loadavg: 4.21 4.16 4.09 5/244 263014
/proc/meminfo: memFree=128893736/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=33964 CPUtime=3537.61 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7550 0 0 0 336101 17660 0 0 20 0 1 0 47205419 40411136 8491 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 8491 2833 2753 0 6519 0
Current children cumulated CPU time: 3537.61 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 33964 KiB

[startup+3558.4 s]
/proc/loadavg: 4.17 4.15 4.09 5/242 263016
/proc/meminfo: memFree=128893844/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=33964 CPUtime=3550.38 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7550 0 0 0 337306 17732 0 0 20 0 1 0 47205419 40411136 8491 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 8491 2833 2753 0 6519 0
Current children cumulated CPU time: 3550.38 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 33964 KiB

[startup+3561.6 s]
/proc/loadavg: 4.15 4.15 4.09 5/242 263017
/proc/meminfo: memFree=128893732/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=33964 CPUtime=3553.58 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7550 0 0 0 337608 17750 0 0 20 0 1 0 47205419 40411136 8491 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 8491 2833 2753 0 6519 0
Current children cumulated CPU time: 3553.58 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 33964 KiB

[startup+3563.2 s]
/proc/loadavg: 4.15 4.15 4.09 5/242 263017
/proc/meminfo: memFree=128893796/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=33964 CPUtime=3555.17 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7550 0 0 0 337759 17758 0 0 20 0 1 0 47205419 40411136 8491 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 8491 2833 2753 0 6519 0
Current children cumulated CPU time: 3555.17 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 33964 KiB

[startup+3564.8 s]
/proc/loadavg: 4.15 4.15 4.09 4/237 263025
/proc/meminfo: memFree=129209376/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=33964 CPUtime=3556.77 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7550 0 0 0 337909 17768 0 0 20 0 1 0 47205419 40411136 8491 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 8491 2833 2753 0 6519 0
Current children cumulated CPU time: 3556.77 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 33964 KiB

[startup+3565.6 s]
/proc/loadavg: 4.15 4.15 4.09 3/232 263033
/proc/meminfo: memFree=129655884/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=33964 CPUtime=3557.57 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7550 0 0 0 337986 17771 0 0 20 0 1 0 47205419 40411136 8491 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 8491 2833 2753 0 6519 0
Current children cumulated CPU time: 3557.57 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 33964 KiB

[startup+3566 s]*
/proc/loadavg: 4.14 4.14 4.09 7/229 263068
/proc/meminfo: memFree=129694004/131655788 swapFree=131071996/131071996
[pid=260644] ppid=260641 vsize=39464 memory=33964 CPUtime=3557.98 cores=0,2
/proc/260644/stat : 260644 (LS-MabSP) R 260641 260644 260572 0 -1 4194304 7550 0 0 0 338025 17773 0 0 20 0 1 0 47205419 40411136 8491 134679101440 4194304 15467897 140722365186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36904960 140722365195294 140722365195397 140722365195397 140722365202413 0
/proc/260644/statm: 9866 8491 2833 2753 0 6519 0
Current children cumulated CPU time: 3557.98 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 33964 KiB

Child status: 0

Real time (s): 3566.03
CPU time (s): 3558.01
CPU user time (s): 3380.27
CPU system time (s): 177.735
CPU usage (%): 99.7749
Max. virtual memory (cumulated for all children) (KiB): 48288
Max. memory (cumulated for all children) (KiB): 39716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3380.27
system time used= 177.735
maximum resident set size= 40288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7559
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= 5
involuntary context switches= 25042


# summary of solver processes directly reported to runsolver:
#   pid: 260644
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3380.27
#   total CPU system time (s): 177.735

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2854 second user time and 31.0247 second system time

The end