0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/glueminisat-simp-2.2.10-193oa-n-release -solverOption -model:-verb=3:-elim-cl=5000000:-native-oa -tmp HOME -serialFile HOME/scop-15120-serial-file.bin HOME/instance-4388391-1568299131.xml
0.66/0.53
0.66/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Thu Sep 12 16:38:08 CEST 2019
0.66/0.55 c PID: 15123
0.66/0.55 c IP: 172.20.3.147
0.66/0.55 c HOST: node147.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.79/1.37 c (0,0) Parsing End
2.79/1.38 c (0,0) CSP: 909 int (0 aux), 0 bool (0 aux), 1 ctr, max domain size 908
2.79/1.38 c (0,0) Heap : 450 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.79/1.38 c (0,0) Constraint Name Generate Begin
2.79/1.39 c (0,0) Ctr:HOME/instance-4388391-1568299131.xml,Circuit:Var
2.79/1.39 c (0,0) Constraint Name Generate End
2.79/1.39 c (0,0) Heap : 450 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.79/1.39 c (0,0) CSP to CSPinCNF Begin
3.01/1.42 c (0,0) translated 1 (10%) constraints
3.01/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.01/1.43 c (0,0) fun.scop.TranslatorOrd.transCtr(Translator.scala:1829)
3.01/1.43 c (0,0) fun.scop.TranslatorOrd.$anonfun$transCSPtoCSPinCNF$1(Translator.scala:2019)
3.01/1.43 c (0,0) scala.collection.immutable.Range.foreach$mVc$sp(Range.scala:155)
3.01/1.43 c (0,0) fun.scop.TranslatorOrd.transCSPtoCSPinCNF(Translator.scala:2009)
3.01/1.43 c (0,0) fun.scop.XCSP19Encode.run(XCSP19Encode.scala:279)
3.01/1.43 c (0,0) fun.scop.XCSP19Encode$.main(XCSP19Encode.scala:568)
3.01/1.43 c (0,0) fun.scop.XCSP19Encode.main(XCSP19Encode.scala)
3.01/1.43 c (0,0) 0,0,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(CtrName)
3.01/1.43 s UNSUPPORTED
3.01/1.43 c END-Prog: Thu Sep 12 16:38:09 CEST 2019
3.01/1.44 c (scop.sh) HOME/scop-15120-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 (8258 MiB free)
memory of node 1: 16384 MiB (14284 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388391-1568299131/watcher-4388391-1568299131 -o /tmp/evaluation-result-4388391-1568299131/solver-4388391-1568299131 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9752 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4388391-1568299131.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15120, runsolver pid=15117
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 2.26 2.16 2.10 6/229 15137
/proc/meminfo: memFree=23021712/32770624 swapFree=66957008/67108860
[pid=15120] ppid=15117 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15120/stat : 15120 (scop.sh) S 15117 15120 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405826960 115843072 349 33554432000 4194304 5098028 140721196082768 140721196080024 140081440395900 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7847936 140721196090152 140721196090480 140721196090480 140721196093389 0
/proc/15120/statm: 28282 349 296 221 0 87 0
[pid=15123] ppid=15120 vsize=15013720 memory=75336 CPUtime=0.11 cores=1,3,5,7
/proc/15123/stat : 15123 (java) S 15120 15120 8853 0 -1 1077944320 7168 0 0 0 9 2 0 0 20 0 15 0 405826960 15374049280 18834 33554432000 4194304 4196468 140733696756288 140733696738832 140479710342903 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
/proc/15123/statm: 3753430 18834 2886 1 0 3715835 0
[pid=15123/tid=15124] ppid=15120 vsize=15014680 memory=-6601833317647732518 CPUtime=0.08 cores=1,3,5,7
/proc/15123/task/15124/stat : 15124 (java) R 15120 15120 8853 0 -1 4202560 5046 0 0 0 7 1 0 0 20 0 15 0 405826960 15375032320 18966 33554432000 4194304 4196468 140733696756288 140479682127152 140479703022621 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15125] ppid=15120 vsize=15014680 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15125/stat : 15125 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826962 15375032320 18966 33554432000 4194304 4196468 140733696756288 140479714585360 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15126] ppid=15120 vsize=15014680 memory=139956100183680 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15126/stat : 15126 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826962 15375032320 18966 33554432000 4194304 4196468 140733696756288 140479528741776 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15127] ppid=15120 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15127/stat : 15127 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826962 15375032320 18966 33554432000 4194304 4196468 140733696756288 140479527689232 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15128] ppid=15120 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15128/stat : 15128 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826962 15375032320 18966 33554432000 4194304 4196468 140733696756288 140479526636688 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15129] ppid=15120 vsize=15014680 memory=139956100183680 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15129/stat : 15129 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826963 15375032320 18966 33554432000 4194304 4196468 140733696756288 140478747903984 140479710354050 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15130] ppid=15120 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15130/stat : 15130 (java) S 15120 15120 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405826964 15375032320 18966 33554432000 4194304 4196468 140733696756288 140478246806432 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15131] ppid=15120 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15131/stat : 15131 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826964 15375032320 19032 33554432000 4194304 4196468 140733696756288 140477978371056 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15132] ppid=15120 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15132/stat : 15132 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826966 15375032320 19032 33554432000 4194304 4196468 140733696756288 140477642827984 140479710361499 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15133] ppid=15120 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15133/stat : 15133 (java) S 15120 15120 8853 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 405826966 15375032320 19032 33554432000 4194304 4196468 140733696756288 140478746851824 140479710354050 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15134] ppid=15120 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15134/stat : 15134 (java) S 15120 15120 8853 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 405826967 15375032320 19098 33554432000 4194304 4196468 140733696756288 140478745799280 140479710354050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15135] ppid=15120 vsize=15014680 memory=139956100183680 CPUtime=0.01 cores=1,3,5,7
/proc/15123/task/15135/stat : 15135 (java) S 15120 15120 8853 0 -1 1077944384 439 0 0 0 1 0 0 0 20 0 15 0 405826967 15375032320 19098 33554432000 4194304 4196468 140733696756288 140478744746736 140479710354050 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15136] ppid=15120 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15136/stat : 15136 (java) S 15120 15120 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405826967 15375032320 19098 33554432000 4194304 4196468 140733696756288 140477105957984 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15137] ppid=15120 vsize=15014680 memory=139956100183680 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15137/stat : 15137 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826967 15375032320 19098 33554432000 4194304 4196468 140733696756288 140478743693616 140479710354050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 76732 KiB
[startup+0.210735 s]*
/proc/loadavg: 2.26 2.16 2.10 3/229 15137
/proc/meminfo: memFree=23005776/32770624 swapFree=66957008/67108860
[pid=15120] ppid=15117 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15120/stat : 15120 (scop.sh) S 15117 15120 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405826960 115843072 349 33554432000 4194304 5098028 140721196082768 140721196080024 140081440395900 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7847936 140721196090152 140721196090480 140721196090480 140721196093389 0
/proc/15120/statm: 28282 349 296 221 0 87 0
[pid=15123] ppid=15120 vsize=15012696 memory=87776 CPUtime=0.26 cores=1,3,5,7
/proc/15123/stat : 15123 (java) S 15120 15120 8853 0 -1 1077944320 11487 0 0 0 22 4 0 0 20 0 15 0 405826960 15373000704 21944 33554432000 4194304 4196468 140733696756288 140733696738832 140479710342903 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
/proc/15123/statm: 3753174 21944 2975 1 0 3715579 0
[pid=15123/tid=15124] ppid=15120 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/15123/task/15124/stat : 15124 (java) R 15120 15120 8853 0 -1 4202560 9236 0 0 0 17 3 0 0 20 0 15 0 405826960 15373000704 22010 33554432000 4194304 4196468 140733696756288 140479682155776 140479694423390 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15125] ppid=15120 vsize=15012696 memory=8952 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15125/stat : 15125 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826962 15373000704 22010 33554432000 4194304 4196468 140733696756288 140479714585360 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15126] ppid=15120 vsize=15012696 memory=288370332251895424 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15126/stat : 15126 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826962 15373000704 22010 33554432000 4194304 4196468 140733696756288 140479528741776 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15127] ppid=15120 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15127/stat : 15127 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826962 15373000704 22010 33554432000 4194304 4196468 140733696756288 140479527689232 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15128] ppid=15120 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15128/stat : 15128 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826962 15373000704 22010 33554432000 4194304 4196468 140733696756288 140479526636688 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15129] ppid=15120 vsize=15012696 memory=139956100183680 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15129/stat : 15129 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826963 15373000704 22010 33554432000 4194304 4196468 140733696756288 140478747903984 140479710354050 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15130] ppid=15120 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15130/stat : 15130 (java) S 15120 15120 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405826964 15373000704 22010 33554432000 4194304 4196468 140733696756288 140478246806432 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15131] ppid=15120 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15131/stat : 15131 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826964 15373000704 22010 33554432000 4194304 4196468 140733696756288 140477978371056 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15132] ppid=15120 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15132/stat : 15132 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826966 15373000704 22010 33554432000 4194304 4196468 140733696756288 140477642827984 140479710361499 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15133] ppid=15120 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15133/stat : 15133 (java) S 15120 15120 8853 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 15 0 405826966 15373000704 22010 33554432000 4194304 4196468 140733696756288 140478746851824 140479710354050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15134] ppid=15120 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15134/stat : 15134 (java) S 15120 15120 8853 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 405826967 15373000704 22010 33554432000 4194304 4196468 140733696756288 140478745799280 140479710354050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15135] ppid=15120 vsize=15012696 memory=139956100183680 CPUtime=0.03 cores=1,3,5,7
/proc/15123/task/15135/stat : 15135 (java) R 15120 15120 8853 0 -1 4202560 458 0 0 0 3 0 0 0 20 0 15 0 405826967 15373000704 22010 33554432000 4194304 4196468 140733696756288 140478744746736 140479694423390 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15136] ppid=15120 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15136/stat : 15136 (java) S 15120 15120 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405826967 15373000704 22010 33554432000 4194304 4196468 140733696756288 140477105957984 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15137] ppid=15120 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15137/stat : 15137 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826967 15373000704 22010 33554432000 4194304 4196468 140733696756288 140478743693616 140479710354050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89172 KiB
[startup+0.312885 s]*
/proc/loadavg: 2.26 2.16 2.10 3/229 15137
/proc/meminfo: memFree=23002240/32770624 swapFree=66957008/67108860
[pid=15120] ppid=15117 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15120/stat : 15120 (scop.sh) S 15117 15120 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405826960 115843072 349 33554432000 4194304 5098028 140721196082768 140721196080024 140081440395900 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7847936 140721196090152 140721196090480 140721196090480 140721196093389 0
/proc/15120/statm: 28282 349 296 221 0 87 0
[pid=15123] ppid=15120 vsize=15012696 memory=91804 CPUtime=0.43 cores=1,3,5,7
/proc/15123/stat : 15123 (java) S 15120 15120 8853 0 -1 1077944320 12530 0 0 0 39 4 0 0 20 0 15 0 405826960 15373000704 22951 33554432000 4194304 4196468 140733696756288 140733696738832 140479710342903 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
/proc/15123/statm: 3753174 22951 3034 1 0 3715579 0
[pid=15123/tid=15124] ppid=15120 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/15123/task/15124/stat : 15124 (java) R 15120 15120 8853 0 -1 4202560 10070 0 0 0 27 3 0 0 20 0 15 0 405826960 15373000704 22951 33554432000 4194304 4196468 140733696756288 140479682125920 140479690609037 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15125] ppid=15120 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15125/stat : 15125 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826962 15373000704 22951 33554432000 4194304 4196468 140733696756288 140479714585360 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15126] ppid=15120 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15126/stat : 15126 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826962 15373000704 22951 33554432000 4194304 4196468 140733696756288 140479528741776 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15127] ppid=15120 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15127/stat : 15127 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826962 15373000704 22951 33554432000 4194304 4196468 140733696756288 140479527689232 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15128] ppid=15120 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15128/stat : 15128 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826962 15373000704 22951 33554432000 4194304 4196468 140733696756288 140479526636688 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15129] ppid=15120 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15129/stat : 15129 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826963 15373000704 22951 33554432000 4194304 4196468 140733696756288 140478747903984 140479710354050 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15130] ppid=15120 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15130/stat : 15130 (java) S 15120 15120 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405826964 15373000704 22951 33554432000 4194304 4196468 140733696756288 140478246806432 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15131] ppid=15120 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15131/stat : 15131 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826964 15373000704 22951 33554432000 4194304 4196468 140733696756288 140477978371056 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15132] ppid=15120 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15132/stat : 15132 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826966 15373000704 22951 33554432000 4194304 4196468 140733696756288 140477642827984 140479710361499 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15133] ppid=15120 vsize=15012696 memory=4628975386420216973 CPUtime=0.03 cores=1,3,5,7
/proc/15123/task/15133/stat : 15133 (java) S 15120 15120 8853 0 -1 1077944384 453 0 0 0 3 0 0 0 20 0 15 0 405826966 15373000704 22951 33554432000 4194304 4196468 140733696756288 140478746851824 140479710354050 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15134] ppid=15120 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15123/task/15134/stat : 15134 (java) S 15120 15120 8853 0 -1 1077944384 174 0 0 0 1 0 0 0 20 0 15 0 405826967 15373000704 22951 33554432000 4194304 4196468 140733696756288 140478745799280 140479710354050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15135] ppid=15120 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15123/task/15135/stat : 15135 (java) S 15120 15120 8853 0 -1 1077944384 501 0 0 0 7 0 0 0 20 0 15 0 405826967 15373000704 22951 33554432000 4194304 4196468 140733696756288 140478744746736 140479710354050 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15136] ppid=15120 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15136/stat : 15136 (java) S 15120 15120 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405826967 15373000704 22951 33554432000 4194304 4196468 140733696756288 140477105957984 140479710353109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15137] ppid=15120 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15137/stat : 15137 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826967 15373000704 22951 33554432000 4194304 4196468 140733696756288 140478743693616 140479710354050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93200 KiB
[startup+0.706678 s]
/proc/loadavg: 2.26 2.16 2.10 4/229 15137
/proc/meminfo: memFree=22977932/32770624 swapFree=66957008/67108860
[pid=15120] ppid=15117 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15120/stat : 15120 (scop.sh) S 15117 15120 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405826960 115843072 349 33554432000 4194304 5098028 140721196082768 140721196080024 140081440395900 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7847936 140721196090152 140721196090480 140721196090480 140721196093389 0
/proc/15120/statm: 28282 349 296 221 0 87 0
[pid=15123] ppid=15120 vsize=15018968 memory=131732 CPUtime=1.06 cores=1,3,5,7
/proc/15123/stat : 15123 (java) S 15120 15120 8853 0 -1 1077944320 20191 0 0 0 100 6 0 0 20 0 15 0 405826960 15379423232 32933 33554432000 4194304 4196468 140733696756288 140733696738832 140479710342903 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
/proc/15123/statm: 3754742 32933 3194 1 0 3716091 0
[pid=15123/tid=15124] ppid=15120 vsize=15018968 memory=37520 CPUtime=0.69 cores=1,3,5,7
/proc/15123/task/15124/stat : 15124 (java) R 15120 15120 8853 0 -1 4202560 17157 0 0 0 64 5 0 0 20 0 15 0 405826960 15379423232 32933 33554432000 4194304 4196468 140733696756288 140479682178272 140479710364829 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15125] ppid=15120 vsize=15018968 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15125/stat : 15125 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826962 15379423232 32933 33554432000 4194304 4196468 140733696756288 140479714585360 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15126] ppid=15120 vsize=15018968 memory=988 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15126/stat : 15126 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826962 15379423232 32933 33554432000 4194304 4196468 140733696756288 140479528741776 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15127] ppid=15120 vsize=15018968 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15127/stat : 15127 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826962 15379423232 32933 33554432000 4194304 4196468 140733696756288 140479527689232 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15128] ppid=15120 vsize=15018968 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15128/stat : 15128 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826962 15379423232 32933 33554432000 4194304 4196468 140733696756288 140479526636688 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15129] ppid=15120 vsize=15018968 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15129/stat : 15129 (java) S 15120 15120 8853 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405826963 15379423232 32933 33554432000 4194304 4196468 140733696756288 140478747903984 140479710354050 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15130] ppid=15120 vsize=15018968 memory=6092 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15130/stat : 15130 (java) S 15120 15120 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405826964 15379423232 32933 33554432000 4194304 4196468 140733696756288 140478246806432 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15131] ppid=15120 vsize=15018968 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15131/stat : 15131 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826964 15379423232 32933 33554432000 4194304 4196468 140733696756288 140477978371056 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15132] ppid=15120 vsize=15018968 memory=732 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15132/stat : 15132 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826966 15379423232 32933 33554432000 4194304 4196468 140733696756288 140477642827984 140479710361499 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15133] ppid=15120 vsize=15018968 memory=776 CPUtime=0.1 cores=1,3,5,7
/proc/15123/task/15133/stat : 15133 (java) S 15120 15120 8853 0 -1 1077944384 674 0 0 0 10 0 0 0 20 0 15 0 405826966 15379423232 32933 33554432000 4194304 4196468 140733696756288 140478746851824 140479710354050 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15134] ppid=15120 vsize=15018968 memory=1560 CPUtime=0.08 cores=1,3,5,7
/proc/15123/task/15134/stat : 15134 (java) R 15120 15120 8853 0 -1 4202560 372 0 0 0 8 0 0 0 20 0 15 0 405826967 15379423232 32933 33554432000 4194304 4196468 140733696756288 140478745799200 140479694740022 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15135] ppid=15120 vsize=15018968 memory=4008 CPUtime=0.16 cores=1,3,5,7
/proc/15123/task/15135/stat : 15135 (java) R 15120 15120 8853 0 -1 4202560 653 0 0 0 16 0 0 0 20 0 15 0 405826967 15379423232 32933 33554432000 4194304 4196468 140733696756288 140478744744528 140479703439739 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15136] ppid=15120 vsize=15018968 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15136/stat : 15136 (java) S 15120 15120 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405826967 15379423232 32933 33554432000 4194304 4196468 140733696756288 140477105957984 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15137] ppid=15120 vsize=15018968 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15137/stat : 15137 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826967 15379423232 32933 33554432000 4194304 4196468 140733696756288 140478743693616 140479710354050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 133128 KiB
[startup+1.44997 s]
# the end of solver process 15120 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.96178 s, system=0.148948 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801679 s]
/proc/loadavg: 2.26 2.16 2.10 4/229 15137
/proc/meminfo: memFree=22977932/32770624 swapFree=66957008/67108860
[pid=15120] ppid=15117 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15120/stat : 15120 (scop.sh) S 15117 15120 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405826960 115843072 349 33554432000 4194304 5098028 140721196082768 140721196080024 140081440395900 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7847936 140721196090152 140721196090480 140721196090480 140721196093389 0
/proc/15120/statm: 28282 349 296 221 0 87 0
[pid=15123] ppid=15120 vsize=15021092 memory=142412 CPUtime=1.37 cores=1,3,5,7
/proc/15123/stat : 15123 (java) S 15120 15120 8853 0 -1 1077944320 20871 0 0 0 130 7 0 0 20 0 15 0 405826960 15381598208 35603 33554432000 4194304 4196468 140733696756288 140733696738832 140479710342903 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
/proc/15123/statm: 3755273 35603 3226 1 0 3716603 0
[pid=15123/tid=15124] ppid=15120 vsize=15021092 memory=279911877053840 CPUtime=0.78 cores=1,3,5,7
/proc/15123/task/15124/stat : 15124 (java) R 15120 15120 8853 0 -1 4202560 17540 0 0 0 73 5 0 0 20 0 15 0 405826960 15381598208 35603 33554432000 4194304 4196468 140733696756288 140479682175744 140479203405280 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15125] ppid=15120 vsize=15021092 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15125/stat : 15125 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826962 15381598208 35603 33554432000 4194304 4196468 140733696756288 140479714585360 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15126] ppid=15120 vsize=15021092 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15126/stat : 15126 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826962 15381598208 35603 33554432000 4194304 4196468 140733696756288 140479528741776 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15127] ppid=15120 vsize=15021092 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15127/stat : 15127 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826962 15381598208 35603 33554432000 4194304 4196468 140733696756288 140479527689232 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15128] ppid=15120 vsize=15021092 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15128/stat : 15128 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826962 15381598208 35603 33554432000 4194304 4196468 140733696756288 140479526636688 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15129] ppid=15120 vsize=15021092 memory=20044 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15129/stat : 15129 (java) S 15120 15120 8853 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405826963 15381598208 35603 33554432000 4194304 4196468 140733696756288 140478747903984 140479710354050 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15130] ppid=15120 vsize=15021092 memory=492 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15130/stat : 15130 (java) S 15120 15120 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405826964 15381598208 35603 33554432000 4194304 4196468 140733696756288 140478246806432 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15131] ppid=15120 vsize=15021092 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15131/stat : 15131 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826964 15381598208 35603 33554432000 4194304 4196468 140733696756288 140477978371056 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15132] ppid=15120 vsize=15021092 memory=932 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15132/stat : 15132 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826966 15381598208 35603 33554432000 4194304 4196468 140733696756288 140477642827984 140479710361499 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15133] ppid=15120 vsize=15021092 memory=1768 CPUtime=0.16 cores=1,3,5,7
/proc/15123/task/15133/stat : 15133 (java) R 15120 15120 8853 0 -1 4202560 704 0 0 0 16 0 0 0 20 0 15 0 405826966 15381598208 35603 33554432000 4194304 4196468 140733696756288 140478746834496 140479691886626 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15134] ppid=15120 vsize=15021092 memory=1436 CPUtime=0.15 cores=1,3,5,7
/proc/15123/task/15134/stat : 15134 (java) R 15120 15120 8853 0 -1 4202560 441 0 0 0 15 0 0 0 20 0 15 0 405826967 15381598208 35603 33554432000 4194304 4196468 140733696756288 140478745785376 140479691887007 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15135] ppid=15120 vsize=15021092 memory=896 CPUtime=0.25 cores=1,3,5,7
/proc/15123/task/15135/stat : 15135 (java) S 15120 15120 8853 0 -1 1077944384 856 0 0 0 25 0 0 0 20 0 15 0 405826967 15381598208 35603 33554432000 4194304 4196468 140733696756288 140478744746736 140479710354050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15136] ppid=15120 vsize=15021092 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15136/stat : 15136 (java) S 15120 15120 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405826967 15381598208 35603 33554432000 4194304 4196468 140733696756288 140477105957984 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15137] ppid=15120 vsize=15021092 memory=2520 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15137/stat : 15137 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826967 15381598208 35603 33554432000 4194304 4196468 140733696756288 140478743693616 140479710354050 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 143808 KiB
[startup+1.20268 s]
/proc/loadavg: 2.26 2.16 2.10 3/229 15137
/proc/meminfo: memFree=22805168/32770624 swapFree=66957008/67108860
[pid=15120] ppid=15117 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15120/stat : 15120 (scop.sh) S 15117 15120 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405826960 115843072 349 33554432000 4194304 5098028 140721196082768 140721196080024 140081440395900 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7847936 140721196090152 140721196090480 140721196090480 140721196093389 0
/proc/15120/statm: 28282 349 296 221 0 87 0
[pid=15123] ppid=15120 vsize=15021092 memory=349868 CPUtime=2.55 cores=1,3,5,7
/proc/15123/stat : 15123 (java) S 15120 15120 8853 0 -1 1077944320 22134 0 0 0 244 11 0 0 20 0 15 0 405826960 15381598208 87467 33554432000 4194304 4196468 140733696756288 140733696738832 140479710342903 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
/proc/15123/statm: 3755273 87467 3246 1 0 3716603 0
[pid=15123/tid=15124] ppid=15120 vsize=15021092 memory=14689690934577591 CPUtime=1.18 cores=1,3,5,7
/proc/15123/task/15124/stat : 15124 (java) R 15120 15120 8853 0 -1 4202560 17914 0 0 0 110 8 0 0 20 0 15 0 405826960 15381598208 87467 33554432000 4194304 4196468 140733696756288 140479682180672 140479207456821 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15125] ppid=15120 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15125/stat : 15125 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826962 15381598208 87467 33554432000 4194304 4196468 140733696756288 140479714585360 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15126] ppid=15120 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15126/stat : 15126 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826962 15381598208 87467 33554432000 4194304 4196468 140733696756288 140479528741776 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15127] ppid=15120 vsize=15021092 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15127/stat : 15127 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826962 15381598208 87467 33554432000 4194304 4196468 140733696756288 140479527689232 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15128] ppid=15120 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15128/stat : 15128 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826962 15381598208 87467 33554432000 4194304 4196468 140733696756288 140479526636688 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15129] ppid=15120 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15129/stat : 15129 (java) S 15120 15120 8853 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405826963 15381598208 87467 33554432000 4194304 4196468 140733696756288 140478747903984 140479710354050 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15130] ppid=15120 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15130/stat : 15130 (java) S 15120 15120 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405826964 15381598208 87467 33554432000 4194304 4196468 140733696756288 140478246806432 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15131] ppid=15120 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15131/stat : 15131 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826964 15381598208 87467 33554432000 4194304 4196468 140733696756288 140477978371056 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15132] ppid=15120 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15132/stat : 15132 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826966 15381598208 87467 33554432000 4194304 4196468 140733696756288 140477642827984 140479710361499 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15133] ppid=15120 vsize=15021092 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/15123/task/15133/stat : 15133 (java) R 15120 15120 8853 0 -1 4202560 1121 0 0 0 49 0 0 0 20 0 15 0 405826966 15381598208 87467 33554432000 4194304 4196468 140733696756288 140478746839344 140479687939671 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15134] ppid=15120 vsize=15021092 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/15123/task/15134/stat : 15134 (java) R 15120 15120 8853 0 -1 4202560 663 0 0 0 46 0 0 0 20 0 15 0 405826967 15381598208 87979 33554432000 4194304 4196468 140733696756288 140478745787712 140479693839691 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15135] ppid=15120 vsize=15021092 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/15123/task/15135/stat : 15135 (java) S 15120 15120 8853 0 -1 1077944384 1100 0 0 0 38 0 0 0 20 0 15 0 405826967 15381598208 87979 33554432000 4194304 4196468 140733696756288 140478744746736 140479710354050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15136] ppid=15120 vsize=15021092 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15136/stat : 15136 (java) S 15120 15120 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405826967 15381598208 87979 33554432000 4194304 4196468 140733696756288 140477105957984 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15137] ppid=15120 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15137/stat : 15137 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826967 15381598208 87979 33554432000 4194304 4196468 140733696756288 140478743693616 140479710354050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 351264 KiB
[startup+1.40086 s]
/proc/loadavg: 2.26 2.16 2.10 3/229 15137
/proc/meminfo: memFree=22805168/32770624 swapFree=66957008/67108860
[pid=15120] ppid=15117 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15120/stat : 15120 (scop.sh) S 15117 15120 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405826960 115843072 349 33554432000 4194304 5098028 140721196082768 140721196080024 140081440395900 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7847936 140721196090152 140721196090480 140721196090480 140721196093389 0
/proc/15120/statm: 28282 349 296 221 0 87 0
[pid=15123] ppid=15120 vsize=15023140 memory=488536 CPUtime=3.01 cores=1,3,5,7
/proc/15123/stat : 15123 (java) S 15120 15120 8853 0 -1 1077944320 22652 0 0 0 288 13 0 0 20 0 15 0 405826960 15383695360 122134 33554432000 4194304 4196468 140733696756288 140733696738832 140479710342903 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
/proc/15123/statm: 3755785 122134 3249 1 0 3717115 0
[pid=15123/tid=15124] ppid=15120 vsize=15023140 memory=466701102 CPUtime=1.37 cores=1,3,5,7
/proc/15123/task/15124/stat : 15124 (java) R 15120 15120 8853 0 -1 4202560 18179 0 0 0 127 10 0 0 20 0 15 0 405826960 15383695360 122134 33554432000 4194304 4196468 140733696756288 140479682176704 140479691906432 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15125] ppid=15120 vsize=15023140 memory=467817490 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15125/stat : 15125 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826962 15383695360 122134 33554432000 4194304 4196468 140733696756288 140479714585360 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15126] ppid=15120 vsize=15023140 memory=6164117588002972326 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15126/stat : 15126 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826962 15383695360 122134 33554432000 4194304 4196468 140733696756288 140479528741776 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15127] ppid=15120 vsize=15023140 memory=7595435594564785248 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15127/stat : 15127 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826962 15383695360 122134 33554432000 4194304 4196468 140733696756288 140479527689232 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15128] ppid=15120 vsize=15023140 memory=6153439263559017578 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15128/stat : 15128 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826962 15383695360 122134 33554432000 4194304 4196468 140733696756288 140479526636688 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15129] ppid=15120 vsize=15023140 memory=5795117241467496816 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15129/stat : 15129 (java) S 15120 15120 8853 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405826963 15383695360 122134 33554432000 4194304 4196468 140733696756288 140478747903984 140479710354050 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15130] ppid=15120 vsize=15023140 memory=7523096435825599854 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15130/stat : 15130 (java) S 15120 15120 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405826964 15383695360 122134 33554432000 4194304 4196468 140733696756288 140478246806432 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15131] ppid=15120 vsize=15023140 memory=-3494400250054688394 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15131/stat : 15131 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826964 15383695360 122134 33554432000 4194304 4196468 140733696756288 140477978371056 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15132] ppid=15120 vsize=15023140 memory=6944656592452807316 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15132/stat : 15132 (java) S 15120 15120 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826966 15383695360 122134 33554432000 4194304 4196468 140733696756288 140477642827984 140479710361499 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15133] ppid=15120 vsize=15023140 memory=7684433386921362195 CPUtime=0.6 cores=1,3,5,7
/proc/15123/task/15133/stat : 15133 (java) R 15120 15120 8853 0 -1 4202560 1151 0 0 0 60 0 0 0 20 0 15 0 405826966 15383695360 122134 33554432000 4194304 4196468 140733696756288 140478746830816 140479691069707 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15134] ppid=15120 vsize=15023140 memory=6944656592452807325 CPUtime=0.54 cores=1,3,5,7
/proc/15123/task/15134/stat : 15134 (java) R 15120 15120 8853 0 -1 4202560 697 0 0 0 54 0 0 0 20 0 15 0 405826967 15383695360 122134 33554432000 4194304 4196468 140733696756288 140478745790032 140479691887000 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15135] ppid=15120 vsize=15023140 memory=-6876588627878947929 CPUtime=0.46 cores=1,3,5,7
/proc/15123/task/15135/stat : 15135 (java) S 15120 15120 8853 0 -1 1077944384 1289 0 0 0 45 1 0 0 20 0 15 0 405826967 15383695360 122134 33554432000 4194304 4196468 140733696756288 140478744746736 140479710354050 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15136] ppid=15120 vsize=15023140 memory=-7679004722349093442 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15136/stat : 15136 (java) S 15120 15120 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405826967 15383695360 122134 33554432000 4194304 4196468 140733696756288 140477105957984 140479710353109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
[pid=15123/tid=15137] ppid=15120 vsize=15023140 memory=-2990784324576290336 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15137/stat : 15137 (java) S 15120 15120 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826967 15383695360 122134 33554432000 4194304 4196468 140733696756288 140478743693616 140479710354050 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140733696758510 140733696758938 140733696758938 140733696761807 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 15136268 KiB
Current children cumulated memory: 489932 KiB
Child status: 0
Real time (s): 1.45002
CPU time (s): 3.11073
CPU user time (s): 2.96178
CPU system time (s): 0.148948
CPU usage (%): 214.53
Max. virtual memory (cumulated for all children) (KiB): 15136268
Max. memory (cumulated for all children) (KiB): 489932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.96178
system time used= 0.148948
maximum resident set size= 489024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23639
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= 1911
involuntary context switches= 13
# summary of solver processes directly reported to runsolver:
# pid: 15120
# total CPU time (s): 3.11073
# total CPU user time (s): 2.96178
# total CPU system time (s): 0.148948
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032109 second user time and 0.058867 second system time
The end