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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488609-1751334812/watcher-4488609-1751334812 -o /tmp/evaluation-result-4488609-1751334812/solver-4488609-1751334812 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751326014-47593 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4488609-1751334812.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=50124, runsolver pid=50121
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.13 4.14 4.10 5/265 50125
/proc/meminfo: memFree=120246372/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=57064 memory=16404 CPUtime=0.07 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 2725 0 0 0 6 1 0 0 20 0 1 0 49158936 58433536 4101 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 14266 4101 1856 2271 0 8904 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 57064 KiB
Current children cumulated memory: 16404 KiB

[startup+0.205449 s]*
/proc/loadavg: 4.13 4.14 4.10 5/265 50125
/proc/meminfo: memFree=120246372/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=57064 memory=16404 CPUtime=0.17 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 2725 0 0 0 15 2 0 0 20 0 1 0 49158936 58433536 4101 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 14266 4101 1856 2271 0 8904 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 57064 KiB
Current children cumulated memory: 16404 KiB

[startup+0.305088 s]*
/proc/loadavg: 4.13 4.14 4.10 5/265 50125
/proc/meminfo: memFree=120246372/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=57064 memory=16404 CPUtime=0.28 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 2725 0 0 0 23 5 0 0 20 0 1 0 49158936 58433536 4101 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 14266 4101 1856 2271 0 8904 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 57064 KiB
Current children cumulated memory: 16404 KiB

[startup+0.700125 s]
/proc/loadavg: 4.13 4.14 4.10 5/265 50125
/proc/meminfo: memFree=120246624/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=57064 memory=16404 CPUtime=0.66 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 2725 0 0 0 55 11 0 0 20 0 1 0 49158936 58433536 4101 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 14266 4101 1856 2271 0 8904 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 57064 KiB
Current children cumulated memory: 16404 KiB

[startup+1.50012 s]
/proc/loadavg: 4.13 4.14 4.10 5/265 50125
/proc/meminfo: memFree=120246624/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=57064 memory=16404 CPUtime=1.46 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 2725 0 0 0 124 22 0 0 20 0 1 0 49158936 58433536 4101 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 14266 4101 1856 2271 0 8904 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 57064 KiB
Current children cumulated memory: 16404 KiB

[startup+3.10523 s]
/proc/loadavg: 4.13 4.14 4.10 5/265 50126
/proc/meminfo: memFree=120246876/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=57064 memory=16404 CPUtime=3.07 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 2725 0 0 0 263 44 0 0 20 0 1 0 49158936 58433536 4101 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 14266 4101 1856 2271 0 8904 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 57064 KiB
Current children cumulated memory: 16404 KiB

[startup+6.30015 s]
/proc/loadavg: 4.12 4.14 4.10 5/265 50126
/proc/meminfo: memFree=120250196/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=57064 memory=16404 CPUtime=6.25 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 2725 0 0 0 533 92 0 0 20 0 1 0 49158936 58433536 4101 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 14266 4101 1856 2271 0 8904 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 57064 KiB
Current children cumulated memory: 16404 KiB

[startup+12.7001 s]
/proc/loadavg: 4.11 4.13 4.10 5/265 50126
/proc/meminfo: memFree=120250452/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=57064 memory=16404 CPUtime=12.64 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 2725 0 0 0 1074 190 0 0 20 0 1 0 49158936 58433536 4101 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 14266 4101 1856 2271 0 8904 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 57064 KiB
Current children cumulated memory: 16404 KiB

[startup+25.5001 s]
/proc/loadavg: 4.09 4.13 4.10 5/265 50126
/proc/meminfo: memFree=120249092/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=57064 memory=16404 CPUtime=25.41 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 2725 0 0 0 2140 401 0 0 20 0 1 0 49158936 58433536 4101 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 14266 4101 1856 2271 0 8904 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 57064 KiB
Current children cumulated memory: 16404 KiB

[startup+51.1052 s]
/proc/loadavg: 4.12 4.13 4.10 5/265 50126
/proc/meminfo: memFree=120251964/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=57064 memory=16404 CPUtime=50.96 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 2725 0 0 0 4286 810 0 0 20 0 1 0 49158936 58433536 4101 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 14266 4101 1856 2271 0 8904 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 57064 KiB
Current children cumulated memory: 16404 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/264 50129
/proc/meminfo: memFree=120127288/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=158396 memory=113292 CPUtime=102.02 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 19539 0 0 0 9232 970 0 0 20 0 1 0 49158936 162197504 28323 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 39599 28323 1888 2271 0 34237 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 158396 KiB
Current children cumulated memory: 113292 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/264 50131
/proc/meminfo: memFree=120122824/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=167188 memory=122252 CPUtime=161.86 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 21787 0 0 0 15194 992 0 0 20 0 1 0 49158936 171200512 30563 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 41797 30563 1888 2271 0 36435 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 167188 KiB
Current children cumulated memory: 122252 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 50133
/proc/meminfo: memFree=120083540/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=179020 memory=136116 CPUtime=221.7 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 24770 0 0 0 21153 1017 0 0 20 0 1 0 49158936 183316480 34029 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 44755 34029 1888 2271 0 39393 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 179020 KiB
Current children cumulated memory: 136116 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/263 50135
/proc/meminfo: memFree=120090812/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=185872 memory=143412 CPUtime=281.54 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 26585 0 0 0 27115 1039 0 0 20 0 1 0 49158936 190332928 35853 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 46468 35853 1888 2271 0 41106 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 185872 KiB
Current children cumulated memory: 143412 KiB

