runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (61360 MiB free)
  memory of node 1: 64465 MiB (63113 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100085 s]*
/proc/loadavg: 4.31 4.25 4.19 5/250 53333
/proc/meminfo: memFree=127455528/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=51304 memory=10368 CPUtime=0.08 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 1207 0 0 0 8 0 0 0 20 0 1 0 56253944 52535296 2592 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 12826 2592 1600 2271 0 7464 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 51304 KiB
Current children cumulated memory: 10368 KiB

[startup+0.216235 s]*
/proc/loadavg: 4.31 4.25 4.19 5/250 53333
/proc/meminfo: memFree=127453512/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=53284 memory=14844 CPUtime=0.19 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 1811 0 0 0 19 0 0 0 20 0 1 0 56253944 54562816 3711 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 13321 3711 1600 2271 0 7959 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 53284 KiB
Current children cumulated memory: 14844 KiB

[startup+0.312913 s]*
/proc/loadavg: 4.31 4.25 4.19 5/250 53333
/proc/meminfo: memFree=127452756/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=54996 memory=16508 CPUtime=0.29 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 2262 0 0 0 29 0 0 0 20 0 1 0 56253944 56315904 4127 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 13749 4127 1600 2271 0 8387 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 54996 KiB
Current children cumulated memory: 16508 KiB

[startup+0.700308 s]
/proc/loadavg: 4.31 4.25 4.19 5/250 53333
/proc/meminfo: memFree=127445952/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=91876 memory=53988 CPUtime=0.66 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 11851 0 0 0 62 4 0 0 20 0 1 0 56253944 94081024 13497 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 22969 13497 1792 2271 0 17607 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 91876 KiB
Current children cumulated memory: 53988 KiB

[startup+1.50031 s]
/proc/loadavg: 4.31 4.25 4.19 5/250 53333
/proc/meminfo: memFree=127414388/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=149608 memory=107364 CPUtime=1.45 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 23944 0 0 0 138 7 0 0 20 0 1 0 56253944 153198592 26809 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 37402 26841 3136 2271 0 32040 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 149608 KiB
Current children cumulated memory: 107364 KiB

[startup+3.11266 s]
/proc/loadavg: 4.31 4.25 4.19 5/250 53333
/proc/meminfo: memFree=127189612/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=331756 memory=287252 CPUtime=3.06 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 66810 0 0 0 291 15 0 0 20 0 1 0 56253944 339718144 71813 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 82939 71813 3328 2271 0 77577 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 331756 KiB
Current children cumulated memory: 287252 KiB

[startup+6.30029 s]
/proc/loadavg: 4.29 4.25 4.19 5/250 53333
/proc/meminfo: memFree=127190368/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=331756 memory=287252 CPUtime=6.24 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 66816 0 0 0 609 15 0 0 20 0 1 0 56253944 339718144 71813 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 82939 71813 3328 2271 0 77577 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 331756 KiB
Current children cumulated memory: 287252 KiB

[startup+12.7003 s]
/proc/loadavg: 4.26 4.24 4.19 5/250 53333
/proc/meminfo: memFree=127191928/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=331756 memory=287252 CPUtime=12.63 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 66820 0 0 0 1247 16 0 0 20 0 1 0 56253944 339718144 71813 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 82939 71813 3328 2271 0 77577 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 331756 KiB
Current children cumulated memory: 287252 KiB

[startup+25.5003 s]
/proc/loadavg: 4.20 4.23 4.18 5/250 53333
/proc/meminfo: memFree=127192724/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=332728 memory=288148 CPUtime=25.38 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 67063 0 0 0 2522 16 0 0 20 0 1 0 56253944 340713472 72037 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 83182 72037 3328 2271 0 77820 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 332728 KiB
Current children cumulated memory: 288148 KiB

