Trace number 4545747

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 2025-07-23? (TO) 3600.48 3612.67

General information on the benchmark

NamePB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_10-sat.opb
MD5SUMbe0542d3b59031398d11b8d8792cc86e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22022
Total number of constraints69919
Number of constraints which are clauses69439
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints480
Minimum length of a constraint1
Maximum length of a constraint90
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 26
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 535
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.36/0.78	c #vars 22022 #constraints 53047 2.40882 1
0.36/0.78	c intsize: 10
1.15/1.54	c 53047 constraints
1.15/1.54	c Finish cloning data from SAT to LS
1.15/1.54	c restart_num_ls  -100000 0
63.43/64.01	c Use LS-small
63.43/64.01	restart_num  0 301
63.43/64.02	c LS-restart 90 70
170.59/171.58	c Use LS-small
170.59/171.58	restart_num  301 602
170.59/171.58	c LS-restart 80 30
253.94/255.12	c Use LS-small
253.94/255.12	restart_num  602 903
253.94/255.12	c LS-restart 70 97
396.27/397.93	c Use LS-small
396.27/397.93	restart_num  903 1204
396.27/397.93	c LS-restart 60 7
481.30/483.22	c Use LS-small
481.30/483.22	restart_num  1204 1505
481.30/483.22	c LS-restart 50 5
586.06/588.32	c Use LS-small
586.06/588.32	restart_num  1505 1806
586.06/588.32	c LS-restart 40 26
894.56/897.86	c Use LS-small
894.56/897.86	restart_num  1806 2107
894.56/897.86	c LS-restart 30 43
894.56/897.86	c similarity no use LS 0.973844
979.50/983.07	restart_num  2107 2408
979.50/983.07	c LS-restart 30 46
1087.85/1091.71	c Use LS-small
1087.85/1091.71	restart_num  2408 2710
1087.85/1091.71	c LS-restart 20 48
1176.98/1181.12	c Use LS-small
1176.98/1181.12	restart_num  2710 3011
1176.98/1181.12	c LS-restart 10 75
1342.49/1347.13	c Use LS-small
1342.49/1347.13	restart_num  3011 3312
1502.39/1507.52	c Use LS-small
1502.39/1507.52	restart_num  3312 3613
1578.34/1583.72	c Use LS-small
1578.34/1583.72	restart_num  3613 3914
1578.34/1583.72	c similarity no use LS 0.951957
1885.84/1892.49	restart_num  3914 4215
2031.19/2038.37	c Use LS-small
2031.19/2038.37	restart_num  4215 4516
2144.98/2152.55	c Use LS-small
2144.98/2152.55	restart_num  4516 4817
2144.98/2152.55	c similarity no use LS 0.980519
2274.41/2282.33	restart_num  4817 5118
2371.92/2380.19	c Use LS-small
2371.92/2380.19	restart_num  5118 5419
2371.92/2380.19	c similarity no use LS 0.95618
2455.40/2463.92	restart_num  5419 5720
2455.40/2463.92	c similarity no use LS 0.958814
2535.49/2544.35	restart_num  5720 6021
2535.49/2544.35	c similarity no use LS 0.955726
2726.87/2736.44	restart_num  6021 6322
2726.87/2736.44	c similarity no use LS 0.954364
2802.08/2811.98	restart_num  6322 6624
2802.08/2811.98	c similarity no use LS 0.952502
2905.36/2915.55	restart_num  6624 6925
3047.83/3058.44	c Use LS-small
3047.83/3058.44	restart_num  6925 7227
3142.06/3152.98	c Use LS-small
3142.06/3152.98	restart_num  7227 7529
3267.50/3278.71	c Use LS-small
3267.50/3278.71	restart_num  7529 7830
3375.69/3387.21	c Use LS-small
3375.69/3387.21	restart_num  7830 8131
3375.69/3387.21	c similarity no use LS 0.979884
3600.00/3612.20	c Program interrupted by user.
3600.00/3612.20	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: 63837 MiB (54571 MiB free)
  memory of node 1: 64465 MiB (48631 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=191513, runsolver pid=191508
Current StackSize limit: 8192 KiB


[startup+0.100034 s]*
/proc/loadavg: 2.98 1.00 0.41 3/244 191514
/proc/meminfo: memFree=105680036/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=17104 memory=512 CPUtime=0 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) D 191508 191513 191181 0 -1 4456448 81 0 0 0 0 0 0 0 20 0 1 0 241657240 17514496 128 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/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.213537 s]*
/proc/loadavg: 2.98 1.00 0.41 2/248 191518
/proc/meminfo: memFree=105679796/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=17104 memory=512 CPUtime=0 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) D 191508 191513 191181 0 -1 4456448 81 0 0 0 0 0 0 0 20 0 1 0 241657240 17514496 128 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/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.31328 s]*
/proc/loadavg: 2.98 1.00 0.41 2/248 191519
/proc/meminfo: memFree=105679796/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=32952 memory=1664 CPUtime=0.01 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) D 191508 191513 191181 0 -1 4194304 150 0 0 0 0 1 0 0 20 0 1 0 241657240 33742848 416 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 8238 416 384 595 0 1152 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 32952 KiB
Current children cumulated memory: 1664 KiB

