| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP order+ManyGlucose (2019-09-22) | ? (NS) | 3.19793 | 1.43796 |
| 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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-11218-serial-file.bin HOME/instance-4405366-1569364127.xml 0.65/0.55 0.65/0.55 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.55 0.65/0.57 c BEGIN-Prog: Wed Sep 25 00:28:04 CEST 2019 0.65/0.57 c PID: 11221 0.65/0.57 c IP: 172.20.3.141 0.65/0.57 c HOST: node141.alineos.net 0.65/0.58 c (0,0) Parsing Begin 2.87/1.37 c (0,0) Parsing End 2.87/1.38 c (0,0) CSP: 909 int (0 aux), 0 bool (0 aux), 1 ctr, max domain size 908 2.87/1.38 c (0,0) Heap : 563 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.87/1.38 c (0,0) Constraint Name Generate Begin 2.87/1.38 c (0,0) Ctr:HOME/instance-4405366-1569364127.xml,Circuit:Var 2.87/1.38 c (0,0) Constraint Name Generate End 2.87/1.38 c (0,0) Heap : 563 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.87/1.38 c (0,0) CSP to CSPinCNF Begin 3.12/1.42 c (0,0) translated 1 (10%) constraints 3.12/1.42 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.12/1.42 c (0,0) fun.scop.TranslatorOrd.transCtr(Translator.scala:1829) 3.12/1.42 c (0,0) fun.scop.TranslatorOrd.$anonfun$transCSPtoCSPinCNF$1(Translator.scala:2019) 3.12/1.42 c (0,0) scala.collection.immutable.Range.foreach$mVc$sp(Range.scala:155) 3.12/1.42 c (0,0) fun.scop.TranslatorOrd.transCSPtoCSPinCNF(Translator.scala:2009) 3.12/1.42 c (0,0) fun.scop.XCSP19Encode.run(XCSP19Encode.scala:279) 3.12/1.42 c (0,0) fun.scop.XCSP19Encode$.main(XCSP19Encode.scala:568) 3.12/1.42 c (0,0) fun.scop.XCSP19Encode.main(XCSP19Encode.scala) 3.12/1.42 c (0,0) 0,0,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(CtrName) 3.12/1.42 s UNSUPPORTED 3.12/1.42 c END-Prog: Wed Sep 25 00:28:05 CEST 2019 3.12/1.43 c (scop.sh) HOME/scop-11218-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 (13231 MiB free)
memory of node 1: 16384 MiB (11669 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405366-1569364127/watcher-4405366-1569364127 -o /tmp/evaluation-result-4405366-1569364127/solver-4405366-1569364127 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569357732-9767 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405366-1569364127.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=11218, runsolver pid=11215
Current StackSize limit: 8192 KiB
[startup+0.104567 s]*
/proc/loadavg: 7.01 7.60 7.18 2/211 11240
/proc/meminfo: memFree=25404132/32770624 swapFree=66936752/67108860
[pid=11218] ppid=11215 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11218/stat : 11218 (scop.sh) S 11215 11218 9740 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512350454 115843072 349 33554432000 4194304 5098028 140734163057984 140734163055240 140661800317564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15409152 140734163063589 140734163063916 140734163063916 140734163066829 0
/proc/11218/statm: 28282 349 296 221 0 87 0
[pid=11221] ppid=11218 vsize=27314120 memory=106636 CPUtime=0.1 cores=0-7
/proc/11221/stat : 11221 (java) S 11218 11218 9740 0 -1 1077944320 6159 0 0 0 8 2 0 0 20 0 20 0 512350454 27969658880 26659 33554432000 4194304 4196468 140736165354336 140736165336880 140714148339447 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
/proc/11221/statm: 6828530 26659 2817 1 0 6790935 0
[pid=11221/tid=11222] ppid=11218 vsize=27314120 memory=-2177352373413752899 CPUtime=0.09 cores=0-7
/proc/11221/task/11222/stat : 11222 (java) R 11218 11218 9740 0 -1 4202560 4272 0 0 0 7 2 0 0 20 0 20 0 512350455 27969658880 27171 33554432000 4194304 4196468 140736165354336 140714120162736 140714128616272 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11223] ppid=11218 vsize=27314120 memory=732369805402151909 CPUtime=0 cores=0-7
/proc/11221/task/11223/stat : 11223 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 27171 33554432000 4194304 4196468 140736165354336 140714152581648 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11224] ppid=11218 vsize=27314120 memory=139667064698496 CPUtime=0 cores=0-7
/proc/11221/task/11224/stat : 11224 (java) S 11218 11218 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 27171 33554432000 4194304 4196468 140736165354336 140713935977104 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11225] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11225/stat : 11225 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 27171 33554432000 4194304 4196468 140736165354336 140713934924048 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11226] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11226/stat : 11226 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 27171 33554432000 4194304 4196468 140736165354336 140713568229776 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11227] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11227/stat : 11227 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 27171 33554432000 4194304 4196468 140736165354336 140713567177744 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11228] ppid=11218 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11221/task/11228/stat : 11228 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 27171 33554432000 4194304 4196468 140736165354336 140713566125200 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11229] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11229/stat : 11229 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 27171 33554432000 4194304 4196468 140736165354336 140713565072144 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11230] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11230/stat : 11230 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 27171 33554432000 4194304 4196468 140736165354336 140713564019600 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11231] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11231/stat : 11231 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350458 27969658880 27171 33554432000 4194304 4196468 140736165354336 140712669567216 140714148350594 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11232] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11232/stat : 11232 (java) S 11218 11218 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512350459 27969658880 27171 33554432000 4194304 4196468 140736165354336 140711919871136 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11233] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11233/stat : 11233 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350459 27969658880 27171 33554432000 4194304 4196468 140736165354336 140711651435248 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11234] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11234/stat : 11234 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350462 27969658880 27171 33554432000 4194304 4196468 140736165354336 140711276926928 140714148358043 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11235] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11235/stat : 11235 (java) S 11218 11218 9740 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 512350462 27969658880 27171 33554432000 4194304 4196468 140736165354336 140712668515056 140714148350594 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11236] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11236/stat : 11236 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350462 27969658880 27171 33554432000 4194304 4196468 140736165354336 140712667462512 140714148350594 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11237] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11237/stat : 11237 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350462 27969658880 27171 33554432000 4194304 4196468 140736165354336 140712666409456 140714148350594 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11238] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11238/stat : 11238 (java) S 11218 11218 9740 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 20 0 512350462 27969658880 27171 33554432000 4194304 4196468 140736165354336 140712665356912 140714148350594 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11239] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11239/stat : 11239 (java) S 11218 11218 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512350462 27969658880 27171 33554432000 4194304 4196468 140736165354336 140710779021792 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11240] ppid=11218 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11221/task/11240/stat : 11240 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350462 27969658880 27171 33554432000 4194304 4196468 140736165354336 140712664304304 140714148350594 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108032 KiB
[startup+0.210244 s]*
/proc/loadavg: 7.01 7.60 7.18 4/211 11240
/proc/meminfo: memFree=25386936/32770624 swapFree=66936752/67108860
[pid=11218] ppid=11215 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11218/stat : 11218 (scop.sh) S 11215 11218 9740 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512350454 115843072 349 33554432000 4194304 5098028 140734163057984 140734163055240 140661800317564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15409152 140734163063589 140734163063916 140734163063916 140734163066829 0
/proc/11218/statm: 28282 349 296 221 0 87 0
[pid=11221] ppid=11218 vsize=27314120 memory=123180 CPUtime=0.24 cores=0-7
/proc/11221/stat : 11221 (java) S 11218 11218 9740 0 -1 1077944320 11146 0 0 0 20 4 0 0 20 0 20 0 512350454 27969658880 30795 33554432000 4194304 4196468 140736165354336 140736165336880 140714148339447 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
/proc/11221/statm: 6828530 30795 2935 1 0 6790935 0
[pid=11221/tid=11222] ppid=11218 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/11221/task/11222/stat : 11222 (java) R 11218 11218 9740 0 -1 4202560 8858 0 0 0 16 3 0 0 20 0 20 0 512350455 27969658880 30795 33554432000 4194304 4196468 140736165354336 140714120123008 140714132419934 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11223] ppid=11218 vsize=27314120 memory=279334032455416 CPUtime=0 cores=0-7
/proc/11221/task/11223/stat : 11223 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 30795 33554432000 4194304 4196468 140736165354336 140714152581648 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11224] ppid=11218 vsize=27314120 memory=139667064698496 CPUtime=0 cores=0-7
/proc/11221/task/11224/stat : 11224 (java) S 11218 11218 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 30795 33554432000 4194304 4196468 140736165354336 140713935977104 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11225] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11225/stat : 11225 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 30795 33554432000 4194304 4196468 140736165354336 140713934924048 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11226] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11226/stat : 11226 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 30795 33554432000 4194304 4196468 140736165354336 140713568229776 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11227] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11227/stat : 11227 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 30795 33554432000 4194304 4196468 140736165354336 140713567177744 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11228] ppid=11218 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11221/task/11228/stat : 11228 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 30795 33554432000 4194304 4196468 140736165354336 140713566125200 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11229] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11229/stat : 11229 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 30795 33554432000 4194304 4196468 140736165354336 140713565072144 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11230] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11230/stat : 11230 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 30795 33554432000 4194304 4196468 140736165354336 140713564019600 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11231] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11231/stat : 11231 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350458 27969658880 30795 33554432000 4194304 4196468 140736165354336 140712669567216 140714148350594 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11232] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11232/stat : 11232 (java) S 11218 11218 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512350459 27969658880 30795 33554432000 4194304 4196468 140736165354336 140711919871136 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11233] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11233/stat : 11233 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350459 27969658880 30795 33554432000 4194304 4196468 140736165354336 140711651435248 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11234] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11234/stat : 11234 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350462 27969658880 30795 33554432000 4194304 4196468 140736165354336 140711276926928 140714148358043 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11235] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11235/stat : 11235 (java) S 11218 11218 9740 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 20 0 512350462 27969658880 30795 33554432000 4194304 4196468 140736165354336 140712668515056 140714148350594 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11236] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11236/stat : 11236 (java) S 11218 11218 9740 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 512350462 27969658880 30795 33554432000 4194304 4196468 140736165354336 140712667462512 140714148350594 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11237] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11237/stat : 11237 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350462 27969658880 30795 33554432000 4194304 4196468 140736165354336 140712666409456 140714148350594 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11238] ppid=11218 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/11221/task/11238/stat : 11238 (java) S 11218 11218 9740 0 -1 1077944384 495 0 0 0 2 0 0 0 20 0 20 0 512350462 27969658880 30795 33554432000 4194304 4196468 140736165354336 140712665356912 140714148350594 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11239] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11239/stat : 11239 (java) S 11218 11218 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512350462 27969658880 30795 33554432000 4194304 4196468 140736165354336 140710779021792 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11240] ppid=11218 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11221/task/11240/stat : 11240 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350462 27969658880 30795 33554432000 4194304 4196468 140736165354336 140712664304304 140714148350594 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124576 KiB
[startup+0.309745 s]*
/proc/loadavg: 7.01 7.60 7.18 2/211 11240
/proc/meminfo: memFree=25383032/32770624 swapFree=66936752/67108860
[pid=11218] ppid=11215 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11218/stat : 11218 (scop.sh) S 11215 11218 9740 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512350454 115843072 349 33554432000 4194304 5098028 140734163057984 140734163055240 140661800317564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15409152 140734163063589 140734163063916 140734163063916 140734163066829 0
/proc/11218/statm: 28282 349 296 221 0 87 0
[pid=11221] ppid=11218 vsize=27314120 memory=127648 CPUtime=0.42 cores=0-7
/proc/11221/stat : 11221 (java) S 11218 11218 9740 0 -1 1077944320 12235 0 0 0 37 5 0 0 20 0 20 0 512350454 27969658880 31912 33554432000 4194304 4196468 140736165354336 140736165336880 140714148339447 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
/proc/11221/statm: 6828530 31912 3037 1 0 6790935 0
[pid=11221/tid=11222] ppid=11218 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/11221/task/11222/stat : 11222 (java) R 11218 11218 9740 0 -1 4202560 9745 0 0 0 25 4 0 0 20 0 20 0 512350455 27969658880 31912 33554432000 4194304 4196468 140736165354336 140714120122464 140714129902976 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11223] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11223/stat : 11223 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 31912 33554432000 4194304 4196468 140736165354336 140714152581648 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11224] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11224/stat : 11224 (java) S 11218 11218 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 31912 33554432000 4194304 4196468 140736165354336 140713935977104 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11225] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11225/stat : 11225 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 31912 33554432000 4194304 4196468 140736165354336 140713934924048 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11226] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11226/stat : 11226 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 31912 33554432000 4194304 4196468 140736165354336 140713568229776 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11227] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11227/stat : 11227 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 31912 33554432000 4194304 4196468 140736165354336 140713567177744 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11228] ppid=11218 vsize=27314120 memory=139666967849647 CPUtime=0 cores=0-7
/proc/11221/task/11228/stat : 11228 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 31912 33554432000 4194304 4196468 140736165354336 140713566125200 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11229] ppid=11218 vsize=27314120 memory=139666967851952 CPUtime=0 cores=0-7
/proc/11221/task/11229/stat : 11229 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 31912 33554432000 4194304 4196468 140736165354336 140713565072144 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11230] ppid=11218 vsize=27314120 memory=139666967854256 CPUtime=0 cores=0-7
/proc/11221/task/11230/stat : 11230 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27969658880 31912 33554432000 4194304 4196468 140736165354336 140713564019600 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11231] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11231/stat : 11231 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350458 27969658880 31912 33554432000 4194304 4196468 140736165354336 140712669567216 140714148350594 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11232] ppid=11218 vsize=27314120 memory=279333935722384 CPUtime=0 cores=0-7
/proc/11221/task/11232/stat : 11232 (java) S 11218 11218 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512350459 27969658880 31912 33554432000 4194304 4196468 140736165354336 140711919871136 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11233] ppid=11218 vsize=27314120 memory=279333935720080 CPUtime=0 cores=0-7
/proc/11221/task/11233/stat : 11233 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350459 27969658880 31912 33554432000 4194304 4196468 140736165354336 140711651435248 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11234] ppid=11218 vsize=27314120 memory=279333935726992 CPUtime=0 cores=0-7
/proc/11221/task/11234/stat : 11234 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350462 27969658880 31912 33554432000 4194304 4196468 140736165354336 140711276926928 140714148358043 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11235] ppid=11218 vsize=27314120 memory=279333935668272 CPUtime=0 cores=0-7
/proc/11221/task/11235/stat : 11235 (java) S 11218 11218 9740 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 512350462 27969658880 31912 33554432000 4194304 4196468 140736165354336 140712668515056 140714148350594 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11236] ppid=11218 vsize=27314120 memory=279333935740816 CPUtime=0.02 cores=0-7
/proc/11221/task/11236/stat : 11236 (java) S 11218 11218 9740 0 -1 1077944384 139 0 0 0 2 0 0 0 20 0 20 0 512350462 27969658880 31912 33554432000 4194304 4196468 140736165354336 140712667462512 140714148350594 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11237] ppid=11218 vsize=27314120 memory=279333935747728 CPUtime=0 cores=0-7
/proc/11221/task/11237/stat : 11237 (java) S 11218 11218 9740 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 512350462 27969658880 31912 33554432000 4194304 4196468 140736165354336 140712666409456 140714148350594 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11238] ppid=11218 vsize=27314120 memory=279333935745424 CPUtime=0.07 cores=0-7
/proc/11221/task/11238/stat : 11238 (java) S 11218 11218 9740 0 -1 1077944384 544 0 0 0 7 0 0 0 20 0 20 0 512350462 27969658880 31912 33554432000 4194304 4196468 140736165354336 140712665356912 140714148350594 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11239] ppid=11218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11239/stat : 11239 (java) S 11218 11218 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512350462 27969658880 31912 33554432000 4194304 4196468 140736165354336 140710779021792 140714148349653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11240] ppid=11218 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11221/task/11240/stat : 11240 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350462 27969658880 31912 33554432000 4194304 4196468 140736165354336 140712664304304 140714148350594 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129044 KiB
[startup+0.700916 s]
/proc/loadavg: 7.01 7.60 7.18 2/211 11240
/proc/meminfo: memFree=25359220/32770624 swapFree=66936752/67108860
[pid=11218] ppid=11215 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11218/stat : 11218 (scop.sh) S 11215 11218 9740 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512350454 115843072 349 33554432000 4194304 5098028 140734163057984 140734163055240 140661800317564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15409152 140734163063589 140734163063916 140734163063916 140734163066829 0
/proc/11218/statm: 28282 349 296 221 0 87 0
[pid=11221] ppid=11218 vsize=27320392 memory=165256 CPUtime=0.98 cores=0-7
/proc/11221/stat : 11221 (java) S 11218 11218 9740 0 -1 1077944320 19866 0 0 0 91 7 0 0 20 0 20 0 512350454 27976081408 41314 33554432000 4194304 4196468 140736165354336 140736165336880 140714148339447 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
/proc/11221/statm: 6830098 41314 3184 1 0 6791447 0
[pid=11221/tid=11222] ppid=11218 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/11221/task/11222/stat : 11222 (java) R 11218 11218 9740 0 -1 4202560 16841 0 0 0 61 6 0 0 20 0 20 0 512350455 27976081408 41314 33554432000 4194304 4196468 140736165354336 140714120168032 140713614408336 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11223] ppid=11218 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11223/stat : 11223 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27976081408 41314 33554432000 4194304 4196468 140736165354336 140714152581648 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11224] ppid=11218 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11224/stat : 11224 (java) S 11218 11218 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512350457 27976081408 41314 33554432000 4194304 4196468 140736165354336 140713935977104 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11225] ppid=11218 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11225/stat : 11225 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27976081408 41314 33554432000 4194304 4196468 140736165354336 140713934924048 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
################
# More data... #
################
# the end of solver process 11218 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.04489 s, system=0.153036 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801095 s]
/proc/loadavg: 7.01 7.60 7.18 2/211 11240
/proc/meminfo: memFree=25359220/32770624 swapFree=66936752/67108860
[pid=11218] ppid=11215 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11218/stat : 11218 (scop.sh) S 11215 11218 9740 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512350454 115843072 349 33554432000 4194304 5098028 140734163057984 140734163055240 140661800317564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15409152 140734163063589 140734163063916 140734163063916 140734163066829 0
/proc/11218/statm: 28282 349 296 221 0 87 0
[pid=11221] ppid=11218 vsize=27322516 memory=174184 CPUtime=1.3 cores=0-7
/proc/11221/stat : 11221 (java) S 11218 11218 9740 0 -1 1077944320 20555 0 0 0 122 8 0 0 20 0 20 0 512350454 27978256384 43546 33554432000 4194304 4196468 140736165354336 140736165336880 140714148339447 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
/proc/11221/statm: 6830629 43546 3218 1 0 6791959 0
[pid=11221/tid=11222] ppid=11218 vsize=27322516 memory=916 CPUtime=0.77 cores=0-7
/proc/11221/task/11222/stat : 11222 (java) R 11218 11218 9740 0 -1 4202560 17111 0 0 0 71 6 0 0 20 0 20 0 512350455 27978256384 43546 33554432000 4194304 4196468 140736165354336 140714120173472 140713614454042 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11223] ppid=11218 vsize=27322516 memory=4244 CPUtime=0 cores=0-7
/proc/11221/task/11223/stat : 11223 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27978256384 43546 33554432000 4194304 4196468 140736165354336 140714152581648 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11224] ppid=11218 vsize=27322516 memory=1560 CPUtime=0 cores=0-7
/proc/11221/task/11224/stat : 11224 (java) S 11218 11218 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512350457 27978256384 43546 33554432000 4194304 4196468 140736165354336 140713935977104 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11225] ppid=11218 vsize=27322516 memory=1172 CPUtime=0 cores=0-7
/proc/11221/task/11225/stat : 11225 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27978256384 43546 33554432000 4194304 4196468 140736165354336 140713934924048 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11226] ppid=11218 vsize=27322516 memory=14008 CPUtime=0 cores=0-7
/proc/11221/task/11226/stat : 11226 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27978256384 43546 33554432000 4194304 4196468 140736165354336 140713568229776 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11227] ppid=11218 vsize=27322516 memory=14076 CPUtime=0 cores=0-7
/proc/11221/task/11227/stat : 11227 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27978256384 43546 33554432000 4194304 4196468 140736165354336 140713567177744 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11228] ppid=11218 vsize=27322516 memory=2116 CPUtime=0 cores=0-7
/proc/11221/task/11228/stat : 11228 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27978256384 43546 33554432000 4194304 4196468 140736165354336 140713566125200 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11229] ppid=11218 vsize=27322516 memory=23272 CPUtime=0 cores=0-7
/proc/11221/task/11229/stat : 11229 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27978256384 43546 33554432000 4194304 4196468 140736165354336 140713565072144 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11230] ppid=11218 vsize=27322516 memory=528 CPUtime=0 cores=0-7
/proc/11221/task/11230/stat : 11230 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27978256384 43546 33554432000 4194304 4196468 140736165354336 140713564019600 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11231] ppid=11218 vsize=27322516 memory=1560 CPUtime=0 cores=0-7
/proc/11221/task/11231/stat : 11231 (java) S 11218 11218 9740 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512350458 27978256384 43546 33554432000 4194304 4196468 140736165354336 140712669567216 140714148350594 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11232] ppid=11218 vsize=27322516 memory=932 CPUtime=0 cores=0-7
/proc/11221/task/11232/stat : 11232 (java) S 11218 11218 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512350459 27978256384 43546 33554432000 4194304 4196468 140736165354336 140711919871136 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11233] ppid=11218 vsize=27322516 memory=1492 CPUtime=0 cores=0-7
/proc/11221/task/11233/stat : 11233 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350459 27978256384 43546 33554432000 4194304 4196468 140736165354336 140711651435248 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11234] ppid=11218 vsize=27322516 memory=279333935784288 CPUtime=0 cores=0-7
/proc/11221/task/11234/stat : 11234 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350462 27978256384 43546 33554432000 4194304 4196468 140736165354336 140711276926928 140714148358043 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11235] ppid=11218 vsize=27322516 memory=-7175753852218530195 CPUtime=0.09 cores=0-7
/proc/11221/task/11235/stat : 11235 (java) R 11218 11218 9740 0 -1 4202560 684 0 0 0 9 0 0 0 20 0 20 0 512350462 27978256384 43546 33554432000 4194304 4196468 140736165354336 140712668503600 140714131750342 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11236] ppid=11218 vsize=27322516 memory=6933690305039933585 CPUtime=0.07 cores=0-7
/proc/11221/task/11236/stat : 11236 (java) R 11218 11218 9740 0 -1 4202560 288 0 0 0 7 0 0 0 20 0 20 0 512350462 27978256384 43546 33554432000 4194304 4196468 140736165354336 140712667462512 140714133261368 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11237] ppid=11218 vsize=27322516 memory=56 CPUtime=0.09 cores=0-7
/proc/11221/task/11237/stat : 11237 (java) S 11218 11218 9740 0 -1 1077944384 267 0 0 0 9 0 0 0 20 0 20 0 512350462 27978256384 43546 33554432000 4194304 4196468 140736165354336 140712666409456 140714148350594 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11238] ppid=11218 vsize=27322516 memory=2811011 CPUtime=0.23 cores=0-7
/proc/11221/task/11238/stat : 11238 (java) R 11218 11218 9740 0 -1 4202560 863 0 0 0 23 0 0 0 20 0 20 0 512350462 27978256384 43546 33554432000 4194304 4196468 140736165354336 140712665352640 140714132447553 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11239] ppid=11218 vsize=27322516 memory=2812625 CPUtime=0 cores=0-7
/proc/11221/task/11239/stat : 11239 (java) S 11218 11218 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512350462 27978256384 43546 33554432000 4194304 4196468 140736165354336 140710779021792 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11240] ppid=11218 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11240/stat : 11240 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350462 27978256384 43546 33554432000 4194304 4196468 140736165354336 140712664304304 140714148350594 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 27435644 KiB
Current children cumulated memory: 175580 KiB
[startup+1.20096 s]
/proc/loadavg: 7.01 7.60 7.18 6/211 11240
/proc/meminfo: memFree=25187572/32770624 swapFree=66936752/67108860
[pid=11218] ppid=11215 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11218/stat : 11218 (scop.sh) S 11215 11218 9740 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512350454 115843072 349 33554432000 4194304 5098028 140734163057984 140734163055240 140661800317564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15409152 140734163063589 140734163063916 140734163063916 140734163066829 0
/proc/11218/statm: 28282 349 296 221 0 87 0
[pid=11221] ppid=11218 vsize=27322516 memory=383648 CPUtime=2.71 cores=0-7
/proc/11221/stat : 11221 (java) S 11218 11218 9740 0 -1 1077944320 22298 0 0 0 261 10 0 0 20 0 20 0 512350454 27978256384 95912 33554432000 4194304 4196468 140736165354336 140736165336880 140714148339447 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
/proc/11221/statm: 6830629 95912 3246 1 0 6791959 0
[pid=11221/tid=11222] ppid=11218 vsize=27322516 memory=6791534058613427641 CPUtime=1.16 cores=0-7
/proc/11221/task/11222/stat : 11222 (java) R 11218 11218 9740 0 -1 4202560 17484 0 0 0 108 8 0 0 20 0 20 0 512350455 27978256384 95912 33554432000 4194304 4196468 140736165354336 140714120174736 140714148351382 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11223] ppid=11218 vsize=27322516 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/11221/task/11223/stat : 11223 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27978256384 95912 33554432000 4194304 4196468 140736165354336 140714152581648 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11224] ppid=11218 vsize=27322516 memory=13846369811040801 CPUtime=0 cores=0-7
/proc/11221/task/11224/stat : 11224 (java) S 11218 11218 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512350457 27978256384 95912 33554432000 4194304 4196468 140736165354336 140713935977104 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11225] ppid=11218 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11225/stat : 11225 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27978256384 95912 33554432000 4194304 4196468 140736165354336 140713934924048 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11226] ppid=11218 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11226/stat : 11226 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27978256384 95912 33554432000 4194304 4196468 140736165354336 140713568229776 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11227] ppid=11218 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11227/stat : 11227 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27978256384 95912 33554432000 4194304 4196468 140736165354336 140713567177744 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11228] ppid=11218 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11228/stat : 11228 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27978256384 95912 33554432000 4194304 4196468 140736165354336 140713566125200 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11229] ppid=11218 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11229/stat : 11229 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27978256384 95912 33554432000 4194304 4196468 140736165354336 140713565072144 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11230] ppid=11218 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11230/stat : 11230 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27978256384 95912 33554432000 4194304 4196468 140736165354336 140713564019600 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11231] ppid=11218 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11231/stat : 11231 (java) S 11218 11218 9740 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512350458 27978256384 95912 33554432000 4194304 4196468 140736165354336 140712669567216 140714148350594 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11232] ppid=11218 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11232/stat : 11232 (java) S 11218 11218 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512350459 27978256384 95912 33554432000 4194304 4196468 140736165354336 140711919871136 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11233] ppid=11218 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11233/stat : 11233 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350459 27978256384 95912 33554432000 4194304 4196468 140736165354336 140711651435248 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11234] ppid=11218 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11234/stat : 11234 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350462 27978256384 95912 33554432000 4194304 4196468 140736165354336 140711276926928 140714148358043 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11235] ppid=11218 vsize=27322516 memory=0 CPUtime=0.38 cores=0-7
/proc/11221/task/11235/stat : 11235 (java) S 11218 11218 9740 0 -1 1077944384 1143 0 0 0 38 0 0 0 20 0 20 0 512350462 27978256384 95912 33554432000 4194304 4196468 140736165354336 140712668515056 140714148350594 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11236] ppid=11218 vsize=27322516 memory=288230574492221466 CPUtime=0.36 cores=0-7
/proc/11221/task/11236/stat : 11236 (java) S 11218 11218 9740 0 -1 1077944384 655 0 0 0 36 0 0 0 20 0 20 0 512350462 27978256384 95912 33554432000 4194304 4196468 140736165354336 140712667462512 140714148350594 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11237] ppid=11218 vsize=27322516 memory=288230583166042426 CPUtime=0.4 cores=0-7
/proc/11221/task/11237/stat : 11237 (java) S 11218 11218 9740 0 -1 1077944384 575 0 0 0 40 0 0 0 20 0 20 0 512350462 27978256384 95912 33554432000 4194304 4196468 140736165354336 140712666409456 140714148350594 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11238] ppid=11218 vsize=27322516 memory=13846369811040801 CPUtime=0.36 cores=0-7
/proc/11221/task/11238/stat : 11238 (java) R 11218 11218 9740 0 -1 4202560 1100 0 0 0 36 0 0 0 20 0 20 0 512350462 27978256384 95912 33554432000 4194304 4196468 140736165354336 140712665356912 140714128054252 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11239] ppid=11218 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11239/stat : 11239 (java) S 11218 11218 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512350462 27978256384 95912 33554432000 4194304 4196468 140736165354336 140710779021792 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11240] ppid=11218 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11240/stat : 11240 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350462 27978256384 95912 33554432000 4194304 4196468 140736165354336 140712664304304 140714148350594 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 27435644 KiB
Current children cumulated memory: 385044 KiB
[startup+1.40089 s]
/proc/loadavg: 7.01 7.60 7.18 6/211 11240
/proc/meminfo: memFree=25187572/32770624 swapFree=66936752/67108860
[pid=11218] ppid=11215 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11218/stat : 11218 (scop.sh) S 11215 11218 9740 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512350454 115843072 349 33554432000 4194304 5098028 140734163057984 140734163055240 140661800317564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15409152 140734163063589 140734163063916 140734163063916 140734163066829 0
/proc/11218/statm: 28282 349 296 221 0 87 0
[pid=11221] ppid=11218 vsize=27324564 memory=520420 CPUtime=3.12 cores=0-7
/proc/11221/stat : 11221 (java) S 11218 11218 9740 0 -1 1077944320 22819 0 0 0 298 14 0 0 20 0 20 0 512350454 27980353536 130105 33554432000 4194304 4196468 140736165354336 140736165336880 140714148339447 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
/proc/11221/statm: 6831141 130105 3249 1 0 6792471 0
[pid=11221/tid=11222] ppid=11218 vsize=27324564 memory=0 CPUtime=1.36 cores=0-7
/proc/11221/task/11222/stat : 11222 (java) R 11218 11218 9740 0 -1 4202560 17751 0 0 0 125 11 0 0 20 0 20 0 512350455 27980353536 130105 33554432000 4194304 4196468 140736165354336 140714120175408 140714128614777 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11223] ppid=11218 vsize=27324564 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11223/stat : 11223 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27980353536 130105 33554432000 4194304 4196468 140736165354336 140714152581648 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11224] ppid=11218 vsize=27324564 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/11221/task/11224/stat : 11224 (java) S 11218 11218 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512350457 27980353536 130105 33554432000 4194304 4196468 140736165354336 140713935977104 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11225] ppid=11218 vsize=27324564 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/11221/task/11225/stat : 11225 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27980353536 130105 33554432000 4194304 4196468 140736165354336 140713934924048 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11226] ppid=11218 vsize=27324564 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/11221/task/11226/stat : 11226 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350457 27980353536 130105 33554432000 4194304 4196468 140736165354336 140713568229776 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11227] ppid=11218 vsize=27324564 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/11221/task/11227/stat : 11227 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27980353536 130105 33554432000 4194304 4196468 140736165354336 140713567177744 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11228] ppid=11218 vsize=27324564 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/11221/task/11228/stat : 11228 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27980353536 130105 33554432000 4194304 4196468 140736165354336 140713566125200 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11229] ppid=11218 vsize=27324564 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11229/stat : 11229 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27980353536 130105 33554432000 4194304 4196468 140736165354336 140713565072144 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11230] ppid=11218 vsize=27324564 memory=48180943148981 CPUtime=0 cores=0-7
/proc/11221/task/11230/stat : 11230 (java) S 11218 11218 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512350457 27980353536 130105 33554432000 4194304 4196468 140736165354336 140713564019600 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11231] ppid=11218 vsize=27324564 memory=48180943148982 CPUtime=0 cores=0-7
/proc/11221/task/11231/stat : 11231 (java) S 11218 11218 9740 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512350458 27980353536 130105 33554432000 4194304 4196468 140736165354336 140712669567216 140714148350594 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11232] ppid=11218 vsize=27324564 memory=48180943148983 CPUtime=0 cores=0-7
/proc/11221/task/11232/stat : 11232 (java) S 11218 11218 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512350459 27980353536 130105 33554432000 4194304 4196468 140736165354336 140711919871136 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11233] ppid=11218 vsize=27324564 memory=48180943148984 CPUtime=0 cores=0-7
/proc/11221/task/11233/stat : 11233 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350459 27980353536 130105 33554432000 4194304 4196468 140736165354336 140711651435248 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11234] ppid=11218 vsize=27324564 memory=48180943148985 CPUtime=0 cores=0-7
/proc/11221/task/11234/stat : 11234 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350462 27980353536 130105 33554432000 4194304 4196468 140736165354336 140711276926928 140714148358043 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11235] ppid=11218 vsize=27324564 memory=48180943148986 CPUtime=0.41 cores=0-7
/proc/11221/task/11235/stat : 11235 (java) S 11218 11218 9740 0 -1 1077944384 1162 0 0 0 41 0 0 0 20 0 20 0 512350462 27980353536 130105 33554432000 4194304 4196468 140736165354336 140712668515056 140714148350594 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11236] ppid=11218 vsize=27324564 memory=9921 CPUtime=0.41 cores=0-7
/proc/11221/task/11236/stat : 11236 (java) S 11218 11218 9740 0 -1 1077944384 671 0 0 0 41 0 0 0 20 0 20 0 512350462 27980353536 130105 33554432000 4194304 4196468 140736165354336 140712667462512 140714148350594 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11237] ppid=11218 vsize=27324564 memory=0 CPUtime=0.45 cores=0-7
/proc/11221/task/11237/stat : 11237 (java) R 11218 11218 9740 0 -1 4202560 596 0 0 0 45 0 0 0 20 0 20 0 512350462 27980353536 130105 33554432000 4194304 4196468 140736165354336 140712666388448 140714127585238 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11238] ppid=11218 vsize=27324564 memory=0 CPUtime=0.43 cores=0-7
/proc/11221/task/11238/stat : 11238 (java) S 11218 11218 9740 0 -1 1077944384 1298 0 0 0 43 0 0 0 20 0 20 0 512350462 27980353536 130105 33554432000 4194304 4196468 140736165354336 140712665356912 140714148350594 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11239] ppid=11218 vsize=27324564 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11239/stat : 11239 (java) S 11218 11218 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512350462 27980353536 130105 33554432000 4194304 4196468 140736165354336 140710779021792 140714148349653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
[pid=11221/tid=11240] ppid=11218 vsize=27324564 memory=0 CPUtime=0 cores=0-7
/proc/11221/task/11240/stat : 11240 (java) S 11218 11218 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512350462 27980353536 130105 33554432000 4194304 4196468 140736165354336 140712664304304 140714148350594 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38846464 140736165360363 140736165360790 140736165360790 140736165363663 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 27437692 KiB
Current children cumulated memory: 521816 KiB
Child status: 0
Real time (s): 1.43796
CPU time (s): 3.19793
CPU user time (s): 3.04489
CPU system time (s): 0.153036
CPU usage (%): 222.394
Max. virtual memory (cumulated for all children) (KiB): 27437692
Max. memory (cumulated for all children) (KiB): 521816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.04489
system time used= 0.153036
maximum resident set size= 521500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23820
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= 2636
involuntary context switches= 10
# summary of solver processes directly reported to runsolver:
# pid: 11218
# total CPU time (s): 3.19793
# total CPU user time (s): 3.04489
# total CPU system time (s): 0.153036
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034288 second user time and 0.053449 second system time
The end
Begin job on node141 at 2019-09-25 00:28:04 IDJOB=4405366 IDBENCH=141689 IDSOLVER=2867 FILE ID=node141/4405366-1569364127 RUNJOBID= node141-1569357732-9767 PBS_JOBID= 21705108 Free space on /tmp= 22932 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP19/hcp/graph162.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order 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-4405366-1569364127/watcher-4405366-1569364127 -o /tmp/evaluation-result-4405366-1569364127/solver-4405366-1569364127 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569357732-9767 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405366-1569364127.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0d1146fb66ad2f4e2d5d75203fe6e22a RANDOM SEED=1148919514 node141.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 : 5332.93 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 : 5332.93 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 : 5332.93 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 : 5332.93 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: 25499252 kB MemAvailable: 31807728 kB Buffers: 108920 kB Cached: 6478924 kB SwapCached: 62096 kB Active: 3263688 kB Inactive: 3391340 kB Active(anon): 2360 kB Inactive(anon): 118188 kB Active(file): 3261328 kB Inactive(file): 3273152 kB Unevictable: 107712 kB Mlocked: 107712 kB SwapTotal: 67108860 kB SwapFree: 66936752 kB Dirty: 21200 kB Writeback: 4 kB AnonPages: 112948 kB Mapped: 53516 kB Shmem: 44712 kB Slab: 208836 kB SReclaimable: 179660 kB SUnreclaim: 29176 kB KernelStack: 3424 kB PageTables: 5996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514684 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 22908 MiB End job on node141 at 2019-09-25 00:28:05