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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523715-1751601518/watcher-4523715-1751601518 -o /tmp/evaluation-result-4523715-1751601518/solver-4523715-1751601518 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751597903-85301 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4523715-1751601518.opb -mem-lim=31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=85713, runsolver pid=85710
Current StackSize limit: 8192 KiB


[startup+0.100104 s]*
/proc/loadavg: 4.12 4.13 4.16 5/250 85714
/proc/meminfo: memFree=129561740/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=6552 memory=5632 CPUtime=0.1 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 1045 0 0 0 10 0 0 0 20 0 1 0 75830915 6709248 1408 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1638 1408 448 484 0 1049 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 6552 KiB
Current children cumulated memory: 5632 KiB

[startup+0.208198 s]*
/proc/loadavg: 4.12 4.13 4.16 5/250 85714
/proc/meminfo: memFree=129533704/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=9928 memory=8832 CPUtime=0.21 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 1859 0 0 0 21 0 0 0 20 0 1 0 75830915 10166272 2208 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 2482 2208 448 484 0 1893 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 9928 KiB
Current children cumulated memory: 8832 KiB

[startup+0.31332 s]*
/proc/loadavg: 4.12 4.13 4.16 5/250 85714
/proc/meminfo: memFree=129477504/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=13316 memory=12032 CPUtime=0.32 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 2673 0 0 0 31 1 0 0 20 0 1 0 75830915 13635584 3008 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 3329 3008 448 484 0 2740 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13316 KiB
Current children cumulated memory: 12032 KiB

[startup+0.700335 s]
/proc/loadavg: 4.12 4.13 4.16 5/250 85714
/proc/meminfo: memFree=129424700/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=25188 memory=23808 CPUtime=0.69 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 5607 0 0 0 67 2 0 0 20 0 1 0 75830915 25792512 5952 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 6297 5952 448 484 0 5708 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 25188 KiB
Current children cumulated memory: 23808 KiB

[startup+1.50033 s]
/proc/loadavg: 4.12 4.13 4.16 5/250 85714
/proc/meminfo: memFree=129154300/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=68232 memory=63872 CPUtime=1.48 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 15591 0 0 0 143 5 0 0 20 0 1 0 75830915 69869568 15968 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 17058 15968 480 484 0 16469 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 68232 KiB
Current children cumulated memory: 63872 KiB

[startup+3.11278 s]
/proc/loadavg: 4.11 4.13 4.16 5/250 85714
/proc/meminfo: memFree=128525460/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=261536 memory=231272 CPUtime=3.09 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 37511 0 0 0 298 11 0 0 20 0 1 0 75830915 267812864 57818 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 65384 57818 480 484 0 64795 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 261536 KiB
Current children cumulated memory: 231272 KiB

[startup+6.3003 s]
/proc/loadavg: 4.11 4.13 4.16 5/250 85714
/proc/meminfo: memFree=127282456/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=575164 memory=528184 CPUtime=6.27 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 57065 0 0 0 605 22 0 0 20 0 1 0 75830915 588967936 132046 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 143791 132046 480 484 0 143202 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 575164 KiB
Current children cumulated memory: 528184 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.13 4.16 5/250 85715
/proc/meminfo: memFree=125221936/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=1129032 memory=994620 CPUtime=12.65 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 89731 0 0 0 1227 38 0 0 20 0 1 0 75830915 1156128768 248655 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 282258 248655 480 484 0 281669 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1129032 KiB
Current children cumulated memory: 994620 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.14 4.16 5/250 85715
/proc/meminfo: memFree=111666288/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=4653372 memory=4249436 CPUtime=25.41 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 506161 0 0 0 2377 164 0 0 20 0 1 0 75830915 4765052928 1062359 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1163343 1062359 480 484 0 1162754 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 4653372 KiB
Current children cumulated memory: 4249436 KiB