[startup+342.3 s]
/proc/loadavg: 4.33 4.19 4.12 5/263 50137
/proc/meminfo: memFree=120087772/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=191248 memory=149044 CPUtime=341.38 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 28018 0 0 0 33077 1061 0 0 20 0 1 0 49158936 195837952 37261 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 47812 37261 1888 2271 0 42450 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 191248 KiB
Current children cumulated memory: 149044 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/263 50139
/proc/meminfo: memFree=120068276/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=194832 memory=156764 CPUtime=401.21 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 28922 0 0 0 39037 1084 0 0 20 0 1 0 49158936 199507968 39191 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 48708 39191 1888 2271 0 43346 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 194832 KiB
Current children cumulated memory: 156764 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/264 50155
/proc/meminfo: memFree=120074592/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=198640 memory=160732 CPUtime=461.04 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 29927 0 0 0 44999 1105 0 0 20 0 1 0 49158936 203407360 40183 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 49660 40183 1888 2271 0 44298 0

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

Current children cumulated memory: 234288 KiB

[startup+2862.3 s]
/proc/loadavg: 2.32 2.96 3.50 3/251 50378
/proc/meminfo: memFree=126404392/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=260416 memory=234672 CPUtime=2854.42 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 44791 0 0 0 283437 2005 0 0 20 0 1 0 49158936 266665984 58668 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 65104 58668 1888 2271 0 59742 0
Current children cumulated CPU time: 2854.42 s
Current children cumulated vsize: 260416 KiB
Current children cumulated memory: 234672 KiB

[startup+2922.3 s]
/proc/loadavg: 2.24 2.82 3.42 3/251 50380
/proc/meminfo: memFree=126395564/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=262976 memory=236592 CPUtime=2914.28 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 45275 0 0 0 289400 2028 0 0 20 0 1 0 49158936 269287424 59148 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 65744 59148 1888 2271 0 60382 0
Current children cumulated CPU time: 2914.28 s
Current children cumulated vsize: 262976 KiB
Current children cumulated memory: 236592 KiB

[startup+2982.3 s]
/proc/loadavg: 2.15 2.68 3.33 3/252 50383
/proc/meminfo: memFree=126388028/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=263748 memory=237360 CPUtime=2974.14 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 45467 0 0 0 295363 2051 0 0 20 0 1 0 49158936 270077952 59340 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 65937 59340 1888 2271 0 60575 0
Current children cumulated CPU time: 2974.14 s
Current children cumulated vsize: 263748 KiB
Current children cumulated memory: 237360 KiB

[startup+3042.3 s]
/proc/loadavg: 2.09 2.57 3.25 3/253 50390
/proc/meminfo: memFree=126388156/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=264004 memory=237616 CPUtime=3034 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 45532 0 0 0 301328 2072 0 0 20 0 1 0 49158936 270340096 59404 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 66001 59404 1888 2271 0 60639 0
Current children cumulated CPU time: 3034 s
Current children cumulated vsize: 264004 KiB
Current children cumulated memory: 237616 KiB

[startup+3102.3 s]
/proc/loadavg: 2.13 2.49 3.18 3/253 50392
/proc/meminfo: memFree=126380464/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=264900 memory=238512 CPUtime=3093.86 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 45754 0 0 0 307296 2090 0 0 20 0 1 0 49158936 271257600 59628 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 66225 59628 1888 2271 0 60863 0
Current children cumulated CPU time: 3093.86 s
Current children cumulated vsize: 264900 KiB
Current children cumulated memory: 238512 KiB

[startup+3162.3 s]
/proc/loadavg: 2.10 2.42 3.11 3/252 50394
/proc/meminfo: memFree=126380740/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=265732 memory=239408 CPUtime=3153.73 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 45967 0 0 0 313259 2114 0 0 20 0 1 0 49158936 272109568 59852 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 66433 59852 1888 2271 0 61071 0
Current children cumulated CPU time: 3153.73 s
Current children cumulated vsize: 265732 KiB
Current children cumulated memory: 239408 KiB