[startup+51.1129 s]
/proc/loadavg: 4.20 4.23 4.18 5/250 53334
/proc/meminfo: memFree=127161204/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=332728 memory=288148 CPUtime=50.91 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 67063 0 0 0 5075 16 0 0 20 0 1 0 56253944 340713472 72037 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 83182 72037 3328 2271 0 77820 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 332728 KiB
Current children cumulated memory: 288148 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.19 4.17 5/250 53336
/proc/meminfo: memFree=127122336/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=363784 memory=310720 CPUtime=101.94 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 71665 0 0 0 10177 17 0 0 20 0 1 0 56253944 372514816 77680 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 90946 77680 3328 2271 0 85584 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 363784 KiB
Current children cumulated memory: 310720 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/250 53338
/proc/meminfo: memFree=127126908/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=387952 memory=323264 CPUtime=161.76 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 74823 0 0 0 16158 18 0 0 20 0 1 0 56253944 397262848 80816 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 96988 80816 3328 2271 0 91626 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 387952 KiB
Current children cumulated memory: 323264 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/250 53340
/proc/meminfo: memFree=127117548/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=387952 memory=325184 CPUtime=221.56 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 74828 0 0 0 22138 18 0 0 20 0 1 0 56253944 397262848 81296 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 96988 81296 3328 2271 0 91626 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 387952 KiB
Current children cumulated memory: 325184 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.15 4.16 5/250 53342
/proc/meminfo: memFree=127093144/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=387952 memory=334016 CPUtime=281.38 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 74830 0 0 0 28119 19 0 0 20 0 1 0 56253944 397262848 83504 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 96988 83504 3328 2271 0 91626 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 387952 KiB
Current children cumulated memory: 334016 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/250 53344
/proc/meminfo: memFree=127076868/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=387952 memory=336960 CPUtime=341.18 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 74844 0 0 0 34099 19 0 0 20 0 1 0 56253944 397262848 84240 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 96988 84240 3328 2271 0 91626 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 387952 KiB
Current children cumulated memory: 336960 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/250 53346
/proc/meminfo: memFree=127050316/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=387952 memory=339648 CPUtime=400.97 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 74865 0 0 0 40078 19 0 0 20 0 1 0 56253944 397262848 84912 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 96988 84912 3328 2271 0 91626 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 387952 KiB
Current children cumulated memory: 339648 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/250 53348
/proc/meminfo: memFree=127058536/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=387952 memory=345664 CPUtime=460.8 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 74907 0 0 0 46060 20 0 0 20 0 1 0 56253944 397262848 86416 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 96988 86416 3328 2271 0 91626 0
Current children cumulated CPU time: 460.8 s
Current children cumulated vsize: 387952 KiB
Current children cumulated memory: 345664 KiB

