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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=41667, runsolver pid=41661
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 0.97 2.46 3.45 5/268 41680
/proc/meminfo: memFree=130199224/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=54076 memory=15504 CPUtime=0.07 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 1968 0 0 0 7 0 0 0 20 0 1 0 45789217 55373824 3876 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 13519 3876 1632 2271 0 8157 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 54076 KiB
Current children cumulated memory: 15504 KiB

[startup+0.205585 s]*
/proc/loadavg: 0.97 2.46 3.45 5/268 41680
/proc/meminfo: memFree=130159896/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=70752 memory=33864 CPUtime=0.18 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 5883 0 0 0 17 1 0 0 20 0 1 0 45789217 72450048 8466 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 17688 8466 1728 2271 0 12326 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 70752 KiB
Current children cumulated memory: 33864 KiB

[startup+0.305649 s]*
/proc/loadavg: 0.97 2.46 3.45 5/268 41680
/proc/meminfo: memFree=129956196/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=103464 memory=62164 CPUtime=0.27 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 11829 0 0 0 25 2 0 0 20 0 1 0 45789217 105947136 15541 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 25866 15541 1792 2271 0 20504 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 103464 KiB
Current children cumulated memory: 62164 KiB

[startup+0.700186 s]
/proc/loadavg: 0.97 2.46 3.45 5/268 41680
/proc/meminfo: memFree=129956196/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=132988 memory=88404 CPUtime=0.66 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 18343 0 0 0 62 4 0 0 20 0 1 0 45789217 136179712 22101 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 33247 22101 1856 2271 0 27885 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 132988 KiB
Current children cumulated memory: 88404 KiB

[startup+1.50018 s]
/proc/loadavg: 0.97 2.46 3.45 5/268 41680
/proc/meminfo: memFree=129844308/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=132988 memory=88404 CPUtime=1.47 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 18343 0 0 0 140 7 0 0 20 0 1 0 45789217 136179712 22101 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 33247 22101 1856 2271 0 27885 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 132988 KiB
Current children cumulated memory: 88404 KiB

[startup+3.1058 s]
/proc/loadavg: 0.97 2.46 3.45 5/268 41680
/proc/meminfo: memFree=129845488/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=132988 memory=88404 CPUtime=3.06 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 18344 0 0 0 297 9 0 0 20 0 1 0 45789217 136179712 22101 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 33247 22101 1856 2271 0 27885 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 132988 KiB
Current children cumulated memory: 88404 KiB

[startup+6.30017 s]
/proc/loadavg: 1.21 2.49 3.46 5/268 41680
/proc/meminfo: memFree=129845728/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=132988 memory=88404 CPUtime=6.25 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 18345 0 0 0 609 16 0 0 20 0 1 0 45789217 136179712 22101 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 33247 22101 1856 2271 0 27885 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 132988 KiB
Current children cumulated memory: 88404 KiB

[startup+12.7002 s]
/proc/loadavg: 1.51 2.53 3.47 5/268 41680
/proc/meminfo: memFree=129845816/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=132988 memory=88404 CPUtime=12.63 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 18346 0 0 0 1237 26 0 0 20 0 1 0 45789217 136179712 22101 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 33247 22101 1856 2271 0 27885 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 132988 KiB
Current children cumulated memory: 88404 KiB

[startup+25.5002 s]
/proc/loadavg: 2.06 2.60 3.47 5/268 41680
/proc/meminfo: memFree=129845944/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=132988 memory=88404 CPUtime=25.41 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 18346 0 0 0 2491 50 0 0 20 0 1 0 45789217 136179712 22101 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 33247 22101 1856 2271 0 27885 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 132988 KiB
Current children cumulated memory: 88404 KiB

