Trace number 4546257

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SynLSCD-PS 2025-07-23? (TO) 3600.1 3610.01

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820157.opb
MD5SUM9baf2ba48863e92d1cef7cf6d2cd6be7
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark207.372
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1200
Total number of constraints1015
Number of constraints which are clauses835
Number of constraints which are cardinality constraints (but not clauses)180
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.87	c intsize: 5
0.03/0.90	c 1135 constraints
0.03/0.90	c Finish cloning data from SAT to LS
0.03/0.90	c restart_num_ls  -100000 0
25.07/26.04	c Use LS-small
25.07/26.04	c update_LS_target_phase-runLS-restart
39.34/40.39	c restart_num  0 349
39.34/40.39	c LS-restart 90 82
64.28/65.39	c Use LS-small
64.28/65.39	c update_LS_target_phase-runLS-restart
94.52/95.67	c restart_num  349 840
94.52/95.67	c LS-restart 80 61
119.97/121.15	c Use LS-small
119.97/121.15	c update_LS_target_phase-runLS-restart
160.96/162.22	c restart_num_ls  840 1343
160.96/162.22	c LS 70 81
185.71/187.08	c Use LS-small
185.71/187.08	c update_LS_target_phase-runLS-restart
219.51/220.99	c restart_num_ls  1343 1865
219.51/220.99	c LS 60 15
244.34/245.87	c Use LS-small
244.34/245.87	c update_LS_target_phase-runLS-restart
314.73/316.49	c restart_num_ls  1865 2490
314.73/316.49	c LS 50 78
339.77/341.54	c Use LS-small
339.77/341.54	c update_LS_target_phase-runLS-restart
375.49/377.32	c restart_num_ls  2490 3033
375.49/377.32	c LS 40 21
400.44/402.36	c Use LS-small
400.44/402.36	c update_LS_target_phase-runLS-restart
445.33/447.34	c restart_num_ls  3033 3545
445.33/447.34	c LS 30 31
470.27/472.39	c Use LS-small
470.27/472.39	c update_LS_target_phase-runLS-restart
495.21/497.35	c restart_num  3545 3858
495.21/497.35	c LS-restart 20 13
520.06/522.24	c Use LS-small
520.06/522.24	c update_LS_target_phase-runLS-restart
620.52/622.94	c restart_num_ls  3858 4395
620.52/622.94	c LS 10 76
645.36/647.83	c Use LS-small
645.36/647.83	c update_LS_target_phase-runLS-restart
679.77/682.34	c restart_num_ls  4395 4905
704.61/707.20	c Use LS-small
704.61/707.20	c update_LS_target_phase-runLS-restart
749.72/752.47	c restart_num_ls  4905 5409
774.16/776.90	c Use LS-small
774.16/776.90	c update_LS_target_phase-runLS-restart
812.46/815.33	c restart_num_ls  5409 5968
836.91/839.88	c Use LS-small
836.91/839.88	c update_LS_target_phase-runLS-restart
909.64/912.72	c restart_num_ls  5968 6551
934.00/937.17	c Use LS-small
934.00/937.17	c update_LS_target_phase-runLS-restart
972.81/976.04	c restart_num_ls  6551 7112
997.65/1000.98	c Use LS-small
997.65/1000.98	c update_LS_target_phase-runLS-restart
1044.14/1047.59	c restart_num_ls  7112 7666
1068.89/1072.36	c Use LS-small
1068.89/1072.36	c update_LS_target_phase-runLS-restart
1109.69/1113.22	c restart_num_ls  7666 8186
1138.93/1142.53	c Use LS-small
1138.93/1142.53	c update_LS_target_phase-runLS-restart
1317.11/1321.13	c restart_num_ls  8186 8697
1341.85/1345.97	c Use LS-small
1341.85/1345.97	c update_LS_target_phase-runLS-restart
1376.88/1381.07	c restart_num_ls  8697 9208
1401.62/1405.85	c Use LS-small
1401.62/1405.85	c update_LS_target_phase-runLS-restart
1449.20/1453.59	c restart_num_ls  9208 9723
1474.55/1478.98	c Use LS-small
1474.55/1478.98	c update_LS_target_phase-runLS-restart
1515.86/1520.30	c restart_num_ls  9723 10235
1542.51/1547.03	c Use LS-small
1542.51/1547.03	c update_LS_target_phase-runLS-restart
1602.26/1606.96	c restart_num_ls  10235 10748
1630.49/1635.25	c Use LS-small
1630.49/1635.25	c update_LS_target_phase-runLS-restart
1663.52/1668.30	c restart_num_ls  10748 11259
1690.46/1695.36	c Use LS-small
1690.46/1695.36	c update_LS_target_phase-runLS-restart
1728.36/1733.30	c restart_num_ls  11259 11768
1753.21/1758.27	c Use LS-small
1753.21/1758.27	c update_LS_target_phase-runLS-restart
1790.11/1795.28	c restart_num_ls  11768 12273
1814.85/1820.05	c Use LS-small
1814.85/1820.05	c update_LS_target_phase-runLS-restart
1919.13/1924.66	c restart_num_ls  12273 12795
1944.67/1950.28	c Use LS-small
1944.67/1950.28	c update_LS_target_phase-runLS-restart
1984.94/1990.61	c restart_num_ls  12795 13308
2019.26/2025.04	c Use LS-small
2019.26/2025.04	c update_LS_target_phase-runLS-restart
2046.57/2052.49	c restart_num_ls  13308 13812
2071.50/2077.46	c Use LS-small
2071.50/2077.46	c update_LS_target_phase-runLS-restart
2111.88/2117.99	c restart_num_ls  13812 14330
2141.40/2147.52	c Use LS-small
2141.40/2147.52	c update_LS_target_phase-runLS-restart
2198.24/2204.56	c restart_num_ls  14330 14841
2223.96/2230.32	c Use LS-small
2223.96/2230.32	c update_LS_target_phase-runLS-restart
2258.37/2264.80	c restart_num_ls  14841 15352
2286.19/2292.79	c Use LS-small
2286.19/2292.79	c update_LS_target_phase-runLS-restart
2325.67/2332.39	c restart_num_ls  15352 15863
2351.00/2357.77	c Use LS-small
2351.00/2357.77	c update_LS_target_phase-runLS-restart
2392.58/2399.48	c restart_num_ls  15863 16377
2419.80/2426.78	c Use LS-small
2419.80/2426.78	c update_LS_target_phase-runLS-restart
2765.85/2773.62	c restart_num_ls  16377 16893
2790.50/2798.36	c Use LS-small
2790.50/2798.36	c update_LS_target_phase-runLS-restart
2819.52/2827.45	c restart_num_ls  16893 17403
2846.37/2854.37	c Use LS-small
2846.37/2854.37	c update_LS_target_phase-runLS-restart
2889.36/2897.42	c restart_num_ls  17403 17913
2914.51/2922.65	c Use LS-small
2914.51/2922.65	c update_LS_target_phase-runLS-restart
2953.71/2961.90	c restart_num_ls  17913 18426
2980.65/2988.90	c Use LS-small
2980.65/2988.90	c update_LS_target_phase-runLS-restart
3052.68/3061.11	c restart_num_ls  18426 18947
3077.52/3086.02	c Use LS-small
3077.52/3086.02	c update_LS_target_phase-runLS-restart
3106.15/3114.71	c restart_num_ls  18947 19449
3131.40/3140.05	c Use LS-small
3131.40/3140.05	c update_LS_target_phase-runLS-restart
3188.96/3197.70	c restart_num_ls  19449 20063
3213.60/3222.43	c Use LS-small
3213.60/3222.43	c update_LS_target_phase-runLS-restart
3328.16/3337.37	c restart_num_ls  20063 20704
3352.99/3362.23	c Use LS-small
3352.99/3362.23	c update_LS_target_phase-runLS-restart
3389.69/3399.03	c restart_num_ls  20704 21241
3414.72/3424.17	c Use LS-small
3414.72/3424.17	c update_LS_target_phase-runLS-restart
3460.78/3470.34	c restart_num_ls  21241 21753
3485.52/3495.16	c Use LS-small
3485.52/3495.16	c update_LS_target_phase-runLS-restart
3524.90/3534.64	c restart_num_ls  21753 22266
3551.23/3561.10	c Use LS-small
3551.23/3561.10	c update_LS_target_phase-runLS-restart
3600.09/3610.00	c Program interrupted by user.
3600.09/3610.00	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62342 MiB free)
  memory of node 1: 64507 MiB (63636 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546257-1753259762/watcher-4546257-1753259762 -o /tmp/evaluation-result-4546257-1753259762/solver-4546257-1753259762 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1753259701-169215 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546257-1753259762.opb 

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=169557, runsolver pid=169551

[startup+0.100061 s]*
/proc/loadavg: 3.15 0.99 0.40 1/260 169560
/proc/meminfo: memFree=129003116/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=7416 memory=256 CPUtime=0 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) D 169551 169557 169195 0 -1 4456448 70 0 0 0 0 0 0 0 20 0 1 0 241654751 7593984 64 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 1854 64 64 595 0 1040 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 7416 KiB
Current children cumulated memory: 256 KiB

