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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.10007 s]*
/proc/loadavg: 4.24 4.13 4.05 5/264 80264
/proc/meminfo: memFree=101270456/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=64144 memory=24520 CPUtime=0.08 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 5154 0 0 0 8 0 0 0 20 0 1 0 73660026 65683456 6130 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 16036 6130 1792 2271 0 10674 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 64144 KiB
Current children cumulated memory: 24520 KiB

[startup+0.205852 s]*
/proc/loadavg: 4.24 4.13 4.05 5/264 80264
/proc/meminfo: memFree=103674288/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=82804 memory=45128 CPUtime=0.18 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 9112 0 0 0 17 1 0 0 20 0 1 0 73660026 84791296 11282 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 20701 11282 3072 2271 0 15339 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 82804 KiB
Current children cumulated memory: 45128 KiB

[startup+0.305566 s]*
/proc/loadavg: 4.24 4.13 4.05 5/264 80264
/proc/meminfo: memFree=106683532/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=117460 memory=77512 CPUtime=0.27 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 17061 0 0 0 25 2 0 0 20 0 1 0 73660026 120279040 19378 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 29365 19378 3232 2271 0 24003 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 117460 KiB
Current children cumulated memory: 77512 KiB

[startup+0.700199 s]
/proc/loadavg: 4.24 4.13 4.05 5/264 80264
/proc/meminfo: memFree=112852852/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=149860 memory=102948 CPUtime=0.66 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 24100 0 0 0 62 4 0 0 20 0 1 0 73660026 153456640 25737 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 37465 25737 3328 2271 0 32103 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 149860 KiB
Current children cumulated memory: 102948 KiB

[startup+1.50015 s]
/proc/loadavg: 4.24 4.13 4.05 4/260 80285
/proc/meminfo: memFree=118398276/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=186224 memory=135844 CPUtime=1.45 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 32335 0 0 0 140 5 0 0 20 0 1 0 73660026 190693376 33961 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 46556 33961 3328 2271 0 41194 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 186224 KiB
Current children cumulated memory: 135844 KiB

[startup+3.10538 s]
/proc/loadavg: 4.22 4.13 4.05 5/264 80309
/proc/meminfo: memFree=118247908/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=187544 memory=137636 CPUtime=3.05 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 32787 0 0 0 300 5 0 0 20 0 1 0 73660026 192045056 34409 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 46886 34409 3328 2271 0 41524 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 187544 KiB
Current children cumulated memory: 137636 KiB

[startup+6.30018 s]
/proc/loadavg: 4.22 4.13 4.05 5/264 80309
/proc/meminfo: memFree=117836900/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=211236 memory=157092 CPUtime=6.23 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 37645 0 0 0 618 5 0 0 20 0 1 0 73660026 216305664 39273 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 52809 39273 3328 2271 0 47447 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 211236 KiB
Current children cumulated memory: 157092 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.13 4.05 5/264 80309
/proc/meminfo: memFree=117681536/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=231404 memory=175268 CPUtime=12.61 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 42329 0 0 0 1255 6 0 0 20 0 1 0 73660026 236957696 43817 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 57851 43817 3328 2271 0 52489 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 231404 KiB
Current children cumulated memory: 175268 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.12 4.05 5/264 80309
/proc/meminfo: memFree=117656688/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=236228 memory=184612 CPUtime=25.38 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 44677 0 0 0 2531 7 0 0 20 0 1 0 73660026 241897472 46153 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 59057 46153 3328 2271 0 53695 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 236228 KiB
Current children cumulated memory: 184612 KiB