[startup+51.1055 s]
/proc/loadavg: 2.78 2.73 3.50 5/268 41681
/proc/meminfo: memFree=129845936/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=132988 memory=88404 CPUtime=50.95 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 18346 0 0 0 4999 96 0 0 20 0 1 0 45789217 136179712 22101 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 33247 22101 1856 2271 0 27885 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 132988 KiB
Current children cumulated memory: 88404 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 2.94 3.53 5/268 41682
/proc/meminfo: memFree=129551504/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=192256 memory=158020 CPUtime=102 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 24128 0 0 0 10083 117 0 0 20 0 1 0 45789217 196870144 39505 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 48064 39505 1856 2271 0 42702 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 192256 KiB
Current children cumulated memory: 158020 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 3.17 3.57 5/268 41684
/proc/meminfo: memFree=129468780/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=240900 memory=175996 CPUtime=161.85 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 26901 0 0 0 16064 121 0 0 20 0 1 0 45789217 246681600 43999 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 60225 43999 1856 2271 0 54863 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 240900 KiB
Current children cumulated memory: 175996 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.34 3.61 5/265 41689
/proc/meminfo: memFree=129456440/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=245296 memory=180348 CPUtime=221.7 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 28020 0 0 0 22048 122 0 0 20 0 1 0 45789217 251183104 45087 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 61324 45087 1856 2271 0 55962 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 245296 KiB
Current children cumulated memory: 180348 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.48 3.64 5/264 41696
/proc/meminfo: memFree=129387220/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=250140 memory=185212 CPUtime=281.56 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 29233 0 0 0 28032 124 0 0 20 0 1 0 45789217 256143360 46303 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 62535 46303 1856 2271 0 57173 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 250140 KiB
Current children cumulated memory: 185212 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 3.59 3.67 5/264 41698
/proc/meminfo: memFree=129380428/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=252136 memory=195484 CPUtime=341.41 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 29769 0 0 0 34016 125 0 0 20 0 1 0 45789217 258187264 48871 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 63034 48871 1856 2271 0 57672 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 252136 KiB
Current children cumulated memory: 195484 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.68 3.70 5/264 41700
/proc/meminfo: memFree=129353540/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=252520 memory=202020 CPUtime=401.25 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 29871 0 0 0 39999 126 0 0 20 0 1 0 45789217 258580480 50505 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 63130 50505 1856 2271 0 57768 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 252520 KiB
Current children cumulated memory: 202020 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.77 3.73 5/264 41702
/proc/meminfo: memFree=129363856/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=252764 memory=202276 CPUtime=461.1 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 29935 0 0 0 45983 127 0 0 20 0 1 0 45789217 258830336 50569 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 63191 50569 1856 2271 0 57829 0
Current children cumulated CPU time: 461.1 s

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

Current children cumulated memory: 257320 KiB

[startup+2922.3 s]
/proc/loadavg: 4.32 4.30 4.14 5/265 41836
/proc/meminfo: memFree=128981764/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=297532 memory=257320 CPUtime=2914.62 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 41370 0 0 0 291271 191 0 0 20 0 1 0 45789217 304672768 64330 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 74383 64330 1856 2271 0 69021 0
Current children cumulated CPU time: 2914.62 s
Current children cumulated vsize: 297532 KiB
Current children cumulated memory: 257320 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.26 4.13 5/264 41838
/proc/meminfo: memFree=128973788/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=297916 memory=257832 CPUtime=2974.46 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 41529 0 0 0 297254 192 0 0 20 0 1 0 45789217 305065984 64458 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 74479 64458 1856 2271 0 69117 0
Current children cumulated CPU time: 2974.46 s
Current children cumulated vsize: 297916 KiB
Current children cumulated memory: 257832 KiB