[startup+51.1128 s]
/proc/loadavg: 4.10 4.12 4.16 5/250 85715
/proc/meminfo: memFree=111882880/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=4767180 memory=4355756 CPUtime=50.94 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 527317 0 0 0 4920 174 0 0 20 0 1 0 75830915 4881592320 1088939 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1191795 1088939 544 484 0 1191206 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 4767180 KiB
Current children cumulated memory: 4355756 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/250 85717
/proc/meminfo: memFree=110894376/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=4846964 memory=4436040 CPUtime=101.94 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 536803 0 0 0 10017 177 0 0 20 0 1 0 75830915 4963291136 1109010 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1211741 1109010 544 484 0 1211152 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 4846964 KiB
Current children cumulated memory: 4436040 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.15 5/250 85730
/proc/meminfo: memFree=109887880/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=5504040 memory=5094280 CPUtime=161.75 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 554018 0 0 0 15914 261 0 0 20 0 1 0 75830915 5636136960 1273570 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1376010 1273570 544 484 0 1375421 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 5504040 KiB
Current children cumulated memory: 5094280 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.15 5/250 85732
/proc/meminfo: memFree=109478184/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=5919192 memory=5388224 CPUtime=221.56 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 573669 0 0 0 21770 386 0 0 20 0 1 0 75830915 6061252608 1347056 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1479798 1347056 544 484 0 1479209 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 5919192 KiB
Current children cumulated memory: 5388224 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.15 5/250 85734
/proc/meminfo: memFree=110496500/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=5505084 memory=4873128 CPUtime=281.37 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 583153 0 0 0 27735 402 0 0 20 0 1 0 75830915 5637206016 1218282 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1376271 1218282 544 484 0 1375682 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 5505084 KiB
Current children cumulated memory: 4873128 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.14 5/250 85736
/proc/meminfo: memFree=109678828/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=6162740 memory=5615092 CPUtime=341.16 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 591203 0 0 0 33668 448 0 0 20 0 1 0 75830915 6310645760 1403773 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1540685 1403773 544 484 0 1540096 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 6162740 KiB
Current children cumulated memory: 5615092 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/250 85740
/proc/meminfo: memFree=110405588/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=5505680 memory=4958108 CPUtime=400.96 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 592775 0 0 0 39645 451 0 0 20 0 1 0 75830915 5637816320 1239527 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1376420 1239527 544 484 0 1375831 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 5505680 KiB
Current children cumulated memory: 4958108 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/249 85742
/proc/meminfo: memFree=110334536/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=5505576 memory=4876040 CPUtime=460.77 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 613749 0 0 0 45532 545 0 0 20 0 1 0 75830915 5637709824 1219010 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1376394 1219010 544 484 0 1375805 0
Current children cumulated CPU time: 460.77 s

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

Current children cumulated memory: 5299888 KiB

