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: 63665 MiB (61739 MiB free)
  memory of node 1: 64507 MiB (63844 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486577-1751325114/watcher-4486577-1751325114 -o /tmp/evaluation-result-4486577-1751325114/solver-4486577-1751325114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751325114-48339 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4486577-1751325114.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=48398, runsolver pid=48395
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 2.74 3.81 4.03 6/262 48402
/proc/meminfo: memFree=128570564/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=21144 memory=20096 CPUtime=0.1 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 4662 0 0 0 10 0 0 0 20 0 1 0 48189294 21651456 5024 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 5286 5024 448 484 0 4697 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21144 KiB
Current children cumulated memory: 20096 KiB

[startup+0.205051 s]*
/proc/loadavg: 2.74 3.81 4.03 4/260 48407
/proc/meminfo: memFree=128562500/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=33972 memory=32896 CPUtime=0.2 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 7874 0 0 0 19 1 0 0 20 0 1 0 48189294 34787328 8224 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 8493 8224 448 484 0 7904 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 32896 KiB

[startup+0.305468 s]*
/proc/loadavg: 2.74 3.81 4.03 4/260 48407
/proc/meminfo: memFree=128546372/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=46260 memory=45184 CPUtime=0.29 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 10942 0 0 0 28 1 0 0 20 0 1 0 48189294 47370240 11296 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 11565 11296 448 484 0 10976 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46260 KiB
Current children cumulated memory: 45184 KiB

[startup+0.700168 s]
/proc/loadavg: 2.74 3.81 4.03 4/260 48407
/proc/meminfo: memFree=128521676/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=103412 memory=102220 CPUtime=0.69 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 22318 0 0 0 66 3 0 0 20 0 1 0 48189294 105893888 25555 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 25853 25555 480 484 0 25264 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 103412 KiB
Current children cumulated memory: 102220 KiB

[startup+1.50017 s]
/proc/loadavg: 2.74 3.81 4.03 4/260 48407
/proc/meminfo: memFree=128463524/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=303868 memory=274364 CPUtime=1.49 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 35339 0 0 0 140 9 0 0 20 0 1 0 48189294 311160832 68591 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 75967 68591 480 484 0 75378 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 303868 KiB
Current children cumulated memory: 274364 KiB

[startup+3.10531 s]
/proc/loadavg: 2.74 3.81 4.03 5/264 48444
/proc/meminfo: memFree=128311700/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=298532 memory=269184 CPUtime=3.09 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 36892 0 0 0 299 10 0 0 20 0 1 0 48189294 305696768 67296 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 74633 67296 544 484 0 74044 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 298532 KiB
Current children cumulated memory: 269184 KiB

[startup+6.30013 s]
/proc/loadavg: 2.84 3.82 4.03 4/263 48503
/proc/meminfo: memFree=128266396/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=298532 memory=269184 CPUtime=6.27 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 36925 0 0 0 617 10 0 0 20 0 1 0 48189294 305696768 67296 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 74633 67296 544 484 0 74044 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 298532 KiB
Current children cumulated memory: 269184 KiB

[startup+12.7001 s]
/proc/loadavg: 2.94 3.82 4.03 5/260 48660
/proc/meminfo: memFree=128273544/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=298532 memory=269184 CPUtime=12.64 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 36928 0 0 0 1254 10 0 0 20 0 1 0 48189294 305696768 67296 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 74633 67296 544 484 0 74044 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 298532 KiB
Current children cumulated memory: 269184 KiB

[startup+25.5001 s]
/proc/loadavg: 3.17 3.83 4.03 5/264 48669
/proc/meminfo: memFree=128214736/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=298532 memory=269184 CPUtime=25.4 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 36965 0 0 0 2530 10 0 0 20 0 1 0 48189294 305696768 67296 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 74633 67296 544 484 0 74044 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 298532 KiB
Current children cumulated memory: 269184 KiB

[startup+51.1053 s]
/proc/loadavg: 3.46 3.84 4.02 5/264 48669
/proc/meminfo: memFree=128202932/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=298532 memory=269184 CPUtime=50.91 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 36988 0 0 0 5081 10 0 0 20 0 1 0 48189294 305696768 67296 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 74633 67296 544 484 0 74044 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 298532 KiB
Current children cumulated memory: 269184 KiB

[startup+102.3 s]
/proc/loadavg: 3.81 3.89 4.03 5/265 48672
/proc/meminfo: memFree=128190836/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=308800 memory=279564 CPUtime=101.93 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 37081 0 0 0 10183 10 0 0 20 0 1 0 48189294 316211200 69891 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 77200 69891 544 484 0 76611 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 308800 KiB
Current children cumulated memory: 279564 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 3.94 4.03 5/265 48675
/proc/meminfo: memFree=128118984/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=309968 memory=280588 CPUtime=161.72 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 37917 0 0 0 16161 11 0 0 20 0 1 0 48189294 317407232 70147 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 77492 70147 544 484 0 76903 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 309968 KiB
Current children cumulated memory: 280588 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.97 4.03 5/265 48677
/proc/meminfo: memFree=128078116/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=309968 memory=280588 CPUtime=221.53 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 37993 0 0 0 22142 11 0 0 20 0 1 0 48189294 317407232 70147 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 77492 70147 544 484 0 76903 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 309968 KiB
Current children cumulated memory: 280588 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.99 4.03 5/266 48682
/proc/meminfo: memFree=128092200/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=319904 memory=290448 CPUtime=281.35 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 40133 0 0 0 28122 13 0 0 20 0 1 0 48189294 327581696 72612 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 79976 72612 544 484 0 79387 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 319904 KiB
Current children cumulated memory: 290448 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.01 4.03 5/265 48688
/proc/meminfo: memFree=128065500/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=305716 memory=276500 CPUtime=341.18 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 41869 0 0 0 34103 15 0 0 20 0 1 0 48189294 313053184 69125 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 76429 69125 544 484 0 75840 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 305716 KiB
Current children cumulated memory: 276500 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.02 4.03 5/264 48690
/proc/meminfo: memFree=128066728/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=338768 memory=309392 CPUtime=401.01 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 43233 0 0 0 40085 16 0 0 20 0 1 0 48189294 346898432 77348 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 84692 77348 544 484 0 84103 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 338768 KiB
Current children cumulated memory: 309392 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.03 4.03 5/264 48693
/proc/meminfo: memFree=128072184/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=299672 memory=270328 CPUtime=460.85 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 44156 0 0 0 46067 18 0 0 20 0 1 0 48189294 306864128 67582 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 74918 67582 544 484 0 74329 0

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

Current children cumulated memory: 501712 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.15 4.13 5/265 48814
/proc/meminfo: memFree=127651844/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=550104 memory=507096 CPUtime=2913.71 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 113467 0 0 0 291246 125 0 0 20 0 1 0 48189294 563306496 126774 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 137526 126774 544 484 0 136937 0
Current children cumulated CPU time: 2913.71 s
Current children cumulated vsize: 550104 KiB
Current children cumulated memory: 507096 KiB

[startup+2982.3 s]
/proc/loadavg: 4.36 4.21 4.16 5/265 48831
/proc/meminfo: memFree=127701668/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=533108 memory=490100 CPUtime=2973.53 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 114301 0 0 0 297226 127 0 0 20 0 1 0 48189294 545902592 122525 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 133277 122525 544 484 0 132688 0
Current children cumulated CPU time: 2973.53 s
Current children cumulated vsize: 533108 KiB
Current children cumulated memory: 490100 KiB

[startup+3042.3 s]
/proc/loadavg: 4.24 4.20 4.16 5/265 48833
/proc/meminfo: memFree=127697464/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=545360 memory=502352 CPUtime=3033.35 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 115032 0 0 0 303206 129 0 0 20 0 1 0 48189294 558448640 125588 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 136340 125588 544 484 0 135751 0
Current children cumulated CPU time: 3033.35 s
Current children cumulated vsize: 545360 KiB
Current children cumulated memory: 502352 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.16 4.14 5/265 48836
/proc/meminfo: memFree=127711972/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=507336 memory=464328 CPUtime=3093.17 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 115444 0 0 0 309187 130 0 0 20 0 1 0 48189294 519512064 116082 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 126834 116082 544 484 0 126245 0
Current children cumulated CPU time: 3093.17 s
Current children cumulated vsize: 507336 KiB
Current children cumulated memory: 464328 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.16 4.14 5/264 48838
/proc/meminfo: memFree=127788956/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=477640 memory=434632 CPUtime=3152.99 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 116360 0 0 0 315167 132 0 0 20 0 1 0 48189294 489103360 108658 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 119410 108658 544 484 0 118821 0
Current children cumulated CPU time: 3152.99 s
Current children cumulated vsize: 477640 KiB
Current children cumulated memory: 434632 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.15 4.14 5/264 48840
/proc/meminfo: memFree=127732260/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=479888 memory=436880 CPUtime=3212.82 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 117613 0 0 0 321148 134 0 0 20 0 1 0 48189294 491405312 109220 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 119972 109220 544 484 0 119383 0
Current children cumulated CPU time: 3212.82 s
Current children cumulated vsize: 479888 KiB
Current children cumulated memory: 436880 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/265 48845
/proc/meminfo: memFree=127754960/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=480508 memory=439548 CPUtime=3272.64 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 118664 0 0 0 327128 136 0 0 20 0 1 0 48189294 492040192 109887 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 120127 109887 544 484 0 119538 0
Current children cumulated CPU time: 3272.64 s
Current children cumulated vsize: 480508 KiB
Current children cumulated memory: 439548 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/265 48852
/proc/meminfo: memFree=127756356/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=480508 memory=439548 CPUtime=3332.46 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 119528 0 0 0 333109 137 0 0 20 0 1 0 48189294 492040192 109887 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 120127 109887 544 484 0 119538 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 480508 KiB
Current children cumulated memory: 439548 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/265 48854
/proc/meminfo: memFree=127713504/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=479972 memory=439012 CPUtime=3392.28 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 120568 0 0 0 339090 138 0 0 20 0 1 0 48189294 491491328 109753 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 119993 109753 544 484 0 119404 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 479972 KiB
Current children cumulated memory: 439012 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.11 5/265 48857
/proc/meminfo: memFree=127714860/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=480860 memory=439900 CPUtime=3452.1 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 122158 0 0 0 345069 141 0 0 20 0 1 0 48189294 492400640 109975 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 120215 109975 544 484 0 119626 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 480860 KiB
Current children cumulated memory: 439900 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.11 5/265 48859
/proc/meminfo: memFree=127676540/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=478208 memory=437248 CPUtime=3511.92 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 123358 0 0 0 351049 143 0 0 20 0 1 0 48189294 489684992 109312 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 119552 109312 544 484 0 118963 0
Current children cumulated CPU time: 3511.92 s
Current children cumulated vsize: 478208 KiB
Current children cumulated memory: 437248 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.10 5/264 48861
/proc/meminfo: memFree=127669976/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=483028 memory=442068 CPUtime=3571.74 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 123920 0 0 0 357030 144 0 0 20 0 1 0 48189294 494620672 110517 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 120757 110517 544 484 0 120168 0
Current children cumulated CPU time: 3571.74 s
Current children cumulated vsize: 483028 KiB
Current children cumulated memory: 442068 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.09 4.10 4.10 4/261 48863
/proc/meminfo: memFree=127877048/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=481916 memory=440956 CPUtime=3600.06 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 124627 0 0 0 359861 145 0 0 20 0 1 0 48189294 493481984 110239 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 120479 110239 544 484 0 119890 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 481916 KiB
Current children cumulated memory: 440956 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.7 s]
# the end of solver process 48398 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.61 s, system=1.45717 s

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