[startup+3222.3 s]
/proc/loadavg: 2.21 2.39 3.05 3/252 50396
/proc/meminfo: memFree=126381276/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=266116 memory=239792 CPUtime=3213.59 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 46059 0 0 0 319226 2133 0 0 20 0 1 0 49158936 272502784 59948 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 66529 59948 1888 2271 0 61167 0
Current children cumulated CPU time: 3213.59 s
Current children cumulated vsize: 266116 KiB
Current children cumulated memory: 239792 KiB

[startup+3282.3 s]
/proc/loadavg: 2.13 2.33 2.99 3/251 50398
/proc/meminfo: memFree=126381152/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=267524 memory=241200 CPUtime=3273.45 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 46405 0 0 0 325188 2157 0 0 20 0 1 0 49158936 273944576 60300 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 66881 60300 1888 2271 0 61519 0
Current children cumulated CPU time: 3273.45 s
Current children cumulated vsize: 267524 KiB
Current children cumulated memory: 241200 KiB

[startup+3342.3 s]
/proc/loadavg: 2.09 2.28 2.93 3/252 50401
/proc/meminfo: memFree=126372308/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=268228 memory=242352 CPUtime=3333.31 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 46548 0 0 0 331154 2177 0 0 20 0 1 0 49158936 274665472 60588 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 67057 60588 1888 2271 0 61695 0
Current children cumulated CPU time: 3333.31 s
Current children cumulated vsize: 268228 KiB
Current children cumulated memory: 242352 KiB

[startup+3402.3 s]
/proc/loadavg: 2.14 2.26 2.88 3/251 50403
/proc/meminfo: memFree=126353504/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=311444 memory=255972 CPUtime=3393.16 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 47828 0 0 0 337117 2199 0 0 20 0 1 0 49158936 318918656 63993 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 77861 63993 1888 2271 0 72499 0
Current children cumulated CPU time: 3393.16 s
Current children cumulated vsize: 311444 KiB
Current children cumulated memory: 255972 KiB

[startup+3462.3 s]
/proc/loadavg: 2.10 2.22 2.83 3/252 50409
/proc/meminfo: memFree=126345480/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=312468 memory=256996 CPUtime=3453.04 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 48081 0 0 0 343080 2224 0 0 20 0 1 0 49158936 319967232 64249 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 78117 64249 1888 2271 0 72755 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 312468 KiB
Current children cumulated memory: 256996 KiB

[startup+3522.3 s]
/proc/loadavg: 2.15 2.21 2.78 3/252 50411
/proc/meminfo: memFree=126343796/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=314132 memory=258148 CPUtime=3512.85 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 48385 0 0 0 349038 2247 0 0 20 0 1 0 49158936 321671168 64537 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 78533 64537 1888 2271 0 73171 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 314132 KiB
Current children cumulated memory: 258148 KiB

[startup+3582.3 s]
/proc/loadavg: 2.12 2.19 2.74 3/252 50413
/proc/meminfo: memFree=126343916/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=314132 memory=258276 CPUtime=3572.67 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 48418 0 0 0 354998 2269 0 0 20 0 1 0 49158936 321671168 64569 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 78533 64569 1888 2271 0 73171 0
Current children cumulated CPU time: 3572.67 s
Current children cumulated vsize: 314132 KiB
Current children cumulated memory: 258276 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 2.08 2.17 2.72 3/251 50413
/proc/meminfo: memFree=126343948/131249996 swapFree=33010684/33010684
[pid=50124] ppid=50121 vsize=314132 memory=258276 CPUtime=3600.09 cores=0,2
/proc/50124/stat : 50124 (ExactPR) R 50121 50124 47583 0 -1 4194304 48418 0 0 0 357726 2283 0 0 20 0 1 0 49158936 321671168 64569 18446744073709551615 94518379085824 94518388385669 140721639373584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94518390171968 94518390211048 94518416478208 140721639381381 140721639381516 140721639381516 140721639387118 0
/proc/50124/statm: 78533 64569 1888 2271 0 73171 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 314132 KiB
Current children cumulated memory: 258276 KiB

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

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

# cumulated CPU time of all completed processes:  user=3577.26 s, system=22.8386 s

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

Child status: 10

Real time (s): 3609.8
CPU time (s): 3600.1
CPU user time (s): 3577.26
CPU system time (s): 22.8386
CPU usage (%): 99.7312
Max. virtual memory (cumulated for all children) (KiB): 314132
Max. memory (cumulated for all children) (KiB): 258276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.26
system time used= 22.8386
maximum resident set size= 304080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48434
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= 183
involuntary context switches= 4828


# summary of solver processes directly reported to runsolver:
#   pid: 50124
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3577.26
#   total CPU system time (s): 22.8386

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62352 second user time and 14.5507 second system time

The end