[startup+0.205427 s]*
/proc/loadavg: 3.15 0.99 0.40 1/260 169560
/proc/meminfo: memFree=129003116/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=17104 memory=512 CPUtime=0 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) D 169551 169557 169195 0 -1 4456448 82 0 0 0 0 0 0 0 20 0 1 0 241654751 17514496 128 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 4276 128 128 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 512 KiB

[startup+0.304684 s]*
/proc/loadavg: 3.15 0.99 0.40 2/258 169561
/proc/meminfo: memFree=129003116/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=17104 memory=512 CPUtime=0 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) D 169551 169557 169195 0 -1 4456448 82 0 0 0 0 0 0 0 20 0 1 0 241654751 17514496 128 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 4276 128 128 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 512 KiB

[startup+0.700171 s]
/proc/loadavg: 3.15 0.99 0.40 1/256 169562
/proc/meminfo: memFree=129002972/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=17104 memory=512 CPUtime=0 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) D 169551 169557 169195 0 -1 4456448 82 0 0 0 0 0 0 0 20 0 1 0 241654751 17514496 128 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 4276 128 128 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 512 KiB

[startup+1.5001 s]
/proc/loadavg: 3.30 1.05 0.42 2/255 169562
/proc/meminfo: memFree=128983172/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=97428 memory=24448 CPUtime=0.63 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 4001 0 0 0 62 1 0 0 20 0 1 0 241654751 99766272 6112 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 24357 6112 2432 595 0 9024 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 97428 KiB
Current children cumulated memory: 24448 KiB

