| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP-NaPS 1.00a2 | ? (TO) | 3601.27 | 3610.94 |
| Name | PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat20_19_identity_complement.opb |
| MD5SUM | 6b62b1f0af3a4b117c91c07257537aad |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 14.7305 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7600 |
| Total number of constraints | 700360 |
| Number of constraints which are clauses | 685920 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14440 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 19 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 18 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 37 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
414.78/416.13 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4544978-1753224692.opb 414.78/416.13 c Solving mode: decision 414.78/416.13 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 414.78/416.13 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 414.78/416.13 c original problem has 7600 variables (7600 bin, 0 int, 0 impl, 0 cont) and 700360 constraints 414.78/416.13 c presolving: 414.78/416.13 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 7220 chg coeffs, 700360 upgd conss, 0 impls, 552330 clqs 414.78/416.13 c (round 2, medium) 0 del vars, 7220 del conss, 14440 add conss, 0 chg bounds, 0 chg sides, 7220 chg coeffs, 700360 upgd conss, 0 impls, 566770 clqs 414.78/416.13 c (round 3, exhaustive) 0 del vars, 27896 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7220 chg coeffs, 700360 upgd conss, 0 impls, 566770 clqs 414.78/416.13 c (round 4, exhaustive) 19 del vars, 27915 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7220 chg coeffs, 700360 upgd conss, 0 impls, 566732 clqs 414.78/416.13 c (round 5, exhaustive) 19 del vars, 31506 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 566732 clqs 414.78/416.13 c (round 6, exhaustive) 44 del vars, 31506 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 654911 clqs 414.78/416.13 c (round 7, exhaustive) 69 del vars, 31568 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 687405 clqs 414.78/416.13 c (121.2s) probing: 1000/7581 (13.2%) - 0 fixings, 65 aggregations, 160299 implications, 0 bound changes 414.78/416.13 c (round 8, exhaustive) 94 del vars, 31666 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 711323 clqs 414.78/416.13 c (round 9, exhaustive) 119 del vars, 31803 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 725474 clqs 414.78/416.13 c (round 10, exhaustive) 144 del vars, 31982 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 737371 clqs 414.78/416.13 c (round 11, exhaustive) 169 del vars, 32188 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 748898 clqs 414.78/416.13 c (round 12, exhaustive) 194 del vars, 32405 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 757220 clqs 414.78/416.13 c (round 13, exhaustive) 219 del vars, 32677 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 766439 clqs 414.78/416.13 c (round 14, exhaustive) 244 del vars, 32989 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 775849 clqs 414.78/416.13 c (round 15, exhaustive) 269 del vars, 33303 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 781667 clqs 414.78/416.13 c (245.8s) probing: 2000/7581 (26.4%) - 0 fixings, 254 aggregations, 299439 implications, 0 bound changes 414.78/416.13 c (round 16, exhaustive) 294 del vars, 33662 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 785642 clqs 414.78/416.13 c (round 17, exhaustive) 319 del vars, 34061 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 786033 clqs 414.78/416.13 c (round 18, exhaustive) 344 del vars, 34474 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 788042 clqs 414.78/416.13 c (round 19, exhaustive) 369 del vars, 34934 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 788500 clqs 414.78/416.13 c (round 20, exhaustive) 394 del vars, 35408 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 787978 clqs 414.78/416.13 c (round 21, exhaustive) 419 del vars, 35935 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 789522 clqs 414.78/416.13 c (round 22, fast) 419 del vars, 36494 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 789522 clqs 414.78/416.13 c (round 23, exhaustive) 444 del vars, 36501 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 789023 clqs 414.78/416.13 c (round 24, fast) 444 del vars, 37083 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 789023 clqs 414.78/416.13 c (round 25, exhaustive) 469 del vars, 37089 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 787331 clqs 414.78/416.13 c (round 26, fast) 469 del vars, 37689 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 787331 clqs 414.78/416.13 c (round 27, exhaustive) 494 del vars, 37692 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 787844 clqs 414.78/416.13 c (round 28, fast) 494 del vars, 38350 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 787844 clqs 414.78/416.13 c (round 29, exhaustive) 519 del vars, 38359 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 789605 clqs 414.78/416.13 c (round 30, fast) 519 del vars, 39061 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 789605 clqs 414.78/416.13 c (round 31, exhaustive) 544 del vars, 39065 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 790607 clqs 414.78/416.13 c (round 32, fast) 544 del vars, 39800 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 790607 clqs 414.78/416.13 c (round 33, exhaustive) 569 del vars, 39806 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 791705 clqs 414.78/416.13 c (round 34, fast) 569 del vars, 40563 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 791705 clqs 414.78/416.13 c (round 35, exhaustive) 594 del vars, 40572 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 790728 clqs 414.78/416.13 c (round 36, fast) 594 del vars, 41386 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 790728 clqs 414.78/416.13 c (round 37, exhaustive) 619 del vars, 41395 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 788744 clqs 414.78/416.13 c (round 38, fast) 619 del vars, 42144 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 788744 clqs 414.78/416.13 c (round 39, exhaustive) 644 del vars, 42150 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 788071 clqs 414.78/416.13 c (round 40, fast) 644 del vars, 42985 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 788071 clqs 414.78/416.13 c (384.0s) probing: 3000/7581 (39.6%) - 0 fixings, 627 aggregations, 417279 implications, 0 bound changes 414.78/416.13 c (round 41, exhaustive) 669 del vars, 42990 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 785820 clqs 414.78/416.13 c (round 42, fast) 669 del vars, 43852 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 785820 clqs 414.78/416.13 c (round 43, exhaustive) 694 del vars, 43863 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 784260 clqs 414.78/416.13 c (round 44, fast) 694 del vars, 44806 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 784260 clqs 414.78/416.13 c (round 45, exhaustive) 719 del vars, 44813 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 783472 clqs 414.78/416.13 c (round 46, fast) 719 del vars, 45773 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 783472 clqs 499.91/501.53 c (round 47, exhaustive) 744 del vars, 45783 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 781883 clqs 499.91/501.53 c (round 48, fast) 744 del vars, 46759 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 781883 clqs 499.91/501.53 c (round 49, exhaustive) 769 del vars, 46764 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 781815 clqs 499.91/501.53 c (round 50, fast) 769 del vars, 47744 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 781815 clqs 499.91/501.53 c (round 51, exhaustive) 794 del vars, 47752 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 780493 clqs 499.91/501.53 c (round 52, fast) 794 del vars, 48795 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 780493 clqs 499.91/501.53 c (round 53, exhaustive) 819 del vars, 48807 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 777604 clqs 499.91/501.53 c (round 54, fast) 819 del vars, 49846 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 777604 clqs 499.91/501.53 c (round 55, exhaustive) 844 del vars, 49858 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 775522 clqs 499.91/501.53 c (round 56, fast) 844 del vars, 50958 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 775522 clqs 499.91/501.53 c (round 57, exhaustive) 869 del vars, 50963 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 772789 clqs 499.91/501.53 c (round 58, fast) 869 del vars, 52092 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 772789 clqs 499.91/501.53 c (round 59, exhaustive) 894 del vars, 52106 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 771659 clqs 499.91/501.53 c (round 60, fast) 894 del vars, 53240 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 771659 clqs 499.91/501.53 c (round 61, exhaustive) 919 del vars, 53249 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 769251 clqs 499.91/501.53 c (round 62, fast) 919 del vars, 54431 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 769251 clqs 499.91/501.53 c (round 63, exhaustive) 944 del vars, 54446 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 765774 clqs 499.91/501.53 c (round 64, fast) 944 del vars, 55661 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 765774 clqs 499.91/501.53 c (round 65, exhaustive) 969 del vars, 55669 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 763170 clqs 499.91/501.53 c (round 66, fast) 969 del vars, 56897 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 763170 clqs 499.91/501.53 c (round 67, exhaustive) 994 del vars, 56910 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 760935 clqs 499.91/501.53 c (round 68, fast) 994 del vars, 58179 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 760935 clqs 499.91/501.53 c (500.1s) probing: 3789/7581 (50.0%) - 0 fixings, 989 aggregations, 495020 implications, 0 bound changes 499.91/501.53 c (500.1s) probing aborted: solving stopped 499.91/501.53 c (round 69, exhaustive) 1008 del vars, 58197 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 759704 clqs 499.91/501.53 c presolving (69 rounds: 69 fast, 45 medium, 44 exhaustive): 499.91/501.53 c 1008 deleted vars, 58197 deleted constraints, 21332 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 7239 changed coefficients 499.91/501.53 c 0 implications, 759704 cliques 499.91/501.53 c presolving was interrupted. 499.91/501.53 c Presolving Time: 499.24 499.91/501.53 c presolving: 499.91/501.53 c presolving (69 rounds: 69 fast, 45 medium, 44 exhaustive): 499.91/501.53 c 1008 deleted vars, 58197 deleted constraints, 21332 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 7239 changed coefficients 499.91/501.53 c 0 implications, 759704 cliques 499.91/501.53 c presolving was interrupted. 499.91/501.53 c Presolving Time: 499.24 499.91/501.53 c 499.91/501.53 c SCIP Status : solving was interrupted [time limit reached] 499.91/501.53 c Solving Time (sec) : 500.07 499.91/501.53 c Solving Nodes : 0 499.91/501.53 c Primal Bound : +1.00000000000000e+20 (0 solutions) 499.91/501.53 c ---------------------------------------------------------------------- 499.91/501.53 c dual bound: -1e+20 -> -100000000000000000000 499.91/501.53 c primal bound: 1e+20 -> 100000000000000000000 499.91/501.53 c scip-goal-lb: -100000000000000000000 499.91/501.53 c scip-goal-ub: 100000000000000000000 499.91/501.53 c writing output to: HOME/tmpf9i22_jw.opb 499.91/501.53 c appending fixed variable constraints 499.91/501.53 c scip-fixed vars: 0.00% (0/6592) 499.91/501.53 c ---------------------------------------------------------------------- 499.91/501.53 c executing external solver: HOME/naps-1.03a6 499.91/501.53 c ---------------------------------------------------------------------- 499.91/501.53 c command: HOME/naps-1.03a6 HOME/tmpf9i22_jw.opb 499.91/501.56 c NaPS 1.03a6. 499.91/501.56 c Input file name: HOME/tmpf9i22_jw.opb 3600.02/3609.70 c 3600.02/3609.70 c *** TERMINATED *** by signal 15 3600.02/3609.70 c s UNKNOWN 3600.02/3609.70 c _____________________________________________________________________________ 3600.02/3609.70 c std/band forms : 7220,0 3600.02/3609.70 c 2cl/3cl ITE-codings : 0,0 3600.02/3609.70 c BDD/srt/adr Max costs : 2,0,0 3600.02/3609.70 c BDDraw/bin/mul/srt/adr: 7220,0,0,0,0 3600.02/3609.70 c BDD nodes : 21660 3600.02/3609.70 c Es1/CC detections : 0,0 3600.02/3609.70 c CC sort : 0 3600.02/3609.70 c SAT/UNSAT calls : 0,0 3600.02/3609.70 c regenrated variables : 0 3600.02/3609.70 c eliminated fixed lits : 0 3600.02/3609.70 c goal lit flips : 0 3600.02/3609.70 c goal stages : 0 3600.02/3609.70 c goal shrink : 0 3600.02/3609.70 c goal coeff separations: 0 3600.02/3609.70 c restarts : 0 3600.02/3609.70 c conflicts : 0 (0 /sec) 3600.02/3609.70 c decisions : 0 (0 /sec) 3600.02/3609.70 c propagations : 0 (0 /sec) 3600.02/3609.70 c inspects : 0 (0 /sec) 3600.02/3609.70 c CPU time (solving tm) : 3095 s (3091 s, SAT 0 s, UNSAT 0 s) 3600.02/3609.70 c Time for Opt-base : 0 s 3600.02/3609.70 c Steps for Opt-base : 0 3600.02/3609.70 c Time for BDD coding : 0.04573 s 3600.02/3609.70 c Time for srt coding : 0 s 3600.02/3609.70 c _____________________________________________________________________________ 3600.02/3609.70 s UNKNOWN 3601.12/3610.89 c received SIGTERM, forwarding to pbsolver... 3601.12/3610.89 c failed to send SIGTERM to pbsolver: [Errno 3] No such process
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (60756 MiB free)
memory of node 1: 64507 MiB (59243 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544978-1753224692/watcher-4544978-1753224692 -o /tmp/evaluation-result-4544978-1753224692/solver-4544978-1753224692 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753222587-197771 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4544978-1753224692.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=200396, runsolver pid=200393
[startup+0.100059 s]*
/proc/loadavg: 4.14 4.11 3.87 5/269 200401
/proc/meminfo: memFree=122871748/131250000 swapFree=33008868/33010684
[pid=200396] ppid=200393 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/200396/stat : 200396 (scip-naps-1.00a) S 200393 200396 197761 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 238149447 4292608 736 18446744073709551615 94122918277120 94122919171653 140728653156768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122919410704 94122919458448 94122923794432 140728653162907 140728653163006 140728653163006 140728653168610 0
/proc/200396/statm: 1048 736 672 219 0 110 0
[pid=200401] ppid=200396 vsize=1187384 memory=32312 CPUtime=0.06 cores=0,2
/proc/200401/stat : 200401 (python3) R 200396 200396 197761 0 -1 4194304 3822 0 0 0 5 1 0 0 20 0 1 0 238149449 1215881216 8078 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 296846 8078 4910 1 0 268868 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191576 KiB
Current children cumulated memory: 35256 KiB
[startup+0.205777 s]*
/proc/loadavg: 4.14 4.11 3.87 5/269 200401
/proc/meminfo: memFree=122839996/131250000 swapFree=33008868/33010684
[pid=200396] ppid=200393 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/200396/stat : 200396 (scip-naps-1.00a) S 200393 200396 197761 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 238149447 4292608 736 18446744073709551615 94122918277120 94122919171653 140728653156768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122919410704 94122919458448 94122923794432 140728653162907 140728653163006 140728653163006 140728653168610 0
/proc/200396/statm: 1048 736 672 219 0 110 0
[pid=200401] ppid=200396 vsize=1224396 memory=75960 CPUtime=0.17 cores=0,2
/proc/200401/stat : 200401 (python3) R 200396 200396 197761 0 -1 4194304 12235 0 0 0 14 3 0 0 20 0 1 0 238149449 1253781504 18990 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 306099 18990 7630 1 0 277457 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1228588 KiB
Current children cumulated memory: 78904 KiB
[startup+0.305761 s]*
/proc/loadavg: 4.14 4.11 3.87 5/269 200401
/proc/meminfo: memFree=122807740/131250000 swapFree=33008868/33010684
[pid=200396] ppid=200393 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/200396/stat : 200396 (scip-naps-1.00a) S 200393 200396 197761 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 238149447 4292608 736 18446744073709551615 94122918277120 94122919171653 140728653156768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122919410704 94122919458448 94122923794432 140728653162907 140728653163006 140728653163006 140728653168610 0
/proc/200396/statm: 1048 736 672 219 0 110 0
[pid=200401] ppid=200396 vsize=1254532 memory=105400 CPUtime=0.27 cores=0,2
/proc/200401/stat : 200401 (python3) R 200396 200396 197761 0 -1 4194304 19617 0 0 0 22 5 0 0 20 0 1 0 238149449 1284640768 26350 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 313633 26350 7630 1 0 284991 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1258724 KiB
Current children cumulated memory: 108344 KiB
[startup+0.700196 s]
/proc/loadavg: 4.14 4.11 3.87 5/269 200401
/proc/meminfo: memFree=122750788/131250000 swapFree=33008868/33010684
[pid=200396] ppid=200393 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/200396/stat : 200396 (scip-naps-1.00a) S 200393 200396 197761 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 238149447 4292608 736 18446744073709551615 94122918277120 94122919171653 140728653156768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122919410704 94122919458448 94122923794432 140728653162907 140728653163006 140728653163006 140728653168610 0
/proc/200396/statm: 1048 736 672 219 0 110 0
[pid=200401] ppid=200396 vsize=1363732 memory=214636 CPUtime=0.66 cores=0,2
/proc/200401/stat : 200401 (python3) R 200396 200396 197761 0 -1 4194304 46410 0 0 0 57 9 0 0 20 0 1 0 238149449 1396461568 53659 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 340933 53659 7630 1 0 312291 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1367924 KiB
Current children cumulated memory: 217580 KiB
[startup+1.50019 s]
/proc/loadavg: 4.14 4.11 3.87 5/269 200401
/proc/meminfo: memFree=122618676/131250000 swapFree=33008868/33010684
[pid=200396] ppid=200393 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/200396/stat : 200396 (scip-naps-1.00a) S 200393 200396 197761 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 238149447 4292608 736 18446744073709551615 94122918277120 94122919171653 140728653156768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122919410704 94122919458448 94122923794432 140728653162907 140728653163006 140728653163006 140728653168610 0
/proc/200396/statm: 1048 736 672 219 0 110 0
[pid=200401] ppid=200396 vsize=1625972 memory=476952 CPUtime=1.45 cores=0,2
/proc/200401/stat : 200401 (python3) R 200396 200396 197761 0 -1 4194304 111832 0 0 0 127 18 0 0 20 0 1 0 238149449 1664995328 119238 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 406493 119238 7790 1 0 377851 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1630164 KiB
Current children cumulated memory: 479896 KiB
[startup+3.1057 s]
/proc/loadavg: 4.13 4.11 3.87 5/269 200401
/proc/meminfo: memFree=122016956/131250000 swapFree=33008868/33010684
[pid=200396] ppid=200393 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/200396/stat : 200396 (scip-naps-1.00a) S 200393 200396 197761 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 238149447 4292608 736 18446744073709551615 94122918277120 94122919171653 140728653156768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122919410704 94122919458448 94122923794432 140728653162907 140728653163006 140728653163006 140728653168610 0
/proc/200396/statm: 1048 736 672 219 0 110 0
[pid=200401] ppid=200396 vsize=2071784 memory=914248 CPUtime=3.06 cores=0,2
/proc/200401/stat : 200401 (python3) R 200396 200396 197761 0 -1 4194304 203717 0 0 0 272 34 0 0 20 0 1 0 238149449 2121506816 228562 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 517946 228562 7886 1 0 489304 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 2075976 KiB
Current children cumulated memory: 917192 KiB
[startup+6.30019 s]
/proc/loadavg: 4.13 4.11 3.87 5/269 200401
/proc/meminfo: memFree=121750260/131250000 swapFree=33008868/33010684
[pid=200396] ppid=200393 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/200396/stat : 200396 (scip-naps-1.00a) S 200393 200396 197761 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 238149447 4292608 736 18446744073709551615 94122918277120 94122919171653 140728653156768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122919410704 94122919458448 94122923794432 140728653162907 140728653163006 140728653163006 140728653168610 0
/proc/200396/statm: 1048 736 672 219 0 110 0
[pid=200401] ppid=200396 vsize=2337868 memory=1178348 CPUtime=6.25 cores=0,2
/proc/200401/stat : 200401 (python3) R 200396 200396 197761 0 -1 4194304 263101 0 0 0 580 45 0 0 20 0 1 0 238149449 2393976832 294587 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 584467 294587 7950 1 0 555825 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2342060 KiB
Current children cumulated memory: 1181292 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 3.87 5/269 200402
/proc/meminfo: memFree=121737800/131250000 swapFree=33008868/33010684
[pid=200396] ppid=200393 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/200396/stat : 200396 (scip-naps-1.00a) S 200393 200396 197761 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 238149447 4292608 736 18446744073709551615 94122918277120 94122919171653 140728653156768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122919410704 94122919458448 94122923794432 140728653162907 140728653163006 140728653163006 140728653168610 0
/proc/200396/statm: 1048 736 672 219 0 110 0
[pid=200401] ppid=200396 vsize=2337868 memory=1178604 CPUtime=12.62 cores=0,2
/proc/200401/stat : 200401 (python3) R 200396 200396 197761 0 -1 4194304 263207 0 0 0 1217 45 0 0 20 0 1 0 238149449 2393976832 294651 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 584467 294651 7950 1 0 555825 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 2342060 KiB
Current children cumulated memory: 1181548 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 3.88 5/269 200402
/proc/meminfo: memFree=121731392/131250000 swapFree=33008868/33010684
[pid=200396] ppid=200393 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/200396/stat : 200396 (scip-naps-1.00a) S 200393 200396 197761 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 238149447 4292608 736 18446744073709551615 94122918277120 94122919171653 140728653156768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122919410704 94122919458448 94122923794432 140728653162907 140728653163006 140728653163006 140728653168610 0
/proc/200396/statm: 1048 736 672 219 0 110 0
[pid=200401] ppid=200396 vsize=2338776 memory=1178732 CPUtime=25.38 cores=0,2
/proc/200401/stat : 200401 (python3) R 200396 200396 197761 0 -1 4194304 263313 0 0 0 2492 46 0 0 20 0 1 0 238149449 2394906624 294683 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 584694 294683 7950 1 0 556052 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 2342968 KiB
Current children cumulated memory: 1181676 KiB
[startup+51.1059 s]
/proc/loadavg: 4.20 4.12 3.89 5/269 200402
/proc/meminfo: memFree=121705988/131250000 swapFree=33008868/33010684
[pid=200396] ppid=200393 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/200396/stat : 200396 (scip-naps-1.00a) S 200393 200396 197761 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 238149447 4292608 736 18446744073709551615 94122918277120 94122919171653 140728653156768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122919410704 94122919458448 94122923794432 140728653162907 140728653163006 140728653163006 140728653168610 0
/proc/200396/statm: 1048 736 672 219 0 110 0
[pid=200401] ppid=200396 vsize=2338776 memory=1178988 CPUtime=50.91 cores=0,2
/proc/200401/stat : 200401 (python3) R 200396 200396 197761 0 -1 4194304 263576 0 0 0 5043 48 0 0 20 0 1 0 238149449 2394906624 294747 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 584694 294747 7950 1 0 556052 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2342968 KiB
Current children cumulated memory: 1181932 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 3.91 5/270 200405
/proc/meminfo: memFree=121689808/131250000 swapFree=33008868/33010684
[pid=200396] ppid=200393 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/200396/stat : 200396 (scip-naps-1.00a) S 200393 200396 197761 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 238149447 4292608 736 18446744073709551615 94122918277120 94122919171653 140728653156768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122919410704 94122919458448 94122923794432 140728653162907 140728653163006 140728653163006 140728653168610 0
/proc/200396/statm: 1048 736 672 219 0 110 0
[pid=200401] ppid=200396 vsize=2338776 memory=1179500 CPUtime=101.94 cores=0,2
/proc/200401/stat : 200401 (python3) R 200396 200396 197761 0 -1 4194304 264047 0 0 0 10145 49 0 0 20 0 1 0 238149449 2394906624 294875 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 584694 294875 7950 1 0 556052 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 2342968 KiB
Current children cumulated memory: 1182444 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.12 3.93 5/270 200457
/proc/meminfo: memFree=121954216/131250000 swapFree=33008868/33010684
[pid=200396] ppid=200393 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/200396/stat : 200396 (scip-naps-1.00a) S 200393 200396 197761 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 238149447 4292608 736 18446744073709551615 94122918277120 94122919171653 140728653156768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122919410704 94122919458448 94122923794432 140728653162907 140728653163006 140728653163006 140728653168610 0
/proc/200396/statm: 1048 736 672 219 0 110 0
[pid=200401] ppid=200396 vsize=2339868 memory=1179884 CPUtime=161.76 cores=0,2
/proc/200401/stat : 200401 (python3) R 200396 200396 197761 0 -1 4194304 264782 0 0 0 16126 50 0 0 20 0 1 0 238149449 2396024832 294971 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 584967 294971 7950 1 0 556325 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 2344060 KiB
Current children cumulated memory: 1182828 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 3.94 5/269 200507
/proc/meminfo: memFree=121566108/131250000 swapFree=33008868/33010684
[pid=200396] ppid=200393 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/200396/stat : 200396 (scip-naps-1.00a) S 200393 200396 197761 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 238149447 4292608 736 18446744073709551615 94122918277120 94122919171653 140728653156768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122919410704 94122919458448 94122923794432 140728653162907 140728653163006 140728653163006 140728653168610 0
/proc/200396/statm: 1048 736 672 219 0 110 0
[pid=200401] ppid=200396 vsize=2352808 memory=1196904 CPUtime=221.57 cores=0,2
/proc/200401/stat : 200401 (python3) R 200396 200396 197761 0 -1 4194304 265077 0 0 0 22106 51 0 0 20 0 1 0 238149449 2409275392 299226 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 588202 299226 7950 1 0 559560 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 2357000 KiB
################
# More data... #
################
/proc/200518/stat : 200518 (naps-1.03a6) R 200401 200518 200518 0 -1 4194304 1615524 0 0 0 276913 442 0 0 20 0 1 0 238199602 55472128 12970 18446744073709551615 4198400 7047149 140727965682864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 19779584 140727965690255 140727965690353 140727965690353 140727965695945 0
/proc/200518/statm: 13543 12970 544 696 0 12704 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 2937884 KiB
Current children cumulated memory: 1779980 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/271 200866
/proc/meminfo: memFree=115659280/131250000 swapFree=33008868/33010684
[pid=200396] ppid=200393 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/200396/stat : 200396 (scip-naps-1.00a) S 200393 200396 197761 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 238149447 4292608 736 18446744073709551615 94122918277120 94122919171653 140728653156768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122919410704 94122919458448 94122923794432 140728653162907 140728653163006 140728653163006 140728653168610 0
/proc/200396/statm: 1048 736 672 219 0 110 0
[pid=200401] ppid=200396 vsize=2879520 memory=1725156 CPUtime=499.96 cores=0,2
/proc/200401/stat : 200401 (python3) S 200396 200396 197761 0 -1 4194304 298468 0 0 0 49928 68 0 0 20 0 1 0 238149449 2948628480 431289 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 719880 431289 8014 1 0 691238 0
[pid=200518] ppid=200401 vsize=82844 memory=67272 CPUtime=2833.39 cores=0,2
/proc/200518/stat : 200518 (naps-1.03a6) R 200401 200518 200518 0 -1 4194304 1644952 0 0 0 282889 450 0 0 20 0 1 0 238199602 84832256 16818 18446744073709551615 4198400 7047149 140727965682864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 19779584 140727965690255 140727965690353 140727965690353 140727965695945 0
/proc/200518/statm: 20711 16818 544 696 0 19872 0
Current children cumulated CPU time: 3333.35 s
Current children cumulated vsize: 2966556 KiB
Current children cumulated memory: 1795372 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.12 4.10 5/271 200868
/proc/meminfo: memFree=115625572/131250000 swapFree=33008868/33010684
[pid=200396] ppid=200393 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/200396/stat : 200396 (scip-naps-1.00a) S 200393 200396 197761 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 238149447 4292608 736 18446744073709551615 94122918277120 94122919171653 140728653156768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122919410704 94122919458448 94122923794432 140728653162907 140728653163006 140728653163006 140728653168610 0
/proc/200396/statm: 1048 736 672 219 0 110 0
[pid=200401] ppid=200396 vsize=2879520 memory=1725156 CPUtime=499.96 cores=0,2
/proc/200401/stat : 200401 (python3) S 200396 200396 197761 0 -1 4194304 298468 0 0 0 49928 68 0 0 20 0 1 0 238149449 2948628480 431289 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 719880 431289 8014 1 0 691238 0
[pid=200518] ppid=200401 vsize=82844 memory=69320 CPUtime=2893.23 cores=0,2
/proc/200518/stat : 200518 (naps-1.03a6) R 200401 200518 200518 0 -1 4194304 1748560 0 0 0 288848 475 0 0 20 0 1 0 238199602 84832256 17330 18446744073709551615 4198400 7047149 140727965682864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 19779584 140727965690255 140727965690353 140727965690353 140727965695945 0
/proc/200518/statm: 20711 17330 544 696 0 19872 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 2966556 KiB
Current children cumulated memory: 1797420 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 200871
/proc/meminfo: memFree=115636944/131250000 swapFree=33008868/33010684
[pid=200396] ppid=200393 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/200396/stat : 200396 (scip-naps-1.00a) S 200393 200396 197761 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 238149447 4292608 736 18446744073709551615 94122918277120 94122919171653 140728653156768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122919410704 94122919458448 94122923794432 140728653162907 140728653163006 140728653163006 140728653168610 0
/proc/200396/statm: 1048 736 672 219 0 110 0
[pid=200401] ppid=200396 vsize=2879520 memory=1725156 CPUtime=499.96 cores=0,2
/proc/200401/stat : 200401 (python3) S 200396 200396 197761 0 -1 4194304 298468 0 0 0 49928 68 0 0 20 0 1 0 238149449 2948628480 431289 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 719880 431289 8014 1 0 691238 0
[pid=200518] ppid=200401 vsize=54172 memory=50476 CPUtime=2953.05 cores=0,2
/proc/200518/stat : 200518 (naps-1.03a6) R 200401 200518 200518 0 -1 4194304 1791473 0 0 0 294819 486 0 0 20 0 1 0 238199602 55472128 12619 18446744073709551615 4198400 7047149 140727965682864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 19779584 140727965690255 140727965690353 140727965690353 140727965695945 0
/proc/200518/statm: 13543 12619 544 696 0 12704 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 2937884 KiB
Current children cumulated memory: 1778576 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 200873
/proc/meminfo: memFree=115606240/131250000 swapFree=33008868/33010684
[pid=200396] ppid=200393 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/200396/stat : 200396 (scip-naps-1.00a) S 200393 200396 197761 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 238149447 4292608 736 18446744073709551615 94122918277120 94122919171653 140728653156768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122919410704 94122919458448 94122923794432 140728653162907 140728653163006 140728653163006 140728653168610 0
/proc/200396/statm: 1048 736 672 219 0 110 0
[pid=200401] ppid=200396 vsize=2879520 memory=1725156 CPUtime=499.96 cores=0,2
/proc/200401/stat : 200401 (python3) S 200396 200396 197761 0 -1 4194304 298468 0 0 0 49928 68 0 0 20 0 1 0 238149449 2948628480 431289 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 719880 431289 8014 1 0 691238 0
[pid=200518] ppid=200401 vsize=66460 memory=61128 CPUtime=3012.89 cores=0,2
/proc/200518/stat : 200518 (naps-1.03a6) R 200401 200518 200518 0 -1 4194304 1831740 0 0 0 300790 499 0 0 20 0 1 0 238199602 68055040 15282 18446744073709551615 4198400 7047149 140727965682864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 19779584 140727965690255 140727965690353 140727965690353 140727965695945 0
/proc/200518/statm: 16615 15282 544 696 0 15776 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 2950172 KiB
Current children cumulated memory: 1789228 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/271 200923
/proc/meminfo: memFree=116874416/131250000 swapFree=33008868/33010684
[pid=200396] ppid=200393 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/200396/stat : 200396 (scip-naps-1.00a) S 200393 200396 197761 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 238149447 4292608 736 18446744073709551615 94122918277120 94122919171653 140728653156768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122919410704 94122919458448 94122923794432 140728653162907 140728653163006 140728653163006 140728653168610 0
/proc/200396/statm: 1048 736 672 219 0 110 0
[pid=200401] ppid=200396 vsize=2879520 memory=1725156 CPUtime=499.96 cores=0,2
/proc/200401/stat : 200401 (python3) S 200396 200396 197761 0 -1 4194304 298468 0 0 0 49928 68 0 0 20 0 1 0 238149449 2948628480 431289 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 719880 431289 8014 1 0 691238 0
[pid=200518] ppid=200401 vsize=82844 memory=67272 CPUtime=3072.72 cores=0,2
/proc/200518/stat : 200518 (naps-1.03a6) R 200401 200518 200518 0 -1 4194304 1874218 0 0 0 306762 510 0 0 20 0 1 0 238199602 84832256 16818 18446744073709551615 4198400 7047149 140727965682864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 19779584 140727965690255 140727965690353 140727965690353 140727965695945 0
/proc/200518/statm: 20711 16818 544 696 0 19872 0
Current children cumulated CPU time: 3572.68 s
Current children cumulated vsize: 2966556 KiB
Current children cumulated memory: 1795372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 200924
/proc/meminfo: memFree=116814372/131250000 swapFree=33008868/33010684
[pid=200396] ppid=200393 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/200396/stat : 200396 (scip-naps-1.00a) S 200393 200396 197761 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 238149447 4292608 736 18446744073709551615 94122918277120 94122919171653 140728653156768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94122919410704 94122919458448 94122923794432 140728653162907 140728653163006 140728653163006 140728653168610 0
/proc/200396/statm: 1048 736 672 219 0 110 0
[pid=200401] ppid=200396 vsize=2879520 memory=1725156 CPUtime=499.96 cores=0,2
/proc/200401/stat : 200401 (python3) S 200396 200396 197761 0 -1 4194304 298468 0 0 0 49928 68 0 0 20 0 1 0 238149449 2948628480 431289 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 719880 431289 8014 1 0 691238 0
[pid=200518] ppid=200401 vsize=66460 memory=61128 CPUtime=3100.06 cores=0,2
/proc/200518/stat : 200518 (naps-1.03a6) R 200401 200518 200518 0 -1 4194304 1884063 0 0 0 309493 513 0 0 20 0 1 0 238199602 68055040 15282 18446744073709551615 4198400 7047149 140727965682864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 19779584 140727965690255 140727965690353 140727965690353 140727965695945 0
/proc/200518/statm: 16615 15282 544 696 0 15776 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2950172 KiB
Current children cumulated memory: 1789228 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.72 s]
# the end of solver process 200396 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002697 s, system=0.005884 s
[startup+3610.94 s]
# the end of solver process 200401 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.35 s, system=5.92402 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 200924
/proc/meminfo: memFree=116870472/131250000 swapFree=33008868/33010684
[pid=200401] ppid=200393 vsize=2879520 memory=1725156 CPUtime=3600.71 cores=0,2
/proc/200401/stat : 200401 (python3) R 200393 200396 197761 0 -1 4194304 359983 1884064 0 0 49994 71 309493 513 20 0 1 0 238149449 2948628480 431289 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 719880 431289 8014 1 0 691238 0
Current cumulated CPU time of completed processes: 0.008581 s
Current children cumulated CPU time: 3600.71 s
Current children cumulated vsize: 2879520 KiB
Current children cumulated memory: 1725156 KiB
[startup+3610.8 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 200924
/proc/meminfo: memFree=116870472/131250000 swapFree=33008868/33010684
[pid=200401] ppid=200393 vsize=2866440 memory=1713432 CPUtime=3601.11 cores=0,2
/proc/200401/stat : 200401 (python3) R 200393 200396 197761 0 -1 4194304 386314 1884064 0 0 50032 73 309493 513 20 0 1 0 238149449 2935234560 428358 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 716610 428358 8014 1 0 687968 0
Current cumulated CPU time of completed processes: 0.008581 s
Current children cumulated CPU time: 3601.11 s
Current children cumulated vsize: 2866440 KiB
Current children cumulated memory: 1713432 KiB
[startup+3610.9 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 200924
/proc/meminfo: memFree=116870472/131250000 swapFree=33008868/33010684
[pid=200401] ppid=200393 vsize=2147620 memory=1001020 CPUtime=3601.21 cores=0,2
/proc/200401/stat : 200401 (python3) R 200393 200396 197761 0 -1 4194304 393676 1884064 0 0 50040 75 309493 513 20 0 1 0 238149449 2199162880 250255 18446744073709551615 94681602097152 94681602097529 140723916582528 0 0 0 0 16781312 0 0 0 0 17 0 0 0 0 0 0 94681602108824 94681602109444 94681603948544 140723916589391 140723916589600 140723916589600 140723916595175 0
/proc/200401/statm: 536905 250255 8014 1 0 508263 0
Current cumulated CPU time of completed processes: 0.008581 s
Current children cumulated CPU time: 3601.21 s
Current children cumulated vsize: 2147620 KiB
Current children cumulated memory: 1001020 KiB
Child status: 0
Real time (s): 3610.94
CPU time (s): 3601.27
CPU user time (s): 3595.35
CPU system time (s): 5.92402
CPU usage (%): 99.7323
Max. virtual memory (cumulated for all children) (KiB): 3040288
Max. memory (cumulated for all children) (KiB): 1859436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.35
system time used= 5.92402
maximum resident set size= 1725156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2279847
page faults= 0
swaps= 0
block input operations= 0
block output operations= 36256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 388
involuntary context switches= 4721
# summary of solver processes directly reported to runsolver:
# pid: 200396,200401
# total CPU time (s): 3601.27
# total CPU user time (s): 3595.35
# total CPU system time (s): 5.92402
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52323 second user time and 16.3092 second system time
The end
Begin job on nodeC013 at 2025-07-23 00:51:32 IDJOB=4544978 IDBENCH=180687 IDSOLVER=3388 FILE ID=nodeC013/4544978-1753224692 RUNJOBID= nodeC013-1753222587-197771 SLURM_JOB_ID= 9687822 Free space on /tmp= 432976 MiB SOLVER NAME= SCIP-NaPS 1.00a2 BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat20_19_identity_complement.opb COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544978-1753224692/watcher-4544978-1753224692 -o /tmp/evaluation-result-4544978-1753224692/solver-4544978-1753224692 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753222587-197771 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4544978-1753224692.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6b62b1f0af3a4b117c91c07257537aad RANDOM SEED=1216778982 nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3602.584 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.859 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 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.832 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 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 : 3600.266 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.830 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.824 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 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.878 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 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 : 3625.525 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 122879464 kB MemAvailable: 123995908 kB Buffers: 1668 kB Cached: 1856884 kB SwapCached: 52 kB Active: 6596288 kB Inactive: 998924 kB Active(anon): 5753212 kB Inactive(anon): 4872 kB Active(file): 843076 kB Inactive(file): 994052 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33008868 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 23932 kB Writeback: 0 kB AnonPages: 5717244 kB Mapped: 131192 kB Shmem: 21424 kB KReclaimable: 236712 kB Slab: 333932 kB SReclaimable: 236712 kB SUnreclaim: 97220 kB KernelStack: 4284 kB PageTables: 15112 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 9627544 kB VmallocTotal: 34359738367 kB VmallocUsed: 150600 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 2074624 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 215764 kB DirectMap2M: 8992768 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432916 MiB End job on nodeC013 at 2025-07-23 01:51:43