[startup+0.700242 s]
/proc/loadavg: 2.98 1.00 0.41 3/248 191520
/proc/meminfo: memFree=105637172/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=108212 memory=37332 CPUtime=0.36 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 6409 0 0 0 33 3 0 0 20 0 1 0 241657240 110809088 9333 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 27053 9333 2240 595 0 11720 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 108212 KiB
Current children cumulated memory: 37332 KiB

[startup+1.50028 s]
/proc/loadavg: 3.06 1.05 0.43 3/244 191522
/proc/meminfo: memFree=105617304/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=150132 memory=77592 CPUtime=1.15 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 16600 0 0 0 107 8 0 0 20 0 1 0 241657240 153735168 19398 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 37533 19398 2464 595 0 22200 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 150132 KiB
Current children cumulated memory: 77592 KiB

[startup+3.11268 s]
/proc/loadavg: 3.06 1.05 0.43 4/244 191539
/proc/meminfo: memFree=105540320/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=175532 memory=100632 CPUtime=2.76 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 22382 0 0 0 253 23 0 0 20 0 1 0 241657240 179744768 25158 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 43883 25158 2464 595 0 28550 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 175532 KiB
Current children cumulated memory: 100632 KiB

[startup+6.30024 s]
/proc/loadavg: 3.14 1.10 0.45 3/244 191546
/proc/meminfo: memFree=105552376/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=175532 memory=100632 CPUtime=5.93 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 22382 0 0 0 535 58 0 0 20 0 1 0 241657240 179744768 25158 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 43883 25158 2464 595 0 28550 0
Current children cumulated CPU time: 5.93 s
Current children cumulated vsize: 175532 KiB
Current children cumulated memory: 100632 KiB

[startup+12.7003 s]
/proc/loadavg: 3.21 1.15 0.47 5/252 191621
/proc/meminfo: memFree=105405896/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=175532 memory=100632 CPUtime=12.3 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 22382 0 0 0 1106 124 0 0 20 0 1 0 241657240 179744768 25158 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 43883 25158 2464 595 0 28550 0
Current children cumulated CPU time: 12.3 s
Current children cumulated vsize: 175532 KiB
Current children cumulated memory: 100632 KiB

[startup+25.5003 s]
/proc/loadavg: 3.33 1.24 0.50 5/252 191621
/proc/meminfo: memFree=105365508/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=192308 memory=118740 CPUtime=25.06 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 26439 0 0 0 2336 170 0 0 20 0 1 0 241657240 196923392 29685 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 48077 29685 2496 595 0 32744 0
Current children cumulated CPU time: 25.06 s
Current children cumulated vsize: 192308 KiB
Current children cumulated memory: 118740 KiB