[startup+3.10518 s]
/proc/loadavg: 3.30 1.05 0.42 4/262 169575
/proc/meminfo: memFree=128972872/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=97428 memory=24448 CPUtime=2.23 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 4001 0 0 0 222 1 0 0 20 0 1 0 241654751 99766272 6112 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 24357 6112 2432 595 0 9024 0
Current children cumulated CPU time: 2.23 s
Current children cumulated vsize: 97428 KiB
Current children cumulated memory: 24448 KiB
heavy processes:

[startup+6.3001 s]
/proc/loadavg: 3.36 1.10 0.44 5/266 169589
/proc/meminfo: memFree=128944348/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=97428 memory=24448 CPUtime=5.42 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 4001 0 0 0 541 1 0 0 20 0 1 0 241654751 99766272 6112 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 24357 6112 2432 595 0 9024 0
Current children cumulated CPU time: 5.42 s
Current children cumulated vsize: 97428 KiB
Current children cumulated memory: 24448 KiB

[startup+12.7001 s]
/proc/loadavg: 3.41 1.15 0.46 5/266 169589
/proc/meminfo: memFree=128910864/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=97428 memory=24960 CPUtime=11.8 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 4005 0 0 0 1179 1 0 0 20 0 1 0 241654751 99766272 6240 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 24357 6240 2432 595 0 9024 0
Current children cumulated CPU time: 11.8 s
Current children cumulated vsize: 97428 KiB
Current children cumulated memory: 24960 KiB

