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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498161-1751275074/watcher-4498161-1751275074 -o /tmp/evaluation-result-4498161-1751275074/solver-4498161-1751275074 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751275074-36757 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 790162525 HOME/instance-4498161-1751275074.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100064 s]*
/proc/loadavg: 1.16 1.14 1.23 8/267 36819
/proc/meminfo: memFree=127640088/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=102708 memory=32144 CPUtime=0.11 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 8463 0 0 0 10 1 0 0 20 0 2 0 43181961 105172992 8036 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 25677 8036 608 633 0 9586 0
[pid=36814/tid=36819] ppid=36803 vsize=102708 memory=4026532124 CPUtime=0.01 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) S 36803 36814 35971 0 -1 4194368 1079 0 0 0 1 0 0 0 20 0 2 0 43181962 105172992 8036 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 0 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 102708 KiB
Current children cumulated memory: 32144 KiB

[startup+0.205512 s]*
/proc/loadavg: 1.16 1.14 1.23 8/267 36819
/proc/meminfo: memFree=127543092/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=170840 memory=106916 CPUtime=0.28 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 17448 0 0 0 24 4 0 0 20 0 2 0 43181961 174940160 26729 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 42710 26729 608 633 0 28278 0
[pid=36814/tid=36819] ppid=36803 vsize=170840 memory=664958721904869660 CPUtime=0.07 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) R 36803 36814 35971 0 -1 4194368 2740 0 0 0 6 1 0 0 20 0 2 0 43181962 174940160 26729 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 0 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 170840 KiB
Current children cumulated memory: 106916 KiB

[startup+0.305582 s]*
/proc/loadavg: 1.16 1.14 1.23 6/267 36819
/proc/meminfo: memFree=127523660/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=180156 memory=120868 CPUtime=0.4 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 20905 0 0 0 36 4 0 0 20 0 2 0 43181961 184479744 30217 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 45039 30217 640 633 0 31844 0
[pid=36814/tid=36819] ppid=36803 vsize=180156 memory=7970668238200126066 CPUtime=0.1 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) S 36803 36814 35971 0 -1 4194368 3977 0 0 0 9 1 0 0 20 0 2 0 43181962 184479744 30217 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 180156 KiB
Current children cumulated memory: 120868 KiB

[startup+0.700203 s]
/proc/loadavg: 1.16 1.14 1.23 8/267 36819
/proc/meminfo: memFree=127434956/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=240628 memory=180900 CPUtime=0.79 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 35857 0 0 0 73 6 0 0 20 0 2 0 43181961 246403072 45225 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 60157 45225 672 633 0 46962 0
[pid=36814/tid=36819] ppid=36803 vsize=240628 memory=17408 CPUtime=0.1 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) S 36803 36814 35971 0 -1 4194368 3977 0 0 0 9 1 0 0 20 0 2 0 43181962 246403072 45225 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 240628 KiB
Current children cumulated memory: 180900 KiB

[startup+1.50023 s]
/proc/loadavg: 1.16 1.14 1.23 7/267 36819
/proc/meminfo: memFree=127326028/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=345168 memory=286648 CPUtime=1.61 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 116274 0 0 0 145 16 0 0 20 0 2 0 43181961 353452032 71662 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 86292 71662 672 633 0 73097 0
[pid=36814/tid=36819] ppid=36803 vsize=345300 memory=17408 CPUtime=0.12 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) S 36803 36814 35971 0 -1 4194368 4558 0 0 0 11 1 0 0 20 0 2 0 43181962 353587200 71662 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 345168 KiB
Current children cumulated memory: 286648 KiB

