Trace number 4425735

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
Exact 2024-07-05MSAT (TO) 3600.37 3609.54

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/
celar/normalized-celar7-sub3_wcsp.wbo
MD5SUMab58973f8a134afc7bedbaa01ab0bdb8
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark313861
Best CPU time to get the best result obtained on this benchmark3600.37
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables776
Total number of constraints326836
Number of soft constraints326818
Number of constraints which are clauses326818
Number of constraints which are cardinality constraints (but not clauses)18
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 45857915
Min constraint cost 1
Max constraint cost 1000000
Sum of constraints costs 23120752168
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

3.67/3.70	o 10692440
3.98/4.03	o 823346
9.86/9.93	o 793443
15.95/16.07	o 783443
16.44/16.54	o 783442
16.84/16.99	o 783342
31.03/31.19	o 773441
50.97/51.19	o 683752
54.55/54.75	o 673651
57.34/57.53	o 663753
71.01/71.22	o 643755
71.41/71.65	o 633755
72.11/72.33	o 593757
119.71/120.09	o 583657
238.00/238.69	o 583555
240.41/241.03	o 583554
241.30/241.90	o 573556
242.99/243.62	o 573555
317.30/318.14	o 563655
370.25/371.26	o 513755
371.85/372.84	o 503655
379.93/380.96	o 503556
492.23/493.58	o 503554
507.70/509.02	o 503454
507.99/509.38	o 503453
653.51/655.27	o 493453
1170.67/1173.65	o 473757
1179.06/1182.11	o 463957
1283.58/1286.84	o 453956
1396.30/1399.84	o 453955
1443.88/1447.51	o 443957
1471.51/1475.29	o 443759
1626.52/1630.68	o 403764
1628.32/1632.48	o 403662
1641.99/1646.18	o 393662
1659.95/1664.12	o 363864
1666.22/1670.40	o 363863
1676.80/1681.04	o 363862
1677.49/1681.70	o 343860
1856.55/1861.23	o 343761
2070.93/2076.19	o 333865
2190.02/2195.59	o 333864
2212.97/2218.57	o 333863
2229.93/2235.53	o 333862
2660.12/2666.72	o 313861
3600.02/3609.24	c Program interrupted by user.
3600.02/3609.24	s SATISFIABLE
3600.02/3609.24	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776

Verifier Data 