[startup+522.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/250 53349
/proc/meminfo: memFree=127067212/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=387952 memory=346304 CPUtime=520.62 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 74919 0 0 0 52042 20 0 0 20 0 1 0 56253944 397262848 86576 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 96988 86576 3488 2271 0 91626 0
Current children cumulated CPU time: 520.62 s
Current children cumulated vsize: 387952 KiB
Current children cumulated memory: 346304 KiB

[startup+582.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/249 53357
/proc/meminfo: memFree=127075972/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=400872 memory=353216 CPUtime=580.45 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 76723 0 0 0 58024 21 0 0 20 0 1 0 56253944 410492928 88304 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 100218 88304 3488 2271 0 94856 0
Current children cumulated CPU time: 580.45 s
Current children cumulated vsize: 400872 KiB
Current children cumulated memory: 353216 KiB

[startup+642.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/249 53359
/proc/meminfo: memFree=127013352/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=408372 memory=355136 CPUtime=640.28 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 77305 0 0 0 64006 22 0 0 20 0 1 0 56253944 418172928 88784 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 102093 88784 3488 2271 0 96731 0
Current children cumulated CPU time: 640.28 s
Current children cumulated vsize: 408372 KiB
Current children cumulated memory: 355136 KiB

[startup+702.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/249 53361
/proc/meminfo: memFree=127022544/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=408372 memory=355136 CPUtime=700.11 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 77305 0 0 0 69988 23 0 0 20 0 1 0 56253944 418172928 88784 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 102093 88784 3488 2271 0 96731 0
Current children cumulated CPU time: 700.11 s
Current children cumulated vsize: 408372 KiB
Current children cumulated memory: 355136 KiB

[startup+762.3 s]
/proc/loadavg: 4.16 4.12 4.13 5/249 53363
/proc/meminfo: memFree=127034028/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=408372 memory=355136 CPUtime=759.92 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 77305 0 0 0 75969 23 0 0 20 0 1 0 56253944 418172928 88784 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 102093 88784 3488 2271 0 96731 0
Current children cumulated CPU time: 759.92 s
Current children cumulated vsize: 408372 KiB
Current children cumulated memory: 355136 KiB

[startup+822.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/249 53365
/proc/meminfo: memFree=127033240/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=408372 memory=355136 CPUtime=819.75 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 77305 0 0 0 81951 24 0 0 20 0 1 0 56253944 418172928 88784 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 102093 88784 3488 2271 0 96731 0
Current children cumulated CPU time: 819.75 s
Current children cumulated vsize: 408372 KiB
Current children cumulated memory: 355136 KiB

[startup+882.3 s]
/proc/loadavg: 4.17 4.12 4.12 5/249 53367
/proc/meminfo: memFree=127033188/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=408372 memory=355136 CPUtime=879.58 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 77347 0 0 0 87933 25 0 0 20 0 1 0 56253944 418172928 88784 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 102093 88784 3488 2271 0 96731 0
Current children cumulated CPU time: 879.58 s
Current children cumulated vsize: 408372 KiB
Current children cumulated memory: 355136 KiB

[startup+942.3 s]
/proc/loadavg: 4.18 4.13 4.12 5/249 53369
/proc/meminfo: memFree=127048552/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=433388 memory=367808 CPUtime=939.4 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 80612 0 0 0 93914 26 0 0 20 0 1 0 56253944 443789312 91952 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 108347 91952 3488 2271 0 102985 0
Current children cumulated CPU time: 939.4 s
Current children cumulated vsize: 433388 KiB
Current children cumulated memory: 367808 KiB

[startup+1002.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/249 53371
/proc/meminfo: memFree=127044960/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=401360 memory=354268 CPUtime=999.22 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 80645 0 0 0 99890 32 0 0 20 0 1 0 56253944 410992640 88567 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 100340 88567 3488 2271 0 94978 0
Current children cumulated CPU time: 999.22 s
Current children cumulated vsize: 401360 KiB
Current children cumulated memory: 354268 KiB

[startup+1062.3 s]
/proc/loadavg: 3.80 4.04 4.09 4/243 53404
/proc/meminfo: memFree=128666252/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=400492 memory=355456 CPUtime=1059.04 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 80649 0 0 0 105345 559 0 0 20 0 1 0 56253944 410103808 88864 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 100123 88864 3488 2271 0 94761 0
Current children cumulated CPU time: 1059.04 s
Current children cumulated vsize: 400492 KiB
Current children cumulated memory: 355456 KiB

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

# cumulated CPU time of all completed processes:  user=1053.77 s, system=5.59514 s

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

[startup+1062.4 s]
/proc/loadavg: 3.80 4.04 4.09 4/243 53404
/proc/meminfo: memFree=128666252/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=400492 memory=355456 CPUtime=1059.14 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 80649 0 0 0 105355 559 0 0 20 0 1 0 56253944 410103808 88864 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 100123 88864 3488 2271 0 94761 0
Current children cumulated CPU time: 1059.14 s
Current children cumulated vsize: 400492 KiB
Current children cumulated memory: 355456 KiB

[startup+1062.6 s]
/proc/loadavg: 3.80 4.04 4.09 4/243 53404
/proc/meminfo: memFree=128666252/131382120 swapFree=33010160/33010684
[pid=53332] ppid=53329 vsize=400492 memory=355456 CPUtime=1059.34 cores=1,3
/proc/53332/stat : 53332 (ExactPR-S) R 53329 53332 51655 0 -1 4194304 80649 0 0 0 105375 559 0 0 20 0 1 0 56253944 410103808 88864 18446744073709551615 94762097967104 94762107267141 140730440951280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94762109053248 94762109092328 94762144215040 140730440960385 140730440960522 140730440960522 140730440966124 0
/proc/53332/statm: 100123 88864 3488 2271 0 94761 0
Current children cumulated CPU time: 1059.34 s
Current children cumulated vsize: 400492 KiB
Current children cumulated memory: 355456 KiB

Child status: 30

Real time (s): 1062.62
CPU time (s): 1059.37
CPU user time (s): 1053.77
CPU system time (s): 5.59514
CPU usage (%): 99.6942
Max. virtual memory (cumulated for all children) (KiB): 433388
Max. memory (cumulated for all children) (KiB): 367808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1053.77
system time used= 5.59514
maximum resident set size= 367808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80662
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= 136
involuntary context switches= 639


# summary of solver processes directly reported to runsolver:
#   pid: 53332
#   total CPU time (s): 1059.37
#   total CPU user time (s): 1053.77
#   total CPU system time (s): 5.59514

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.33745 second user time and 9.94565 second system time

The end