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: 63837 MiB (62536 MiB free)
  memory of node 1: 64465 MiB (61557 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499099-1751402371/watcher-4499099-1751402371 -o /tmp/evaluation-result-4499099-1751402371/solver-4499099-1751402371 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751395941-51665 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4499099-1751402371.opb 

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
solver pid=52749, runsolver pid=52746
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 4.14 4.10 4.09 5/250 52750
/proc/meminfo: memFree=127069204/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=54444 memory=16092 CPUtime=0.09 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 2121 0 0 0 8 1 0 0 20 0 1 0 55916259 55750656 4023 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 13611 4023 1632 2271 0 8249 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54444 KiB
Current children cumulated memory: 16092 KiB

[startup+0.213117 s]*
/proc/loadavg: 4.14 4.10 4.09 5/250 52750
/proc/meminfo: memFree=127073204/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=63820 memory=27316 CPUtime=0.21 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 4658 0 0 0 19 2 0 0 20 0 1 0 55916259 65351680 6829 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 15955 6829 1632 2271 0 10593 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 63820 KiB
Current children cumulated memory: 27316 KiB

[startup+0.31292 s]*
/proc/loadavg: 4.14 4.10 4.09 5/250 52750
/proc/meminfo: memFree=127069144/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=71416 memory=37028 CPUtime=0.3 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 6925 0 0 0 28 2 0 0 20 0 1 0 55916259 73129984 9257 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 17854 9257 1632 2271 0 12492 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71416 KiB
Current children cumulated memory: 37028 KiB

[startup+0.700316 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 52750
/proc/meminfo: memFree=127060952/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=156824 memory=88240 CPUtime=0.67 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 17138 0 0 0 62 5 0 0 20 0 1 0 55916259 160587776 22028 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 39206 22060 1824 2271 0 33844 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 156824 KiB
Current children cumulated memory: 88240 KiB

[startup+1.50029 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 52750
/proc/meminfo: memFree=127056856/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=481664 memory=422156 CPUtime=1.47 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 98338 0 0 0 126 21 0 0 20 0 1 0 55916259 493223936 105539 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 120416 105539 3200 2271 0 115054 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 481664 KiB
Current children cumulated memory: 422156 KiB

[startup+3.11289 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 52750
/proc/meminfo: memFree=126742756/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=687760 memory=627640 CPUtime=3.08 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 148060 0 0 0 278 30 0 0 20 0 1 0 55916259 704266240 156910 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 171940 156910 3296 2271 0 166578 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 687760 KiB
Current children cumulated memory: 627640 KiB

[startup+6.30028 s]
/proc/loadavg: 4.21 4.12 4.10 5/250 52750
/proc/meminfo: memFree=126539512/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=914952 memory=818596 CPUtime=6.25 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 152358 0 0 0 591 34 0 0 20 0 1 0 55916259 936910848 204649 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 228738 204649 3328 2271 0 223376 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 914952 KiB
Current children cumulated memory: 818596 KiB

[startup+12.7003 s]
/proc/loadavg: 4.19 4.12 4.10 5/250 52750
/proc/meminfo: memFree=126347152/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=1104800 memory=992012 CPUtime=12.64 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 177221 0 0 0 1222 42 0 0 20 0 1 0 55916259 1131315200 248003 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 276200 248003 3360 2271 0 270838 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1104800 KiB
Current children cumulated memory: 992012 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.11 4.09 5/250 52750
/proc/meminfo: memFree=126349108/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=1104800 memory=992012 CPUtime=25.4 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 177240 0 0 0 2498 42 0 0 20 0 1 0 55916259 1131315200 248003 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 276200 248003 3360 2271 0 270838 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1104800 KiB
Current children cumulated memory: 992012 KiB

[startup+51.1128 s]
/proc/loadavg: 4.18 4.12 4.10 5/250 52751
/proc/meminfo: memFree=126357988/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=1104800 memory=992012 CPUtime=50.91 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 177242 0 0 0 5049 42 0 0 20 0 1 0 55916259 1131315200 248003 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 276200 248003 3360 2271 0 270838 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1104800 KiB
Current children cumulated memory: 992012 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/250 52753
/proc/meminfo: memFree=126358044/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=1104800 memory=995084 CPUtime=101.91 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 177989 0 0 0 10149 42 0 0 20 0 1 0 55916259 1131315200 248771 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 276200 248771 3360 2271 0 270838 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 1104800 KiB
Current children cumulated memory: 995084 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/249 52755
/proc/meminfo: memFree=126380392/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=1104800 memory=1001484 CPUtime=161.7 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 179597 0 0 0 16127 43 0 0 20 0 1 0 55916259 1131315200 250371 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 276200 250371 3360 2271 0 270838 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 1104800 KiB
Current children cumulated memory: 1001484 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/249 52757
/proc/meminfo: memFree=126348500/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=1104800 memory=1002636 CPUtime=221.48 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 179887 0 0 0 22105 43 0 0 20 0 1 0 55916259 1131315200 250659 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 276200 250659 3360 2271 0 270838 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 1104800 KiB
Current children cumulated memory: 1002636 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 52766
/proc/meminfo: memFree=126339612/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=1107928 memory=1008652 CPUtime=281.26 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 181400 0 0 0 28083 43 0 0 20 0 1 0 55916259 1134518272 252163 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 276982 252163 3360 2271 0 271620 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 1107928 KiB
Current children cumulated memory: 1008652 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 52768
/proc/meminfo: memFree=126339580/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=1108464 memory=1010060 CPUtime=341.03 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 181733 0 0 0 34060 43 0 0 20 0 1 0 55916259 1135067136 252515 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 277116 252515 3360 2271 0 271754 0
Current children cumulated CPU time: 341.03 s
Current children cumulated vsize: 1108464 KiB
Current children cumulated memory: 1010060 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/250 52770
/proc/meminfo: memFree=126339788/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=1113188 memory=1014028 CPUtime=400.8 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 182738 0 0 0 40037 43 0 0 20 0 1 0 55916259 1139904512 253507 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 278297 253507 3360 2271 0 272935 0
Current children cumulated CPU time: 400.8 s
Current children cumulated vsize: 1113188 KiB
Current children cumulated memory: 1014028 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 52772
/proc/meminfo: memFree=126316324/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=1114828 memory=1015820 CPUtime=460.59 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 183182 0 0 0 46015 44 0 0 20 0 1 0 55916259 1141583872 253955 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 278707 253955 3360 2271 0 273345 0
Current children cumulated CPU time: 460.59 s

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

/proc/loadavg: 4.39 4.18 4.11 5/250 52781
/proc/meminfo: memFree=126249220/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=1130912 memory=1031436 CPUtime=699.69 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 187100 0 0 0 69924 45 0 0 20 0 1 0 55916259 1158053888 257859 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 282728 257859 3360 2271 0 277366 0
Current children cumulated CPU time: 699.69 s
Current children cumulated vsize: 1130912 KiB
Current children cumulated memory: 1031436 KiB

[startup+762.3 s]
/proc/loadavg: 4.61 4.29 4.16 5/250 52783
/proc/meminfo: memFree=126237336/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=1130912 memory=1032204 CPUtime=759.47 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 187291 0 0 0 75902 45 0 0 20 0 1 0 55916259 1158053888 258051 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 282728 258051 3360 2271 0 277366 0
Current children cumulated CPU time: 759.47 s
Current children cumulated vsize: 1130912 KiB
Current children cumulated memory: 1032204 KiB

[startup+822.3 s]
/proc/loadavg: 4.31 4.27 4.16 5/250 52830
/proc/meminfo: memFree=125350224/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=1130912 memory=1032204 CPUtime=819.25 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 187291 0 0 0 81880 45 0 0 20 0 1 0 55916259 1158053888 258051 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 282728 258051 3360 2271 0 277366 0
Current children cumulated CPU time: 819.25 s
Current children cumulated vsize: 1130912 KiB
Current children cumulated memory: 1032204 KiB

[startup+882.3 s]
/proc/loadavg: 4.21 4.25 4.16 5/249 52838
/proc/meminfo: memFree=125062960/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=1130912 memory=1032204 CPUtime=879.01 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 187292 0 0 0 87856 45 0 0 20 0 1 0 55916259 1158053888 258051 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 282728 258051 3360 2271 0 277366 0
Current children cumulated CPU time: 879.01 s
Current children cumulated vsize: 1130912 KiB
Current children cumulated memory: 1032204 KiB

[startup+942.3 s]
/proc/loadavg: 4.12 4.22 4.15 5/249 52840
/proc/meminfo: memFree=124842724/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=1130912 memory=1032844 CPUtime=938.78 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 187435 0 0 0 93833 45 0 0 20 0 1 0 55916259 1158053888 258211 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 282728 258211 3360 2271 0 277366 0
Current children cumulated CPU time: 938.78 s
Current children cumulated vsize: 1130912 KiB
Current children cumulated memory: 1032844 KiB

[startup+1002.3 s]
/proc/loadavg: 4.16 4.21 4.15 5/249 52842
/proc/meminfo: memFree=125117496/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=777528 memory=738280 CPUtime=998.54 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 192522 0 0 0 99806 48 0 0 20 0 1 0 55916259 796188672 184570 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 194382 184570 3360 2271 0 189020 0
Current children cumulated CPU time: 998.54 s
Current children cumulated vsize: 777528 KiB
Current children cumulated memory: 738280 KiB

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

# cumulated CPU time of all completed processes:  user=1055.62 s, system=2.02104 s

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

[startup+1024 s]*
/proc/loadavg: 4.12 4.19 4.15 5/249 52843
/proc/meminfo: memFree=125125344/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=777528 memory=738408 CPUtime=1020.19 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 192559 0 0 0 101914 105 0 0 20 0 1 0 55916259 796188672 184602 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 194382 184602 3360 2271 0 189020 0
Current children cumulated CPU time: 1020.19 s
Current children cumulated vsize: 777528 KiB
Current children cumulated memory: 738408 KiB

[startup+1036.8 s]
/proc/loadavg: 4.09 4.18 4.14 5/249 52843
/proc/meminfo: memFree=125115324/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=777528 memory=738408 CPUtime=1032.94 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 192559 0 0 0 103157 137 0 0 20 0 1 0 55916259 796188672 184602 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 194382 184602 3360 2271 0 189020 0
Current children cumulated CPU time: 1032.94 s
Current children cumulated vsize: 777528 KiB
Current children cumulated memory: 738408 KiB

[startup+1049.6 s]
/proc/loadavg: 4.16 4.19 4.15 5/249 52844
/proc/meminfo: memFree=125117052/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=777528 memory=738408 CPUtime=1045.71 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 192559 0 0 0 104402 169 0 0 20 0 1 0 55916259 796188672 184602 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 194382 184602 3360 2271 0 189020 0
Current children cumulated CPU time: 1045.71 s
Current children cumulated vsize: 777528 KiB
Current children cumulated memory: 738408 KiB

[startup+1056 s]*
/proc/loadavg: 4.13 4.18 4.15 5/249 52844
/proc/meminfo: memFree=125117324/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=777528 memory=738408 CPUtime=1052.09 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 192559 0 0 0 105025 184 0 0 20 0 1 0 55916259 796188672 184602 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 194382 184602 3360 2271 0 189020 0
Current children cumulated CPU time: 1052.09 s
Current children cumulated vsize: 777528 KiB
Current children cumulated memory: 738408 KiB

[startup+1059.2 s]
/proc/loadavg: 4.13 4.18 4.15 5/249 52844
/proc/meminfo: memFree=125117196/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=777528 memory=738408 CPUtime=1055.28 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 192559 0 0 0 105335 193 0 0 20 0 1 0 55916259 796188672 184602 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 194382 184602 3360 2271 0 189020 0
Current children cumulated CPU time: 1055.28 s
Current children cumulated vsize: 777528 KiB
Current children cumulated memory: 738408 KiB

[startup+1060.8 s]
/proc/loadavg: 4.12 4.18 4.15 5/249 52844
/proc/meminfo: memFree=125117196/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=777528 memory=738408 CPUtime=1056.87 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 192559 0 0 0 105490 197 0 0 20 0 1 0 55916259 796188672 184602 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 194382 184602 3360 2271 0 189020 0
Current children cumulated CPU time: 1056.87 s
Current children cumulated vsize: 777528 KiB
Current children cumulated memory: 738408 KiB

[startup+1061.2 s]
/proc/loadavg: 4.12 4.18 4.15 5/249 52844
/proc/meminfo: memFree=125117196/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=777528 memory=738408 CPUtime=1057.27 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 192559 0 0 0 105529 198 0 0 20 0 1 0 55916259 796188672 184602 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 194382 184602 3360 2271 0 189020 0
Current children cumulated CPU time: 1057.27 s
Current children cumulated vsize: 777528 KiB
Current children cumulated memory: 738408 KiB

[startup+1061.4 s]
/proc/loadavg: 4.12 4.18 4.15 5/249 52844
/proc/meminfo: memFree=125117196/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=777528 memory=738408 CPUtime=1057.48 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 192559 0 0 0 105549 199 0 0 20 0 1 0 55916259 796188672 184602 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 194382 184602 3360 2271 0 189020 0
Current children cumulated CPU time: 1057.48 s
Current children cumulated vsize: 777528 KiB
Current children cumulated memory: 738408 KiB

[startup+1061.5 s]
/proc/loadavg: 4.12 4.18 4.15 5/249 52844
/proc/meminfo: memFree=125117196/131382120 swapFree=33010160/33010684
[pid=52749] ppid=52746 vsize=759312 memory=724848 CPUtime=1057.57 cores=0,2
/proc/52749/stat : 52749 (ExactPR-S) R 52746 52749 51655 0 -1 4194304 192572 0 0 0 105558 199 0 0 20 0 1 0 55916259 777535488 181212 18446744073709551615 94018575982592 94018585282629 140729260850656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94018587068736 94018587107816 94018607648768 140729260853633 140729260853770 140729260853770 140729260859372 0
/proc/52749/statm: 189828 181212 3488 2271 0 184466 0
Current children cumulated CPU time: 1057.57 s
Current children cumulated vsize: 759312 KiB
Current children cumulated memory: 724848 KiB

Child status: 30

Real time (s): 1061.56
CPU time (s): 1057.64
CPU user time (s): 1055.62
CPU system time (s): 2.02104
CPU usage (%): 99.6308
Max. virtual memory (cumulated for all children) (KiB): 1143016
Max. memory (cumulated for all children) (KiB): 1032844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1055.62
system time used= 2.02104
maximum resident set size= 1032844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192582
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= 110
involuntary context switches= 2321


# summary of solver processes directly reported to runsolver:
#   pid: 52749
#   total CPU time (s): 1057.64
#   total CPU user time (s): 1055.62
#   total CPU system time (s): 2.02104

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.33096 second user time and 10.2163 second system time

The end