OK	313861

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: 64059 MiB (60562 MiB free)
  memory of node 1: 64510 MiB (63331 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425735-1720883085/watcher-4425735-1720883085 -o /tmp/evaluation-result-4425735-1720883085/solver-4425735-1720883085 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1720881298-701984 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1256464173 HOME/instance-4425735-1720883085.wbo 

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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=704133, runsolver pid=704130

[startup+0.100817 s]*
/proc/loadavg: 4.14 4.11 3.76 5/244 704134
/proc/meminfo: memFree=126848152/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=46256 memory=24280 CPUtime=0.09 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 6649 0 0 0 8 1 0 0 20 0 1 0 140465475 47366144 6070 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 11564 6070 884 1005 0 10327 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46256 KiB
Current children cumulated memory: 24280 KiB

[startup+0.212822 s]*
/proc/loadavg: 4.14 4.11 3.76 5/244 704134
/proc/meminfo: memFree=126802660/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=96420 memory=71800 CPUtime=0.2 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 20429 0 0 0 17 3 0 0 20 0 1 0 140465475 98734080 17950 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 24105 17950 884 1005 0 22868 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 96420 KiB
Current children cumulated memory: 71800 KiB

[startup+0.31285 s]*
/proc/loadavg: 4.14 4.11 3.76 5/244 704134
/proc/meminfo: memFree=126755704/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=140580 memory=117132 CPUtime=0.3 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 28530 0 0 0 25 5 0 0 20 0 1 0 140465475 143953920 29283 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 35145 29283 884 1005 0 33908 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 140580 KiB
Current children cumulated memory: 117132 KiB

[startup+0.700335 s]
/proc/loadavg: 4.14 4.11 3.76 5/244 704134
/proc/meminfo: memFree=126646428/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=272908 memory=257224 CPUtime=0.68 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 50782 0 0 0 57 11 0 0 20 0 1 0 140465475 279457792 64306 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 68227 64306 884 1005 0 66990 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 272908 KiB
Current children cumulated memory: 257224 KiB

[startup+1.50029 s]
/proc/loadavg: 4.14 4.11 3.76 5/244 704134
/proc/meminfo: memFree=126443936/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=585344 memory=541260 CPUtime=1.48 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 81647 0 0 0 127 21 0 0 20 0 1 0 140465475 599392256 135315 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 146369 135315 916 1005 0 145132 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 585344 KiB
Current children cumulated memory: 541260 KiB

[startup+3.1129 s]
/proc/loadavg: 4.13 4.11 3.76 5/244 704134
/proc/meminfo: memFree=125834872/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=1122876 memory=1056520 CPUtime=3.09 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 156238 0 0 0 269 40 0 0 20 0 1 0 140465475 1149825024 264130 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 280719 264130 1076 1005 0 279482 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1122876 KiB
Current children cumulated memory: 1056520 KiB

[startup+6.30032 s]
/proc/loadavg: 4.13 4.11 3.76 5/244 704135
/proc/meminfo: memFree=125649324/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=1282468 memory=1219188 CPUtime=6.26 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 167243 0 0 0 582 44 0 0 20 0 1 0 140465475 1313247232 304797 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 320617 304797 1124 1005 0 319380 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1282468 KiB
Current children cumulated memory: 1219188 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.11 3.77 5/244 704135
/proc/meminfo: memFree=125620296/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=1302004 memory=1248332 CPUtime=12.65 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 169638 0 0 0 1220 45 0 0 20 0 1 0 140465475 1333252096 312083 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 325501 312083 1140 1005 0 324264 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1302004 KiB
Current children cumulated memory: 1248332 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.12 3.77 5/244 704138
/proc/meminfo: memFree=125529684/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=1446616 memory=1338712 CPUtime=25.43 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 177565 0 0 0 2492 51 0 0 20 0 1 0 140465475 1481334784 334678 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 361654 334678 1140 1005 0 360417 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1446616 KiB
Current children cumulated memory: 1338712 KiB

[startup+51.1129 s]
/proc/loadavg: 4.11 4.11 3.78 6/244 704141
/proc/meminfo: memFree=125450708/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=1514520 memory=1416376 CPUtime=50.97 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 180070 0 0 0 5044 53 0 0 20 0 1 0 140465475 1550868480 354094 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 378630 354094 1140 1005 0 377393 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1514520 KiB
Current children cumulated memory: 1416376 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 3.80 5/243 704150
/proc/meminfo: memFree=125420088/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=1517092 memory=1446232 CPUtime=102.04 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 182058 0 0 0 10150 54 0 0 20 0 1 0 140465475 1553502208 361558 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 379273 361558 1140 1005 0 378036 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 1517092 KiB
Current children cumulated memory: 1446232 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.11 3.83 5/243 704161
/proc/meminfo: memFree=125271988/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=1714820 memory=1569004 CPUtime=161.89 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 188328 0 0 0 16128 61 0 0 20 0 1 0 140465475 1755975680 392251 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 428705 392251 1140 1005 0 427468 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 1714820 KiB
Current children cumulated memory: 1569004 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.12 3.85 5/243 704217
/proc/meminfo: memFree=124083236/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=1714820 memory=1630284 CPUtime=221.74 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 189122 0 0 0 22111 63 0 0 20 0 1 0 140465475 1755975680 407571 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 428705 407571 1140 1005 0 427468 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 1714820 KiB
Current children cumulated memory: 1630284 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 4.14 3.88 5/243 704227
/proc/meminfo: memFree=123774600/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=1717108 memory=1632336 CPUtime=281.59 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 189374 0 0 0 28096 63 0 0 20 0 1 0 140465475 1758318592 408084 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 429277 408084 1140 1005 0 428040 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 1717108 KiB
Current children cumulated memory: 1632336 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.13 3.90 5/241 704237
/proc/meminfo: memFree=123432116/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=1718380 memory=1632476 CPUtime=341.43 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 189672 0 0 0 34079 64 0 0 20 0 1 0 140465475 1759621120 408119 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 429595 408119 1140 1005 0 428358 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 1718380 KiB
Current children cumulated memory: 1632476 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.12 3.91 5/243 704253
/proc/meminfo: memFree=123168744/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=2014776 memory=1763952 CPUtime=401.27 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 202286 0 0 0 40054 73 0 0 20 0 1 0 140465475 2063130624 440988 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 503694 440988 1140 1005 0 502457 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 2014776 KiB
Current children cumulated memory: 1763952 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.12 3.93 5/243 704263
/proc/meminfo: memFree=122774236/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=2024148 memory=1825732 CPUtime=461.11 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 202760 0 0 0 46036 75 0 0 20 0 1 0 140465475 2072727552 456433 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 506037 456433 1140 1005 0 504800 0
Current children cumulated CPU time: 461.11 s

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

Current children cumulated memory: 2614548 KiB

[startup+2982.3 s]
/proc/loadavg: 2.08 2.53 3.21 3/230 705391
/proc/meminfo: memFree=118448912/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=2647392 memory=2614552 CPUtime=2974.84 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 314054 0 0 0 297352 132 0 0 20 0 1 0 140465475 2710929408 653638 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 661848 653638 1140 1005 0 660611 0
Current children cumulated CPU time: 2974.84 s
Current children cumulated vsize: 2647392 KiB
Current children cumulated memory: 2614552 KiB

[startup+3042.3 s]
/proc/loadavg: 2.06 2.45 3.13 3/230 705402
/proc/meminfo: memFree=118447408/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=2647392 memory=2614996 CPUtime=3034.68 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 314998 0 0 0 303336 132 0 0 20 0 1 0 140465475 2710929408 653749 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 661848 653749 1140 1005 0 660611 0
Current children cumulated CPU time: 3034.68 s
Current children cumulated vsize: 2647392 KiB
Current children cumulated memory: 2614996 KiB

[startup+3102.3 s]
/proc/loadavg: 2.07 2.38 3.06 3/229 705795
/proc/meminfo: memFree=118446792/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=2648456 memory=2615000 CPUtime=3094.51 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 315782 0 0 0 309316 135 0 0 20 0 1 0 140465475 2712018944 653750 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 662114 653750 1140 1005 0 660877 0
Current children cumulated CPU time: 3094.51 s
Current children cumulated vsize: 2648456 KiB
Current children cumulated memory: 2615000 KiB

[startup+3162.3 s]
/proc/loadavg: 2.14 2.34 3.00 3/229 705806
/proc/meminfo: memFree=118446204/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=2648456 memory=2615384 CPUtime=3154.36 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 316765 0 0 0 315300 136 0 0 20 0 1 0 140465475 2712018944 653846 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 662114 653846 1140 1005 0 660877 0
Current children cumulated CPU time: 3154.36 s
Current children cumulated vsize: 2648456 KiB
Current children cumulated memory: 2615384 KiB

[startup+3222.3 s]
/proc/loadavg: 2.11 2.29 2.95 3/229 705816
/proc/meminfo: memFree=118446132/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=2648456 memory=2615384 CPUtime=3214.19 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 317404 0 0 0 321283 136 0 0 20 0 1 0 140465475 2712018944 653846 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 662114 653846 1140 1005 0 660877 0
Current children cumulated CPU time: 3214.19 s
Current children cumulated vsize: 2648456 KiB
Current children cumulated memory: 2615384 KiB

[startup+3282.3 s]
/proc/loadavg: 2.07 2.25 2.89 3/231 705997
/proc/meminfo: memFree=118445496/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=2649480 memory=2615408 CPUtime=3274.02 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 318178 0 0 0 327265 137 0 0 20 0 1 0 140465475 2713067520 653852 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 662370 653852 1140 1005 0 661133 0
Current children cumulated CPU time: 3274.02 s
Current children cumulated vsize: 2649480 KiB
Current children cumulated memory: 2615408 KiB

[startup+3342.3 s]
/proc/loadavg: 2.13 2.23 2.84 3/231 706008
/proc/meminfo: memFree=118445144/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=2649480 memory=2615416 CPUtime=3333.86 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 318966 0 0 0 333249 137 0 0 20 0 1 0 140465475 2713067520 653854 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 662370 653854 1140 1005 0 661133 0
Current children cumulated CPU time: 3333.86 s
Current children cumulated vsize: 2649480 KiB
Current children cumulated memory: 2615416 KiB

[startup+3402.3 s]
/proc/loadavg: 2.10 2.20 2.79 3/232 706033
/proc/meminfo: memFree=118444816/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=2649480 memory=2615424 CPUtime=3393.7 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 319759 0 0 0 339232 138 0 0 20 0 1 0 140465475 2713067520 653856 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 662370 653856 1140 1005 0 661133 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 2649480 KiB
Current children cumulated memory: 2615424 KiB

[startup+3462.3 s]
/proc/loadavg: 2.13 2.19 2.75 3/232 706043
/proc/meminfo: memFree=118444512/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=2649480 memory=2615448 CPUtime=3453.53 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 320587 0 0 0 345214 139 0 0 20 0 1 0 140465475 2713067520 653862 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 662370 653862 1140 1005 0 661133 0
Current children cumulated CPU time: 3453.53 s
Current children cumulated vsize: 2649480 KiB
Current children cumulated memory: 2615448 KiB

[startup+3522.3 s]
/proc/loadavg: 2.10 2.17 2.71 3/232 706053
/proc/meminfo: memFree=118444148/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=2649480 memory=2615476 CPUtime=3513.36 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 321430 0 0 0 351197 139 0 0 20 0 1 0 140465475 2713067520 653869 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 662370 653869 1140 1005 0 661133 0
Current children cumulated CPU time: 3513.36 s
Current children cumulated vsize: 2649480 KiB
Current children cumulated memory: 2615476 KiB

[startup+3582.3 s]
/proc/loadavg: 2.14 2.17 2.67 3/229 706064
/proc/meminfo: memFree=118443728/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=2649480 memory=2615492 CPUtime=3573.19 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 322318 0 0 0 357179 140 0 0 20 0 1 0 140465475 2713067520 653873 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 662370 653873 1140 1005 0 661133 0
Current children cumulated CPU time: 3573.19 s
Current children cumulated vsize: 2649480 KiB
Current children cumulated memory: 2615492 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 2.16 2.17 2.66 3/229 706070
/proc/meminfo: memFree=118443824/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=2649480 memory=2615520 CPUtime=3600.02 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 322547 0 0 0 359862 140 0 0 20 0 1 0 140465475 2713067520 653880 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 662370 653880 1140 1005 0 661133 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2649480 KiB
Current children cumulated memory: 2615520 KiB

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

[startup+3609.54 s]
# the end of solver process 704133 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.95 s, system=1.41794 s

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

[startup+3609.4 s]
/proc/loadavg: 2.16 2.17 2.66 3/229 706070
/proc/meminfo: memFree=118443824/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=1884316 memory=1859456 CPUtime=3600.21 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 322715 0 0 0 359881 140 0 0 20 0 1 0 140465475 1929539584 464864 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 471079 464864 1153 1005 0 469842 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 1884316 KiB
Current children cumulated memory: 1859456 KiB

[startup+3609.5 s]
/proc/loadavg: 2.16 2.17 2.66 3/229 706070
/proc/meminfo: memFree=118443824/131655788 swapFree=131071996/131071996
[pid=704133] ppid=704130 vsize=1884316 memory=1859456 CPUtime=3600.31 cores=5,7
/proc/704133/stat : 704133 (Exact) R 704130 704133 697562 0 -1 4194304 322765 0 0 0 359891 140 0 0 20 0 1 0 140465475 1929539584 464864 134679101440 4194304 8309489 140724615359216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23449600 140724615361444 140724615361614 140724615361614 140724615368655 0
/proc/704133/statm: 471079 464864 1153 1005 0 469842 0
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 1884316 KiB
Current children cumulated memory: 1859456 KiB

Child status: 10

Real time (s): 3609.54
CPU time (s): 3600.37
CPU user time (s): 3598.95
CPU system time (s): 1.41794
CPU usage (%): 99.7459
Max. virtual memory (cumulated for all children) (KiB): 2649480
Max. memory (cumulated for all children) (KiB): 2615520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.95
system time used= 1.41794
maximum resident set size= 2615520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322808
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= 24
involuntary context switches= 1534


# summary of solver processes directly reported to runsolver:
#   pid: 704133
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3598.95
#   total CPU system time (s): 1.41794

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8186 second user time and 35.696 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-13 17:04:58
IDJOB=4425735
IDBENCH=143880
IDSOLVER=3040
FILE ID=nodeC012/4425735-1720883085
RUNJOBID= nodeC012-1720881298-701984
SLURM_JOB_ID= 7483760
Free space on /tmp= 723752 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub3_wcsp.wbo
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425735-1720883085/watcher-4425735-1720883085 -o /tmp/evaluation-result-4425735-1720883085/solver-4425735-1720883085 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1720881298-701984 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1256464173 HOME/instance-4425735-1720883085.wbo

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

MD5SUM BENCH= ab58973f8a134afc7bedbaa01ab0bdb8
RANDOM SEED=1256464173

nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3655.556
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.37
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		: 3668.123
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.474
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.37
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.397
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3666.039
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.37
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		: 3513.989
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.384
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.37
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.335
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126867336 kB
MemAvailable:   126816392 kB
Buffers:          323580 kB
Cached:           474616 kB
SwapCached:            0 kB
Active:           486100 kB
Inactive:        3800132 kB
Active(anon):       1448 kB
Inactive(anon):  3524284 kB
Active(file):     484652 kB
Inactive(file):   275848 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             16204 kB
Writeback:             0 kB
AnonPages:       3488068 kB
Mapped:           115336 kB
Shmem:             37704 kB
KReclaimable:      57176 kB
Slab:             146188 kB
SReclaimable:      57176 kB
SUnreclaim:        89012 kB
KernelStack:        3924 kB
PageTables:        16188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    4623576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45824 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3295232 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      207688 kB
DirectMap2M:    10182656 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC012 at 2024-07-13 18:05:07