[startup+3.10551 s]
/proc/loadavg: 1.79 1.27 1.27 8/267 36819
/proc/meminfo: memFree=127310416/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=344396 memory=285916 CPUtime=3.74 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 202735 0 0 0 349 25 0 0 20 0 2 0 43181961 352661504 71479 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 86099 71479 672 633 0 72904 0
[pid=36814/tid=36819] ppid=36803 vsize=344396 memory=285968 CPUtime=0.67 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) R 36803 36814 35971 0 -1 4194368 5141 0 0 0 66 1 0 0 20 0 2 0 43181962 352661504 71479 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 3.74 s
Current children cumulated vsize: 344396 KiB
Current children cumulated memory: 285916 KiB

[startup+6.30021 s]
/proc/loadavg: 1.79 1.27 1.27 10/267 36819
/proc/meminfo: memFree=127303080/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=342628 memory=284184 CPUtime=8.91 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 295485 0 0 0 858 33 0 0 20 0 2 0 43181961 350851072 71046 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 85657 71046 672 633 0 72462 0
[pid=36814/tid=36819] ppid=36803 vsize=342628 memory=7970386763223349874 CPUtime=2.65 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) R 36803 36814 35971 0 -1 4194368 6795 0 0 0 264 1 0 0 20 0 2 0 43181962 350851072 71046 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 8.91 s
Current children cumulated vsize: 342628 KiB
Current children cumulated memory: 284184 KiB

[startup+12.7002 s]
/proc/loadavg: 2.59 1.46 1.34 9/267 36820
/proc/meminfo: memFree=127313256/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=344576 memory=286132 CPUtime=19.9 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 415379 0 0 0 1945 45 0 0 20 0 2 0 43181961 352845824 71533 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 86144 71533 672 633 0 72949 0
[pid=36814/tid=36819] ppid=36803 vsize=344576 memory=285956 CPUtime=7.28 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) R 36803 36814 35971 0 -1 4194368 8261 0 0 0 727 1 0 0 20 0 2 0 43181962 352845824 71533 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 19.9 s
Current children cumulated vsize: 344576 KiB
Current children cumulated memory: 286132 KiB

[startup+25.5002 s]
/proc/loadavg: 3.27 1.64 1.40 6/267 36820
/proc/meminfo: memFree=127297268/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=344404 memory=285960 CPUtime=40.33 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 660510 0 0 0 3954 79 0 0 20 0 2 0 43181961 352669696 71490 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 86101 71490 672 633 0 72906 0
[pid=36814/tid=36819] ppid=36803 vsize=344404 memory=14720 CPUtime=15.01 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) R 36803 36814 35971 0 -1 4194368 9509 0 0 0 1499 2 0 0 20 0 2 0 43181962 352669696 71490 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 40.33 s
Current children cumulated vsize: 344404 KiB
Current children cumulated memory: 285960 KiB

[startup+51.1056 s]
/proc/loadavg: 4.18 2.00 1.52 9/268 36821
/proc/meminfo: memFree=127293536/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=344492 memory=286048 CPUtime=75.31 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 1255996 0 0 0 7359 172 0 0 20 0 2 0 43181961 352759808 71512 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 86123 71512 672 633 0 72928 0
[pid=36814/tid=36819] ppid=36803 vsize=344492 memory=287372 CPUtime=24.52 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) S 36803 36814 35971 0 -1 4194368 10904 0 0 0 2450 2 0 0 20 0 2 0 43181962 352759808 71512 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 75.31 s
Current children cumulated vsize: 344492 KiB
Current children cumulated memory: 286048 KiB

[startup+102.3 s]
/proc/loadavg: 4.93 2.59 1.75 6/268 36823
/proc/meminfo: memFree=127286072/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=347040 memory=288296 CPUtime=141.85 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 2602738 0 0 0 13784 401 0 0 20 0 2 0 43181961 355368960 72074 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 86760 72074 672 633 0 73565 0
[pid=36814/tid=36819] ppid=36803 vsize=347040 memory=285872 CPUtime=40.17 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) S 36803 36814 35971 0 -1 4194368 12463 0 0 0 4014 3 0 0 20 0 2 0 43181962 355368960 72074 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 141.85 s
Current children cumulated vsize: 347040 KiB
Current children cumulated memory: 288296 KiB