[startup+51.1057 s]
/proc/loadavg: 4.18 4.13 4.05 5/265 80311
/proc/meminfo: memFree=117657632/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=272624 memory=215204 CPUtime=50.9 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 52381 0 0 0 5081 9 0 0 20 0 1 0 73660026 279166976 53801 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 68156 53801 3328 2271 0 62794 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 272624 KiB
Current children cumulated memory: 215204 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/265 80313
/proc/meminfo: memFree=117804688/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=331588 memory=255288 CPUtime=101.94 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 66542 0 0 0 10182 12 0 0 20 0 1 0 73660026 339546112 63822 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 82897 63822 3328 2271 0 77535 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 331588 KiB
Current children cumulated memory: 255288 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.10 4.04 5/266 80318
/proc/meminfo: memFree=118182464/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=370888 memory=286636 CPUtime=161.74 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 74771 0 0 0 16161 13 0 0 20 0 1 0 73660026 379789312 71659 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 92722 71659 3328 2271 0 87360 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 370888 KiB
Current children cumulated memory: 286636 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.05 5/266 80320
/proc/meminfo: memFree=118546348/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=406032 memory=313256 CPUtime=221.55 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 84478 0 0 0 22140 15 0 0 20 0 1 0 73660026 415776768 78314 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 101508 78314 3328 2271 0 96146 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 406032 KiB
Current children cumulated memory: 313256 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/266 80348
/proc/meminfo: memFree=118451980/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=406032 memory=322472 CPUtime=281.36 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 86781 0 0 0 28120 16 0 0 20 0 1 0 73660026 415776768 80618 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 101508 80618 3328 2271 0 96146 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 406032 KiB
Current children cumulated memory: 322472 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.06 5/266 80351
/proc/meminfo: memFree=118407800/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=406032 memory=337704 CPUtime=341.17 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 90568 0 0 0 34100 17 0 0 20 0 1 0 73660026 415776768 84426 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 101508 84426 3328 2271 0 96146 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 406032 KiB
Current children cumulated memory: 337704 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.06 5/266 80354
/proc/meminfo: memFree=118329032/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=431172 memory=366120 CPUtime=400.97 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 102232 0 0 0 40078 19 0 0 20 0 1 0 73660026 441520128 91530 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 107793 91530 3328 2271 0 102431 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 431172 KiB
Current children cumulated memory: 366120 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.06 5/265 80356
/proc/meminfo: memFree=118296352/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=434076 memory=373544 CPUtime=460.8 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 104248 0 0 0 46060 20 0 0 20 0 1 0 73660026 444493824 93386 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 108519 93386 3328 2271 0 103157 0
Current children cumulated CPU time: 460.8 s

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

Current children cumulated memory: 561544 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/263 80512
/proc/meminfo: memFree=123254452/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=605180 memory=561544 CPUtime=2853.82 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 129463 0 0 0 284521 861 0 0 20 0 1 0 73660026 619704320 140386 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 151295 140386 3360 2271 0 145933 0
Current children cumulated CPU time: 2853.82 s
Current children cumulated vsize: 605180 KiB
Current children cumulated memory: 561544 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/262 80514
/proc/meminfo: memFree=123232320/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=605180 memory=561544 CPUtime=2913.63 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 129463 0 0 0 290494 869 0 0 20 0 1 0 73660026 619704320 140386 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 151295 140386 3360 2271 0 145933 0
Current children cumulated CPU time: 2913.63 s
Current children cumulated vsize: 605180 KiB
Current children cumulated memory: 561544 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/262 80516
/proc/meminfo: memFree=123179180/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=605180 memory=561544 CPUtime=2973.43 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 129463 0 0 0 296469 874 0 0 20 0 1 0 73660026 619704320 140386 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 151295 140386 3360 2271 0 145933 0
Current children cumulated CPU time: 2973.43 s
Current children cumulated vsize: 605180 KiB
Current children cumulated memory: 561544 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 80523
/proc/meminfo: memFree=123156036/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=605180 memory=561544 CPUtime=3033.23 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 129463 0 0 0 302443 880 0 0 20 0 1 0 73660026 619704320 140386 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 151295 140386 3360 2271 0 145933 0
Current children cumulated CPU time: 3033.23 s
Current children cumulated vsize: 605180 KiB
Current children cumulated memory: 561544 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 80525
/proc/meminfo: memFree=123155228/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=605180 memory=561544 CPUtime=3093.04 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 129463 0 0 0 308415 889 0 0 20 0 1 0 73660026 619704320 140386 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 151295 140386 3360 2271 0 145933 0
Current children cumulated CPU time: 3093.04 s
Current children cumulated vsize: 605180 KiB
Current children cumulated memory: 561544 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 80527
/proc/meminfo: memFree=123481624/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=605180 memory=561544 CPUtime=3152.84 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 129514 0 0 0 314389 895 0 0 20 0 1 0 73660026 619704320 140386 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 151295 140386 3360 2271 0 145933 0
Current children cumulated CPU time: 3152.84 s
Current children cumulated vsize: 605180 KiB
Current children cumulated memory: 561544 KiB