[startup+25.5001 s]
/proc/loadavg: 3.50 1.24 0.50 5/266 169635
/proc/meminfo: memFree=128903020/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=97428 memory=24960 CPUtime=24.57 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 4007 0 0 0 2456 1 0 0 20 0 1 0 241654751 99766272 6240 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 24357 6240 2432 595 0 9024 0
Current children cumulated CPU time: 24.57 s
Current children cumulated vsize: 97428 KiB
Current children cumulated memory: 24960 KiB

[startup+51.1052 s]
/proc/loadavg: 3.75 1.52 0.62 5/266 169725
/proc/meminfo: memFree=128843780/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=100604 memory=32716 CPUtime=50.12 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 7179 0 0 0 5000 12 0 0 20 0 1 0 241654751 103018496 8179 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 25151 8179 2464 595 0 9818 0
Current children cumulated CPU time: 50.12 s
Current children cumulated vsize: 100604 KiB
Current children cumulated memory: 32716 KiB

[startup+102.3 s]
/proc/loadavg: 3.95 1.92 0.80 5/267 169728
/proc/meminfo: memFree=128770212/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=102268 memory=34128 CPUtime=101.2 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 10789 0 0 0 10089 31 0 0 20 0 1 0 241654751 104722432 8532 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 25567 8532 2464 595 0 10234 0
Current children cumulated CPU time: 101.2 s
Current children cumulated vsize: 102268 KiB
Current children cumulated memory: 34128 KiB

[startup+162.3 s]
/proc/loadavg: 4.02 2.32 1.01 5/267 169775
/proc/meminfo: memFree=128751272/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=103304 memory=35164 CPUtime=161.06 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 15083 0 0 0 16047 59 0 0 20 0 1 0 241654751 105783296 8791 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 25826 8791 2464 595 0 10493 0
Current children cumulated CPU time: 161.06 s
Current children cumulated vsize: 103304 KiB
Current children cumulated memory: 35164 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 2.66 1.21 5/267 169777
/proc/meminfo: memFree=128761140/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=103440 memory=35444 CPUtime=220.9 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 18511 0 0 0 22009 81 0 0 20 0 1 0 241654751 105922560 8861 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 25860 8861 2464 595 0 10527 0
Current children cumulated CPU time: 220.9 s
Current children cumulated vsize: 103440 KiB
Current children cumulated memory: 35444 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.92 1.39 5/266 169824
/proc/meminfo: memFree=128767052/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=104380 memory=36248 CPUtime=280.73 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 21494 0 0 0 27968 105 0 0 20 0 1 0 241654751 106885120 9062 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 26095 9062 2464 595 0 10762 0
Current children cumulated CPU time: 280.73 s
Current children cumulated vsize: 104380 KiB
Current children cumulated memory: 36248 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.15 1.57 5/265 169826
/proc/meminfo: memFree=128763020/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=104704 memory=38744 CPUtime=340.57 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 24324 0 0 0 33928 129 0 0 20 0 1 0 241654751 107216896 9686 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 26176 9686 2464 595 0 10843 0
Current children cumulated CPU time: 340.57 s
Current children cumulated vsize: 104704 KiB
Current children cumulated memory: 38744 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.32 1.73 5/264 169828
/proc/meminfo: memFree=128731068/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=104904 memory=38948 CPUtime=400.44 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 27272 0 0 0 39893 151 0 0 20 0 1 0 241654751 107421696 9737 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 26226 9737 2464 595 0 10893 0
Current children cumulated CPU time: 400.44 s
Current children cumulated vsize: 104904 KiB
Current children cumulated memory: 38948 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.46 1.88 5/264 169831
/proc/meminfo: memFree=128723960/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=105268 memory=39308 CPUtime=460.29 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 30931 0 0 0 45846 183 0 0 20 0 1 0 241654751 107794432 9827 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0

################
# More data... #
################

