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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=257515, runsolver pid=257512

[startup+0.101043 s]*
/proc/loadavg: 0.09 0.09 0.09 4/256 257526
/proc/meminfo: memFree=129575332/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=26428 memory=13744 CPUtime=0.1 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 2459 0 0 0 10 0 0 0 20 0 1 0 47213067 27062272 3436 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 6607 3436 1073 2753 0 3260 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26428 KiB
Current children cumulated memory: 13744 KiB

[startup+0.205465 s]*
/proc/loadavg: 0.09 0.09 0.09 4/256 257526
/proc/meminfo: memFree=129560940/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=30524 memory=15796 CPUtime=0.2 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 2975 0 0 0 20 0 0 0 20 0 1 0 47213067 31256576 3949 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 7631 3949 1073 2753 0 4284 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30524 KiB
Current children cumulated memory: 15796 KiB

[startup+0.305173 s]*
/proc/loadavg: 0.09 0.09 0.09 4/256 257526
/proc/meminfo: memFree=129546976/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=42644 memory=27800 CPUtime=0.3 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 4977 0 0 0 30 0 0 0 20 0 1 0 47213067 43667456 6950 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 10661 6950 1073 2753 0 7314 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 27800 KiB

[startup+0.700219 s]
/proc/loadavg: 0.09 0.09 0.09 5/260 257537
/proc/meminfo: memFree=129470492/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=60356 memory=45688 CPUtime=0.69 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 8301 0 0 0 68 1 0 0 20 0 1 0 47213067 61804544 11422 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 15089 11422 1105 2753 0 11742 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60356 KiB
Current children cumulated memory: 45688 KiB

[startup+1.50019 s]
/proc/loadavg: 0.09 0.09 0.09 5/260 257537
/proc/meminfo: memFree=129434276/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=60356 memory=45688 CPUtime=1.49 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 8301 0 0 0 148 1 0 0 20 0 1 0 47213067 61804544 11422 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 15089 11422 1105 2753 0 11742 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 60356 KiB
Current children cumulated memory: 45688 KiB

[startup+3.10551 s]
/proc/loadavg: 0.09 0.09 0.09 5/260 257537
/proc/meminfo: memFree=129433868/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=60356 memory=45688 CPUtime=3.09 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 8307 0 0 0 308 1 0 0 20 0 1 0 47213067 61804544 11422 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 15089 11422 1105 2753 0 11742 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 60356 KiB
Current children cumulated memory: 45688 KiB

[startup+6.30021 s]
/proc/loadavg: 0.40 0.16 0.11 5/260 257537
/proc/meminfo: memFree=129376856/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=79652 memory=64540 CPUtime=6.27 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 13710 0 0 0 620 7 0 0 20 0 1 0 47213067 81563648 16135 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16135 1153 2753 0 16566 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 64540 KiB

[startup+12.7002 s]
/proc/loadavg: 0.69 0.22 0.13 5/260 257539
/proc/meminfo: memFree=129376568/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=79652 memory=64540 CPUtime=12.67 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 13716 0 0 0 1241 26 0 0 20 0 1 0 47213067 81563648 16135 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16135 1153 2753 0 16566 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 64540 KiB

[startup+25.5002 s]
/proc/loadavg: 1.49 0.42 0.20 5/260 257540
/proc/meminfo: memFree=129376344/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=79652 memory=64812 CPUtime=25.44 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 13724 0 0 0 2481 63 0 0 20 0 1 0 47213067 81563648 16203 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16203 1169 2753 0 16566 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 64812 KiB

[startup+51.1055 s]
/proc/loadavg: 2.35 0.71 0.30 5/260 257545
/proc/meminfo: memFree=129375496/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=79652 memory=64812 CPUtime=51 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 13733 0 0 0 4963 137 0 0 20 0 1 0 47213067 81563648 16203 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16203 1169 2753 0 16566 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 64812 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=257515] ppid=257512 vsize=79652 memory=64812 CPUtime=102.1 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 13739 0 0 0 9922 288 0 0 20 0 1 0 47213067 81563648 16203 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16203 1169 2753 0 16566 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 64812 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=257515] ppid=257512 vsize=79652 memory=64812 CPUtime=161.99 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 13745 0 0 0 15714 485 0 0 20 0 1 0 47213067 81563648 16203 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16203 1169 2753 0 16566 0
Current children cumulated CPU time: 161.99 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 64812 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=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=221.88 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 13772 0 0 0 21518 670 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16322 1169 2753 0 16566 0
Current children cumulated CPU time: 221.88 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 65288 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 2.57 1.16 5/257 257588
/proc/meminfo: memFree=129370384/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=281.75 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 13790 0 0 0 27327 848 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16322 1169 2753 0 16566 0
Current children cumulated CPU time: 281.75 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 65288 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 2.85 1.34 5/256 257600
/proc/meminfo: memFree=129369420/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=341.63 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 13808 0 0 0 33120 1043 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16322 1169 2753 0 16566 0
Current children cumulated CPU time: 341.63 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 65288 KiB