[startup+1242.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 85826
/proc/meminfo: memFree=108511520/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=5947000 memory=5299888 CPUtime=1238.15 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 797354 0 0 0 122813 1002 0 0 20 0 1 0 75830915 6089728000 1324972 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1486750 1324972 544 484 0 1486161 0
Current children cumulated CPU time: 1238.15 s
Current children cumulated vsize: 5947000 KiB
Current children cumulated memory: 5299888 KiB

[startup+1302.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/251 85828
/proc/meminfo: memFree=108920452/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=6025068 memory=5379048 CPUtime=1297.95 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 803825 0 0 0 128768 1027 0 0 20 0 1 0 75830915 6169669632 1344762 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1506267 1344762 544 484 0 1505678 0
Current children cumulated CPU time: 1297.95 s
Current children cumulated vsize: 6025068 KiB
Current children cumulated memory: 5379048 KiB

[startup+1362.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/251 85830
/proc/meminfo: memFree=108905820/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=5946856 memory=5350340 CPUtime=1357.76 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 819975 0 0 0 134665 1111 0 0 20 0 1 0 75830915 6089580544 1337585 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1486714 1337585 544 484 0 1486125 0
Current children cumulated CPU time: 1357.76 s
Current children cumulated vsize: 5946856 KiB
Current children cumulated memory: 5350340 KiB

[startup+1422.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/251 85831
/proc/meminfo: memFree=108611644/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=5946856 memory=5407164 CPUtime=1417.56 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 822468 0 0 0 140635 1121 0 0 20 0 1 0 75830915 6089580544 1351791 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1486714 1351791 544 484 0 1486125 0
Current children cumulated CPU time: 1417.56 s
Current children cumulated vsize: 5946856 KiB
Current children cumulated memory: 5407164 KiB

[startup+1482.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/251 85833
/proc/meminfo: memFree=108860196/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=5946856 memory=5407164 CPUtime=1477.36 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 823476 0 0 0 146614 1122 0 0 20 0 1 0 75830915 6089580544 1351791 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1486714 1351791 544 484 0 1486125 0
Current children cumulated CPU time: 1477.36 s
Current children cumulated vsize: 5946856 KiB
Current children cumulated memory: 5407164 KiB

[startup+1542.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/251 85835
/proc/meminfo: memFree=108407244/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=5947016 memory=5407384 CPUtime=1537.15 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 825941 0 0 0 152577 1138 0 0 20 0 1 0 75830915 6089744384 1351846 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1486754 1351846 544 484 0 1486165 0
Current children cumulated CPU time: 1537.15 s
Current children cumulated vsize: 5947016 KiB
Current children cumulated memory: 5407384 KiB

[startup+1602.3 s]
/proc/loadavg: 4.08 4.11 4.09 6/250 85839
/proc/meminfo: memFree=108308200/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=6025084 memory=5485424 CPUtime=1596.97 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 842256 0 0 0 158494 1203 0 0 20 0 1 0 75830915 6169686016 1371356 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1506271 1371356 544 484 0 1505682 0
Current children cumulated CPU time: 1596.97 s
Current children cumulated vsize: 6025084 KiB
Current children cumulated memory: 5485424 KiB

[startup+1662.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/249 85841
/proc/meminfo: memFree=107740524/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=5947364 memory=5305304 CPUtime=1656.76 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 852174 0 0 0 164418 1258 0 0 20 0 1 0 75830915 6090100736 1326326 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1486841 1326326 544 484 0 1486252 0
Current children cumulated CPU time: 1656.76 s
Current children cumulated vsize: 5947364 KiB
Current children cumulated memory: 5305304 KiB

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

# cumulated CPU time of all completed processes:  user=1668.64 s, system=12.8208 s

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

[startup+1664 s]*
/proc/loadavg: 4.13 4.12 4.09 5/249 85841
/proc/meminfo: memFree=108458000/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=5947364 memory=5309456 CPUtime=1658.47 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 852812 0 0 0 164587 1260 0 0 20 0 1 0 75830915 6090100736 1327364 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1486841 1327364 544 484 0 1486252 0
Current children cumulated CPU time: 1658.47 s
Current children cumulated vsize: 5947364 KiB
Current children cumulated memory: 5309456 KiB

[startup+1676.8 s]
/proc/loadavg: 4.11 4.12 4.09 5/249 85842
/proc/meminfo: memFree=108440712/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=5947364 memory=5387280 CPUtime=1671.21 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 852957 0 0 0 165860 1261 0 0 20 0 1 0 75830915 6090100736 1346820 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1486841 1346820 544 484 0 1486252 0
Current children cumulated CPU time: 1671.21 s
Current children cumulated vsize: 5947364 KiB
Current children cumulated memory: 5387280 KiB

[startup+1683.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/249 85843
/proc/meminfo: memFree=108410396/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=5947364 memory=5393424 CPUtime=1677.59 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 854641 0 0 0 166488 1271 0 0 20 0 1 0 75830915 6090100736 1348356 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1486841 1348356 544 484 0 1486252 0
Current children cumulated CPU time: 1677.59 s
Current children cumulated vsize: 5947364 KiB
Current children cumulated memory: 5393424 KiB

[startup+1684.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/249 85843
/proc/meminfo: memFree=108424104/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=5947364 memory=5393424 CPUtime=1679.19 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 854643 0 0 0 166648 1271 0 0 20 0 1 0 75830915 6090100736 1348356 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1486841 1348356 544 484 0 1486252 0
Current children cumulated CPU time: 1679.19 s
Current children cumulated vsize: 5947364 KiB
Current children cumulated memory: 5393424 KiB

[startup+1686.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/249 85843
/proc/meminfo: memFree=108410524/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=5947364 memory=5393424 CPUtime=1680.78 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 854666 0 0 0 166807 1271 0 0 20 0 1 0 75830915 6090100736 1348356 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1486841 1348356 544 484 0 1486252 0
Current children cumulated CPU time: 1680.78 s
Current children cumulated vsize: 5947364 KiB
Current children cumulated memory: 5393424 KiB

[startup+1686.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/249 85843
/proc/meminfo: memFree=108410524/131382120 swapFree=33010160/33010684
[pid=85713] ppid=85710 vsize=5947364 memory=5393424 CPUtime=1681.18 cores=5,7
/proc/85713/stat : 85713 (uwrmaxsat) R 85710 85713 85288 0 -1 4194304 854669 0 0 0 166847 1271 0 0 20 0 1 0 75830915 6090100736 1348356 18446744073709551615 4198400 6176925 140728758427632 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21536768 140728758430058 140728758430185 140728758430185 140728758435787 0
/proc/85713/statm: 1486841 1348356 544 484 0 1486252 0
Current children cumulated CPU time: 1681.18 s
Current children cumulated vsize: 5947364 KiB
Current children cumulated memory: 5393424 KiB

[startup+1687 s]*
/proc/loadavg: 4.10 4.11 4.09 5/249 85843
/proc/meminfo: memFree=109439448/131382120 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 30

Real time (s): 1687.07
CPU time (s): 1681.46
CPU user time (s): 1668.64
CPU system time (s): 12.8208
CPU usage (%): 99.6674
Max. virtual memory (cumulated for all children) (KiB): 6814708
Max. memory (cumulated for all children) (KiB): 6307928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1668.64
system time used= 12.8208
maximum resident set size= 6353196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 854812
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= 2
involuntary context switches= 9886


# summary of solver processes directly reported to runsolver:
#   pid: 85713
#   total CPU time (s): 1681.46
#   total CPU user time (s): 1668.64
#   total CPU system time (s): 12.8208

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.29297 second user time and 16.3599 second system time

The end