[startup+51.1132 s]
/proc/loadavg: 3.65 1.52 0.62 5/252 191621
/proc/meminfo: memFree=105222224/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=210644 memory=144556 CPUtime=50.58 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 31156 0 0 0 4884 174 0 0 20 0 1 0 241657240 215699456 36139 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 52661 36139 2496 595 0 37328 0
Current children cumulated CPU time: 50.58 s
Current children cumulated vsize: 210644 KiB
Current children cumulated memory: 144556 KiB

[startup+102.3 s]
/proc/loadavg: 3.90 1.92 0.81 5/253 191624
/proc/meminfo: memFree=105076476/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=219272 memory=155564 CPUtime=101.61 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 33308 0 0 0 9589 572 0 0 20 0 1 0 241657240 224534528 38891 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 54818 38891 2496 595 0 39485 0
Current children cumulated CPU time: 101.61 s
Current children cumulated vsize: 219272 KiB
Current children cumulated memory: 155564 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 2.33 1.02 5/253 191626
/proc/meminfo: memFree=105007456/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=240300 memory=177952 CPUtime=161.41 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 38409 0 0 0 15559 582 0 0 20 0 1 0 241657240 246067200 44488 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 60075 44488 2496 595 0 44742 0
Current children cumulated CPU time: 161.41 s
Current children cumulated vsize: 240300 KiB
Current children cumulated memory: 177952 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 2.67 1.22 5/253 191628
/proc/meminfo: memFree=105023648/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=249356 memory=186400 CPUtime=221.23 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 40519 0 0 0 21291 832 0 0 20 0 1 0 241657240 255340544 46600 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 62339 46600 2496 595 0 47006 0
Current children cumulated CPU time: 221.23 s
Current children cumulated vsize: 249356 KiB
Current children cumulated memory: 186400 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 2.93 1.40 5/251 191630
/proc/meminfo: memFree=104991908/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=255432 memory=193056 CPUtime=281.05 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 42202 0 0 0 27063 1042 0 0 20 0 1 0 241657240 261562368 48264 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 63858 48264 2496 595 0 48525 0
Current children cumulated CPU time: 281.05 s
Current children cumulated vsize: 255432 KiB
Current children cumulated memory: 193056 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.16 1.58 5/250 191632
/proc/meminfo: memFree=104907456/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=263384 memory=202972 CPUtime=340.84 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 44230 0 0 0 33037 1047 0 0 20 0 1 0 241657240 269705216 50743 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 65846 50743 2496 595 0 50513 0
Current children cumulated CPU time: 340.84 s
Current children cumulated vsize: 263384 KiB
Current children cumulated memory: 202972 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 3.31 1.73 5/251 191636
/proc/meminfo: memFree=104879156/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=273640 memory=212956 CPUtime=400.66 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 46737 0 0 0 38968 1098 0 0 20 0 1 0 241657240 280207360 53239 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 68410 53239 2496 595 0 53077 0
Current children cumulated CPU time: 400.66 s
Current children cumulated vsize: 273640 KiB
Current children cumulated memory: 212956 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.47 1.89 5/251 191638
/proc/meminfo: memFree=104892020/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=275816 memory=215260 CPUtime=460.47 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 47339 0 0 0 44664 1383 0 0 20 0 1 0 241657240 282435584 53815 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 68954 53815 2496 595 0 53621 0
Current children cumulated CPU time: 460.47 s

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

