runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (40104 MiB free)
memory of node 1: 64507 MiB (39362 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527794-1752236145/watcher-4527794-1752236145 -o /tmp/evaluation-result-4527794-1752236145/solver-4527794-1752236145 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752232205-108168 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527794-1752236145.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=109453, runsolver pid=109450
[startup+0.100103 s]*
/proc/loadavg: 7.99 7.93 7.65 8/255 109454
/proc/meminfo: memFree=81373868/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=62868 memory=28416 CPUtime=0.1 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 6065 0 0 0 9 1 0 0 20 0 1 0 139293916 64376832 7104 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 15717 7104 1184 6655 0 5952 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 62868 KiB
Current children cumulated memory: 28416 KiB
[startup+0.214013 s]*
/proc/loadavg: 7.99 7.93 7.65 8/255 109454
/proc/meminfo: memFree=81373868/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=82428 memory=48000 CPUtime=0.21 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 10975 0 0 0 18 3 0 0 20 0 1 0 139293916 84406272 12000 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 20607 12000 1184 6655 0 10842 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 82428 KiB
Current children cumulated memory: 48000 KiB
[startup+0.314139 s]*
/proc/loadavg: 7.99 7.93 7.65 8/255 109454
/proc/meminfo: memFree=81373868/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=91012 memory=56576 CPUtime=0.31 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 13118 0 0 0 28 3 0 0 20 0 1 0 139293916 93196288 14144 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 22753 14144 1184 6655 0 12988 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56576 KiB
[startup+0.700345 s]
/proc/loadavg: 7.99 7.93 7.65 8/255 109454
/proc/meminfo: memFree=81373868/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=91012 memory=56576 CPUtime=0.68 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 13121 0 0 0 65 3 0 0 20 0 1 0 139293916 93196288 14144 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 22753 14144 1184 6655 0 12988 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56576 KiB
[startup+1.50031 s]
/proc/loadavg: 7.99 7.93 7.65 8/255 109455
/proc/meminfo: memFree=81373868/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=91012 memory=56576 CPUtime=1.47 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 13122 0 0 0 144 3 0 0 20 0 1 0 139293916 93196288 14144 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 22753 14144 1184 6655 0 12988 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56576 KiB
[startup+3.11404 s]
/proc/loadavg: 7.99 7.93 7.65 8/255 109455
/proc/meminfo: memFree=81366048/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=91012 memory=56576 CPUtime=3.09 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 13123 0 0 0 305 4 0 0 20 0 1 0 139293916 93196288 14144 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 22753 14144 1184 6655 0 12988 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56576 KiB
[startup+6.30028 s]
/proc/loadavg: 7.91 7.91 7.65 8/255 109455
/proc/meminfo: memFree=81366048/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=91012 memory=56576 CPUtime=6.26 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 13123 0 0 0 622 4 0 0 20 0 1 0 139293916 93196288 14144 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 22753 14144 1184 6655 0 12988 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56576 KiB
[startup+12.7002 s]
/proc/loadavg: 7.84 7.90 7.64 9/256 109456
/proc/meminfo: memFree=81245352/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=277220 memory=203848 CPUtime=14.3 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 38184 0 0 0 1421 9 0 0 20 0 2 0 139293916 283873280 50962 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 69305 50962 3520 6655 0 49614 0
[pid=109453/tid=109456] ppid=109450 vsize=277220 memory=6260 CPUtime=1.67 cores=5,7
/proc/109453/task/109456/stat : 109456 (LSIPExact) R 109450 109453 108148 0 -1 4194368 4907 0 0 0 166 1 0 0 20 0 2 0 139294932 283873280 50962 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
Current children cumulated CPU time: 14.3 s
Current children cumulated vsize: 277220 KiB
Current children cumulated memory: 203848 KiB
[startup+25.5002 s]
/proc/loadavg: 7.87 7.90 7.65 8/254 109501
/proc/meminfo: memFree=104218196/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=277700 memory=239032 CPUtime=39.6 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 78326 0 0 0 3943 17 0 0 20 0 2 0 139293916 284364800 59758 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 69425 59758 3520 6655 0 58317 0
[pid=109453/tid=109456] ppid=109450 vsize=277700 memory=20352 CPUtime=14.25 cores=5,7
/proc/109453/task/109456/stat : 109456 (LSIPExact) R 109450 109453 108148 0 -1 4194368 19436 0 0 0 1421 4 0 0 20 0 2 0 139294932 284364800 59758 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
Current children cumulated CPU time: 39.6 s
Current children cumulated vsize: 277700 KiB
Current children cumulated memory: 239032 KiB
[startup+51.1056 s]
/proc/loadavg: 7.65 7.84 7.63 9/254 109548
/proc/meminfo: memFree=126641048/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=277700 memory=239800 CPUtime=90.42 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 91936 0 0 0 9020 22 0 0 20 0 2 0 139293916 284364800 59950 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 69425 59950 3520 6655 0 58317 0
[pid=109453/tid=109456] ppid=109450 vsize=277700 memory=239800 CPUtime=39.59 cores=5,7
/proc/109453/task/109456/stat : 109456 (LSIPExact) R 109450 109453 108148 0 -1 4194368 27488 0 0 0 3954 5 0 0 20 0 2 0 139294932 284364800 59950 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
Current children cumulated CPU time: 90.42 s
Current children cumulated vsize: 277700 KiB
Current children cumulated memory: 239800 KiB
[startup+102.3 s]
/proc/loadavg: 7.74 7.85 7.65 9/255 109551
/proc/meminfo: memFree=126408500/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=276420 memory=227488 CPUtime=188.92 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 137985 0 0 0 18862 30 0 0 20 0 2 0 139293916 283054080 56872 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 69105 56872 3520 6655 0 57997 0
[pid=109453/tid=109456] ppid=109450 vsize=276420 memory=252784 CPUtime=87.37 cores=5,7
/proc/109453/task/109456/stat : 109456 (LSIPExact) R 109450 109453 108148 0 -1 4194368 49257 0 0 0 8729 8 0 0 20 0 2 0 139294932 283054080 56872 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
Current children cumulated CPU time: 188.92 s
Current children cumulated vsize: 276420 KiB
Current children cumulated memory: 227488 KiB
[startup+162.3 s]
/proc/loadavg: 6.76 7.57 7.56 7/248 109629
/proc/meminfo: memFree=126416372/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=293344 memory=246320 CPUtime=307.93 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 157374 0 0 0 30752 41 0 0 20 0 2 0 139293916 300384256 61580 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 73336 61580 3520 6655 0 62228 0
[pid=109453/tid=109456] ppid=109450 vsize=293344 memory=246320 CPUtime=146.97 cores=5,7
/proc/109453/task/109456/stat : 109456 (LSIPExact) R 109450 109453 108148 0 -1 4194368 57799 0 0 0 14684 13 0 0 20 0 2 0 139294932 300384256 61580 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
Current children cumulated CPU time: 307.93 s
Current children cumulated vsize: 293344 KiB
Current children cumulated memory: 246320 KiB
[startup+222.3 s]
/proc/loadavg: 6.33 7.29 7.47 7/248 109631
/proc/meminfo: memFree=126206508/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=358880 memory=264568 CPUtime=427.16 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 174019 0 0 0 42672 44 0 0 20 0 2 0 139293916 367493120 66142 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 89720 66142 3584 6655 0 66011 0
[pid=109453/tid=109456] ppid=109450 vsize=358880 memory=264568 CPUtime=206.8 cores=5,7
/proc/109453/task/109456/stat : 109456 (LSIPExact) R 109450 109453 108148 0 -1 4194368 67276 0 0 0 20665 15 0 0 20 0 2 0 139294932 367493120 66142 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
Current children cumulated CPU time: 427.16 s
Current children cumulated vsize: 358880 KiB
Current children cumulated memory: 264568 KiB
[startup+282.3 s]
/proc/loadavg: 6.24 7.09 7.38 7/248 109633
/proc/meminfo: memFree=125700744/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=358880 memory=264568 CPUtime=546.39 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 176150 0 0 0 54594 45 0 0 20 0 2 0 139293916 367493120 66142 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 89720 66142 3584 6655 0 66011 0
[pid=109453/tid=109456] ppid=109450 vsize=358880 memory=264568 CPUtime=266.63 cores=5,7
/proc/109453/task/109456/stat : 109456 (LSIPExact) R 109450 109453 108148 0 -1 4194368 68830 0 0 0 26647 16 0 0 20 0 2 0 139294932 367493120 66142 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
Current children cumulated CPU time: 546.39 s
Current children cumulated vsize: 358880 KiB
Current children cumulated memory: 264568 KiB
[startup+342.3 s]
/proc/loadavg: 6.08 6.89 7.29 7/247 109635
/proc/meminfo: memFree=125312108/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=358880 memory=268028 CPUtime=665.61 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 189881 0 0 0 66514 47 0 0 20 0 2 0 139293916 367493120 67007 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 89720 67007 3584 6655 0 69047 0
[pid=109453/tid=109456] ppid=109450 vsize=358880 memory=267388 CPUtime=326.44 cores=5,7
/proc/109453/task/109456/stat : 109456 (LSIPExact) R 109450 109453 108148 0 -1 4194368 77268 0 0 0 32627 17 0 0 20 0 2 0 139294932 367493120 67007 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
Current children cumulated CPU time: 665.61 s
Current children cumulated vsize: 358880 KiB
Current children cumulated memory: 268028 KiB
[startup+402.3 s]
################
# More data... #
################
Current children cumulated vsize: 373792 KiB
Current children cumulated memory: 289228 KiB
[startup+1542.3 s]
/proc/loadavg: 6.12 6.14 6.44 7/247 109692
/proc/meminfo: memFree=123202424/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=373792 memory=289228 CPUtime=3050.38 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 212374 0 0 0 304969 69 0 0 20 0 2 0 139293916 382763008 72307 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 93448 72307 3584 6655 0 72775 0
[pid=109453/tid=109456] ppid=109450 vsize=373792 memory=14304 CPUtime=1522.61 cores=5,7
/proc/109453/task/109456/stat : 109456 (LSIPExact) R 109450 109453 108148 0 -1 4194368 80538 0 0 0 152229 32 0 0 20 0 2 0 139294932 382763008 72307 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
Current children cumulated CPU time: 3050.38 s
Current children cumulated vsize: 373792 KiB
Current children cumulated memory: 289228 KiB
[startup+1602.3 s]
/proc/loadavg: 6.09 6.13 6.41 7/248 109701
/proc/meminfo: memFree=123117284/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=373792 memory=289228 CPUtime=3169.61 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 212629 0 0 0 316891 70 0 0 20 0 2 0 139293916 382763008 72307 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 93448 72307 3584 6655 0 72775 0
[pid=109453/tid=109456] ppid=109450 vsize=373792 memory=289228 CPUtime=1582.41 cores=5,7
/proc/109453/task/109456/stat : 109456 (LSIPExact) R 109450 109453 108148 0 -1 4194368 80734 0 0 0 158208 33 0 0 20 0 2 0 139294932 382763008 72307 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
Current children cumulated CPU time: 3169.61 s
Current children cumulated vsize: 373792 KiB
Current children cumulated memory: 289228 KiB
[startup+1662.3 s]
/proc/loadavg: 5.28 5.93 6.33 5/241 109736
/proc/meminfo: memFree=123585004/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=373792 memory=289228 CPUtime=3288.84 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 212754 0 0 0 328810 74 0 0 20 0 2 0 139293916 382763008 72307 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 93448 72307 3584 6655 0 72775 0
[pid=109453/tid=109456] ppid=109450 vsize=373792 memory=289228 CPUtime=1642.22 cores=5,7
/proc/109453/task/109456/stat : 109456 (LSIPExact) R 109450 109453 108148 0 -1 4194368 80848 0 0 0 164186 36 0 0 20 0 2 0 139294932 382763008 72307 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
Current children cumulated CPU time: 3288.84 s
Current children cumulated vsize: 373792 KiB
Current children cumulated memory: 289228 KiB
[startup+1722.3 s]
/proc/loadavg: 4.52 5.59 6.18 5/241 109738
/proc/meminfo: memFree=123402004/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=373792 memory=289228 CPUtime=3408.1 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 213123 0 0 0 340735 75 0 0 20 0 2 0 139293916 382763008 72307 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 93448 72307 3584 6655 0 72775 0
[pid=109453/tid=109456] ppid=109450 vsize=373792 memory=289228 CPUtime=1702.04 cores=5,7
/proc/109453/task/109456/stat : 109456 (LSIPExact) R 109450 109453 108148 0 -1 4194368 81136 0 0 0 170167 37 0 0 20 0 2 0 139294932 382763008 72307 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
Current children cumulated CPU time: 3408.1 s
Current children cumulated vsize: 373792 KiB
Current children cumulated memory: 289228 KiB
[startup+1782.3 s]
/proc/loadavg: 4.23 5.31 6.05 5/240 109739
/proc/meminfo: memFree=123256108/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=373792 memory=289228 CPUtime=3527.35 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 213157 0 0 0 352658 77 0 0 20 0 2 0 139293916 382763008 72307 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 93448 72307 3584 6655 0 72775 0
[pid=109453/tid=109456] ppid=109450 vsize=373792 memory=289228 CPUtime=1761.85 cores=5,7
/proc/109453/task/109456/stat : 109456 (LSIPExact) R 109450 109453 108148 0 -1 4194368 81159 0 0 0 176147 38 0 0 20 0 2 0 139294932 382763008 72307 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
Current children cumulated CPU time: 3527.35 s
Current children cumulated vsize: 373792 KiB
Current children cumulated memory: 289228 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1818.9 s]
/proc/loadavg: 4.18 5.18 5.98 5/241 109742
/proc/meminfo: memFree=123214260/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=373792 memory=289228 CPUtime=3600.08 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) R 109450 109453 108148 0 -1 4194304 213476 0 0 0 359931 77 0 0 20 0 2 0 139293916 382763008 72307 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 93448 72307 3584 6655 0 72775 0
[pid=109453/tid=109456] ppid=109450 vsize=373792 memory=289228 CPUtime=1798.33 cores=5,7
/proc/109453/task/109456/stat : 109456 (LSIPExact) R 109450 109453 108148 0 -1 4194368 81404 0 0 0 179795 38 0 0 20 0 2 0 139294932 382763008 72307 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 373792 KiB
Current children cumulated memory: 289228 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+1820.93 s]
# the end of solver process 109453 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3601.24 s, system=0.829225 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1819.2 s]
/proc/loadavg: 4.18 5.18 5.98 3/241 109744
/proc/meminfo: memFree=123213512/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=308256 memory=273200 CPUtime=3600.13 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) S 109450 109453 108148 0 -1 4194304 218772 226 0 0 359936 77 0 0 20 0 1 0 139293916 315654144 68300 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 77064 68300 3616 6655 0 66721 0
[pid=109744] ppid=109453 vsize=37692 memory=19376 CPUtime=0.19 cores=5,7
/proc/109744/stat : 109744 (Exact) R 109453 109744 109744 0 -1 4194304 3266 0 0 0 19 0 0 0 20 0 1 0 139475814 38596608 4844 18446744073709551615 4198400 8335837 140728458895264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 26234880 140728458897586 140728458897947 140728458897947 140728458903503 0
/proc/109744/statm: 9423 4844 960 1011 0 8190 0
Current children cumulated CPU time: 3600.32 s
Current children cumulated vsize: 345948 KiB
Current children cumulated memory: 292576 KiB
[startup+1820 s]*
/proc/loadavg: 4.08 5.14 5.96 4/241 109744
/proc/meminfo: memFree=123147608/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=308256 memory=273200 CPUtime=3600.13 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) S 109450 109453 108148 0 -1 4194304 218772 226 0 0 359936 77 0 0 20 0 1 0 139293916 315654144 68300 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 77064 68300 3616 6655 0 66721 0
[pid=109744] ppid=109453 vsize=80160 memory=63584 CPUtime=1 cores=5,7
/proc/109744/stat : 109744 (Exact) R 109453 109744 109744 0 -1 4194304 16198 0 0 0 97 3 0 0 20 0 1 0 139475814 82083840 15896 18446744073709551615 4198400 8335837 140728458895264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 26234880 140728458897586 140728458897947 140728458897947 140728458903503 0
/proc/109744/statm: 20040 15896 1088 1011 0 18807 0
Current children cumulated CPU time: 3601.13 s
Current children cumulated vsize: 388416 KiB
Current children cumulated memory: 336784 KiB
[startup+1820.4 s]
/proc/loadavg: 4.08 5.14 5.96 4/241 109744
/proc/meminfo: memFree=123147608/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=308256 memory=273200 CPUtime=3600.13 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) S 109450 109453 108148 0 -1 4194304 218772 226 0 0 359936 77 0 0 20 0 1 0 139293916 315654144 68300 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 77064 68300 3616 6655 0 66721 0
[pid=109744] ppid=109453 vsize=80160 memory=63584 CPUtime=1.39 cores=5,7
/proc/109744/stat : 109744 (Exact) R 109453 109744 109744 0 -1 4194304 16198 0 0 0 136 3 0 0 20 0 1 0 139475814 82083840 15896 18446744073709551615 4198400 8335837 140728458895264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 26234880 140728458897586 140728458897947 140728458897947 140728458903503 0
/proc/109744/statm: 20040 15896 1088 1011 0 18807 0
Current children cumulated CPU time: 3601.52 s
Current children cumulated vsize: 388416 KiB
Current children cumulated memory: 336784 KiB
[startup+1820.8 s]
/proc/loadavg: 4.08 5.14 5.96 4/241 109744
/proc/meminfo: memFree=123147608/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=308256 memory=273200 CPUtime=3600.13 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) S 109450 109453 108148 0 -1 4194304 218772 226 0 0 359936 77 0 0 20 0 1 0 139293916 315654144 68300 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 77064 68300 3616 6655 0 66721 0
[pid=109744] ppid=109453 vsize=80160 memory=63584 CPUtime=1.79 cores=5,7
/proc/109744/stat : 109744 (Exact) R 109453 109744 109744 0 -1 4194304 16198 0 0 0 176 3 0 0 20 0 1 0 139475814 82083840 15896 18446744073709551615 4198400 8335837 140728458895264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 26234880 140728458897586 140728458897947 140728458897947 140728458903503 0
/proc/109744/statm: 20040 15896 1088 1011 0 18807 0
Current children cumulated CPU time: 3601.92 s
Current children cumulated vsize: 388416 KiB
Current children cumulated memory: 336784 KiB
[startup+1820.9 s]
/proc/loadavg: 4.08 5.14 5.96 4/241 109744
/proc/meminfo: memFree=123147608/131382120 swapFree=33010416/33010684
[pid=109453] ppid=109450 vsize=308256 memory=273200 CPUtime=3600.13 cores=5,7
/proc/109453/stat : 109453 (LSIPExact) S 109450 109453 108148 0 -1 4194304 218772 226 0 0 359936 77 0 0 20 0 1 0 139293916 315654144 68300 18446744073709551615 94156413173760 94156440430929 140728580142160 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94156448933000 94156449364608 94156457312256 140728580147544 140728580147720 140728580147720 140728580153324 0
/proc/109453/statm: 77064 68300 3616 6655 0 66721 0
[pid=109744] ppid=109453 vsize=80160 memory=63584 CPUtime=1.89 cores=5,7
/proc/109744/stat : 109744 (Exact) R 109453 109744 109744 0 -1 4194304 16198 0 0 0 186 3 0 0 20 0 1 0 139475814 82083840 15896 18446744073709551615 4198400 8335837 140728458895264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 26234880 140728458897586 140728458897947 140728458897947 140728458903503 0
/proc/109744/statm: 20040 15896 1088 1011 0 18807 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 388416 KiB
Current children cumulated memory: 336784 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1820.93
CPU time (s): 3602.07
CPU user time (s): 3601.24
CPU system time (s): 0.829225
CPU usage (%): 197.815
Max. virtual memory (cumulated for all children) (KiB): 388416
Max. memory (cumulated for all children) (KiB): 336784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3601.24
system time used= 0.829225
maximum resident set size= 289228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236983
page faults= 0
swaps= 0
block input operations= 6288
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 489
involuntary context switches= 35376
# summary of solver processes directly reported to runsolver:
# pid: 109453
# total CPU time (s): 3602.07
# total CPU user time (s): 3601.24
# total CPU system time (s): 0.829225
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.13166 second user time and 8.98796 second system time
The end
Begin job on nodeC006 at 2025-07-11 14:15:45
IDJOB=4527794
IDBENCH=180374
IDSOLVER=3384
FILE ID=nodeC006/4527794-1752236145
RUNJOBID= nodeC006-1752232205-108168
SLURM_JOB_ID= 9682517
Free space on /tmp= 431456 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_32_label3_adversarial_norm_inf.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527794-1752236145/watcher-4527794-1752236145 -o /tmp/evaluation-result-4527794-1752236145/solver-4527794-1752236145 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752232205-108168 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527794-1752236145.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6cb38b401990639cbd6e40c3a4829a77
RANDOM SEED=898377257
nodeC006 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 : 3491.626
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.32
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 : 3491.701
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.32
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 : 3491.692
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.32
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.444
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.32
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.190
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.32
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 : 1197.393
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.32
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.138
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.32
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 : 1197.146
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 81373868 kB
MemAvailable: 84201924 kB
Buffers: 2128 kB
Cached: 3590600 kB
SwapCached: 12 kB
Active: 46055936 kB
Inactive: 3122004 kB
Active(anon): 45592168 kB
Inactive(anon): 10992 kB
Active(file): 463768 kB
Inactive(file): 3111012 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47808 kB
Writeback: 4 kB
AnonPages: 45572720 kB
Mapped: 142296 kB
Shmem: 17948 kB
KReclaimable: 185424 kB
Slab: 274392 kB
SReclaimable: 185424 kB
SUnreclaim: 88968 kB
KernelStack: 4112 kB
PageTables: 93572 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 51831096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149512 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 32018432 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431932 MiB
End job on nodeC006 at 2025-07-11 14:46:07