runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62130 MiB free)
memory of node 1: 64507 MiB (63243 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494342-1751150785/watcher-4494342-1751150785 -o /tmp/evaluation-result-4494342-1751150785/solver-4494342-1751150785 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751146786-17677 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1831835502 HOME/instance-4494342-1751150785.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=18573, runsolver pid=18570
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 6.52 6.86 6.90 6/268 18574
/proc/meminfo: memFree=128341312/131249996 swapFree=33010684/33010684
[pid=18573] ppid=18570 vsize=77416 memory=71656 CPUtime=0.09 cores=1,3
/proc/18573/stat : 18573 (pb_competition_) R 18570 18573 17665 0 -1 4194304 13340 0 0 0 6 3 0 0 20 0 1 0 30756254 79273984 17914 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
/proc/18573/statm: 19354 17914 576 633 0 18570 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77416 KiB
Current children cumulated memory: 71656 KiB
[startup+0.205993 s]*
/proc/loadavg: 6.52 6.86 6.90 7/268 18574
/proc/meminfo: memFree=128301244/131249996 swapFree=33010684/33010684
[pid=18573] ppid=18570 vsize=152160 memory=142192 CPUtime=0.2 cores=1,3
/proc/18573/stat : 18573 (pb_competition_) R 18570 18573 17665 0 -1 4194304 24374 0 0 0 14 6 0 0 20 0 1 0 30756254 155811840 35548 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
/proc/18573/statm: 38040 35548 576 633 0 37256 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 152160 KiB
Current children cumulated memory: 142192 KiB
[startup+0.30583 s]*
/proc/loadavg: 6.52 6.86 6.90 8/268 18574
/proc/meminfo: memFree=128252720/131249996 swapFree=33010684/33010684
[pid=18573] ppid=18570 vsize=251620 memory=198652 CPUtime=0.3 cores=1,3
/proc/18573/stat : 18573 (pb_competition_) R 18570 18573 17665 0 -1 4194304 33404 0 0 0 21 9 0 0 20 0 1 0 30756254 257658880 49663 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
/proc/18573/statm: 62905 49663 576 633 0 62121 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 251620 KiB
Current children cumulated memory: 198652 KiB
[startup+0.700217 s]
/proc/loadavg: 6.52 6.86 6.90 7/269 18575
/proc/meminfo: memFree=128073644/131249996 swapFree=33010684/33010684
[pid=18573] ppid=18570 vsize=588484 memory=505796 CPUtime=0.98 cores=1,3
/proc/18573/stat : 18573 (pb_competition_) R 18570 18573 17665 0 -1 4194304 63186 0 0 0 80 18 0 0 20 0 2 0 30756254 602607616 126449 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
/proc/18573/statm: 147154 126449 576 633 0 142947 0
[pid=18573/tid=18575] ppid=18570 vsize=588616 memory=10752 CPUtime=0.28 cores=1,3
/proc/18573/task/18575/stat : 18575 (pb_competition_) R 18570 18573 17665 0 -1 4194368 12963 0 0 0 26 2 0 0 20 0 2 0 30756294 602742784 126449 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 588484 KiB
Current children cumulated memory: 505796 KiB
[startup+1.50015 s]
/proc/loadavg: 6.52 6.86 6.90 7/269 18575
/proc/meminfo: memFree=127904300/131249996 swapFree=33010684/33010684
[pid=18573] ppid=18570 vsize=868716 memory=796356 CPUtime=2.55 cores=1,3
/proc/18573/stat : 18573 (pb_competition_) R 18570 18573 17665 0 -1 4194304 136785 0 0 0 222 33 0 0 20 0 2 0 30756254 889565184 199089 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
/proc/18573/statm: 217179 199089 576 633 0 215541 0
[pid=18573/tid=18575] ppid=18570 vsize=868848 memory=10752 CPUtime=1.07 cores=1,3
/proc/18573/task/18575/stat : 18575 (pb_competition_) R 18570 18573 17665 0 -1 4194368 48771 0 0 0 95 12 0 0 20 0 2 0 30756294 889700352 199089 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 868716 KiB
Current children cumulated memory: 796356 KiB
[startup+3.10581 s]
/proc/loadavg: 6.52 6.86 6.90 6/269 18575
/proc/meminfo: memFree=127235004/131249996 swapFree=33010684/33010684
[pid=18573] ppid=18570 vsize=1344836 memory=1274564 CPUtime=5.28 cores=1,3
/proc/18573/stat : 18573 (pb_competition_) R 18570 18573 17665 0 -1 4194304 351371 0 0 0 466 62 0 0 20 0 2 0 30756254 1377112064 318641 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
/proc/18573/statm: 336209 318641 576 633 0 335123 0
[pid=18573/tid=18575] ppid=18570 vsize=1344836 memory=0 CPUtime=2.48 cores=1,3
/proc/18573/task/18575/stat : 18575 (pb_competition_) S 18570 18573 17665 0 -1 4194368 123820 0 0 0 219 29 0 0 20 0 2 0 30756294 1377112064 318641 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 0 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
Current children cumulated CPU time: 5.28 s
Current children cumulated vsize: 1344836 KiB
Current children cumulated memory: 1274564 KiB
[startup+6.3002 s]
/proc/loadavg: 6.32 6.82 6.89 8/269 18575
/proc/meminfo: memFree=125150776/131249996 swapFree=33010684/33010684
[pid=18573] ppid=18570 vsize=3457960 memory=3427360 CPUtime=10.01 cores=1,3
/proc/18573/stat : 18573 (pb_competition_) R 18570 18573 17665 0 -1 4194304 622523 0 0 0 868 133 0 0 20 0 2 0 30756254 3540951040 856840 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
/proc/18573/statm: 864490 856840 608 633 0 858387 0
[pid=18573/tid=18575] ppid=18570 vsize=3457960 memory=14592 CPUtime=4.03 cores=1,3
/proc/18573/task/18575/stat : 18575 (pb_competition_) R 18570 18573 17665 0 -1 4194368 189797 0 0 0 362 41 0 0 20 0 2 0 30756294 3540951040 856840 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
Current children cumulated CPU time: 10.01 s
Current children cumulated vsize: 3457960 KiB
Current children cumulated memory: 3427360 KiB
[startup+12.7002 s]
/proc/loadavg: 6.22 6.79 6.88 5/269 18575
/proc/meminfo: memFree=124446480/131249996 swapFree=33010684/33010684
[pid=18573] ppid=18570 vsize=4229192 memory=4113928 CPUtime=17.47 cores=1,3
/proc/18573/stat : 18573 (pb_competition_) R 18570 18573 17665 0 -1 4194304 1128610 0 0 0 1561 186 0 0 20 0 2 0 30756254 4330692608 1028482 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
/proc/18573/statm: 1057298 1028482 672 633 0 1041987 0
[pid=18573/tid=18575] ppid=18570 vsize=4229192 memory=4083976 CPUtime=5.53 cores=1,3
/proc/18573/task/18575/stat : 18575 (pb_competition_) S 18570 18573 17665 0 -1 4194368 286586 0 0 0 497 56 0 0 20 0 2 0 30756294 4330692608 1028482 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
Current children cumulated CPU time: 17.47 s
Current children cumulated vsize: 4229192 KiB
Current children cumulated memory: 4113928 KiB
[startup+25.5002 s]
/proc/loadavg: 6.24 6.76 6.87 5/269 18621
/proc/meminfo: memFree=122375308/131249996 swapFree=33010684/33010684
[pid=18573] ppid=18570 vsize=5375840 memory=5260728 CPUtime=30.22 cores=1,3
/proc/18573/stat : 18573 (pb_competition_) R 18570 18573 17665 0 -1 4194304 1869769 0 0 0 2761 261 0 0 20 0 2 0 30756254 5504860160 1315182 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
/proc/18573/statm: 1343960 1315182 672 633 0 1328649 0
[pid=18573/tid=18575] ppid=18570 vsize=5375840 memory=14592 CPUtime=5.53 cores=1,3
/proc/18573/task/18575/stat : 18575 (pb_competition_) S 18570 18573 17665 0 -1 4194368 286586 0 0 0 497 56 0 0 20 0 2 0 30756294 5504860160 1315182 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
Current children cumulated CPU time: 30.22 s
Current children cumulated vsize: 5375840 KiB
Current children cumulated memory: 5260728 KiB
[startup+51.1063 s]
/proc/loadavg: 5.80 6.62 6.82 7/268 18668
/proc/meminfo: memFree=120407944/131249996 swapFree=33010684/33010684
[pid=18573] ppid=18570 vsize=8006216 memory=7890924 CPUtime=57.16 cores=1,3
/proc/18573/stat : 18573 (pb_competition_) R 18570 18573 17665 0 -1 4194304 3402595 0 0 0 5254 462 0 0 20 0 2 0 30756254 8198365184 1972731 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
/proc/18573/statm: 2001554 1972731 672 633 0 1986243 0
[pid=18573/tid=18575] ppid=18570 vsize=8006216 memory=14592 CPUtime=7 cores=1,3
/proc/18573/task/18575/stat : 18575 (pb_competition_) S 18570 18573 17665 0 -1 4194368 305166 0 0 0 642 58 0 0 20 0 2 0 30756294 8198365184 1972731 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
Current children cumulated CPU time: 57.16 s
Current children cumulated vsize: 8006216 KiB
Current children cumulated memory: 7890924 KiB
[startup+102.3 s]
/proc/loadavg: 5.54 6.42 6.73 7/267 18672
/proc/meminfo: memFree=120480560/131249996 swapFree=33010684/33010684
[pid=18573] ppid=18570 vsize=7805268 memory=7690168 CPUtime=110.72 cores=1,3
/proc/18573/stat : 18573 (pb_competition_) R 18570 18573 17665 0 -1 4194304 5341478 0 0 0 10351 721 0 0 20 0 2 0 30756254 7992594432 1922542 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
/proc/18573/statm: 1951317 1922542 672 633 0 1936006 0
[pid=18573/tid=18575] ppid=18570 vsize=7805268 memory=7690164 CPUtime=9.64 cores=1,3
/proc/18573/task/18575/stat : 18575 (pb_competition_) S 18570 18573 17665 0 -1 4194368 326144 0 0 0 905 59 0 0 20 0 2 0 30756294 7992594432 1922542 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
Current children cumulated CPU time: 110.72 s
Current children cumulated vsize: 7805268 KiB
Current children cumulated memory: 7690168 KiB
[startup+162.3 s]
/proc/loadavg: 5.48 6.25 6.66 6/268 18720
/proc/meminfo: memFree=118094560/131249996 swapFree=33010684/33010684
[pid=18573] ppid=18570 vsize=7805308 memory=7690208 CPUtime=174.3 cores=1,3
/proc/18573/stat : 18573 (pb_competition_) R 18570 18573 17665 0 -1 4194304 6795670 0 0 0 16558 872 0 0 20 0 2 0 30756254 7992635392 1922552 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
/proc/18573/statm: 1951327 1922552 672 633 0 1936016 0
[pid=18573/tid=18575] ppid=18570 vsize=7805308 memory=7690232 CPUtime=13.49 cores=1,3
/proc/18573/task/18575/stat : 18575 (pb_competition_) S 18570 18573 17665 0 -1 4194368 334992 0 0 0 1288 61 0 0 20 0 2 0 30756294 7992635392 1922552 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
Current children cumulated CPU time: 174.3 s
Current children cumulated vsize: 7805308 KiB
Current children cumulated memory: 7690208 KiB
[startup+189.173 s]
# the end of solver process 18573 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=192.431 s, system=9.99047 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+166.4 s]
/proc/loadavg: 5.36 6.21 6.64 6/268 18720
/proc/meminfo: memFree=118038844/131249996 swapFree=33010684/33010684
[pid=18573] ppid=18570 vsize=7786428 memory=7671328 CPUtime=178.49 cores=1,3
/proc/18573/stat : 18573 (pb_competition_) R 18570 18573 17665 0 -1 4194304 6981482 0 0 0 16963 886 0 0 20 0 2 0 30756254 7973302272 1917832 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
/proc/18573/statm: 1946607 1917832 672 633 0 1931296 0
[pid=18573/tid=18575] ppid=18570 vsize=7786428 memory=7690208 CPUtime=13.61 cores=1,3
/proc/18573/task/18575/stat : 18575 (pb_competition_) S 18570 18573 17665 0 -1 4194368 335099 0 0 0 1300 61 0 0 20 0 2 0 30756294 7973302272 1917832 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
Current children cumulated CPU time: 178.49 s
Current children cumulated vsize: 7786428 KiB
Current children cumulated memory: 7671328 KiB
[startup+179.2 s]
/proc/loadavg: 5.23 6.15 6.62 5/268 18720
/proc/meminfo: memFree=118072884/131249996 swapFree=33010684/33010684
[pid=18573] ppid=18570 vsize=7786348 memory=7671248 CPUtime=192.43 cores=1,3
/proc/18573/stat : 18573 (pb_competition_) R 18570 18573 17665 0 -1 4194304 7122939 0 0 0 18339 904 0 0 20 0 2 0 30756254 7973220352 1917812 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
/proc/18573/statm: 1946587 1917812 672 633 0 1931276 0
[pid=18573/tid=18575] ppid=18570 vsize=7786348 memory=10752 CPUtime=14.81 cores=1,3
/proc/18573/task/18575/stat : 18575 (pb_competition_) S 18570 18573 17665 0 -1 4194368 335932 0 0 0 1420 61 0 0 20 0 2 0 30756294 7973220352 1917812 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
Current children cumulated CPU time: 192.43 s
Current children cumulated vsize: 7786348 KiB
Current children cumulated memory: 7671248 KiB
[startup+185.6 s]
/proc/loadavg: 5.20 6.11 6.60 6/269 18726
/proc/meminfo: memFree=117582664/131249996 swapFree=33010684/33010684
[pid=18573] ppid=18570 vsize=7725868 memory=7610768 CPUtime=198.85 cores=1,3
/proc/18573/stat : 18573 (pb_competition_) R 18570 18573 17665 0 -1 4194304 7444123 0 0 0 18938 947 0 0 20 0 2 0 30756254 7911288832 1902692 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
/proc/18573/statm: 1931467 1902692 672 633 0 1916156 0
[pid=18573/tid=18575] ppid=18570 vsize=7725868 memory=14592 CPUtime=14.86 cores=1,3
/proc/18573/task/18575/stat : 18575 (pb_competition_) S 18570 18573 17665 0 -1 4194368 335932 0 0 0 1425 61 0 0 20 0 2 0 30756294 7911288832 1902692 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
Current children cumulated CPU time: 198.85 s
Current children cumulated vsize: 7725868 KiB
Current children cumulated memory: 7610768 KiB
[startup+187.2 s]
/proc/loadavg: 5.20 6.11 6.60 6/269 18726
/proc/meminfo: memFree=118271440/131249996 swapFree=33010684/33010684
[pid=18573] ppid=18570 vsize=7506072 memory=7390972 CPUtime=200.45 cores=1,3
/proc/18573/stat : 18573 (pb_competition_) R 18570 18573 17665 0 -1 4194304 7818506 0 0 0 19081 964 0 0 20 0 2 0 30756254 7686217728 1847743 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
/proc/18573/statm: 1876518 1847743 672 633 0 1861207 0
[pid=18573/tid=18575] ppid=18570 vsize=7506072 memory=0 CPUtime=14.86 cores=1,3
/proc/18573/task/18575/stat : 18575 (pb_competition_) S 18570 18573 17665 0 -1 4194368 335932 0 0 0 1425 61 0 0 20 0 2 0 30756294 7686217728 1847743 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
Current children cumulated CPU time: 200.45 s
Current children cumulated vsize: 7506072 KiB
Current children cumulated memory: 7390972 KiB
[startup+188 s]*
/proc/loadavg: 5.20 6.11 6.60 6/269 18726
/proc/meminfo: memFree=118287568/131249996 swapFree=33010684/33010684
[pid=18573] ppid=18570 vsize=7506072 memory=7390972 CPUtime=201.25 cores=1,3
/proc/18573/stat : 18573 (pb_competition_) R 18570 18573 17665 0 -1 4194304 7819022 0 0 0 19161 964 0 0 20 0 2 0 30756254 7686217728 1847743 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
/proc/18573/statm: 1876518 1847743 672 633 0 1861207 0
[pid=18573/tid=18575] ppid=18570 vsize=7506072 memory=7970387858473564785 CPUtime=14.86 cores=1,3
/proc/18573/task/18575/stat : 18575 (pb_competition_) S 18570 18573 17665 0 -1 4194368 335932 0 0 0 1425 61 0 0 20 0 2 0 30756294 7686217728 1847743 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
Current children cumulated CPU time: 201.25 s
Current children cumulated vsize: 7506072 KiB
Current children cumulated memory: 7390972 KiB
[startup+188.8 s]
/proc/loadavg: 5.20 6.11 6.60 6/269 18726
/proc/meminfo: memFree=118287568/131249996 swapFree=33010684/33010684
[pid=18573] ppid=18570 vsize=6146336 memory=6031236 CPUtime=202.04 cores=1,3
/proc/18573/stat : 18573 (pb_competition_) R 18570 18573 17665 0 -1 4194304 8117138 0 0 0 19226 978 0 0 20 0 2 0 30756254 6293848064 1507809 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
/proc/18573/statm: 1536584 1507809 672 633 0 1521273 0
[pid=18573/tid=18575] ppid=18570 vsize=6146336 memory=5632 CPUtime=14.86 cores=1,3
/proc/18573/task/18575/stat : 18575 (pb_competition_) S 18570 18573 17665 0 -1 4194368 335932 0 0 0 1425 61 0 0 20 0 2 0 30756294 6293848064 1507809 18446744073709551615 4198400 6788177 140725664206944 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 37625856 140725664209241 140725664209368 140725664209368 140725664214970 0
Current children cumulated CPU time: 202.04 s
Current children cumulated vsize: 6146336 KiB
Current children cumulated memory: 6031236 KiB
[startup+189 s]*
/proc/loadavg: 5.20 6.11 6.60 6/268 18726
/proc/meminfo: memFree=120602696/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+189.106 s]
/proc/loadavg: 5.20 6.11 6.60 6/268 18726
/proc/meminfo: memFree=120602696/131249996 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): 189.173
CPU time (s): 202.422
CPU user time (s): 192.431
CPU system time (s): 9.99047
CPU usage (%): 107.004
Max. virtual memory (cumulated for all children) (KiB): 8365260
Max. memory (cumulated for all children) (KiB): 8250048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 192.431
system time used= 9.99047
maximum resident set size= 8250424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8117139
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= 8020
involuntary context switches= 1113
# summary of solver processes directly reported to runsolver:
# pid: 18573
# total CPU time (s): 202.422
# total CPU user time (s): 192.431
# total CPU system time (s): 9.99047
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.320812 second user time and 1.01348 second system time
The end
Begin job on nodeC021 at 2025-06-29 00:46:26
IDJOB=4494342
IDBENCH=147888
IDSOLVER=3347
FILE ID=nodeC021/4494342-1751150785
RUNJOBID= nodeC021-1751146786-17677
SLURM_JOB_ID= 9587467
Free space on /tmp= 432952 MiB
SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_3.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-4494342-1751150785/watcher-4494342-1751150785 -o /tmp/evaluation-result-4494342-1751150785/solver-4494342-1751150785 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751146786-17677 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1831835502 HOME/instance-4494342-1751150785.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2365fef7cfc1138f9264574544964d48
RANDOM SEED=1831835502
nodeC021 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 : 0xb00002a
cpu MHz : 3601.152
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.56
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 : 0xb00002a
cpu MHz : 3599.826
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.56
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 : 0xb00002a
cpu MHz : 3604.032
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.56
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 : 0xb00002a
cpu MHz : 3574.453
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.56
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 : 0xb00002a
cpu MHz : 3599.782
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.56
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 : 0xb00002a
cpu MHz : 3599.776
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.56
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 : 0xb00002a
cpu MHz : 3599.568
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.56
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 : 0xb00002a
cpu MHz : 3599.797
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128383064 kB
MemAvailable: 128354600 kB
Buffers: 3280 kB
Cached: 781248 kB
SwapCached: 0 kB
Active: 1592692 kB
Inactive: 559308 kB
Active(anon): 1385532 kB
Inactive(anon): 0 kB
Active(file): 207160 kB
Inactive(file): 559308 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 93860 kB
Writeback: 8 kB
AnonPages: 1370540 kB
Mapped: 110928 kB
Shmem: 18060 kB
KReclaimable: 88212 kB
Slab: 173480 kB
SReclaimable: 88212 kB
SUnreclaim: 85268 kB
KernelStack: 4336 kB
PageTables: 5584 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1728572 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1069056 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432908 MiB
End job on nodeC021 at 2025-06-29 00:49:35