Current children cumulated memory: 348964 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.02 6/251 192460
/proc/meminfo: memFree=104644348/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=436460 memory=349604 CPUtime=2971.96 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 70492 0 0 0 292726 4470 0 0 20 0 1 0 241657240 446935040 87401 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 109115 87401 2592 595 0 93782 0
Current children cumulated CPU time: 2971.96 s
Current children cumulated vsize: 436460 KiB
Current children cumulated memory: 349604 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.02 6/250 192462
/proc/meminfo: memFree=104647164/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=437004 memory=349988 CPUtime=3031.78 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 70597 0 0 0 298705 4473 0 0 20 0 1 0 241657240 447492096 87497 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 109251 87497 2592 595 0 93918 0
Current children cumulated CPU time: 3031.78 s
Current children cumulated vsize: 437004 KiB
Current children cumulated memory: 349988 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.02 6/250 192464
/proc/meminfo: memFree=104629416/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=437700 memory=350628 CPUtime=3091.61 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 70750 0 0 0 304430 4731 0 0 20 0 1 0 241657240 448204800 87657 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 109425 87657 2592 595 0 94092 0
Current children cumulated CPU time: 3091.61 s
Current children cumulated vsize: 437700 KiB
Current children cumulated memory: 350628 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.02 5/250 192466
/proc/meminfo: memFree=104643748/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=437700 memory=350756 CPUtime=3151.45 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 70776 0 0 0 310303 4842 0 0 20 0 1 0 241657240 448204800 87689 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 109425 87689 2592 595 0 94092 0
Current children cumulated CPU time: 3151.45 s
Current children cumulated vsize: 437700 KiB
Current children cumulated memory: 350756 KiB

[startup+3222.3 s]
/proc/loadavg: 4.19 4.13 4.03 6/250 192469
/proc/meminfo: memFree=104646000/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=438748 memory=351652 CPUtime=3211.27 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 71138 0 0 0 316082 5045 0 0 20 0 1 0 241657240 449277952 87913 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 109687 87913 2592 595 0 94354 0
Current children cumulated CPU time: 3211.27 s
Current children cumulated vsize: 438748 KiB
Current children cumulated memory: 351652 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.03 6/250 192515
/proc/meminfo: memFree=104691340/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=440544 memory=353828 CPUtime=3271.09 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 71679 0 0 0 322024 5085 0 0 20 0 1 0 241657240 451117056 88457 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 110136 88457 2592 595 0 94803 0
Current children cumulated CPU time: 3271.09 s
Current children cumulated vsize: 440544 KiB
Current children cumulated memory: 353828 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.13 4.04 6/249 192517
/proc/meminfo: memFree=104670688/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=441232 memory=353828 CPUtime=3330.92 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 71687 0 0 0 327760 5332 0 0 20 0 1 0 241657240 451821568 88457 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 110308 88457 2592 595 0 94975 0
Current children cumulated CPU time: 3330.92 s
Current children cumulated vsize: 441232 KiB
Current children cumulated memory: 353828 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.04 6/249 192519
/proc/meminfo: memFree=104683400/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=441564 memory=354852 CPUtime=3390.74 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 71938 0 0 0 333734 5340 0 0 20 0 1 0 241657240 452161536 88713 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 110391 88713 2592 595 0 95058 0
Current children cumulated CPU time: 3390.74 s
Current children cumulated vsize: 441564 KiB
Current children cumulated memory: 354852 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.05 6/250 192522
/proc/meminfo: memFree=104625208/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=443744 memory=356132 CPUtime=3450.55 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 72278 0 0 0 339712 5343 0 0 20 0 1 0 241657240 454393856 89033 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 110936 89033 2592 595 0 95603 0
Current children cumulated CPU time: 3450.55 s
Current children cumulated vsize: 443744 KiB
Current children cumulated memory: 356132 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.05 5/251 192525
/proc/meminfo: memFree=104625052/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=443744 memory=356900 CPUtime=3510.38 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 72454 0 0 0 345693 5345 0 0 20 0 1 0 241657240 454393856 89225 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 110936 89225 2592 595 0 95603 0
Current children cumulated CPU time: 3510.38 s
Current children cumulated vsize: 443744 KiB
Current children cumulated memory: 356900 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.05 6/251 192527
/proc/meminfo: memFree=104625488/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=444868 memory=357924 CPUtime=3570.19 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 72727 0 0 0 351671 5348 0 0 20 0 1 0 241657240 455544832 89481 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 111217 89481 2592 595 0 95884 0
Current children cumulated CPU time: 3570.19 s
Current children cumulated vsize: 444868 KiB
Current children cumulated memory: 357924 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 4.13 4.12 4.05 6/251 192527
/proc/meminfo: memFree=104625276/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=446284 memory=358180 CPUtime=3600 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 72793 0 0 0 354651 5349 0 0 20 0 1 0 241657240 456994816 89545 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 111571 89545 2592 595 0 96238 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 446284 KiB
Current children cumulated memory: 358180 KiB

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

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