[startup+3042.3 s]
/proc/loadavg: 4.18 4.24 4.13 5/264 41840
/proc/meminfo: memFree=128966932/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=299260 memory=258984 CPUtime=3034.31 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 41835 0 0 0 303237 194 0 0 20 0 1 0 45789217 306442240 64746 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 74815 64746 1856 2271 0 69453 0
Current children cumulated CPU time: 3034.31 s
Current children cumulated vsize: 299260 KiB
Current children cumulated memory: 258984 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.21 4.12 5/264 41842
/proc/meminfo: memFree=128961712/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=300348 memory=260136 CPUtime=3094.15 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 42108 0 0 0 309218 197 0 0 20 0 1 0 45789217 307556352 65034 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 75087 65034 1856 2271 0 69725 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 300348 KiB
Current children cumulated memory: 260136 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.18 4.12 5/264 41844
/proc/meminfo: memFree=128957016/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=300348 memory=260136 CPUtime=3153.97 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 42109 0 0 0 315199 198 0 0 20 0 1 0 45789217 307556352 65034 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 75087 65034 1856 2271 0 69725 0
Current children cumulated CPU time: 3153.97 s
Current children cumulated vsize: 300348 KiB
Current children cumulated memory: 260136 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.18 4.12 5/265 41849
/proc/meminfo: memFree=128963208/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=301372 memory=261160 CPUtime=3213.79 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 42364 0 0 0 321180 199 0 0 20 0 1 0 45789217 308604928 65290 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 75343 65290 1856 2271 0 69981 0
Current children cumulated CPU time: 3213.79 s
Current children cumulated vsize: 301372 KiB
Current children cumulated memory: 261160 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/265 41856
/proc/meminfo: memFree=128962572/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=303360 memory=263080 CPUtime=3273.62 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 42863 0 0 0 327161 201 0 0 20 0 1 0 45789217 310640640 65770 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 75840 65770 1856 2271 0 70478 0
Current children cumulated CPU time: 3273.62 s
Current children cumulated vsize: 303360 KiB
Current children cumulated memory: 263080 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/265 41858
/proc/meminfo: memFree=128950464/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=303744 memory=263464 CPUtime=3333.45 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 42955 0 0 0 333142 203 0 0 20 0 1 0 45789217 311033856 65866 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 75936 65866 1856 2271 0 70574 0
Current children cumulated CPU time: 3333.45 s
Current children cumulated vsize: 303744 KiB
Current children cumulated memory: 263464 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/264 41860
/proc/meminfo: memFree=128927736/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=303744 memory=263464 CPUtime=3393.27 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 42956 0 0 0 339123 204 0 0 20 0 1 0 45789217 311033856 65866 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 75936 65866 1856 2271 0 70574 0
Current children cumulated CPU time: 3393.27 s
Current children cumulated vsize: 303744 KiB
Current children cumulated memory: 263464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/264 41862
/proc/meminfo: memFree=128919620/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=305216 memory=265000 CPUtime=3453.09 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 43322 0 0 0 345103 206 0 0 20 0 1 0 45789217 312541184 66250 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 76304 66250 1856 2271 0 70942 0
Current children cumulated CPU time: 3453.09 s
Current children cumulated vsize: 305216 KiB
Current children cumulated memory: 265000 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/263 41864
/proc/meminfo: memFree=128912108/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=305984 memory=265768 CPUtime=3512.92 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 43517 0 0 0 351084 208 0 0 20 0 1 0 45789217 313327616 66442 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 76496 66442 1856 2271 0 71134 0
Current children cumulated CPU time: 3512.92 s
Current children cumulated vsize: 305984 KiB
Current children cumulated memory: 265768 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 41867
/proc/meminfo: memFree=128911792/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=305984 memory=265768 CPUtime=3572.74 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 43519 0 0 0 357065 209 0 0 20 0 1 0 45789217 313327616 66442 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 76496 66442 1856 2271 0 71134 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 305984 KiB
Current children cumulated memory: 265768 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.14 4.13 4.10 5/263 41869
/proc/meminfo: memFree=128911492/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=307392 memory=267304 CPUtime=3600.07 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 43876 0 0 0 359797 210 0 0 20 0 1 0 45789217 314769408 66826 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 76848 66826 1856 2271 0 71486 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 307392 KiB
Current children cumulated memory: 267304 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.99 s, system=2.10828 s

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

[startup+3609.7 s]
/proc/loadavg: 4.14 4.13 4.10 5/263 41869
/proc/meminfo: memFree=128911492/131249996 swapFree=33005272/33010684
[pid=41667] ppid=41661 vsize=307392 memory=267304 CPUtime=3600.07 cores=0,2
/proc/41667/stat : 41667 (ExactPR) R 41661 41667 41611 0 -1 4194304 43876 0 0 0 359797 210 0 0 20 0 1 0 45789217 314769408 66826 18446744073709551615 94582658027520 94582667327365 140735877424032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94582669113664 94582669152744 94582708056064 140735877425541 140735877425676 140735877425676 140735877431278 0
/proc/41667/statm: 76848 66826 1856 2271 0 71486 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 307392 KiB
Current children cumulated memory: 267304 KiB

Child status: 10

Real time (s): 3609.71
CPU time (s): 3600.1
CPU user time (s): 3597.99
CPU system time (s): 2.10828
CPU usage (%): 99.7336
Max. virtual memory (cumulated for all children) (KiB): 307392
Max. memory (cumulated for all children) (KiB): 267304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.99
system time used= 2.10828
maximum resident set size= 267944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43893
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= 239
involuntary context switches= 7963


# summary of solver processes directly reported to runsolver:
#   pid: 41667
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3597.99
#   total CPU system time (s): 2.10828

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61974 second user time and 15.7553 second system time

The end