[startup+162.3 s]
/proc/loadavg: 5.39 3.12 1.99 8/268 36825
/proc/meminfo: memFree=127306736/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=342652 memory=284100 CPUtime=211.85 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 4505582 0 0 0 20460 725 0 0 20 0 2 0 43181961 350875648 71025 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 85663 71025 672 633 0 72468 0
[pid=36814/tid=36819] ppid=36803 vsize=342652 memory=285876 CPUtime=50.48 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) S 36803 36814 35971 0 -1 4194368 13911 0 0 0 5043 5 0 0 20 0 2 0 43181962 350875648 71025 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 211.85 s
Current children cumulated vsize: 342652 KiB
Current children cumulated memory: 284100 KiB

[startup+222.3 s]
/proc/loadavg: 5.06 3.44 2.17 6/269 36840
/proc/meminfo: memFree=127311468/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=349292 memory=290716 CPUtime=283.55 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 6383318 0 0 0 27315 1040 0 0 20 0 2 0 43181961 357675008 72679 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 87323 72679 672 633 0 74128 0
[pid=36814/tid=36819] ppid=36803 vsize=349292 memory=290632 CPUtime=62.48 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) S 36803 36814 35971 0 -1 4194368 15374 0 0 0 6242 6 0 0 20 0 2 0 43181962 357675008 72679 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 283.55 s
Current children cumulated vsize: 349292 KiB
Current children cumulated memory: 290716 KiB

[startup+282.3 s]
/proc/loadavg: 5.15 3.77 2.37 8/269 36843
/proc/meminfo: memFree=127301076/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=347920 memory=289304 CPUtime=355.27 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 8112151 0 0 0 34186 1341 0 0 20 0 2 0 43181961 356270080 72326 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 86980 72326 672 633 0 73785 0
[pid=36814/tid=36819] ppid=36803 vsize=347920 memory=290600 CPUtime=74.54 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) S 36803 36814 35971 0 -1 4194368 15374 0 0 0 7447 7 0 0 20 0 2 0 43181962 356270080 72326 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 355.27 s
Current children cumulated vsize: 347920 KiB
Current children cumulated memory: 289304 KiB

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

/proc/meminfo: memFree=126809556/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=344516 memory=286072 CPUtime=2954.7 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 71791476 0 0 0 283006 12464 0 0 20 0 2 0 43181961 352784384 71518 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 86129 71518 672 633 0 72934 0
[pid=36814/tid=36819] ppid=36803 vsize=344516 memory=286072 CPUtime=464.75 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) S 36803 36814 35971 0 -1 4194368 19966 0 0 0 46417 58 0 0 20 0 2 0 43181962 352784384 71518 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 2954.7 s
Current children cumulated vsize: 344516 KiB
Current children cumulated memory: 286072 KiB

[startup+2562.3 s]
/proc/loadavg: 4.58 4.71 4.75 7/269 37009
/proc/meminfo: memFree=126800980/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=349252 memory=290680 CPUtime=3025.5 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 73378820 0 0 0 289790 12760 0 0 20 0 2 0 43181961 357634048 72670 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 87313 72670 672 633 0 74118 0
[pid=36814/tid=36819] ppid=36803 vsize=349252 memory=14720 CPUtime=475.89 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) S 36803 36814 35971 0 -1 4194368 20002 0 0 0 47529 60 0 0 20 0 2 0 43181962 357634048 72670 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 3025.5 s
Current children cumulated vsize: 349252 KiB
Current children cumulated memory: 290680 KiB

[startup+2622.3 s]
/proc/loadavg: 4.53 4.66 4.73 7/269 37022
/proc/meminfo: memFree=126808604/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=349192 memory=290616 CPUtime=3097 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 74929858 0 0 0 296651 13049 0 0 20 0 2 0 43181961 357572608 72654 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 87298 72654 672 633 0 74103 0
[pid=36814/tid=36819] ppid=36803 vsize=349192 memory=289856 CPUtime=487.74 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) S 36803 36814 35971 0 -1 4194368 20041 0 0 0 48713 61 0 0 20 0 2 0 43181962 357572608 72654 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 3097 s
Current children cumulated vsize: 349192 KiB
Current children cumulated memory: 290616 KiB

