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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4483531-1751550375/watcher-4483531-1751550375 -o /tmp/evaluation-result-4483531-1751550375/solver-4483531-1751550375 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751547548-76725 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=254887363 --ls=360 HOME/instance-4483531-1751550375.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.el
solver pid=77308, runsolver pid=77305
Current StackSize limit: 8192 KiB


[startup+0.100031 s]*
/proc/loadavg: 4.04 4.09 4.01 5/265 77309
/proc/meminfo: memFree=112460876/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=34704 memory=11112 CPUtime=0.1 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 1992 0 0 0 10 0 0 0 20 0 1 0 70716166 35536896 2778 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+0.205334 s]*
/proc/loadavg: 4.04 4.09 4.01 5/265 77309
/proc/meminfo: memFree=112460448/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=34704 memory=11112 CPUtime=0.2 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 1992 0 0 0 20 0 0 0 20 0 1 0 70716166 35536896 2778 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+0.30467 s]*
/proc/loadavg: 4.04 4.09 4.01 5/265 77309
/proc/meminfo: memFree=112460448/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=34704 memory=11112 CPUtime=0.3 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 1992 0 0 0 30 0 0 0 20 0 1 0 70716166 35536896 2778 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+0.700128 s]
/proc/loadavg: 4.04 4.09 4.01 5/265 77309
/proc/meminfo: memFree=112460448/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=34704 memory=11112 CPUtime=0.69 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 1992 0 0 0 69 0 0 0 20 0 1 0 70716166 35536896 2778 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+1.50012 s]
/proc/loadavg: 4.04 4.09 4.01 5/265 77309
/proc/meminfo: memFree=112460448/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=34704 memory=11112 CPUtime=1.49 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 1992 0 0 0 149 0 0 0 20 0 1 0 70716166 35536896 2778 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 8676 2778 1024 1200 0 7156 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11112 KiB

[startup+3.10518 s]
/proc/loadavg: 4.04 4.09 4.01 5/265 77309
/proc/meminfo: memFree=112460952/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=34704 memory=11240 CPUtime=3.09 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 1997 0 0 0 309 0 0 0 20 0 1 0 70716166 35536896 2810 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 8676 2810 1024 1200 0 7156 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11240 KiB

[startup+6.30012 s]
/proc/loadavg: 4.04 4.08 4.01 5/265 77309
/proc/meminfo: memFree=112461456/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=34704 memory=11240 CPUtime=6.28 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 1997 0 0 0 628 0 0 0 20 0 1 0 70716166 35536896 2810 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 8676 2810 1024 1200 0 7156 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11240 KiB

[startup+12.7001 s]
/proc/loadavg: 4.03 4.08 4.01 5/265 77309
/proc/meminfo: memFree=112454020/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=34704 memory=11240 CPUtime=12.66 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 1997 0 0 0 1266 0 0 0 20 0 1 0 70716166 35536896 2810 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 8676 2810 1024 1200 0 7156 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11240 KiB

[startup+25.5001 s]
/proc/loadavg: 4.03 4.08 4.01 5/265 77309
/proc/meminfo: memFree=112438392/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=34704 memory=11240 CPUtime=25.44 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 1997 0 0 0 2544 0 0 0 20 0 1 0 70716166 35536896 2810 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 8676 2810 1024 1200 0 7156 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 11240 KiB

[startup+51.1052 s]
/proc/loadavg: 4.08 4.09 4.01 5/265 77310
/proc/meminfo: memFree=112445532/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=34704 memory=12136 CPUtime=50.98 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 1999 0 0 0 5098 0 0 0 20 0 1 0 70716166 35536896 3034 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 8676 3034 1024 1200 0 7156 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 12136 KiB

