69.21/40.06 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
69.21/40.06 c numVar: 601
69.21/40.06 c numCon: 838
69.21/40.06 c numEqual: 0
69.21/40.06 c intSize: 3
69.21/40.06 c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
69.21/40.06 c ------------------- Paras list -------------------
69.21/40.06 c Name Type Now Default Comment
69.21/40.06 c timeout double 3600.000000 3600
69.21/40.06 c mip_time double 0.200000 0.5
69.21/40.06 c ls_time double 10.000000 10
69.21/40.06 c safe_mode int 1 1 1 trust; 2 feasible
69.21/40.06 c mip_emphasis int 5 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
69.21/40.06 c random_seed int 0 0
69.21/40.06 c sample_size int 50 50
69.21/40.06 c sub_score int 1 1
69.21/40.06 c tabu_base int 3 3
69.21/40.06 c tabu_variation int 1 1
69.21/40.06 c sub_div int 4 4
69.21/40.06 c nbcore int 2 1
69.21/40.06 c memlimit int 31000 31744 memory limit in megabytes
69.21/40.06 c print_sol int 1 1
69.21/40.06 c tmpdir string . "."
69.21/40.06 c home string HOME "."
69.21/40.06 c benchname string HOME/instance-4510751-1751137635.opb ""
69.21/40.06 c --------------------------------------------------
69.21/40.06 c Local Search solver
69.21/40.06 c MIP solver
69.21/40.06 c MIP solver infeasible
69.21/40.06 s UNSATISFIABLE
69.21/40.06 c Total time: 40
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (63122 MiB free)
memory of node 1: 64465 MiB (63713 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510751-1751137635/watcher-4510751-1751137635 -o /tmp/evaluation-result-4510751-1751137635/solver-4510751-1751137635 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751133631-11169 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4510751-1751137635.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
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB
solver pid=12271, runsolver pid=12268
[startup+0.100055 s]*
/proc/loadavg: 6.84 6.31 5.53 7/266 12272
/proc/meminfo: memFree=129876220/131250000 swapFree=33010684/33010684
[pid=12271] ppid=12268 vsize=40444 memory=6016 CPUtime=0.09 cores=0,2
/proc/12271/stat : 12271 (LSIPExact) R 12268 12271 11154 0 -1 4194304 474 0 0 0 9 0 0 0 20 0 1 0 29442144 41414656 1504 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
/proc/12271/statm: 10111 1504 1184 6655 0 346 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40444 KiB
Current children cumulated memory: 6016 KiB
[startup+0.205104 s]*
/proc/loadavg: 6.84 6.31 5.53 7/266 12272
/proc/meminfo: memFree=129877064/131250000 swapFree=33010684/33010684
[pid=12271] ppid=12268 vsize=40444 memory=6016 CPUtime=0.2 cores=0,2
/proc/12271/stat : 12271 (LSIPExact) R 12268 12271 11154 0 -1 4194304 474 0 0 0 20 0 0 0 20 0 1 0 29442144 41414656 1504 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
/proc/12271/statm: 10111 1504 1184 6655 0 346 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40444 KiB
Current children cumulated memory: 6016 KiB
[startup+0.304474 s]*
/proc/loadavg: 6.84 6.31 5.53 7/266 12272
/proc/meminfo: memFree=129877064/131250000 swapFree=33010684/33010684
[pid=12271] ppid=12268 vsize=40444 memory=6016 CPUtime=0.3 cores=0,2
/proc/12271/stat : 12271 (LSIPExact) R 12268 12271 11154 0 -1 4194304 474 0 0 0 30 0 0 0 20 0 1 0 29442144 41414656 1504 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
/proc/12271/statm: 10111 1504 1184 6655 0 346 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40444 KiB
Current children cumulated memory: 6016 KiB
[startup+0.700099 s]
/proc/loadavg: 6.84 6.31 5.53 7/266 12272
/proc/meminfo: memFree=129877484/131250000 swapFree=33010684/33010684
[pid=12271] ppid=12268 vsize=40444 memory=6016 CPUtime=0.69 cores=0,2
/proc/12271/stat : 12271 (LSIPExact) R 12268 12271 11154 0 -1 4194304 474 0 0 0 69 0 0 0 20 0 1 0 29442144 41414656 1504 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
/proc/12271/statm: 10111 1504 1184 6655 0 346 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40444 KiB
Current children cumulated memory: 6016 KiB
[startup+1.50009 s]
/proc/loadavg: 6.84 6.31 5.53 7/266 12272
/proc/meminfo: memFree=129877484/131250000 swapFree=33010684/33010684
[pid=12271] ppid=12268 vsize=40444 memory=6016 CPUtime=1.49 cores=0,2
/proc/12271/stat : 12271 (LSIPExact) R 12268 12271 11154 0 -1 4194304 474 0 0 0 149 0 0 0 20 0 1 0 29442144 41414656 1504 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
/proc/12271/statm: 10111 1504 1184 6655 0 346 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40444 KiB
Current children cumulated memory: 6016 KiB
[startup+3.10453 s]
/proc/loadavg: 6.78 6.31 5.53 7/266 12272
/proc/meminfo: memFree=129877496/131250000 swapFree=33010684/33010684
[pid=12271] ppid=12268 vsize=40444 memory=6016 CPUtime=3.09 cores=0,2
/proc/12271/stat : 12271 (LSIPExact) R 12268 12271 11154 0 -1 4194304 474 0 0 0 309 0 0 0 20 0 1 0 29442144 41414656 1504 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
/proc/12271/statm: 10111 1504 1184 6655 0 346 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40444 KiB
Current children cumulated memory: 6016 KiB
[startup+6.30009 s]
/proc/loadavg: 6.78 6.31 5.53 7/266 12272
/proc/meminfo: memFree=129877444/131250000 swapFree=33010684/33010684
[pid=12271] ppid=12268 vsize=40444 memory=6016 CPUtime=6.28 cores=0,2
/proc/12271/stat : 12271 (LSIPExact) R 12268 12271 11154 0 -1 4194304 474 0 0 0 628 0 0 0 20 0 1 0 29442144 41414656 1504 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
/proc/12271/statm: 10111 1504 1184 6655 0 346 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 40444 KiB
Current children cumulated memory: 6016 KiB
[startup+12.7001 s]
/proc/loadavg: 6.71 6.30 5.54 8/267 12274
/proc/meminfo: memFree=129872200/131250000 swapFree=33010684/33010684
[pid=12271] ppid=12268 vsize=123328 memory=27108 CPUtime=15.32 cores=0,2
/proc/12271/stat : 12271 (LSIPExact) R 12268 12271 11154 0 -1 4194304 3083 0 0 0 1532 0 0 0 20 0 2 0 29442144 126287872 6777 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
/proc/12271/statm: 30832 6777 3520 6655 0 5190 0
[pid=12271/tid=12274] ppid=12268 vsize=123328 memory=6384 CPUtime=2.66 cores=0,2
/proc/12271/task/12274/stat : 12274 (LSIPExact) R 12268 12271 11154 0 -1 4194368 554 0 0 0 266 0 0 0 20 0 2 0 29443145 126287872 6777 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
Current children cumulated CPU time: 15.32 s
Current children cumulated vsize: 123328 KiB
Current children cumulated memory: 27108 KiB
[startup+25.5001 s]
/proc/loadavg: 6.78 6.34 5.56 8/267 12274
/proc/meminfo: memFree=129870184/131250000 swapFree=33010684/33010684
[pid=12271] ppid=12268 vsize=123328 memory=27236 CPUtime=40.81 cores=0,2
/proc/12271/stat : 12271 (LSIPExact) R 12268 12271 11154 0 -1 4194304 5423 0 0 0 4080 1 0 0 20 0 2 0 29442144 126287872 6809 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
/proc/12271/statm: 30832 6809 3520 6655 0 5237 0
[pid=12271/tid=12274] ppid=12268 vsize=123328 memory=27108 CPUtime=15.36 cores=0,2
/proc/12271/task/12274/stat : 12274 (LSIPExact) R 12268 12271 11154 0 -1 4194368 1479 0 0 0 1536 0 0 0 20 0 2 0 29443145 126287872 6809 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
Current children cumulated CPU time: 40.81 s
Current children cumulated vsize: 123328 KiB
Current children cumulated memory: 27236 KiB
[startup+40.0695 s]
# the end of solver process 12271 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=69.3036 s, system=0.017918 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 6.78 6.34 5.56 8/267 12274
/proc/meminfo: memFree=129870184/131250000 swapFree=33010684/33010684
[pid=12271] ppid=12268 vsize=123328 memory=27236 CPUtime=41.01 cores=0,2
/proc/12271/stat : 12271 (LSIPExact) R 12268 12271 11154 0 -1 4194304 5424 0 0 0 4100 1 0 0 20 0 2 0 29442144 126287872 6809 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
/proc/12271/statm: 30832 6809 3520 6655 0 5237 0
[pid=12271/tid=12274] ppid=12268 vsize=123328 memory=17280 CPUtime=15.46 cores=0,2
/proc/12271/task/12274/stat : 12274 (LSIPExact) R 12268 12271 11154 0 -1 4194368 1480 0 0 0 1546 0 0 0 20 0 2 0 29443145 126287872 6809 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
Current children cumulated CPU time: 41.01 s
Current children cumulated vsize: 123328 KiB
Current children cumulated memory: 27236 KiB
[startup+32.0001 s]*
/proc/loadavg: 6.80 6.35 5.57 8/267 12274
/proc/meminfo: memFree=129869680/131250000 swapFree=33010684/33010684
[pid=12271] ppid=12268 vsize=123668 memory=27876 CPUtime=53.28 cores=0,2
/proc/12271/stat : 12271 (LSIPExact) R 12268 12271 11154 0 -1 4194304 6650 0 0 0 5327 1 0 0 20 0 2 0 29442144 126636032 6969 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
/proc/12271/statm: 30917 6969 3520 6655 0 5368 0
[pid=12271/tid=12274] ppid=12268 vsize=123668 memory=-6298401097483653471 CPUtime=21.35 cores=0,2
/proc/12271/task/12274/stat : 12274 (LSIPExact) R 12268 12271 11154 0 -1 4194368 1619 0 0 0 2135 0 0 0 20 0 2 0 29443145 126636032 6969 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
Current children cumulated CPU time: 53.28 s
Current children cumulated vsize: 123668 KiB
Current children cumulated memory: 27876 KiB
[startup+35.2001 s]
/proc/loadavg: 6.81 6.36 5.58 8/267 12274
/proc/meminfo: memFree=129869680/131250000 swapFree=33010684/33010684
[pid=12271] ppid=12268 vsize=123668 memory=27876 CPUtime=59.65 cores=0,2
/proc/12271/stat : 12271 (LSIPExact) R 12268 12271 11154 0 -1 4194304 6650 0 0 0 5964 1 0 0 20 0 2 0 29442144 126636032 6969 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
/proc/12271/statm: 30917 6969 3520 6655 0 5368 0
[pid=12271/tid=12274] ppid=12268 vsize=123668 memory=27876 CPUtime=24.53 cores=0,2
/proc/12271/task/12274/stat : 12274 (LSIPExact) R 12268 12271 11154 0 -1 4194368 1619 0 0 0 2453 0 0 0 20 0 2 0 29443145 126636032 6969 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
Current children cumulated CPU time: 59.65 s
Current children cumulated vsize: 123668 KiB
Current children cumulated memory: 27876 KiB
[startup+38.4001 s]
/proc/loadavg: 6.83 6.37 5.58 8/266 12274
/proc/meminfo: memFree=129869688/131250000 swapFree=33010684/33010684
[pid=12271] ppid=12268 vsize=123668 memory=28004 CPUtime=66.02 cores=0,2
/proc/12271/stat : 12271 (LSIPExact) R 12268 12271 11154 0 -1 4194304 6661 0 0 0 6601 1 0 0 20 0 2 0 29442144 126636032 7001 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
/proc/12271/statm: 30917 7001 3520 6655 0 5373 0
[pid=12271/tid=12274] ppid=12268 vsize=123668 memory=17280 CPUtime=27.71 cores=0,2
/proc/12271/task/12274/stat : 12274 (LSIPExact) R 12268 12271 11154 0 -1 4194368 1630 0 0 0 2771 0 0 0 20 0 2 0 29443145 126636032 7001 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
Current children cumulated CPU time: 66.02 s
Current children cumulated vsize: 123668 KiB
Current children cumulated memory: 28004 KiB
[startup+39.2001 s]
/proc/loadavg: 6.83 6.37 5.58 8/266 12274
/proc/meminfo: memFree=129863892/131250000 swapFree=33010684/33010684
[pid=12271] ppid=12268 vsize=123668 memory=28004 CPUtime=67.61 cores=0,2
/proc/12271/stat : 12271 (LSIPExact) R 12268 12271 11154 0 -1 4194304 6662 0 0 0 6760 1 0 0 20 0 2 0 29442144 126636032 7001 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
/proc/12271/statm: 30917 7001 3520 6655 0 5374 0
[pid=12271/tid=12274] ppid=12268 vsize=123668 memory=14720 CPUtime=28.5 cores=0,2
/proc/12271/task/12274/stat : 12274 (LSIPExact) R 12268 12271 11154 0 -1 4194368 1631 0 0 0 2850 0 0 0 20 0 2 0 29443145 126636032 7001 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
Current children cumulated CPU time: 67.61 s
Current children cumulated vsize: 123668 KiB
Current children cumulated memory: 28004 KiB
[startup+39.6001 s]
/proc/loadavg: 6.83 6.37 5.58 8/266 12274
/proc/meminfo: memFree=129863892/131250000 swapFree=33010684/33010684
[pid=12271] ppid=12268 vsize=123668 memory=28004 CPUtime=68.41 cores=0,2
/proc/12271/stat : 12271 (LSIPExact) R 12268 12271 11154 0 -1 4194304 6670 0 0 0 6840 1 0 0 20 0 2 0 29442144 126636032 7001 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
/proc/12271/statm: 30917 7001 3520 6655 0 5382 0
[pid=12271/tid=12274] ppid=12268 vsize=123668 memory=17280 CPUtime=28.9 cores=0,2
/proc/12271/task/12274/stat : 12274 (LSIPExact) R 12268 12271 11154 0 -1 4194368 1639 0 0 0 2890 0 0 0 20 0 2 0 29443145 126636032 7001 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
Current children cumulated CPU time: 68.41 s
Current children cumulated vsize: 123668 KiB
Current children cumulated memory: 28004 KiB
[startup+40.0001 s]*
/proc/loadavg: 6.83 6.37 5.58 8/266 12274
/proc/meminfo: memFree=129851796/131250000 swapFree=33010684/33010684
[pid=12271] ppid=12268 vsize=128344 memory=32996 CPUtime=69.21 cores=0,2
/proc/12271/stat : 12271 (LSIPExact) R 12268 12271 11154 0 -1 4194304 8017 0 0 0 6920 1 0 0 20 0 2 0 29442144 131424256 8249 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
/proc/12271/statm: 32086 8249 3520 6655 0 6551 0
[pid=12271/tid=12274] ppid=12268 vsize=128344 memory=-6298401097483653471 CPUtime=29.3 cores=0,2
/proc/12271/task/12274/stat : 12274 (LSIPExact) R 12268 12271 11154 0 -1 4194368 1639 0 0 0 2930 0 0 0 20 0 2 0 29443145 131424256 8249 18446744073709551615 94840011390976 94840038647377 140731991002592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94840047150216 94840047581824 94840079122432 140731991005530 140731991005706 140731991005706 140731991011308 0
Current children cumulated CPU time: 69.21 s
Current children cumulated vsize: 128344 KiB
Current children cumulated memory: 32996 KiB
Child status: 0
Real time (s): 40.0695
CPU time (s): 69.3216
CPU user time (s): 69.3036
CPU system time (s): 0.017918
CPU usage (%): 173.003
Max. virtual memory (cumulated for all children) (KiB): 128344
Max. memory (cumulated for all children) (KiB): 32996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.3037
system time used= 0.017918
maximum resident set size= 33124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8442
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= 108
involuntary context switches= 628
# summary of solver processes directly reported to runsolver:
# pid: 12271
# total CPU time (s): 69.3216
# total CPU user time (s): 69.3036
# total CPU system time (s): 0.017918
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.090023 second user time and 0.146273 second system time
The end
Begin job on nodeC026 at 2025-06-28 21:07:15
IDJOB=4510751
IDBENCH=160385
IDSOLVER=3336
FILE ID=nodeC026/4510751-1751137635
RUNJOBID= nodeC026-1751133631-11169
SLURM_JOB_ID= 9587426
Free space on /tmp= 432928 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x60split.cnf-extracted.pb.metafix.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510751-1751137635/watcher-4510751-1751137635 -o /tmp/evaluation-result-4510751-1751137635/solver-4510751-1751137635 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751133631-11169 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4510751-1751137635.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 31f6aff17a47c209cb9ee9a70845e10e
RANDOM SEED=1434631096
nodeC026 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 : 3523.529
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.59
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.786
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.59
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.778
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.59
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 : 3545.799
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.788
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.788
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.59
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.785
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.791
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129880316 kB
MemAvailable: 129602396 kB
Buffers: 3280 kB
Cached: 533904 kB
SwapCached: 0 kB
Active: 465216 kB
Inactive: 327192 kB
Active(anon): 273304 kB
Inactive(anon): 0 kB
Active(file): 191912 kB
Inactive(file): 327192 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44668 kB
Writeback: 4 kB
AnonPages: 258344 kB
Mapped: 143148 kB
Shmem: 18080 kB
KReclaimable: 84428 kB
Slab: 166896 kB
SReclaimable: 84428 kB
SUnreclaim: 82468 kB
KernelStack: 4288 kB
PageTables: 3624 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 618764 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 112640 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432884 MiB
End job on nodeC026 at 2025-06-28 21:07:55