[startup+2682.3 s]
/proc/loadavg: 4.54 4.63 4.71 8/267 37024
/proc/meminfo: memFree=126814164/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=347980 memory=289444 CPUtime=3167.22 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 76690440 0 0 0 303352 13370 0 0 20 0 2 0 43181961 356331520 72361 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 86995 72361 672 633 0 73800 0
[pid=36814/tid=36819] ppid=36803 vsize=347980 memory=286164 CPUtime=498.29 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) S 36803 36814 35971 0 -1 4194368 20129 0 0 0 49766 63 0 0 20 0 2 0 43181962 356331520 72361 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 3167.22 s
Current children cumulated vsize: 347980 KiB
Current children cumulated memory: 289444 KiB

[startup+2742.3 s]
/proc/loadavg: 4.48 4.61 4.70 6/267 37026
/proc/meminfo: memFree=126802032/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=347452 memory=288876 CPUtime=3236.34 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 78420934 0 0 0 309947 13687 0 0 20 0 2 0 43181961 355790848 72219 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 86863 72219 672 633 0 73668 0
[pid=36814/tid=36819] ppid=36803 vsize=347452 memory=10752 CPUtime=507.74 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) S 36803 36814 35971 0 -1 4194368 20161 0 0 0 50709 65 0 0 20 0 2 0 43181962 355790848 72219 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 3236.34 s
Current children cumulated vsize: 347452 KiB
Current children cumulated memory: 288876 KiB

[startup+2802.3 s]
/proc/loadavg: 4.34 4.55 4.68 7/267 37028
/proc/meminfo: memFree=126803236/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=346792 memory=288132 CPUtime=3303.87 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 80342107 0 0 0 316341 14046 0 0 20 0 2 0 43181961 355115008 72033 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 86698 72033 672 633 0 73503 0
[pid=36814/tid=36819] ppid=36803 vsize=346792 memory=286712 CPUtime=515.59 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) S 36803 36814 35971 0 -1 4194368 20261 0 0 0 51492 67 0 0 20 0 2 0 43181962 355115008 72033 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 3303.87 s
Current children cumulated vsize: 346792 KiB
Current children cumulated memory: 288132 KiB

[startup+2862.3 s]
/proc/loadavg: 4.40 4.54 4.67 6/268 37034
/proc/meminfo: memFree=126814128/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=349300 memory=290688 CPUtime=3372.13 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 82250380 0 0 0 322813 14400 0 0 20 0 2 0 43181961 357683200 72672 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 87325 72672 672 633 0 74130 0
[pid=36814/tid=36819] ppid=36803 vsize=349300 memory=286132 CPUtime=524.16 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) S 36803 36814 35971 0 -1 4194368 20264 0 0 0 52346 70 0 0 20 0 2 0 43181962 357683200 72672 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 3372.13 s
Current children cumulated vsize: 349300 KiB
Current children cumulated memory: 290688 KiB

[startup+2922.3 s]
/proc/loadavg: 4.35 4.50 4.64 6/268 37040
/proc/meminfo: memFree=126815864/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=344432 memory=285952 CPUtime=3441.23 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 83945065 0 0 0 329413 14710 0 0 20 0 2 0 43181961 352698368 71488 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 86108 71488 672 633 0 72913 0
[pid=36814/tid=36819] ppid=36803 vsize=344432 memory=286132 CPUtime=533.57 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) R 36803 36814 35971 0 -1 4194368 20363 0 0 0 53287 70 0 0 20 0 2 0 43181962 352698368 71488 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 3441.23 s
Current children cumulated vsize: 344432 KiB
Current children cumulated memory: 285952 KiB

