1377.25/728.49 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1377.25/728.49 c numVar: 44846
1377.25/728.49 c numCon: 988104
1377.25/728.49 c numEqual: 1773
1377.25/728.49 c intSize: 10
1377.25/728.49 c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
1377.25/728.49 c ------------------- Paras list -------------------
1377.25/728.49 c Name Type Now Default Comment
1377.25/728.49 c timeout double 3600.000000 3600
1377.25/728.49 c mip_time double 0.200000 0.5
1377.25/728.49 c ls_time double 10.000000 10
1377.25/728.49 c safe_mode int 1 1 1 trust; 2 feasible
1377.25/728.49 c mip_emphasis int 5 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1377.25/728.49 c random_seed int 0 0
1377.25/728.49 c sample_size int 50 50
1377.25/728.49 c sub_score int 1 1
1377.25/728.49 c tabu_base int 3 3
1377.25/728.49 c tabu_variation int 1 1
1377.25/728.49 c sub_div int 4 4
1377.25/728.49 c nbcore int 2 1
1377.25/728.49 c memlimit int 31000 31744 memory limit in megabytes
1377.25/728.49 c print_sol int 1 1
1377.25/728.49 c tmpdir string . "."
1377.25/728.49 c home string HOME "."
1377.25/728.49 c benchname string HOME/instance-4503663-1751134442.opb ""
1377.25/728.49 c --------------------------------------------------
1377.25/728.49 c Local Search solver
1377.25/728.49 c MIP solver
1377.25/728.49 c use Exact solver
3600.02/2958.01 c receive signal 15, try to interrupt solver...
1377.34/2958.12 c Exact solver (PID 12625) interrupted gracefully.
3601.32/2959.41 s UNKNOWN
3601.32/2959.41 c Total time: 2959
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: 63837 MiB (62977 MiB free)
memory of node 1: 64465 MiB (62857 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503663-1751134442/watcher-4503663-1751134442 -o /tmp/evaluation-result-4503663-1751134442/solver-4503663-1751134442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751133631-11330 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4503663-1751134442.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=12587, runsolver pid=12584
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 7.38 7.23 4.44 7/255 12588
/proc/meminfo: memFree=128710188/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=245028 memory=186008 CPUtime=0.1 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) R 12584 12587 11315 0 -1 4194304 34241 0 0 0 3 7 0 0 20 0 1 0 29123660 250908672 46470 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 61290 46470 1152 6655 0 51525 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 245028 KiB
Current children cumulated memory: 186008 KiB
[startup+0.213603 s]*
/proc/loadavg: 7.38 7.23 4.44 7/255 12588
/proc/meminfo: memFree=128621228/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=295056 memory=252184 CPUtime=0.21 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) R 12584 12587 11315 0 -1 4194304 47248 0 0 0 12 9 0 0 20 0 1 0 29123660 302137344 63046 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 73764 63046 1152 6655 0 63999 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 295056 KiB
Current children cumulated memory: 252184 KiB
[startup+0.313437 s]*
/proc/loadavg: 7.38 7.23 4.44 7/255 12588
/proc/meminfo: memFree=128608940/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=295188 memory=252440 CPUtime=0.32 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) R 12584 12587 11315 0 -1 4194304 47291 0 0 0 22 10 0 0 20 0 1 0 29123660 302272512 63110 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 73797 63110 1152 6655 0 64032 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 295188 KiB
Current children cumulated memory: 252440 KiB
[startup+0.700298 s]
/proc/loadavg: 7.38 7.23 4.44 7/255 12588
/proc/meminfo: memFree=128504476/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=456192 memory=420420 CPUtime=0.68 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) R 12584 12587 11315 0 -1 4194304 79561 0 0 0 52 16 0 0 20 0 1 0 29123660 467140608 105073 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 114048 105073 1152 6655 0 104283 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 456192 KiB
Current children cumulated memory: 420420 KiB
[startup+1.5003 s]
/proc/loadavg: 7.38 7.23 4.44 7/255 12588
/proc/meminfo: memFree=128327068/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=698004 memory=660164 CPUtime=1.48 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) R 12584 12587 11315 0 -1 4194304 139523 0 0 0 122 26 0 0 20 0 1 0 29123660 714756096 165041 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 174501 165041 1152 6655 0 164736 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 698004 KiB
Current children cumulated memory: 660164 KiB
[startup+3.11335 s]
/proc/loadavg: 7.27 7.21 4.45 7/255 12588
/proc/meminfo: memFree=128142132/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=748160 memory=710212 CPUtime=3.09 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) R 12584 12587 11315 0 -1 4194304 152060 0 0 0 281 28 0 0 20 0 1 0 29123660 766115840 177553 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 187040 177553 1152 6655 0 177275 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 748160 KiB
Current children cumulated memory: 710212 KiB
[startup+6.30031 s]
/proc/loadavg: 7.27 7.21 4.45 7/255 12588
/proc/meminfo: memFree=128142136/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=748160 memory=710212 CPUtime=6.27 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) R 12584 12587 11315 0 -1 4194304 152084 0 0 0 599 28 0 0 20 0 1 0 29123660 766115840 177553 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 187040 177553 1152 6655 0 177275 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 748160 KiB
Current children cumulated memory: 710212 KiB
[startup+12.7003 s]
/proc/loadavg: 7.15 7.19 4.48 7/256 12590
/proc/meminfo: memFree=127422416/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=1589676 memory=1474960 CPUtime=12.65 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) R 12584 12587 11315 0 -1 4194304 244091 0 0 0 1214 51 0 0 20 0 2 0 29123660 1627828224 368740 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 397419 368740 2688 6655 0 371302 0
[pid=12587/tid=12590] ppid=12584 vsize=1589676 memory=1446644 CPUtime=0 cores=0,2
/proc/12587/task/12590/stat : 12590 (LSIPExact) S 12584 12587 11315 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29124793 1627828224 368740 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1589676 KiB
Current children cumulated memory: 1474960 KiB
[startup+25.5003 s]
/proc/loadavg: 6.97 7.15 4.49 7/256 12590
/proc/meminfo: memFree=126937916/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=1958012 memory=1858320 CPUtime=25.47 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) R 12584 12587 11315 0 -1 4194304 297636 0 0 0 2475 72 0 0 20 0 2 0 29123660 2005004288 464580 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 489503 464580 2880 6655 0 473879 0
[pid=12587/tid=12590] ppid=12584 vsize=1958012 memory=1852244 CPUtime=0.08 cores=0,2
/proc/12587/task/12590/stat : 12590 (LSIPExact) S 12584 12587 11315 0 -1 4194368 4383 0 0 0 6 2 0 0 20 0 2 0 29124793 2005004288 464580 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 1958012 KiB
Current children cumulated memory: 1858320 KiB
[startup+51.1135 s]
/proc/loadavg: 6.70 7.07 4.54 7/256 12590
/proc/meminfo: memFree=126034548/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=3264752 memory=2828032 CPUtime=59.35 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) S 12584 12587 11315 0 -1 4194304 398244 0 0 0 5819 116 0 0 20 0 2 0 29123660 3343106048 707008 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 816188 707008 3328 6655 0 792109 0
[pid=12587/tid=12590] ppid=12584 vsize=3264752 memory=66433 CPUtime=23.01 cores=0,2
/proc/12587/task/12590/stat : 12590 (LSIPExact) R 12584 12587 11315 0 -1 4194368 33126 0 0 0 2285 16 0 0 20 0 2 0 29124793 3343106048 707008 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
Current children cumulated CPU time: 59.35 s
Current children cumulated vsize: 3264752 KiB
Current children cumulated memory: 2828032 KiB
[startup+102.3 s]
/proc/loadavg: 5.60 6.69 4.56 6/257 12595
/proc/meminfo: memFree=125129896/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=4075560 memory=3627016 CPUtime=134.41 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) R 12584 12587 11315 0 -1 4194304 488492 0 0 0 13283 158 0 0 20 0 2 0 29123660 4173373440 906754 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 1018890 906754 3328 6655 0 996066 0
[pid=12587/tid=12590] ppid=12584 vsize=4075560 memory=3561216 CPUtime=73.37 cores=0,2
/proc/12587/task/12590/stat : 12590 (LSIPExact) R 12584 12587 11315 0 -1 4194368 56424 0 0 0 7305 32 0 0 20 0 2 0 29124793 4173373440 906754 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
Current children cumulated CPU time: 134.41 s
Current children cumulated vsize: 4075560 KiB
Current children cumulated memory: 3627016 KiB
[startup+162.3 s]
/proc/loadavg: 5.82 6.55 4.64 6/256 12597
/proc/meminfo: memFree=125276620/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=3832976 memory=3448380 CPUtime=253.57 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) R 12584 12587 11315 0 -1 4194304 596831 0 0 0 25176 181 0 0 20 0 2 0 29123660 3924967424 862095 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 958244 862095 3328 6655 0 935420 0
[pid=12587/tid=12590] ppid=12584 vsize=3832976 memory=3627016 CPUtime=132.75 cores=0,2
/proc/12587/task/12590/stat : 12590 (LSIPExact) R 12584 12587 11315 0 -1 4194368 100726 0 0 0 13234 41 0 0 20 0 2 0 29124793 3924967424 862095 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
Current children cumulated CPU time: 253.57 s
Current children cumulated vsize: 3832976 KiB
Current children cumulated memory: 3448380 KiB
[startup+222.3 s]
/proc/loadavg: 5.49 6.32 4.69 6/255 12600
/proc/meminfo: memFree=124477988/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=4628132 memory=4254324 CPUtime=372.73 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) R 12584 12587 11315 0 -1 4194304 723344 0 0 0 37021 252 0 0 20 0 2 0 29123660 4739207168 1063581 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 1157033 1063581 3360 6655 0 1134209 0
[pid=12587/tid=12590] ppid=12584 vsize=4628132 memory=14352 CPUtime=192.13 cores=0,2
/proc/12587/task/12590/stat : 12590 (LSIPExact) R 12584 12587 11315 0 -1 4194368 122919 0 0 0 19162 51 0 0 20 0 2 0 29124793 4739207168 1063581 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
Current children cumulated CPU time: 372.73 s
Current children cumulated vsize: 4628132 KiB
Current children cumulated memory: 4254324 KiB
[startup+282.3 s]
/proc/loadavg: 5.24 6.10 4.72 6/256 12603
/proc/meminfo: memFree=124870880/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=4022160 memory=3827228 CPUtime=491.91 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) R 12584 12587 11315 0 -1 4194304 793599 0 0 0 48915 276 0 0 20 0 2 0 29123660 4118691840 956807 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 1005540 956807 3360 6655 0 982716 0
[pid=12587/tid=12590] ppid=12584 vsize=4022160 memory=3812920 CPUtime=251.51 cores=0,2
/proc/12587/task/12590/stat : 12590 (LSIPExact) R 12584 12587 11315 0 -1 4194368 142211 0 0 0 25092 59 0 0 20 0 2 0 29124793 4118691840 956807 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
Current children cumulated CPU time: 491.91 s
Current children cumulated vsize: 4022160 KiB
Current children cumulated memory: 3827228 KiB
[startup+342.3 s]
/proc/loadavg: 5.13 5.91 4.74 6/256 12605
/proc/meminfo: memFree=124829004/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=4005996 memory=3828856 CPUtime=611.15 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) R 12584 12587 11315 0 -1 4194304 879859 0 0 0 60820 295 0 0 20 0 2 0 29123660 4102139904 957214 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 1001499 957214 3360 6655 0 978675 0
[pid=12587/tid=12590] ppid=12584 vsize=4005996 memory=14352 CPUtime=310.92 cores=0,2
/proc/12587/task/12590/stat : 12590 (LSIPExact) R 12584 12587 11315 0 -1 4194368 181939 0 0 0 31023 69 0 0 20 0 2 0 29124793 4102139904 957214 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
Current children cumulated CPU time: 611.15 s
Current children cumulated vsize: 4005996 KiB
Current children cumulated memory: 3828856 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/12587/statm: 646585 628497 3392 6655 0 629066 0
[pid=12625] ppid=12587 vsize=1446064 memory=1359292 CPUtime=1768.26 cores=0,2
/proc/12625/stat : 12625 (Exact) R 12587 12625 12625 0 -1 4194304 164311 0 0 0 176718 108 0 0 20 0 1 0 29196509 1480769536 339823 18446744073709551615 4198400 8335837 140724282531600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18436096 140724282534075 140724282534429 140724282534429 140724282539983 0
/proc/12625/statm: 361516 339823 1120 1011 0 360283 0
Current children cumulated CPU time: 3145.6 s
Current children cumulated vsize: 4032404 KiB
Current children cumulated memory: 3873280 KiB
[startup+2562.3 s]
/proc/loadavg: 6.04 5.26 4.96 7/256 12900
/proc/meminfo: memFree=125605716/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=2586340 memory=2513988 CPUtime=1377.34 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) S 12584 12587 11315 0 -1 4194304 1280917 0 0 0 137300 434 0 0 20 0 1 0 29123660 2648412160 628497 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 646585 628497 3392 6655 0 629066 0
[pid=12625] ppid=12587 vsize=1449292 memory=1362520 CPUtime=1828.1 cores=0,2
/proc/12625/stat : 12625 (Exact) R 12587 12625 12625 0 -1 4194304 165486 0 0 0 182701 109 0 0 20 0 1 0 29196509 1484075008 340630 18446744073709551615 4198400 8335837 140724282531600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18436096 140724282534075 140724282534429 140724282534429 140724282539983 0
/proc/12625/statm: 362323 340630 1120 1011 0 361090 0
Current children cumulated CPU time: 3205.44 s
Current children cumulated vsize: 4035632 KiB
Current children cumulated memory: 3876508 KiB
[startup+2622.3 s]
/proc/loadavg: 6.06 5.41 5.03 7/256 12902
/proc/meminfo: memFree=125587148/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=2586340 memory=2513988 CPUtime=1377.34 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) S 12584 12587 11315 0 -1 4194304 1280917 0 0 0 137300 434 0 0 20 0 1 0 29123660 2648412160 628497 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 646585 628497 3392 6655 0 629066 0
[pid=12625] ppid=12587 vsize=1452460 memory=1367736 CPUtime=1887.92 cores=0,2
/proc/12625/stat : 12625 (Exact) R 12587 12625 12625 0 -1 4194304 166630 0 0 0 188682 110 0 0 20 0 1 0 29196509 1487319040 341934 18446744073709551615 4198400 8335837 140724282531600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18436096 140724282534075 140724282534429 140724282534429 140724282539983 0
/proc/12625/statm: 363115 341934 1120 1011 0 361882 0
Current children cumulated CPU time: 3265.26 s
Current children cumulated vsize: 4038800 KiB
Current children cumulated memory: 3881724 KiB
[startup+2682.3 s]
/proc/loadavg: 6.14 5.55 5.10 7/255 12904
/proc/meminfo: memFree=125565092/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=2586340 memory=2513988 CPUtime=1377.34 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) S 12584 12587 11315 0 -1 4194304 1280917 0 0 0 137300 434 0 0 20 0 1 0 29123660 2648412160 628497 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 646585 628497 3392 6655 0 629066 0
[pid=12625] ppid=12587 vsize=1456588 memory=1378008 CPUtime=1947.75 cores=0,2
/proc/12625/stat : 12625 (Exact) R 12587 12625 12625 0 -1 4194304 168408 0 0 0 194663 112 0 0 20 0 1 0 29196509 1491546112 344502 18446744073709551615 4198400 8335837 140724282531600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18436096 140724282534075 140724282534429 140724282534429 140724282539983 0
/proc/12625/statm: 364147 344502 1120 1011 0 362914 0
Current children cumulated CPU time: 3325.09 s
Current children cumulated vsize: 4042928 KiB
Current children cumulated memory: 3891996 KiB
[startup+2742.3 s]
/proc/loadavg: 6.11 5.65 5.17 7/254 12906
/proc/meminfo: memFree=125569176/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=2586340 memory=2513988 CPUtime=1377.34 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) S 12584 12587 11315 0 -1 4194304 1280917 0 0 0 137300 434 0 0 20 0 1 0 29123660 2648412160 628497 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 646585 628497 3392 6655 0 629066 0
[pid=12625] ppid=12587 vsize=1457384 memory=1378804 CPUtime=2007.58 cores=0,2
/proc/12625/stat : 12625 (Exact) R 12587 12625 12625 0 -1 4194304 169325 0 0 0 200645 113 0 0 20 0 1 0 29196509 1492361216 344701 18446744073709551615 4198400 8335837 140724282531600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18436096 140724282534075 140724282534429 140724282534429 140724282539983 0
/proc/12625/statm: 364346 344701 1120 1011 0 363113 0
Current children cumulated CPU time: 3384.92 s
Current children cumulated vsize: 4043724 KiB
Current children cumulated memory: 3892792 KiB
[startup+2802.3 s]
/proc/loadavg: 6.04 5.72 5.22 7/254 12908
/proc/meminfo: memFree=125558828/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=2586340 memory=2513988 CPUtime=1377.34 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) S 12584 12587 11315 0 -1 4194304 1280917 0 0 0 137300 434 0 0 20 0 1 0 29123660 2648412160 628497 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 646585 628497 3392 6655 0 629066 0
[pid=12625] ppid=12587 vsize=1458816 memory=1382284 CPUtime=2067.41 cores=0,2
/proc/12625/stat : 12625 (Exact) R 12587 12625 12625 0 -1 4194304 170557 0 0 0 206627 114 0 0 20 0 1 0 29196509 1493827584 345571 18446744073709551615 4198400 8335837 140724282531600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18436096 140724282534075 140724282534429 140724282534429 140724282539983 0
/proc/12625/statm: 364704 345571 1120 1011 0 363471 0
Current children cumulated CPU time: 3444.75 s
Current children cumulated vsize: 4045156 KiB
Current children cumulated memory: 3896272 KiB
[startup+2862.3 s]
/proc/loadavg: 6.11 5.80 5.28 7/253 12921
/proc/meminfo: memFree=125549588/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=2586340 memory=2513988 CPUtime=1377.34 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) S 12584 12587 11315 0 -1 4194304 1280917 0 0 0 137300 434 0 0 20 0 1 0 29123660 2648412160 628497 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 646585 628497 3392 6655 0 629066 0
[pid=12625] ppid=12587 vsize=1461432 memory=1391044 CPUtime=2127.24 cores=0,2
/proc/12625/stat : 12625 (Exact) R 12587 12625 12625 0 -1 4194304 172623 0 0 0 212608 116 0 0 20 0 1 0 29196509 1496506368 347761 18446744073709551615 4198400 8335837 140724282531600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18436096 140724282534075 140724282534429 140724282534429 140724282539983 0
/proc/12625/statm: 365358 347761 1120 1011 0 364125 0
Current children cumulated CPU time: 3504.58 s
Current children cumulated vsize: 4047772 KiB
Current children cumulated memory: 3905032 KiB
[startup+2922.3 s]
/proc/loadavg: 6.09 5.86 5.34 7/253 12923
/proc/meminfo: memFree=125520612/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=2586340 memory=2513988 CPUtime=1377.34 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) S 12584 12587 11315 0 -1 4194304 1280917 0 0 0 137300 434 0 0 20 0 1 0 29123660 2648412160 628497 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 646585 628497 3392 6655 0 629066 0
[pid=12625] ppid=12587 vsize=1462052 memory=1391780 CPUtime=2187.06 cores=0,2
/proc/12625/stat : 12625 (Exact) R 12587 12625 12625 0 -1 4194304 174063 0 0 0 218589 117 0 0 20 0 1 0 29196509 1497141248 347945 18446744073709551615 4198400 8335837 140724282531600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18436096 140724282534075 140724282534429 140724282534429 140724282539983 0
/proc/12625/statm: 365513 347945 1120 1011 0 364280 0
Current children cumulated CPU time: 3564.4 s
Current children cumulated vsize: 4048392 KiB
Current children cumulated memory: 3905768 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2958 s]*
/proc/loadavg: 6.10 5.89 5.37 7/254 12929
/proc/meminfo: memFree=125510916/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=2586340 memory=2513988 CPUtime=1377.34 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) S 12584 12587 11315 0 -1 4194304 1280917 0 0 0 137300 434 0 0 20 0 1 0 29123660 2648412160 628497 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 646585 628497 3392 6655 0 629066 0
[pid=12625] ppid=12587 vsize=1462796 memory=1392408 CPUtime=2222.68 cores=0,2
/proc/12625/stat : 12625 (Exact) R 12587 12625 12625 0 -1 4194304 174938 0 0 0 222150 118 0 0 20 0 1 0 29196509 1497903104 348102 18446744073709551615 4198400 8335837 140724282531600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18436096 140724282534075 140724282534429 140724282534429 140724282539983 0
/proc/12625/statm: 365699 348102 1120 1011 0 364466 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 4049136 KiB
Current children cumulated memory: 3906396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2959.5 s]
# the end of solver process 12587 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.61 s, system=5.81775 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2958.4 s]
/proc/loadavg: 6.10 5.89 5.37 7/254 12929
/proc/meminfo: memFree=125510916/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=2563180 memory=2490912 CPUtime=3600.32 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) R 12584 12587 11315 0 -1 4194304 1332894 175075 0 0 137320 441 222152 119 20 0 1 0 29123660 2624696320 622728 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 640795 622728 3392 6655 0 623276 0
Current children cumulated CPU time: 3600.32 s
Current children cumulated vsize: 2563180 KiB
Current children cumulated memory: 2490912 KiB
[startup+2959.2 s]
/proc/loadavg: 6.10 5.89 5.37 7/253 12930
/proc/meminfo: memFree=126921844/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=2563180 memory=2490912 CPUtime=3601.12 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) R 12584 12587 11315 0 -1 4194304 1386425 175075 0 0 137393 448 222152 119 20 0 1 0 29123660 2624696320 622728 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 640795 622728 3392 6655 0 623276 0
Current children cumulated CPU time: 3601.12 s
Current children cumulated vsize: 2563180 KiB
Current children cumulated memory: 2490912 KiB
[startup+2959.4 s]
/proc/loadavg: 6.10 5.89 5.37 7/253 12930
/proc/meminfo: memFree=126921844/131382116 swapFree=33010684/33010684
[pid=12587] ppid=12584 vsize=2563180 memory=2490912 CPUtime=3601.32 cores=0,2
/proc/12587/stat : 12587 (LSIPExact) R 12584 12587 11315 0 -1 4194304 1423692 175075 0 0 137408 453 222152 119 20 0 1 0 29123660 2624696320 622728 18446744073709551615 94916195770368 94916223026769 140731483002832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94916231529608 94916231961216 94916257837056 140731483011418 140731483011594 140731483011594 140731483017196 0
/proc/12587/statm: 640795 622728 3392 6655 0 623276 0
Current children cumulated CPU time: 3601.32 s
Current children cumulated vsize: 2563180 KiB
Current children cumulated memory: 2490912 KiB
Child status: 0
Real time (s): 2959.5
CPU time (s): 3601.43
CPU user time (s): 3595.61
CPU system time (s): 5.81775
CPU usage (%): 121.69
Max. virtual memory (cumulated for all children) (KiB): 4744824
Max. memory (cumulated for all children) (KiB): 4429044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.61
system time used= 5.81775
maximum resident set size= 4461968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1601176
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= 544
involuntary context switches= 18306
# summary of solver processes directly reported to runsolver:
# pid: 12587
# total CPU time (s): 3601.43
# total CPU user time (s): 3595.61
# total CPU system time (s): 5.81775
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6474 second user time and 26.9791 second system time
The end
Begin job on nodeC010 at 2025-06-28 20:14:02
IDJOB=4503663
IDBENCH=155532
IDSOLVER=3336
FILE ID=nodeC010/4503663-1751134442
RUNJOBID= nodeC010-1751133631-11330
SLURM_JOB_ID= 9587410
Free space on /tmp= 432876 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-116.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503663-1751134442/watcher-4503663-1751134442 -o /tmp/evaluation-result-4503663-1751134442/solver-4503663-1751134442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751133631-11330 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4503663-1751134442.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2c07ac2a163c6358b3083ff023512428
RANDOM SEED=1434631096
nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2893.129
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.393
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.440
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.471
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.446
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.437
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.449
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 128855168 kB
MemAvailable: 128630236 kB
Buffers: 3280 kB
Cached: 587704 kB
SwapCached: 0 kB
Active: 1522060 kB
Inactive: 381544 kB
Active(anon): 1330580 kB
Inactive(anon): 0 kB
Active(file): 191480 kB
Inactive(file): 381544 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 88764 kB
Writeback: 0 kB
AnonPages: 1311788 kB
Mapped: 142956 kB
Shmem: 17960 kB
KReclaimable: 83344 kB
Slab: 162160 kB
SReclaimable: 83344 kB
SUnreclaim: 78816 kB
KernelStack: 4112 kB
PageTables: 5652 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1689920 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149528 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 737280 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432840 MiB
End job on nodeC010 at 2025-06-28 21:03:22