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 (62877 MiB free)
  memory of node 1: 64510 MiB (63733 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428582-1722773152/watcher-4428582-1722773152 -o /tmp/evaluation-result-4428582-1722773152/solver-4428582-1722773152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722769582-238408 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428582-1722773152.opb -t 3558 -s 704629819 --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
Current StackSize limit: 8192 KiB

solver pid=240481, runsolver pid=240478

[startup+0.100395 s]*
/proc/loadavg: 4.13 4.11 4.03 5/255 240482
/proc/meminfo: memFree=129642124/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=23628 memory=11028 CPUtime=0.09 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 1822 0 0 0 9 0 0 0 20 0 1 0 43915735 24195072 2757 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 5907 2757 1073 2753 0 2560 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23628 KiB
Current children cumulated memory: 11028 KiB

[startup+0.20527 s]*
/proc/loadavg: 4.13 4.11 4.03 5/255 240482
/proc/meminfo: memFree=129638080/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=29772 memory=14760 CPUtime=0.19 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 2716 0 0 0 19 0 0 0 20 0 1 0 43915735 30486528 3690 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 7443 3690 1073 2753 0 4096 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 29772 KiB
Current children cumulated memory: 14760 KiB

[startup+0.304911 s]*
/proc/loadavg: 4.13 4.11 4.03 5/255 240482
/proc/meminfo: memFree=129636000/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=29772 memory=16808 CPUtime=0.29 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 2717 0 0 0 29 0 0 0 20 0 1 0 43915735 30486528 4202 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 7443 4202 1073 2753 0 4096 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 29772 KiB
Current children cumulated memory: 16808 KiB

[startup+0.700227 s]
/proc/loadavg: 4.12 4.11 4.03 5/255 240482
/proc/meminfo: memFree=129617368/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=76888 memory=57648 CPUtime=0.68 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 9045 0 0 0 67 1 0 0 20 0 1 0 43915735 78733312 14412 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 19222 14412 1105 2753 0 15875 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 76888 KiB
Current children cumulated memory: 57648 KiB

[startup+1.50019 s]
/proc/loadavg: 4.12 4.11 4.03 5/255 240482
/proc/meminfo: memFree=129595204/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=76888 memory=57648 CPUtime=1.48 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 9045 0 0 0 147 1 0 0 20 0 1 0 43915735 78733312 14412 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 19222 14412 1105 2753 0 15875 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 76888 KiB
Current children cumulated memory: 57648 KiB

[startup+3.10533 s]
/proc/loadavg: 4.12 4.11 4.03 5/255 240484
/proc/meminfo: memFree=129588268/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=83332 memory=64396 CPUtime=3.08 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 10671 0 0 0 305 3 0 0 20 0 1 0 43915735 85331968 16099 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 20833 16099 1153 2753 0 17486 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 83332 KiB
Current children cumulated memory: 64396 KiB

[startup+6.30016 s]
/proc/loadavg: 4.11 4.10 4.03 5/255 240484
/proc/meminfo: memFree=129588248/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=83332 memory=64396 CPUtime=6.27 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 10677 0 0 0 619 8 0 0 20 0 1 0 43915735 85331968 16099 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 20833 16099 1153 2753 0 17486 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 83332 KiB
Current children cumulated memory: 64396 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.03 5/255 240485
/proc/meminfo: memFree=129577296/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75268 CPUtime=12.65 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 12370 0 0 0 1250 15 0 0 20 0 1 0 43915735 96423936 18817 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18817 1153 2753 0 20194 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75268 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.03 5/255 240487
/proc/meminfo: memFree=129577164/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75268 CPUtime=25.42 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 12386 0 0 0 2508 34 0 0 20 0 1 0 43915735 96423936 18817 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18817 1153 2753 0 20194 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75268 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.10 4.03 5/255 240490
/proc/meminfo: memFree=129576564/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75268 CPUtime=50.96 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 12408 0 0 0 5027 69 0 0 20 0 1 0 43915735 96423936 18817 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18817 1153 2753 0 20194 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75268 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.03 5/255 240501
/proc/meminfo: memFree=128443172/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75484 CPUtime=102.02 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 12432 0 0 0 10056 146 0 0 20 0 1 0 43915735 96423936 18871 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18871 1169 2753 0 20194 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75484 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/255 240512
/proc/meminfo: memFree=122277492/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=161.85 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 12478 0 0 0 15948 237 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/255 240523
/proc/meminfo: memFree=122276836/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=221.69 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 12514 0 0 0 21842 327 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/257 240537
/proc/meminfo: memFree=122276500/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=281.54 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 12534 0 0 0 27744 410 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/257 240549
/proc/meminfo: memFree=122276036/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=341.38 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 12554 0 0 0 33643 495 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.08 4.03 5/257 240559
/proc/meminfo: memFree=122275076/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=401.22 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 12582 0 0 0 39546 576 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/257 240569
/proc/meminfo: memFree=122274736/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=461.06 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 12602 0 0 0 45445 661 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0

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

/proc/loadavg: 4.09 4.14 4.11 6/256 242219
/proc/meminfo: memFree=122259736/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=3153.9 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 13542 0 0 0 310937 4453 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 3153.9 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/256 242229
/proc/meminfo: memFree=122259416/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=3213.73 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 13562 0 0 0 316836 4537 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 3213.73 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/256 242242
/proc/meminfo: memFree=122258964/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=3273.57 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 13582 0 0 0 322733 4624 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 3273.57 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/256 242264
/proc/meminfo: memFree=122258640/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=3333.42 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 13602 0 0 0 328635 4707 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 242274
/proc/meminfo: memFree=122258464/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=3393.26 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 13622 0 0 0 334530 4796 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 3393.26 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 242284
/proc/meminfo: memFree=122258036/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=3453.1 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 13642 0 0 0 340429 4881 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 3453.1 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 242296
/proc/meminfo: memFree=122257772/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=3512.93 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 13662 0 0 0 346326 4967 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 3512.93 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

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

# cumulated CPU time of all completed processes:  user=3507.73 s, system=50.2816 s

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

[startup+3532.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 242297
/proc/meminfo: memFree=122257640/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=3523.41 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 13662 0 0 0 347359 4982 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 3523.41 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

[startup+3545.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 242300
/proc/meminfo: memFree=122257548/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=3536.18 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 13662 0 0 0 348620 4998 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 3536.18 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

[startup+3558.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 242301
/proc/meminfo: memFree=122257456/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=3548.94 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 13662 0 0 0 349878 5016 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 3548.94 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

[startup+3561.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 242347
/proc/meminfo: memFree=122255308/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=3552.13 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 13662 0 0 0 350192 5021 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 3552.13 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

[startup+3564.8 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 242442
/proc/meminfo: memFree=129658956/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=3555.32 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 13662 0 0 0 350508 5024 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 3555.32 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

[startup+3566.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 242442
/proc/meminfo: memFree=129658968/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=3556.92 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 13662 0 0 0 350666 5026 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 3556.92 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

[startup+3567.2 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 242442
/proc/meminfo: memFree=129658944/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=3557.71 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 13682 0 0 0 350744 5027 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 3557.71 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

[startup+3567.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 242442
/proc/meminfo: memFree=129658944/131524600 swapFree=131071996/131071996
[pid=240481] ppid=240478 vsize=94164 memory=75488 CPUtime=3557.91 cores=0,2
/proc/240481/stat : 240481 (LS-MabP) R 240478 240481 238398 0 -1 4194304 13682 0 0 0 350764 5027 0 0 20 0 1 0 43915735 96423936 18872 134679101440 4194304 15467897 140727223272656 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33472512 140727223276570 140727223276678 140727223276678 140727223283694 0
/proc/240481/statm: 23541 18872 1169 2753 0 20194 0
Current children cumulated CPU time: 3557.91 s
Current children cumulated vsize: 94164 KiB
Current children cumulated memory: 75488 KiB

Child status: 0

Real time (s): 3567.49
CPU time (s): 3558.02
CPU user time (s): 3507.73
CPU system time (s): 50.2816
CPU usage (%): 99.7343
Max. virtual memory (cumulated for all children) (KiB): 94164
Max. memory (cumulated for all children) (KiB): 75488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3507.73
system time used= 50.2816
maximum resident set size= 75488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13693
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= 16
involuntary context switches= 24884


# summary of solver processes directly reported to runsolver:
#   pid: 240481
#   total CPU time (s): 3558.02
#   total CPU user time (s): 3507.73
#   total CPU system time (s): 50.2816

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.71091 second user time and 17.0322 second system time

The end