Current children cumulated memory: 45904 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 3.97 5/264 170197
/proc/meminfo: memFree=128513380/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=111924 memory=45980 CPUtime=2854.34 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 169718 0 0 0 284098 1336 0 0 20 0 1 0 241654751 114610176 11495 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 27981 11495 2464 595 0 12648 0
Current children cumulated CPU time: 2854.34 s
Current children cumulated vsize: 111924 KiB
Current children cumulated memory: 45980 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 3.99 5/264 170199
/proc/meminfo: memFree=128504896/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=111968 memory=46028 CPUtime=2914.2 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 172822 0 0 0 290062 1358 0 0 20 0 1 0 241654751 114655232 11507 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 27992 11507 2464 595 0 12659 0
Current children cumulated CPU time: 2914.2 s
Current children cumulated vsize: 111968 KiB
Current children cumulated memory: 46028 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.00 5/264 170201
/proc/meminfo: memFree=128510156/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=111880 memory=46080 CPUtime=2974.06 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 176390 0 0 0 296023 1383 0 0 20 0 1 0 241654751 114565120 11520 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 27970 11520 2464 595 0 12637 0
Current children cumulated CPU time: 2974.06 s
Current children cumulated vsize: 111880 KiB
Current children cumulated memory: 46080 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.00 5/265 170210
/proc/meminfo: memFree=128514028/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=112172 memory=46228 CPUtime=3033.93 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 180768 0 0 0 301971 1422 0 0 20 0 1 0 241654751 114864128 11557 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 28043 11557 2464 595 0 12710 0
Current children cumulated CPU time: 3033.93 s
Current children cumulated vsize: 112172 KiB
Current children cumulated memory: 46228 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.01 5/265 170213
/proc/meminfo: memFree=128512620/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=112200 memory=46256 CPUtime=3093.78 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 183880 0 0 0 307935 1443 0 0 20 0 1 0 241654751 114892800 11564 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 28050 11564 2464 595 0 12717 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 112200 KiB
Current children cumulated memory: 46256 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/265 170215
/proc/meminfo: memFree=128513180/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=112364 memory=46424 CPUtime=3153.65 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 187009 0 0 0 313902 1463 0 0 20 0 1 0 241654751 115060736 11606 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 28091 11606 2464 595 0 12758 0
Current children cumulated CPU time: 3153.65 s
Current children cumulated vsize: 112364 KiB
Current children cumulated memory: 46424 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.01 5/265 170218
/proc/meminfo: memFree=128504012/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=112400 memory=46464 CPUtime=3213.5 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 190115 0 0 0 319863 1487 0 0 20 0 1 0 241654751 115097600 11616 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 28100 11616 2464 595 0 12767 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 112400 KiB
Current children cumulated memory: 46464 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.01 5/265 170220
/proc/meminfo: memFree=128498192/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=112560 memory=46616 CPUtime=3273.33 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 195114 0 0 0 325805 1528 0 0 20 0 1 0 241654751 115261440 11654 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 28140 11654 2464 595 0 12807 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 112560 KiB
Current children cumulated memory: 46616 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.11 4.02 5/264 170222
/proc/meminfo: memFree=128502596/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=112672 memory=46728 CPUtime=3333.15 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 199330 0 0 0 331748 1567 0 0 20 0 1 0 241654751 115376128 11682 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 28168 11682 2464 595 0 12835 0
Current children cumulated CPU time: 3333.15 s
Current children cumulated vsize: 112672 KiB
Current children cumulated memory: 46728 KiB

