0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/cryptominisat5 -solverOption default -tmp HOME -serialFile HOME/scop-10878-serial-file.bin HOME/instance-4388413-1568298357.xml
0.65/0.54
0.65/0.54 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.65/0.54
0.65/0.57 c BEGIN-Prog: Thu Sep 12 16:25:18 CEST 2019
0.65/0.57 c PID: 10881
0.65/0.57 c IP: 172.20.3.124
0.65/0.57 c HOST: node124.alineos.net
0.65/0.58 c (0,0) Parsing Begin
2.02/1.12 c (0,0) Parsing End
2.02/1.13 c (0,0) CSP: 1572 int (0 aux), 0 bool (0 aux), 1 ctr, max domain size 4
2.02/1.13 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.02/1.13 c (0,0) Constraint Name Generate Begin
2.02/1.14 c (0,0) Ctr:HOME/instance-4388413-1568298357.xml,Circuit:Var
2.02/1.14 c (0,0) Constraint Name Generate End
2.02/1.14 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.02/1.14 c (0,0) CSP to CSPinCNF Begin
2.02/1.17 c (0,0) translated 1 (10%) constraints
2.02/1.17 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,v909,v910,v911,v912,v913,v914,v915,v916,v917,v918,v919,v920,v921,v922,v923,v924,v925,v926,v927,v928,v929,v930,v931,v932,v933,v934,v935,v936,v937,v938,v939,v940,v941,v942,v943,v944,v945,v946,v947,v948,v949,v950,v951,v952,v953,v954,v955,v956,v957,v958,v959,v960,v961,v962,v963,v964,v965,v966,v967,v968,v969,v970,v971,v972,v973,v974,v975,v976,v977,v978,v979,v980,v981,v982,v983,v984,v985,v986,v987,v988,v989,v990,v991,v992,v993,v994,v995,v996,v997,v998,v999,v1000,v1001,v1002,v1003,v1004,v1005,v1006,v1007,v1008,v1009,v1010,v1011,v1012,v1013,v1014,v1015,v1016,v1017,v1018,v1019,v1020,v1021,v1022,v1023,v1024,v1025,v1026,v1027,v1028,v1029,v1030,v1031,v1032,v1033,v1034,v1035,v1036,v1037,v1038,v1039,v1040,v1041,v1042,v1043,v1044,v1045,v1046,v1047,v1048,v1049,v1050,v1051,v1052,v1053,v1054,v1055,v1056,v1057,v1058,v1059,v1060,v1061,v1062,v1063,v1064,v1065,v1066,v1067,v1068,v1069,v1070,v1071,v1072,v1073,v1074,v1075,v1076,v1077,v1078,v1079,v1080,v1081,v1082,v1083,v1084,v1085,v1086,v1087,v1088,v1089,v1090,v1091,v1092,v1093,v1094,v1095,v1096,v1097,v1098,v1099,v1100,v1101,v1102,v1103,v1104,v1105,v1106,v1107,v1108,v1109,v1110,v1111,v1112,v1113,v1114,v1115,v1116,v1117,v1118,v1119,v1120,v1121,v1122,v1123,v1124,v1125,v1126,v1127,v1128,v1129,v1130,v1131,v1132,v1133,v1134,v1135,v1136,v1137,v1138,v1139,v1140,v1141,v1142,v1143,v1144,v1145,v1146,v1147,v1148,v1149,v1150,v1151,v1152,v1153,v1154,v1155,v1156,v1157,v1158,v1159,v1160,v1161,v1162,v1163,v1164,v1165,v1166,v1167,v1168,v1169,v1170,v1171,v1172,v1173,v1174,v1175,v1176,v1177,v1178,v1179,v1180,v1181,v1182,v1183,v1184,v1185,v1186,v1187,v1188,v1189,v1190,v1191,v1192,v1193,v1194,v1195,v1196,v1197,v1198,v1199,v1200,v1201,v1202,v1203,v1204,v1205,v1206,v1207,v1208,v1209,v1210,v1211,v1212,v1213,v1214,v1215,v1216,v1217,v1218,v1219,v1220,v1221,v1222,v1223,v1224,v1225,v1226,v1227,v1228,v1229,v1230,v1231,v1232,v1233,v1234,v1235,v1236,v1237,v1238,v1239,v1240,v1241,v1242,v1243,v1244,v1245,v1246,v1247,v1248,v1249,v1250,v1251,v1252,v1253,v1254,v1255,v1256,v1257,v1258,v1259,v1260,v1261,v1262,v1263,v1264,v1265,v1266,v1267,v1268,v1269,v1270,v1271,v1272,v1273,v1274,v1275,v1276,v1277,v1278,v1279,v1280,v1281,v1282,v1283,v1284,v1285,v1286,v1287,v1288,v1289,v1290,v1291,v1292,v1293,v1294,v1295,v1296,v1297,v1298,v1299,v1300,v1301,v1302,v1303,v1304,v1305,v1306,v1307,v1308,v1309,v1310,v1311,v1312,v1313,v1314,v1315,v1316,v1317,v1318,v1319,v1320,v1321,v1322,v1323,v1324,v1325,v1326,v1327,v1328,v1329,v1330,v1331,v1332,v1333,v1334,v1335,v1336,v1337,v1338,v1339,v1340,v1341,v1342,v1343,v1344,v1345,v1346,v1347,v1348,v1349,v1350,v1351,v1352,v1353,v1354,v1355,v1356,v1357,v1358,v1359,v1360,v1361,v1362,v1363,v1364,v1365,v1366,v1367,v1368,v1369,v1370,v1371,v1372,v1373,v1374,v1375,v1376,v1377,v1378,v1379,v1380,v1381,v1382,v1383,v1384,v1385,v1386,v1387,v1388,v1389,v1390,v1391,v1392,v1393,v1394,v1395,v1396,v1397,v1398,v1399,v1400,v1401,v1402,v1403,v1404,v1405,v1406,v1407,v1408,v1409,v1410,v1411,v1412,v1413,v1414,v1415,v1416,v1417,v1418,v1419,v1420,v1421,v1422,v1423,v1424,v1425,v1426,v1427,v1428,v1429,v1430,v1431,v1432,v1433,v1434,v1435,v1436,v1437,v1438,v1439,v1440,v1441,v1442,v1443,v1444,v1445,v1446,v1447,v1448,v1449,v1450,v1451,v1452,v1453,v1454,v1455,v1456,v1457,v1458,v1459,v1460,v1461,v1462,v1463,v1464,v1465,v1466,v1467,v1468,v1469,v1470,v1471,v1472,v1473,v1474,v1475,v1476,v1477,v1478,v1479,v1480,v1481,v1482,v1483,v1484,v1485,v1486,v1487,v1488,v1489,v1490,v1491,v1492,v1493,v1494,v1495,v1496,v1497,v1498,v1499,v1500,v1501,v1502,v1503,v1504,v1505,v1506,v1507,v1508,v1509,v1510,v1511,v1512,v1513,v1514,v1515,v1516,v1517,v1518,v1519,v1520,v1521,v1522,v1523,v1524,v1525,v1526,v1527,v1528,v1529,v1530,v1531,v1532,v1533,v1534,v1535,v1536,v1537,v1538,v1539,v1540,v1541,v1542,v1543,v1544,v1545,v1546,v1547,v1548,v1549,v1550,v1551,v1552,v1553,v1554,v1555,v1556,v1557,v1558,v1559,v1560,v1561,v1562,v1563,v1564,v1565,v1566,v1567,v1568,v1569,v1570,v1571),Some(0),None) did not match in CtrTr
2.02/1.18 c (0,0) fun.scop.TranslatorOrd.transCtr(Translator.scala:1829)
2.02/1.18 c (0,0) fun.scop.TranslatorOrd.$anonfun$transCSPtoCSPinCNF$1(Translator.scala:2019)
2.02/1.18 c (0,0) scala.collection.immutable.Range.foreach$mVc$sp(Range.scala:155)
2.02/1.18 c (0,0) fun.scop.TranslatorOrd.transCSPtoCSPinCNF(Translator.scala:2009)
2.02/1.18 c (0,0) fun.scop.XCSP19Encode.run(XCSP19Encode.scala:279)
2.02/1.18 c (0,0) fun.scop.XCSP19Encode$.main(XCSP19Encode.scala:568)
2.02/1.18 c (0,0) fun.scop.XCSP19Encode.main(XCSP19Encode.scala)
2.02/1.18 c (0,0) 0,0,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(CtrName)
2.02/1.18 s UNSUPPORTED
2.02/1.18 c END-Prog: Thu Sep 12 16:25:18 CEST 2019
2.02/1.18 c (scop.sh) HOME/scop-10878-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 (7660 MiB free)
memory of node 1: 16384 MiB (6876 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388413-1568298357/watcher-4388413-1568298357 -o /tmp/evaluation-result-4388413-1568298357/solver-4388413-1568298357 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568286434-6491 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388413-1568298357.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=10878, runsolver pid=10875
[startup+0.100064 s]*
/proc/loadavg: 2.16 2.23 2.18 4/234 10895
/proc/meminfo: memFree=14824664/32770624 swapFree=66959212/67108860
[pid=10878] ppid=10875 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10878/stat : 10878 (scop.sh) S 10875 10878 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405775868 115843072 349 33554432000 4194304 5098028 140730582496528 140730582493784 140689040761468 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11755520 140730582500195 140730582500464 140730582500464 140730582503373 0
/proc/10878/statm: 28282 349 296 221 0 87 0
[pid=10881] ppid=10878 vsize=15012696 memory=73912 CPUtime=0.12 cores=0,2,4,6
/proc/10881/stat : 10881 (java) S 10878 10878 5595 0 -1 1077944320 6291 0 0 0 10 2 0 0 20 0 15 0 405775869 15373000704 18478 33554432000 4194304 4196468 140731368818992 140731368801536 139662619266807 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
/proc/10881/statm: 3753174 18478 2889 1 0 3715579 0
[pid=10881/tid=10882] ppid=10878 vsize=15012696 memory=-6293636188170665921 CPUtime=0.09 cores=0,2,4,6
/proc/10881/task/10882/stat : 10882 (java) R 10878 10878 5595 0 -1 4202560 4200 0 0 0 8 1 0 0 20 0 15 0 405775869 15373000704 18609 33554432000 4194304 4196468 140731368818992 139662591057976 139662619288733 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10883] ppid=10878 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10883/stat : 10883 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15373000704 18609 33554432000 4194304 4196468 140731368818992 139662623509520 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10884] ppid=10878 vsize=15012696 memory=139841548928640 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10884/stat : 10884 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15373000704 18609 33554432000 4194304 4196468 140731368818992 139662414593168 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10885] ppid=10878 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10885/stat : 10885 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15373000704 18609 33554432000 4194304 4196468 140731368818992 139662413540112 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10886] ppid=10878 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10886/stat : 10886 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15373000704 18609 33554432000 4194304 4196468 140731368818992 139662412487568 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10887] ppid=10878 vsize=15012696 memory=139841548928640 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10887/stat : 10887 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775872 15373000704 18609 33554432000 4194304 4196468 140731368818992 139661589567728 139662619277954 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10888] ppid=10878 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10888/stat : 10888 (java) S 10878 10878 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405775873 15373000704 18609 33554432000 4194304 4196468 140731368818992 139661196387488 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10889] ppid=10878 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10889/stat : 10889 (java) S 10878 10878 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775873 15373000704 18609 33554432000 4194304 4196468 140731368818992 139660927951600 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10890] ppid=10878 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10890/stat : 10890 (java) S 10878 10878 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775875 15373000704 18609 33554432000 4194304 4196468 140731368818992 139660553443280 139662619285403 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10891] ppid=10878 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10891/stat : 10891 (java) S 10878 10878 5595 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 405775875 15373000704 18609 33554432000 4194304 4196468 140731368818992 139661588515568 139662619277954 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10892] ppid=10878 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10892/stat : 10892 (java) S 10878 10878 5595 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 405775875 15373000704 18609 33554432000 4194304 4196468 140731368818992 139661587463024 139662619277954 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10893] ppid=10878 vsize=15012696 memory=139841548928640 CPUtime=0.01 cores=0,2,4,6
/proc/10881/task/10893/stat : 10893 (java) R 10878 10878 5595 0 -1 4202560 414 0 0 0 1 0 0 0 20 0 15 0 405775875 15373000704 18609 33554432000 4194304 4196468 140731368818992 139661586407176 139662598223457 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10894] ppid=10878 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10894/stat : 10894 (java) S 10878 10878 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775875 15373000704 18609 33554432000 4194304 4196468 140731368818992 139660055538528 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10895] ppid=10878 vsize=15012696 memory=139841548928640 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10895/stat : 10895 (java) S 10878 10878 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775876 15373000704 18609 33554432000 4194304 4196468 140731368818992 139661585357360 139662619277954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75308 KiB
[startup+0.211161 s]*
/proc/loadavg: 2.16 2.23 2.18 3/234 10895
/proc/meminfo: memFree=14805236/32770624 swapFree=66959212/67108860
[pid=10878] ppid=10875 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10878/stat : 10878 (scop.sh) S 10875 10878 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405775868 115843072 349 33554432000 4194304 5098028 140730582496528 140730582493784 140689040761468 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11755520 140730582500195 140730582500464 140730582500464 140730582503373 0
/proc/10878/statm: 28282 349 296 221 0 87 0
[pid=10881] ppid=10878 vsize=15012696 memory=90304 CPUtime=0.25 cores=0,2,4,6
/proc/10881/stat : 10881 (java) S 10878 10878 5595 0 -1 1077944320 11539 0 0 0 22 3 0 0 20 0 15 0 405775869 15373000704 22576 33554432000 4194304 4196468 140731368818992 140731368801536 139662619266807 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
/proc/10881/statm: 3753174 22576 2979 1 0 3715579 0
[pid=10881/tid=10882] ppid=10878 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/10881/task/10882/stat : 10882 (java) R 10878 10878 5595 0 -1 4202560 9309 0 0 0 17 3 0 0 20 0 15 0 405775869 15373000704 22576 33554432000 4194304 4196468 140731368818992 139662591050368 139662603347294 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10883] ppid=10878 vsize=15012696 memory=397 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10883/stat : 10883 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15373000704 22576 33554432000 4194304 4196468 140731368818992 139662623509520 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10884] ppid=10878 vsize=15012696 memory=3834735228910126752 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10884/stat : 10884 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15373000704 22576 33554432000 4194304 4196468 140731368818992 139662414593168 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10885] ppid=10878 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10885/stat : 10885 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15373000704 22576 33554432000 4194304 4196468 140731368818992 139662413540112 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10886] ppid=10878 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10886/stat : 10886 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15373000704 22576 33554432000 4194304 4196468 140731368818992 139662412487568 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10887] ppid=10878 vsize=15012696 memory=139841548928640 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10887/stat : 10887 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775872 15373000704 22576 33554432000 4194304 4196468 140731368818992 139661589567728 139662619277954 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10888] ppid=10878 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10888/stat : 10888 (java) S 10878 10878 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405775873 15373000704 22576 33554432000 4194304 4196468 140731368818992 139661196387488 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10889] ppid=10878 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10889/stat : 10889 (java) S 10878 10878 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775873 15373000704 22576 33554432000 4194304 4196468 140731368818992 139660927951600 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10890] ppid=10878 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10890/stat : 10890 (java) S 10878 10878 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775875 15373000704 22576 33554432000 4194304 4196468 140731368818992 139660553443280 139662619285403 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10891] ppid=10878 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10891/stat : 10891 (java) S 10878 10878 5595 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 15 0 405775875 15373000704 22576 33554432000 4194304 4196468 140731368818992 139661588515568 139662619277954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10892] ppid=10878 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10892/stat : 10892 (java) S 10878 10878 5595 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 405775875 15373000704 22576 33554432000 4194304 4196468 140731368818992 139661587463024 139662619277954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10893] ppid=10878 vsize=15012696 memory=139841548928640 CPUtime=0.03 cores=0,2,4,6
/proc/10881/task/10893/stat : 10893 (java) R 10878 10878 5595 0 -1 4202560 434 0 0 0 3 0 0 0 20 0 15 0 405775875 15373000704 22576 33554432000 4194304 4196468 140731368818992 139661586409968 139662598221530 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10894] ppid=10878 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10894/stat : 10894 (java) S 10878 10878 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775875 15373000704 22576 33554432000 4194304 4196468 140731368818992 139660055538528 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10895] ppid=10878 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10895/stat : 10895 (java) S 10878 10878 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775876 15373000704 22576 33554432000 4194304 4196468 140731368818992 139661585357360 139662619277954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91700 KiB
[startup+0.311319 s]*
/proc/loadavg: 2.16 2.23 2.18 4/234 10895
/proc/meminfo: memFree=14793052/32770624 swapFree=66959212/67108860
[pid=10878] ppid=10875 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10878/stat : 10878 (scop.sh) S 10875 10878 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405775868 115843072 349 33554432000 4194304 5098028 140730582496528 140730582493784 140689040761468 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11755520 140730582500195 140730582500464 140730582500464 140730582503373 0
/proc/10878/statm: 28282 349 296 221 0 87 0
[pid=10881] ppid=10878 vsize=15012696 memory=94268 CPUtime=0.43 cores=0,2,4,6
/proc/10881/stat : 10881 (java) S 10878 10878 5595 0 -1 1077944320 12270 0 0 0 39 4 0 0 20 0 15 0 405775869 15373000704 23567 33554432000 4194304 4196468 140731368818992 140731368801536 139662619266807 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
/proc/10881/statm: 3753174 23567 3084 1 0 3715579 0
[pid=10881/tid=10882] ppid=10878 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/10881/task/10882/stat : 10882 (java) R 10878 10878 5595 0 -1 4202560 9846 0 0 0 27 3 0 0 20 0 15 0 405775869 15373000704 23567 33554432000 4194304 4196468 140731368818992 139662591057456 139662599542103 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10883] ppid=10878 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10883/stat : 10883 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15373000704 23567 33554432000 4194304 4196468 140731368818992 139662623509520 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10884] ppid=10878 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10884/stat : 10884 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15373000704 23567 33554432000 4194304 4196468 140731368818992 139662414593168 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10885] ppid=10878 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10885/stat : 10885 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15373000704 23567 33554432000 4194304 4196468 140731368818992 139662413540112 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10886] ppid=10878 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10886/stat : 10886 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15373000704 23567 33554432000 4194304 4196468 140731368818992 139662412487568 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10887] ppid=10878 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10887/stat : 10887 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775872 15373000704 23567 33554432000 4194304 4196468 140731368818992 139661589567728 139662619277954 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10888] ppid=10878 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10888/stat : 10888 (java) S 10878 10878 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405775873 15373000704 23567 33554432000 4194304 4196468 140731368818992 139661196387488 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10889] ppid=10878 vsize=15012696 memory=8982046290584177472 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10889/stat : 10889 (java) S 10878 10878 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775873 15373000704 23567 33554432000 4194304 4196468 140731368818992 139660927951600 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10890] ppid=10878 vsize=15012696 memory=8325818968683490714 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10890/stat : 10890 (java) S 10878 10878 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775875 15373000704 23567 33554432000 4194304 4196468 140731368818992 139660553443280 139662619285403 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10891] ppid=10878 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10881/task/10891/stat : 10891 (java) S 10878 10878 5595 0 -1 1077944384 465 0 0 0 3 0 0 0 20 0 15 0 405775875 15373000704 23567 33554432000 4194304 4196468 140731368818992 139661588515568 139662619277954 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10892] ppid=10878 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10892/stat : 10892 (java) S 10878 10878 5595 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 15 0 405775875 15373000704 23567 33554432000 4194304 4196468 140731368818992 139661587463024 139662619277954 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10893] ppid=10878 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10881/task/10893/stat : 10893 (java) S 10878 10878 5595 0 -1 1077944384 481 0 0 0 7 0 0 0 20 0 15 0 405775875 15373000704 23567 33554432000 4194304 4196468 140731368818992 139661586409968 139662619277954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10894] ppid=10878 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10894/stat : 10894 (java) S 10878 10878 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775875 15373000704 23567 33554432000 4194304 4196468 140731368818992 139660055538528 139662619277013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10895] ppid=10878 vsize=15012696 memory=4122826871718032432 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10895/stat : 10895 (java) S 10878 10878 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775876 15373000704 23567 33554432000 4194304 4196468 140731368818992 139661585357360 139662619277954 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 95664 KiB
[startup+0.70076 s]
/proc/loadavg: 2.16 2.23 2.18 4/234 10895
/proc/meminfo: memFree=14777468/32770624 swapFree=66959212/67108860
[pid=10878] ppid=10875 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10878/stat : 10878 (scop.sh) S 10875 10878 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405775868 115843072 349 33554432000 4194304 5098028 140730582496528 140730582493784 140689040761468 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11755520 140730582500195 140730582500464 140730582500464 140730582503373 0
/proc/10878/statm: 28282 349 296 221 0 87 0
[pid=10881] ppid=10878 vsize=15018968 memory=129156 CPUtime=0.98 cores=0,2,4,6
/proc/10881/stat : 10881 (java) S 10878 10878 5595 0 -1 1077944320 19520 0 0 0 92 6 0 0 20 0 15 0 405775869 15379423232 32289 33554432000 4194304 4196468 140731368818992 140731368801536 139662619266807 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
/proc/10881/statm: 3754742 32289 3187 1 0 3716091 0
[pid=10881/tid=10882] ppid=10878 vsize=15018968 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/10881/task/10882/stat : 10882 (java) R 10878 10878 5595 0 -1 4202560 16631 0 0 0 62 5 0 0 20 0 15 0 405775869 15379423232 32289 33554432000 4194304 4196468 140731368818992 139662591105280 139662619278742 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10883] ppid=10878 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10883/stat : 10883 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15379423232 32289 33554432000 4194304 4196468 140731368818992 139662623509520 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10884] ppid=10878 vsize=15018968 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10884/stat : 10884 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15379423232 32289 33554432000 4194304 4196468 140731368818992 139662414593168 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10885] ppid=10878 vsize=15018968 memory=37496 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10885/stat : 10885 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15379423232 32289 33554432000 4194304 4196468 140731368818992 139662413540112 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10886] ppid=10878 vsize=15018968 memory=988 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10886/stat : 10886 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15379423232 32289 33554432000 4194304 4196468 140731368818992 139662412487568 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10887] ppid=10878 vsize=15018968 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10887/stat : 10887 (java) S 10878 10878 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405775872 15379423232 32289 33554432000 4194304 4196468 140731368818992 139661589567728 139662619277954 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10888] ppid=10878 vsize=15018968 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10888/stat : 10888 (java) S 10878 10878 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405775873 15379423232 32289 33554432000 4194304 4196468 140731368818992 139661196387488 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10889] ppid=10878 vsize=15018968 memory=580 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10889/stat : 10889 (java) S 10878 10878 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775873 15379423232 32289 33554432000 4194304 4196468 140731368818992 139660927951600 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10890] ppid=10878 vsize=15018968 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10890/stat : 10890 (java) S 10878 10878 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775875 15379423232 32289 33554432000 4194304 4196468 140731368818992 139660553443280 139662619285403 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10891] ppid=10878 vsize=15018968 memory=10604 CPUtime=0.07 cores=0,2,4,6
/proc/10881/task/10891/stat : 10891 (java) S 10878 10878 5595 0 -1 1077944384 533 0 0 0 7 0 0 0 20 0 15 0 405775875 15379423232 32289 33554432000 4194304 4196468 140731368818992 139661588515568 139662619277954 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10892] ppid=10878 vsize=15018968 memory=3360 CPUtime=0.06 cores=0,2,4,6
/proc/10881/task/10892/stat : 10892 (java) S 10878 10878 5595 0 -1 1077944384 392 0 0 0 6 0 0 0 20 0 15 0 405775875 15379423232 32289 33554432000 4194304 4196468 140731368818992 139661587463024 139662619277954 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10893] ppid=10878 vsize=15018968 memory=776 CPUtime=0.16 cores=0,2,4,6
/proc/10881/task/10893/stat : 10893 (java) R 10878 10878 5595 0 -1 4202560 625 0 0 0 16 0 0 0 20 0 15 0 405775875 15379423232 32289 33554432000 4194304 4196468 140731368818992 139661586409968 139662598636902 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10894] ppid=10878 vsize=15018968 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10894/stat : 10894 (java) S 10878 10878 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775875 15379423232 32289 33554432000 4194304 4196468 140731368818992 139660055538528 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10895] ppid=10878 vsize=15018968 memory=5960 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10895/stat : 10895 (java) S 10878 10878 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775876 15379423232 32289 33554432000 4194304 4196468 140731368818992 139661585357360 139662619277954 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130552 KiB
[startup+1.18714 s]
# the end of solver process 10878 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.12399 s, system=0.09765 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800928 s]
/proc/loadavg: 2.16 2.23 2.18 4/234 10895
/proc/meminfo: memFree=14777468/32770624 swapFree=66959212/67108860
[pid=10878] ppid=10875 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10878/stat : 10878 (scop.sh) S 10875 10878 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405775868 115843072 349 33554432000 4194304 5098028 140730582496528 140730582493784 140689040761468 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11755520 140730582500195 140730582500464 140730582500464 140730582503373 0
/proc/10878/statm: 28282 349 296 221 0 87 0
[pid=10881] ppid=10878 vsize=15021092 memory=135456 CPUtime=1.24 cores=0,2,4,6
/proc/10881/stat : 10881 (java) S 10878 10878 5595 0 -1 1077944320 20187 0 0 0 117 7 0 0 20 0 15 0 405775869 15381598208 33864 33554432000 4194304 4196468 140731368818992 140731368801536 139662619266807 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
/proc/10881/statm: 3755273 33864 3224 1 0 3716603 0
[pid=10881/tid=10882] ppid=10878 vsize=15021092 memory=6791534058613427641 CPUtime=0.76 cores=0,2,4,6
/proc/10881/task/10882/stat : 10882 (java) R 10878 10878 5595 0 -1 4202560 17017 0 0 0 71 5 0 0 20 0 15 0 405775869 15381598208 33864 33554432000 4194304 4196468 140731368818992 139662591102224 139662619278742 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10883] ppid=10878 vsize=15021092 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10883/stat : 10883 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15381598208 33864 33554432000 4194304 4196468 140731368818992 139662623509520 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10884] ppid=10878 vsize=15021092 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10884/stat : 10884 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15381598208 33864 33554432000 4194304 4196468 140731368818992 139662414593168 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10885] ppid=10878 vsize=15021092 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10885/stat : 10885 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15381598208 33864 33554432000 4194304 4196468 140731368818992 139662413540112 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10886] ppid=10878 vsize=15021092 memory=11044 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10886/stat : 10886 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15381598208 33864 33554432000 4194304 4196468 140731368818992 139662412487568 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10887] ppid=10878 vsize=15021092 memory=13252 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10887/stat : 10887 (java) S 10878 10878 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405775872 15381598208 33864 33554432000 4194304 4196468 140731368818992 139661589567728 139662619277954 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10888] ppid=10878 vsize=15021092 memory=15460 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10888/stat : 10888 (java) S 10878 10878 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405775873 15381598208 33864 33554432000 4194304 4196468 140731368818992 139661196387488 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10889] ppid=10878 vsize=15021092 memory=17668 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10889/stat : 10889 (java) S 10878 10878 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775873 15381598208 33864 33554432000 4194304 4196468 140731368818992 139660927951600 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10890] ppid=10878 vsize=15021092 memory=19876 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10890/stat : 10890 (java) S 10878 10878 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775875 15381598208 33864 33554432000 4194304 4196468 140731368818992 139660553443280 139662619285403 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10891] ppid=10878 vsize=15021092 memory=22084 CPUtime=0.09 cores=0,2,4,6
/proc/10881/task/10891/stat : 10891 (java) R 10878 10878 5595 0 -1 4202560 544 0 0 0 9 0 0 0 20 0 15 0 405775875 15381598208 33864 33554432000 4194304 4196468 140731368818992 139661588505712 139662604391718 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10892] ppid=10878 vsize=15021092 memory=24292 CPUtime=0.1 cores=0,2,4,6
/proc/10881/task/10892/stat : 10892 (java) R 10878 10878 5595 0 -1 1077944384 416 0 0 0 10 0 0 0 20 0 15 0 405775875 15381598208 33864 33554432000 4194304 4196468 140731368818992 139661587463024 139662619277954 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10893] ppid=10878 vsize=15021092 memory=26500 CPUtime=0.25 cores=0,2,4,6
/proc/10881/task/10893/stat : 10893 (java) R 10878 10878 5595 0 -1 4202560 871 0 0 0 25 0 0 0 20 0 15 0 405775875 15381598208 33864 33554432000 4194304 4196468 140731368818992 139661586405232 139662598138076 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10894] ppid=10878 vsize=15021092 memory=28708 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10894/stat : 10894 (java) S 10878 10878 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775875 15381598208 33864 33554432000 4194304 4196468 140731368818992 139660055538528 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10895] ppid=10878 vsize=15021092 memory=30916 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10895/stat : 10895 (java) S 10878 10878 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775876 15381598208 33864 33554432000 4194304 4196468 140731368818992 139661585357360 139662619277954 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 136852 KiB
[startup+1.00071 s]*
/proc/loadavg: 2.16 2.23 2.18 4/234 10895
/proc/meminfo: memFree=14751780/32770624 swapFree=66959212/67108860
[pid=10878] ppid=10875 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10878/stat : 10878 (scop.sh) S 10875 10878 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405775868 115843072 349 33554432000 4194304 5098028 140730582496528 140730582493784 140689040761468 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11755520 140730582500195 140730582500464 140730582500464 140730582503373 0
/proc/10878/statm: 28282 349 296 221 0 87 0
[pid=10881] ppid=10878 vsize=15021092 memory=146416 CPUtime=1.76 cores=0,2,4,6
/proc/10881/stat : 10881 (java) S 10878 10878 5595 0 -1 1077944320 20892 0 0 0 168 8 0 0 20 0 15 0 405775869 15381598208 36604 33554432000 4194304 4196468 140731368818992 140731368801536 139662619266807 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
/proc/10881/statm: 3755273 36604 3239 1 0 3716603 0
[pid=10881/tid=10882] ppid=10878 vsize=15021092 memory=4026532046 CPUtime=0.98 cores=0,2,4,6
/proc/10881/task/10882/stat : 10882 (java) R 10878 10878 5595 0 -1 4202560 17323 0 0 0 92 6 0 0 20 0 15 0 405775869 15381598208 36604 33554432000 4194304 4196468 140731368818992 139662591104592 139662619278742 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10883] ppid=10878 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10883/stat : 10883 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15381598208 36604 33554432000 4194304 4196468 140731368818992 139662623509520 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10884] ppid=10878 vsize=15021092 memory=139841548937670 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10884/stat : 10884 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15381598208 36604 33554432000 4194304 4196468 140731368818992 139662414593168 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10885] ppid=10878 vsize=15021092 memory=139841452950259 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10885/stat : 10885 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15381598208 36604 33554432000 4194304 4196468 140731368818992 139662413540112 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10886] ppid=10878 vsize=15021092 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10886/stat : 10886 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15381598208 36604 33554432000 4194304 4196468 140731368818992 139662412487568 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10887] ppid=10878 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10887/stat : 10887 (java) S 10878 10878 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405775872 15381598208 36604 33554432000 4194304 4196468 140731368818992 139661589567728 139662619277954 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10888] ppid=10878 vsize=15021092 memory=139841450989415 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10888/stat : 10888 (java) S 10878 10878 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405775873 15381598208 36604 33554432000 4194304 4196468 140731368818992 139661196387488 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10889] ppid=10878 vsize=15021092 memory=279682901795128 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10889/stat : 10889 (java) S 10878 10878 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775873 15381598208 36604 33554432000 4194304 4196468 140731368818992 139660927951600 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10890] ppid=10878 vsize=15021092 memory=279682901983632 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10890/stat : 10890 (java) S 10878 10878 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775875 15381598208 36604 33554432000 4194304 4196468 140731368818992 139660553443280 139662619285403 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10891] ppid=10878 vsize=15021092 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/10881/task/10891/stat : 10891 (java) R 10878 10878 5595 0 -1 4202560 629 0 0 0 20 0 0 0 20 0 15 0 405775875 15381598208 36604 33554432000 4194304 4196468 140731368818992 139661588515568 139662619278742 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10892] ppid=10878 vsize=15021092 memory=-1 CPUtime=0.19 cores=0,2,4,6
/proc/10881/task/10892/stat : 10892 (java) R 10878 10878 5595 0 -1 4202560 465 0 0 0 19 0 0 0 20 0 15 0 405775875 15381598208 36604 33554432000 4194304 4196468 140731368818992 139661587463024 139662619288154 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10893] ppid=10878 vsize=15021092 memory=139841548954464 CPUtime=0.36 cores=0,2,4,6
/proc/10881/task/10893/stat : 10893 (java) R 10878 10878 5595 0 -1 1077944384 1136 0 0 0 36 0 0 0 20 0 15 0 405775875 15381598208 36604 33554432000 4194304 4196468 140731368818992 139661586409968 139662619277954 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10894] ppid=10878 vsize=15021092 memory=139841451005543 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10894/stat : 10894 (java) S 10878 10878 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775875 15381598208 36604 33554432000 4194304 4196468 140731368818992 139660055538528 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10895] ppid=10878 vsize=15021092 memory=279682999934160 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10895/stat : 10895 (java) S 10878 10878 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775876 15381598208 36604 33554432000 4194304 4196468 140731368818992 139661585357360 139662619277954 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 147812 KiB
[startup+1.11085 s]
/proc/loadavg: 2.16 2.23 2.18 4/234 10895
/proc/meminfo: memFree=14751780/32770624 swapFree=66959212/67108860
[pid=10878] ppid=10875 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10878/stat : 10878 (scop.sh) S 10875 10878 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405775868 115843072 349 33554432000 4194304 5098028 140730582496528 140730582493784 140689040761468 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11755520 140730582500195 140730582500464 140730582500464 140730582503373 0
/proc/10878/statm: 28282 349 296 221 0 87 0
[pid=10881] ppid=10878 vsize=15021092 memory=153736 CPUtime=2.02 cores=0,2,4,6
/proc/10881/stat : 10881 (java) S 10878 10878 5595 0 -1 1077944320 21222 0 0 0 194 8 0 0 20 0 15 0 405775869 15381598208 38434 33554432000 4194304 4196468 140731368818992 140731368801536 139662619266807 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
/proc/10881/statm: 3755273 38434 3246 1 0 3716603 0
[pid=10881/tid=10882] ppid=10878 vsize=15021092 memory=-7816663703405220396 CPUtime=1.08 cores=0,2,4,6
/proc/10881/task/10882/stat : 10882 (java) R 10878 10878 5595 0 -1 4202560 17385 0 0 0 102 6 0 0 20 0 15 0 405775869 15381598208 38434 33554432000 4194304 4196468 140731368818992 139662591100496 139662619278742 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10883] ppid=10878 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10883/stat : 10883 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15381598208 38434 33554432000 4194304 4196468 140731368818992 139662623509520 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10884] ppid=10878 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10884/stat : 10884 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15381598208 38434 33554432000 4194304 4196468 140731368818992 139662414593168 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10885] ppid=10878 vsize=15021092 memory=1966185 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10885/stat : 10885 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15381598208 38434 33554432000 4194304 4196468 140731368818992 139662413540112 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10886] ppid=10878 vsize=15021092 memory=1967567 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10886/stat : 10886 (java) S 10878 10878 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405775871 15381598208 38434 33554432000 4194304 4196468 140731368818992 139662412487568 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10887] ppid=10878 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10887/stat : 10887 (java) S 10878 10878 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405775872 15381598208 38434 33554432000 4194304 4196468 140731368818992 139661589567728 139662619277954 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10888] ppid=10878 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10888/stat : 10888 (java) S 10878 10878 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405775873 15381598208 38434 33554432000 4194304 4196468 140731368818992 139661196387488 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10889] ppid=10878 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10889/stat : 10889 (java) S 10878 10878 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405775873 15381598208 38434 33554432000 4194304 4196468 140731368818992 139660927951600 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10890] ppid=10878 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10890/stat : 10890 (java) S 10878 10878 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775875 15381598208 38434 33554432000 4194304 4196468 140731368818992 139660553443280 139662619285403 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10891] ppid=10878 vsize=15021092 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/10881/task/10891/stat : 10891 (java) R 10878 10878 5595 0 -1 4202560 697 0 0 0 25 0 0 0 20 0 15 0 405775875 15381598208 38434 33554432000 4194304 4196468 140731368818992 139661588507520 139662597683015 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10892] ppid=10878 vsize=15021092 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/10881/task/10892/stat : 10892 (java) R 10878 10878 5595 0 -1 4202560 494 0 0 0 23 0 0 0 20 0 15 0 405775875 15381598208 38434 33554432000 4194304 4196468 140731368818992 139661587452816 139662603226097 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10893] ppid=10878 vsize=15021092 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/10881/task/10893/stat : 10893 (java) R 10878 10878 5595 0 -1 1077944384 1307 0 0 0 43 0 0 0 20 0 15 0 405775875 15381598208 38434 33554432000 4194304 4196468 140731368818992 139661586409968 139662619277954 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10894] ppid=10878 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10894/stat : 10894 (java) S 10878 10878 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775875 15381598208 38434 33554432000 4194304 4196468 140731368818992 139660055538528 139662619277013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
[pid=10881/tid=10895] ppid=10878 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10881/task/10895/stat : 10895 (java) S 10878 10878 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405775876 15381598208 38434 33554432000 4194304 4196468 140731368818992 139661585357360 139662619277954 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12382208 140731368825641 140731368826010 140731368826010 140731368828879 0
Current children cumulated CPU time: 2.02 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 155132 KiB
Child status: 0
Real time (s): 1.18717
CPU time (s): 2.22164
CPU user time (s): 2.12399
CPU system time (s): 0.09765
CPU usage (%): 187.137
Max. virtual memory (cumulated for all children) (KiB): 15134220
Max. memory (cumulated for all children) (KiB): 155132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.12399
system time used= 0.09765
maximum resident set size= 158312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22577
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2034
involuntary context switches= 16
# summary of solver processes directly reported to runsolver:
# pid: 10878
# total CPU time (s): 2.22164
# total CPU user time (s): 2.12399
# total CPU system time (s): 0.09765
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033207 second user time and 0.058363 second system time
The end