Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | ? (NS) | 3.02797 | 1.42505 |
Name | XCSP19/hcp/ graph162.xml |
MD5SUM | 0d1146fb66ad2f4e2d5d75203fe6e22a |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 3.99647 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 909 |
Number of constraints | 1 |
Number of domains | 909 |
Minimum domain size | 2 |
Maximum domain size | 908 |
Distribution of domain sizes | [{"size":2,"count":2},{"size":3,"count":1},{"size":4,"count":1},{"size":5,"count":1},{"size":6,"count":1},{"size":7,"count":1},{"size":8,"count":1},{"size":9,"count":1},{"size":10,"count":1},{"size":11,"count":1},{"size":12,"count":1},{"size":13,"count":1},{"size":14,"count":1},{"size":15,"count":1},{"size":16,"count":1},{"size":17,"count":1},{"size":18,"count":1},{"size":19,"count":1},{"size":20,"count":1},{"size":21,"count":1},{"size":22,"count":1},{"size":23,"count":1},{"size":24,"count":1},{"size":25,"count":1},{"size":26,"count":1},"...",{"size":884,"count":1}, {"size":885,"count":1}, {"size":886,"count":1}, {"size":887,"count":1}, {"size":888,"count":1}, {"size":889,"count":1}, {"size":890,"count":1}, {"size":891,"count":1}, {"size":892,"count":1}, {"size":893,"count":1}, {"size":894,"count":1}, {"size":895,"count":1}, {"size":896,"count":1}, {"size":897,"count":1}, {"size":898,"count":1}, {"size":899,"count":1}, {"size":900,"count":1}, {"size":901,"count":1}, {"size":902,"count":1}, {"size":903,"count":1}, {"size":904,"count":1}, {"size":905,"count":1}, {"size":906,"count":1}, {"size":907,"count":1}, {"size":908,"count":1}] |
Minimum variable degree | 1 |
Maximum variable degree | 1 |
Distribution of variable degrees | [{"degree":1,"count":909}] |
Minimum constraint arity | 909 |
Maximum constraint arity | 909 |
Distribution of constraint arities | [{"arity":909,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"circuit","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-21135-serial-file.bin HOME/instance-4392806-1568448867.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Sat Sep 14 10:13:50 CEST 2019 0.65/0.56 c PID: 21138 0.65/0.56 c IP: 172.20.3.149 0.65/0.56 c HOST: node149.alineos.net 0.65/0.57 c (0,0) Parsing Begin 2.78/1.35 c (0,0) Parsing End 2.78/1.36 c (0,0) CSP: 909 int (0 aux), 0 bool (0 aux), 1 ctr, max domain size 908 2.78/1.36 c (0,0) Heap : 563 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.78/1.36 c (0,0) Constraint Name Generate Begin 2.78/1.36 c (0,0) Ctr:HOME/instance-4392806-1568448867.xml,Circuit:Var 2.78/1.36 c (0,0) Constraint Name Generate End 2.78/1.36 c (0,0) Heap : 563 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.78/1.36 c (0,0) CSP to CSPinCNF Begin 2.78/1.40 c (0,0) translated 1 (10%) constraints 3.00/1.40 c (0,0) fun.scop.ScopException: Circuit((v0,v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42,v43,v44,v45,v46,v47,v48,v49,v50,v51,v52,v53,v54,v55,v56,v57,v58,v59,v60,v61,v62,v63,v64,v65,v66,v67,v68,v69,v70,v71,v72,v73,v74,v75,v76,v77,v78,v79,v80,v81,v82,v83,v84,v85,v86,v87,v88,v89,v90,v91,v92,v93,v94,v95,v96,v97,v98,v99,v100,v101,v102,v103,v104,v105,v106,v107,v108,v109,v110,v111,v112,v113,v114,v115,v116,v117,v118,v119,v120,v121,v122,v123,v124,v125,v126,v127,v128,v129,v130,v131,v132,v133,v134,v135,v136,v137,v138,v139,v140,v141,v142,v143,v144,v145,v146,v147,v148,v149,v150,v151,v152,v153,v154,v155,v156,v157,v158,v159,v160,v161,v162,v163,v164,v165,v166,v167,v168,v169,v170,v171,v172,v173,v174,v175,v176,v177,v178,v179,v180,v181,v182,v183,v184,v185,v186,v187,v188,v189,v190,v191,v192,v193,v194,v195,v196,v197,v198,v199,v200,v201,v202,v203,v204,v205,v206,v207,v208,v209,v210,v211,v212,v213,v214,v215,v216,v217,v218,v219,v220,v221,v222,v223,v224,v225,v226,v227,v228,v229,v230,v231,v232,v233,v234,v235,v236,v237,v238,v239,v240,v241,v242,v243,v244,v245,v246,v247,v248,v249,v250,v251,v252,v253,v254,v255,v256,v257,v258,v259,v260,v261,v262,v263,v264,v265,v266,v267,v268,v269,v270,v271,v272,v273,v274,v275,v276,v277,v278,v279,v280,v281,v282,v283,v284,v285,v286,v287,v288,v289,v290,v291,v292,v293,v294,v295,v296,v297,v298,v299,v300,v301,v302,v303,v304,v305,v306,v307,v308,v309,v310,v311,v312,v313,v314,v315,v316,v317,v318,v319,v320,v321,v322,v323,v324,v325,v326,v327,v328,v329,v330,v331,v332,v333,v334,v335,v336,v337,v338,v339,v340,v341,v342,v343,v344,v345,v346,v347,v348,v349,v350,v351,v352,v353,v354,v355,v356,v357,v358,v359,v360,v361,v362,v363,v364,v365,v366,v367,v368,v369,v370,v371,v372,v373,v374,v375,v376,v377,v378,v379,v380,v381,v382,v383,v384,v385,v386,v387,v388,v389,v390,v391,v392,v393,v394,v395,v396,v397,v398,v399,v400,v401,v402,v403,v404,v405,v406,v407,v408,v409,v410,v411,v412,v413,v414,v415,v416,v417,v418,v419,v420,v421,v422,v423,v424,v425,v426,v427,v428,v429,v430,v431,v432,v433,v434,v435,v436,v437,v438,v439,v440,v441,v442,v443,v444,v445,v446,v447,v448,v449,v450,v451,v452,v453,v454,v455,v456,v457,v458,v459,v460,v461,v462,v463,v464,v465,v466,v467,v468,v469,v470,v471,v472,v473,v474,v475,v476,v477,v478,v479,v480,v481,v482,v483,v484,v485,v486,v487,v488,v489,v490,v491,v492,v493,v494,v495,v496,v497,v498,v499,v500,v501,v502,v503,v504,v505,v506,v507,v508,v509,v510,v511,v512,v513,v514,v515,v516,v517,v518,v519,v520,v521,v522,v523,v524,v525,v526,v527,v528,v529,v530,v531,v532,v533,v534,v535,v536,v537,v538,v539,v540,v541,v542,v543,v544,v545,v546,v547,v548,v549,v550,v551,v552,v553,v554,v555,v556,v557,v558,v559,v560,v561,v562,v563,v564,v565,v566,v567,v568,v569,v570,v571,v572,v573,v574,v575,v576,v577,v578,v579,v580,v581,v582,v583,v584,v585,v586,v587,v588,v589,v590,v591,v592,v593,v594,v595,v596,v597,v598,v599,v600,v601,v602,v603,v604,v605,v606,v607,v608,v609,v610,v611,v612,v613,v614,v615,v616,v617,v618,v619,v620,v621,v622,v623,v624,v625,v626,v627,v628,v629,v630,v631,v632,v633,v634,v635,v636,v637,v638,v639,v640,v641,v642,v643,v644,v645,v646,v647,v648,v649,v650,v651,v652,v653,v654,v655,v656,v657,v658,v659,v660,v661,v662,v663,v664,v665,v666,v667,v668,v669,v670,v671,v672,v673,v674,v675,v676,v677,v678,v679,v680,v681,v682,v683,v684,v685,v686,v687,v688,v689,v690,v691,v692,v693,v694,v695,v696,v697,v698,v699,v700,v701,v702,v703,v704,v705,v706,v707,v708,v709,v710,v711,v712,v713,v714,v715,v716,v717,v718,v719,v720,v721,v722,v723,v724,v725,v726,v727,v728,v729,v730,v731,v732,v733,v734,v735,v736,v737,v738,v739,v740,v741,v742,v743,v744,v745,v746,v747,v748,v749,v750,v751,v752,v753,v754,v755,v756,v757,v758,v759,v760,v761,v762,v763,v764,v765,v766,v767,v768,v769,v770,v771,v772,v773,v774,v775,v776,v777,v778,v779,v780,v781,v782,v783,v784,v785,v786,v787,v788,v789,v790,v791,v792,v793,v794,v795,v796,v797,v798,v799,v800,v801,v802,v803,v804,v805,v806,v807,v808,v809,v810,v811,v812,v813,v814,v815,v816,v817,v818,v819,v820,v821,v822,v823,v824,v825,v826,v827,v828,v829,v830,v831,v832,v833,v834,v835,v836,v837,v838,v839,v840,v841,v842,v843,v844,v845,v846,v847,v848,v849,v850,v851,v852,v853,v854,v855,v856,v857,v858,v859,v860,v861,v862,v863,v864,v865,v866,v867,v868,v869,v870,v871,v872,v873,v874,v875,v876,v877,v878,v879,v880,v881,v882,v883,v884,v885,v886,v887,v888,v889,v890,v891,v892,v893,v894,v895,v896,v897,v898,v899,v900,v901,v902,v903,v904,v905,v906,v907,v908),Some(0),None) did not match in CtrTr 3.00/1.40 c (0,0) fun.scop.TranslatorOrd.transCtr(Translator.scala:1829) 3.00/1.40 c (0,0) fun.scop.TranslatorOrd.$anonfun$transCSPtoCSPinCNF$1(Translator.scala:2019) 3.00/1.40 c (0,0) scala.collection.immutable.Range.foreach$mVc$sp(Range.scala:155) 3.00/1.40 c (0,0) fun.scop.TranslatorOrd.transCSPtoCSPinCNF(Translator.scala:2009) 3.00/1.40 c (0,0) fun.scop.XCSP19Encode.run(XCSP19Encode.scala:279) 3.00/1.40 c (0,0) fun.scop.XCSP19Encode$.main(XCSP19Encode.scala:568) 3.00/1.40 c (0,0) fun.scop.XCSP19Encode.main(XCSP19Encode.scala) 3.00/1.40 c (0,0) 0,0,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(CtrName) 3.00/1.40 s UNSUPPORTED 3.00/1.40 c END-Prog: Sat Sep 14 10:13:50 CEST 2019 3.00/1.42 c (scop.sh) HOME/scop-21135-serial-file.bin does not exist. End.
runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (14859 MiB free) memory of node 1: 16384 MiB (15285 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392806-1568448867/watcher-4392806-1568448867 -o /tmp/evaluation-result-4392806-1568448867/solver-4392806-1568448867 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568448565-20335 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392806-1568448867.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=21135, runsolver pid=21132 Current StackSize limit: 8192 KiB [startup+0.100111 s]* /proc/loadavg: 7.54 8.12 7.99 2/213 21157 /proc/meminfo: memFree=30775468/32770624 swapFree=66940988/67108860 [pid=21135] ppid=21132 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/21135/stat : 21135 (scop.sh) S 21132 21135 20308 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421125369 115843072 349 33554432000 4194304 5098028 140727181639856 140727181637112 140029825753724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33366016 140727181648676 140727181649004 140727181649004 140727181651917 0 /proc/21135/statm: 28282 349 296 221 0 87 0 [pid=21138] ppid=21135 vsize=27314120 memory=106060 CPUtime=0.1 cores=0-7 /proc/21138/stat : 21138 (java) S 21135 21135 20308 0 -1 1077944320 6630 0 0 0 8 2 0 0 20 0 20 0 421125369 27969658880 26515 33554432000 4194304 4196468 140728798487232 140728798469776 140308007485175 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 /proc/21138/statm: 6828530 26515 2776 1 0 6790935 0 [pid=21138/tid=21139] ppid=21135 vsize=27314120 memory=7752273241215771034 CPUtime=0.09 cores=0-7 /proc/21138/task/21139/stat : 21139 (java) R 21135 21135 20308 0 -1 4202560 4740 0 0 0 7 2 0 0 20 0 20 0 421125369 27969658880 26580 33554432000 4194304 4196468 140728798487232 140307979319712 140308000582035 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21140] ppid=21135 vsize=27314120 memory=732370458230213605 CPUtime=0 cores=0-7 /proc/21138/task/21140/stat : 21140 (java) S 21135 21135 20308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 26580 33554432000 4194304 4196468 140728798487232 140308011727760 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21141] ppid=21135 vsize=27314120 memory=140319892760192 CPUtime=0 cores=0-7 /proc/21138/task/21141/stat : 21141 (java) S 21135 21135 20308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 26580 33554432000 4194304 4196468 140728798487232 140307795122960 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21142] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21142/stat : 21142 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 26580 33554432000 4194304 4196468 140728798487232 140307794070672 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21143] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21143/stat : 21143 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 26580 33554432000 4194304 4196468 140728798487232 140307793017872 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21144] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21144/stat : 21144 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 26580 33554432000 4194304 4196468 140728798487232 140307791964560 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21145] ppid=21135 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/21138/task/21145/stat : 21145 (java) S 21135 21135 20308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 26580 33554432000 4194304 4196468 140728798487232 140307425384720 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21146] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21146/stat : 21146 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 26580 33554432000 4194304 4196468 140728798487232 140307424332432 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21147] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21147/stat : 21147 (java) S 21135 21135 20308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 26580 33554432000 4194304 4196468 140728798487232 140307423279632 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21148] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21148/stat : 21148 (java) S 21135 21135 20308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421125373 27969658880 26580 33554432000 4194304 4196468 140728798487232 140306059065968 140308007496322 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21149] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21149/stat : 21149 (java) S 21135 21135 20308 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421125374 27969658880 26580 33554432000 4194304 4196468 140728798487232 140305978352928 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21150] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21150/stat : 21150 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125374 27969658880 26580 33554432000 4194304 4196468 140728798487232 140305709917808 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21151] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21151/stat : 21151 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125376 27969658880 26580 33554432000 4194304 4196468 140728798487232 140305335409232 140308007503771 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21152] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21152/stat : 21152 (java) S 21135 21135 20308 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 421125377 27969658880 26580 33554432000 4194304 4196468 140728798487232 140306058012784 140308007496322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21153] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21153/stat : 21153 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125377 27969658880 26580 33554432000 4194304 4196468 140728798487232 140306056959984 140308007496322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21154] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21154/stat : 21154 (java) S 21135 21135 20308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421125377 27969658880 26580 33554432000 4194304 4196468 140728798487232 140306055907696 140308007496322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21155] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21155/stat : 21155 (java) R 21135 21135 20308 0 -1 4202560 240 0 0 0 0 0 0 0 20 0 20 0 421125377 27969658880 26580 33554432000 4194304 4196468 140728798487232 140306054854896 140307986381312 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21156] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21156/stat : 21156 (java) S 21135 21135 20308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421125377 27969658880 26580 33554432000 4194304 4196468 140728798487232 140304837503840 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21157] ppid=21135 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/21138/task/21157/stat : 21157 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125377 27969658880 26580 33554432000 4194304 4196468 140728798487232 140306053802800 140308007496322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107456 KiB [startup+0.210401 s]* /proc/loadavg: 7.54 8.12 7.99 3/213 21157 /proc/meminfo: memFree=30753288/32770624 swapFree=66940988/67108860 [pid=21135] ppid=21132 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/21135/stat : 21135 (scop.sh) S 21132 21135 20308 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421125369 115843072 349 33554432000 4194304 5098028 140727181639856 140727181637112 140029825753724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33366016 140727181648676 140727181649004 140727181649004 140727181651917 0 /proc/21135/statm: 28282 349 296 221 0 87 0 [pid=21138] ppid=21135 vsize=27314120 memory=125668 CPUtime=0.24 cores=0-7 /proc/21138/stat : 21138 (java) S 21135 21135 20308 0 -1 1077944320 12264 0 0 0 21 3 0 0 20 0 20 0 421125369 27969658880 31417 33554432000 4194304 4196468 140728798487232 140728798469776 140308007485175 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 /proc/21138/statm: 6828530 31417 2962 1 0 6790935 0 [pid=21138/tid=21139] ppid=21135 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7 /proc/21138/task/21139/stat : 21139 (java) R 21135 21135 20308 0 -1 4202560 9982 0 0 0 17 3 0 0 20 0 20 0 421125369 27969658880 31417 33554432000 4194304 4196468 140728798487232 140307979307888 140307989048704 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21140] ppid=21135 vsize=27314120 memory=732370458230213605 CPUtime=0 cores=0-7 /proc/21138/task/21140/stat : 21140 (java) S 21135 21135 20308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 31417 33554432000 4194304 4196468 140728798487232 140308011727760 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21141] ppid=21135 vsize=27314120 memory=140319892760192 CPUtime=0 cores=0-7 /proc/21138/task/21141/stat : 21141 (java) S 21135 21135 20308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 31417 33554432000 4194304 4196468 140728798487232 140307795122960 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21142] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21142/stat : 21142 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 31417 33554432000 4194304 4196468 140728798487232 140307794070672 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21143] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21143/stat : 21143 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 31417 33554432000 4194304 4196468 140728798487232 140307793017872 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21144] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21144/stat : 21144 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 31417 33554432000 4194304 4196468 140728798487232 140307791964560 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21145] ppid=21135 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/21138/task/21145/stat : 21145 (java) S 21135 21135 20308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 31417 33554432000 4194304 4196468 140728798487232 140307425384720 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21146] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21146/stat : 21146 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 31417 33554432000 4194304 4196468 140728798487232 140307424332432 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21147] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21147/stat : 21147 (java) S 21135 21135 20308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 31417 33554432000 4194304 4196468 140728798487232 140307423279632 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21148] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21148/stat : 21148 (java) S 21135 21135 20308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421125373 27969658880 31417 33554432000 4194304 4196468 140728798487232 140306059065968 140308007496322 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21149] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21149/stat : 21149 (java) S 21135 21135 20308 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421125374 27969658880 31417 33554432000 4194304 4196468 140728798487232 140305978352928 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21150] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21150/stat : 21150 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125374 27969658880 31417 33554432000 4194304 4196468 140728798487232 140305709917808 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21151] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21151/stat : 21151 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125376 27969658880 31417 33554432000 4194304 4196468 140728798487232 140305335409232 140308007503771 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21152] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21152/stat : 21152 (java) S 21135 21135 20308 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 20 0 421125377 27969658880 31417 33554432000 4194304 4196468 140728798487232 140306058012784 140308007496322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21153] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21153/stat : 21153 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125377 27969658880 31417 33554432000 4194304 4196468 140728798487232 140306056959984 140308007496322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21154] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21154/stat : 21154 (java) S 21135 21135 20308 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 421125377 27969658880 31417 33554432000 4194304 4196468 140728798487232 140306055907696 140308007496322 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21155] ppid=21135 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/21138/task/21155/stat : 21155 (java) S 21135 21135 20308 0 -1 1077944384 443 0 0 0 2 0 0 0 20 0 20 0 421125377 27969658880 31417 33554432000 4194304 4196468 140728798487232 140306054854896 140308007496322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21156] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21156/stat : 21156 (java) S 21135 21135 20308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421125377 27969658880 31417 33554432000 4194304 4196468 140728798487232 140304837503840 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21157] ppid=21135 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/21138/task/21157/stat : 21157 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125377 27969658880 31417 33554432000 4194304 4196468 140728798487232 140306053802800 140308007496322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 127064 KiB [startup+0.309846 s]* /proc/loadavg: 7.54 8.12 7.99 2/213 21157 /proc/meminfo: memFree=30750000/32770624 swapFree=66940988/67108860 [pid=21135] ppid=21132 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/21135/stat : 21135 (scop.sh) S 21132 21135 20308 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421125369 115843072 349 33554432000 4194304 5098028 140727181639856 140727181637112 140029825753724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33366016 140727181648676 140727181649004 140727181649004 140727181651917 0 /proc/21135/statm: 28282 349 296 221 0 87 0 [pid=21138] ppid=21135 vsize=27314120 memory=129580 CPUtime=0.42 cores=0-7 /proc/21138/stat : 21138 (java) S 21135 21135 20308 0 -1 1077944320 12783 0 0 0 38 4 0 0 20 0 20 0 421125369 27969658880 32395 33554432000 4194304 4196468 140728798487232 140728798469776 140308007485175 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 /proc/21138/statm: 6828530 32395 3017 1 0 6790935 0 [pid=21138/tid=21139] ppid=21135 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/21138/task/21139/stat : 21139 (java) R 21135 21135 20308 0 -1 4202560 10313 0 0 0 26 3 0 0 20 0 20 0 421125369 27969658880 32395 33554432000 4194304 4196468 140728798487232 140307979279280 140307990671984 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21140] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21140/stat : 21140 (java) S 21135 21135 20308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 32395 33554432000 4194304 4196468 140728798487232 140308011727760 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21141] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21141/stat : 21141 (java) S 21135 21135 20308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 32395 33554432000 4194304 4196468 140728798487232 140307795122960 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21142] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21142/stat : 21142 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 32395 33554432000 4194304 4196468 140728798487232 140307794070672 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21143] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21143/stat : 21143 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 32395 33554432000 4194304 4196468 140728798487232 140307793017872 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21144] ppid=21135 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/21138/task/21144/stat : 21144 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 32395 33554432000 4194304 4196468 140728798487232 140307791964560 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21145] ppid=21135 vsize=27314120 memory=140319735772079 CPUtime=0 cores=0-7 /proc/21138/task/21145/stat : 21145 (java) S 21135 21135 20308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 32395 33554432000 4194304 4196468 140728798487232 140307425384720 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21146] ppid=21135 vsize=27314120 memory=140319735774384 CPUtime=0 cores=0-7 /proc/21138/task/21146/stat : 21146 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 32395 33554432000 4194304 4196468 140728798487232 140307424332432 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21147] ppid=21135 vsize=27314120 memory=140319735776688 CPUtime=0 cores=0-7 /proc/21138/task/21147/stat : 21147 (java) S 21135 21135 20308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421125372 27969658880 32395 33554432000 4194304 4196468 140728798487232 140307423279632 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21148] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21148/stat : 21148 (java) S 21135 21135 20308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421125373 27969658880 32395 33554432000 4194304 4196468 140728798487232 140306059065968 140308007496322 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21149] ppid=21135 vsize=27314120 memory=280639471560336 CPUtime=0 cores=0-7 /proc/21138/task/21149/stat : 21149 (java) S 21135 21135 20308 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421125374 27969658880 32395 33554432000 4194304 4196468 140728798487232 140305978352928 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21150] ppid=21135 vsize=27314120 memory=280639471567248 CPUtime=0 cores=0-7 /proc/21138/task/21150/stat : 21150 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125374 27969658880 32395 33554432000 4194304 4196468 140728798487232 140305709917808 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21151] ppid=21135 vsize=27314120 memory=280639471508400 CPUtime=0 cores=0-7 /proc/21138/task/21151/stat : 21151 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125376 27969658880 32395 33554432000 4194304 4196468 140728798487232 140305335409232 140308007503771 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21152] ppid=21135 vsize=27314120 memory=280639471581072 CPUtime=0 cores=0-7 /proc/21138/task/21152/stat : 21152 (java) S 21135 21135 20308 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 20 0 421125377 27969658880 32395 33554432000 4194304 4196468 140728798487232 140306058012784 140308007496322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21153] ppid=21135 vsize=27314120 memory=280639471587984 CPUtime=0 cores=0-7 /proc/21138/task/21153/stat : 21153 (java) R 21135 21135 20308 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 20 0 421125377 27969658880 32395 33554432000 4194304 4196468 140728798487232 140306056959984 140307988661170 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21154] ppid=21135 vsize=27314120 memory=280639471585680 CPUtime=0.02 cores=0-7 /proc/21138/task/21154/stat : 21154 (java) S 21135 21135 20308 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 20 0 421125377 27969658880 32395 33554432000 4194304 4196468 140728798487232 140306055907696 140308007496322 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21155] ppid=21135 vsize=27314120 memory=280639471601840 CPUtime=0.07 cores=0-7 /proc/21138/task/21155/stat : 21155 (java) S 21135 21135 20308 0 -1 1077944384 484 0 0 0 7 0 0 0 20 0 20 0 421125377 27969658880 32395 33554432000 4194304 4196468 140728798487232 140306054854896 140308007496322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21156] ppid=21135 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21156/stat : 21156 (java) S 21135 21135 20308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421125377 27969658880 32395 33554432000 4194304 4196468 140728798487232 140304837503840 140308007495381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21157] ppid=21135 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/21138/task/21157/stat : 21157 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125377 27969658880 32395 33554432000 4194304 4196468 140728798487232 140306053802800 140308007496322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 130976 KiB [startup+0.700957 s] /proc/loadavg: 7.54 8.12 7.99 3/213 21157 /proc/meminfo: memFree=30729244/32770624 swapFree=66940988/67108860 [pid=21135] ppid=21132 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/21135/stat : 21135 (scop.sh) S 21132 21135 20308 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421125369 115843072 349 33554432000 4194304 5098028 140727181639856 140727181637112 140029825753724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33366016 140727181648676 140727181649004 140727181649004 140727181651917 0 /proc/21135/statm: 28282 349 296 221 0 87 0 [pid=21138] ppid=21135 vsize=27320392 memory=165564 CPUtime=1.01 cores=0-7 /proc/21138/stat : 21138 (java) S 21135 21135 20308 0 -1 1077944320 20496 0 0 0 94 7 0 0 20 0 20 0 421125369 27976081408 41391 33554432000 4194304 4196468 140728798487232 140728798469776 140308007485175 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 /proc/21138/statm: 6830098 41391 3181 1 0 6791447 0 [pid=21138/tid=21139] ppid=21135 vsize=27320392 memory=280639471896768 CPUtime=0.68 cores=0-7 /proc/21138/task/21139/stat : 21139 (java) R 21135 21135 20308 0 -1 4202560 17369 0 0 0 62 6 0 0 20 0 20 0 421125369 27976081408 41391 33554432000 4194304 4196468 140728798487232 140307979323280 140308007507101 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21140] ppid=21135 vsize=27320392 memory=5003636900997 CPUtime=0 cores=0-7 /proc/21138/task/21140/stat : 21140 (java) S 21135 21135 20308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421125372 27976081408 41391 33554432000 4194304 4196468 140728798487232 140308011727760 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21141] ppid=21135 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21141/stat : 21141 (java) S 21135 21135 20308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421125372 27976081408 41391 33554432000 4194304 4196468 140728798487232 140307795122960 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21142] ppid=21135 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21142/stat : 21142 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27976081408 41391 33554432000 4194304 4196468 140728798487232 140307794070672 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 ################ # More data... # ################ # the end of solver process 21135 was just reported to runsolver # cumulated CPU time of all completed processes: user=2.87117 s, system=0.156798 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.80116 s] /proc/loadavg: 7.54 8.12 7.99 3/213 21157 /proc/meminfo: memFree=30729244/32770624 swapFree=66940988/67108860 [pid=21135] ppid=21132 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/21135/stat : 21135 (scop.sh) S 21132 21135 20308 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421125369 115843072 349 33554432000 4194304 5098028 140727181639856 140727181637112 140029825753724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33366016 140727181648676 140727181649004 140727181649004 140727181651917 0 /proc/21135/statm: 28282 349 296 221 0 87 0 [pid=21138] ppid=21135 vsize=27322516 memory=176620 CPUtime=1.36 cores=0-7 /proc/21138/stat : 21138 (java) S 21135 21135 20308 0 -1 1077944320 21178 0 0 0 128 8 0 0 20 0 20 0 421125369 27978256384 44155 33554432000 4194304 4196468 140728798487232 140728798469776 140308007485175 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 /proc/21138/statm: 6830629 44155 3223 1 0 6791959 0 [pid=21138/tid=21139] ppid=21135 vsize=27322516 memory=6944652177228980320 CPUtime=0.77 cores=0-7 /proc/21138/task/21139/stat : 21139 (java) R 21135 21135 20308 0 -1 4202560 17636 0 0 0 71 6 0 0 20 0 20 0 421125369 27978256384 44155 33554432000 4194304 4196468 140728798487232 140307979320448 140307474425112 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21140] ppid=21135 vsize=27322516 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/21138/task/21140/stat : 21140 (java) S 21135 21135 20308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421125372 27978256384 44155 33554432000 4194304 4196468 140728798487232 140308011727760 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21141] ppid=21135 vsize=27322516 memory=7593748918360955241 CPUtime=0 cores=0-7 /proc/21138/task/21141/stat : 21141 (java) S 21135 21135 20308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421125372 27978256384 44155 33554432000 4194304 4196468 140728798487232 140307795122960 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21142] ppid=21135 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21142/stat : 21142 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27978256384 44155 33554432000 4194304 4196468 140728798487232 140307794070672 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21143] ppid=21135 vsize=27322516 memory=5980 CPUtime=0 cores=0-7 /proc/21138/task/21143/stat : 21143 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27978256384 44155 33554432000 4194304 4196468 140728798487232 140307793017872 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21144] ppid=21135 vsize=27322516 memory=624 CPUtime=0 cores=0-7 /proc/21138/task/21144/stat : 21144 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27978256384 44155 33554432000 4194304 4196468 140728798487232 140307791964560 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21145] ppid=21135 vsize=27322516 memory=3996 CPUtime=0 cores=0-7 /proc/21138/task/21145/stat : 21145 (java) S 21135 21135 20308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421125372 27978256384 44155 33554432000 4194304 4196468 140728798487232 140307425384720 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21146] ppid=21135 vsize=27322516 memory=2832 CPUtime=0 cores=0-7 /proc/21138/task/21146/stat : 21146 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27978256384 44155 33554432000 4194304 4196468 140728798487232 140307424332432 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21147] ppid=21135 vsize=27322516 memory=14012 CPUtime=0 cores=0-7 /proc/21138/task/21147/stat : 21147 (java) S 21135 21135 20308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421125372 27978256384 44155 33554432000 4194304 4196468 140728798487232 140307423279632 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21148] ppid=21135 vsize=27322516 memory=2112 CPUtime=0 cores=0-7 /proc/21138/task/21148/stat : 21148 (java) S 21135 21135 20308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421125373 27978256384 44155 33554432000 4194304 4196468 140728798487232 140306059065968 140308007496322 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21149] ppid=21135 vsize=27322516 memory=12040 CPUtime=0 cores=0-7 /proc/21138/task/21149/stat : 21149 (java) S 21135 21135 20308 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421125374 27978256384 44155 33554432000 4194304 4196468 140728798487232 140305978352928 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21150] ppid=21135 vsize=27322516 memory=24344 CPUtime=0 cores=0-7 /proc/21138/task/21150/stat : 21150 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125374 27978256384 44155 33554432000 4194304 4196468 140728798487232 140305709917808 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21151] ppid=21135 vsize=27322516 memory=1556 CPUtime=0 cores=0-7 /proc/21138/task/21151/stat : 21151 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125376 27978256384 44155 33554432000 4194304 4196468 140728798487232 140305335409232 140308007503771 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21152] ppid=21135 vsize=27322516 memory=532 CPUtime=0.1 cores=0-7 /proc/21138/task/21152/stat : 21152 (java) R 21135 21135 20308 0 -1 4202560 744 0 0 0 10 0 0 0 20 0 20 0 421125377 27978256384 44155 33554432000 4194304 4196468 140728798487232 140306058002048 140307999774629 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21153] ppid=21135 vsize=27322516 memory=0 CPUtime=0.08 cores=0-7 /proc/21138/task/21153/stat : 21153 (java) R 21135 21135 20308 0 -1 4202560 269 0 0 0 8 0 0 0 20 0 20 0 421125377 27978256384 44155 33554432000 4194304 4196468 140728798487232 140306056959984 140307989029311 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21154] ppid=21135 vsize=27322516 memory=-7175753852218530195 CPUtime=0.11 cores=0-7 /proc/21138/task/21154/stat : 21154 (java) R 21135 21135 20308 0 -1 4202560 337 0 0 0 11 0 0 0 20 0 20 0 421125377 27978256384 44155 33554432000 4194304 4196468 140728798487232 140306055895120 140307992610614 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21155] ppid=21135 vsize=27322516 memory=56 CPUtime=0.25 cores=0-7 /proc/21138/task/21155/stat : 21155 (java) R 21135 21135 20308 0 -1 4202560 850 0 0 0 25 0 0 0 20 0 20 0 421125377 27978256384 44155 33554432000 4194304 4196468 140728798487232 140306054849936 140307986169297 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21156] ppid=21135 vsize=27322516 memory=1943562 CPUtime=0 cores=0-7 /proc/21138/task/21156/stat : 21156 (java) S 21135 21135 20308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421125377 27978256384 44155 33554432000 4194304 4196468 140728798487232 140304837503840 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21157] ppid=21135 vsize=27322516 memory=1944738 CPUtime=0 cores=0-7 /proc/21138/task/21157/stat : 21157 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125377 27978256384 44155 33554432000 4194304 4196468 140728798487232 140306053802800 140308007496322 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 Current children cumulated CPU time: 1.36 s Current children cumulated vsize: 27435644 KiB Current children cumulated memory: 178016 KiB [startup+1.20098 s] /proc/loadavg: 7.54 8.12 7.99 4/213 21157 /proc/meminfo: memFree=30557448/32770624 swapFree=66940988/67108860 [pid=21135] ppid=21132 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/21135/stat : 21135 (scop.sh) S 21132 21135 20308 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421125369 115843072 349 33554432000 4194304 5098028 140727181639856 140727181637112 140029825753724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33366016 140727181648676 140727181649004 140727181649004 140727181651917 0 /proc/21135/statm: 28282 349 296 221 0 87 0 [pid=21138] ppid=21135 vsize=27322516 memory=396672 CPUtime=2.63 cores=0-7 /proc/21138/stat : 21138 (java) S 21135 21135 20308 0 -1 1077944320 22473 0 0 0 251 12 0 0 20 0 20 0 421125369 27978256384 99168 33554432000 4194304 4196468 140728798487232 140728798469776 140308007485175 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 /proc/21138/statm: 6830629 99168 3246 1 0 6791959 0 [pid=21138/tid=21139] ppid=21135 vsize=27322516 memory=6791534058613427641 CPUtime=1.17 cores=0-7 /proc/21138/task/21139/stat : 21139 (java) R 21135 21135 20308 0 -1 4202560 18017 0 0 0 107 10 0 0 20 0 20 0 421125369 27978256384 99168 33554432000 4194304 4196468 140728798487232 140307979322496 140307471667200 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21140] ppid=21135 vsize=27322516 memory=288230621803970871 CPUtime=0 cores=0-7 /proc/21138/task/21140/stat : 21140 (java) S 21135 21135 20308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421125372 27978256384 99168 33554432000 4194304 4196468 140728798487232 140308011727760 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21141] ppid=21135 vsize=27322516 memory=14979957709343274 CPUtime=0 cores=0-7 /proc/21138/task/21141/stat : 21141 (java) S 21135 21135 20308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421125372 27978256384 99168 33554432000 4194304 4196468 140728798487232 140307795122960 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21142] ppid=21135 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21142/stat : 21142 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27978256384 99168 33554432000 4194304 4196468 140728798487232 140307794070672 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21143] ppid=21135 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21143/stat : 21143 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27978256384 99168 33554432000 4194304 4196468 140728798487232 140307793017872 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21144] ppid=21135 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21144/stat : 21144 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27978256384 99168 33554432000 4194304 4196468 140728798487232 140307791964560 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21145] ppid=21135 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21145/stat : 21145 (java) S 21135 21135 20308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421125372 27978256384 99168 33554432000 4194304 4196468 140728798487232 140307425384720 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21146] ppid=21135 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21146/stat : 21146 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27978256384 99168 33554432000 4194304 4196468 140728798487232 140307424332432 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21147] ppid=21135 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21147/stat : 21147 (java) S 21135 21135 20308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421125372 27978256384 99168 33554432000 4194304 4196468 140728798487232 140307423279632 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21148] ppid=21135 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21148/stat : 21148 (java) S 21135 21135 20308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421125373 27978256384 99168 33554432000 4194304 4196468 140728798487232 140306059065968 140308007496322 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21149] ppid=21135 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21149/stat : 21149 (java) S 21135 21135 20308 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421125374 27978256384 99168 33554432000 4194304 4196468 140728798487232 140305978352928 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21150] ppid=21135 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21150/stat : 21150 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125374 27978256384 99168 33554432000 4194304 4196468 140728798487232 140305709917808 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21151] ppid=21135 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21151/stat : 21151 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125376 27978256384 99168 33554432000 4194304 4196468 140728798487232 140305335409232 140308007503771 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21152] ppid=21135 vsize=27322516 memory=0 CPUtime=0.34 cores=0-7 /proc/21138/task/21152/stat : 21152 (java) S 21135 21135 20308 0 -1 1077944384 979 0 0 0 34 0 0 0 20 0 20 0 421125377 27978256384 99168 33554432000 4194304 4196468 140728798487232 140306058012784 140308007496322 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21153] ppid=21135 vsize=27322516 memory=288230574492221466 CPUtime=0.34 cores=0-7 /proc/21138/task/21153/stat : 21153 (java) S 21135 21135 20308 0 -1 1077944384 551 0 0 0 34 0 0 0 20 0 20 0 421125377 27978256384 99168 33554432000 4194304 4196468 140728798487232 140306056959984 140308007496322 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21154] ppid=21135 vsize=27322516 memory=288230621803970871 CPUtime=0.36 cores=0-7 /proc/21138/task/21154/stat : 21154 (java) S 21135 21135 20308 0 -1 1077944384 494 0 0 0 36 0 0 0 20 0 20 0 421125377 27978256384 99168 33554432000 4194304 4196468 140728798487232 140306055907696 140308007496322 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21155] ppid=21135 vsize=27322516 memory=14979957709343274 CPUtime=0.37 cores=0-7 /proc/21138/task/21155/stat : 21155 (java) R 21135 21135 20308 0 -1 4202560 1092 0 0 0 37 0 0 0 20 0 20 0 421125377 27978256384 99168 33554432000 4194304 4196468 140728798487232 140306054854896 140307999722302 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21156] ppid=21135 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21156/stat : 21156 (java) S 21135 21135 20308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421125377 27978256384 99168 33554432000 4194304 4196468 140728798487232 140304837503840 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21157] ppid=21135 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21157/stat : 21157 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125377 27978256384 99168 33554432000 4194304 4196468 140728798487232 140306053802800 140308007496322 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 Current children cumulated CPU time: 2.63 s Current children cumulated vsize: 27435644 KiB Current children cumulated memory: 398068 KiB [startup+1.40079 s] /proc/loadavg: 7.54 8.12 7.99 4/213 21157 /proc/meminfo: memFree=30557448/32770624 swapFree=66940988/67108860 [pid=21135] ppid=21132 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/21135/stat : 21135 (scop.sh) S 21132 21135 20308 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421125369 115843072 349 33554432000 4194304 5098028 140727181639856 140727181637112 140029825753724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33366016 140727181648676 140727181649004 140727181649004 140727181651917 0 /proc/21135/statm: 28282 349 296 221 0 87 0 [pid=21138] ppid=21135 vsize=27324564 memory=519292 CPUtime=3 cores=0-7 /proc/21138/stat : 21138 (java) S 21135 21135 20308 0 -1 1077944320 23015 0 0 0 286 14 0 0 20 0 20 0 421125369 27980353536 129823 33554432000 4194304 4196468 140728798487232 140728798469776 140308007485175 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 /proc/21138/statm: 6831141 129823 3249 1 0 6792471 0 [pid=21138/tid=21139] ppid=21135 vsize=27324564 memory=6944656592387989600 CPUtime=1.37 cores=0-7 /proc/21138/task/21139/stat : 21139 (java) R 21135 21135 20308 0 -1 4202560 18332 0 0 0 126 11 0 0 20 0 20 0 421125369 27980353536 129823 33554432000 4194304 4196468 140728798487232 140307979305616 140308007497110 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21140] ppid=21135 vsize=27324564 memory=9023629670928638048 CPUtime=0 cores=0-7 /proc/21138/task/21140/stat : 21140 (java) S 21135 21135 20308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421125372 27980353536 129823 33554432000 4194304 4196468 140728798487232 140308011727760 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21141] ppid=21135 vsize=27324564 memory=4206186544037388384 CPUtime=0 cores=0-7 /proc/21138/task/21141/stat : 21141 (java) S 21135 21135 20308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421125372 27980353536 129823 33554432000 4194304 4196468 140728798487232 140307795122960 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21142] ppid=21135 vsize=27324564 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/21138/task/21142/stat : 21142 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27980353536 129823 33554432000 4194304 4196468 140728798487232 140307794070672 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21143] ppid=21135 vsize=27324564 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/21138/task/21143/stat : 21143 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27980353536 129823 33554432000 4194304 4196468 140728798487232 140307793017872 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21144] ppid=21135 vsize=27324564 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/21138/task/21144/stat : 21144 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27980353536 129823 33554432000 4194304 4196468 140728798487232 140307791964560 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21145] ppid=21135 vsize=27324564 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/21138/task/21145/stat : 21145 (java) S 21135 21135 20308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421125372 27980353536 129823 33554432000 4194304 4196468 140728798487232 140307425384720 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21146] ppid=21135 vsize=27324564 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21146/stat : 21146 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125372 27980353536 129823 33554432000 4194304 4196468 140728798487232 140307424332432 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21147] ppid=21135 vsize=27324564 memory=90774133843247 CPUtime=0 cores=0-7 /proc/21138/task/21147/stat : 21147 (java) S 21135 21135 20308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421125372 27980353536 129823 33554432000 4194304 4196468 140728798487232 140307423279632 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21148] ppid=21135 vsize=27324564 memory=90774133843248 CPUtime=0 cores=0-7 /proc/21138/task/21148/stat : 21148 (java) S 21135 21135 20308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421125373 27980353536 129823 33554432000 4194304 4196468 140728798487232 140306059065968 140308007496322 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21149] ppid=21135 vsize=27324564 memory=90774133843249 CPUtime=0 cores=0-7 /proc/21138/task/21149/stat : 21149 (java) S 21135 21135 20308 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421125374 27980353536 129823 33554432000 4194304 4196468 140728798487232 140305978352928 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21150] ppid=21135 vsize=27324564 memory=90774133843250 CPUtime=0 cores=0-7 /proc/21138/task/21150/stat : 21150 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125374 27980353536 129823 33554432000 4194304 4196468 140728798487232 140305709917808 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21151] ppid=21135 vsize=27324564 memory=90774133843251 CPUtime=0 cores=0-7 /proc/21138/task/21151/stat : 21151 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125376 27980353536 129823 33554432000 4194304 4196468 140728798487232 140305335409232 140308007503771 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21152] ppid=21135 vsize=27324564 memory=90774133843252 CPUtime=0.4 cores=0-7 /proc/21138/task/21152/stat : 21152 (java) S 21135 21135 20308 0 -1 1077944384 1005 0 0 0 40 0 0 0 20 0 20 0 421125377 27980353536 129823 33554432000 4194304 4196468 140728798487232 140306058012784 140308007496322 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21153] ppid=21135 vsize=27324564 memory=9857 CPUtime=0.36 cores=0-7 /proc/21138/task/21153/stat : 21153 (java) S 21135 21135 20308 0 -1 1077944384 573 0 0 0 36 0 0 0 20 0 20 0 421125377 27980353536 129823 33554432000 4194304 4196468 140728798487232 140306056959984 140308007496322 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21154] ppid=21135 vsize=27324564 memory=0 CPUtime=0.38 cores=0-7 /proc/21138/task/21154/stat : 21154 (java) S 21135 21135 20308 0 -1 1077944384 504 0 0 0 38 0 0 0 20 0 20 0 421125377 27980353536 129823 33554432000 4194304 4196468 140728798487232 140306055907696 140308007496322 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21155] ppid=21135 vsize=27324564 memory=0 CPUtime=0.44 cores=0-7 /proc/21138/task/21155/stat : 21155 (java) R 21135 21135 20308 0 -1 4202560 1259 0 0 0 44 0 0 0 20 0 20 0 421125377 27980353536 129823 33554432000 4194304 4196468 140728798487232 140306054854896 140308007506522 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21156] ppid=21135 vsize=27324564 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21156/stat : 21156 (java) S 21135 21135 20308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421125377 27980353536 129823 33554432000 4194304 4196468 140728798487232 140304837503840 140308007495381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 [pid=21138/tid=21157] ppid=21135 vsize=27324564 memory=0 CPUtime=0 cores=0-7 /proc/21138/task/21157/stat : 21157 (java) S 21135 21135 20308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421125377 27980353536 129823 33554432000 4194304 4196468 140728798487232 140306053802800 140308007496322 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16998400 140728798495466 140728798495894 140728798495894 140728798498767 0 Current children cumulated CPU time: 3 s Current children cumulated vsize: 27437692 KiB Current children cumulated memory: 520688 KiB Child status: 0 Real time (s): 1.42505 CPU time (s): 3.02797 CPU user time (s): 2.87117 CPU system time (s): 0.156798 CPU usage (%): 212.482 Max. virtual memory (cumulated for all children) (KiB): 27437692 Max. memory (cumulated for all children) (KiB): 520688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.87117 system time used= 0.156798 maximum resident set size= 519968 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23949 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2784 involuntary context switches= 3 # summary of solver processes directly reported to runsolver: # pid: 21135 # total CPU time (s): 3.02797 # total CPU user time (s): 2.87117 # total CPU system time (s): 0.156798 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.032767 second user time and 0.055928 second system time The end
Begin job on node149 at 2019-09-14 10:13:49 IDJOB=4392806 IDBENCH=141689 IDSOLVER=2839 FILE ID=node149/4392806-1568448867 RUNJOBID= node149-1568448565-20335 PBS_JOBID= 21702359 Free space on /tmp= 61420 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP19/hcp/graph162.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392806-1568448867/watcher-4392806-1568448867 -o /tmp/evaluation-result-4392806-1568448867/solver-4392806-1568448867 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568448565-20335 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392806-1568448867.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0d1146fb66ad2f4e2d5d75203fe6e22a RANDOM SEED=1650717370 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30868780 kB MemAvailable: 31852924 kB Buffers: 198052 kB Cached: 1083492 kB SwapCached: 61324 kB Active: 621308 kB Inactive: 721452 kB Active(anon): 29548 kB Inactive(anon): 72540 kB Active(file): 591760 kB Inactive(file): 648912 kB Unevictable: 111236 kB Mlocked: 111236 kB SwapTotal: 67108860 kB SwapFree: 66940988 kB Dirty: 21804 kB Writeback: 0 kB AnonPages: 191244 kB Mapped: 44700 kB Shmem: 31412 kB Slab: 147508 kB SReclaimable: 118612 kB SUnreclaim: 28896 kB KernelStack: 3776 kB PageTables: 5516 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498336 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 145408 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /tmp at the end= 61400 MiB End job on node149 at 2019-09-14 10:13:51