[startup+102.3 s]
/proc/loadavg: 4.03 4.07 4.01 5/264 77316
/proc/meminfo: memFree=112448216/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=34704 memory=12136 CPUtime=102.06 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 2007 0 0 0 10206 0 0 0 20 0 1 0 70716166 35536896 3034 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 8676 3034 1024 1200 0 7156 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 12136 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.09 4.01 5/264 77318
/proc/meminfo: memFree=112490512/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=34704 memory=12136 CPUtime=161.93 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 2011 0 0 0 16193 0 0 0 20 0 1 0 70716166 35536896 3034 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 8676 3034 1024 1200 0 7156 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 12136 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/266 77322
/proc/meminfo: memFree=112493712/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=34704 memory=12136 CPUtime=221.79 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 2013 0 0 0 22179 0 0 0 20 0 1 0 70716166 35536896 3034 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 8676 3034 1024 1200 0 7156 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 12136 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.08 4.01 5/266 77328
/proc/meminfo: memFree=112486016/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=34704 memory=12136 CPUtime=281.66 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 2015 0 0 0 28166 0 0 0 20 0 1 0 70716166 35536896 3034 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 8676 3034 1024 1200 0 7156 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 12136 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.08 4.01 5/266 77375
/proc/meminfo: memFree=112493160/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=34704 memory=12136 CPUtime=341.5 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 2015 0 0 0 34150 0 0 0 20 0 1 0 70716166 35536896 3034 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 8676 3034 1024 1200 0 7156 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 34704 KiB
Current children cumulated memory: 12136 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.08 4.01 5/266 77377
/proc/meminfo: memFree=112351328/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=144888 memory=121976 CPUtime=401.31 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 21303 0 0 0 40113 18 0 0 20 0 1 0 70716166 148365312 30494 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 36222 30494 1280 1200 0 34702 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 144888 KiB
Current children cumulated memory: 121976 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/267 77380
/proc/meminfo: memFree=112330164/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=163320 memory=140152 CPUtime=461.13 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 25860 0 0 0 46081 32 0 0 20 0 1 0 70716166 167239680 35038 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 40830 35038 1280 1200 0 39310 0
Current children cumulated CPU time: 461.13 s

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

/proc/loadavg: 4.10 4.09 4.02 5/264 77532
/proc/meminfo: memFree=112942340/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=207844 memory=186616 CPUtime=820.01 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 36848 0 0 0 81892 109 0 0 20 0 1 0 70716166 212832256 46654 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 51961 46654 1280 1200 0 50441 0
Current children cumulated CPU time: 820.01 s
Current children cumulated vsize: 207844 KiB
Current children cumulated memory: 186616 KiB

