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 (63216 MiB free)
memory of node 1: 64465 MiB (53692 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494198-1751150735/watcher-4494198-1751150735 -o /tmp/evaluation-result-4494198-1751150735/solver-4494198-1751150735 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751145166-15173 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 86619716 HOME/instance-4494198-1751150735.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16134, runsolver pid=16131
[startup+0.100076 s]*
/proc/loadavg: 6.57 7.17 7.17 6/252 16135
/proc/meminfo: memFree=119686828/131382120 swapFree=33010684/33010684
[pid=16134] ppid=16131 vsize=35160 memory=28160 CPUtime=0.1 cores=4,6
/proc/16134/stat : 16134 (pb_competition_) R 16131 16134 15162 0 -1 4194304 6051 0 0 0 7 3 0 0 20 0 1 0 30752764 36003840 7040 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
/proc/16134/statm: 8790 7040 576 633 0 8006 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35160 KiB
Current children cumulated memory: 28160 KiB
[startup+0.221442 s]*
/proc/loadavg: 6.57 7.17 7.17 6/252 16135
/proc/meminfo: memFree=119654568/131382120 swapFree=33010684/33010684
[pid=16134] ppid=16131 vsize=66328 memory=53132 CPUtime=0.2 cores=4,6
/proc/16134/stat : 16134 (pb_competition_) R 16131 16134 15162 0 -1 4194304 10253 0 0 0 15 5 0 0 20 0 1 0 30752764 67919872 13283 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
/proc/16134/statm: 16582 13283 576 633 0 15798 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66328 KiB
Current children cumulated memory: 53132 KiB
[startup+0.312999 s]*
/proc/loadavg: 6.57 7.17 7.17 6/252 16135
/proc/meminfo: memFree=119614752/131382120 swapFree=33010684/33010684
[pid=16134] ppid=16131 vsize=79528 memory=74508 CPUtime=0.28 cores=4,6
/proc/16134/stat : 16134 (pb_competition_) R 16131 16134 15162 0 -1 4194304 13560 0 0 0 21 7 0 0 20 0 1 0 30752764 81436672 18627 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
/proc/16134/statm: 19882 18627 576 633 0 19098 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 74508 KiB
[startup+0.700227 s]
/proc/loadavg: 6.57 7.17 7.17 6/252 16135
/proc/meminfo: memFree=119549980/131382120 swapFree=33010684/33010684
[pid=16134] ppid=16131 vsize=242248 memory=182048 CPUtime=0.62 cores=4,6
/proc/16134/stat : 16134 (pb_competition_) R 16131 16134 15162 0 -1 4194304 30774 0 0 0 46 16 0 0 20 0 1 0 30752764 248061952 45512 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
/proc/16134/statm: 60562 45512 576 633 0 59778 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 242248 KiB
Current children cumulated memory: 182048 KiB
[startup+1.50023 s]
/proc/loadavg: 6.57 7.17 7.17 7/253 16136
/proc/meminfo: memFree=119111312/131382120 swapFree=33010684/33010684
[pid=16134] ppid=16131 vsize=608812 memory=512968 CPUtime=2.04 cores=4,6
/proc/16134/stat : 16134 (pb_competition_) R 16131 16134 15162 0 -1 4194304 64967 0 0 0 173 31 0 0 20 0 2 0 30752764 623423488 128242 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
/proc/16134/statm: 152203 128242 576 633 0 145023 0
[pid=16134/tid=16136] ppid=16131 vsize=608812 memory=0 CPUtime=0.63 cores=4,6
/proc/16134/task/16136/stat : 16136 (pb_competition_) R 16131 16134 15162 0 -1 4194368 9992 0 0 0 58 5 0 0 20 0 2 0 30752849 623423488 128242 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 0 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
Current children cumulated CPU time: 2.04 s
Current children cumulated vsize: 608812 KiB
Current children cumulated memory: 512968 KiB
[startup+3.10552 s]
/proc/loadavg: 6.57 7.17 7.17 7/253 16136
/proc/meminfo: memFree=118148068/131382120 swapFree=33010684/33010684
[pid=16134] ppid=16131 vsize=1078528 memory=985160 CPUtime=5.22 cores=4,6
/proc/16134/stat : 16134 (pb_competition_) R 16131 16134 15162 0 -1 4194304 196740 0 0 0 460 62 0 0 20 0 2 0 30752764 1104412672 246290 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
/proc/16134/statm: 269632 246290 576 633 0 263082 0
[pid=16134/tid=16136] ppid=16131 vsize=1078528 memory=267208 CPUtime=2.22 cores=4,6
/proc/16134/task/16136/stat : 16136 (pb_competition_) R 16131 16134 15162 0 -1 4194368 65716 0 0 0 199 23 0 0 20 0 2 0 30752849 1104412672 246290 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 0 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
Current children cumulated CPU time: 5.22 s
Current children cumulated vsize: 1078528 KiB
Current children cumulated memory: 985160 KiB
[startup+6.3002 s]
/proc/loadavg: 6.53 7.15 7.16 5/253 16137
/proc/meminfo: memFree=116725348/131382120 swapFree=33010684/33010684
[pid=16134] ppid=16131 vsize=3005800 memory=2856096 CPUtime=8.76 cores=4,6
/proc/16134/stat : 16134 (pb_competition_) R 16131 16134 15162 0 -1 4194304 531692 0 0 0 745 131 0 0 20 0 2 0 30752764 3077939200 714024 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
/proc/16134/statm: 751450 714024 608 633 0 750366 0
[pid=16134/tid=16136] ppid=16131 vsize=3005800 memory=17152 CPUtime=3.43 cores=4,6
/proc/16134/task/16136/stat : 16136 (pb_competition_) S 16131 16134 15162 0 -1 4194368 127696 0 0 0 305 38 0 0 20 0 2 0 30752849 3077939200 714024 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 0 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
Current children cumulated CPU time: 8.76 s
Current children cumulated vsize: 3005800 KiB
Current children cumulated memory: 2856096 KiB
[startup+12.7002 s]
/proc/loadavg: 6.48 7.13 7.16 6/253 16137
/proc/meminfo: memFree=115172860/131382120 swapFree=33010684/33010684
[pid=16134] ppid=16131 vsize=3959364 memory=3882792 CPUtime=17.99 cores=4,6
/proc/16134/stat : 16134 (pb_competition_) R 16131 16134 15162 0 -1 4194304 1085271 0 0 0 1589 210 0 0 20 0 2 0 30752764 4054388736 970698 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
/proc/16134/statm: 989841 970698 640 633 0 974530 0
[pid=16134/tid=16136] ppid=16131 vsize=3959364 memory=3882792 CPUtime=7.14 cores=4,6
/proc/16134/task/16136/stat : 16136 (pb_competition_) S 16131 16134 15162 0 -1 4194368 263896 0 0 0 648 66 0 0 20 0 2 0 30752849 4054388736 970698 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
Current children cumulated CPU time: 17.99 s
Current children cumulated vsize: 3959364 KiB
Current children cumulated memory: 3882792 KiB
[startup+25.5004 s]
/proc/loadavg: 6.16 7.02 7.12 6/253 16137
/proc/meminfo: memFree=113790152/131382120 swapFree=33010684/33010684
[pid=16134] ppid=16131 vsize=5382244 memory=5262444 CPUtime=30.7 cores=4,6
/proc/16134/stat : 16134 (pb_competition_) R 16131 16134 15162 0 -1 4194304 1811869 0 0 0 2772 298 0 0 20 0 2 0 30752764 5511417856 1315611 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
/proc/16134/statm: 1345561 1315611 672 633 0 1330250 0
[pid=16134/tid=16136] ppid=16131 vsize=5382244 memory=4918248 CPUtime=7.14 cores=4,6
/proc/16134/task/16136/stat : 16136 (pb_competition_) S 16131 16134 15162 0 -1 4194368 263896 0 0 0 648 66 0 0 20 0 2 0 30752849 5511417856 1315611 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
Current children cumulated CPU time: 30.7 s
Current children cumulated vsize: 5382244 KiB
Current children cumulated memory: 5262444 KiB
[startup+51.1133 s]
/proc/loadavg: 5.76 6.86 7.06 6/253 16183
/proc/meminfo: memFree=113976268/131382120 swapFree=33010684/33010684
[pid=16134] ppid=16131 vsize=7942840 memory=7822956 CPUtime=57.38 cores=4,6
/proc/16134/stat : 16134 (pb_competition_) R 16131 16134 15162 0 -1 4194304 3040374 0 0 0 5256 482 0 0 20 0 2 0 30752764 8133468160 1955739 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
/proc/16134/statm: 1985710 1955739 672 633 0 1970399 0
[pid=16134/tid=16136] ppid=16131 vsize=7942972 memory=7811820 CPUtime=8.48 cores=4,6
/proc/16134/task/16136/stat : 16136 (pb_competition_) S 16131 16134 15162 0 -1 4194368 266234 0 0 0 781 67 0 0 20 0 2 0 30752849 8133603328 1955771 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
Current children cumulated CPU time: 57.38 s
Current children cumulated vsize: 7942840 KiB
Current children cumulated memory: 7822956 KiB
[startup+102.3 s]
/proc/loadavg: 5.45 6.60 6.96 6/254 16231
/proc/meminfo: memFree=113266916/131382120 swapFree=33010684/33010684
[pid=16134] ppid=16131 vsize=7811720 memory=7691932 CPUtime=111.03 cores=4,6
/proc/16134/stat : 16134 (pb_competition_) R 16131 16134 15162 0 -1 4194304 4862103 0 0 0 10354 749 0 0 20 0 2 0 30752764 7999201280 1922983 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
/proc/16134/statm: 1952930 1922983 672 633 0 1937619 0
[pid=16134/tid=16136] ppid=16131 vsize=7811720 memory=7811820 CPUtime=11.64 cores=4,6
/proc/16134/task/16136/stat : 16136 (pb_competition_) S 16131 16134 15162 0 -1 4194368 277190 0 0 0 1095 69 0 0 20 0 2 0 30752849 7999201280 1922983 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
Current children cumulated CPU time: 111.03 s
Current children cumulated vsize: 7811720 KiB
Current children cumulated memory: 7691932 KiB
[startup+162.3 s]
/proc/loadavg: 5.43 6.38 6.86 5/254 16235
/proc/meminfo: memFree=112872784/131382120 swapFree=33010684/33010684
[pid=16134] ppid=16131 vsize=7771644 memory=7651856 CPUtime=179.1 cores=4,6
/proc/16134/stat : 16134 (pb_competition_) R 16131 16134 15162 0 -1 4194304 6094698 0 0 0 17020 890 0 0 20 0 2 0 30752764 7958163456 1912964 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
/proc/16134/statm: 1942911 1912964 672 633 0 1927600 0
[pid=16134/tid=16136] ppid=16131 vsize=7771644 memory=7691944 CPUtime=20.54 cores=4,6
/proc/16134/task/16136/stat : 16136 (pb_competition_) S 16131 16134 15162 0 -1 4194368 310900 0 0 0 1977 77 0 0 20 0 2 0 30752849 7958163456 1912964 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
Current children cumulated CPU time: 179.1 s
Current children cumulated vsize: 7771644 KiB
Current children cumulated memory: 7651856 KiB
[startup+217.514 s]
# the end of solver process 16134 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=229.851 s, system=11.2382 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 5.38 6.31 6.83 6/252 16249
/proc/meminfo: memFree=120454844/131382120 swapFree=33010684/33010684
[pid=16134] ppid=16131 vsize=7771644 memory=7651856 CPUtime=198.37 cores=4,6
/proc/16134/stat : 16134 (pb_competition_) R 16131 16134 15162 0 -1 4194304 6562559 0 0 0 18899 938 0 0 20 0 2 0 30752764 7958163456 1912964 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
/proc/16134/statm: 1942911 1912964 672 633 0 1927600 0
[pid=16134/tid=16136] ppid=16131 vsize=7771644 memory=7971233361407130476 CPUtime=23.1 cores=4,6
/proc/16134/task/16136/stat : 16136 (pb_competition_) S 16131 16134 15162 0 -1 4194368 314273 0 0 0 2232 78 0 0 20 0 2 0 30752849 7958163456 1912964 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
Current children cumulated CPU time: 198.37 s
Current children cumulated vsize: 7771644 KiB
Current children cumulated memory: 7651856 KiB
[startup+204.8 s]
/proc/loadavg: 5.61 6.28 6.81 8/254 16282
/proc/meminfo: memFree=120672548/131382120 swapFree=33010684/33010684
[pid=16134] ppid=16131 vsize=7811736 memory=7691948 CPUtime=227.92 cores=4,6
/proc/16134/stat : 16134 (pb_competition_) R 16131 16134 15162 0 -1 4194304 7052823 0 0 0 21796 996 0 0 20 0 2 0 30752764 7999217664 1922987 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
/proc/16134/statm: 1952934 1922987 672 633 0 1937623 0
[pid=16134/tid=16136] ppid=16131 vsize=7811736 memory=5504 CPUtime=27.44 cores=4,6
/proc/16134/task/16136/stat : 16136 (pb_competition_) R 16131 16134 15162 0 -1 4194368 314936 0 0 0 2666 78 0 0 20 0 2 0 30752849 7999217664 1922987 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
Current children cumulated CPU time: 227.92 s
Current children cumulated vsize: 7811736 KiB
Current children cumulated memory: 7691948 KiB
[startup+211.2 s]
/proc/loadavg: 5.72 6.30 6.81 7/254 16282
/proc/meminfo: memFree=120303468/131382120 swapFree=33010684/33010684
[pid=16134] ppid=16131 vsize=8291732 memory=8171940 CPUtime=234.81 cores=4,6
/proc/16134/stat : 16134 (pb_competition_) R 16131 16134 15162 0 -1 4194304 7203408 0 0 0 22457 1024 0 0 20 0 2 0 30752764 8490733568 2042985 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
/proc/16134/statm: 2072933 2042985 672 633 0 2057622 0
[pid=16134/tid=16136] ppid=16131 vsize=8291732 memory=7691948 CPUtime=27.98 cores=4,6
/proc/16134/task/16136/stat : 16136 (pb_competition_) S 16131 16134 15162 0 -1 4194368 320802 0 0 0 2718 80 0 0 20 0 2 0 30752849 8490733568 2042985 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
Current children cumulated CPU time: 234.81 s
Current children cumulated vsize: 8291732 KiB
Current children cumulated memory: 8171940 KiB
[startup+214.4 s]
/proc/loadavg: 5.74 6.29 6.80 7/254 16282
/proc/meminfo: memFree=120905808/131382120 swapFree=33010684/33010684
[pid=16134] ppid=16131 vsize=7492140 memory=7372352 CPUtime=238.01 cores=4,6
/proc/16134/stat : 16134 (pb_competition_) R 16131 16134 15162 0 -1 4194304 7518163 0 0 0 22756 1045 0 0 20 0 2 0 30752764 7671951360 1843088 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
/proc/16134/statm: 1873035 1843088 672 633 0 1857724 0
[pid=16134/tid=16136] ppid=16131 vsize=7492140 memory=16352 CPUtime=27.99 cores=4,6
/proc/16134/task/16136/stat : 16136 (pb_competition_) S 16131 16134 15162 0 -1 4194368 320807 0 0 0 2719 80 0 0 20 0 2 0 30752849 7671951360 1843088 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
Current children cumulated CPU time: 238.01 s
Current children cumulated vsize: 7492140 KiB
Current children cumulated memory: 7372352 KiB
[startup+216 s]*
/proc/loadavg: 5.74 6.29 6.80 7/254 16282
/proc/meminfo: memFree=120938024/131382120 swapFree=33010684/33010684
[pid=16134] ppid=16131 vsize=7492140 memory=7372352 CPUtime=239.61 cores=4,6
/proc/16134/stat : 16134 (pb_competition_) R 16131 16134 15162 0 -1 4194304 7737815 0 0 0 22904 1057 0 0 20 0 2 0 30752764 7671951360 1843088 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
/proc/16134/statm: 1873035 1843088 672 633 0 1857724 0
[pid=16134/tid=16136] ppid=16131 vsize=7492140 memory=7971238858965270636 CPUtime=27.99 cores=4,6
/proc/16134/task/16136/stat : 16136 (pb_competition_) S 16131 16134 15162 0 -1 4194368 320807 0 0 0 2719 80 0 0 20 0 2 0 30752849 7671951360 1843088 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
Current children cumulated CPU time: 239.61 s
Current children cumulated vsize: 7492140 KiB
Current children cumulated memory: 7372352 KiB
[startup+216.8 s]
/proc/loadavg: 5.74 6.29 6.80 7/254 16282
/proc/meminfo: memFree=120938024/131382120 swapFree=33010684/33010684
[pid=16134] ppid=16131 vsize=6132404 memory=6012616 CPUtime=240.38 cores=4,6
/proc/16134/stat : 16134 (pb_competition_) R 16131 16134 15162 0 -1 4194304 7987164 0 0 0 22967 1071 0 0 20 0 2 0 30752764 6279581696 1503154 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
/proc/16134/statm: 1533101 1503154 672 633 0 1517790 0
[pid=16134/tid=16136] ppid=16131 vsize=6132404 memory=17152 CPUtime=27.99 cores=4,6
/proc/16134/task/16136/stat : 16136 (pb_competition_) S 16131 16134 15162 0 -1 4194368 320807 0 0 0 2719 80 0 0 20 0 2 0 30752849 6279581696 1503154 18446744073709551615 4198400 6788177 140737390561040 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 29396992 140737390569819 140737390569944 140737390569944 140737390575546 0
Current children cumulated CPU time: 240.38 s
Current children cumulated vsize: 6132404 KiB
Current children cumulated memory: 6012616 KiB
[startup+217.2 s]
/proc/loadavg: 5.74 6.29 6.80 7/254 16282
/proc/meminfo: memFree=122812644/131382120 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+217.4 s]
/proc/loadavg: 5.74 6.29 6.80 7/254 16282
/proc/meminfo: memFree=122812644/131382120 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+217.5 s]
/proc/loadavg: 5.74 6.29 6.80 7/254 16282
/proc/meminfo: memFree=122812644/131382120 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 217.514
CPU time (s): 241.089
CPU user time (s): 229.851
CPU system time (s): 11.2382
CPU usage (%): 110.838
Max. virtual memory (cumulated for all children) (KiB): 8371724
Max. memory (cumulated for all children) (KiB): 8251812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 229.851
system time used= 11.2382
maximum resident set size= 8251916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7987165
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= 10587
involuntary context switches= 1300
# summary of solver processes directly reported to runsolver:
# pid: 16134
# total CPU time (s): 241.089
# total CPU user time (s): 229.851
# total CPU system time (s): 11.2382
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10505 second user time and 2.15847 second system time
The end
Begin job on nodeC008 at 2025-06-29 00:45:37
IDJOB=4494198
IDBENCH=147884
IDSOLVER=3347
FILE ID=nodeC008/4494198-1751150735
RUNJOBID= nodeC008-1751145166-15173
SLURM_JOB_ID= 9587445
Free space on /tmp= 432840 MiB
SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
COMMAND LINE= pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494198-1751150735/watcher-4494198-1751150735 -o /tmp/evaluation-result-4494198-1751150735/solver-4494198-1751150735 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751145166-15173 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 86619716 HOME/instance-4494198-1751150735.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 35aa7f329bd98b2a572b3b38df46d0d6
RANDOM SEED=86619716
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.607
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.858
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.865
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.631
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1796.158
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.855
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.313
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.434
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 119714756 kB
MemAvailable: 119501752 kB
Buffers: 3280 kB
Cached: 599092 kB
SwapCached: 0 kB
Active: 10497904 kB
Inactive: 400940 kB
Active(anon): 10314432 kB
Inactive(anon): 0 kB
Active(file): 183472 kB
Inactive(file): 400940 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 133260 kB
Writeback: 0 kB
AnonPages: 10299656 kB
Mapped: 110364 kB
Shmem: 17956 kB
KReclaimable: 84420 kB
Slab: 162680 kB
SReclaimable: 84420 kB
SUnreclaim: 78260 kB
KernelStack: 4080 kB
PageTables: 23044 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 10715700 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3045376 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432936 MiB
End job on nodeC008 at 2025-06-29 00:49:14