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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=37907, runsolver pid=37904

[startup+0.100074 s]*
/proc/loadavg: 4.13 4.10 4.09 5/251 37908
/proc/meminfo: memFree=120239812/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=5456 memory=4480 CPUtime=0.1 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 766 0 0 0 10 0 0 0 20 0 1 0 44763672 5586944 1120 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 1364 1120 480 484 0 775 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 5456 KiB
Current children cumulated memory: 4480 KiB

[startup+0.213344 s]*
/proc/loadavg: 4.13 4.10 4.09 5/251 37908
/proc/meminfo: memFree=120239812/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=7104 memory=5964 CPUtime=0.21 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 1266 0 0 0 21 0 0 0 20 0 1 0 44763672 7274496 1491 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 1776 1491 480 484 0 1187 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 7104 KiB
Current children cumulated memory: 5964 KiB

[startup+0.313272 s]*
/proc/loadavg: 4.13 4.10 4.09 5/251 37908
/proc/meminfo: memFree=120238804/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=9192 memory=7796 CPUtime=0.31 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 1885 0 0 0 31 0 0 0 20 0 1 0 44763672 9412608 1949 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 2298 1949 480 484 0 1709 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 9192 KiB
Current children cumulated memory: 7796 KiB

[startup+0.700328 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 37908
/proc/meminfo: memFree=120238804/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=15620 memory=13940 CPUtime=0.69 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 3467 0 0 0 68 1 0 0 20 0 1 0 44763672 15994880 3485 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 3905 3485 480 484 0 3316 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 15620 KiB
Current children cumulated memory: 13940 KiB

[startup+1.50028 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 37908
/proc/meminfo: memFree=119976976/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=29044 memory=27052 CPUtime=1.48 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 8689 0 0 0 146 2 0 0 20 0 1 0 44763672 29741056 6763 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 7261 6763 544 484 0 6672 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29044 KiB
Current children cumulated memory: 27052 KiB

[startup+3.11306 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 37908
/proc/meminfo: memFree=120214884/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=32784 memory=31280 CPUtime=3.09 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 11272 0 0 0 306 3 0 0 20 0 1 0 44763672 33570816 7820 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 8196 7820 544 484 0 7607 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32784 KiB
Current children cumulated memory: 31280 KiB

[startup+6.30032 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 37908
/proc/meminfo: memFree=120211296/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=36828 memory=35260 CPUtime=6.26 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 13423 0 0 0 623 3 0 0 20 0 1 0 44763672 37711872 8815 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 9207 8815 544 484 0 8618 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 36828 KiB
Current children cumulated memory: 35260 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 37908
/proc/meminfo: memFree=120199140/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=46140 memory=44668 CPUtime=12.65 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 15546 0 0 0 1261 4 0 0 20 0 1 0 44763672 47247360 11167 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 11535 11167 544 484 0 10946 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 46140 KiB
Current children cumulated memory: 44668 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.10 4.09 5/251 37908
/proc/meminfo: memFree=120193200/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=54644 memory=53100 CPUtime=25.42 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 18126 0 0 0 2536 6 0 0 20 0 1 0 44763672 55955456 13275 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 13661 13275 544 484 0 13072 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 54644 KiB
Current children cumulated memory: 53100 KiB

[startup+51.1132 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 37909
/proc/meminfo: memFree=119077072/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=59900 memory=58388 CPUtime=50.95 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 21534 0 0 0 5088 7 0 0 20 0 1 0 44763672 61337600 14597 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 14975 14597 544 484 0 14386 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 59900 KiB
Current children cumulated memory: 58388 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 37910
/proc/meminfo: memFree=120091448/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=62864 memory=61480 CPUtime=101.98 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 23018 0 0 0 10191 7 0 0 20 0 1 0 44763672 64372736 15370 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 15716 15370 544 484 0 15127 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 62864 KiB
Current children cumulated memory: 61480 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/251 37912
/proc/meminfo: memFree=120132836/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=90636 memory=89132 CPUtime=161.81 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 26147 0 0 0 16172 9 0 0 20 0 1 0 44763672 92811264 22283 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 22659 22283 544 484 0 22070 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 90636 KiB
Current children cumulated memory: 89132 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/251 37914
/proc/meminfo: memFree=120112136/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=90936 memory=89508 CPUtime=221.63 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 29493 0 0 0 22151 12 0 0 20 0 1 0 44763672 93118464 22377 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 22734 22377 544 484 0 22145 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 90936 KiB
Current children cumulated memory: 89508 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/251 37916
/proc/meminfo: memFree=119016992/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=104580 memory=103076 CPUtime=281.45 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 33974 0 0 0 28129 16 0 0 20 0 1 0 44763672 107089920 25769 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 26145 25769 544 484 0 25556 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 104580 KiB
Current children cumulated memory: 103076 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/250 37918
/proc/meminfo: memFree=120114372/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=123840 memory=122404 CPUtime=341.26 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 34701 0 0 0 34110 16 0 0 20 0 1 0 44763672 126812160 30601 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 30960 30601 544 484 0 30371 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 123840 KiB
Current children cumulated memory: 122404 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 37920
/proc/meminfo: memFree=120114808/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=108584 memory=107168 CPUtime=401.09 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 37572 0 0 0 40090 19 0 0 20 0 1 0 44763672 111190016 26792 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 27146 26792 544 484 0 26557 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 108584 KiB
Current children cumulated memory: 107168 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 37922
/proc/meminfo: memFree=119954508/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=109312 memory=107904 CPUtime=460.91 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 38482 0 0 0 46071 20 0 0 20 0 1 0 44763672 111935488 26976 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 27328 26976 544 484 0 26739 0
Current children cumulated CPU time: 460.91 s

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

Current children cumulated memory: 381848 KiB

[startup+2862.3 s]
/proc/loadavg: 1.09 1.11 1.67 2/231 38137
/proc/meminfo: memFree=129813700/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=412544 memory=380576 CPUtime=2853.03 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 114111 0 0 0 285172 131 0 0 20 0 1 0 44763672 422445056 95144 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 103136 95144 544 484 0 102547 0
Current children cumulated CPU time: 2853.03 s
Current children cumulated vsize: 412544 KiB
Current children cumulated memory: 380576 KiB

[startup+2922.3 s]
/proc/loadavg: 1.15 1.12 1.63 2/231 38139
/proc/meminfo: memFree=129811380/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=414888 memory=382924 CPUtime=2912.85 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 115263 0 0 0 291151 134 0 0 20 0 1 0 44763672 424845312 95731 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 103722 95731 544 484 0 103133 0
Current children cumulated CPU time: 2912.85 s
Current children cumulated vsize: 414888 KiB
Current children cumulated memory: 382924 KiB

[startup+2982.3 s]
/proc/loadavg: 1.12 1.11 1.60 2/231 38141
/proc/meminfo: memFree=129839492/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=413672 memory=381000 CPUtime=2972.65 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 117463 0 0 0 297128 137 0 0 20 0 1 0 44763672 423600128 95250 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 103418 95250 544 484 0 102829 0
Current children cumulated CPU time: 2972.65 s
Current children cumulated vsize: 413672 KiB
Current children cumulated memory: 381000 KiB

[startup+3042.3 s]
/proc/loadavg: 1.08 1.11 1.56 2/232 38146
/proc/meminfo: memFree=129811748/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=419692 memory=387040 CPUtime=3032.45 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 118348 0 0 0 303105 140 0 0 20 0 1 0 44763672 429764608 96760 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 104923 96760 544 484 0 104334 0
Current children cumulated CPU time: 3032.45 s
Current children cumulated vsize: 419692 KiB
Current children cumulated memory: 387040 KiB

[startup+3102.3 s]
/proc/loadavg: 1.13 1.11 1.54 2/232 38152
/proc/meminfo: memFree=129820496/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=423252 memory=390580 CPUtime=3092.25 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 119147 0 0 0 309084 141 0 0 20 0 1 0 44763672 433410048 97645 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 105813 97645 544 484 0 105224 0
Current children cumulated CPU time: 3092.25 s
Current children cumulated vsize: 423252 KiB
Current children cumulated memory: 390580 KiB

[startup+3162.3 s]
/proc/loadavg: 1.10 1.11 1.51 2/232 38154
/proc/meminfo: memFree=129816400/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=424844 memory=392272 CPUtime=3152.06 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 119821 0 0 0 315061 145 0 0 20 0 1 0 44763672 435040256 98068 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 106211 98068 544 484 0 105622 0
Current children cumulated CPU time: 3152.06 s
Current children cumulated vsize: 424844 KiB
Current children cumulated memory: 392272 KiB

[startup+3222.3 s]
/proc/loadavg: 1.15 1.12 1.48 2/232 38156
/proc/meminfo: memFree=129818952/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=423104 memory=390432 CPUtime=3211.86 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 120456 0 0 0 321040 146 0 0 20 0 1 0 44763672 433258496 97608 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 105776 97608 544 484 0 105187 0
Current children cumulated CPU time: 3211.86 s
Current children cumulated vsize: 423104 KiB
Current children cumulated memory: 390432 KiB

[startup+3282.3 s]
/proc/loadavg: 1.11 1.11 1.45 2/232 38158
/proc/meminfo: memFree=129843580/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=417396 memory=384516 CPUtime=3271.66 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 122699 0 0 0 327017 149 0 0 20 0 1 0 44763672 427413504 96129 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 104349 96129 544 484 0 103760 0
Current children cumulated CPU time: 3271.66 s
Current children cumulated vsize: 417396 KiB
Current children cumulated memory: 384516 KiB

[startup+3342.3 s]
/proc/loadavg: 1.08 1.10 1.43 2/232 38160
/proc/meminfo: memFree=129812712/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=424960 memory=392080 CPUtime=3331.48 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 123759 0 0 0 332995 153 0 0 20 0 1 0 44763672 435159040 98020 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 106240 98020 544 484 0 105651 0
Current children cumulated CPU time: 3331.48 s
Current children cumulated vsize: 424960 KiB
Current children cumulated memory: 392080 KiB

[startup+3402.3 s]
/proc/loadavg: 1.14 1.11 1.41 2/232 38162
/proc/meminfo: memFree=129791068/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=447036 memory=414240 CPUtime=3391.27 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 124709 0 0 0 338972 155 0 0 20 0 1 0 44763672 457764864 103560 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 111759 103560 544 484 0 111170 0
Current children cumulated CPU time: 3391.27 s
Current children cumulated vsize: 447036 KiB
Current children cumulated memory: 414240 KiB

[startup+3462.3 s]
/proc/loadavg: 1.10 1.11 1.39 2/232 38164
/proc/meminfo: memFree=129774936/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=463324 memory=430528 CPUtime=3451.08 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 125369 0 0 0 344950 158 0 0 20 0 1 0 44763672 474443776 107632 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 115831 107632 544 484 0 115242 0
Current children cumulated CPU time: 3451.08 s
Current children cumulated vsize: 463324 KiB
Current children cumulated memory: 430528 KiB

[startup+3522.3 s]
/proc/loadavg: 1.15 1.12 1.37 2/232 38166
/proc/meminfo: memFree=129775188/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=464776 memory=432880 CPUtime=3510.88 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 126122 0 0 0 350928 160 0 0 20 0 1 0 44763672 475930624 108220 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 116194 108220 544 484 0 115605 0
Current children cumulated CPU time: 3510.88 s
Current children cumulated vsize: 464776 KiB
Current children cumulated memory: 432880 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.11 1.35 2/232 38168
/proc/meminfo: memFree=129765928/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=473484 memory=441656 CPUtime=3570.69 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 126748 0 0 0 356907 162 0 0 20 0 1 0 44763672 484847616 110414 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 118371 110414 544 484 0 117782 0
Current children cumulated CPU time: 3570.69 s
Current children cumulated vsize: 473484 KiB
Current children cumulated memory: 441656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 1.15 1.12 1.35 2/232 38172
/proc/meminfo: memFree=129760084/131382120 swapFree=33010160/33010684
[pid=37907] ppid=37904 vsize=476640 memory=444932 CPUtime=3600.08 cores=1,3
/proc/37907/stat : 37907 (uwrmaxsat) R 37904 37907 36754 0 -1 4194304 127124 0 0 0 359844 164 0 0 20 0 1 0 44763672 488079360 111233 18446744073709551615 4198400 6176925 140720512762880 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31375360 140720512768362 140720512768489 140720512768489 140720512774091 0
/proc/37907/statm: 119160 111233 544 484 0 118571 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 476640 KiB
Current children cumulated memory: 444932 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.45 s, system=1.64946 s

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

Child status: 10

Real time (s): 3611.8
CPU time (s): 3600.1
CPU user time (s): 3598.45
CPU system time (s): 1.64946
CPU usage (%): 99.6759
Max. virtual memory (cumulated for all children) (KiB): 587356
Max. memory (cumulated for all children) (KiB): 555540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.45
system time used= 1.64946
maximum resident set size= 555540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127128
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= 55
involuntary context switches= 2452


# summary of solver processes directly reported to runsolver:
#   pid: 37907
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3598.45
#   total CPU system time (s): 1.64946

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2837 second user time and 35.7375 second system time

The end