[startup+3222.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/263 80531
/proc/meminfo: memFree=123464144/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=605180 memory=561544 CPUtime=3212.65 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 129514 0 0 0 320362 903 0 0 20 0 1 0 73660026 619704320 140386 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 151295 140386 3360 2271 0 145933 0
Current children cumulated CPU time: 3212.65 s
Current children cumulated vsize: 605180 KiB
Current children cumulated memory: 561544 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 80534
/proc/meminfo: memFree=123455088/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=605180 memory=563592 CPUtime=3272.46 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 129529 0 0 0 326336 910 0 0 20 0 1 0 73660026 619704320 140898 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 151295 140898 3360 2271 0 145933 0
Current children cumulated CPU time: 3272.46 s
Current children cumulated vsize: 605180 KiB
Current children cumulated memory: 563592 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 80535
/proc/meminfo: memFree=123452076/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=605180 memory=563592 CPUtime=3332.26 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 129529 0 0 0 332309 917 0 0 20 0 1 0 73660026 619704320 140898 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 151295 140898 3360 2271 0 145933 0
Current children cumulated CPU time: 3332.26 s
Current children cumulated vsize: 605180 KiB
Current children cumulated memory: 563592 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/262 80537
/proc/meminfo: memFree=123431832/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=605180 memory=584072 CPUtime=3392.07 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 129539 0 0 0 338282 925 0 0 20 0 1 0 73660026 619704320 146018 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 151295 146018 3360 2271 0 145933 0
Current children cumulated CPU time: 3392.07 s
Current children cumulated vsize: 605180 KiB
Current children cumulated memory: 584072 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 80539
/proc/meminfo: memFree=123424412/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=605180 memory=584072 CPUtime=3451.87 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 129539 0 0 0 344254 933 0 0 20 0 1 0 73660026 619704320 146018 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 151295 146018 3360 2271 0 145933 0
Current children cumulated CPU time: 3451.87 s
Current children cumulated vsize: 605180 KiB
Current children cumulated memory: 584072 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 80586
/proc/meminfo: memFree=123208828/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=605180 memory=584072 CPUtime=3511.67 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 129592 0 0 0 350227 940 0 0 20 0 1 0 73660026 619704320 146018 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 151295 146018 3360 2271 0 145933 0
Current children cumulated CPU time: 3511.67 s
Current children cumulated vsize: 605180 KiB
Current children cumulated memory: 584072 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 80588
/proc/meminfo: memFree=117034036/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=605180 memory=584072 CPUtime=3571.48 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 129592 0 0 0 356202 946 0 0 20 0 1 0 73660026 619704320 146018 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 151295 146018 3360 2271 0 145933 0
Current children cumulated CPU time: 3571.48 s
Current children cumulated vsize: 605180 KiB
Current children cumulated memory: 584072 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.37 4.15 4.11 5/263 80590
/proc/meminfo: memFree=111689204/131249996 swapFree=33010160/33010684
[pid=80263] ppid=80260 vsize=605180 memory=584072 CPUtime=3600.09 cores=4,6
/proc/80263/stat : 80263 (ExactPR-S) R 80260 80263 79272 0 -1 4194304 129592 0 0 0 359060 949 0 0 20 0 1 0 73660026 619704320 146018 18446744073709551615 94169719291904 94169728591941 140732541738480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94169730378048 94169730417128 94169757802496 140732541745537 140732541745674 140732541745674 140732541751276 0
/proc/80263/statm: 151295 146018 3360 2271 0 145933 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 605180 KiB
Current children cumulated memory: 584072 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.61 s, system=9.49705 s

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

Child status: 10

Real time (s): 3611.01
CPU time (s): 3600.11
CPU user time (s): 3590.61
CPU system time (s): 9.49705
CPU usage (%): 99.6981
Max. virtual memory (cumulated for all children) (KiB): 605180
Max. memory (cumulated for all children) (KiB): 584072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.61
system time used= 9.49705
maximum resident set size= 590400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129607
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= 178
involuntary context switches= 3267


# summary of solver processes directly reported to runsolver:
#   pid: 80263
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3590.61
#   total CPU system time (s): 9.49705

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.909 second user time and 15.8317 second system time

The end