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: 63794 MiB (62507 MiB free)
  memory of node 1: 64507 MiB (62914 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484921-1751284989/watcher-4484921-1751284989 -o /tmp/evaluation-result-4484921-1751284989/solver-4484921-1751284989 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751281373-39352 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4484921-1751284989.opb -mem-lim=31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=39819, runsolver pid=39816

[startup+0.100067 s]*
/proc/loadavg: 4.61 4.41 4.19 5/250 39820
/proc/meminfo: memFree=128424528/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=10564 memory=9472 CPUtime=0.1 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 2025 0 0 0 10 0 0 0 20 0 1 0 44178306 10817536 2368 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 2641 2368 448 484 0 2052 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10564 KiB
Current children cumulated memory: 9472 KiB

[startup+0.213718 s]*
/proc/loadavg: 4.61 4.41 4.19 6/250 39820
/proc/meminfo: memFree=128416716/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=17824 memory=16768 CPUtime=0.21 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 3856 0 0 0 20 1 0 0 20 0 1 0 44178306 18251776 4192 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 4456 4192 448 484 0 3867 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 17824 KiB
Current children cumulated memory: 16768 KiB

[startup+0.313572 s]*
/proc/loadavg: 4.61 4.41 4.19 5/250 39820
/proc/meminfo: memFree=128408652/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=24292 memory=23168 CPUtime=0.32 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 5453 0 0 0 30 2 0 0 20 0 1 0 44178306 24875008 5792 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 6073 5792 448 484 0 5484 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 24292 KiB
Current children cumulated memory: 23168 KiB

[startup+0.700258 s]
/proc/loadavg: 4.64 4.42 4.20 5/250 39820
/proc/meminfo: memFree=128392524/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=48588 memory=47360 CPUtime=0.69 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 11511 0 0 0 64 5 0 0 20 0 1 0 44178306 49754112 11840 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 12147 11840 448 484 0 11558 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48588 KiB
Current children cumulated memory: 47360 KiB

[startup+1.50027 s]
/proc/loadavg: 4.64 4.42 4.20 5/250 39820
/proc/meminfo: memFree=128398252/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=67084 memory=65636 CPUtime=1.48 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 19102 0 0 0 141 7 0 0 20 0 1 0 44178306 68694016 16409 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 16771 16409 512 484 0 16182 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 67084 KiB
Current children cumulated memory: 65636 KiB

[startup+3.11295 s]
/proc/loadavg: 4.64 4.42 4.20 5/250 39820
/proc/meminfo: memFree=128386224/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=67136 memory=65736 CPUtime=3.09 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 22393 0 0 0 301 8 0 0 20 0 1 0 44178306 68747264 16434 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 16784 16434 512 484 0 16195 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 67136 KiB
Current children cumulated memory: 65736 KiB

[startup+6.30027 s]
/proc/loadavg: 4.59 4.41 4.20 5/250 39821
/proc/meminfo: memFree=128380680/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=67736 memory=66556 CPUtime=6.27 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 29545 0 0 0 618 9 0 0 20 0 1 0 44178306 69361664 16639 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 16934 16639 512 484 0 16345 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 67736 KiB
Current children cumulated memory: 66556 KiB

[startup+12.7003 s]
/proc/loadavg: 4.54 4.41 4.19 5/250 39821
/proc/meminfo: memFree=128375892/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=77476 memory=76200 CPUtime=12.64 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 32725 0 0 0 1254 10 0 0 20 0 1 0 44178306 79335424 19050 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 19369 19050 512 484 0 18780 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 77476 KiB
Current children cumulated memory: 76200 KiB

[startup+25.5003 s]
/proc/loadavg: 4.46 4.39 4.19 5/250 39821
/proc/meminfo: memFree=128337944/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=76780 memory=75676 CPUtime=25.4 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 40462 0 0 0 2527 13 0 0 20 0 1 0 44178306 78622720 18919 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 19195 18919 512 484 0 18606 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 76780 KiB
Current children cumulated memory: 75676 KiB

[startup+51.1133 s]
/proc/loadavg: 4.35 4.37 4.19 5/250 39821
/proc/meminfo: memFree=128306144/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=85224 memory=84304 CPUtime=50.93 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 46316 0 0 0 5077 16 0 0 20 0 1 0 44178306 87269376 21076 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 21306 21076 512 484 0 20717 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 85224 KiB
Current children cumulated memory: 84304 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.31 4.18 5/250 39823
/proc/meminfo: memFree=128284332/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=88572 memory=87700 CPUtime=101.93 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 52686 0 0 0 10175 18 0 0 20 0 1 0 44178306 90697728 21925 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 22143 21925 512 484 0 21554 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 88572 KiB
Current children cumulated memory: 87700 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.27 4.17 5/250 39825
/proc/meminfo: memFree=128254368/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=89416 memory=88548 CPUtime=161.72 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 56295 0 0 0 16150 22 0 0 20 0 1 0 44178306 91561984 22137 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 22354 22137 512 484 0 21765 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 89416 KiB
Current children cumulated memory: 88548 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.25 4.17 5/250 39827
/proc/meminfo: memFree=128172104/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=110364 memory=109584 CPUtime=221.5 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 61184 0 0 0 22125 25 0 0 20 0 1 0 44178306 113012736 27396 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 27591 27396 512 484 0 27002 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 110364 KiB
Current children cumulated memory: 109584 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.23 4.17 5/249 39829
/proc/meminfo: memFree=128145088/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=112344 memory=111376 CPUtime=281.32 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 61657 0 0 0 28107 25 0 0 20 0 1 0 44178306 115040256 27844 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 28086 27844 512 484 0 27497 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 112344 KiB
Current children cumulated memory: 111376 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.20 4.16 5/251 39839
/proc/meminfo: memFree=128147240/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=112344 memory=111376 CPUtime=341.15 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 61702 0 0 0 34090 25 0 0 20 0 1 0 44178306 115040256 27844 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 28086 27844 512 484 0 27497 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 112344 KiB
Current children cumulated memory: 111376 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.18 4.16 5/251 39841
/proc/meminfo: memFree=128141152/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=113980 memory=113040 CPUtime=400.98 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 62156 0 0 0 40073 25 0 0 20 0 1 0 44178306 116715520 28260 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 28495 28260 512 484 0 27906 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 113980 KiB
Current children cumulated memory: 113040 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.16 4.15 5/251 39844
/proc/meminfo: memFree=127929760/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=84000 memory=83132 CPUtime=460.8 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 63304 0 0 0 46054 26 0 0 20 0 1 0 44178306 86016000 20783 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 21000 20783 512 484 0 20411 0
Current children cumulated CPU time: 460.8 s

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

/proc/loadavg: 4.07 4.14 4.15 5/251 39846
/proc/meminfo: memFree=127867796/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=116100 memory=115220 CPUtime=520.64 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 65246 0 0 0 52037 27 0 0 20 0 1 0 44178306 118886400 28805 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 29025 28805 512 484 0 28436 0
Current children cumulated CPU time: 520.64 s
Current children cumulated vsize: 116100 KiB
Current children cumulated memory: 115220 KiB

[startup+582.3 s]
/proc/loadavg: 4.12 4.15 4.15 5/251 39848
/proc/meminfo: memFree=127863456/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=116264 memory=115348 CPUtime=580.47 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 65287 0 0 0 58020 27 0 0 20 0 1 0 44178306 119054336 28837 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 29066 28837 512 484 0 28477 0
Current children cumulated CPU time: 580.47 s
Current children cumulated vsize: 116264 KiB
Current children cumulated memory: 115348 KiB

[startup+642.3 s]
/proc/loadavg: 4.12 4.15 4.15 5/249 39850
/proc/meminfo: memFree=127924508/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=88544 memory=87804 CPUtime=640.3 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 65562 0 0 0 64002 28 0 0 20 0 1 0 44178306 90669056 21951 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 22136 21951 512 484 0 21547 0
Current children cumulated CPU time: 640.3 s
Current children cumulated vsize: 88544 KiB
Current children cumulated memory: 87804 KiB

[startup+702.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/249 39852
/proc/meminfo: memFree=127879540/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=126780 memory=125968 CPUtime=700.11 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 69432 0 0 0 69981 30 0 0 20 0 1 0 44178306 129822720 31492 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 31695 31492 512 484 0 31106 0
Current children cumulated CPU time: 700.11 s
Current children cumulated vsize: 126780 KiB
Current children cumulated memory: 125968 KiB

[startup+762.3 s]
/proc/loadavg: 4.11 4.13 4.14 5/249 39854
/proc/meminfo: memFree=127872564/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=134472 memory=133524 CPUtime=759.93 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 69808 0 0 0 75963 30 0 0 20 0 1 0 44178306 137699328 33381 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 33618 33381 512 484 0 33029 0
Current children cumulated CPU time: 759.93 s
Current children cumulated vsize: 134472 KiB
Current children cumulated memory: 133524 KiB

[startup+822.3 s]
/proc/loadavg: 4.15 4.14 4.14 5/249 39856
/proc/meminfo: memFree=127632780/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=134760 memory=133780 CPUtime=819.76 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 69880 0 0 0 81946 30 0 0 20 0 1 0 44178306 137994240 33445 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 33690 33445 512 484 0 33101 0
Current children cumulated CPU time: 819.76 s
Current children cumulated vsize: 134760 KiB
Current children cumulated memory: 133780 KiB

[startup+882.3 s]
/proc/loadavg: 4.11 4.13 4.14 5/251 39860
/proc/meminfo: memFree=127687412/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=107620 memory=106644 CPUtime=879.59 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 70996 0 0 0 87928 31 0 0 20 0 1 0 44178306 110202880 26661 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 26905 26661 512 484 0 26316 0
Current children cumulated CPU time: 879.59 s
Current children cumulated vsize: 107620 KiB
Current children cumulated memory: 106644 KiB

[startup+928.697 s]
# the end of solver process 39819 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=925.551 s, system=0.314601 s

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

[startup+896 s]*
/proc/loadavg: 4.09 4.12 4.13 5/251 39860
/proc/meminfo: memFree=127742960/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=108160 memory=107284 CPUtime=893.26 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 71131 0 0 0 89295 31 0 0 20 0 1 0 44178306 110755840 26821 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 27040 26821 512 484 0 26451 0
Current children cumulated CPU time: 893.26 s
Current children cumulated vsize: 108160 KiB
Current children cumulated memory: 107284 KiB

[startup+908.8 s]
/proc/loadavg: 4.15 4.13 4.14 5/252 39868
/proc/meminfo: memFree=127740560/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=108412 memory=107540 CPUtime=906.01 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 71243 0 0 0 90570 31 0 0 20 0 1 0 44178306 111013888 26885 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 27103 26885 512 484 0 26514 0
Current children cumulated CPU time: 906.01 s
Current children cumulated vsize: 108412 KiB
Current children cumulated memory: 107540 KiB

[startup+921.6 s]
/proc/loadavg: 4.12 4.12 4.13 5/252 39868
/proc/meminfo: memFree=127743120/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=108412 memory=107540 CPUtime=918.78 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 71243 0 0 0 91847 31 0 0 20 0 1 0 44178306 111013888 26885 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 27103 26885 512 484 0 26514 0
Current children cumulated CPU time: 918.78 s
Current children cumulated vsize: 108412 KiB
Current children cumulated memory: 107540 KiB

[startup+924.8 s]
/proc/loadavg: 4.12 4.12 4.13 5/252 39868
/proc/meminfo: memFree=127749664/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=109100 memory=108180 CPUtime=921.97 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 71415 0 0 0 92166 31 0 0 20 0 1 0 44178306 111718400 27045 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 27275 27045 512 484 0 26686 0
Current children cumulated CPU time: 921.97 s
Current children cumulated vsize: 109100 KiB
Current children cumulated memory: 108180 KiB

[startup+926.4 s]
/proc/loadavg: 4.11 4.12 4.13 5/252 39869
/proc/meminfo: memFree=127749664/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=109100 memory=108180 CPUtime=923.57 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 71415 0 0 0 92326 31 0 0 20 0 1 0 44178306 111718400 27045 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 27275 27045 512 484 0 26686 0
Current children cumulated CPU time: 923.57 s
Current children cumulated vsize: 109100 KiB
Current children cumulated memory: 108180 KiB

[startup+928 s]*
/proc/loadavg: 4.11 4.12 4.13 5/252 39869
/proc/meminfo: memFree=127739708/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=109100 memory=108180 CPUtime=925.17 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 71415 0 0 0 92486 31 0 0 20 0 1 0 44178306 111718400 27045 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 27275 27045 512 484 0 26686 0
Current children cumulated CPU time: 925.17 s
Current children cumulated vsize: 109100 KiB
Current children cumulated memory: 108180 KiB

[startup+928.4 s]
/proc/loadavg: 4.11 4.12 4.13 5/252 39869
/proc/meminfo: memFree=127739708/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=109100 memory=108180 CPUtime=925.56 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 71415 0 0 0 92525 31 0 0 20 0 1 0 44178306 111718400 27045 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 27275 27045 512 484 0 26686 0
Current children cumulated CPU time: 925.56 s
Current children cumulated vsize: 109100 KiB
Current children cumulated memory: 108180 KiB

[startup+928.6 s]
/proc/loadavg: 4.11 4.12 4.13 5/252 39869
/proc/meminfo: memFree=127739708/131382120 swapFree=33010416/33010684
[pid=39819] ppid=39816 vsize=109100 memory=108180 CPUtime=925.76 cores=0,2
/proc/39819/stat : 39819 (uwrmaxsat) R 39816 39819 39342 0 -1 4194304 71415 0 0 0 92545 31 0 0 20 0 1 0 44178306 111718400 27045 18446744073709551615 4198400 6176925 140725492878496 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 12050432 140725492885866 140725492885993 140725492885993 140725492891595 0
/proc/39819/statm: 27275 27045 512 484 0 26686 0
Current children cumulated CPU time: 925.76 s
Current children cumulated vsize: 109100 KiB
Current children cumulated memory: 108180 KiB

Child status: 30

Real time (s): 928.697
CPU time (s): 925.865
CPU user time (s): 925.551
CPU system time (s): 0.314601
CPU usage (%): 99.6951
Max. virtual memory (cumulated for all children) (KiB): 139848
Max. memory (cumulated for all children) (KiB): 138980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 925.551
system time used= 0.314601
maximum resident set size= 138980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71415
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= 32
involuntary context switches= 2348


# summary of solver processes directly reported to runsolver:
#   pid: 39819
#   total CPU time (s): 925.865
#   total CPU user time (s): 925.551
#   total CPU system time (s): 0.314601

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.91217 second user time and 8.94109 second system time

The end