3600.02/2113.40 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.02/2113.40 c numVar: 2000400
3600.02/2113.40 c numCon: 4920807
3600.02/2113.40 c numEqual: 19807
3600.02/2113.40 c intSize: 39
3600.02/2113.40 c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.02/2113.40 c ------------------- Paras list -------------------
3600.02/2113.40 c Name Type Now Default Comment
3600.02/2113.40 c timeout double 3600.000000 3600
3600.02/2113.40 c mip_time double 0.600000 0.5
3600.02/2113.40 c ls_time double 10.000000 10
3600.02/2113.40 c safe_mode int 1 1 1 trust; 2 feasible
3600.02/2113.40 c mip_emphasis int 2 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.02/2113.40 c random_seed int 0 0
3600.02/2113.40 c sample_size int 50 50
3600.02/2113.40 c sub_score int 1 1
3600.02/2113.40 c tabu_base int 3 3
3600.02/2113.40 c tabu_variation int 1 1
3600.02/2113.40 c sub_div int 4 4
3600.02/2113.40 c nbcore int 2 1
3600.02/2113.40 c memlimit int 31000 31744 memory limit in megabytes
3600.02/2113.40 c print_sol int 1 1
3600.02/2113.40 c tmpdir string . "."
3600.02/2113.40 c home string HOME "."
3600.02/2113.40 c benchname string HOME/instance-4505479-1751447579.opb ""
3600.02/2113.40 c --------------------------------------------------
3600.02/2113.40 c Local Search solver
3600.02/2113.40 c MIP solver
3600.02/2113.40 c receive signal 15, try to interrupt solver...
3602.51/2114.82 c MIP solver find feasible solution
3602.81/2115.17 c MIP solver objective value: 6.18929e+08
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 (17686 MiB free)
memory of node 1: 64507 MiB (52626 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505479-1751447579/watcher-4505479-1751447579 -o /tmp/evaluation-result-4505479-1751447579/solver-4505479-1751447579 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751440305-68011 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4505479-1751447579.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=69191, runsolver pid=69188
[startup+0.100065 s]*
/proc/loadavg: 7.08 7.03 6.95 8/267 69192
/proc/meminfo: memFree=71835040/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=490820 memory=185704 CPUtime=0.09 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 34241 0 0 0 2 7 0 0 20 0 1 0 60438357 502599680 46426 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 122705 46426 1120 6655 0 112940 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 490820 KiB
Current children cumulated memory: 185704 KiB
[startup+0.206414 s]*
/proc/loadavg: 7.08 7.03 6.95 8/267 69192
/proc/meminfo: memFree=71632788/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=640376 memory=386408 CPUtime=0.2 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 71641 0 0 0 6 14 0 0 20 0 1 0 60438357 655745024 96602 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 160094 96602 1120 6655 0 150329 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 640376 KiB
Current children cumulated memory: 386408 KiB
[startup+0.305946 s]*
/proc/loadavg: 7.08 7.03 6.95 8/267 69192
/proc/meminfo: memFree=71446548/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=782408 memory=575720 CPUtime=0.29 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 107196 0 0 0 9 20 0 0 20 0 1 0 60438357 801185792 143930 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 195635 143930 1120 6655 0 185870 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 782408 KiB
Current children cumulated memory: 575720 KiB
[startup+0.700223 s]
/proc/loadavg: 7.08 7.03 6.95 8/267 69192
/proc/meminfo: memFree=71070100/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=1307616 memory=1264420 CPUtime=0.68 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 236358 0 0 0 24 44 0 0 20 0 1 0 60438357 1338998784 316073 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 326904 316073 1120 6655 0 317139 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1307616 KiB
Current children cumulated memory: 1264420 KiB
[startup+1.50024 s]
/proc/loadavg: 7.08 7.03 6.95 8/267 69192
/proc/meminfo: memFree=70726160/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=1373968 memory=1330852 CPUtime=1.47 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 251436 0 0 0 97 50 0 0 20 0 1 0 60438357 1406943232 332713 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 343492 332713 1120 6655 0 333727 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 1373968 KiB
Current children cumulated memory: 1330852 KiB
[startup+3.10598 s]
/proc/loadavg: 7.08 7.03 6.95 8/267 69192
/proc/meminfo: memFree=69392008/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=2708988 memory=2664348 CPUtime=3.08 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 454985 0 0 0 211 97 0 0 20 0 1 0 60438357 2774003712 666087 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 677247 666087 1152 6655 0 667482 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2708988 KiB
Current children cumulated memory: 2664348 KiB
[startup+6.30025 s]
/proc/loadavg: 7.08 7.03 6.95 8/267 69192
/proc/meminfo: memFree=68658196/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=3537452 memory=3492808 CPUtime=6.26 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 654376 0 0 0 498 128 0 0 20 0 1 0 60438357 3622350848 873202 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 884363 873202 1152 6655 0 874598 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 3537452 KiB
Current children cumulated memory: 3492808 KiB
[startup+12.7002 s]
/proc/loadavg: 7.07 7.03 6.95 8/267 69192
/proc/meminfo: memFree=67819156/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=5035964 memory=4991664 CPUtime=12.63 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 996756 0 0 0 1077 186 0 0 20 0 1 0 60438357 5156827136 1247916 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 1259024 1247916 1216 6655 0 1249259 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 5035964 KiB
Current children cumulated memory: 4991664 KiB
[startup+25.5003 s]
/proc/loadavg: 7.13 7.04 6.95 8/268 69193
/proc/meminfo: memFree=63939164/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=8808256 memory=8155328 CPUtime=25.38 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 1194488 0 0 0 2245 293 0 0 20 0 2 0 60438357 9019654144 2038832 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 2202064 2038832 2816 6655 0 2175947 0
[pid=69191/tid=69193] ppid=69188 vsize=8808256 memory=7848240 CPUtime=0 cores=5,7
/proc/69191/task/69193/stat : 69193 (LSIPExact) S 69188 69191 67998 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 60440110 9019654144 2038832 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 8808256 KiB
Current children cumulated memory: 8155328 KiB
[startup+51.1064 s]
/proc/loadavg: 7.15 7.06 6.96 8/268 69194
/proc/meminfo: memFree=63799852/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=8978952 memory=8217592 CPUtime=50.86 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 1259485 0 0 0 4747 339 0 0 20 0 2 0 60438357 9194446848 2054398 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 2244738 2054398 2848 6655 0 2218621 0
[pid=69191/tid=69193] ppid=69188 vsize=8978952 memory=14720 CPUtime=0 cores=5,7
/proc/69191/task/69193/stat : 69193 (LSIPExact) S 69188 69191 67998 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 60440110 9194446848 2054398 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 8978952 KiB
Current children cumulated memory: 8217592 KiB
[startup+102.3 s]
/proc/loadavg: 7.11 7.06 6.97 8/269 69197
/proc/meminfo: memFree=60974488/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=12532588 memory=11270648 CPUtime=101.81 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 1389142 0 0 0 9735 446 0 0 20 0 2 0 60438357 12833370112 2817662 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 3133147 2817662 2944 6655 0 3107030 0
[pid=69191/tid=69193] ppid=69188 vsize=12532588 memory=8044540 CPUtime=0 cores=5,7
/proc/69191/task/69193/stat : 69193 (LSIPExact) S 69188 69191 67998 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 60440110 12833370112 2817662 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 12532588 KiB
Current children cumulated memory: 11270648 KiB
[startup+162.3 s]
/proc/loadavg: 7.08 7.06 6.98 8/269 69199
/proc/meminfo: memFree=61633520/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=10815120 memory=9921508 CPUtime=161.53 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 1449689 0 0 0 15683 470 0 0 20 0 2 0 60438357 11074682880 2480377 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 2703780 2480377 2944 6655 0 2677663 0
[pid=69191/tid=69193] ppid=69188 vsize=10815120 memory=9921544 CPUtime=0 cores=5,7
/proc/69191/task/69193/stat : 69193 (LSIPExact) S 69188 69191 67998 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 60440110 11074682880 2480377 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
Current children cumulated CPU time: 161.53 s
Current children cumulated vsize: 10815120 KiB
Current children cumulated memory: 9921508 KiB
[startup+222.3 s]
/proc/loadavg: 6.63 6.95 6.95 7/269 69248
/proc/meminfo: memFree=64415524/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=15017652 memory=12884108 CPUtime=223.16 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 1583084 0 0 0 21699 617 0 0 20 0 2 0 60438357 15378075648 3221027 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 3754413 3221027 2976 6655 0 3721484 0
[pid=69191/tid=69193] ppid=69188 vsize=15017652 memory=10752 CPUtime=2.17 cores=5,7
/proc/69191/task/69193/stat : 69193 (LSIPExact) S 69188 69191 67998 0 -1 4194368 20255 0 0 0 198 19 0 0 20 0 2 0 60440110 15378075648 3221027 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
Current children cumulated CPU time: 223.16 s
Current children cumulated vsize: 15017652 KiB
Current children cumulated memory: 12884108 KiB
[startup+282.3 s]
/proc/loadavg: 6.96 6.98 6.97 9/269 69255
/proc/meminfo: memFree=57587448/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=22482140 memory=18394596 CPUtime=340.02 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 1966351 0 0 0 32944 1058 0 0 20 0 2 0 60438357 23021711360 4598649 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 5620535 4598649 3360 6655 0 5550539 0
[pid=69191/tid=69193] ppid=69188 vsize=22482140 memory=18394596 CPUtime=59.51 cores=5,7
/proc/69191/task/69193/stat : 69193 (LSIPExact) R 69188 69191 67998 0 -1 4194368 243093 0 0 0 5677 274 0 0 20 0 2 0 60440110 23021711360 4598649 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
Current children cumulated CPU time: 340.02 s
Current children cumulated vsize: 22482140 KiB
Current children cumulated memory: 18394596 KiB
[startup+342.3 s]
/proc/loadavg: 7.41 7.13 7.02 8/268 69257
/proc/meminfo: memFree=58577416/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=19214076 memory=16164508 CPUtime=433.45 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 1996512 0 0 0 42268 1077 0 0 20 0 2 0 60438357 19675213824 4041127 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 4803519 4041127 3360 6655 0 4733523 0
[pid=69191/tid=69193] ppid=69188 vsize=19214076 memory=18474100 CPUtime=93.27 cores=5,7
/proc/69191/task/69193/stat : 69193 (LSIPExact) S 69188 69191 67998 0 -1 4194368 251928 0 0 0 9043 284 0 0 20 0 2 0 60440110 19675213824 4041127 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
Current children cumulated CPU time: 433.45 s
Current children cumulated vsize: 19214076 KiB
Current children cumulated memory: 16164508 KiB
[startup+402.3 s]
/proc/loadavg: 7.15 7.10 7.01 8/267 69259
/proc/meminfo: memFree=58446536/131250000 swapFree=33010684/33010684
################
# More data... #
################
[startup+1722.3 s]
/proc/loadavg: 8.17 8.17 7.81 9/268 69425
/proc/meminfo: memFree=83169568/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=26337712 memory=23191080 CPUtime=2825.17 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 3396935 0 0 0 280539 1978 0 0 20 0 2 0 60438357 26969817088 5797770 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 6584428 5797770 3424 6655 0 6526276 0
[pid=69191/tid=69193] ppid=69188 vsize=26337712 memory=23023112 CPUtime=1112.11 cores=5,7
/proc/69191/task/69193/stat : 69193 (LSIPExact) R 69188 69191 67998 0 -1 4194368 649419 0 0 0 110708 503 0 0 20 0 2 0 60440110 26969817088 5797770 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
Current children cumulated CPU time: 2825.17 s
Current children cumulated vsize: 26337712 KiB
Current children cumulated memory: 23191080 KiB
[startup+1782.3 s]
/proc/loadavg: 8.11 8.15 7.83 9/268 69429
/proc/meminfo: memFree=83186744/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=26337712 memory=23191088 CPUtime=2944 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 3411865 0 0 0 292414 1986 0 0 20 0 2 0 60438357 26969817088 5797772 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 6584428 5797772 3424 6655 0 6526276 0
[pid=69191/tid=69193] ppid=69188 vsize=26337712 memory=23191080 CPUtime=1171.27 cores=5,7
/proc/69191/task/69193/stat : 69193 (LSIPExact) R 69188 69191 67998 0 -1 4194368 653988 0 0 0 116618 509 0 0 20 0 2 0 60440110 26969817088 5797772 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
Current children cumulated CPU time: 2944 s
Current children cumulated vsize: 26337712 KiB
Current children cumulated memory: 23191088 KiB
[startup+1842.3 s]
/proc/loadavg: 8.18 8.17 7.85 9/267 69431
/proc/meminfo: memFree=83447420/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=25981876 memory=22928836 CPUtime=3062.84 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 3471879 0 0 0 304269 2015 0 0 20 0 2 0 60438357 26605441024 5732209 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 6495469 5732209 3424 6655 0 6437317 0
[pid=69191/tid=69193] ppid=69188 vsize=25981876 memory=23191088 CPUtime=1230.44 cores=5,7
/proc/69191/task/69193/stat : 69193 (LSIPExact) R 69188 69191 67998 0 -1 4194368 700400 0 0 0 122507 537 0 0 20 0 2 0 60440110 26605441024 5732209 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
Current children cumulated CPU time: 3062.84 s
Current children cumulated vsize: 25981876 KiB
Current children cumulated memory: 22928836 KiB
[startup+1902.3 s]
/proc/loadavg: 8.16 8.16 7.88 9/267 69433
/proc/meminfo: memFree=83572852/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=26188240 memory=22868688 CPUtime=3181.65 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 3524393 0 0 0 316132 2033 0 0 20 0 2 0 60438357 26816757760 5717172 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 6547060 5717172 3424 6655 0 6488908 0
[pid=69191/tid=69193] ppid=69188 vsize=26188240 memory=23191088 CPUtime=1289.59 cores=5,7
/proc/69191/task/69193/stat : 69193 (LSIPExact) R 69188 69191 67998 0 -1 4194368 703642 0 0 0 128417 542 0 0 20 0 2 0 60440110 26816757760 5717172 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
Current children cumulated CPU time: 3181.65 s
Current children cumulated vsize: 26188240 KiB
Current children cumulated memory: 22868688 KiB
[startup+1962.3 s]
/proc/loadavg: 8.18 8.16 7.90 9/266 69435
/proc/meminfo: memFree=83777380/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=25680928 memory=22629180 CPUtime=3300.5 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 3657709 0 0 0 327875 2175 0 0 20 0 2 0 60438357 26297270272 5657295 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 6420232 5657295 3424 6655 0 6362080 0
[pid=69191/tid=69193] ppid=69188 vsize=25680928 memory=22866020 CPUtime=1348.78 cores=5,7
/proc/69191/task/69193/stat : 69193 (LSIPExact) R 69188 69191 67998 0 -1 4194368 705262 0 0 0 134335 543 0 0 20 0 2 0 60440110 26297270272 5657295 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
Current children cumulated CPU time: 3300.5 s
Current children cumulated vsize: 25680928 KiB
Current children cumulated memory: 22629180 KiB
[startup+2022.3 s]
/proc/loadavg: 8.12 8.15 7.91 9/266 69437
/proc/meminfo: memFree=83700520/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=25680928 memory=22688636 CPUtime=3419.36 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 3686361 0 0 0 339752 2184 0 0 20 0 2 0 60438357 26297270272 5672159 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 6420232 5672159 3424 6655 0 6362080 0
[pid=69191/tid=69193] ppid=69188 vsize=25680928 memory=14720 CPUtime=1407.95 cores=5,7
/proc/69191/task/69193/stat : 69193 (LSIPExact) R 69188 69191 67998 0 -1 4194368 724759 0 0 0 140246 549 0 0 20 0 2 0 60440110 26297270272 5672159 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
Current children cumulated CPU time: 3419.36 s
Current children cumulated vsize: 25680928 KiB
Current children cumulated memory: 22688636 KiB
[startup+2082.3 s]
/proc/loadavg: 7.92 8.09 7.91 8/266 69486
/proc/meminfo: memFree=93931188/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=26179832 memory=23142276 CPUtime=3538.32 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 3720859 0 0 0 351627 2205 0 0 20 0 2 0 60438357 26808147968 5785569 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 6544958 5785569 3424 6655 0 6486806 0
[pid=69191/tid=69193] ppid=69188 vsize=26179832 memory=23142276 CPUtime=1467.18 cores=5,7
/proc/69191/task/69193/stat : 69193 (LSIPExact) R 69188 69191 67998 0 -1 4194368 747222 0 0 0 146149 569 0 0 20 0 2 0 60440110 26808147968 5785569 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
Current children cumulated CPU time: 3538.32 s
Current children cumulated vsize: 26179832 KiB
Current children cumulated memory: 23142276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2113.4 s]
/proc/loadavg: 7.86 8.05 7.90 9/266 69486
/proc/meminfo: memFree=93873732/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=26179832 memory=23142276 CPUtime=3600.02 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 3731407 0 0 0 357796 2206 0 0 20 0 2 0 60438357 26808147968 5785569 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 6544958 5785569 3424 6655 0 6486806 0
[pid=69191/tid=69193] ppid=69188 vsize=26179832 memory=17240 CPUtime=1497.92 cores=5,7
/proc/69191/task/69193/stat : 69193 (LSIPExact) R 69188 69191 67998 0 -1 4194368 749618 0 0 0 149223 569 0 0 20 0 2 0 60440110 26808147968 5785569 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 26179832 KiB
Current children cumulated memory: 23142276 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2115.6 s]
# the end of solver process 69191 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3580.69 s, system=22.6168 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2113.6 s]
/proc/loadavg: 7.86 8.05 7.90 9/266 69486
/proc/meminfo: memFree=93873732/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=26183116 memory=23142276 CPUtime=3600.41 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 3737919 0 0 0 357834 2207 0 0 20 0 2 0 60438357 26811510784 5785569 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 6545779 5785569 3424 6655 0 6487627 0
[pid=69191/tid=69193] ppid=69188 vsize=26183116 memory=23142276 CPUtime=1498.11 cores=5,7
/proc/69191/task/69193/stat : 69193 (LSIPExact) R 69188 69191 67998 0 -1 4194368 749941 0 0 0 149242 569 0 0 20 0 2 0 60440110 26811510784 5785569 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 26183116 KiB
Current children cumulated memory: 23142276 KiB
[startup+2114.4 s]
/proc/loadavg: 7.86 8.05 7.90 9/266 69486
/proc/meminfo: memFree=93652044/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=26221368 memory=23160980 CPUtime=3601.99 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 3773163 0 0 0 357982 2217 0 0 20 0 2 0 60438357 26850680832 5790245 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 6555342 5790245 3424 6655 0 6497190 0
[pid=69191/tid=69193] ppid=69188 vsize=26221368 memory=23158004 CPUtime=1498.89 cores=5,7
/proc/69191/task/69193/stat : 69193 (LSIPExact) R 69188 69191 67998 0 -1 4194368 753644 0 0 0 149317 572 0 0 20 0 2 0 60440110 26850680832 5790245 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
Current children cumulated CPU time: 3601.99 s
Current children cumulated vsize: 26221368 KiB
Current children cumulated memory: 23160980 KiB
[startup+2115.2 s]
/proc/loadavg: 7.86 8.05 7.90 8/266 69492
/proc/meminfo: memFree=101368180/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=16896480 memory=15622388 CPUtime=3602.91 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 4093342 0 0 0 358052 2239 0 0 20 0 1 0 60438357 17301995520 3905597 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 4224120 3905597 3456 6655 0 4180867 0
Current children cumulated CPU time: 3602.91 s
Current children cumulated vsize: 16896480 KiB
Current children cumulated memory: 15622388 KiB
[startup+2115.4 s]
/proc/loadavg: 7.86 8.05 7.90 8/266 69492
/proc/meminfo: memFree=101368180/131250000 swapFree=33010684/33010684
[pid=69191] ppid=69188 vsize=11919568 memory=11276828 CPUtime=3603.1 cores=5,7
/proc/69191/stat : 69191 (LSIPExact) R 69188 69191 67998 0 -1 4194304 4097760 0 0 0 358069 2241 0 0 20 0 1 0 60438357 12205637632 2819207 18446744073709551615 94053560557568 94053587813969 140729133796640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94053596316808 94053596748416 94053603192832 140729133803866 140729133804042 140729133804042 140729133809644 0
/proc/69191/statm: 2979892 2819207 3456 6655 0 2936639 0
Current children cumulated CPU time: 3603.1 s
Current children cumulated vsize: 11919568 KiB
Current children cumulated memory: 11276828 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2115.6
CPU time (s): 3603.31
CPU user time (s): 3580.69
CPU system time (s): 22.6168
CPU usage (%): 170.321
Max. virtual memory (cumulated for all children) (KiB): 31213476
Max. memory (cumulated for all children) (KiB): 25976120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.69
system time used= 22.6168
maximum resident set size= 26037140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4097760
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= 263
involuntary context switches= 90110
# summary of solver processes directly reported to runsolver:
# pid: 69191
# total CPU time (s): 3603.31
# total CPU user time (s): 3580.69
# total CPU system time (s): 22.6168
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.43275 second user time and 10.129 second system time
The end
Begin job on nodeC013 at 2025-07-02 11:13:01
IDJOB=4505479
IDBENCH=155759
IDSOLVER=3336
FILE ID=nodeC013/4505479-1751447579
RUNJOBID= nodeC013-1751440305-68011
SLURM_JOB_ID= 9598399
Free space on /tmp= 431816 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_6_mh.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505479-1751447579/watcher-4505479-1751447579 -o /tmp/evaluation-result-4505479-1751447579/solver-4505479-1751447579 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751440305-68011 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4505479-1751447579.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ae4404ba779864fb11c76f88911c57d7
RANDOM SEED=800044856
nodeC013 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.861
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.67
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.830
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.67
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 : 3599.699
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.67
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.825
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.67
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.627
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.67
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 : 3582.306
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.67
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.476
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.67
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.221
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 72000968 kB
MemAvailable: 73714508 kB
Buffers: 3280 kB
Cached: 2512076 kB
SwapCached: 0 kB
Active: 56224376 kB
Inactive: 2267156 kB
Active(anon): 55989460 kB
Inactive(anon): 0 kB
Active(file): 234916 kB
Inactive(file): 2267156 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 266652 kB
Writeback: 4 kB
AnonPages: 55969612 kB
Mapped: 134968 kB
Shmem: 13284 kB
KReclaimable: 101012 kB
Slab: 189824 kB
SReclaimable: 101012 kB
SUnreclaim: 88812 kB
KernelStack: 4320 kB
PageTables: 114480 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 64018528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 38739968 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432200 MiB
End job on nodeC013 at 2025-07-02 11:48:17