[startup+3402.3 s]
/proc/loadavg: 4.35 4.19 4.05 5/264 170225
/proc/meminfo: memFree=128504972/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=112716 memory=46776 CPUtime=3392.98 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 202742 0 0 0 337706 1592 0 0 20 0 1 0 241654751 115421184 11694 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 28179 11694 2464 595 0 12846 0
Current children cumulated CPU time: 3392.98 s
Current children cumulated vsize: 112716 KiB
Current children cumulated memory: 46776 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.17 4.05 5/264 170227
/proc/meminfo: memFree=128507532/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=112772 memory=46828 CPUtime=3452.8 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 206007 0 0 0 343659 1621 0 0 20 0 1 0 241654751 115478528 11707 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 28193 11707 2464 595 0 12860 0
Current children cumulated CPU time: 3452.8 s
Current children cumulated vsize: 112772 KiB
Current children cumulated memory: 46828 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.17 4.06 5/264 170229
/proc/meminfo: memFree=128509264/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=112792 memory=46848 CPUtime=3512.63 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 208959 0 0 0 349617 1646 0 0 20 0 1 0 241654751 115499008 11712 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 28198 11712 2464 595 0 12865 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 112792 KiB
Current children cumulated memory: 46848 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.06 5/263 170230
/proc/meminfo: memFree=128509368/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=112824 memory=46880 CPUtime=3572.46 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 212061 0 0 0 355576 1670 0 0 20 0 1 0 241654751 115531776 11720 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 28206 11720 2464 595 0 12873 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 112824 KiB
Current children cumulated memory: 46880 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.16 4.15 4.06 5/264 170232
/proc/meminfo: memFree=128508900/131250000 swapFree=33010416/33010684
[pid=169557] ppid=169551 vsize=112952 memory=47008 CPUtime=3600.09 cores=5,7
/proc/169557/stat : 169557 (SynLSCD-PS) R 169551 169557 169195 0 -1 4194304 214266 0 0 0 358321 1688 0 0 20 0 1 0 241654751 115662848 11752 18446744073709551615 94903830761472 94903833196889 140734142346480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903833677048 94903833710080 94903845339136 140734142355837 140734142355975 140734142355975 140734142361579 0
/proc/169557/statm: 28238 11752 2464 595 0 12905 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 112952 KiB
Current children cumulated memory: 47008 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.01 s]
# the end of solver process 169557 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3583.22 s, system=16.8834 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0

Real time (s): 3610.01
CPU time (s): 3600.1
CPU user time (s): 3583.22
CPU system time (s): 16.8834
CPU usage (%): 99.7256
Max. virtual memory (cumulated for all children) (KiB): 113504
Max. memory (cumulated for all children) (KiB): 47384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.22
system time used= 16.8834
maximum resident set size= 47520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214299
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= 148
involuntary context switches= 3148


# summary of solver processes directly reported to runsolver:
#   pid: 169557
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3583.22
#   total CPU system time (s): 16.8834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31073 second user time and 13.6622 second system time

The end

Launcher Data

Begin job on nodeC018 at 2025-07-23 10:36:05
IDJOB=4546257
IDBENCH=155406
IDSOLVER=3422
FILE ID=nodeC018/4546257-1753259762
RUNJOBID= nodeC018-1753259701-169215
SLURM_JOB_ID= 9689173
Free space on /tmp= 433012 MiB

SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB11/DEC-LIN/heinz/normalized-neos-820157.opb
COMMAND LINE= ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4546257-1753259762/watcher-4546257-1753259762 -o /tmp/evaluation-result-4546257-1753259762/solver-4546257-1753259762 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1753259701-169215 --watchdog 3760  ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546257-1753259762.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 9baf2ba48863e92d1cef7cf6d2cd6be7
RANDOM SEED=381433518

nodeC018 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		: 1200.378
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.66
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		: 3600.319
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.66
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		: 1192.318
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.66
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		: 1946.109
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.66
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		: 1199.893
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.66
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		: 3597.460
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.66
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		: 1199.196
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.66
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.838
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129006312 kB
MemAvailable:   129632280 kB
Buffers:            2128 kB
Cached:          1376180 kB
SwapCached:           28 kB
Active:          1146540 kB
Inactive:         297948 kB
Active(anon):      92140 kB
Inactive(anon):      284 kB
Active(file):    1054400 kB
Inactive(file):   297664 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3840 kB
Writeback:             0 kB
AnonPages:         69360 kB
Mapped:           108860 kB
Shmem:             26240 kB
KReclaimable:     225884 kB
Slab:             322072 kB
SReclaimable:     225884 kB
SUnreclaim:        96188 kB
KernelStack:        4112 kB
PageTables:         2948 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     341956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433000 MiB
End job on nodeC018 at 2025-07-23 11:36:19