# cumulated CPU time of all completed processes:  user=3546.98 s, system=53.4987 s

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

[startup+3612.4 s]
/proc/loadavg: 4.13 4.12 4.05 6/251 192527
/proc/meminfo: memFree=104625276/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=353812 memory=297472 CPUtime=3600.2 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 72795 0 0 0 354671 5349 0 0 20 0 1 0 241657240 362303488 74368 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 88453 74368 2624 595 0 73120 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 353812 KiB
Current children cumulated memory: 297472 KiB

[startup+3612.6 s]
/proc/loadavg: 4.13 4.12 4.05 6/251 192527
/proc/meminfo: memFree=104625276/131382116 swapFree=33005528/33010684
[pid=191513] ppid=191508 vsize=353812 memory=297472 CPUtime=3600.4 cores=1,3
/proc/191513/stat : 191513 (SynLSCD) R 191508 191513 191181 0 -1 4194304 72795 0 0 0 354691 5349 0 0 20 0 1 0 241657240 362303488 74368 18446744073709551615 94229668745216 94229671179817 140726752123232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94229671660792 94229671693824 94229685850112 140726752131459 140726752131594 140726752131594 140726752137198 0
/proc/191513/statm: 88453 74368 2624 595 0 73120 0
Current children cumulated CPU time: 3600.4 s
Current children cumulated vsize: 353812 KiB
Current children cumulated memory: 297472 KiB

Child status: 0

Real time (s): 3612.67
CPU time (s): 3600.48
CPU user time (s): 3546.98
CPU system time (s): 53.4987
CPU usage (%): 99.6625
Max. virtual memory (cumulated for all children) (KiB): 446284
Max. memory (cumulated for all children) (KiB): 358180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3546.98
system time used= 53.4987
maximum resident set size= 358308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72819
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= 214
involuntary context switches= 19736


# summary of solver processes directly reported to runsolver:
#   pid: 191513
#   total CPU time (s): 3600.48
#   total CPU user time (s): 3546.98
#   total CPU system time (s): 53.4987

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6157 second user time and 34.2359 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-23 10:36:17
IDJOB=4545747
IDBENCH=152989
IDSOLVER=3421
FILE ID=nodeC010/4545747-1753259774
RUNJOBID= nodeC010-1753259701-191200
SLURM_JOB_ID= 9689165
Free space on /tmp= 432704 MiB

SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j90/normalized-j9013_10-sat.opb
COMMAND LINE= ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545747-1753259774/watcher-4545747-1753259774 -o /tmp/evaluation-result-4545747-1753259774/solver-4545747-1753259774 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753259701-191200 --watchdog 3760  ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545747-1753259774.opb

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

MD5SUM BENCH= be0542d3b59031398d11b8d8792cc86e
RANDOM SEED=381433518

nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.918
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.148
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.296
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.448
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.140
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.165
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.130
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        105659128 kB
MemAvailable:   129725480 kB
Buffers:             228 kB
Cached:         24829840 kB
SwapCached:         4300 kB
Active:           985788 kB
Inactive:       23993312 kB
Active(anon):     122184 kB
Inactive(anon):    48680 kB
Active(file):     863604 kB
Inactive(file): 23944632 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005528 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5852 kB
Writeback:             0 kB
AnonPages:        147876 kB
Mapped:           110656 kB
Shmem:             21832 kB
KReclaimable:     195488 kB
Slab:             287164 kB
SReclaimable:     195488 kB
SUnreclaim:        91676 kB
KernelStack:        3952 kB
PageTables:         3208 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     458880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149320 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432692 MiB
End job on nodeC010 at 2025-07-23 11:36:31