[startup+882.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/264 77536
/proc/meminfo: memFree=112927216/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=212724 memory=191480 CPUtime=879.86 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 38083 0 0 0 87865 121 0 0 20 0 1 0 70716166 217829376 47870 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 53181 47870 1280 1200 0 51661 0
Current children cumulated CPU time: 879.86 s
Current children cumulated vsize: 212724 KiB
Current children cumulated memory: 191480 KiB

[startup+942.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/264 77549
/proc/meminfo: memFree=112917388/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=215540 memory=194424 CPUtime=939.72 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 38793 0 0 0 93840 132 0 0 20 0 1 0 70716166 220712960 48606 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 53885 48606 1280 1200 0 52365 0
Current children cumulated CPU time: 939.72 s
Current children cumulated vsize: 215540 KiB
Current children cumulated memory: 194424 KiB

[startup+1002.3 s]
/proc/loadavg: 4.34 4.16 4.05 5/264 77552
/proc/meminfo: memFree=112926608/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=219476 memory=198264 CPUtime=999.57 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 39752 0 0 0 99815 142 0 0 20 0 1 0 70716166 224743424 49566 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 54869 49566 1280 1200 0 53349 0
Current children cumulated CPU time: 999.57 s
Current children cumulated vsize: 219476 KiB
Current children cumulated memory: 198264 KiB

[startup+1062.3 s]
/proc/loadavg: 4.16 4.14 4.05 5/264 77555
/proc/meminfo: memFree=112824004/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=221080 memory=199800 CPUtime=1059.42 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 40157 0 0 0 105788 154 0 0 20 0 1 0 70716166 226385920 49950 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 55270 49950 1280 1200 0 53750 0
Current children cumulated CPU time: 1059.42 s
Current children cumulated vsize: 221080 KiB
Current children cumulated memory: 199800 KiB

[startup+1122.3 s]
/proc/loadavg: 4.23 4.16 4.06 5/264 77557
/proc/meminfo: memFree=112741064/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=221972 memory=201336 CPUtime=1119.27 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 40419 0 0 0 111762 165 0 0 20 0 1 0 70716166 227299328 50334 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 55493 50334 1280 1200 0 53973 0
Current children cumulated CPU time: 1119.27 s
Current children cumulated vsize: 221972 KiB
Current children cumulated memory: 201336 KiB

[startup+1182.3 s]
/proc/loadavg: 4.08 4.13 4.05 5/264 77604
/proc/meminfo: memFree=112268852/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=223336 memory=202616 CPUtime=1179.12 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 40807 0 0 0 117734 178 0 0 20 0 1 0 70716166 228696064 50654 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 55834 50654 1280 1200 0 54314 0
Current children cumulated CPU time: 1179.12 s
Current children cumulated vsize: 223336 KiB
Current children cumulated memory: 202616 KiB

[startup+1242.3 s]
/proc/loadavg: 4.14 4.13 4.06 5/264 77606
/proc/meminfo: memFree=112039680/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=225620 memory=204920 CPUtime=1238.97 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 41413 0 0 0 123707 190 0 0 20 0 1 0 70716166 231034880 51230 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 56405 51230 1280 1200 0 54885 0
Current children cumulated CPU time: 1238.97 s
Current children cumulated vsize: 225620 KiB
Current children cumulated memory: 204920 KiB

[startup+1302.3 s]
/proc/loadavg: 4.11 4.12 4.06 5/264 77609
/proc/meminfo: memFree=111946320/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=226676 memory=205944 CPUtime=1298.81 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 41653 0 0 0 129679 202 0 0 20 0 1 0 70716166 232116224 51486 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 56669 51486 1280 1200 0 55149 0
Current children cumulated CPU time: 1298.81 s
Current children cumulated vsize: 226676 KiB
Current children cumulated memory: 205944 KiB

[startup+1316.85 s]
# the end of solver process 77308 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1311.29 s, system=2.05011 s

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

[startup+1305.6 s]
/proc/loadavg: 4.11 4.12 4.06 5/264 77609
/proc/meminfo: memFree=111946572/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=226676 memory=205944 CPUtime=1302.11 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 41653 0 0 0 130008 203 0 0 20 0 1 0 70716166 232116224 51486 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 56669 51486 1280 1200 0 55149 0
Current children cumulated CPU time: 1302.11 s
Current children cumulated vsize: 226676 KiB
Current children cumulated memory: 205944 KiB

[startup+1312 s]*
/proc/loadavg: 4.09 4.12 4.06 5/264 77609
/proc/meminfo: memFree=111946580/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=226676 memory=205944 CPUtime=1308.5 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 41653 0 0 0 130646 204 0 0 20 0 1 0 70716166 232116224 51486 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 56669 51486 1280 1200 0 55149 0
Current children cumulated CPU time: 1308.5 s
Current children cumulated vsize: 226676 KiB
Current children cumulated memory: 205944 KiB

[startup+1315.2 s]
/proc/loadavg: 4.09 4.12 4.06 5/264 77609
/proc/meminfo: memFree=111938768/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=226676 memory=205944 CPUtime=1311.68 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 41653 0 0 0 130964 204 0 0 20 0 1 0 70716166 232116224 51486 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 56669 51486 1280 1200 0 55149 0
Current children cumulated CPU time: 1311.68 s
Current children cumulated vsize: 226676 KiB
Current children cumulated memory: 205944 KiB

[startup+1316 s]*
/proc/loadavg: 4.08 4.11 4.06 5/264 77609
/proc/meminfo: memFree=111938768/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=226676 memory=205944 CPUtime=1312.48 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 41653 0 0 0 131044 204 0 0 20 0 1 0 70716166 232116224 51486 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 56669 51486 1280 1200 0 55149 0
Current children cumulated CPU time: 1312.48 s
Current children cumulated vsize: 226676 KiB
Current children cumulated memory: 205944 KiB

[startup+1316.4 s]
/proc/loadavg: 4.08 4.11 4.06 5/264 77609
/proc/meminfo: memFree=111938768/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=226676 memory=205944 CPUtime=1312.88 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 41653 0 0 0 131084 204 0 0 20 0 1 0 70716166 232116224 51486 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 56669 51486 1280 1200 0 55149 0
Current children cumulated CPU time: 1312.88 s
Current children cumulated vsize: 226676 KiB
Current children cumulated memory: 205944 KiB

[startup+1316.8 s]
/proc/loadavg: 4.08 4.11 4.06 5/264 77609
/proc/meminfo: memFree=111938768/131249996 swapFree=33010160/33010684
[pid=77308] ppid=77305 vsize=226676 memory=205944 CPUtime=1313.28 cores=0,2
/proc/77308/stat : 77308 (Exact) R 77305 77308 76715 0 -1 4194304 41653 0 0 0 131124 204 0 0 20 0 1 0 70716166 232116224 51486 18446744073709551615 4198400 9112445 140728978190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45740032 140728978196795 140728978196973 140728978196973 140728978202575 0
/proc/77308/statm: 56669 51486 1280 1200 0 55149 0
Current children cumulated CPU time: 1313.28 s
Current children cumulated vsize: 226676 KiB
Current children cumulated memory: 205944 KiB

Child status: 30

Real time (s): 1316.85
CPU time (s): 1313.34
CPU user time (s): 1311.29
CPU system time (s): 2.05011
CPU usage (%): 99.7334
Max. virtual memory (cumulated for all children) (KiB): 226676
Max. memory (cumulated for all children) (KiB): 205944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1311.29
system time used= 2.05011
maximum resident set size= 206072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41655
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= 77
involuntary context switches= 2932


# summary of solver processes directly reported to runsolver:
#   pid: 77308
#   total CPU time (s): 1313.34
#   total CPU user time (s): 1311.29
#   total CPU system time (s): 2.05011

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.42945 second user time and 5.26349 second system time

The end