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
2.17/2.29 c [STEP] preprocessing with Papilo
9.56/9.65 c [STEP] solving with SCIP
311.22/312.27 c [STEP] preprocessing done, loading into solver
312.22/313.24 c [STEP] solving
312.22/313.24 c #variables 364931 #constraints 366801
312.22/313.25 c SMALL=int, LARGE=long long
312.22/313.27 d SCIPUB -13530
312.22/313.28 c bounds - >= -621438246 @ 310.454
312.22/313.28 c stratification level: 6765
623.53/625.30 terminate called after throwing an instance of 'St9bad_alloc'
623.53/625.30 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: 63708 MiB (43395 MiB free)
memory of node 1: 64465 MiB (63453 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506127-1751495412/watcher-4506127-1751495412 -o /tmp/evaluation-result-4506127-1751495412/solver-4506127-1751495412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751491800-63924 --watchdog 3760 mixed-bag HOME/instance-4506127-1751495412.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=64317, runsolver pid=64314
[startup+0.100064 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 64319
/proc/meminfo: memFree=109288892/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=204716 memory=101000 CPUtime=0.08 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 15544 0 0 0 6 2 0 0 20 0 1 0 65218735 209629184 25250 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 51179 25250 2144 2842 0 33412 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 204716 KiB
Current children cumulated memory: 101000 KiB
[startup+0.205715 s]*
/proc/loadavg: 4.10 4.11 4.09 5/266 64328
/proc/meminfo: memFree=109268856/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=186568 memory=95832 CPUtime=0.19 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 19173 0 0 0 16 3 0 0 20 0 1 0 65218735 191045632 23958 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 46642 23958 2176 2842 0 28875 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 186568 KiB
Current children cumulated memory: 95832 KiB
[startup+0.305698 s]*
/proc/loadavg: 4.10 4.11 4.09 5/266 64328
/proc/meminfo: memFree=109184140/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=198856 memory=109164 CPUtime=0.3 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 20450 0 0 0 26 4 0 0 20 0 1 0 65218735 203628544 27291 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 49714 27291 2176 2842 0 31947 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 198856 KiB
Current children cumulated memory: 109164 KiB
[startup+0.700122 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 64328
/proc/meminfo: memFree=109131020/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=215284 memory=125880 CPUtime=0.68 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 21553 0 0 0 63 5 0 0 20 0 1 0 65218735 220450816 31470 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 53821 31470 2176 2842 0 36054 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 215284 KiB
Current children cumulated memory: 125880 KiB
[startup+1.50012 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 64328
/proc/meminfo: memFree=111515040/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=248052 memory=169564 CPUtime=1.48 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 22788 0 0 0 141 7 0 0 20 0 1 0 65218735 254005248 42391 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 62013 42391 2176 2842 0 44246 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 248052 KiB
Current children cumulated memory: 169564 KiB
[startup+3.10566 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 64373
/proc/meminfo: memFree=126372012/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=651352 memory=513340 CPUtime=3.07 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 50779 0 0 0 284 23 0 0 20 0 1 0 65218735 666984448 128335 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 162838 128335 2336 2842 0 144532 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 651352 KiB
Current children cumulated memory: 513340 KiB
[startup+6.30017 s]
/proc/loadavg: 4.17 4.12 4.09 5/266 64373
/proc/meminfo: memFree=125892272/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=678380 memory=537476 CPUtime=6.26 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 54368 0 0 0 602 24 0 0 20 0 1 0 65218735 694661120 134369 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 169595 134369 2336 2842 0 151289 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 678380 KiB
Current children cumulated memory: 537476 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 64373
/proc/meminfo: memFree=124355652/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=2061040 memory=1859772 CPUtime=12.65 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 380685 0 0 0 1190 75 0 0 20 0 1 0 65218735 2110504960 464943 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 515260 464943 4096 2842 0 496954 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2061040 KiB
Current children cumulated memory: 1859772 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 64374
/proc/meminfo: memFree=119343460/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=2510624 memory=2358964 CPUtime=25.42 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 515671 0 0 0 2440 102 0 0 20 0 1 0 65218735 2570878976 589741 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 627656 589741 4128 2842 0 609350 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2510624 KiB
Current children cumulated memory: 2358964 KiB
[startup+51.1057 s]
/proc/loadavg: 4.29 4.15 4.10 5/266 64375
/proc/meminfo: memFree=117888176/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=2812280 memory=2655428 CPUtime=50.95 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 555240 0 0 0 4984 111 0 0 20 0 1 0 65218735 2879774720 663857 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 703070 663857 4128 2842 0 684764 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2812280 KiB
Current children cumulated memory: 2655428 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/266 64377
/proc/meminfo: memFree=117306080/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=2812280 memory=2655428 CPUtime=101.99 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 555253 0 0 0 10088 111 0 0 20 0 1 0 65218735 2879774720 663857 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 703070 663857 4128 2842 0 684764 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2812280 KiB
Current children cumulated memory: 2655428 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/266 64379
/proc/meminfo: memFree=116133072/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=4158764 memory=3841956 CPUtime=161.81 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 694117 0 0 0 16035 146 0 0 20 0 1 0 65218735 4258574336 960489 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 1039691 960489 4192 2842 0 1021385 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 4158764 KiB
Current children cumulated memory: 3841956 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 64383
/proc/meminfo: memFree=113325356/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=4486516 memory=4108868 CPUtime=221.61 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 730621 0 0 0 22006 155 0 0 20 0 1 0 65218735 4594192384 1027217 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 1121629 1027217 4288 2842 0 1103323 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 4486516 KiB
Current children cumulated memory: 4108868 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 64386
/proc/meminfo: memFree=113033864/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=4612616 memory=4203872 CPUtime=281.41 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 738717 0 0 0 27983 158 0 0 20 0 1 0 65218735 4723318784 1050968 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 1153154 1050968 4320 2842 0 1134848 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 4612616 KiB
Current children cumulated memory: 4203872 KiB
[startup+342.3 s]
/proc/loadavg: 4.45 4.20 4.12 5/264 64389
/proc/meminfo: memFree=114195804/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=4617836 memory=4544140 CPUtime=341.24 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 885328 0 0 0 33914 210 0 0 20 0 1 0 65218735 4728664064 1136035 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 1154459 1136035 4480 2842 0 1136153 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 4617836 KiB
Current children cumulated memory: 4544140 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/264 64391
/proc/meminfo: memFree=106740988/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=11614716 memory=11541004 CPUtime=401.08 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 2634563 0 0 0 39611 497 0 0 20 0 1 0 65218735 11893469184 2885251 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 2903679 2885251 4480 2842 0 2885373 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 11614716 KiB
Current children cumulated memory: 11541004 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/264 64393
/proc/meminfo: memFree=100677736/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=17449796 memory=17376140 CPUtime=460.93 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 4093838 0 0 0 45358 735 0 0 20 0 1 0 65218735 17868591104 4344035 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 4362449 4344035 4480 2842 0 4344143 0
Current children cumulated CPU time: 460.93 s
Current children cumulated vsize: 17449796 KiB
Current children cumulated memory: 17376140 KiB
[startup+522.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/264 64395
/proc/meminfo: memFree=94509072/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=23100664 memory=23027084 CPUtime=520.79 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 5507107 0 0 0 51114 965 0 0 20 0 1 0 65218735 23655079936 5756771 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 5775166 5756771 4480 2842 0 5756860 0
Current children cumulated CPU time: 520.79 s
Current children cumulated vsize: 23100664 KiB
Current children cumulated memory: 23027084 KiB
[startup+582.3 s]
/proc/loadavg: 4.22 4.17 4.12 5/264 64397
/proc/meminfo: memFree=89460236/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=27923520 memory=27849868 CPUtime=580.64 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 6712946 0 0 0 56898 1166 0 0 20 0 1 0 65218735 28593684480 6962467 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 6980880 6962467 4480 2842 0 6962574 0
Current children cumulated CPU time: 580.64 s
Current children cumulated vsize: 27923520 KiB
Current children cumulated memory: 27849868 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+624.7 s]
/proc/loadavg: 4.10 4.15 4.11 5/265 64404
/proc/meminfo: memFree=85658364/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=31750432 memory=31676684 CPUtime=622.92 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4194304 7670790 0 0 0 60963 1329 0 0 20 0 1 0 65218735 32512442368 7919171 18446744073709551615 4235264 15874749 140729586877104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 0
/proc/64317/statm: 7937608 7919171 4480 2842 0 7919302 0
Current children cumulated CPU time: 622.92 s
Current children cumulated vsize: 31750432 KiB
Current children cumulated memory: 31676684 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+627.696 s]
# the end of solver process 64317 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=610.224 s, system=14.9882 s
Solver just ended.
Dumping a history of the last processes samples
[startup+625.6 s]
/proc/loadavg: 4.10 4.15 4.11 5/265 64404
/proc/meminfo: memFree=85585788/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=31795120 memory=31721996 CPUtime=623.72 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) R 64314 64317 63907 0 -1 4195840 7682077 0 0 0 61022 1350 0 0 20 0 1 0 65218735 32558202880 7930499 18446744073709551615 4235264 15874749 140729586877104 140729586872240 140337192942188 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 6
/proc/64317/statm: 7948780 7930499 4608 2842 0 7930474 0
Current children cumulated CPU time: 623.72 s
Current children cumulated vsize: 31795120 KiB
Current children cumulated memory: 31721996 KiB
[startup+626.4 s]
/proc/loadavg: 4.10 4.15 4.11 6/267 64407
/proc/meminfo: memFree=84655716/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=31795120 memory=31721996 CPUtime=624.22 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) S 64314 64317 63907 0 -1 4195840 7682077 0 0 0 61022 1400 0 0 20 0 1 0 65218735 32558202880 7930499 18446744073709551615 4235264 15874749 140729586877104 140729586872240 140337192942188 0 0 0 8404994 1 0 0 17 3 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 6
/proc/64317/statm: 7948780 7930499 4608 2842 0 7930474 0
Current children cumulated CPU time: 624.22 s
Current children cumulated vsize: 31795120 KiB
Current children cumulated memory: 31721996 KiB
[startup+626.6 s]
/proc/loadavg: 4.10 4.15 4.11 6/267 64407
/proc/meminfo: memFree=84655716/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=31795120 memory=31721996 CPUtime=624.22 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) S 64314 64317 63907 0 -1 4195840 7682077 0 0 0 61022 1400 0 0 20 0 1 0 65218735 32558202880 7930499 18446744073709551615 4235264 15874749 140729586877104 140729586872240 140337192942188 0 0 0 8404994 1 0 0 17 3 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 6
/proc/64317/statm: 7948780 7930499 4608 2842 0 7930474 0
Current children cumulated CPU time: 624.22 s
Current children cumulated vsize: 31795120 KiB
Current children cumulated memory: 31721996 KiB
[startup+626.7 s]
/proc/loadavg: 4.10 4.15 4.11 6/267 64407
/proc/meminfo: memFree=84655716/131250000 swapFree=33007332/33010684
[pid=64317] ppid=64314 vsize=31795120 memory=31721996 CPUtime=624.22 cores=1,3
/proc/64317/stat : 64317 (mixed-bag) S 64314 64317 63907 0 -1 4195840 7682077 0 0 0 61022 1400 0 0 20 0 1 0 65218735 32558202880 7930499 18446744073709551615 4235264 15874749 140729586877104 140729586872240 140337192942188 0 0 0 8404994 1 0 0 17 3 0 0 0 0 0 18096864 18107984 38506496 140729586878876 140729586878953 140729586878953 140729586884555 6
/proc/64317/statm: 7948780 7930499 4608 2842 0 7930474 0
Current children cumulated CPU time: 624.22 s
Current children cumulated vsize: 31795120 KiB
Current children cumulated memory: 31721996 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 627.696
CPU time (s): 625.212
CPU user time (s): 610.224
CPU system time (s): 14.9882
CPU usage (%): 99.6042
Max. virtual memory (cumulated for all children) (KiB): 31795120
Max. memory (cumulated for all children) (KiB): 31721996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 610.223
system time used= 14.9882
maximum resident set size= 31721996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7682077
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= 312
involuntary context switches= 1293
# summary of solver processes directly reported to runsolver:
# pid: 64317
# total CPU time (s): 625.212
# total CPU user time (s): 610.224
# total CPU system time (s): 14.9882
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33309 second user time and 2.67637 second system time
The end
Begin job on nodeC019 at 2025-07-03 00:30:12
IDJOB=4506127
IDBENCH=157841
IDSOLVER=3340
FILE ID=nodeC019/4506127-1751495412
RUNJOBID= nodeC019-1751491800-63924
SLURM_JOB_ID= 9598556
Free space on /tmp= 431620 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506127-1751495412/watcher-4506127-1751495412 -o /tmp/evaluation-result-4506127-1751495412/solver-4506127-1751495412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751491800-63924 --watchdog 3760 mixed-bag HOME/instance-4506127-1751495412.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b14a0a898e5e623e09f97d156db7ef84
RANDOM SEED=1658907163
nodeC019 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.621
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.37
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 : 3601.482
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.37
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 : 3603.898
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.37
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.683
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.37
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 : 3600.580
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.37
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 : 3566.748
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.37
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.874
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.37
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.696
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 109467904 kB
MemAvailable: 110961956 kB
Buffers: 904 kB
Cached: 2298100 kB
SwapCached: 440 kB
Active: 18979480 kB
Inactive: 2152592 kB
Active(anon): 18820516 kB
Inactive(anon): 27772 kB
Active(file): 158964 kB
Inactive(file): 2124820 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 102680 kB
Writeback: 4 kB
AnonPages: 18834748 kB
Mapped: 117652 kB
Shmem: 15192 kB
KReclaimable: 99012 kB
Slab: 186920 kB
SReclaimable: 99012 kB
SUnreclaim: 87908 kB
KernelStack: 4192 kB
PageTables: 40648 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 20475884 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1357824 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 429448 MiB
End job on nodeC019 at 2025-07-03 00:40:40