[startup+3610.7 s]
/proc/loadavg: 4.09 4.10 4.10 4/261 48863
/proc/meminfo: memFree=127877048/131250000 swapFree=33010684/33010684
[pid=48398] ppid=48395 vsize=481916 memory=440956 CPUtime=3600.06 cores=0,2
/proc/48398/stat : 48398 (uwrmaxsat) R 48395 48398 48329 0 -1 4194304 124627 0 0 0 359861 145 0 0 20 0 1 0 48189294 493481984 110239 18446744073709551615 4198400 6176925 140734668172304 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35549184 140734668175722 140734668175849 140734668175849 140734668181451 0
/proc/48398/statm: 120479 110239 544 484 0 119890 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 481916 KiB
Current children cumulated memory: 440956 KiB

Child status: 10

Real time (s): 3610.7
CPU time (s): 3600.07
CPU user time (s): 3598.61
CPU system time (s): 1.45717
CPU usage (%): 99.7055
Max. virtual memory (cumulated for all children) (KiB): 674880
Max. memory (cumulated for all children) (KiB): 631776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.61
system time used= 1.45717
maximum resident set size= 632900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124631
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= 57
involuntary context switches= 22029


# summary of solver processes directly reported to runsolver:
#   pid: 48398
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3598.61
#   total CPU system time (s): 1.45717

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.53653 second user time and 15.7714 second system time

The end