[startup+402.3 s]
/proc/loadavg: 4.23 3.11 1.53 5/258 257662
/proc/meminfo: memFree=129357656/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=401.5 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 13826 0 0 0 38924 1226 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16322 1169 2753 0 16566 0
Current children cumulated CPU time: 401.5 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 65288 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.29 1.69 5/258 257672
/proc/meminfo: memFree=129356900/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=461.38 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 13844 0 0 0 44726 1412 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0

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

/proc/loadavg: 4.11 4.13 4.02 5/258 259392
/proc/meminfo: memFree=129421352/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=3215.67 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 14672 0 0 0 311430 10137 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16322 1169 2753 0 16566 0
Current children cumulated CPU time: 3215.67 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 65288 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.02 5/261 259630
/proc/meminfo: memFree=129420224/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=3275.54 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 14690 0 0 0 317199 10355 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16322 1169 2753 0 16566 0
Current children cumulated CPU time: 3275.54 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 65288 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.14 4.04 5/261 259641
/proc/meminfo: memFree=129419504/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=3335.42 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 14708 0 0 0 323024 10518 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16322 1169 2753 0 16566 0
Current children cumulated CPU time: 3335.42 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 65288 KiB

[startup+3402.3 s]
/proc/loadavg: 4.43 4.22 4.07 5/263 259942
/proc/meminfo: memFree=129467452/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=3395.3 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 14726 0 0 0 328821 10709 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16322 1169 2753 0 16566 0
Current children cumulated CPU time: 3395.3 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 65288 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=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=3455.16 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 14744 0 0 0 334626 10890 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16322 1169 2753 0 16566 0
Current children cumulated CPU time: 3455.16 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 65288 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=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=3515.04 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 14762 0 0 0 340438 11066 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16322 1169 2753 0 16566 0
Current children cumulated CPU time: 3515.04 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 65288 KiB

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

# cumulated CPU time of all completed processes:  user=3445.87 s, system=112.152 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 5/261 259964
/proc/meminfo: memFree=129465748/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=3525.52 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 14762 0 0 0 341457 11095 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16322 1169 2753 0 16566 0
Current children cumulated CPU time: 3525.52 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 65288 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=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=3538.29 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 14762 0 0 0 342683 11146 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16322 1169 2753 0 16566 0
Current children cumulated CPU time: 3538.29 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 65288 KiB

[startup+3558.4 s]
/proc/loadavg: 4.18 4.21 4.09 5/261 259968
/proc/meminfo: memFree=129465236/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=3551.06 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 14762 0 0 0 343918 11188 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16322 1169 2753 0 16566 0
Current children cumulated CPU time: 3551.06 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 65288 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=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=3554.26 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 14762 0 0 0 344225 11201 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16322 1169 2753 0 16566 0
Current children cumulated CPU time: 3554.26 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 65288 KiB

[startup+3563.2 s]
/proc/loadavg: 4.17 4.21 4.09 5/261 259969
/proc/meminfo: memFree=129465152/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=3555.86 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 14762 0 0 0 344378 11208 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16322 1169 2753 0 16566 0
Current children cumulated CPU time: 3555.86 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 65288 KiB

[startup+3564 s]*
/proc/loadavg: 4.17 4.21 4.09 5/261 259969
/proc/meminfo: memFree=129465152/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=3556.66 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 14762 0 0 0 344456 11210 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16322 1169 2753 0 16566 0
Current children cumulated CPU time: 3556.66 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 65288 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=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=3557.45 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 14762 0 0 0 344532 11213 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16322 1169 2753 0 16566 0
Current children cumulated CPU time: 3557.45 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 65288 KiB

[startup+3565.2 s]
/proc/loadavg: 4.15 4.20 4.09 4/256 259977
/proc/meminfo: memFree=129534904/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=3557.86 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 14780 0 0 0 344571 11215 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16322 1169 2753 0 16566 0
Current children cumulated CPU time: 3557.86 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 65288 KiB

[startup+3565.3 s]
/proc/loadavg: 4.15 4.20 4.09 4/256 259977
/proc/meminfo: memFree=129534904/131524600 swapFree=131071996/131071996
[pid=257515] ppid=257512 vsize=79652 memory=65288 CPUtime=3557.95 cores=4,6
/proc/257515/stat : 257515 (LS-MabP) R 257512 257515 257460 0 -1 4194304 14780 0 0 0 344580 11215 0 0 20 0 1 0 47213067 81563648 16322 134679101440 4194304 15467897 140722273067088 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55791616 140722273076250 140722273076358 140722273076358 140722273083374 0
/proc/257515/statm: 19913 16322 1169 2753 0 16566 0
Current children cumulated CPU time: 3557.95 s
Current children cumulated vsize: 79652 KiB
Current children cumulated memory: 65288 KiB

Child status: 0

Real time (s): 3565.36
CPU time (s): 3558.02
CPU user time (s): 3445.87
CPU system time (s): 112.152
CPU usage (%): 99.7942
Max. virtual memory (cumulated for all children) (KiB): 79652
Max. memory (cumulated for all children) (KiB): 65288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3445.87
system time used= 112.152
maximum resident set size= 65288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14789
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= 17
involuntary context switches= 1145


# summary of solver processes directly reported to runsolver:
#   pid: 257515
#   total CPU time (s): 3558.02
#   total CPU user time (s): 3445.87
#   total CPU system time (s): 112.152

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42642 second user time and 13.541 second system time

The end