0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
12.33/12.48 c #variables 2000400 #constraints 4940611
12.33/12.49 c objective is ce32
17.12/17.21 c initial watched CF 32, 64, 128, Arb: 100 , 0 , 0 , 0
17.12/17.21 c initial counting CF 32, 64, 128, Arb: 985151 , 0 , 0 , 0
17.12/17.21 c GLOBAL bounds - >= -100 @ 12.096
19.52/19.60 c GLOBAL bounds - >= -100 @ 13.2272
21.62/21.72 c GLOBAL bounds - >= -100 @ 14.6758
23.51/23.60 c GLOBAL bounds - >= -100 @ 15.9119
25.31/25.48 c GLOBAL bounds - >= -100 @ 17.1453
27.21/27.37 c GLOBAL bounds - >= -100 @ 18.4083
29.10/29.28 c GLOBAL bounds - >= -100 @ 19.6631
31.10/31.29 c GLOBAL bounds - >= -100 @ 21.0673
33.19/33.36 c GLOBAL bounds - >= -100 @ 22.503
35.29/35.47 c GLOBAL bounds - >= -100 @ 23.9887
37.39/37.55 c GLOBAL bounds - >= -100 @ 25.4652
39.48/39.63 c GLOBAL bounds - >= -100 @ 26.9238
41.57/41.71 c GLOBAL bounds - >= -100 @ 28.4011
43.98/44.19 c GLOBAL bounds - >= -100 @ 30.2211
46.07/46.26 c GLOBAL bounds - >= -100 @ 31.6518
49.66/49.82 c GLOBAL bounds - >= -100 @ 34.5708
51.76/51.94 c GLOBAL bounds - >= -100 @ 36.0102
53.65/53.83 c GLOBAL bounds - >= -100 @ 37.2669
55.85/56.08 c GLOBAL bounds - >= -100 @ 38.8782
58.04/58.21 c GLOBAL bounds - >= -100 @ 40.3378
60.03/60.24 c GLOBAL bounds - >= -100 @ 41.6509
61.94/62.17 c GLOBAL bounds - >= -100 @ 42.9157
63.93/64.12 c GLOBAL bounds - >= -100 @ 44.2451
67.71/67.90 c GLOBAL bounds - >= -100 @ 47.3384
69.81/70.05 c GLOBAL bounds - >= -100 @ 48.8324
72.10/72.31 c GLOBAL bounds - >= -100 @ 50.4668
77.90/78.16 c GLOBAL bounds - >= -100 @ 55.6166
83.97/84.26 c GLOBAL bounds - >= -100 @ 61.0566
86.77/87.08 c GLOBAL bounds - >= -100 @ 63.2544
96.63/96.98 c GLOBAL bounds - >= -100 @ 72.4913
127.14/127.57 c GLOBAL bounds - >= -100 @ 102.339
129.84/130.23 c GLOBAL bounds - >= -100 @ 104.355
132.53/132.90 c GLOBAL bounds - >= -100 @ 106.359
139.01/139.49 c GLOBAL bounds - >= -100 @ 112.287
141.21/141.69 c GLOBAL bounds - >= -100 @ 113.865
144.90/145.30 c GLOBAL bounds - >= -100 @ 116.841
146.99/147.48 c GLOBAL bounds - >= -100 @ 118.357
149.18/149.66 c GLOBAL bounds - >= -100 @ 119.896
152.58/153.04 c GLOBAL bounds - >= -100 @ 122.601
154.58/155.07 c GLOBAL bounds - >= -100 @ 123.998
156.67/157.16 c GLOBAL bounds - >= -100 @ 125.433
158.86/159.34 c GLOBAL bounds - >= -100 @ 126.981
161.65/162.17 c GLOBAL bounds - >= -100 @ 129.153
163.85/164.39 c GLOBAL bounds - >= -100 @ 130.619
166.54/167.09 c GLOBAL bounds - >= -100 @ 132.63
169.43/169.90 c GLOBAL bounds - >= -100 @ 134.74
171.63/172.11 c GLOBAL bounds - >= -100 @ 136.329
175.31/175.83 c GLOBAL bounds - >= -100 @ 139.398
178.41/178.99 c GLOBAL bounds - >= -100 @ 141.915
186.49/187.07 c GLOBAL bounds - >= -100 @ 149.319
189.48/190.01 c GLOBAL bounds - >= -100 @ 151.644
195.76/196.31 c GLOBAL bounds - >= -100 @ 157.281
215.20/215.85 c GLOBAL bounds - >= -100 @ 176.038
219.19/219.89 c GLOBAL bounds - >= -100 @ 179.053
1436.66/1441.10 c #Conflicts: 1000 | #Constraints: 2006159
1436.66/1441.10 c GLOBAL bounds - >= -100 @ 1388.67
1447.33/1451.85 terminate called after throwing an instance of 'std::bad_alloc'
1447.33/1451.85 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: 63665 MiB (60403 MiB free)
memory of node 1: 64507 MiB (62136 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505446-1751488380/watcher-4505446-1751488380 -o /tmp/evaluation-result-4505446-1751488380/solver-4505446-1751488380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751488380-69374 --watchdog 3760 run-opt.sh HOME/instance-4505446-1751488380.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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
solver pid=69429, runsolver pid=69420
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 1.31 2.84 3.55 5/268 69436
/proc/meminfo: memFree=124935668/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=287200 memory=215020 CPUtime=0.06 cores=4,6
/proc/69431/stat : 69431 (roundingsat) R 69429 69429 69363 0 -1 4194304 4011 0 0 0 3 3 0 0 20 0 1 0 64515847 294092800 53755 18446744073709551615 4227072 8923433 140729240962560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 0
/proc/69431/statm: 71800 53755 1888 1147 0 59227 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 291392 KiB
Current children cumulated memory: 217964 KiB
[startup+0.205832 s]*
/proc/loadavg: 1.31 2.84 3.55 5/268 69436
/proc/meminfo: memFree=124397848/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=430148 memory=380600 CPUtime=0.17 cores=4,6
/proc/69431/stat : 69431 (roundingsat) R 69429 69429 69363 0 -1 4194304 11813 0 0 0 9 8 0 0 20 0 1 0 64515847 440471552 95150 18446744073709551615 4227072 8923433 140729240962560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 0
/proc/69431/statm: 107537 95150 1888 1147 0 94964 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 434340 KiB
Current children cumulated memory: 383544 KiB
[startup+0.305602 s]*
/proc/loadavg: 1.31 2.84 3.55 5/268 69436
/proc/meminfo: memFree=124221920/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=479300 memory=430988 CPUtime=0.27 cores=4,6
/proc/69431/stat : 69431 (roundingsat) R 69429 69429 69363 0 -1 4194304 12683 0 0 0 17 10 0 0 20 0 1 0 64515847 490803200 107747 18446744073709551615 4227072 8923433 140729240962560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 0
/proc/69431/statm: 119825 107747 1888 1147 0 107252 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 483492 KiB
Current children cumulated memory: 433932 KiB
[startup+0.700189 s]
/proc/loadavg: 1.31 2.84 3.55 5/268 69436
/proc/meminfo: memFree=124265112/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=420760 memory=377520 CPUtime=0.66 cores=4,6
/proc/69431/stat : 69431 (roundingsat) R 69429 69429 69363 0 -1 4194304 18232 0 0 0 55 11 0 0 20 0 1 0 64515847 430858240 94380 18446744073709551615 4227072 8923433 140729240962560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 0
/proc/69431/statm: 105190 94380 1920 1147 0 92617 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 424952 KiB
Current children cumulated memory: 380464 KiB
[startup+1.50017 s]
/proc/loadavg: 1.53 2.86 3.55 5/268 69436
/proc/meminfo: memFree=124146264/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=474444 memory=419380 CPUtime=1.46 cores=4,6
/proc/69431/stat : 69431 (roundingsat) R 69429 69429 69363 0 -1 4194304 25501 0 0 0 111 35 0 0 20 0 1 0 64515847 485830656 104845 18446744073709551615 4227072 8923433 140729240962560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 0
/proc/69431/statm: 118611 104845 1920 1147 0 106038 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 478636 KiB
Current children cumulated memory: 422324 KiB
[startup+3.10536 s]
/proc/loadavg: 1.53 2.86 3.55 5/268 69436
/proc/meminfo: memFree=123841804/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=551636 memory=500920 CPUtime=3.06 cores=4,6
/proc/69431/stat : 69431 (roundingsat) R 69429 69429 69363 0 -1 4194304 37770 0 0 0 221 85 0 0 20 0 1 0 64515847 564875264 125230 18446744073709551615 4227072 8923433 140729240962560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 0
/proc/69431/statm: 137909 125230 1920 1147 0 125336 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 555828 KiB
Current children cumulated memory: 503864 KiB
[startup+6.30017 s]
/proc/loadavg: 1.72 2.88 3.55 5/268 69436
/proc/meminfo: memFree=123258636/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=728760 memory=639420 CPUtime=6.25 cores=4,6
/proc/69431/stat : 69431 (roundingsat) R 69429 69429 69363 0 -1 4194304 57882 0 0 0 447 178 0 0 20 0 1 0 64515847 746250240 159855 18446744073709551615 4227072 8923433 140729240962560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 0
/proc/69431/statm: 182190 159855 1920 1147 0 169617 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 732952 KiB
Current children cumulated memory: 642364 KiB
[startup+12.7002 s]
/proc/loadavg: 1.91 2.90 3.55 5/268 69436
/proc/meminfo: memFree=122316272/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=1368900 memory=1175420 CPUtime=12.64 cores=4,6
/proc/69431/stat : 69431 (roundingsat) R 69429 69429 69363 0 -1 4194304 101129 0 0 0 928 336 0 0 20 0 1 0 64515847 1401753600 293855 18446744073709551615 4227072 8923433 140729240962560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 0
/proc/69431/statm: 342225 293855 2016 1147 0 329652 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1373092 KiB
Current children cumulated memory: 1178364 KiB
[startup+25.5002 s]
/proc/loadavg: 2.31 2.95 3.56 5/267 69436
/proc/meminfo: memFree=117177984/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=2803004 memory=2606524 CPUtime=25.41 cores=4,6
/proc/69431/stat : 69431 (roundingsat) R 69429 69429 69363 0 -1 4194304 401251 0 0 0 1716 825 0 0 20 0 1 0 64515847 2870276096 651631 18446744073709551615 4227072 8923433 140729240962560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 0
/proc/69431/statm: 700751 651631 2112 1147 0 688178 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2807196 KiB
Current children cumulated memory: 2609468 KiB
[startup+51.1054 s]
/proc/loadavg: 3.10 3.09 3.59 5/267 69438
/proc/meminfo: memFree=116704044/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=2884392 memory=2685176 CPUtime=50.96 cores=4,6
/proc/69431/stat : 69431 (roundingsat) R 69429 69429 69363 0 -1 4194304 402056 0 0 0 3546 1550 0 0 20 0 1 0 64515847 2953617408 671294 18446744073709551615 4227072 8923433 140729240962560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 0
/proc/69431/statm: 721098 671294 2112 1147 0 708525 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2888584 KiB
Current children cumulated memory: 2688120 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 3.24 3.62 5/269 69445
/proc/meminfo: memFree=112565324/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=3809384 memory=3506440 CPUtime=102.02 cores=4,6
/proc/69431/stat : 69431 (roundingsat) R 69429 69429 69363 0 -1 4194304 534885 0 0 0 7778 2424 0 0 20 0 1 0 64515847 3900809216 876610 18446744073709551615 4227072 8923433 140729240962560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 0
/proc/69431/statm: 952346 876610 2112 1147 0 939773 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 3813576 KiB
Current children cumulated memory: 3509384 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 3.41 3.66 5/269 69447
/proc/meminfo: memFree=109008432/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=4129888 memory=3855752 CPUtime=161.85 cores=4,6
/proc/69431/stat : 69431 (roundingsat) R 69429 69429 69363 0 -1 4194304 563663 0 0 0 12928 3257 0 0 20 0 1 0 64515847 4229005312 963938 18446744073709551615 4227072 8923433 140729240962560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 0
/proc/69431/statm: 1032472 963938 2112 1147 0 1019899 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 4134080 KiB
Current children cumulated memory: 3858696 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.54 3.68 5/269 69449
/proc/meminfo: memFree=103758036/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=7289248 memory=6918320 CPUtime=221.68 cores=4,6
/proc/69431/stat : 69431 (roundingsat) R 69429 69429 69363 0 -1 4194304 1137267 0 0 0 18133 4035 0 0 20 0 1 0 64515847 7464189952 1729580 18446744073709551615 4227072 8923433 140729240962560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 0
/proc/69431/statm: 1822312 1729580 2112 1147 0 1809739 0
Current children cumulated CPU time: 221.68 s
################
# More data... #
################
/proc/meminfo: memFree=91629064/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=29767608 memory=25707212 CPUtime=1118.79 cores=4,6
/proc/69431/stat : 69431 (roundingsat) R 69429 69429 69363 0 -1 4194304 4292771 0 0 0 107195 4684 0 0 20 0 1 0 64515847 30482030592 6426803 18446744073709551615 4227072 8923433 140729240962560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 0
/proc/69431/statm: 7441902 6426803 2112 1147 0 7429329 0
Current children cumulated CPU time: 1118.79 s
Current children cumulated vsize: 29771800 KiB
Current children cumulated memory: 25710156 KiB
[startup+1182.3 s]
/proc/loadavg: 4.10 4.10 4.00 5/273 69609
/proc/meminfo: memFree=90155696/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=29767928 memory=25945028 CPUtime=1178.62 cores=4,6
/proc/69431/stat : 69431 (roundingsat) R 69429 69429 69363 0 -1 4194304 4295207 0 0 0 113169 4693 0 0 20 0 1 0 64515847 30482358272 6486257 18446744073709551615 4227072 8923433 140729240962560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 0
/proc/69431/statm: 7441982 6486257 2112 1147 0 7429409 0
Current children cumulated CPU time: 1178.62 s
Current children cumulated vsize: 29772120 KiB
Current children cumulated memory: 25947972 KiB
[startup+1242.3 s]
/proc/loadavg: 4.07 4.09 4.00 5/273 69612
/proc/meminfo: memFree=88772640/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=29787520 memory=26200140 CPUtime=1238.43 cores=4,6
/proc/69431/stat : 69431 (roundingsat) R 69429 69429 69363 0 -1 4194304 4302379 0 0 0 119141 4702 0 0 20 0 1 0 64515847 30502420480 6550035 18446744073709551615 4227072 8923433 140729240962560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 0
/proc/69431/statm: 7446880 6550035 2112 1147 0 7434307 0
Current children cumulated CPU time: 1238.43 s
Current children cumulated vsize: 29791712 KiB
Current children cumulated memory: 26203084 KiB
[startup+1302.3 s]
/proc/loadavg: 4.07 4.09 4.00 5/273 69618
/proc/meminfo: memFree=87782584/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=30107580 memory=26683208 CPUtime=1298.26 cores=4,6
/proc/69431/stat : 69431 (roundingsat) R 69429 69429 69363 0 -1 4194304 4346064 0 0 0 125108 4718 0 0 20 0 1 0 64515847 30830161920 6670802 18446744073709551615 4227072 8923433 140729240962560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 0
/proc/69431/statm: 7526895 6670802 2112 1147 0 7514322 0
Current children cumulated CPU time: 1298.26 s
Current children cumulated vsize: 30111772 KiB
Current children cumulated memory: 26686152 KiB
[startup+1362.3 s]
/proc/loadavg: 4.13 4.10 4.01 5/270 69620
/proc/meminfo: memFree=87118096/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=30122884 memory=26930956 CPUtime=1358.09 cores=4,6
/proc/69431/stat : 69431 (roundingsat) R 69429 69429 69363 0 -1 4194304 4354467 0 0 0 131082 4727 0 0 20 0 1 0 64515847 30845833216 6732739 18446744073709551615 4227072 8923433 140729240962560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 0
/proc/69431/statm: 7530721 6732739 2112 1147 0 7518148 0
Current children cumulated CPU time: 1358.09 s
Current children cumulated vsize: 30127076 KiB
Current children cumulated memory: 26933900 KiB
[startup+1422.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/269 69622
/proc/meminfo: memFree=86153948/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=30146704 memory=27178748 CPUtime=1417.92 cores=4,6
/proc/69431/stat : 69431 (roundingsat) R 69429 69429 69363 0 -1 4194304 4363250 0 0 0 137055 4737 0 0 20 0 1 0 64515847 30870224896 6794687 18446744073709551615 4227072 8923433 140729240962560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 0
/proc/69431/statm: 7536676 6794687 2112 1147 0 7524103 0
Current children cumulated CPU time: 1417.92 s
Current children cumulated vsize: 30150896 KiB
Current children cumulated memory: 27181692 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1451.9 s]
/proc/loadavg: 4.06 4.08 4.00 5/268 69622
/proc/meminfo: memFree=85420120/131249996 swapFree=33010160/33010684
[pid=69429] ppid=69420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/69429/stat : 69429 (run-opt.sh) S 69420 69429 69363 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 64515845 4292608 736 18446744073709551615 94360350060544 94360350955077 140732977763088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94360351194128 94360351241872 94360357773312 140732977764717 140732977764840 140732977764840 140732977770442 0
/proc/69429/statm: 1048 736 672 219 0 110 0
[pid=69431] ppid=69429 vsize=31795092 memory=28427320 CPUtime=1447.39 cores=4,6
/proc/69431/stat : 69431 (roundingsat) S 69429 69429 69363 0 -1 4195840 4612608 0 0 0 139897 4842 0 0 20 0 1 0 64515847 32558174208 7106830 18446744073709551615 4227072 8923433 140729240962560 140729240958288 140619803048556 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 6
/proc/69431/statm: 7948773 7106830 2240 1147 0 7936200 0
Current children cumulated CPU time: 1447.39 s
Current children cumulated vsize: 31799284 KiB
Current children cumulated memory: 28430264 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1451.9 s]
# the end of solver process 69429 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002154 s
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1454.61 s]
# the end of solver process 69431 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=1398.97 s, system=49.8376 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+1452.8 s]
/proc/loadavg: 4.06 4.08 4.00 6/269 69625
/proc/meminfo: memFree=84766960/131249996 swapFree=33010160/33010684
[pid=69431] ppid=69420 vsize=31795092 memory=28427320 CPUtime=1448.09 cores=4,6
/proc/69431/stat : 69431 (roundingsat) S 69420 69429 69363 0 -1 4195840 4612608 0 0 0 139897 4912 0 0 20 0 1 0 64515847 32558174208 7106830 18446744073709551615 4227072 8923433 140729240962560 140729240958288 140619803048556 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 6
/proc/69431/statm: 7948773 7106830 2240 1147 0 7936200 0
Current cumulated CPU time of completed processes: 0.002154 s
Current children cumulated CPU time: 1448.09 s
Current children cumulated vsize: 31795092 KiB
Current children cumulated memory: 28427320 KiB
[startup+1453.6 s]
/proc/loadavg: 4.06 4.08 4.00 5/269 69625
/proc/meminfo: memFree=83830476/131249996 swapFree=33010160/33010684
[pid=69431] ppid=69420 vsize=31795092 memory=28427320 CPUtime=1448.09 cores=4,6
/proc/69431/stat : 69431 (roundingsat) S 69420 69429 69363 0 -1 4195840 4612608 0 0 0 139897 4912 0 0 20 0 1 0 64515847 32558174208 7106830 18446744073709551615 4227072 8923433 140729240962560 140729240958288 140619803048556 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 6
/proc/69431/statm: 7948773 7106830 2240 1147 0 7936200 0
Current cumulated CPU time of completed processes: 0.002154 s
Current children cumulated CPU time: 1448.09 s
Current children cumulated vsize: 31795092 KiB
Current children cumulated memory: 28427320 KiB
[startup+1453.8 s]
/proc/loadavg: 4.06 4.08 4.00 5/269 69625
/proc/meminfo: memFree=83830476/131249996 swapFree=33010160/33010684
[pid=69431] ppid=69420 vsize=31795092 memory=28427320 CPUtime=1448.09 cores=4,6
/proc/69431/stat : 69431 (roundingsat) S 69420 69429 69363 0 -1 4195840 4612608 0 0 0 139897 4912 0 0 20 0 1 0 64515847 32558174208 7106830 18446744073709551615 4227072 8923433 140729240962560 140729240958288 140619803048556 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 6
/proc/69431/statm: 7948773 7106830 2240 1147 0 7936200 0
Current cumulated CPU time of completed processes: 0.002154 s
Current children cumulated CPU time: 1448.09 s
Current children cumulated vsize: 31795092 KiB
Current children cumulated memory: 28427320 KiB
[startup+1453.9 s]
/proc/loadavg: 4.06 4.08 4.00 5/269 69625
/proc/meminfo: memFree=83830476/131249996 swapFree=33010160/33010684
[pid=69431] ppid=69420 vsize=31795092 memory=28427320 CPUtime=1448.09 cores=4,6
/proc/69431/stat : 69431 (roundingsat) S 69420 69429 69363 0 -1 4195840 4612608 0 0 0 139897 4912 0 0 20 0 1 0 64515847 32558174208 7106830 18446744073709551615 4227072 8923433 140729240962560 140729240958288 140619803048556 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9823104 9832592 31297536 140729240967586 140729240967720 140729240967720 140729240973290 6
/proc/69431/statm: 7948773 7106830 2240 1147 0 7936200 0
Current cumulated CPU time of completed processes: 0.002154 s
Current children cumulated CPU time: 1448.09 s
Current children cumulated vsize: 31795092 KiB
Current children cumulated memory: 28427320 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1454.61
CPU time (s): 1448.81
CPU user time (s): 1398.97
CPU system time (s): 49.8376
CPU usage (%): 99.6014
Max. virtual memory (cumulated for all children) (KiB): 31799284
Max. memory (cumulated for all children) (KiB): 28430264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1398.97
system time used= 49.8376
maximum resident set size= 28427320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4612811
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= 170
involuntary context switches= 1893
# summary of solver processes directly reported to runsolver:
# pid: 69429,69431
# total CPU time (s): 1448.81
# total CPU user time (s): 1398.97
# total CPU system time (s): 49.8376
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.94333 second user time and 6.7197 second system time
The end
Begin job on nodeC021 at 2025-07-02 22:33:02
IDJOB=4505446
IDBENCH=155757
IDSOLVER=3350
FILE ID=nodeC021/4505446-1751488380
RUNJOBID= nodeC021-1751488380-69374
SLURM_JOB_ID= 9598545
Free space on /tmp= 430756 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_4_mh.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505446-1751488380/watcher-4505446-1751488380 -o /tmp/evaluation-result-4505446-1751488380/solver-4505446-1751488380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751488380-69374 --watchdog 3760 run-opt.sh HOME/instance-4505446-1751488380.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 52dca71e841298ae6df8c1bcbb79ed30
RANDOM SEED=877234906
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.774
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.777
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.267
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.799
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.777
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.796
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.299
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.094
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125492980 kB
MemAvailable: 129463888 kB
Buffers: 2128 kB
Cached: 4709292 kB
SwapCached: 20 kB
Active: 761820 kB
Inactive: 4230544 kB
Active(anon): 288084 kB
Inactive(anon): 10924 kB
Active(file): 473736 kB
Inactive(file): 4219620 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 794928 kB
Writeback: 0 kB
AnonPages: 284108 kB
Mapped: 107964 kB
Shmem: 18040 kB
KReclaimable: 233184 kB
Slab: 325552 kB
SReclaimable: 233184 kB
SUnreclaim: 92368 kB
KernelStack: 4208 kB
PageTables: 3408 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 578676 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 172032 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= 428600 MiB
End job on nodeC021 at 2025-07-02 22:57:16