0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.51/0.57 c [STEP] preprocessing with Papilo
0.77/0.88 c [STEP] solving with SCIP
299.98/301.17 c [STEP] preprocessing done, loading into solver
300.06/301.25 c [STEP] solving
300.06/301.25 c #variables 30893 #constraints 31412
300.06/301.25 c SMALL=int, LARGE=long long
300.06/301.25 d SCIPUB -39082
300.06/301.25 c bounds - >= -22109188 @ 299.827
300.06/301.25 c stratification level: 4181
300.36/301.53 c bounds - >= -9132710 @ 300.07
300.36/301.53 c bounds - >= -8867128 @ 300.071
300.36/301.53 c bounds - >= -8846223 @ 300.073
300.36/301.53 c bounds - >= -8733590 @ 300.076
300.36/301.53 c finalizing WCE round: reformulating cores
637.68/639.86 terminate called after throwing an instance of 'std::bad_alloc'
637.68/639.86 what(): std::bad_alloc
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: 63794 MiB (56122 MiB free)
memory of node 1: 64507 MiB (48422 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528839-1752260977/watcher-4528839-1752260977 -o /tmp/evaluation-result-4528839-1752260977/solver-4528839-1752260977 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752256268-116149 --watchdog 3760 mixed-bag HOME/instance-4528839-1752260977.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=117384, runsolver pid=117381
[startup+0.100074 s]*
/proc/loadavg: 4.13 4.12 4.09 5/250 117385
/proc/meminfo: memFree=107045200/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=91572 memory=19796 CPUtime=0.1 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) R 117381 117384 116137 0 -1 4194304 4087 0 0 0 8 2 0 0 20 0 1 0 141776588 93769728 4949 18446744073709551615 4235264 15840557 140723227066240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 0
/proc/117384/statm: 22893 4949 2144 2834 0 5645 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 91572 KiB
Current children cumulated memory: 19796 KiB
[startup+0.213166 s]*
/proc/loadavg: 4.13 4.12 4.09 5/250 117385
/proc/meminfo: memFree=107041420/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=93656 memory=22348 CPUtime=0.21 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) R 117381 117384 116137 0 -1 4194304 5207 0 0 0 19 2 0 0 20 0 1 0 141776588 95903744 5587 18446744073709551615 4235264 15840557 140723227066240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 0
/proc/117384/statm: 23414 5587 2144 2834 0 6166 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 93656 KiB
Current children cumulated memory: 22348 KiB
[startup+0.313188 s]*
/proc/loadavg: 4.13 4.12 4.09 5/250 117385
/proc/meminfo: memFree=107041420/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=97752 memory=25164 CPUtime=0.3 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) R 117381 117384 116137 0 -1 4194304 5880 0 0 0 28 2 0 0 20 0 1 0 141776588 100098048 6291 18446744073709551615 4235264 15840557 140723227066240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 0
/proc/117384/statm: 24438 6291 2144 2834 0 7190 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 97752 KiB
Current children cumulated memory: 25164 KiB
[startup+0.700354 s]
/proc/loadavg: 4.13 4.12 4.09 5/250 117385
/proc/meminfo: memFree=107037640/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=145120 memory=67048 CPUtime=0.68 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) R 117381 117384 116137 0 -1 4194304 12997 0 0 0 63 5 0 0 20 0 1 0 141776588 148602880 16762 18446744073709551615 4235264 15840557 140723227066240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 0
/proc/117384/statm: 36280 16762 2304 2834 0 18485 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 145120 KiB
Current children cumulated memory: 67048 KiB
[startup+1.50033 s]
/proc/loadavg: 4.13 4.12 4.09 5/250 117385
/proc/meminfo: memFree=106953184/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=280656 memory=205632 CPUtime=1.47 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) R 117381 117384 116137 0 -1 4194304 46650 0 0 0 134 13 0 0 20 0 1 0 141776588 287391744 51408 18446744073709551615 4235264 15840557 140723227066240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 0
/proc/117384/statm: 70164 51408 4000 2834 0 52369 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 280656 KiB
Current children cumulated memory: 205632 KiB
[startup+3.1131 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 117385
/proc/meminfo: memFree=106820440/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=342432 memory=264148 CPUtime=3.08 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) R 117381 117384 116137 0 -1 4194304 60878 0 0 0 293 15 0 0 20 0 1 0 141776588 350650368 66037 18446744073709551615 4235264 15840557 140723227066240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 0
/proc/117384/statm: 85608 66037 4032 2834 0 67813 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 342432 KiB
Current children cumulated memory: 264148 KiB
[startup+6.30032 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 117385
/proc/meminfo: memFree=106795216/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=342432 memory=264148 CPUtime=6.26 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) R 117381 117384 116137 0 -1 4194304 60890 0 0 0 611 15 0 0 20 0 1 0 141776588 350650368 66037 18446744073709551615 4235264 15840557 140723227066240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 0
/proc/117384/statm: 85608 66037 4032 2834 0 67813 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 342432 KiB
Current children cumulated memory: 264148 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 117385
/proc/meminfo: memFree=106738504/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=347360 memory=269012 CPUtime=12.64 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) R 117381 117384 116137 0 -1 4194304 62465 0 0 0 1248 16 0 0 20 0 1 0 141776588 355696640 67253 18446744073709551615 4235264 15840557 140723227066240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 0
/proc/117384/statm: 86840 67253 4032 2834 0 69045 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 347360 KiB
Current children cumulated memory: 269012 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.11 4.09 5/250 117385
/proc/meminfo: memFree=106512536/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=520780 memory=394004 CPUtime=25.4 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) R 117381 117384 116137 0 -1 4194304 90422 0 0 0 2519 21 0 0 20 0 1 0 141776588 533278720 98501 18446744073709551615 4235264 15840557 140723227066240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 0
/proc/117384/statm: 130195 98501 4256 2834 0 112400 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 520780 KiB
Current children cumulated memory: 394004 KiB
[startup+51.1132 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 117386
/proc/meminfo: memFree=106189520/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=573620 memory=443320 CPUtime=50.94 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) R 117381 117384 116137 0 -1 4194304 100608 0 0 0 5071 23 0 0 20 0 1 0 141776588 587386880 110830 18446744073709551615 4235264 15840557 140723227066240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 0
/proc/117384/statm: 143405 110830 4448 2834 0 125610 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 573620 KiB
Current children cumulated memory: 443320 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 117389
/proc/meminfo: memFree=105641192/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=583240 memory=451128 CPUtime=101.95 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) R 117381 117384 116137 0 -1 4194304 102546 0 0 0 10172 23 0 0 20 0 1 0 141776588 597237760 112782 18446744073709551615 4235264 15840557 140723227066240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 0
/proc/117384/statm: 145810 112782 4448 2834 0 128015 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 583240 KiB
Current children cumulated memory: 451128 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/251 117392
/proc/meminfo: memFree=104901820/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=609148 memory=469944 CPUtime=161.7 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) R 117381 117384 116137 0 -1 4194304 107269 0 0 0 16146 24 0 0 20 0 1 0 141776588 623767552 117486 18446744073709551615 4235264 15840557 140723227066240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 0
/proc/117384/statm: 152287 117486 4448 2834 0 134492 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 609148 KiB
Current children cumulated memory: 469944 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 117394
/proc/meminfo: memFree=104079512/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=659560 memory=503040 CPUtime=221.46 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) R 117381 117384 116137 0 -1 4194304 113874 0 0 0 22120 26 0 0 20 0 1 0 141776588 675389440 125760 18446744073709551615 4235264 15840557 140723227066240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 0
/proc/117384/statm: 164890 125760 4448 2834 0 147095 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 659560 KiB
Current children cumulated memory: 503040 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 117399
/proc/meminfo: memFree=103589268/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=662168 memory=506544 CPUtime=281.23 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) R 117381 117384 116137 0 -1 4194304 114234 0 0 0 28096 27 0 0 20 0 1 0 141776588 678060032 126636 18446744073709551615 4235264 15840557 140723227066240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 0
/proc/117384/statm: 165542 126636 4448 2834 0 147747 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 662168 KiB
Current children cumulated memory: 506544 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/252 117404
/proc/meminfo: memFree=101351804/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=2693684 memory=2497308 CPUtime=341.04 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) R 117381 117384 116137 0 -1 4194304 120973 0 0 0 33991 113 0 0 20 0 1 0 141776588 2758332416 624327 18446744073709551615 4235264 15840557 140723227066240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 0
/proc/117384/statm: 673421 624327 4608 2834 0 655626 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 2693684 KiB
Current children cumulated memory: 2497308 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/252 117406
/proc/meminfo: memFree=97591356/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=8985140 memory=5503780 CPUtime=400.86 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) R 117381 117384 116137 0 -1 4194304 126539 0 0 0 39787 299 0 0 20 0 1 0 141776588 9200783360 1375945 18446744073709551615 4235264 15840557 140723227066240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 0
/proc/117384/statm: 2246285 1375945 4608 2834 0 2228490 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 8985140 KiB
Current children cumulated memory: 5503780 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/252 117408
/proc/meminfo: memFree=94341040/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=8985140 memory=8596260 CPUtime=460.69 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) R 117381 117384 116137 0 -1 4194304 128051 0 0 0 45712 357 0 0 20 0 1 0 141776588 9200783360 2149065 18446744073709551615 4235264 15840557 140723227066240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 0
/proc/117384/statm: 2246285 2149065 4608 2834 0 2228490 0
Current children cumulated CPU time: 460.69 s
Current children cumulated vsize: 8985140 KiB
Current children cumulated memory: 8596260 KiB
[startup+522.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/251 117410
/proc/meminfo: memFree=91513568/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=17373748 memory=11414312 CPUtime=520.51 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) R 117381 117384 116137 0 -1 4194304 134036 0 0 0 51465 586 0 0 20 0 1 0 141776588 17790717952 2853578 18446744073709551615 4235264 15840557 140723227066240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 0
/proc/117384/statm: 4343437 2853578 4608 2834 0 4325642 0
Current children cumulated CPU time: 520.51 s
Current children cumulated vsize: 17373748 KiB
Current children cumulated memory: 11414312 KiB
[startup+582.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/250 117412
/proc/meminfo: memFree=88409832/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=17373748 memory=14400296 CPUtime=580.35 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) R 117381 117384 116137 0 -1 4194304 136730 0 0 0 57393 642 0 0 20 0 1 0 141776588 17790717952 3600074 18446744073709551615 4235264 15840557 140723227066240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 0
/proc/117384/statm: 4343437 3600074 4608 2834 0 4325642 0
Current children cumulated CPU time: 580.35 s
Current children cumulated vsize: 17373748 KiB
Current children cumulated memory: 14400296 KiB
[startup+642.3 s]
/proc/loadavg: 4.21 4.11 4.10 5/251 117417
/proc/meminfo: memFree=83425876/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=17373748 memory=17270824 CPUtime=639.06 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) S 117381 117384 116137 0 -1 4195840 140094 0 0 0 63076 830 0 0 20 0 1 0 141776588 17790717952 4317706 18446744073709551615 4235264 15840557 140723227066240 140723227060704 140524462324332 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 6
/proc/117384/statm: 4343437 4317706 4640 2834 0 4325642 0
Current children cumulated CPU time: 639.06 s
Current children cumulated vsize: 17373748 KiB
Current children cumulated memory: 17270824 KiB
[startup+647.319 s]
# the end of solver process 117384 was just reported to runsolver
# Child ended because it received signal 6 (SIGABRT)
Child dumped core
# cumulated CPU time of all completed processes: user=630.762 s, system=8.40786 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+643.2 s]
/proc/loadavg: 4.28 4.13 4.10 5/251 117417
/proc/meminfo: memFree=83410000/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=17373748 memory=17270824 CPUtime=639.06 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) S 117381 117384 116137 0 -1 4195840 140094 0 0 0 63076 830 0 0 20 0 1 0 141776588 17790717952 4317706 18446744073709551615 4235264 15840557 140723227066240 140723227060704 140524462324332 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 6
/proc/117384/statm: 4343437 4317706 4640 2834 0 4325642 0
Current children cumulated CPU time: 639.06 s
Current children cumulated vsize: 17373748 KiB
Current children cumulated memory: 17270824 KiB
[startup+644.8 s]
/proc/loadavg: 4.28 4.13 4.10 5/250 117417
/proc/meminfo: memFree=83386312/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=17373748 memory=17270824 CPUtime=639.06 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) S 117381 117384 116137 0 -1 4195840 140094 0 0 0 63076 830 0 0 20 0 1 0 141776588 17790717952 4317706 18446744073709551615 4235264 15840557 140723227066240 140723227060704 140524462324332 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 6
/proc/117384/statm: 4343437 4317706 4640 2834 0 4325642 0
Current children cumulated CPU time: 639.06 s
Current children cumulated vsize: 17373748 KiB
Current children cumulated memory: 17270824 KiB
[startup+646.4 s]
/proc/loadavg: 4.28 4.13 4.10 5/250 117417
/proc/meminfo: memFree=83330116/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=17373748 memory=17270824 CPUtime=639.06 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) S 117381 117384 116137 0 -1 4195840 140094 0 0 0 63076 830 0 0 20 0 1 0 141776588 17790717952 4317706 18446744073709551615 4235264 15840557 140723227066240 140723227060704 140524462324332 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 6
/proc/117384/statm: 4343437 4317706 4640 2834 0 4325642 0
Current children cumulated CPU time: 639.06 s
Current children cumulated vsize: 17373748 KiB
Current children cumulated memory: 17270824 KiB
[startup+646.8 s]
/proc/loadavg: 4.28 4.13 4.10 5/250 117417
/proc/meminfo: memFree=83330116/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=17373748 memory=17270824 CPUtime=639.06 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) S 117381 117384 116137 0 -1 4195840 140094 0 0 0 63076 830 0 0 20 0 1 0 141776588 17790717952 4317706 18446744073709551615 4235264 15840557 140723227066240 140723227060704 140524462324332 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 6
/proc/117384/statm: 4343437 4317706 4640 2834 0 4325642 0
Current children cumulated CPU time: 639.06 s
Current children cumulated vsize: 17373748 KiB
Current children cumulated memory: 17270824 KiB
[startup+647.2 s]
/proc/loadavg: 4.28 4.13 4.10 5/251 117418
/proc/meminfo: memFree=83330620/131382112 swapFree=33009904/33010684
[pid=117384] ppid=117381 vsize=17373748 memory=17270824 CPUtime=639.06 cores=1,3
/proc/117384/stat : 117384 (mixed-bag) S 117381 117384 116137 0 -1 4195840 140094 0 0 0 63076 830 0 0 20 0 1 0 141776588 17790717952 4317706 18446744073709551615 4235264 15840557 140723227066240 140723227060704 140524462324332 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 18047680 18058864 30973952 140723227068826 140723227068903 140723227068903 140723227074507 6
/proc/117384/statm: 4343437 4317706 4640 2834 0 4325642 0
Current children cumulated CPU time: 639.06 s
Current children cumulated vsize: 17373748 KiB
Current children cumulated memory: 17270824 KiB
[startup+647.3 s]*
/proc/loadavg: 4.28 4.13 4.10 5/252 117424
/proc/meminfo: memFree=96457020/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 647.319
CPU time (s): 639.17
CPU user time (s): 630.762
CPU system time (s): 8.40786
CPU usage (%): 98.7411
Max. virtual memory (cumulated for all children) (KiB): 25762360
Max. memory (cumulated for all children) (KiB): 17270824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 630.762
system time used= 8.40786
maximum resident set size= 17271596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140094
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= 704
involuntary context switches= 1092
# summary of solver processes directly reported to runsolver:
# pid: 117384
# total CPU time (s): 639.17
# total CPU user time (s): 630.762
# total CPU system time (s): 8.40786
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.34345 second user time and 6.29969 second system time
The end
Begin job on nodeC001 at 2025-07-11 21:09:37
IDJOB=4528839
IDBENCH=156158
IDSOLVER=3386
FILE ID=nodeC001/4528839-1752260977
RUNJOBID= nodeC001-1752256268-116149
SLURM_JOB_ID= 9682596
Free space on /tmp= 432216 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528839-1752260977/watcher-4528839-1752260977 -o /tmp/evaluation-result-4528839-1752260977/solver-4528839-1752260977 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752256268-116149 --watchdog 3760 mixed-bag HOME/instance-4528839-1752260977.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0390bfe3f6c229f0cac833c3202307c0
RANDOM SEED=1661683492
nodeC001 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 : 3543.518
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.49
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 : 1197.154
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.49
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 : 1197.461
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.49
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 : 3700.000
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.49
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 : 3662.111
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.49
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.737
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.49
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 : 3700.000
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.49
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 : 3700.000
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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 107054416 kB
MemAvailable: 108966460 kB
Buffers: 1668 kB
Cached: 2693560 kB
SwapCached: 128 kB
Active: 21230084 kB
Inactive: 2392016 kB
Active(anon): 20916816 kB
Inactive(anon): 27832 kB
Active(file): 313268 kB
Inactive(file): 2364184 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18212 kB
Writeback: 4 kB
AnonPages: 20928504 kB
Mapped: 140012 kB
Shmem: 17776 kB
KReclaimable: 148052 kB
Slab: 236316 kB
SReclaimable: 148052 kB
SUnreclaim: 88264 kB
KernelStack: 4032 kB
PageTables: 44336 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 22366756 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4722688 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432092 MiB
End job on nodeC001 at 2025-07-11 21:20:25