[startup+2982.3 s]
/proc/loadavg: 4.41 4.49 4.63 7/269 37043
/proc/meminfo: memFree=126815804/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=348288 memory=289712 CPUtime=3509.36 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 85693109 0 0 0 335903 15033 0 0 20 0 2 0 43181961 356646912 72428 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 87072 72428 672 633 0 73877 0
[pid=36814/tid=36819] ppid=36803 vsize=348288 memory=286132 CPUtime=541.98 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) S 36803 36814 35971 0 -1 4194368 20398 0 0 0 54126 72 0 0 20 0 2 0 43181962 356646912 72428 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 3509.36 s
Current children cumulated vsize: 348288 KiB
Current children cumulated memory: 289712 KiB

[startup+3042.3 s]
/proc/loadavg: 4.45 4.49 4.62 7/269 37045
/proc/meminfo: memFree=126815108/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=344608 memory=286128 CPUtime=3577.91 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 87610084 0 0 0 342414 15377 0 0 20 0 2 0 43181961 352878592 71532 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 86152 71532 672 633 0 72957 0
[pid=36814/tid=36819] ppid=36803 vsize=344608 memory=286104 CPUtime=550.84 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) S 36803 36814 35971 0 -1 4194368 20498 0 0 0 55011 73 0 0 20 0 2 0 43181962 352878592 71532 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 3577.91 s
Current children cumulated vsize: 344608 KiB
Current children cumulated memory: 286128 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3061.7 s]
/proc/loadavg: 4.39 4.47 4.61 6/269 37045
/proc/meminfo: memFree=126815260/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=344432 memory=285952 CPUtime=3600.06 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 88158514 0 0 0 344530 15476 0 0 20 0 2 0 43181961 352698368 71488 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 86108 71488 672 633 0 72913 0
[pid=36814/tid=36819] ppid=36803 vsize=344432 memory=285516 CPUtime=553.69 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) R 36803 36814 35971 0 -1 4194368 20498 0 0 0 55296 73 0 0 20 0 2 0 43181962 352698368 71488 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 344432 KiB
Current children cumulated memory: 285952 KiB

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

[startup+3061.82 s]
# the end of solver process 36814 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3445.43 s, system=154.772 s

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

[startup+3061.8 s]
/proc/loadavg: 4.39 4.47 4.61 6/269 37045
/proc/meminfo: memFree=126815260/131249992 swapFree=33010160/33010684
[pid=36814] ppid=36803 vsize=290168 memory=231688 CPUtime=3600.17 cores=4,6
/proc/36814/stat : 36814 (pb_competition_) R 36803 36814 35971 0 -1 4194304 88165729 0 0 0 344541 15476 0 0 20 0 2 0 43181961 297132032 57922 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
/proc/36814/statm: 72542 57922 672 633 0 59347 0
[pid=36814/tid=36819] ppid=36803 vsize=290168 memory=285952 CPUtime=553.69 cores=4,6
/proc/36814/task/36819/stat : 36819 (pb_competition_) S 36803 36814 35971 0 -1 4194368 20498 0 0 0 55296 73 0 0 20 0 2 0 43181962 297132032 57922 18446744073709551615 4198400 6788177 140734221846432 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 13742080 140734221855066 140734221855192 140734221855192 140734221860794 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 290168 KiB
Current children cumulated memory: 231688 KiB

Child status: 0

Real time (s): 3061.82
CPU time (s): 3600.2
CPU user time (s): 3445.43
CPU system time (s): 154.772
CPU usage (%): 117.584
Max. virtual memory (cumulated for all children) (KiB): 349324
Max. memory (cumulated for all children) (KiB): 290756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3445.43
system time used= 154.772
maximum resident set size= 291584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88166315
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= 74608
involuntary context switches= 42971


# summary of solver processes directly reported to runsolver:
#   pid: 36814
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3445.43
#   total CPU system time (s): 154.772

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.8688 second user time and 16.111 second system time

The end