Trace number 4460391

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 NameAnswerobjective functionCPU timeWall clock time
RoundingSat log (2)? (TO) 3602.15 3613.43

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null10mast_rapportOE1.0_TMAX180_K192_cod1.opb
MD5SUMf42bed8b206e9691e6e5fc670f14b50f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-214739
Best CPU time to get the best result obtained on this benchmark66957.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 272557
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 594102826
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 594102826
Number of bits of the biggest sum of numbers30
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
2.28/2.31	c #variables 399113 #constraints 400980
46.57/46.76	c bounds - >= -594102826 @ 1.85931
46.57/46.76	c bounds 0 >= -594102826 @ 35.2992
46.57/46.76	c bounds 0 >= -594091880 @ 35.3933
46.57/46.76	c bounds 0 >= -591015364 @ 35.4611
46.57/46.76	c bounds 0 >= -591004418 @ 35.5389
46.57/46.76	c bounds 0 >= -589020957 @ 35.6089
46.57/46.76	c bounds 0 >= -589010011 @ 35.6874
46.57/46.76	c bounds 0 >= -586000196 @ 35.7564
46.57/46.76	c bounds 0 >= -585989250 @ 35.8269
46.57/46.76	c bounds 0 >= -584174350 @ 35.8993
46.57/46.76	c bounds 0 >= -584163404 @ 35.9746
46.57/46.76	c bounds 0 >= -581686722 @ 36.0466
46.57/46.76	c bounds 0 >= -579661712 @ 36.1328
46.57/46.76	c bounds 0 >= -579650766 @ 36.2204
46.57/46.76	c bounds 0 >= -579639820 @ 36.3081
46.57/46.76	c bounds 0 >= -579628874 @ 36.3975
46.57/46.76	c bounds 0 >= -579617928 @ 36.4872
46.57/46.76	c bounds 0 >= -577592918 @ 36.5771
46.57/46.76	c bounds 0 >= -577581972 @ 36.6671
46.57/46.76	c bounds 0 >= -576680722 @ 36.7543
46.57/46.76	c bounds 0 >= -576669776 @ 36.8433
46.57/46.76	c bounds 0 >= -575075538 @ 36.9326
46.57/46.76	c bounds 0 >= -575064592 @ 37.021
46.57/46.76	c bounds 0 >= -574636254 @ 37.1078
46.57/46.76	c bounds 0 >= -574625308 @ 37.1978
46.57/46.76	c bounds 0 >= -574236132 @ 37.2857
46.57/46.76	c bounds 0 >= -572254906 @ 37.3746
46.57/46.76	c bounds 0 >= -572243960 @ 37.4639
46.57/46.76	c bounds 0 >= -572233014 @ 37.5556
46.57/46.76	c bounds 0 >= -572222068 @ 37.6396
46.57/46.76	c bounds 0 >= -570240842 @ 37.7275
46.57/46.76	c bounds 0 >= -568237724 @ 37.8151
46.57/46.76	c bounds 0 >= -566234606 @ 37.9038
46.57/46.76	c bounds 0 >= -564231488 @ 37.9907
46.57/46.76	c bounds 0 >= -562217424 @ 38.0747
46.57/46.76	c bounds 0 >= -560203360 @ 38.1598
46.57/46.76	c bounds 0 >= -558156458 @ 38.2456
46.57/46.76	c bounds 0 >= -556098610 @ 38.3326
46.57/46.76	c bounds 0 >= -554073600 @ 38.4199
46.57/46.76	c bounds 0 >= -552048590 @ 38.5047
46.57/46.76	c bounds 0 >= -550034526 @ 38.5895
46.57/46.76	c bounds 0 >= -548020462 @ 38.6757
46.57/46.76	c bounds 0 >= -546006398 @ 38.7611
46.57/46.76	c bounds 0 >= -543970442 @ 38.8438
46.57/46.76	c bounds 0 >= -541945432 @ 38.9313
46.57/46.76	c bounds 0 >= -539931368 @ 39.0162
46.57/46.76	c bounds 0 >= -537917304 @ 39.1039
46.57/46.76	c bounds 0 >= -535892294 @ 39.1904
46.57/46.76	c bounds 0 >= -533867284 @ 39.2796
46.57/46.76	c bounds 0 >= -531842274 @ 39.3641
46.57/46.76	c bounds 0 >= -529817264 @ 39.449
46.57/46.76	c bounds 0 >= -527803200 @ 39.537
46.57/46.76	c bounds 0 >= -525789136 @ 39.6234
46.57/46.76	c bounds 0 >= -523775072 @ 39.7083
46.57/46.76	c bounds 0 >= -521750062 @ 39.7952
46.57/46.76	c bounds 0 >= -519725052 @ 39.8779
46.57/46.76	c bounds 0 >= -517700042 @ 39.9647
46.57/46.76	c bounds 0 >= -515675032 @ 40.0516
46.57/46.76	c bounds 0 >= -513660968 @ 40.1315
46.57/46.76	c bounds 0 >= -511635958 @ 40.2162
46.57/46.76	c bounds 0 >= -509610948 @ 40.3029
46.57/46.76	c bounds 0 >= -507574992 @ 40.3909
46.57/46.76	c bounds 0 >= -505539036 @ 40.4759
46.57/46.76	c bounds 0 >= -503503080 @ 40.562
46.57/46.76	c bounds 0 >= -501467124 @ 40.648
46.57/46.76	c bounds 0 >= -499420222 @ 40.7354
46.57/46.76	c bounds 0 >= -497373320 @ 40.8212
46.57/46.76	c bounds 0 >= -495326418 @ 40.9096
46.57/46.76	c bounds 0 >= -493279516 @ 40.9945
46.57/46.76	c bounds 0 >= -491243560 @ 41.0804
46.57/46.76	c bounds 0 >= -489207604 @ 41.169
46.57/46.76	c bounds 0 >= -487171648 @ 41.2578
46.57/46.76	c bounds 0 >= -485135692 @ 41.3439
46.57/46.76	c bounds 0 >= -483099736 @ 41.4304
46.57/46.76	c bounds 0 >= -481074726 @ 41.5199
46.57/46.76	c bounds 0 >= -479049716 @ 41.607
46.57/46.76	c bounds 0 >= -477024706 @ 41.6934
46.57/46.76	c bounds 0 >= -474999696 @ 41.7829
46.57/46.76	c bounds 0 >= -472974686 @ 41.8718
46.57/46.76	c bounds 0 >= -470949676 @ 41.9552
46.57/46.76	c bounds 0 >= -468924666 @ 42.0425
46.57/46.76	c bounds 0 >= -466899656 @ 42.1328
46.57/46.76	c bounds 0 >= -464874646 @ 42.2206
46.57/46.76	c bounds 0 >= -462849636 @ 42.3046
46.57/46.76	c bounds 0 >= -460824626 @ 42.3932
46.57/46.76	c bounds 0 >= -458799616 @ 42.4816
46.57/46.76	c bounds 0 >= -456774606 @ 42.568
46.57/46.76	c bounds 0 >= -454738650 @ 42.6549
46.57/46.76	c bounds 0 >= -452691748 @ 42.7394
46.57/46.76	c bounds 0 >= -450644846 @ 42.8233
46.57/46.76	c bounds 0 >= -448597944 @ 42.9109
46.57/46.76	c bounds 0 >= -446551042 @ 42.9962
46.57/46.76	c bounds 0 >= -444515086 @ 43.0839
46.57/46.76	c bounds 0 >= -442501022 @ 43.168
46.57/46.76	c bounds 0 >= -440486958 @ 43.2543
46.57/46.76	c bounds 0 >= -438472894 @ 43.3374
46.57/46.76	c bounds 0 >= -436458830 @ 43.4215
46.57/46.76	c bounds 0 >= -434444766 @ 43.5075
46.57/46.76	c bounds 0 >= -432430702 @ 43.592
46.57/46.76	c bounds 0 >= -430416638 @ 43.6795
46.57/46.76	c bounds 0 >= -428391628 @ 43.764
46.57/46.76	c bounds 0 >= -426366618 @ 43.8457
46.57/46.76	c bounds 0 >= -424319716 @ 43.9306
46.57/46.76	c bounds 0 >= -422261868 @ 44.0175
46.57/46.76	c bounds 0 >= -420204020 @ 44.1047
46.57/46.76	c bounds 0 >= -418146172 @ 44.1926
46.57/46.76	c bounds 0 >= -416143054 @ 44.277
46.57/46.76	c bounds 0 >= -414139936 @ 44.3627
46.57/46.76	c bounds 0 >= -412147764 @ 44.4476
46.57/46.76	c bounds 0 >= -410155592 @ 44.5337
46.57/46.76	c bounds 0 >= -408163420 @ 44.6147
46.57/46.76	c bounds 0 >= -406171248 @ 44.6992
46.57/46.76	c bounds 0 >= -404179076 @ 44.7861
46.57/46.76	c bounds 0 >= -402197850 @ 44.8753
46.57/46.76	c bounds 0 >= -400216624 @ 44.9605
46.57/46.76	c bounds 0 >= -398235398 @ 45.0491
46.57/46.76	c bounds 0 >= -398224452 @ 45.1355
46.57/46.76	c bounds 0 >= -398059071 @ 45.2197
561.34/563.05	c bounds 0 >= -398048125 @ 45.3099
561.34/563.05	c bounds 0 >= -398012106 @ 45.3947
561.34/563.05	c bounds 0 >= -396052772 @ 45.4823
561.34/563.05	c bounds 0 >= -394082492 @ 45.5675
561.34/563.05	c bounds 0 >= -392112212 @ 45.6555
561.34/563.05	c bounds 0 >= -390130986 @ 45.7395
561.34/563.05	c bounds 0 >= -388138814 @ 45.823
561.34/563.05	c bounds 0 >= -386157588 @ 45.9099
561.34/563.05	c bounds 0 >= -384176362 @ 45.9963
561.34/563.05	c bounds 0 >= -382195136 @ 46.0832
561.34/563.05	c bounds 0 >= -380213910 @ 46.1665
561.34/563.05	c bounds 0 >= -378232684 @ 46.2527
561.34/563.05	c bounds 0 >= -376251458 @ 46.3388
561.34/563.05	c bounds 0 >= -374270232 @ 46.4239
561.34/563.05	c bounds 0 >= -372299952 @ 46.5098
561.34/563.05	c bounds 0 >= -370329672 @ 46.5949
561.34/563.05	c bounds 0 >= -368359392 @ 46.6814
561.34/563.05	c bounds 0 >= -366389112 @ 46.7648
561.34/563.05	c bounds 0 >= -364429778 @ 46.8453
561.34/563.05	c bounds 0 >= -362470444 @ 46.9331
561.34/563.05	c bounds 0 >= -360456380 @ 47.0188
561.34/563.05	c bounds 0 >= -358442316 @ 47.1013
561.34/563.05	c bounds 0 >= -356428252 @ 47.1854
561.34/563.05	c bounds 0 >= -354403242 @ 47.2688
561.34/563.05	c bounds 0 >= -352378232 @ 47.3549
561.34/563.05	c bounds 0 >= -350342276 @ 47.4411
561.34/563.05	c bounds 0 >= -348306320 @ 47.527
561.34/563.05	c bounds 0 >= -346270364 @ 47.6115
561.34/563.05	c bounds 0 >= -344234408 @ 47.6951
561.34/563.05	c bounds 0 >= -342198452 @ 47.7802
561.34/563.05	c bounds 0 >= -340162496 @ 47.8646
561.34/563.05	c bounds 0 >= -338126540 @ 47.953
561.34/563.05	c bounds 0 >= -336090584 @ 48.0406
561.34/563.05	c bounds 0 >= -334054628 @ 48.1249
561.34/563.05	c bounds 0 >= -332018672 @ 48.2145
561.34/563.05	c bounds 0 >= -329982716 @ 48.2965
561.34/563.05	c bounds 0 >= -327946760 @ 48.3805
561.34/563.05	c bounds 0 >= -325910804 @ 48.4677
561.34/563.05	c bounds 0 >= -323874848 @ 48.5527
561.34/563.05	c bounds 0 >= -321838892 @ 48.6431
561.34/563.05	c bounds -8 >= -321838892 @ 552.986
561.34/563.05	c bounds -8 >= -319802936 @ 553.07
561.34/563.05	c bounds -8 >= -317766980 @ 553.15
561.34/563.05	c bounds -8 >= -315731024 @ 553.236
561.34/563.05	c bounds -8 >= -313695068 @ 553.319
561.34/563.05	c bounds -8 >= -311659112 @ 553.404
561.34/563.05	c bounds -8 >= -309623156 @ 553.485
561.34/563.05	c bounds -8 >= -307587200 @ 553.569
561.34/563.05	c bounds -8 >= -305551244 @ 553.653
561.34/563.05	c bounds -8 >= -303515288 @ 553.736
561.34/563.05	c bounds -8 >= -301479332 @ 553.822
561.34/563.05	c bounds -8 >= -299443376 @ 553.908
561.34/563.05	c bounds -8 >= -297407420 @ 553.994
561.34/563.05	c bounds -8 >= -295371464 @ 554.08
561.34/563.05	c bounds -8 >= -293335508 @ 554.17
561.34/563.05	c bounds -8 >= -291299552 @ 554.253
561.34/563.05	c bounds -8 >= -289263596 @ 554.338
561.34/563.05	c bounds -8 >= -287227640 @ 554.422
561.34/563.05	c bounds -8 >= -285191684 @ 554.508
561.34/563.05	c bounds -8 >= -283155728 @ 554.596
561.34/563.05	c bounds -8 >= -281119772 @ 554.678
561.34/563.05	c bounds -8 >= -279083816 @ 554.76
561.34/563.05	c bounds -8 >= -277047860 @ 554.842
561.34/563.05	c bounds -8 >= -275011904 @ 554.923
561.34/563.05	c bounds -8 >= -272975948 @ 555.005
561.34/563.05	c bounds -8 >= -270939992 @ 555.09
561.34/563.05	c bounds -8 >= -268904036 @ 555.175
561.34/563.05	c bounds -8 >= -266868080 @ 555.26
561.34/563.05	c bounds -8 >= -264832124 @ 555.343
561.34/563.05	c bounds -8 >= -262796168 @ 555.43
561.34/563.05	c bounds -8 >= -260760212 @ 555.517
561.34/563.05	c bounds -8 >= -258724256 @ 555.607
561.34/563.05	c bounds -8 >= -256688300 @ 555.691
561.34/563.05	c bounds -8 >= -254652344 @ 555.782
561.34/563.05	c bounds -8 >= -252616388 @ 555.866
561.34/563.05	c bounds -8 >= -250580432 @ 555.949
561.34/563.05	c bounds -8 >= -248544476 @ 556.032
561.34/563.05	c bounds -8 >= -246508520 @ 556.118
561.34/563.05	c bounds -8 >= -244472564 @ 556.202
561.34/563.05	c bounds -8 >= -242436608 @ 556.286
561.34/563.05	c bounds -8 >= -240400652 @ 556.373
561.34/563.05	c bounds -8 >= -238364696 @ 556.46
561.34/563.05	c bounds -8 >= -236328740 @ 556.546
561.34/563.05	c bounds -8 >= -234292784 @ 556.632
561.34/563.05	c bounds -8 >= -232256828 @ 556.712
561.34/563.05	c bounds -8 >= -230220872 @ 556.795
561.34/563.05	c bounds -8 >= -228173970 @ 556.88
561.34/563.05	c bounds -8 >= -226127068 @ 556.966
561.34/563.05	c bounds -8 >= -224102058 @ 557.049
561.34/563.05	c bounds -8 >= -222077048 @ 557.136
561.34/563.05	c bounds -8 >= -220052038 @ 557.223
561.34/563.05	c bounds -8 >= -218027028 @ 557.309
561.34/563.05	c bounds -8 >= -218020263 @ 557.389
561.34/563.05	c bounds -8 >= -218013498 @ 557.475
561.34/563.05	c bounds -8 >= -218006733 @ 557.558
561.34/563.05	c bounds -8 >= -217999968 @ 557.647
561.34/563.05	c bounds -8 >= -216748443 @ 557.732
561.34/563.05	c bounds -8 >= -215510448 @ 557.815
561.34/563.05	c bounds -8 >= -214272453 @ 557.903
561.34/563.05	c bounds -8 >= -213027693 @ 557.987
561.34/563.05	c bounds -8 >= -211776168 @ 558.073
561.34/563.05	c bounds -8 >= -210524643 @ 558.155
561.34/563.05	c bounds -8 >= -209279883 @ 558.24
561.34/563.05	c bounds -8 >= -208035123 @ 558.326
561.34/563.05	c bounds -8 >= -206776833 @ 558.414
561.34/563.05	c bounds -8 >= -205518543 @ 558.499
561.34/563.05	c bounds -8 >= -204260253 @ 558.584
561.34/563.05	c bounds -8 >= -203001963 @ 558.67
561.34/563.05	c bounds -8 >= -201743673 @ 558.754
561.34/563.05	c bounds -8 >= -200485383 @ 558.841
561.34/563.05	c bounds -8 >= -199227093 @ 558.928
561.34/563.05	c bounds -8 >= -197975568 @ 559.014
561.34/563.05	c bounds -8 >= -196730808 @ 559.094
561.34/563.05	c bounds -8 >= -195486048 @ 559.18
561.34/563.05	c bounds -8 >= -194227758 @ 559.265
904.69/907.48	c bounds -8 >= -192976233 @ 559.348
904.69/907.48	c bounds -8 >= -191724708 @ 559.43
904.69/907.48	c bounds -8 >= -190466418 @ 559.513
904.69/907.48	c bounds -8 >= -189208128 @ 559.596
904.69/907.48	c bounds -8 >= -187949838 @ 559.676
904.69/907.48	c bounds -8 >= -186698313 @ 559.761
904.69/907.48	c bounds -8 >= -185426493 @ 559.844
904.69/907.48	c bounds -8 >= -184195263 @ 559.931
904.69/907.48	c bounds -8 >= -182964033 @ 560.016
904.69/907.48	c bounds -8 >= -181746333 @ 560.096
904.69/907.48	c bounds -8 >= -181739568 @ 560.184
904.69/907.48	c bounds -8 >= -181732803 @ 560.274
904.69/907.48	c bounds -8 >= -180521868 @ 560.363
904.69/907.48	c bounds -8 >= -179304168 @ 560.449
904.69/907.48	c bounds -8 >= -178079703 @ 560.532
904.69/907.48	c bounds -8 >= -176848473 @ 560.617
904.69/907.48	c bounds -8 >= -175617243 @ 560.704
904.69/907.48	c bounds -8 >= -174358953 @ 560.783
904.69/907.48	c bounds -8 >= -173100663 @ 560.87
904.69/907.48	c bounds -8 >= -171842373 @ 560.954
904.69/907.48	c bounds -8 >= -170584083 @ 561.037
904.69/907.48	c bounds -8 >= -169325793 @ 561.121
904.69/907.48	c bounds -8 >= -168067503 @ 561.206
904.69/907.48	c bounds -8 >= -166809213 @ 561.29
904.69/907.48	c bounds -8 >= -165550923 @ 561.376
904.69/907.48	c bounds -8 >= -164292633 @ 561.46
904.69/907.48	c bounds -8 >= -163034343 @ 561.545
904.69/907.48	c bounds -8 >= -161776053 @ 561.627
904.69/907.48	c bounds -8 >= -160517763 @ 561.713
904.69/907.48	c bounds -8 >= -159259473 @ 561.792
904.69/907.48	c bounds -8 >= -158001183 @ 561.875
904.69/907.48	c bounds -8 >= -156742893 @ 561.957
904.69/907.48	c bounds -8 >= -155484603 @ 562.038
904.69/907.48	c bounds -8 >= -154226313 @ 562.124
904.69/907.48	c bounds -8 >= -152968023 @ 562.21
904.69/907.48	c bounds -8 >= -151709733 @ 562.296
904.69/907.48	c bounds -8 >= -150451443 @ 562.384
904.69/907.48	c bounds -8 >= -149186388 @ 562.472
904.69/907.48	c bounds -8 >= -149175442 @ 563.11
904.69/907.48	c bounds -8 >= -149164496 @ 563.203
904.69/907.48	c bounds -8 >= -149153550 @ 563.546
904.69/907.48	c bounds -131360 >= -149153550 @ 564.266
904.69/907.48	c bounds -131360 >= -149142604 @ 564.497
904.69/907.48	c bounds -131360 >= -149131658 @ 564.618
904.69/907.48	c bounds -131360 >= -149120712 @ 564.916
904.69/907.48	c bounds -131381 >= -149120712 @ 565.043
904.69/907.48	c bounds -131381 >= -149109766 @ 565.134
904.69/907.48	c bounds -131381 >= -149098820 @ 565.244
904.69/907.48	c bounds -131381 >= -149087874 @ 565.349
904.69/907.48	c bounds -131758 >= -149087874 @ 565.473
904.69/907.48	c bounds -131758 >= -149076928 @ 565.563
904.69/907.48	c bounds -131758 >= -149065982 @ 565.655
904.69/907.48	c bounds -131758 >= -149055036 @ 565.755
904.69/907.48	c bounds -131758 >= -149044090 @ 565.872
904.69/907.48	c bounds -131758 >= -145930099 @ 566.043
904.69/907.48	c bounds -131758 >= -145919153 @ 566.451
904.69/907.48	c bounds -131766 >= -145919153 @ 567.544
904.69/907.48	c bounds -131766 >= -145908207 @ 567.653
904.69/907.48	c bounds -131766 >= -145897261 @ 567.923
904.69/907.48	c bounds -131766 >= -145886315 @ 568.536
904.69/907.48	c bounds -131766 >= -145875369 @ 569.683
904.69/907.48	c bounds -131766 >= -145864423 @ 570.69
904.69/907.48	c #Conflicts:       1000 | #Constraints:     402921
904.69/907.48	c bounds -131771 >= -145864423 @ 576.489
904.69/907.48	c bounds -131771 >= -145853477 @ 576.681
904.69/907.48	c bounds -131771 >= -145842531 @ 577.93
904.69/907.48	c bounds -131771 >= -145831585 @ 580.088
904.69/907.48	c bounds -131774 >= -145831585 @ 580.649
904.69/907.48	c bounds -138539 >= -145831585 @ 580.885
904.69/907.48	c #Conflicts:       2000 | #Constraints:     403972
904.69/907.48	c INPROCESSING
904.69/907.48	c GARBAGE COLLECT
904.69/907.48	c bounds -138539 >= -145820639 @ 688.023
904.69/907.48	c bounds -138539 >= -145809693 @ 688.834
904.69/907.48	c #Conflicts:       3000 | #Constraints:     384507
904.69/907.48	c bounds -138539 >= -145798747 @ 689.715
904.69/907.48	c bounds -138539 >= -145787801 @ 691.199
904.69/907.48	c bounds -138916 >= -145787801 @ 691.503
904.69/907.48	c bounds -145681 >= -145787801 @ 691.63
904.69/907.48	c bounds -145770 >= -145787801 @ 691.754
904.69/907.48	c bounds -146757 >= -145787801 @ 691.879
904.69/907.48	c bounds -146846 >= -145787801 @ 692.095
904.69/907.48	c bounds -146935 >= -145787801 @ 695.795
904.69/907.48	c #Conflicts:       4000 | #Constraints:     385549
904.69/907.48	c INPROCESSING
904.69/907.48	c GARBAGE COLLECT
904.69/907.48	c bounds -147024 >= -145787801 @ 696.965
904.69/907.48	c bounds -148621 >= -145787801 @ 697.182
904.69/907.48	c #Conflicts:       5000 | #Constraints:     384975
904.69/907.48	c bounds -153789 >= -145787801 @ 888.084
904.69/907.48	c bounds -153789 >= -145018497 @ 888.192
904.69/907.48	c bounds -153789 >= -144249193 @ 888.28
904.69/907.48	c bounds -153789 >= -143504975 @ 888.37
904.69/907.48	c bounds -153789 >= -142744033 @ 888.46
904.69/907.48	c bounds -153789 >= -141983091 @ 888.548
904.69/907.48	c bounds -153789 >= -141230511 @ 888.639
904.69/907.48	c bounds -153789 >= -140477931 @ 888.729
904.69/907.48	c bounds -153789 >= -139725351 @ 888.82
904.69/907.48	c bounds -153789 >= -138972771 @ 888.909
904.69/907.48	c bounds -153789 >= -138228553 @ 888.998
904.69/907.48	c bounds -153789 >= -137484335 @ 889.086
904.69/907.48	c bounds -153789 >= -136727574 @ 889.173
904.69/907.48	c bounds -153789 >= -135970813 @ 889.26
904.69/907.48	c bounds -153789 >= -135209871 @ 889.353
904.69/907.48	c bounds -153789 >= -134448929 @ 889.437
904.69/907.48	c bounds -153789 >= -133687987 @ 889.526
904.69/907.48	c bounds -153789 >= -132927045 @ 889.616
2442.84/2450.53	c bounds -153789 >= -132166103 @ 889.7
2442.84/2450.53	c bounds -153789 >= -131405161 @ 889.786
2442.84/2450.53	c bounds -153789 >= -130631676 @ 889.876
2442.84/2450.53	c bounds -153789 >= -129858191 @ 889.963
2442.84/2450.53	c bounds -153789 >= -129097249 @ 890.051
2442.84/2450.53	c bounds -153789 >= -128353031 @ 890.139
2442.84/2450.53	c bounds -153789 >= -127604632 @ 890.227
2442.84/2450.53	c bounds -153789 >= -126847871 @ 890.315
2442.84/2450.53	c bounds -153789 >= -126082748 @ 890.401
2442.84/2450.53	c bounds -153789 >= -125317625 @ 890.488
2442.84/2450.53	c bounds -153789 >= -124552502 @ 890.576
2442.84/2450.53	c bounds -153789 >= -123779017 @ 890.663
2442.84/2450.53	c bounds -153789 >= -123005532 @ 890.749
2442.84/2450.53	c bounds -153789 >= -122265495 @ 890.836
2442.84/2450.53	c bounds -153789 >= -121533820 @ 890.925
2442.84/2450.53	c bounds -153789 >= -120802145 @ 891.008
2442.84/2450.53	c bounds -153789 >= -120074651 @ 891.091
2442.84/2450.53	c bounds -153789 >= -119355519 @ 891.176
2442.84/2450.53	c bounds -153789 >= -118644749 @ 891.265
2442.84/2450.53	c bounds -153789 >= -117933979 @ 891.356
2442.84/2450.53	c bounds -153789 >= -117223209 @ 891.445
2442.84/2450.53	c bounds -153789 >= -117219028 @ 891.536
2442.84/2450.53	c bounds -153789 >= -117214847 @ 891.624
2442.84/2450.53	c bounds -153789 >= -116512439 @ 891.716
2442.84/2450.53	c bounds -153789 >= -115793307 @ 891.803
2442.84/2450.53	c bounds -153789 >= -115065813 @ 891.892
2442.84/2450.53	c bounds -153789 >= -114334138 @ 891.977
2442.84/2450.53	c bounds -153789 >= -113631730 @ 892.064
2442.84/2450.53	c bounds -153789 >= -112887512 @ 892.154
2442.84/2450.53	c bounds -153789 >= -112134932 @ 892.246
2442.84/2450.53	c bounds -153789 >= -111382352 @ 892.336
2442.84/2450.53	c bounds -153789 >= -110608867 @ 892.424
2442.84/2450.53	c bounds -153789 >= -109835382 @ 892.511
2442.84/2450.53	c bounds -153789 >= -109061897 @ 892.6
2442.84/2450.53	c bounds -153789 >= -108288412 @ 892.688
2442.84/2450.53	c bounds -153789 >= -107514927 @ 892.776
2442.84/2450.53	c bounds -153789 >= -106741442 @ 892.864
2442.84/2450.53	c bounds -153789 >= -105967957 @ 892.948
2442.84/2450.53	c bounds -153789 >= -105194472 @ 893.034
2442.84/2450.53	c bounds -153789 >= -104420987 @ 893.122
2442.84/2450.53	c bounds -153789 >= -103647502 @ 893.212
2442.84/2450.53	c bounds -153789 >= -102874017 @ 893.302
2442.84/2450.53	c bounds -153789 >= -102100532 @ 893.391
2442.84/2450.53	c bounds -153789 >= -101327047 @ 893.479
2442.84/2450.53	c bounds -153789 >= -100553562 @ 893.567
2442.84/2450.53	c bounds -153789 >= -99780077 @ 893.654
2442.84/2450.53	c bounds -153789 >= -99006592 @ 893.741
2442.84/2450.53	c bounds -153789 >= -98233107 @ 893.827
2442.84/2450.53	c bounds -153789 >= -97459622 @ 893.913
2442.84/2450.53	c bounds -153789 >= -96686137 @ 893.998
2442.84/2450.53	c bounds -153789 >= -95912652 @ 894.084
2442.84/2450.53	c bounds -153789 >= -95139167 @ 894.172
2442.84/2450.53	c bounds -153789 >= -94365682 @ 894.26
2442.84/2450.53	c bounds -153789 >= -93592197 @ 894.35
2442.84/2450.53	c bounds -153789 >= -92818712 @ 894.438
2442.84/2450.53	c bounds -153789 >= -92045227 @ 894.523
2442.84/2450.53	c bounds -153789 >= -91271742 @ 894.608
2442.84/2450.53	c bounds -153789 >= -90510800 @ 894.698
2442.84/2450.53	c bounds -153789 >= -89758220 @ 894.784
2442.84/2450.53	c bounds -153789 >= -89005640 @ 894.871
2442.84/2450.53	c bounds -153789 >= -88994694 @ 895.387
2442.84/2450.53	c bounds -153789 >= -88983748 @ 895.792
2442.84/2450.53	c #Conflicts:       6000 | #Constraints:     386258
2442.84/2450.53	c bounds -153789 >= -88972802 @ 896.235
2442.84/2450.53	c INPROCESSING
2442.84/2450.53	c GARBAGE COLLECT
2442.84/2450.53	c bounds -153789 >= -88961856 @ 1076.42
2442.84/2450.53	c #Conflicts:       7000 | #Constraints:     385235
2442.84/2450.53	c bounds -153789 >= -88950910 @ 1077.73
2442.84/2450.53	c #Conflicts:       8000 | #Constraints:     386268
2442.84/2450.53	c bounds -153789 >= -88939964 @ 1079.47
2442.84/2450.53	c #Conflicts:       9000 | #Constraints:     387301
2442.84/2450.53	c INPROCESSING
2442.84/2450.53	c #Conflicts:      10000 | #Constraints:     386014
2442.84/2450.53	c bounds -153789 >= -88929018 @ 1625.92
2442.84/2450.53	c #Conflicts:      11000 | #Constraints:     387044
2442.84/2450.53	c bounds -153789 >= -88918072 @ 1627.04
2442.84/2450.53	c #Conflicts:      12000 | #Constraints:     388071
2442.84/2450.53	c INPROCESSING
2442.84/2450.53	c GARBAGE COLLECT
2442.84/2450.53	c bounds -153789 >= -88907126 @ 1629.08
2442.84/2450.53	c #Conflicts:      13000 | #Constraints:     386552
2442.84/2450.53	c #Conflicts:      14000 | #Constraints:     387552
2442.84/2450.53	c #Conflicts:      15000 | #Constraints:     388552
2442.84/2450.53	c INPROCESSING
2442.84/2450.53	c GARBAGE COLLECT
2442.84/2450.53	c #Conflicts:      16000 | #Constraints:     386772
2442.84/2450.53	c bounds -153789 >= -88896180 @ 1636.81
2442.84/2450.53	c #Conflicts:      17000 | #Constraints:     387817
2442.84/2450.53	c bounds -153789 >= -88885234 @ 1640.82
2442.84/2450.53	c #Conflicts:      18000 | #Constraints:     388841
2442.84/2450.53	c INPROCESSING
2442.84/2450.53	c #Conflicts:      19000 | #Constraints:     386849
2442.84/2450.53	c bounds -153789 >= -88874288 @ 1643.98
2442.84/2450.53	c #Conflicts:      20000 | #Constraints:     387885
2442.84/2450.53	c #Conflicts:      21000 | #Constraints:     388885
2442.84/2450.53	c INPROCESSING
2442.84/2450.53	c GARBAGE COLLECT
2442.84/2450.53	c rational objective -479543

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: 63968 MiB (58820 MiB free)
  memory of node 1: 64473 MiB (62244 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460391-1722068593/watcher-4460391-1722068593 -o /tmp/evaluation-result-4460391-1722068593/solver-4460391-1722068593 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722064836-369843 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460391-1722068593 --lp-cut-gomory=0 HOME/instance-4460391-1722068593.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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
solver pid=372191, runsolver pid=372188
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 4.10 4.11 4.07 5/261 372192
/proc/meminfo: memFree=123914972/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=113500 memory=56660 CPUtime=0.1 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 8747 0 0 0 8 2 0 0 20 0 1 0 43382207 116224000 14165 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 28375 14165 1286 992 0 20233 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 113500 KiB
Current children cumulated memory: 56660 KiB

[startup+0.205773 s]*
/proc/loadavg: 4.10 4.11 4.07 5/261 372192
/proc/meminfo: memFree=123835520/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=151144 memory=113612 CPUtime=0.19 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 11500 0 0 0 16 3 0 0 20 0 1 0 43382207 154771456 28403 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 37786 28403 1286 992 0 29644 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 151144 KiB
Current children cumulated memory: 113612 KiB

[startup+0.305825 s]*
/proc/loadavg: 4.10 4.11 4.07 6/261 372192
/proc/meminfo: memFree=123850072/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=151144 memory=116620 CPUtime=0.3 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 11715 0 0 0 24 6 0 0 20 0 1 0 43382207 154771456 29155 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 37786 29155 1334 992 0 29644 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 151144 KiB
Current children cumulated memory: 116620 KiB

[startup+0.700225 s]
/proc/loadavg: 4.10 4.11 4.07 5/261 372192
/proc/meminfo: memFree=123848260/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=153864 memory=120260 CPUtime=0.69 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 12654 0 0 0 56 13 0 0 20 0 1 0 43382207 157556736 30065 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 38466 30065 1334 992 0 30324 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 153864 KiB
Current children cumulated memory: 120260 KiB

[startup+1.50022 s]
/proc/loadavg: 4.10 4.11 4.07 5/261 372192
/proc/meminfo: memFree=123808824/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=165464 memory=131440 CPUtime=1.48 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 12883 0 0 0 118 30 0 0 20 0 1 0 43382207 169435136 32860 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 41366 32860 1334 992 0 33224 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 165464 KiB
Current children cumulated memory: 131440 KiB

[startup+3.10591 s]
/proc/loadavg: 4.10 4.11 4.07 5/261 372192
/proc/meminfo: memFree=123283528/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=647248 memory=583108 CPUtime=3.09 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 60951 0 0 0 256 53 0 0 20 0 1 0 43382207 662781952 145777 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 161812 145777 1732 992 0 153670 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 647248 KiB
Current children cumulated memory: 583108 KiB

[startup+6.3002 s]
/proc/loadavg: 4.17 4.13 4.07 5/261 372193
/proc/meminfo: memFree=123146800/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=666372 memory=601456 CPUtime=6.27 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 62523 0 0 0 573 54 0 0 20 0 1 0 43382207 682364928 150364 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 166593 150364 1732 992 0 158451 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 666372 KiB
Current children cumulated memory: 601456 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.13 4.07 5/261 372193
/proc/meminfo: memFree=122909152/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=670388 memory=604840 CPUtime=12.65 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 62993 0 0 0 1211 54 0 0 20 0 1 0 43382207 686477312 151210 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 167597 151210 1732 992 0 159455 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 670388 KiB
Current children cumulated memory: 604840 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.07 5/261 372197
/proc/meminfo: memFree=122359680/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=698724 memory=630924 CPUtime=25.42 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 65665 0 0 0 2486 56 0 0 20 0 1 0 43382207 715493376 157731 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 174681 157731 1732 992 0 166539 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 698724 KiB
Current children cumulated memory: 630924 KiB

[startup+51.1057 s]
/proc/loadavg: 4.08 4.11 4.07 5/261 372200
/proc/meminfo: memFree=119612636/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=1099856 memory=1013040 CPUtime=50.96 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 78535 0 0 0 4938 158 0 0 20 0 1 0 43382207 1126252544 253260 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 274964 253260 1780 992 0 266822 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1099856 KiB
Current children cumulated memory: 1013040 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/260 372209
/proc/meminfo: memFree=118183844/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=1099856 memory=1013080 CPUtime=102.04 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 78592 0 0 0 10045 159 0 0 20 0 1 0 43382207 1126252544 253270 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 274964 253270 1780 992 0 266822 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 1099856 KiB
Current children cumulated memory: 1013080 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/261 372602
/proc/meminfo: memFree=116376312/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=1099856 memory=1013080 CPUtime=161.87 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 78628 0 0 0 16028 159 0 0 20 0 1 0 43382207 1126252544 253270 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 274964 253270 1780 992 0 266822 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1099856 KiB
Current children cumulated memory: 1013080 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.08 5/261 372614
/proc/meminfo: memFree=114334500/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=1099856 memory=1013080 CPUtime=221.7 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 78663 0 0 0 22011 159 0 0 20 0 1 0 43382207 1126252544 253270 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 274964 253270 1780 992 0 266822 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 1099856 KiB
Current children cumulated memory: 1013080 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 4.10 4.08 5/261 372624
/proc/meminfo: memFree=113140932/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=1099856 memory=1013080 CPUtime=281.52 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 78696 0 0 0 27993 159 0 0 20 0 1 0 43382207 1126252544 253270 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 274964 253270 1780 992 0 266822 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 1099856 KiB
Current children cumulated memory: 1013080 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/260 372802
/proc/meminfo: memFree=111863100/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=1099856 memory=1013080 CPUtime=341.32 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 78722 0 0 0 33973 159 0 0 20 0 1 0 43382207 1126252544 253270 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 274964 253270 1780 992 0 266822 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 1099856 KiB
Current children cumulated memory: 1013080 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/260 372812
/proc/meminfo: memFree=109838376/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=1099856 memory=1013080 CPUtime=401.12 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 78756 0 0 0 39953 159 0 0 20 0 1 0 43382207 1126252544 253270 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 274964 253270 1780 992 0 266822 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 1099856 KiB
Current children cumulated memory: 1013080 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 372884
/proc/meminfo: memFree=108288820/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=1099856 memory=1013080 CPUtime=460.93 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 78789 0 0 0 45934 159 0 0 20 0 1 0 43382207 1126252544 253270 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 274964 253270 1780 992 0 266822 0

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

[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/262 373954
/proc/meminfo: memFree=26585640/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=6141156 memory=5490284 CPUtime=3092.57 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 735117 0 0 0 306984 2273 0 0 20 0 1 0 43382207 6288543744 1372571 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 1535289 1372571 1860 992 0 1527147 0
Current children cumulated CPU time: 3092.57 s
Current children cumulated vsize: 6141156 KiB
Current children cumulated memory: 5490284 KiB

[startup+3162.3 s]
/proc/loadavg: 4.38 4.18 4.12 5/262 373964
/proc/meminfo: memFree=25298336/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=6141156 memory=5490484 CPUtime=3152.37 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 735565 0 0 0 312954 2283 0 0 20 0 1 0 43382207 6288543744 1372621 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 1535289 1372621 1860 992 0 1527147 0
Current children cumulated CPU time: 3152.37 s
Current children cumulated vsize: 6141156 KiB
Current children cumulated memory: 5490484 KiB

[startup+3222.3 s]
/proc/loadavg: 4.25 4.19 4.13 5/262 373976
/proc/meminfo: memFree=23840848/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=6141156 memory=5490504 CPUtime=3212.2 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 735614 0 0 0 318909 2311 0 0 20 0 1 0 43382207 6288543744 1372626 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 1535289 1372626 1860 992 0 1527147 0
Current children cumulated CPU time: 3212.2 s
Current children cumulated vsize: 6141156 KiB
Current children cumulated memory: 5490504 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.18 4.13 5/261 373989
/proc/meminfo: memFree=22695656/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=6141156 memory=5490504 CPUtime=3272.02 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 735679 0 0 0 324865 2337 0 0 20 0 1 0 43382207 6288543744 1372626 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 1535289 1372626 1860 992 0 1527147 0
Current children cumulated CPU time: 3272.02 s
Current children cumulated vsize: 6141156 KiB
Current children cumulated memory: 5490504 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.14 4.11 5/261 373999
/proc/meminfo: memFree=20200644/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=6141156 memory=5490568 CPUtime=3331.84 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 737035 0 0 0 330756 2428 0 0 20 0 1 0 43382207 6288543744 1372642 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 1535289 1372642 1860 992 0 1527147 0
Current children cumulated CPU time: 3331.84 s
Current children cumulated vsize: 6141156 KiB
Current children cumulated memory: 5490568 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/261 374009
/proc/meminfo: memFree=18149120/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=6141156 memory=5490568 CPUtime=3391.64 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 737479 0 0 0 336705 2459 0 0 20 0 1 0 43382207 6288543744 1372642 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 1535289 1372642 1860 992 0 1527147 0
Current children cumulated CPU time: 3391.64 s
Current children cumulated vsize: 6141156 KiB
Current children cumulated memory: 5490568 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/264 374025
/proc/meminfo: memFree=16365932/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=6141156 memory=5490568 CPUtime=3451.46 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 737957 0 0 0 342680 2466 0 0 20 0 1 0 43382207 6288543744 1372642 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 1535289 1372642 1860 992 0 1527147 0
Current children cumulated CPU time: 3451.46 s
Current children cumulated vsize: 6141156 KiB
Current children cumulated memory: 5490568 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.11 4/264 374174
/proc/meminfo: memFree=32924232/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=6141156 memory=5490568 CPUtime=3511.27 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 738395 0 0 0 348655 2472 0 0 20 0 1 0 43382207 6288543744 1372642 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 1535289 1372642 1860 992 0 1527147 0
Current children cumulated CPU time: 3511.27 s
Current children cumulated vsize: 6141156 KiB
Current children cumulated memory: 5490568 KiB

[startup+3582.3 s]
/proc/loadavg: 4.45 4.22 4.14 5/264 374233
/proc/meminfo: memFree=111664968/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=6141156 memory=5490568 CPUtime=3571.1 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 738848 0 0 0 354631 2479 0 0 20 0 1 0 43382207 6288543744 1372642 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 1535289 1372642 1860 992 0 1527147 0
Current children cumulated CPU time: 3571.1 s
Current children cumulated vsize: 6141156 KiB
Current children cumulated memory: 5490568 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.33 4.22 4.14 5/266 374241
/proc/meminfo: memFree=110528076/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=6141156 memory=5490568 CPUtime=3600.01 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 739146 0 0 0 357520 2481 0 0 20 0 1 0 43382207 6288543744 1372642 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 1535289 1372642 1860 992 0 1527147 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 6141156 KiB
Current children cumulated memory: 5490568 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3613.43 s]
# the end of solver process 372191 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3577.2 s, system=24.9438 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3612 s]*
/proc/loadavg: 4.33 4.22 4.14 5/266 374241
/proc/meminfo: memFree=110485908/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=6141156 memory=5490568 CPUtime=3600.72 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 739146 0 0 0 357591 2481 0 0 20 0 1 0 43382207 6288543744 1372642 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 1535289 1372642 1860 992 0 1527147 0
Current children cumulated CPU time: 3600.72 s
Current children cumulated vsize: 6141156 KiB
Current children cumulated memory: 5490568 KiB

[startup+3612.8 s]
/proc/loadavg: 4.33 4.22 4.14 5/266 374241
/proc/meminfo: memFree=110485908/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=6141156 memory=5490568 CPUtime=3601.51 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 739152 0 0 0 357670 2481 0 0 20 0 1 0 43382207 6288543744 1372642 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 1535289 1372642 1860 992 0 1527147 0
Current children cumulated CPU time: 3601.51 s
Current children cumulated vsize: 6141156 KiB
Current children cumulated memory: 5490568 KiB

[startup+3613.2 s]
/proc/loadavg: 4.33 4.22 4.14 5/266 374241
/proc/meminfo: memFree=110445052/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=6141156 memory=5490568 CPUtime=3601.91 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 739153 0 0 0 357710 2481 0 0 20 0 1 0 43382207 6288543744 1372642 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 1535289 1372642 1860 992 0 1527147 0
Current children cumulated CPU time: 3601.91 s
Current children cumulated vsize: 6141156 KiB
Current children cumulated memory: 5490568 KiB

[startup+3613.3 s]
/proc/loadavg: 4.33 4.22 4.14 5/266 374241
/proc/meminfo: memFree=110445052/131524600 swapFree=131056028/131071996
[pid=372191] ppid=372188 vsize=6141156 memory=5490568 CPUtime=3602.01 cores=1,3
/proc/372191/stat : 372191 (roundingsat) R 372188 372191 369827 0 -1 4194304 739153 0 0 0 357720 2481 0 0 20 0 1 0 43382207 6288543744 1372642 134679101440 4194304 8254357 140731986317504 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10055680 140731986322267 140731986322529 140731986322529 140731986329545 0
/proc/372191/statm: 1535289 1372642 1860 992 0 1527147 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 6141156 KiB
Current children cumulated memory: 5490568 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.43
CPU time (s): 3602.15
CPU user time (s): 3577.2
CPU system time (s): 24.9438
CPU usage (%): 99.6878
Max. virtual memory (cumulated for all children) (KiB): 6141156
Max. memory (cumulated for all children) (KiB): 5490568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.2
system time used= 24.9438
maximum resident set size= 5490568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 739153
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13479440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 2063


# summary of solver processes directly reported to runsolver:
#   pid: 372191
#   total CPU time (s): 3602.15
#   total CPU user time (s): 3577.2
#   total CPU system time (s): 24.9438

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31757 second user time and 16.8069 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-27 10:23:13
IDJOB=4460391
IDBENCH=157943
IDSOLVER=3086
FILE ID=nodeC015/4460391-1722068593
RUNJOBID= nodeC015-1722064836-369843
SLURM_JOB_ID= 8248085
Free space on /tmp= 889996 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_20null10mast_rapportOE1.0_TMAX180_K192_cod1.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460391-1722068593/watcher-4460391-1722068593 -o /tmp/evaluation-result-4460391-1722068593/solver-4460391-1722068593 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722064836-369843 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460391-1722068593 --lp-cut-gomory=0 HOME/instance-4460391-1722068593.opb

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

MD5SUM BENCH= f42bed8b206e9691e6e5fc670f14b50f
RANDOM SEED=1994572972

nodeC015.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	: 0xb00002a
cpu MHz		: 3671.460
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.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	: 0xb00002a
cpu MHz		: 3657.010
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.842
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.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	: 0xb00002a
cpu MHz		: 3683.667
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3671.460
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.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	: 0xb00002a
cpu MHz		: 3681.518
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.819
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.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	: 0xb00002a
cpu MHz		: 3607.153
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123970832 kB
MemAvailable:   126692724 kB
Buffers:          380344 kB
Cached:          3009244 kB
SwapCached:          312 kB
Active:          1325236 kB
Inactive:        5285292 kB
Active(anon):       4416 kB
Inactive(anon):  3269396 kB
Active(file):    1320820 kB
Inactive(file):  2015896 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056028 kB
Dirty:            423312 kB
Writeback:             0 kB
AnonPages:       3220448 kB
Mapped:           105708 kB
Shmem:             52524 kB
KReclaimable:     446584 kB
Slab:             584364 kB
SReclaimable:     446584 kB
SUnreclaim:       137780 kB
KernelStack:        4208 kB
PageTables:        16024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3875072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16224 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1071104 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:      367316 kB
DirectMap2M:    43446272 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 889996 MiB
End job on nodeC015 at 2024-07-27 11:23:27