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 (55239 MiB free)
memory of node 1: 64465 MiB (63978 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494126-1751150703/watcher-4494126-1751150703 -o /tmp/evaluation-result-4494126-1751150703/solver-4494126-1751150703 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751145886-15432 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 964865492 HOME/instance-4494126-1751150703.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=16818, runsolver pid=16815
[startup+0.100068 s]*
/proc/loadavg: 6.76 7.06 7.08 7/267 16819
/proc/meminfo: memFree=122011184/131249992 swapFree=33010684/33010684
[pid=16818] ppid=16815 vsize=74776 memory=67888 CPUtime=0.09 cores=5,7
/proc/16818/stat : 16818 (pb_competition_) R 16815 16818 15419 0 -1 4194304 12419 0 0 0 7 2 0 0 20 0 1 0 30744875 76570624 16972 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
/proc/16818/statm: 18694 16972 576 633 0 17910 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74776 KiB
Current children cumulated memory: 67888 KiB
[startup+0.205989 s]*
/proc/loadavg: 6.76 7.06 7.08 7/268 16820
/proc/meminfo: memFree=121909612/131249992 swapFree=33010684/33010684
[pid=16818] ppid=16815 vsize=244972 memory=174744 CPUtime=0.25 cores=5,7
/proc/16818/stat : 16818 (pb_competition_) R 16815 16818 15419 0 -1 4194304 20761 0 0 0 19 6 0 0 20 0 2 0 30744875 250851328 43686 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
/proc/16818/statm: 61243 43686 576 633 0 46626 0
[pid=16818/tid=16820] ppid=16815 vsize=244972 memory=664958721904869660 CPUtime=0.05 cores=5,7
/proc/16818/task/16820/stat : 16820 (pb_competition_) R 16815 16818 15419 0 -1 4194368 2556 0 0 0 5 0 0 0 20 0 2 0 30744890 250851328 43686 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 244972 KiB
Current children cumulated memory: 174744 KiB
[startup+0.305794 s]*
/proc/loadavg: 6.76 7.06 7.08 7/268 16820
/proc/meminfo: memFree=121869292/131249992 swapFree=33010684/33010684
[pid=16818] ppid=16815 vsize=262660 memory=210200 CPUtime=0.44 cores=5,7
/proc/16818/stat : 16818 (pb_competition_) R 16815 16818 15419 0 -1 4194304 29622 0 0 0 36 8 0 0 20 0 2 0 30744875 268963840 52550 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
/proc/16818/statm: 65665 52550 576 633 0 55500 0
[pid=16818/tid=16820] ppid=16815 vsize=262660 memory=7970950812688530034 CPUtime=0.15 cores=5,7
/proc/16818/task/16820/stat : 16820 (pb_competition_) R 16815 16818 15419 0 -1 4194368 7007 0 0 0 14 1 0 0 20 0 2 0 30744890 268963840 52550 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 262660 KiB
Current children cumulated memory: 210200 KiB
[startup+0.700206 s]
/proc/loadavg: 6.76 7.06 7.08 8/268 16820
/proc/meminfo: memFree=121796716/131249992 swapFree=33010684/33010684
[pid=16818] ppid=16815 vsize=398552 memory=350232 CPUtime=1.19 cores=5,7
/proc/16818/stat : 16818 (pb_competition_) R 16815 16818 15419 0 -1 4194304 64631 0 0 0 104 15 0 0 20 0 2 0 30744875 408117248 87558 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
/proc/16818/statm: 99638 87558 576 633 0 90493 0
[pid=16818/tid=16820] ppid=16815 vsize=398552 memory=17152 CPUtime=0.53 cores=5,7
/proc/16818/task/16820/stat : 16820 (pb_competition_) R 16815 16818 15419 0 -1 4194368 24411 0 0 0 47 6 0 0 20 0 2 0 30744890 408117248 87558 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 398552 KiB
Current children cumulated memory: 350232 KiB
[startup+1.50019 s]
/proc/loadavg: 6.76 7.06 7.08 8/268 16820
/proc/meminfo: memFree=121619308/131249992 swapFree=33010684/33010684
[pid=16818] ppid=16815 vsize=1101472 memory=835676 CPUtime=2.35 cores=5,7
/proc/16818/stat : 16818 (pb_competition_) R 16815 16818 15419 0 -1 4194304 122222 0 0 0 202 33 0 0 20 0 2 0 30744875 1127907328 208919 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
/proc/16818/statm: 275368 208919 608 633 0 270395 0
[pid=16818/tid=16820] ppid=16815 vsize=1101472 memory=17152 CPUtime=0.96 cores=5,7
/proc/16818/task/16820/stat : 16820 (pb_competition_) S 16815 16818 15419 0 -1 4194368 44948 0 0 0 85 11 0 0 20 0 2 0 30744890 1127907328 208919 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 0 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
Current children cumulated CPU time: 2.35 s
Current children cumulated vsize: 1101472 KiB
Current children cumulated memory: 835676 KiB
[startup+3.10561 s]
/proc/loadavg: 6.70 7.04 7.08 6/268 16820
/proc/meminfo: memFree=120625272/131249992 swapFree=33010684/33010684
[pid=16818] ppid=16815 vsize=1489056 memory=1463412 CPUtime=4.97 cores=5,7
/proc/16818/stat : 16818 (pb_competition_) R 16815 16818 15419 0 -1 4194304 341124 0 0 0 437 60 0 0 20 0 2 0 30744875 1524793344 365853 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
/proc/16818/statm: 372264 365853 640 633 0 367423 0
[pid=16818/tid=16820] ppid=16815 vsize=1489056 memory=0 CPUtime=2.07 cores=5,7
/proc/16818/task/16820/stat : 16820 (pb_competition_) S 16815 16818 15419 0 -1 4194368 96402 0 0 0 187 20 0 0 20 0 2 0 30744890 1524793344 365853 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
Current children cumulated CPU time: 4.97 s
Current children cumulated vsize: 1489056 KiB
Current children cumulated memory: 1463412 KiB
[startup+6.30017 s]
/proc/loadavg: 6.70 7.04 7.08 6/268 16820
/proc/meminfo: memFree=120421228/131249992 swapFree=33010684/33010684
[pid=16818] ppid=16815 vsize=1875868 memory=1837900 CPUtime=8.13 cores=5,7
/proc/16818/stat : 16818 (pb_competition_) R 16815 16818 15419 0 -1 4194304 514708 0 0 0 734 79 0 0 20 0 2 0 30744875 1920888832 459475 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
/proc/16818/statm: 468967 459475 672 633 0 464126 0
[pid=16818/tid=16820] ppid=16815 vsize=1876000 memory=1651916 CPUtime=2.07 cores=5,7
/proc/16818/task/16820/stat : 16820 (pb_competition_) S 16815 16818 15419 0 -1 4194368 96402 0 0 0 187 20 0 0 20 0 2 0 30744890 1921024000 459475 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
Current children cumulated CPU time: 8.13 s
Current children cumulated vsize: 1875868 KiB
Current children cumulated memory: 1837900 KiB
[startup+12.7002 s]
/proc/loadavg: 6.56 7.01 7.06 7/268 16820
/proc/meminfo: memFree=119584192/131249992 swapFree=33010684/33010684
[pid=16818] ppid=16815 vsize=2659360 memory=2621328 CPUtime=14.5 cores=5,7
/proc/16818/stat : 16818 (pb_competition_) R 16815 16818 15419 0 -1 4194304 864831 0 0 0 1331 119 0 0 20 0 2 0 30744875 2723184640 655332 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
/proc/16818/statm: 664840 655332 672 633 0 659999 0
[pid=16818/tid=16820] ppid=16815 vsize=2659360 memory=6384 CPUtime=2.08 cores=5,7
/proc/16818/task/16820/stat : 16820 (pb_competition_) S 16815 16818 15419 0 -1 4194368 96402 0 0 0 188 20 0 0 20 0 2 0 30744890 2723184640 655332 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
Current children cumulated CPU time: 14.5 s
Current children cumulated vsize: 2659360 KiB
Current children cumulated memory: 2621328 KiB
[startup+25.5002 s]
/proc/loadavg: 6.23 6.91 7.03 7/267 16821
/proc/meminfo: memFree=118990672/131249992 swapFree=33010684/33010684
[pid=16818] ppid=16815 vsize=3116840 memory=3078724 CPUtime=28.15 cores=5,7
/proc/16818/stat : 16818 (pb_competition_) R 16815 16818 15419 0 -1 4194304 1168873 0 0 0 2667 148 0 0 20 0 2 0 30744875 3191644160 769681 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
/proc/16818/statm: 779210 769681 672 633 0 774369 0
[pid=16818/tid=16820] ppid=16815 vsize=3116840 memory=3078724 CPUtime=3.02 cores=5,7
/proc/16818/task/16820/stat : 16820 (pb_competition_) S 16815 16818 15419 0 -1 4194368 101277 0 0 0 282 20 0 0 20 0 2 0 30744890 3191644160 769681 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
Current children cumulated CPU time: 28.15 s
Current children cumulated vsize: 3116840 KiB
Current children cumulated memory: 3078724 KiB
[startup+39.8031 s]
# the end of solver process 16818 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=41.2814 s, system=1.91505 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 6.23 6.91 7.03 7/267 16821
/proc/meminfo: memFree=118990672/131249992 swapFree=33010684/33010684
[pid=16818] ppid=16815 vsize=3116840 memory=3078724 CPUtime=28.27 cores=5,7
/proc/16818/stat : 16818 (pb_competition_) R 16815 16818 15419 0 -1 4194304 1169936 0 0 0 2679 148 0 0 20 0 2 0 30744875 3191644160 769681 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
/proc/16818/statm: 779210 769681 672 633 0 774369 0
[pid=16818/tid=16820] ppid=16815 vsize=3116840 memory=0 CPUtime=3.04 cores=5,7
/proc/16818/task/16820/stat : 16820 (pb_competition_) S 16815 16818 15419 0 -1 4194368 101277 0 0 0 284 20 0 0 20 0 2 0 30744890 3191644160 769681 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
Current children cumulated CPU time: 28.27 s
Current children cumulated vsize: 3116840 KiB
Current children cumulated memory: 3078724 KiB
[startup+32.0002 s]*
/proc/loadavg: 6.13 6.88 7.02 7/267 16821
/proc/meminfo: memFree=119044956/131249992 swapFree=33010684/33010684
[pid=16818] ppid=16815 vsize=3116840 memory=3078724 CPUtime=34.85 cores=5,7
/proc/16818/stat : 16818 (pb_competition_) R 16815 16818 15419 0 -1 4194304 1349215 0 0 0 3326 159 0 0 20 0 2 0 30744875 3191644160 769681 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
/proc/16818/statm: 779210 769681 672 633 0 774369 0
[pid=16818/tid=16820] ppid=16815 vsize=3116840 memory=7970950812688530034 CPUtime=3.25 cores=5,7
/proc/16818/task/16820/stat : 16820 (pb_competition_) S 16815 16818 15419 0 -1 4194368 101288 0 0 0 305 20 0 0 20 0 2 0 30744890 3191644160 769681 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
Current children cumulated CPU time: 34.85 s
Current children cumulated vsize: 3116840 KiB
Current children cumulated memory: 3078724 KiB
[startup+35.2002 s]
/proc/loadavg: 6.12 6.86 7.01 6/267 16821
/proc/meminfo: memFree=118998412/131249992 swapFree=33010684/33010684
[pid=16818] ppid=16815 vsize=3116840 memory=3078724 CPUtime=38.35 cores=5,7
/proc/16818/stat : 16818 (pb_competition_) R 16815 16818 15419 0 -1 4194304 1408453 0 0 0 3673 162 0 0 20 0 2 0 30744875 3191644160 769681 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
/proc/16818/statm: 779210 769681 672 633 0 774369 0
[pid=16818/tid=16820] ppid=16815 vsize=3116840 memory=3078724 CPUtime=3.57 cores=5,7
/proc/16818/task/16820/stat : 16820 (pb_competition_) S 16815 16818 15419 0 -1 4194368 101331 0 0 0 337 20 0 0 20 0 2 0 30744890 3191644160 769681 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
Current children cumulated CPU time: 38.35 s
Current children cumulated vsize: 3116840 KiB
Current children cumulated memory: 3078724 KiB
[startup+36.8002 s]
/proc/loadavg: 6.12 6.86 7.01 8/267 16821
/proc/meminfo: memFree=119006476/131249992 swapFree=33010684/33010684
[pid=16818] ppid=16815 vsize=3116840 memory=3078724 CPUtime=40.19 cores=5,7
/proc/16818/stat : 16818 (pb_competition_) R 16815 16818 15419 0 -1 4194304 1478268 0 0 0 3853 166 0 0 20 0 2 0 30744875 3191644160 769681 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
/proc/16818/statm: 779210 769681 672 633 0 774369 0
[pid=16818/tid=16820] ppid=16815 vsize=3116840 memory=3078724 CPUtime=3.82 cores=5,7
/proc/16818/task/16820/stat : 16820 (pb_competition_) S 16815 16818 15419 0 -1 4194368 105365 0 0 0 362 20 0 0 20 0 2 0 30744890 3191644160 769681 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
Current children cumulated CPU time: 40.19 s
Current children cumulated vsize: 3116840 KiB
Current children cumulated memory: 3078724 KiB
[startup+38.4002 s]
/proc/loadavg: 6.19 6.86 7.01 7/267 16821
/proc/meminfo: memFree=118884328/131249992 swapFree=33010684/33010684
[pid=16818] ppid=16815 vsize=3000660 memory=2962740 CPUtime=41.79 cores=5,7
/proc/16818/stat : 16818 (pb_competition_) R 16815 16818 15419 0 -1 4194304 1500124 0 0 0 4008 171 0 0 20 0 2 0 30744875 3072675840 740685 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
/proc/16818/statm: 750165 740685 672 633 0 745324 0
[pid=16818/tid=16820] ppid=16815 vsize=3000660 memory=3078724 CPUtime=3.82 cores=5,7
/proc/16818/task/16820/stat : 16820 (pb_competition_) S 16815 16818 15419 0 -1 4194368 105369 0 0 0 362 20 0 0 20 0 2 0 30744890 3072675840 740685 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
Current children cumulated CPU time: 41.79 s
Current children cumulated vsize: 3000660 KiB
Current children cumulated memory: 2962740 KiB
[startup+39.2002 s]
/proc/loadavg: 6.19 6.86 7.01 7/267 16821
/proc/meminfo: memFree=119080964/131249992 swapFree=33010684/33010684
[pid=16818] ppid=16815 vsize=3000660 memory=2962740 CPUtime=42.59 cores=5,7
/proc/16818/stat : 16818 (pb_competition_) R 16815 16818 15419 0 -1 4194304 1643674 0 0 0 4080 179 0 0 20 0 2 0 30744875 3072675840 740685 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
/proc/16818/statm: 750165 740685 672 633 0 745324 0
[pid=16818/tid=16820] ppid=16815 vsize=3000660 memory=2962740 CPUtime=3.82 cores=5,7
/proc/16818/task/16820/stat : 16820 (pb_competition_) S 16815 16818 15419 0 -1 4194368 105369 0 0 0 362 20 0 0 20 0 2 0 30744890 3072675840 740685 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
Current children cumulated CPU time: 42.59 s
Current children cumulated vsize: 3000660 KiB
Current children cumulated memory: 2962740 KiB
[startup+39.6002 s]
/proc/loadavg: 6.19 6.86 7.01 7/267 16821
/proc/meminfo: memFree=119080964/131249992 swapFree=33010684/33010684
[pid=16818] ppid=16815 vsize=2474720 memory=2436800 CPUtime=42.98 cores=5,7
/proc/16818/stat : 16818 (pb_competition_) R 16815 16818 15419 0 -1 4194304 1740217 0 0 0 4115 183 0 0 20 0 2 0 30744875 2534113280 609200 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
/proc/16818/statm: 618680 609200 672 633 0 613839 0
[pid=16818/tid=16820] ppid=16815 vsize=2474720 memory=10752 CPUtime=3.82 cores=5,7
/proc/16818/task/16820/stat : 16820 (pb_competition_) S 16815 16818 15419 0 -1 4194368 105369 0 0 0 362 20 0 0 20 0 2 0 30744890 2534113280 609200 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
Current children cumulated CPU time: 42.98 s
Current children cumulated vsize: 2474720 KiB
Current children cumulated memory: 2436800 KiB
[startup+39.7002 s]
/proc/loadavg: 6.19 6.86 7.01 7/267 16821
/proc/meminfo: memFree=119080964/131249992 swapFree=33010684/33010684
[pid=16818] ppid=16815 vsize=2474720 memory=2436800 CPUtime=43.09 cores=5,7
/proc/16818/stat : 16818 (pb_competition_) R 16815 16818 15419 0 -1 4194304 1744439 0 0 0 4125 184 0 0 20 0 2 0 30744875 2534113280 609200 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
/proc/16818/statm: 618680 609200 672 633 0 613839 0
[pid=16818/tid=16820] ppid=16815 vsize=2474720 memory=3078724 CPUtime=3.82 cores=5,7
/proc/16818/task/16820/stat : 16820 (pb_competition_) S 16815 16818 15419 0 -1 4194368 105369 0 0 0 362 20 0 0 20 0 2 0 30744890 2534113280 609200 18446744073709551615 4198400 6788177 140730066913920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36286464 140730066921818 140730066921944 140730066921944 140730066927546 0
Current children cumulated CPU time: 43.09 s
Current children cumulated vsize: 2474720 KiB
Current children cumulated memory: 2436800 KiB
Child status: 0
Real time (s): 39.8031
CPU time (s): 43.1964
CPU user time (s): 41.2814
CPU system time (s): 1.91505
CPU usage (%): 108.525
Max. virtual memory (cumulated for all children) (KiB): 3255856
Max. memory (cumulated for all children) (KiB): 3217784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.2814
system time used= 1.91505
maximum resident set size= 3217784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1744440
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= 2595
involuntary context switches= 445
# summary of solver processes directly reported to runsolver:
# pid: 16818
# total CPU time (s): 43.1964
# total CPU user time (s): 41.2814
# total CPU system time (s): 1.91505
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.072738 second user time and 0.236047 second system time
The end
Begin job on nodeC035 at 2025-06-29 00:45:03
IDJOB=4494126
IDBENCH=147882
IDSOLVER=3347
FILE ID=nodeC035/4494126-1751150703
RUNJOBID= nodeC035-1751145886-15432
SLURM_JOB_ID= 9587453
Free space on /tmp= 432928 MiB
SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_0.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-4494126-1751150703/watcher-4494126-1751150703 -o /tmp/evaluation-result-4494126-1751150703/solver-4494126-1751150703 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751145886-15432 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 964865492 HOME/instance-4494126-1751150703.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= edc49dd1b51fcfed98bb9be45944fb6c
RANDOM SEED=964865492
nodeC035 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 : 3599.734
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.51
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.747
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.51
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 : 3578.455
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.51
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 : 3599.701
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.51
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.758
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.51
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 : 3584.043
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.51
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.735
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.51
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.743
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 122079068 kB
MemAvailable: 121769372 kB
Buffers: 3280 kB
Cached: 501800 kB
SwapCached: 0 kB
Active: 8230216 kB
Inactive: 280044 kB
Active(anon): 8023244 kB
Inactive(anon): 0 kB
Active(file): 206972 kB
Inactive(file): 280044 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 39320 kB
Writeback: 52 kB
AnonPages: 8008216 kB
Mapped: 111004 kB
Shmem: 18064 kB
KReclaimable: 85056 kB
Slab: 168000 kB
SReclaimable: 85056 kB
SUnreclaim: 82944 kB
KernelStack: 4320 kB
PageTables: 18492 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 8414828 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2426880 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= 432924 MiB
End job on nodeC035 at 2025-06-29 00:45:43