Trace number 4395986

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete 3.12.2? 17.6359 8.37143

General information on the benchmark

NameXCSP19/hcp/
graph162.xml
MD5SUM0d1146fb66ad2f4e2d5d75203fe6e22a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.99647
Satisfiable
(Un)Satisfiability was proved
Number of variables909
Number of constraints1
Number of domains909
Minimum domain size2
Maximum domain size908
Distribution of domain sizes[{"size":2,"count":2},{"size":3,"count":1},{"size":4,"count":1},{"size":5,"count":1},{"size":6,"count":1},{"size":7,"count":1},{"size":8,"count":1},{"size":9,"count":1},{"size":10,"count":1},{"size":11,"count":1},{"size":12,"count":1},{"size":13,"count":1},{"size":14,"count":1},{"size":15,"count":1},{"size":16,"count":1},{"size":17,"count":1},{"size":18,"count":1},{"size":19,"count":1},{"size":20,"count":1},{"size":21,"count":1},{"size":22,"count":1},{"size":23,"count":1},{"size":24,"count":1},{"size":25,"count":1},{"size":26,"count":1},"...",{"size":884,"count":1}, {"size":885,"count":1}, {"size":886,"count":1}, {"size":887,"count":1}, {"size":888,"count":1}, {"size":889,"count":1}, {"size":890,"count":1}, {"size":891,"count":1}, {"size":892,"count":1}, {"size":893,"count":1}, {"size":894,"count":1}, {"size":895,"count":1}, {"size":896,"count":1}, {"size":897,"count":1}, {"size":898,"count":1}, {"size":899,"count":1}, {"size":900,"count":1}, {"size":901,"count":1}, {"size":902,"count":1}, {"size":903,"count":1}, {"size":904,"count":1}, {"size":905,"count":1}, {"size":906,"count":1}, {"size":907,"count":1}, {"size":908,"count":1}]
Minimum variable degree1
Maximum variable degree1
Distribution of variable degrees[{"degree":1,"count":909}]
Minimum constraint arity909
Maximum constraint arity909
Distribution of constraint arities[{"arity":909,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"circuit","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.79/0.60	c Concrete v3.12.2.1568380929293 running
17.49/8.34	c 06:42:36.865 [main] ERROR c.constraint.semantic.FZSubcircuit - FZSubcircuit(v0 [455], v1 [241], v2 [15], v3 {23, 83, 774, 794, 885}, v4 [541], v5 [458], v6 {16, 23, 36, 41, [53...], 885}, v7 [395], v8 {0, 1, 4, 7, [268...], 908}, v9 {1, 7, 16, 23, [81...], 885}, v10 [296], v11 {23, 83, 384, 594, [5...], 885}, v12 [266], v13 [898], v14 [8], v15 {0, 1, 2, 4, [402...], 908}, v16 [577], v17 {0, 1, 4, 7, [332...], 908}, v18 {1, 7, 16, 23, [85...], 885}, v19 [55], v20 {0, 1, 4, 7, [327...], 908}, v21 {0, 1, 2, 4, [436...], 908}, v22 [157], v23 [425], v24 [666], v25 [799], v26 {7, 16, 23, 36, [66...], 885}, v27 {0, 1, 4, 7, [243...], 891}, v28 [201], v29 [678], v30 {16, 23, 63, 83, [26...], 885}, v31 {1, 7, 16, 23, [86...], 885}, v32 {0, 1, 4, 7, [224...], 891}, v33 [790], v34 [686], v35 {1, 7, 13, 16, [161...], 885}, v36 [615], v37 {1, 7, 13, 16, [141...], 885}, v38 [846], v39 {0, 1, 4, 7, [340...], 908}, v40 [824], v41 [576], v42 {1, 7, 13, 16, [151...], 885}, v43 [617], v44 {1, 7, 16, 23, [80...], 885}, v45 [546], v46 [639], v47 {0, 1, 2, 4, [446...], 908}, v48 [845], v49 [236], v50 [265], v51 [567], v52 [430], v53 [68], v54 {0, 1, 4, 7, [220...], 891}, v55 {0, 1, 4, 7, [272...], 908}, v56 [662], v57 [680], v58 {1, 7, 13, 16, [153...], 885}, v59 [694], v60 [621], v61 [349], v62 [194], v63 [868], v64 {0, 1, 2, 4, [414...], 908}, v65 [181], v66 [580], v67 [202], v68 {0, 1, 4, 7, [207...], 891}, v69 [178], v70 {0, 1, 4, 7, [301...], 908}, v71 [414], v72 {1, 7, 13, 16, [136...], 885}, v73 {0, 1, 4, 7, [241...], 891}, v74 [859], v75 {0, 1, 4, 7, [214...], 891}, v76 [733], v77 {0, 1, 4, 7, [293...], 908}, v78 {0, 1, 4, 7, [331...], 908}, v79 {0, 1, 4, 7, [379...], 908}, v80 [783], v81 [712], v82 {0, 1, 4, 7, [291...], 908}, v83 [454], v84 {0, 1, 4, 7, [322...], 908}, v85 [139], v86 {0, 1, 4, 7, [194...], 885}, v87 [652], v88 {0, 1, 4, 7, [352...], 908}, v89 {0, 1, 4, 7, [310...], 908}, v90 {0, 1, 2, 4, [418...], 908}, v91 {16, 23, 41, 63, [45...], 885}, v92 {16, 23, 41, 63, [42...], 885}, v93 {0, 1, 4, 7, [275...], 908}, v94 [156], v95 {1, 7, 13, 16, [139...], 885}, v96 [191], v97 {0, 1, 4, 7, [229...], 891}, v98 [725], v99 {0, 1, 4, 7, [369...], 908}, v100 [528], v101 {0, 1, 4, 7, [388...], 908}, v102 [708], v103 {0, 1, 2, 4, [438...], 908}, v104 {16, 23, 36, 41, [61...], 885}, v105 {1, 7, 13, 16, [116...], 885}, v106 [365], v107 [873], v108 [839], v109 {1, 7, 13, 16, [157...], 885}, v110 [651], v111 {0, 1, 4, 7, [206...], 891}, v112 {0, 1, 4, 7, [209...], 891}, v113 {1, 7, 13, 16, [125...], 885}, v114 [843], v115 [833], v116 {1, 4, 7, 13, [172...], 885}, v117 {0, 1, 4, 7, [244...], 891}, v118 {1, 7, 13, 16, [112...], 885}, v119 [490], v120 [864], v121 [884], v122 [452], v123 {1, 7, 16, 23, [96...], 885}, v124 {0, 1, 2, 4, [410...], 908}, v125 [58], v126 {0, 1, 4, 7, [361...], 908}, v127 {0, 1, 4, 7, [317...], 908}, v128 [523], v129 [632], v130 {0, 1, 4, 7, [320...], 908}, v131 [180], v132 {1, 7, 13, 16, [158...], 885}, v133 {0, 1, 4, 7, [251...], 891}, v134 {0, 1, 4, 7, [391...], 908}, v135 [669], v136 [854], v137 [578], v138 {0, 1, 4, 7, [313...], 908}, v139 {0, 1, 4, 7, [256...], 908}, v140 [350], v141 {0, 1, 4, 7, [297...], 908}, v142 {0, 1, 4, 7, [399...], 908}, v143 {0, 1, 4, 7, [236...], 891}, v144 {0, 1, 4, 7, [398...], 908}, v145 [339], v146 {0, 1, 4, 7, [226...], 891}, v147 {0, 1, 4, 7, [221...], 891}, v148 {0, 1, 4, 7, [355...], 908}, v149 [582], v150 [143], v151 [527], v152 [6], v153 {0, 1, 4, 7, [324...], 908}, v154 [315], v155 [724], v156 {0, 1, 4, 7, [191...], 885}, v157 {0, 1, 2, 4, [434...], 908}, v158 [579], v159 {1, 7, 16, 23, [98...], 885}, v160 [113], v161 {16, 23, 63, 83, [16...], 885}, v162 {1, 7, 13, 16, [127...], 885}, v163 {1, 4, 7, 13, [171...], 885}, v164 [555], v165 [124], v166 [410], v167 [568], v168 [684], v169 {1, 7, 13, 16, [154...], 885}, v170 {0, 1, 4, 7, [261...], 908}, v171 [86], v172 [801], v173 [426], v174 [855], v175 [591], v176 [105], v177 {1, 7, 13, 16, [129...], 885}, v178 {0, 1, 4, 7, [329...], 908}, v179 [800], v180 {0, 1, 4, 7, [228...], 891}, v181 {1, 7, 16, 23, [99...], 885}, v182 {0, 1, 4, 7, [401...], 908}, v183 [739], v184 {0, 1, 4, 7, [262...], 908}, v185 {1, 7, 16, 23, [100...], 885}, v186 {1, 7, 13, 16, [155...], 885}, v187 [471], v188 [444], v189 [89], v190 {1, 7, 13, 16, [159...], 885}, v191 {0, 1, 4, 7, [270...], 908}, v192 {0, 1, 2, 4, [445...], 908}, v193 [463], v194 {0, 1, 4, 7, [330...], 908}, v195 [123], v196 [782], v197 {1, 7, 13, 16, [122...], 885}, v198 [710], v199 [251], v200 {1, 7, 16, 23, [88...], 885}, v201 {0, 1, 4, 7, [231...], 891}, v202 {0, 1, 4, 7, [367...], 908}, v203 {0, 1, 2, 4, [420...], 908}, v204 [649], v205 [889], v206 {0, 1, 2, 4, [412...], 908}, v207 {0, 1, 2, 4, [404...], 908}, v208 [252], v209 {16, 23, 63, 83, [22...], 885}, v210 [184], v211 {23, 83, 794}, v212 {0, 1, 4, 7, [282...], 908}, v213 {0, 1, 4, 7, [387...], 908}, v214 [54], v215 [758], v216 {1, 7, 16, 23, [75...], 885}, v217 {0, 1, 4, 7, [190...], 885}, v218 {0, 1, 2, 4, [428...], 908}, v219 [433], v220 {0, 1, 4, 7, [217...], 891}, v221 [583], v222 {0, 1, 4, 7, [316...], 908}, v223 {0, 1, 2, 4, [408...], 908}, v224 {0, 1, 4, 7, [213...], 891}, v225 [664], v226 [9], v227 {0, 1, 4, 7, [249...], 891}, v228 {1, 7, 16, 23, [84...], 885}, v229 [755], v230 [419], v231 [890], v232 [474], v233 {1, 7, 13, 16, [166...], 885}, v234 {16, 23, 63, 83, [18...], 885}, v235 [99], v236 {0, 1, 2, 4, [437...], 908}, v237 [91], v238 {0, 1, 4, 7, [309...], 908}, v239 [275], v240 {0, 1, 4, 7, [260...], 908}, v241 {1, 7, 16, 23, [73...], 885}, v242 [622], v243 {0, 1, 4, 7, [314...], 908}, v244 [519], v245 [424], v246 [337], v247 [569], v248 {0, 1, 4, 7, [319...], 908}, v249 {16, 23, 83, 135, [11...], 885}, v250 [540], v251 {0, 1, 4, 7, [278...], 908}, v252 {0, 1, 4, 7, [248...], 891}, v253 [73], v254 {0, 1, 2, 4, [425...], 908}, v255 [802], v256 {0, 1, 4, 7, [258...], 908}, v257 {0, 1, 4, 7, [277...], 908}, v258 {0, 1, 4, 7, [242...], 891}, v259 {23, 83, 594, 692, [3...], 885}, v260 [82], v261 [573], v262 [257], v263 {0, 1, 4, 7, [335...], 908}, v264 {16, 23, 83, 196, [9...], 885}, v265 {0, 1, 4, 7, [246...], 891}, v266 {0, 1, 2, 4, [416...], 908}, v267 {0, 1, 4, 7, [255...], 908}, v268 [21], v269 [44], v270 [95], v271 {0, 1, 2, 4, [423...], 908}, v272 [514], v273 {0, 1, 4, 7, [389...], 908}, v274 [146], v275 {16, 23, 36, 41, [54...], 885}, v276 {1, 7, 13, 16, [108...], 885}, v277 [878], v278 [836], v279 [876], v280 [803], v281 {1, 7, 13, 16, [138...], 885}, v282 {1, 7, 16, 23, [74...], 885}, v283 [738], v284 {0, 1, 4, 7, [203...], 891}, v285 [103], v286 [282], v287 {16, 23, 63, 83, [17...], 885}, v288 [335], v289 [682], v290 [893], v291 {1, 7, 13, 16, [162...], 885}, v292 [321], v293 [806], v294 {1, 7, 13, 16, [145...], 885}, v295 [732], v296 {0, 1, 4, 7, [276...], 908}, v297 [147], v298 [747], v299 {1, 7, 13, 16, [148...], 885}, v300 {1, 7, 13, 16, [150...], 885}, v301 [574], v302 {0, 1, 4, 7, [342...], 908}, v303 [222], v304 {0, 1, 4, 7, [312...], 908}, v305 {0, 1, 4, 7, [233...], 891}, v306 [64], v307 [97], v308 [899], v309 [267], v310 [185], v311 [35], v312 {23, 83, 774, 794, [1...], 885}, v313 [367], v314 {0, 1, 4, 7, [177...], 885}, v315 {0, 1, 4, 7, [223...], 891}, v316 [223], v317 [498], v318 {0, 1, 4, 7, [237...], 891}, v319 [530], v320 [637], v321 {0, 1, 2, 4, [440...], 908}, v322 [420], v323 {16, 23, 36, 41, [60...], 885}, v324 {0, 1, 4, 7, [279...], 908}, v325 [477], v326 [536], v327 [670], v328 [162], v329 {0, 1, 2, 4, [415...], 908}, v330 [84], v331 {1, 7, 16, 23, [76...], 885}, v332 {0, 1, 4, 7, [383...], 908}, v333 [109], v334 [784], v335 {0, 1, 4, 7, [304...], 908}, v336 {0, 1, 4, 7, [348...], 908}, v337 {1, 7, 13, 16, [123...], 885}, v338 [256], v339 {1, 7, 13, 16, [144...], 885}, v340 {0, 1, 4, 7, [284...], 908}, v341 [271], v342 [382], v343 [645], v344 [508], v345 {0, 1, 4, 7, [295...], 908}, v346 {0, 1, 4, 7, [181...], 885}, v347 [764], v348 [373], v349 {0, 1, 4, 7, [210...], 891}, v350 {0, 1, 4, 7, [303...], 908}, v351 {0, 1, 4, 7, [390...], 908}, v352 [756], v353 {0, 1, 4, 7, [400...], 908}, v354 {1, 7, 13, 16, [118...], 885}, v355 [542], v356 [869], v357 {0, 1, 4, 7, [200...], 891}, v358 [459], v359 [324], v360 [31], v361 [762], v362 {1, 7, 13, 16, [119...], 885}, v363 [600], v364 [892], v365 {0, 1, 4, 7, [360...], 908}, v366 [489], v367 {16, 23, 63, 71, [32...], 885}, v368 [515], v369 {16, 23, 41, 63, [41...], 885}, v370 [192], v371 {16, 23, 63, 83, [21...], 885}, v372 [760], v373 {0, 1, 4, 7, [234...], 891}, v374 {1, 7, 16, 23, [78...], 885}, v375 {1, 7, 13, 16, [132...], 885}, v376 [714], v377 [769], v378 [718], v379 [92], v380 [112], v381 [388], v382 {0, 1, 4, 7, [196...], 891}, v383 [522], v384 [886], v385 [249], v386 [723], v387 [466], v388 {0, 1, 4, 7, [392...], 908}, v389 {1, 7, 13, 16, [102...], 885}, v390 [691], v391 [493], v392 {0, 1, 4, 7, [189...], 885}, v393 [234], v394 [697], v395 {7, 16, 23, 36, [64...], 885}, v396 [276], v397 {16, 23, 41, 63, [40...], 885}, v398 {1, 7, 13, 16, [164...], 885}, v399 {1, 7, 13, 16, [156...], 885}, v400 [332], v401 [392], v402 [351], v403 {0, 1, 4, 7, [290...], 908}, v404 [304], v405 {1, 7, 13, 16, [126...], 885}, v406 {1, 7, 16, 23, [94...], 885}, v407 [496], v408 [698], v409 {0, 1, 2, 4, [409...], 908}, v410 {0, 1, 4, 7, [184...], 885}, v411 {7, 16, 23, 36, [69...], 885}, v412 [439], v413 [748], v414 {16, 23, 63, 71, [29...], 885}, v415 {0, 1, 4, 7, [208...], 891}, v416 {0, 1, 4, 7, [216...], 891}, v417 [186], v418 [672], v419 {1, 7, 13, 16, [140...], 885}, v420 {0, 1, 4, 7, [308...], 908}, v421 [768], v422 [240], v423 {0, 1, 4, 7, [192...], 885}, v424 {16, 23, 36, 41, [63...], 885}, v425 [524], v426 {0, 1, 4, 7, [205...], 891}, v427 [505], v428 [896], v429 [879], v430 {0, 1, 2, 4, [431...], 908}, v431 [345], v432 {1, 7, 16, 23, [90...], 885}, v433 {0, 1, 4, 7, [358...], 908}, v434 [742], v435 {1, 7, 13, 16, [114...], 885}, v436 {0, 1, 4, 7, [370...], 908}, v437 {0, 1, 2, 4, [441...], 908}, v438 {0, 1, 4, 7, [364...], 908}, v439 {1, 7, 13, 16, [124...], 885}, v440 {0, 1, 4, 7, [257...], 908}, v441 [26], v442 {0, 1, 4, 7, [222...], 891}, v443 [130], v444 {0, 1, 4, 7, [343...], 908}, v445 [767], v446 {0, 1, 4, 7, [254...], 908}, v447 [284], v448 [405], v449 [169], v450 [812], v451 [127], v452 {1, 7, 16, 23, [97...], 885}, v453 [880], v454 {23, 83}, v455 {0, 1, 4, 7, [174...], 885}, v456 [518], v457 {0, 1, 4, 7, [323...], 908}, v458 {0, 1, 2, 4, [407...], 908}, v459 {0, 1, 4, 7, [197...], 891}, v460 [821], v461 {0, 1, 2, 4, [446...], 908}, v462 {0, 1, 4, 7, [395...], 908}, v463 {16, 23, 41, 63, [44...], 885}, v464 [336], v465 [302], v466 {0, 1, 4, 7, [333...], 908}, v467 [791], v468 [440], v469 [30], v470 {1, 7, 13, 16, [147...], 885}, v471 {16, 23, 36, 41, [62...], 885}, v472 {7, 16, 23, 36, [65...], 885}, v473 {1, 7, 16, 23, [87...], 885}, v474 {16, 23, 41, 63, [43...], 885}, v475 [161], v476 [263], v477 {1, 7, 13, 16, [163...], 885}, v478 [203], v479 [887], v480 {0, 1, 2, 4, [427...], 908}, v481 {0, 1, 4, 7, [230...], 891}, v482 [552], v483 {0, 1, 4, 7, [346...], 908}, v484 [735], v485 [551], v486 {0, 1, 4, 7, [201...], 891}, v487 [399], v488 [832], v489 {0, 1, 4, 7, [298...], 908}, v490 {0, 1, 4, 7, [334...], 908}, v491 [248], v492 [509], v493 {1, 7, 16, 23, [79...], 885}, v494 [461], v495 {0, 1, 4, 7, [219...], 891}, v496 {0, 1, 4, 7, [218...], 891}, v497 [894], v498 {16, 23, 63, 71, [38...], 885}, v499 [906], v500 [875], v501 [20], v502 {16, 23, 63, 71, [30...], 885}, v503 [88], v504 {0, 1, 2, 4, [405...], 908}, v505 {16, 23, 36, 41, [59...], 885}, v506 [741], v507 [705], v508 {0, 1, 4, 7, [357...], 908}, v509 {0, 1, 4, 7, [266...], 908}, v510 {0, 1, 4, 7, [289...], 908}, v511 [254], v512 [625], v513 [549], v514 {1, 7, 16, 23, [92...], 885}, v515 {0, 1, 4, 7, [373...], 908}, v516 [217], v517 [688], v518 {0, 1, 4, 7, [269...], 908}, v519 {1, 7, 13, 16, [111...], 885}, v520 [93], v521 [37], v522 {0, 1, 4, 7, [178...], 885}, v523 {0, 1, 4, 7, [371...], 908}, v524 [834], v525 [398], v526 [457], v527 {7, 16, 23, 36, [72...], 885}, v528 {1, 7, 13, 16, [135...], 885}, v529 [318], v530 {1, 7, 13, 16, [152...], 885}, v531 [70], v532 {0, 1, 4, 7, [300...], 908}, v533 [481], v534 [177], v535 [18], v536 {0, 1, 4, 7, [263...], 908}, v537 {0, 1, 4, 7, [376...], 908}, v538 [860], v539 {16, 23, 63, 83, [19...], 885}, v540 {0, 1, 4, 7, [347...], 908}, v541 {1, 4, 7, 13, [170...], 885}, v542 {1, 7, 13, 16, [169...], 885}, v543 [375], v544 {1, 7, 13, 16, [149...], 885}, v545 [446], v546 {0, 1, 2, 4, [429...], 908}, v547 [798], v548 [32], v549 {0, 1, 4, 7, [225...], 891}, v550 {1, 7, 13, 16, [165...], 885}, v551 {0, 1, 4, 7, [240...], 891}, v552 {16, 23, 83, 135, [13...], 885}, v553 {0, 1, 4, 7, [354...], 908}, v554 [436], v555 {0, 1, 4, 7, [273...], 908}, v556 [369], v557 [558], v558 {16, 23, 63, 83, [23...], 885}, v559 {0, 1, 4, 7, [337...], 908}, v560 {0, 1, 4, 7, [202...], 891}, v561 {16, 23, 63, 71, [37...], 885}, v562 {0, 1, 4, 7, [265...], 908}, v563 [480], v564 [504], v565 [753], v566 {0, 1, 4, 7, [356...], 908}, v567 {0, 1, 4, 7, [292...], 908}, v568 {7, 16, 23, 36, [67...], 885}, v569 {0, 1, 4, 7, [325...], 908}, v570 {0, 1, 4, 7, [247...], 891}, v571 [346], v572 [566], v573 {0, 1, 4, 7, [211...], 891}, v574 {0, 1, 4, 7, [396...], 908}, v575 {0, 1, 4, 7, [288...], 908}, v576 {16, 23, 41, 63, [39...], 885}, v577 {16, 23, 83, 384, [6...], 885}, v578 {1, 7, 16, 23, [83...], 885}, v579 {0, 1, 4, 7, [345...], 908}, v580 {1, 7, 13, 16, [134...], 885}, v581 [323], v582 {0, 1, 4, 7, [287...], 908}, v583 {0, 1, 4, 7, [274...], 908}, v584 [42], v585 [865], v586 {0, 1, 4, 7, [188...], 885}, v587 [609], v588 [212], v589 [182], v590 [641], v591 {0, 1, 4, 7, [186...], 885}, v592 [586], v593 [486], v594 [665], v595 [294], v596 [371], v597 {16, 23, 63, 83, [25...], 885}, v598 {0, 1, 4, 7, [235...], 891}, v599 [852], v600 {0, 1, 4, 7, [381...], 908}, v601 {0, 1, 4, 7, [307...], 908}, v602 {0, 1, 4, 7, [375...], 908}, v603 {0, 1, 4, 7, [253...], 908}, v604 [644], v605 [837], v606 [329], v607 [216], v608 [138], v609 {1, 7, 13, 16, [117...], 885}, v610 [793], v611 {0, 1, 4, 7, [305...], 908}, v612 [200], v613 [163], v614 {16, 23, 63, 71, [33...], 885}, v615 {16, 23, 36, 41, [52...], 885}, v616 [829], v617 {16, 23, 41, 43, [49...], 885}, v618 {0, 1, 4, 7, [318...], 908}, v619 {0, 1, 4, 7, [363...], 908}, v620 [614], v621 {0, 1, 4, 7, [350...], 908}, v622 {16, 23, 63, 83, [20...], 885}, v623 [797], v624 [779], v625 {0, 1, 4, 7, [185...], 885}, v626 [757], v627 {0, 1, 2, 4, [433...], 908}, v628 [627], v629 [291], v630 [495], v631 [618], v632 {0, 1, 4, 7, [306...], 908}, v633 {0, 1, 4, 7, [227...], 891}, v634 [104], v635 [362], v636 [78], v637 {7, 16, 23, 36, [71...], 885}, v638 [159], v639 {0, 1, 4, 7, [175...], 885}, v640 [510], v641 {16, 23, 41, 63, [48...], 885}, v642 [562], v643 [842], v644 {0, 1, 4, 7, [252...], 891}, v645 {16, 23, 63, 71, [31...], 885}, v646 [848], v647 [190], v648 [870], v649 {0, 1, 4, 7, [267...], 908}, v650 [397], v651 {1, 7, 13, 16, [104...], 885}, v652 {1, 7, 13, 16, [133...], 885}, v653 [746], v654 [432], v655 [901], v656 [39], v657 [731], v658 [773], v659 [148], v660 [561], v661 [736], v662 {0, 1, 4, 7, [384...], 908}, v663 [374], v664 {7, 16, 23, 36, [68...], 885}, v665 {23, 83, 594, 774, [2...], 885}, v666 {1, 7, 13, 16, [115...], 885}, v667 {0, 1, 4, 7, [365...], 908}, v668 {0, 1, 4, 7, [374...], 908}, v669 {16, 23, 83, 135, [10...], 885}, v670 {0, 1, 4, 7, [296...], 908}, v671 [667], v672 {0, 1, 4, 7, [386...], 908}, v673 [111], v674 [795], v675 [314], v676 [220], v677 [79], v678 {0, 1, 4, 7, [393...], 908}, v679 [598], v680 [47], v681 [483], v682 {0, 1, 4, 7, [176...], 885}, v683 [27], v684 {0, 1, 4, 7, [271...], 908}, v685 [357], v686 {0, 1, 4, 7, [328...], 908}, v687 [299], v688 {16, 23, 36, 41, [55...], 885}, v689 {0, 1, 4, 7, [187...], 885}, v690 [300], v691 {1, 7, 13, 16, [160...], 885}, v692 [259], v693 [144], v694 {1, 7, 16, 23, [93...], 885}, v695 [233], v696 {0, 1, 4, 7, [338...], 908}, v697 {16, 23, 63, 71, [35...], 885}, v698 {0, 1, 4, 7, [182...], 885}, v699 [702], v700 [713], v701 [238], v702 {0, 1, 4, 7, [311...], 908}, v703 [423], v704 [900], v705 {0, 1, 4, 7, [380...], 908}, v706 [258], v707 [264], v708 {16, 23, 36, 41, [56...], 885}, v709 [788], v710 {0, 1, 4, 7, [281...], 908}, v711 [142], v712 {1, 7, 13, 16, [168...], 885}, v713 {0, 1, 4, 7, [344...], 908}, v714 {1, 7, 13, 16, [146...], 885}, v715 [331], v716 [560], v717 [72], v718 {0, 1, 4, 7, [294...], 908}, v719 [218], v720 {0, 1, 2, 4, [424...], 908}, v721 [406], v722 [539], v723 {1, 7, 13, 16, [137...], 885}, v724 {1, 4, 7, 13, [173...], 885}, v725 {0, 1, 4, 7, [351...], 908}, v726 [789], v727 {1, 7, 13, 16, [121...], 885}, v728 [727], v729 [153], v730 [209], v731 {0, 1, 4, 7, [368...], 908}, v732 {0, 1, 2, 4, [406...], 908}, v733 {0, 1, 4, 7, [264...], 908}, v734 [689], v735 {0, 1, 4, 7, [245...], 891}, v736 {0, 1, 2, 4, [443...], 908}, v737 [134], v738 {1, 7, 16, 23, [91...], 885}, v739 {1, 7, 13, 16, [167...], 885}, v740 [273], v741 {16, 23, 41, 43, [51...], 885}, v742 {0, 1, 4, 7, [372...], 908}, v743 [207], v744 {1, 7, 13, 16, [105...], 885}, v745 [696], v746 {0, 1, 4, 7, [204...], 891}, v747 {0, 1, 4, 7, [299...], 908}, v748 {0, 1, 4, 7, [378...], 908}, v749 {7, 16, 23, 36, [70...], 885}, v750 {0, 1, 4, 7, [250...], 891}, v751 [882], v752 [403], v753 {16, 23, 36, 41, [57...], 885}, v754 [75], v755 {0, 1, 4, 7, [183...], 885}, v756 {1, 7, 16, 23, [82...], 885}, v757 [626], v758 {0, 1, 4, 7, [336...], 908}, v759 {16, 23, 83, 135, [14...], 885}, v760 {0, 1, 4, 7, [283...], 908}, v761 [866], v762 {1, 7, 13, 16, [142...], 885}, v763 [116], v764 {0, 1, 4, 7, [385...], 908}, v765 [861], v766 [602], v767 {1, 7, 13, 16, [130...], 885}, v768 {16, 23, 63, 71, [36...], 885}, v769 {0, 1, 2, 4, [419...], 908}, v770 [411], v771 [243], v772 [744], v773 {0, 1, 2, 4, [426...], 908}, v774 [786], v775 [354], v776 [633], v777 [823], v778 [101], v779 {0, 1, 4, 7, [215...], 891}, v780 [472], v781 [550], v782 {16, 23, 83, 196, [8...], 885}, v783 {16, 23, 41, 63, [47...], 885}, v784 {16, 23, 83, 135, [12...], 885}, v785 [553], v786 {23, 83, 774, 794}, v787 [197], v788 {0, 1, 4, 7, [302...], 908}, v789 {0, 1, 4, 7, [382...], 908}, v790 {1, 7, 16, 23, [77...], 885}, v791 {0, 1, 4, 7, [315...], 908}, v792 [462], v793 {0, 1, 4, 7, [286...], 908}, v794 [211], v795 {0, 1, 2, 4, [435...], 908}, v796 [597], v797 {0, 1, 4, 7, [341...], 908}, v798 {0, 1, 4, 7, [239...], 891}, v799 {1, 7, 13, 16, [103...], 885}, v800 {0, 1, 4, 7, [180...], 885}, v801 {0, 1, 2, 4, [442...], 908}, v802 {0, 1, 2, 4, [403...], 908}, v803 {0, 1, 4, 7, [212...], 891}, v804 [409], v805 [473], v806 {0, 1, 4, 7, [321...], 908}, v807 [749], v808 [442], v809 {16, 23, 83, 384, [7...], 885}, v810 {0, 1, 4, 7, [195...], 891}, v811 [353], v812 {0, 1, 4, 7, [259...], 908}, v813 [570], v814 [118], v815 [759], v816 [809], v817 [750], v818 [340], v819 [470], v820 [502], v821 {0, 1, 4, 7, [285...], 908}, v822 [544], v823 {16, 23, 41, 43, [50...], 885}, v824 {0, 1, 2, 4, [439...], 908}, v825 [170], v826 [133], v827 [132], v828 [305], v829 {1, 7, 13, 16, [128...], 885}, v830 [117], v831 [90], v832 {0, 1, 4, 7, [359...], 908}, v833 {0, 1, 4, 7, [198...], 891}, v834 [57], v835 [415], v836 {16, 23, 41, 63, [46...], 885}, v837 {0, 1, 2, 4, [430...], 908}, v838 [287], v839 {16, 23, 63, 83, [27...], 885}, v840 [437], v841 [438], v842 {0, 1, 2, 4, [422...], 908}, v843 {0, 1, 4, 7, [326...], 908}, v844 [668], v845 {0, 1, 4, 7, [362...], 908}, v846 {1, 7, 13, 16, [110...], 885}, v847 [224], v848 {1, 7, 13, 16, [131...], 885}, v849 [77], v850 [435], v851 [227], v852 {0, 1, 4, 7, [232...], 891}, v853 [601], v854 {0, 1, 4, 7, [366...], 908}, v855 {0, 1, 4, 7, [397...], 908}, v856 [575], v857 [907], v858 [312], v859 {0, 1, 4, 7, [377...], 908}, v860 {1, 7, 16, 23, [95...], 885}, v861 {0, 1, 4, 7, [238...], 891}, v862 [720], v863 [11], v864 {0, 1, 2, 4, [411...], 908}, v865 {16, 23, 36, 41, [58...], 885}, v866 {1, 7, 13, 16, [120...], 885}, v867 [228], v868 {16, 23, 63, 83, [15...], 885}, v869 {1, 7, 13, 16, [143...], 885}, v870 {1, 7, 13, 16, [107...], 885}, v871 [619], v872 [389], v873 {0, 1, 4, 7, [280...], 908}, v874 [611], v875 {0, 1, 2, 4, [417...], 908}, v876 {1, 7, 13, 16, [113...], 885}, v877 [281], v878 {0, 1, 4, 7, [199...], 891}, v879 {1, 7, 13, 16, [106...], 885}, v880 {1, 7, 13, 16, [109...], 885}, v881 [559], v882 {0, 1, 4, 7, [394...], 908}, v883 [532], v884 {1, 7, 16, 23, [89...], 885}, v885 [3], v886 {23, 83, 384, 594, [4...], 885}, v887 {0, 1, 4, 7, [339...], 908}, v888 [416], v889 {0, 1, 4, 7, [193...], 885}, v890 {0, 1, 2, 4, [413...], 908}, v891 [810], v892 {16, 23, 63, 71, [34...], 885}, v893 {0, 1, 2, 4, [432...], 908}, v894 {16, 23, 63, 83, [28...], 885}, v895 [141], v896 {0, 1, 2, 4, [421...], 908}, v897 [126], v898 {1, 7, 13, 16, [101...], 885}, v899 {16, 23, 63, 83, [24...], 885}, v900 {0, 1, 2, 4, [444...], 908}, v901 {0, 1, 4, 7, [353...], 908}, v902 [206], v903 [537], v904 [213], v905 [17], v906 {0, 1, 4, 7, [349...], 908}, v907 {0, 1, 4, 7, [179...], 885}, v908 [603]) is not consistent, Some(FZSubcircuit(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)) (List(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)) lead to Vector(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)
17.49/8.35	c 06:42:36.874 [main] ERROR concrete.filter.ACC - ACC control failed on 0. FZSubcircuit(v0 [455], v1 [241], v2 [15], v3 {23, 83, 774, 794, 885}, v4 [541], v5 [458], v6 {16, 23, 36, 41, [53...], 885}, v7 [395], v8 {0, 1, 4, 7, [268...], 908}, v9 {1, 7, 16, 23, [81...], 885}, v10 [296], v11 {23, 83, 384, 594, [5...], 885}, v12 [266], v13 [898], v14 [8], v15 {0, 1, 2, 4, [402...], 908}, v16 [577], v17 {0, 1, 4, 7, [332...], 908}, v18 {1, 7, 16, 23, [85...], 885}, v19 [55], v20 {0, 1, 4, 7, [327...], 908}, v21 {0, 1, 2, 4, [436...], 908}, v22 [157], v23 [425], v24 [666], v25 [799], v26 {7, 16, 23, 36, [66...], 885}, v27 {0, 1, 4, 7, [243...], 891}, v28 [201], v29 [678], v30 {16, 23, 63, 83, [26...], 885}, v31 {1, 7, 16, 23, [86...], 885}, v32 {0, 1, 4, 7, [224...], 891}, v33 [790], v34 [686], v35 {1, 7, 13, 16, [161...], 885}, v36 [615], v37 {1, 7, 13, 16, [141...], 885}, v38 [846], v39 {0, 1, 4, 7, [340...], 908}, v40 [824], v41 [576], v42 {1, 7, 13, 16, [151...], 885}, v43 [617], v44 {1, 7, 16, 23, [80...], 885}, v45 [546], v46 [639], v47 {0, 1, 2, 4, [446...], 908}, v48 [845], v49 [236], v50 [265], v51 [567], v52 [430], v53 [68], v54 {0, 1, 4, 7, [220...], 891}, v55 {0, 1, 4, 7, [272...], 908}, v56 [662], v57 [680], v58 {1, 7, 13, 16, [153...], 885}, v59 [694], v60 [621], v61 [349], v62 [194], v63 [868], v64 {0, 1, 2, 4, [414...], 908}, v65 [181], v66 [580], v67 [202], v68 {0, 1, 4, 7, [207...], 891}, v69 [178], v70 {0, 1, 4, 7, [301...], 908}, v71 [414], v72 {1, 7, 13, 16, [136...], 885}, v73 {0, 1, 4, 7, [241...], 891}, v74 [859], v75 {0, 1, 4, 7, [214...], 891}, v76 [733], v77 {0, 1, 4, 7, [293...], 908}, v78 {0, 1, 4, 7, [331...], 908}, v79 {0, 1, 4, 7, [379...], 908}, v80 [783], v81 [712], v82 {0, 1, 4, 7, [291...], 908}, v83 [454], v84 {0, 1, 4, 7, [322...], 908}, v85 [139], v86 {0, 1, 4, 7, [194...], 885}, v87 [652], v88 {0, 1, 4, 7, [352...], 908}, v89 {0, 1, 4, 7, [310...], 908}, v90 {0, 1, 2, 4, [418...], 908}, v91 {16, 23, 41, 63, [45...], 885}, v92 {16, 23, 41, 63, [42...], 885}, v93 {0, 1, 4, 7, [275...], 908}, v94 [156], v95 {1, 7, 13, 16, [139...], 885}, v96 [191], v97 {0, 1, 4, 7, [229...], 891}, v98 [725], v99 {0, 1, 4, 7, [369...], 908}, v100 [528], v101 {0, 1, 4, 7, [388...], 908}, v102 [708], v103 {0, 1, 2, 4, [438...], 908}, v104 {16, 23, 36, 41, [61...], 885}, v105 {1, 7, 13, 16, [116...], 885}, v106 [365], v107 [873], v108 [839], v109 {1, 7, 13, 16, [157...], 885}, v110 [651], v111 {0, 1, 4, 7, [206...], 891}, v112 {0, 1, 4, 7, [209...], 891}, v113 {1, 7, 13, 16, [125...], 885}, v114 [843], v115 [833], v116 {1, 4, 7, 13, [172...], 885}, v117 {0, 1, 4, 7, [244...], 891}, v118 {1, 7, 13, 16, [112...], 885}, v119 [490], v120 [864], v121 [884], v122 [452], v123 {1, 7, 16, 23, [96...], 885}, v124 {0, 1, 2, 4, [410...], 908}, v125 [58], v126 {0, 1, 4, 7, [361...], 908}, v127 {0, 1, 4, 7, [317...], 908}, v128 [523], v129 [632], v130 {0, 1, 4, 7, [320...], 908}, v131 [180], v132 {1, 7, 13, 16, [158...], 885}, v133 {0, 1, 4, 7, [251...], 891}, v134 {0, 1, 4, 7, [391...], 908}, v135 [669], v136 [854], v137 [578], v138 {0, 1, 4, 7, [313...], 908}, v139 {0, 1, 4, 7, [256...], 908}, v140 [350], v141 {0, 1, 4, 7, [297...], 908}, v142 {0, 1, 4, 7, [399...], 908}, v143 {0, 1, 4, 7, [236...], 891}, v144 {0, 1, 4, 7, [398...], 908}, v145 [339], v146 {0, 1, 4, 7, [226...], 891}, v147 {0, 1, 4, 7, [221...], 891}, v148 {0, 1, 4, 7, [355...], 908}, v149 [582], v150 [143], v151 [527], v152 [6], v153 {0, 1, 4, 7, [324...], 908}, v154 [315], v155 [724], v156 {0, 1, 4, 7, [191...], 885}, v157 {0, 1, 2, 4, [434...], 908}, v158 [579], v159 {1, 7, 16, 23, [98...], 885}, v160 [113], v161 {16, 23, 63, 83, [16...], 885}, v162 {1, 7, 13, 16, [127...], 885}, v163 {1, 4, 7, 13, [171...], 885}, v164 [555], v165 [124], v166 [410], v167 [568], v168 [684], v169 {1, 7, 13, 16, [154...], 885}, v170 {0, 1, 4, 7, [261...], 908}, v171 [86], v172 [801], v173 [426], v174 [855], v175 [591], v176 [105], v177 {1, 7, 13, 16, [129...], 885}, v178 {0, 1, 4, 7, [329...], 908}, v179 [800], v180 {0, 1, 4, 7, [228...], 891}, v181 {1, 7, 16, 23, [99...], 885}, v182 {0, 1, 4, 7, [401...], 908}, v183 [739], v184 {0, 1, 4, 7, [262...], 908}, v185 {1, 7, 16, 23, [100...], 885}, v186 {1, 7, 13, 16, [155...], 885}, v187 [471], v188 [444], v189 [89], v190 {1, 7, 13, 16, [159...], 885}, v191 {0, 1, 4, 7, [270...], 908}, v192 {0, 1, 2, 4, [445...], 908}, v193 [463], v194 {0, 1, 4, 7, [330...], 908}, v195 [123], v196 [782], v197 {1, 7, 13, 16, [122...], 885}, v198 [710], v199 [251], v200 {1, 7, 16, 23, [88...], 885}, v201 {0, 1, 4, 7, [231...], 891}, v202 {0, 1, 4, 7, [367...], 908}, v203 {0, 1, 2, 4, [420...], 908}, v204 [649], v205 [889], v206 {0, 1, 2, 4, [412...], 908}, v207 {0, 1, 2, 4, [404...], 908}, v208 [252], v209 {16, 23, 63, 83, [22...], 885}, v210 [184], v211 {23, 83, 794}, v212 {0, 1, 4, 7, [282...], 908}, v213 {0, 1, 4, 7, [387...], 908}, v214 [54], v215 [758], v216 {1, 7, 16, 23, [75...], 885}, v217 {0, 1, 4, 7, [190...], 885}, v218 {0, 1, 2, 4, [428...], 908}, v219 [433], v220 {0, 1, 4, 7, [217...], 891}, v221 [583], v222 {0, 1, 4, 7, [316...], 908}, v223 {0, 1, 2, 4, [408...], 908}, v224 {0, 1, 4, 7, [213...], 891}, v225 [664], v226 [9], v227 {0, 1, 4, 7, [249...], 891}, v228 {1, 7, 16, 23, [84...], 885}, v229 [755], v230 [419], v231 [890], v232 [474], v233 {1, 7, 13, 16, [166...], 885}, v234 {16, 23, 63, 83, [18...], 885}, v235 [99], v236 {0, 1, 2, 4, [437...], 908}, v237 [91], v238 {0, 1, 4, 7, [309...], 908}, v239 [275], v240 {0, 1, 4, 7, [260...], 908}, v241 {1, 7, 16, 23, [73...], 885}, v242 [622], v243 {0, 1, 4, 7, [314...], 908}, v244 [519], v245 [424], v246 [337], v247 [569], v248 {0, 1, 4, 7, [319...], 908}, v249 {16, 23, 83, 135, [11...], 885}, v250 [540], v251 {0, 1, 4, 7, [278...], 908}, v252 {0, 1, 4, 7, [248...], 891}, v253 [73], v254 {0, 1, 2, 4, [425...], 908}, v255 [802], v256 {0, 1, 4, 7, [258...], 908}, v257 {0, 1, 4, 7, [277...], 908}, v258 {0, 1, 4, 7, [242...], 891}, v259 {23, 83, 594, 692, [3...], 885}, v260 [82], v261 [573], v262 [257], v263 {0, 1, 4, 7, [335...], 908}, v264 {16, 23, 83, 196, [9...], 885}, v265 {0, 1, 4, 7, [246...], 891}, v266 {0, 1, 2, 4, [416...], 908}, v267 {0, 1, 4, 7, [255...], 908}, v268 [21], v269 [44], v270 [95], v271 {0, 1, 2, 4, [423...], 908}, v272 [514], v273 {0, 1, 4, 7, [389...], 908}, v274 [146], v275 {16, 23, 36, 41, [54...], 885}, v276 {1, 7, 13, 16, [108...], 885}, v277 [878], v278 [836], v279 [876], v280 [803], v281 {1, 7, 13, 16, [138...], 885}, v282 {1, 7, 16, 23, [74...], 885}, v283 [738], v284 {0, 1, 4, 7, [203...], 891}, v285 [103], v286 [282], v287 {16, 23, 63, 83, [17...], 885}, v288 [335], v289 [682], v290 [893], v291 {1, 7, 13, 16, [162...], 885}, v292 [321], v293 [806], v294 {1, 7, 13, 16, [145...], 885}, v295 [732], v296 {0, 1, 4, 7, [276...], 908}, v297 [147], v298 [747], v299 {1, 7, 13, 16, [148...], 885}, v300 {1, 7, 13, 16, [150...], 885}, v301 [574], v302 {0, 1, 4, 7, [342...], 908}, v303 [222], v304 {0, 1, 4, 7, [312...], 908}, v305 {0, 1, 4, 7, [233...], 891}, v306 [64], v307 [97], v308 [899], v309 [267], v310 [185], v311 [35], v312 {23, 83, 774, 794, [1...], 885}, v313 [367], v314 {0, 1, 4, 7, [177...], 885}, v315 {0, 1, 4, 7, [223...], 891}, v316 [223], v317 [498], v318 {0, 1, 4, 7, [237...], 891}, v319 [530], v320 [637], v321 {0, 1, 2, 4, [440...], 908}, v322 [420], v323 {16, 23, 36, 41, [60...], 885}, v324 {0, 1, 4, 7, [279...], 908}, v325 [477], v326 [536], v327 [670], v328 [162], v329 {0, 1, 2, 4, [415...], 908}, v330 [84], v331 {1, 7, 16, 23, [76...], 885}, v332 {0, 1, 4, 7, [383...], 908}, v333 [109], v334 [784], v335 {0, 1, 4, 7, [304...], 908}, v336 {0, 1, 4, 7, [348...], 908}, v337 {1, 7, 13, 16, [123...], 885}, v338 [256], v339 {1, 7, 13, 16, [144...], 885}, v340 {0, 1, 4, 7, [284...], 908}, v341 [271], v342 [382], v343 [645], v344 [508], v345 {0, 1, 4, 7, [295...], 908}, v346 {0, 1, 4, 7, [181...], 885}, v347 [764], v348 [373], v349 {0, 1, 4, 7, [210...], 891}, v350 {0, 1, 4, 7, [303...], 908}, v351 {0, 1, 4, 7, [390...], 908}, v352 [756], v353 {0, 1, 4, 7, [400...], 908}, v354 {1, 7, 13, 16, [118...], 885}, v355 [542], v356 [869], v357 {0, 1, 4, 7, [200...], 891}, v358 [459], v359 [324], v360 [31], v361 [762], v362 {1, 7, 13, 16, [119...], 885}, v363 [600], v364 [892], v365 {0, 1, 4, 7, [360...], 908}, v366 [489], v367 {16, 23, 63, 71, [32...], 885}, v368 [515], v369 {16, 23, 41, 63, [41...], 885}, v370 [192], v371 {16, 23, 63, 83, [21...], 885}, v372 [760], v373 {0, 1, 4, 7, [234...], 891}, v374 {1, 7, 16, 23, [78...], 885}, v375 {1, 7, 13, 16, [132...], 885}, v376 [714], v377 [769], v378 [718], v379 [92], v380 [112], v381 [388], v382 {0, 1, 4, 7, [196...], 891}, v383 [522], v384 [886], v385 [249], v386 [723], v387 [466], v388 {0, 1, 4, 7, [392...], 908}, v389 {1, 7, 13, 16, [102...], 885}, v390 [691], v391 [493], v392 {0, 1, 4, 7, [189...], 885}, v393 [234], v394 [697], v395 {7, 16, 23, 36, [64...], 885}, v396 [276], v397 {16, 23, 41, 63, [40...], 885}, v398 {1, 7, 13, 16, [164...], 885}, v399 {1, 7, 13, 16, [156...], 885}, v400 [332], v401 [392], v402 [351], v403 {0, 1, 4, 7, [290...], 908}, v404 [304], v405 {1, 7, 13, 16, [126...], 885}, v406 {1, 7, 16, 23, [94...], 885}, v407 [496], v408 [698], v409 {0, 1, 2, 4, [409...], 908}, v410 {0, 1, 4, 7, [184...], 885}, v411 {7, 16, 23, 36, [69...], 885}, v412 [439], v413 [748], v414 {16, 23, 63, 71, [29...], 885}, v415 {0, 1, 4, 7, [208...], 891}, v416 {0, 1, 4, 7, [216...], 891}, v417 [186], v418 [672], v419 {1, 7, 13, 16, [140...], 885}, v420 {0, 1, 4, 7, [308...], 908}, v421 [768], v422 [240], v423 {0, 1, 4, 7, [192...], 885}, v424 {16, 23, 36, 41, [63...], 885}, v425 [524], v426 {0, 1, 4, 7, [205...], 891}, v427 [505], v428 [896], v429 [879], v430 {0, 1, 2, 4, [431...], 908}, v431 [345], v432 {1, 7, 16, 23, [90...], 885}, v433 {0, 1, 4, 7, [358...], 908}, v434 [742], v435 {1, 7, 13, 16, [114...], 885}, v436 {0, 1, 4, 7, [370...], 908}, v437 {0, 1, 2, 4, [441...], 908}, v438 {0, 1, 4, 7, [364...], 908}, v439 {1, 7, 13, 16, [124...], 885}, v440 {0, 1, 4, 7, [257...], 908}, v441 [26], v442 {0, 1, 4, 7, [222...], 891}, v443 [130], v444 {0, 1, 4, 7, [343...], 908}, v445 [767], v446 {0, 1, 4, 7, [254...], 908}, v447 [284], v448 [405], v449 [169], v450 [812], v451 [127], v452 {1, 7, 16, 23, [97...], 885}, v453 [880], v454 {23, 83}, v455 {0, 1, 4, 7, [174...], 885}, v456 [518], v457 {0, 1, 4, 7, [323...], 908}, v458 {0, 1, 2, 4, [407...], 908}, v459 {0, 1, 4, 7, [197...], 891}, v460 [821], v461 {0, 1, 2, 4, [446...], 908}, v462 {0, 1, 4, 7, [395...], 908}, v463 {16, 23, 41, 63, [44...], 885}, v464 [336], v465 [302], v466 {0, 1, 4, 7, [333...], 908}, v467 [791], v468 [440], v469 [30], v470 {1, 7, 13, 16, [147...], 885}, v471 {16, 23, 36, 41, [62...], 885}, v472 {7, 16, 23, 36, [65...], 885}, v473 {1, 7, 16, 23, [87...], 885}, v474 {16, 23, 41, 63, [43...], 885}, v475 [161], v476 [263], v477 {1, 7, 13, 16, [163...], 885}, v478 [203], v479 [887], v480 {0, 1, 2, 4, [427...], 908}, v481 {0, 1, 4, 7, [230...], 891}, v482 [552], v483 {0, 1, 4, 7, [346...], 908}, v484 [735], v485 [551], v486 {0, 1, 4, 7, [201...], 891}, v487 [399], v488 [832], v489 {0, 1, 4, 7, [298...], 908}, v490 {0, 1, 4, 7, [334...], 908}, v491 [248], v492 [509], v493 {1, 7, 16, 23, [79...], 885}, v494 [461], v495 {0, 1, 4, 7, [219...], 891}, v496 {0, 1, 4, 7, [218...], 891}, v497 [894], v498 {16, 23, 63, 71, [38...], 885}, v499 [906], v500 [875], v501 [20], v502 {16, 23, 63, 71, [30...], 885}, v503 [88], v504 {0, 1, 2, 4, [405...], 908}, v505 {16, 23, 36, 41, [59...], 885}, v506 [741], v507 [705], v508 {0, 1, 4, 7, [357...], 908}, v509 {0, 1, 4, 7, [266...], 908}, v510 {0, 1, 4, 7, [289...], 908}, v511 [254], v512 [625], v513 [549], v514 {1, 7, 16, 23, [92...], 885}, v515 {0, 1, 4, 7, [373...], 908}, v516 [217], v517 [688], v518 {0, 1, 4, 7, [269...], 908}, v519 {1, 7, 13, 16, [111...], 885}, v520 [93], v521 [37], v522 {0, 1, 4, 7, [178...], 885}, v523 {0, 1, 4, 7, [371...], 908}, v524 [834], v525 [398], v526 [457], v527 {7, 16, 23, 36, [72...], 885}, v528 {1, 7, 13, 16, [135...], 885}, v529 [318], v530 {1, 7, 13, 16, [152...], 885}, v531 [70], v532 {0, 1, 4, 7, [300...], 908}, v533 [481], v534 [177], v535 [18], v536 {0, 1, 4, 7, [263...], 908}, v537 {0, 1, 4, 7, [376...], 908}, v538 [860], v539 {16, 23, 63, 83, [19...], 885}, v540 {0, 1, 4, 7, [347...], 908}, v541 {1, 4, 7, 13, [170...], 885}, v542 {1, 7, 13, 16, [169...], 885}, v543 [375], v544 {1, 7, 13, 16, [149...], 885}, v545 [446], v546 {0, 1, 2, 4, [429...], 908}, v547 [798], v548 [32], v549 {0, 1, 4, 7, [225...], 891}, v550 {1, 7, 13, 16, [165...], 885}, v551 {0, 1, 4, 7, [240...], 891}, v552 {16, 23, 83, 135, [13...], 885}, v553 {0, 1, 4, 7, [354...], 908}, v554 [436], v555 {0, 1, 4, 7, [273...], 908}, v556 [369], v557 [558], v558 {16, 23, 63, 83, [23...], 885}, v559 {0, 1, 4, 7, [337...], 908}, v560 {0, 1, 4, 7, [202...], 891}, v561 {16, 23, 63, 71, [37...], 885}, v562 {0, 1, 4, 7, [265...], 908}, v563 [480], v564 [504], v565 [753], v566 {0, 1, 4, 7, [356...], 908}, v567 {0, 1, 4, 7, [292...], 908}, v568 {7, 16, 23, 36, [67...], 885}, v569 {0, 1, 4, 7, [325...], 908}, v570 {0, 1, 4, 7, [247...], 891}, v571 [346], v572 [566], v573 {0, 1, 4, 7, [211...], 891}, v574 {0, 1, 4, 7, [396...], 908}, v575 {0, 1, 4, 7, [288...], 908}, v576 {16, 23, 41, 63, [39...], 885}, v577 {16, 23, 83, 384, [6...], 885}, v578 {1, 7, 16, 23, [83...], 885}, v579 {0, 1, 4, 7, [345...], 908}, v580 {1, 7, 13, 16, [134...], 885}, v581 [323], v582 {0, 1, 4, 7, [287...], 908}, v583 {0, 1, 4, 7, [274...], 908}, v584 [42], v585 [865], v586 {0, 1, 4, 7, [188...], 885}, v587 [609], v588 [212], v589 [182], v590 [641], v591 {0, 1, 4, 7, [186...], 885}, v592 [586], v593 [486], v594 [665], v595 [294], v596 [371], v597 {16, 23, 63, 83, [25...], 885}, v598 {0, 1, 4, 7, [235...], 891}, v599 [852], v600 {0, 1, 4, 7, [381...], 908}, v601 {0, 1, 4, 7, [307...], 908}, v602 {0, 1, 4, 7, [375...], 908}, v603 {0, 1, 4, 7, [253...], 908}, v604 [644], v605 [837], v606 [329], v607 [216], v608 [138], v609 {1, 7, 13, 16, [117...], 885}, v610 [793], v611 {0, 1, 4, 7, [305...], 908}, v612 [200], v613 [163], v614 {16, 23, 63, 71, [33...], 885}, v615 {16, 23, 36, 41, [52...], 885}, v616 [829], v617 {16, 23, 41, 43, [49...], 885}, v618 {0, 1, 4, 7, [318...], 908}, v619 {0, 1, 4, 7, [363...], 908}, v620 [614], v621 {0, 1, 4, 7, [350...], 908}, v622 {16, 23, 63, 83, [20...], 885}, v623 [797], v624 [779], v625 {0, 1, 4, 7, [185...], 885}, v626 [757], v627 {0, 1, 2, 4, [433...], 908}, v628 [627], v629 [291], v630 [495], v631 [618], v632 {0, 1, 4, 7, [306...], 908}, v633 {0, 1, 4, 7, [227...], 891}, v634 [104], v635 [362], v636 [78], v637 {7, 16, 23, 36, [71...], 885}, v638 [159], v639 {0, 1, 4, 7, [175...], 885}, v640 [510], v641 {16, 23, 41, 63, [48...], 885}, v642 [562], v643 [842], v644 {0, 1, 4, 7, [252...], 891}, v645 {16, 23, 63, 71, [31...], 885}, v646 [848], v647 [190], v648 [870], v649 {0, 1, 4, 7, [267...], 908}, v650 [397], v651 {1, 7, 13, 16, [104...], 885}, v652 {1, 7, 13, 16, [133...], 885}, v653 [746], v654 [432], v655 [901], v656 [39], v657 [731], v658 [773], v659 [148], v660 [561], v661 [736], v662 {0, 1, 4, 7, [384...], 908}, v663 [374], v664 {7, 16, 23, 36, [68...], 885}, v665 {23, 83, 594, 774, [2...], 885}, v666 {1, 7, 13, 16, [115...], 885}, v667 {0, 1, 4, 7, [365...], 908}, v668 {0, 1, 4, 7, [374...], 908}, v669 {16, 23, 83, 135, [10...], 885}, v670 {0, 1, 4, 7, [296...], 908}, v671 [667], v672 {0, 1, 4, 7, [386...], 908}, v673 [111], v674 [795], v675 [314], v676 [220], v677 [79], v678 {0, 1, 4, 7, [393...], 908}, v679 [598], v680 [47], v681 [483], v682 {0, 1, 4, 7, [176...], 885}, v683 [27], v684 {0, 1, 4, 7, [271...], 908}, v685 [357], v686 {0, 1, 4, 7, [328...], 908}, v687 [299], v688 {16, 23, 36, 41, [55...], 885}, v689 {0, 1, 4, 7, [187...], 885}, v690 [300], v691 {1, 7, 13, 16, [160...], 885}, v692 [259], v693 [144], v694 {1, 7, 16, 23, [93...], 885}, v695 [233], v696 {0, 1, 4, 7, [338...], 908}, v697 {16, 23, 63, 71, [35...], 885}, v698 {0, 1, 4, 7, [182...], 885}, v699 [702], v700 [713], v701 [238], v702 {0, 1, 4, 7, [311...], 908}, v703 [423], v704 [900], v705 {0, 1, 4, 7, [380...], 908}, v706 [258], v707 [264], v708 {16, 23, 36, 41, [56...], 885}, v709 [788], v710 {0, 1, 4, 7, [281...], 908}, v711 [142], v712 {1, 7, 13, 16, [168...], 885}, v713 {0, 1, 4, 7, [344...], 908}, v714 {1, 7, 13, 16, [146...], 885}, v715 [331], v716 [560], v717 [72], v718 {0, 1, 4, 7, [294...], 908}, v719 [218], v720 {0, 1, 2, 4, [424...], 908}, v721 [406], v722 [539], v723 {1, 7, 13, 16, [137...], 885}, v724 {1, 4, 7, 13, [173...], 885}, v725 {0, 1, 4, 7, [351...], 908}, v726 [789], v727 {1, 7, 13, 16, [121...], 885}, v728 [727], v729 [153], v730 [209], v731 {0, 1, 4, 7, [368...], 908}, v732 {0, 1, 2, 4, [406...], 908}, v733 {0, 1, 4, 7, [264...], 908}, v734 [689], v735 {0, 1, 4, 7, [245...], 891}, v736 {0, 1, 2, 4, [443...], 908}, v737 [134], v738 {1, 7, 16, 23, [91...], 885}, v739 {1, 7, 13, 16, [167...], 885}, v740 [273], v741 {16, 23, 41, 43, [51...], 885}, v742 {0, 1, 4, 7, [372...], 908}, v743 [207], v744 {1, 7, 13, 16, [105...], 885}, v745 [696], v746 {0, 1, 4, 7, [204...], 891}, v747 {0, 1, 4, 7, [299...], 908}, v748 {0, 1, 4, 7, [378...], 908}, v749 {7, 16, 23, 36, [70...], 885}, v750 {0, 1, 4, 7, [250...], 891}, v751 [882], v752 [403], v753 {16, 23, 36, 41, [57...], 885}, v754 [75], v755 {0, 1, 4, 7, [183...], 885}, v756 {1, 7, 16, 23, [82...], 885}, v757 [626], v758 {0, 1, 4, 7, [336...], 908}, v759 {16, 23, 83, 135, [14...], 885}, v760 {0, 1, 4, 7, [283...], 908}, v761 [866], v762 {1, 7, 13, 16, [142...], 885}, v763 [116], v764 {0, 1, 4, 7, [385...], 908}, v765 [861], v766 [602], v767 {1, 7, 13, 16, [130...], 885}, v768 {16, 23, 63, 71, [36...], 885}, v769 {0, 1, 2, 4, [419...], 908}, v770 [411], v771 [243], v772 [744], v773 {0, 1, 2, 4, [426...], 908}, v774 [786], v775 [354], v776 [633], v777 [823], v778 [101], v779 {0, 1, 4, 7, [215...], 891}, v780 [472], v781 [550], v782 {16, 23, 83, 196, [8...], 885}, v783 {16, 23, 41, 63, [47...], 885}, v784 {16, 23, 83, 135, [12...], 885}, v785 [553], v786 {23, 83, 774, 794}, v787 [197], v788 {0, 1, 4, 7, [302...], 908}, v789 {0, 1, 4, 7, [382...], 908}, v790 {1, 7, 16, 23, [77...], 885}, v791 {0, 1, 4, 7, [315...], 908}, v792 [462], v793 {0, 1, 4, 7, [286...], 908}, v794 [211], v795 {0, 1, 2, 4, [435...], 908}, v796 [597], v797 {0, 1, 4, 7, [341...], 908}, v798 {0, 1, 4, 7, [239...], 891}, v799 {1, 7, 13, 16, [103...], 885}, v800 {0, 1, 4, 7, [180...], 885}, v801 {0, 1, 2, 4, [442...], 908}, v802 {0, 1, 2, 4, [403...], 908}, v803 {0, 1, 4, 7, [212...], 891}, v804 [409], v805 [473], v806 {0, 1, 4, 7, [321...], 908}, v807 [749], v808 [442], v809 {16, 23, 83, 384, [7...], 885}, v810 {0, 1, 4, 7, [195...], 891}, v811 [353], v812 {0, 1, 4, 7, [259...], 908}, v813 [570], v814 [118], v815 [759], v816 [809], v817 [750], v818 [340], v819 [470], v820 [502], v821 {0, 1, 4, 7, [285...], 908}, v822 [544], v823 {16, 23, 41, 43, [50...], 885}, v824 {0, 1, 2, 4, [439...], 908}, v825 [170], v826 [133], v827 [132], v828 [305], v829 {1, 7, 13, 16, [128...], 885}, v830 [117], v831 [90], v832 {0, 1, 4, 7, [359...], 908}, v833 {0, 1, 4, 7, [198...], 891}, v834 [57], v835 [415], v836 {16, 23, 41, 63, [46...], 885}, v837 {0, 1, 2, 4, [430...], 908}, v838 [287], v839 {16, 23, 63, 83, [27...], 885}, v840 [437], v841 [438], v842 {0, 1, 2, 4, [422...], 908}, v843 {0, 1, 4, 7, [326...], 908}, v844 [668], v845 {0, 1, 4, 7, [362...], 908}, v846 {1, 7, 13, 16, [110...], 885}, v847 [224], v848 {1, 7, 13, 16, [131...], 885}, v849 [77], v850 [435], v851 [227], v852 {0, 1, 4, 7, [232...], 891}, v853 [601], v854 {0, 1, 4, 7, [366...], 908}, v855 {0, 1, 4, 7, [397...], 908}, v856 [575], v857 [907], v858 [312], v859 {0, 1, 4, 7, [377...], 908}, v860 {1, 7, 16, 23, [95...], 885}, v861 {0, 1, 4, 7, [238...], 891}, v862 [720], v863 [11], v864 {0, 1, 2, 4, [411...], 908}, v865 {16, 23, 36, 41, [58...], 885}, v866 {1, 7, 13, 16, [120...], 885}, v867 [228], v868 {16, 23, 63, 83, [15...], 885}, v869 {1, 7, 13, 16, [143...], 885}, v870 {1, 7, 13, 16, [107...], 885}, v871 [619], v872 [389], v873 {0, 1, 4, 7, [280...], 908}, v874 [611], v875 {0, 1, 2, 4, [417...], 908}, v876 {1, 7, 13, 16, [113...], 885}, v877 [281], v878 {0, 1, 4, 7, [199...], 891}, v879 {1, 7, 13, 16, [106...], 885}, v880 {1, 7, 13, 16, [109...], 885}, v881 [559], v882 {0, 1, 4, 7, [394...], 908}, v883 [532], v884 {1, 7, 16, 23, [89...], 885}, v885 [3], v886 {23, 83, 384, 594, [4...], 885}, v887 {0, 1, 4, 7, [339...], 908}, v888 [416], v889 {0, 1, 4, 7, [193...], 885}, v890 {0, 1, 2, 4, [413...], 908}, v891 [810], v892 {16, 23, 63, 71, [34...], 885}, v893 {0, 1, 2, 4, [432...], 908}, v894 {16, 23, 63, 83, [28...], 885}, v895 [141], v896 {0, 1, 2, 4, [421...], 908}, v897 [126], v898 {1, 7, 13, 16, [101...], 885}, v899 {16, 23, 63, 83, [24...], 885}, v900 {0, 1, 2, 4, [444...], 908}, v901 {0, 1, 4, 7, [353...], 908}, v902 [206], v903 [537], v904 [213], v905 [17], v906 {0, 1, 4, 7, [349...], 908}, v907 {0, 1, 4, 7, [179...], 885}, v908 [603])
17.49/8.35	Exception in thread "main" java.lang.AssertionError: assertion failed
17.49/8.35		at scala.Predef$.assert(Predef.scala:267)
17.49/8.35		at concrete.filter.ACC.reduce(ACC.scala:145)
17.49/8.35		at concrete.filter.ACC.reduceAfter(ACC.scala:90)
17.49/8.35		at concrete.MAC.$anonfun$mac$1(MAC.scala:166)
17.49/8.35		at concrete.ProblemState.andThen(ProblemState.scala:234)
17.49/8.35		at concrete.MAC.mac(MAC.scala:166)
17.49/8.35		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
17.49/8.35		at scala.util.Try$.apply(Try.scala:212)
17.49/8.35		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
17.49/8.35		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
17.49/8.35		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
17.49/8.35		at concrete.MAC.oneRun(MAC.scala:265)
17.49/8.35		at concrete.MAC.nextSolution(MAC.scala:284)
17.49/8.35		at concrete.MAC.$anonfun$nextSolution$7(MAC.scala:350)
17.49/8.35		at concrete.ProblemState.map(ProblemState.scala:238)
17.49/8.35		at concrete.ProblemState.map(ProblemState.scala:212)
17.49/8.35		at concrete.MAC.nextSolution(MAC.scala:348)
17.49/8.35		at concrete.Solver.hasNext(Solver.scala:160)
17.49/8.35		at scala.collection.Iterator.nextOption(Iterator.scala:104)
17.49/8.35		at scala.collection.Iterator.nextOption$(Iterator.scala:104)
17.49/8.35		at concrete.Solver.nextOption(Solver.scala:67)
17.49/8.35		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:78)
17.49/8.35		at scala.util.Success.map(Try.scala:264)
17.49/8.35		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
17.49/8.35		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
17.49/8.35		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
17.49/8.35		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
17.49/8.35		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
17.49/8.35		at scala.Function0.apply$mcV$sp(Function0.scala:39)
17.49/8.35		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
17.49/8.35		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
17.49/8.35		at scala.App.$anonfun$main$1(App.scala:75)
17.49/8.35		at scala.App.$anonfun$main$1$adapted(App.scala:75)
17.49/8.35		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
17.49/8.35		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
17.49/8.35		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
17.49/8.35		at scala.App.main(App.scala:75)
17.49/8.35		at scala.App.main$(App.scala:73)
17.49/8.35		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
17.49/8.35		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
17.49/8.35	s UNKNOWN

Verifier Data


Watcher Data 

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: 16375 MiB (13447 MiB free)
  memory of node 1: 16384 MiB (13895 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395986-1568413325/watcher-4395986-1568413325 -o /tmp/evaluation-result-4395986-1568413325/solver-4395986-1568413325 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323922682-7339 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1955412123 HOME/instance-4395986-1568413325.xml 

running on 4 cores: 4-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
Current StackSize limit: 8192 KiB

solver pid=8572, runsolver pid=8569

[startup+0.100139 s]*
/proc/loadavg: 1.71 1.63 1.61 3/216 8625
/proc/meminfo: memFree=27994736/32770688 swapFree=66919992/67108860
[pid=8572] ppid=8569 vsize=9972712 memory=16024 CPUtime=0.09 cores=4-7
/proc/8572/stat : 8572 (java) S 8569 8572 7307 0 -1 1077944320 4280 13040 0 0 0 1 5 3 20 0 6 0 417338866 10212057088 4006 33554432000 4194304 4196468 140735037612080 140735037594624 140035227520759 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
/proc/8572/statm: 2493178 4006 1897 1 0 2481616 0
[pid=8572/tid=8625] ppid=8569 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=4-7
/proc/8572/task/8625/stat : 8625 (java) R 8569 8572 7307 0 -1 4202560 2107 13040 0 0 0 0 5 3 20 0 6 0 417338875 10212057088 4072 33554432000 4194304 4196468 140735037612080 140035199357520 140035227542685 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8626] ppid=8569 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=4-7
/proc/8572/task/8626/stat : 8626 (java) S 8569 8572 7307 0 -1 1077944384 2 13040 0 0 0 0 5 3 20 0 6 0 417338876 10212057088 4072 33554432000 4194304 4196468 140735037612080 140035231763088 140035227530965 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8627] ppid=8569 vsize=9972712 memory=140625247114880 CPUtime=0.08 cores=4-7
/proc/8572/task/8627/stat : 8627 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 6 0 417338876 10212057088 4072 33554432000 4194304 4196468 140735037612080 140035130653200 140035227530965 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8628] ppid=8569 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8628/stat : 8628 (java) S 8569 8572 7307 0 -1 1077944384 2 13040 0 0 0 0 5 3 20 0 6 0 417338876 10212057088 4072 33554432000 4194304 4196468 140735037612080 140035129600400 140035227530965 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8629] ppid=8569 vsize=9972712 memory=-1 CPUtime=0.08 cores=4-7
/proc/8572/task/8629/stat : 8629 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 6 0 417338876 10212057088 4072 33554432000 4194304 4196468 140735037612080 140035128547600 140035227530965 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16024 KiB

[startup+0.211522 s]*
/proc/loadavg: 1.71 1.63 1.61 4/229 8638
/proc/meminfo: memFree=27972528/32770688 swapFree=66919992/67108860
[pid=8572] ppid=8569 vsize=10819664 memory=39168 CPUtime=0.26 cores=4-7
/proc/8572/stat : 8572 (java) S 8569 8572 7307 0 -1 1077944320 7079 13040 0 0 16 2 5 3 20 0 15 0 417338866 11079335936 9792 33554432000 4194304 4196468 140735037612080 140735037594624 140035227520759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
/proc/8572/statm: 2704916 9792 3182 1 0 2667149 0
[pid=8572/tid=8625] ppid=8569 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=4-7
/proc/8572/task/8625/stat : 8625 (java) R 8569 8572 7307 0 -1 4202560 3581 13040 0 0 10 1 5 3 20 0 15 0 417338875 11079335936 9856 33554432000 4194304 4196468 140735037612080 140035199307760 140035227542106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8626] ppid=8569 vsize=10819664 memory=364 CPUtime=0.08 cores=4-7
/proc/8572/task/8626/stat : 8626 (java) S 8569 8572 7307 0 -1 1077944384 2 13040 0 0 0 0 5 3 20 0 15 0 417338876 11079335936 9856 33554432000 4194304 4196468 140735037612080 140035231763088 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8627] ppid=8569 vsize=10819664 memory=140625247123397 CPUtime=0.08 cores=4-7
/proc/8572/task/8627/stat : 8627 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 15 0 417338876 11079335936 9856 33554432000 4194304 4196468 140735037612080 140035130653200 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8628] ppid=8569 vsize=10819664 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8628/stat : 8628 (java) S 8569 8572 7307 0 -1 1077944384 2 13040 0 0 0 0 5 3 20 0 15 0 417338876 11079335936 9856 33554432000 4194304 4196468 140735037612080 140035129600400 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8629] ppid=8569 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7
/proc/8572/task/8629/stat : 8629 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 15 0 417338876 11079335936 9856 33554432000 4194304 4196468 140735037612080 140035128547600 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8630] ppid=8569 vsize=10819664 memory=140625247114880 CPUtime=0.08 cores=4-7
/proc/8572/task/8630/stat : 8630 (java) S 8569 8572 7307 0 -1 1077944384 2 13040 0 0 0 0 5 3 20 0 15 0 417338878 11079335936 9856 33554432000 4194304 4196468 140735037612080 140034552757104 140035227531906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8631] ppid=8569 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7
/proc/8572/task/8631/stat : 8631 (java) S 8569 8572 7307 0 -1 1077944384 13 13040 0 0 0 0 5 3 20 0 15 0 417338878 11079335936 9856 33554432000 4194304 4196468 140735037612080 140034120345120 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8632] ppid=8569 vsize=10819664 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8632/stat : 8632 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 15 0 417338878 11079335936 9856 33554432000 4194304 4196468 140735037612080 140033986127216 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8633] ppid=8569 vsize=10819664 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8633/stat : 8633 (java) S 8569 8572 7307 0 -1 1077944384 3 13040 0 0 0 0 5 3 20 0 15 0 417338881 11079335936 9856 33554432000 4194304 4196468 140735037612080 140033745836368 140035227539355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8634] ppid=8569 vsize=10819664 memory=0 CPUtime=0.09 cores=4-7
/proc/8572/task/8634/stat : 8634 (java) S 8569 8572 7307 0 -1 1077944384 465 13040 0 0 1 0 5 3 20 0 15 0 417338881 11079335936 9856 33554432000 4194304 4196468 140735037612080 140034551703920 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8635] ppid=8569 vsize=10819664 memory=-1 CPUtime=0.09 cores=4-7
/proc/8572/task/8635/stat : 8635 (java) S 8569 8572 7307 0 -1 1077944384 201 13040 0 0 1 0 5 3 20 0 15 0 417338881 11079335936 9856 33554432000 4194304 4196468 140735037612080 140034550651120 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8636] ppid=8569 vsize=10819664 memory=140625247114880 CPUtime=0.1 cores=4-7
/proc/8572/task/8636/stat : 8636 (java) R 8569 8572 7307 0 -1 4202560 609 13040 0 0 2 0 5 3 20 0 15 0 417338881 11079335936 9856 33554432000 4194304 4196468 140735037612080 140034549596112 140035209105354 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8637] ppid=8569 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7
/proc/8572/task/8637/stat : 8637 (java) S 8569 8572 7307 0 -1 1077944384 3 13040 0 0 0 0 5 3 20 0 15 0 417338882 11079335936 9856 33554432000 4194304 4196468 140735037612080 140033712277728 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8638] ppid=8569 vsize=10819664 memory=140625247114880 CPUtime=0.08 cores=4-7
/proc/8572/task/8638/stat : 8638 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 15 0 417338882 11079335936 9856 33554432000 4194304 4196468 140735037612080 140034548546736 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39168 KiB

[startup+0.313058 s]*
/proc/loadavg: 1.71 1.63 1.61 5/229 8638
/proc/meminfo: memFree=27959340/32770688 swapFree=66919992/67108860
[pid=8572] ppid=8569 vsize=10820148 memory=50620 CPUtime=0.4 cores=4-7
/proc/8572/stat : 8572 (java) S 8569 8572 7307 0 -1 1077944320 10800 13040 0 0 28 4 5 3 20 0 15 0 417338866 11079831552 12655 33554432000 4194304 4196468 140735037612080 140735037594624 140035227520759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
/proc/8572/statm: 2705037 12655 3318 1 0 2667149 0
[pid=8572/tid=8625] ppid=8569 vsize=10820148 memory=1398722017469774279 CPUtime=0.29 cores=4-7
/proc/8572/task/8625/stat : 8625 (java) R 8569 8572 7307 0 -1 4202560 7275 13040 0 0 18 3 5 3 20 0 15 0 417338875 11079831552 12655 33554432000 4194304 4196468 140735037612080 140035199320672 140035211601246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8626] ppid=8569 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8626/stat : 8626 (java) S 8569 8572 7307 0 -1 1077944384 2 13040 0 0 0 0 5 3 20 0 15 0 417338876 11079831552 12655 33554432000 4194304 4196468 140735037612080 140035231763088 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8627] ppid=8569 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8627/stat : 8627 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 15 0 417338876 11079831552 12655 33554432000 4194304 4196468 140735037612080 140035130653200 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8628] ppid=8569 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8628/stat : 8628 (java) S 8569 8572 7307 0 -1 1077944384 2 13040 0 0 0 0 5 3 20 0 15 0 417338876 11079831552 12655 33554432000 4194304 4196468 140735037612080 140035129600400 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8629] ppid=8569 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8629/stat : 8629 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 15 0 417338876 11079831552 12655 33554432000 4194304 4196468 140735037612080 140035128547600 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8630] ppid=8569 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8630/stat : 8630 (java) S 8569 8572 7307 0 -1 1077944384 2 13040 0 0 0 0 5 3 20 0 15 0 417338878 11079831552 12655 33554432000 4194304 4196468 140735037612080 140034552757104 140035227531906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8631] ppid=8569 vsize=10820148 memory=-1 CPUtime=0.08 cores=4-7
/proc/8572/task/8631/stat : 8631 (java) S 8569 8572 7307 0 -1 1077944384 13 13040 0 0 0 0 5 3 20 0 15 0 417338878 11079831552 12655 33554432000 4194304 4196468 140735037612080 140034120345120 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8632] ppid=8569 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8632/stat : 8632 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 15 0 417338878 11079831552 12655 33554432000 4194304 4196468 140735037612080 140033986127216 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8633] ppid=8569 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8633/stat : 8633 (java) S 8569 8572 7307 0 -1 1077944384 3 13040 0 0 0 0 5 3 20 0 15 0 417338881 11079831552 12655 33554432000 4194304 4196468 140735037612080 140033745836368 140035227539355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8634] ppid=8569 vsize=10820148 memory=0 CPUtime=0.1 cores=4-7
/proc/8572/task/8634/stat : 8634 (java) S 8569 8572 7307 0 -1 1077944384 471 13040 0 0 2 0 5 3 20 0 15 0 417338881 11079831552 12655 33554432000 4194304 4196468 140735037612080 140034551703920 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8635] ppid=8569 vsize=10820148 memory=-1 CPUtime=0.09 cores=4-7
/proc/8572/task/8635/stat : 8635 (java) S 8569 8572 7307 0 -1 1077944384 201 13040 0 0 1 0 5 3 20 0 15 0 417338881 11079831552 12655 33554432000 4194304 4196468 140735037612080 140034550651120 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8636] ppid=8569 vsize=10820148 memory=140625247114880 CPUtime=0.13 cores=4-7
/proc/8572/task/8636/stat : 8636 (java) R 8569 8572 7307 0 -1 4202560 620 13040 0 0 5 0 5 3 20 0 15 0 417338881 11079831552 12655 33554432000 4194304 4196468 140735037612080 140034549598320 140035227542106 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8637] ppid=8569 vsize=10820148 memory=-1 CPUtime=0.08 cores=4-7
/proc/8572/task/8637/stat : 8637 (java) S 8569 8572 7307 0 -1 1077944384 3 13040 0 0 0 0 5 3 20 0 15 0 417338882 11079831552 12655 33554432000 4194304 4196468 140735037612080 140033712277728 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8638] ppid=8569 vsize=10820148 memory=140625247114880 CPUtime=0.08 cores=4-7
/proc/8572/task/8638/stat : 8638 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 15 0 417338882 11079831552 12655 33554432000 4194304 4196468 140735037612080 140034548546736 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50620 KiB

[startup+0.701523 s]
/proc/loadavg: 1.71 1.63 1.61 3/229 8638
/proc/meminfo: memFree=27947728/32770688 swapFree=66919992/67108860
[pid=8572] ppid=8569 vsize=10822312 memory=77444 CPUtime=1.1 cores=4-7
/proc/8572/stat : 8572 (java) S 8569 8572 7307 0 -1 1077944320 14630 13040 0 0 96 6 5 3 20 0 15 0 417338866 11082047488 19361 33554432000 4194304 4196468 140735037612080 140735037594624 140035227520759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
/proc/8572/statm: 2705578 19361 3501 1 0 2667661 0
[pid=8572/tid=8625] ppid=8569 vsize=10822312 memory=0 CPUtime=0.67 cores=4-7
/proc/8572/task/8625/stat : 8625 (java) R 8569 8572 7307 0 -1 4202560 10037 13040 0 0 55 4 5 3 20 0 15 0 417338875 11082047488 19361 33554432000 4194304 4196468 140735037612080 140035199349088 140035211835996 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8626] ppid=8569 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8626/stat : 8626 (java) S 8569 8572 7307 0 -1 1077944384 2 13040 0 0 0 0 5 3 20 0 15 0 417338876 11082047488 19361 33554432000 4194304 4196468 140735037612080 140035231763088 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8627] ppid=8569 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8627/stat : 8627 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 15 0 417338876 11082047488 19361 33554432000 4194304 4196468 140735037612080 140035130653200 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8628] ppid=8569 vsize=10822312 memory=281250296505280 CPUtime=0.08 cores=4-7
/proc/8572/task/8628/stat : 8628 (java) S 8569 8572 7307 0 -1 1077944384 2 13040 0 0 0 0 5 3 20 0 15 0 417338876 11082047488 19361 33554432000 4194304 4196468 140735037612080 140035129600400 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8629] ppid=8569 vsize=10822312 memory=38993336994281 CPUtime=0.08 cores=4-7
/proc/8572/task/8629/stat : 8629 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 15 0 417338876 11082047488 19361 33554432000 4194304 4196468 140735037612080 140035128547600 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8630] ppid=8569 vsize=10822312 memory=11497289212 CPUtime=0.08 cores=4-7
/proc/8572/task/8630/stat : 8630 (java) S 8569 8572 7307 0 -1 1077944384 5 13040 0 0 0 0 5 3 20 0 15 0 417338878 11082047488 19361 33554432000 4194304 4196468 140735037612080 140034552757104 140035227531906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8631] ppid=8569 vsize=10822312 memory=68 CPUtime=0.08 cores=4-7
/proc/8572/task/8631/stat : 8631 (java) S 8569 8572 7307 0 -1 1077944384 13 13040 0 0 0 0 5 3 20 0 15 0 417338878 11082047488 19361 33554432000 4194304 4196468 140735037612080 140034120345120 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8632] ppid=8569 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8632/stat : 8632 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 15 0 417338878 11082047488 19361 33554432000 4194304 4196468 140735037612080 140033986127216 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8633] ppid=8569 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8633/stat : 8633 (java) S 8569 8572 7307 0 -1 1077944384 3 13040 0 0 0 0 5 3 20 0 15 0 417338881 11082047488 19361 33554432000 4194304 4196468 140735037612080 140033745836368 140035227539355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8634] ppid=8569 vsize=10822312 memory=0 CPUtime=0.21 cores=4-7
/proc/8572/task/8634/stat : 8634 (java) R 8569 8572 7307 0 -1 4202560 930 13040 0 0 13 0 5 3 20 0 15 0 417338881 11082047488 19361 33554432000 4194304 4196468 140735037612080 140034551691472 140035209064993 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8635] ppid=8569 vsize=10822312 memory=0 CPUtime=0.17 cores=4-7
/proc/8572/task/8635/stat : 8635 (java) R 8569 8572 7307 0 -1 4202560 570 13040 0 0 9 0 5 3 20 0 15 0 417338881 11082047488 19361 33554432000 4194304 4196468 140735037612080 140034550636080 140035209042015 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8636] ppid=8569 vsize=10822312 memory=0 CPUtime=0.24 cores=4-7
/proc/8572/task/8636/stat : 8636 (java) S 8569 8572 7307 0 -1 1077944384 855 13040 0 0 16 0 5 3 20 0 15 0 417338881 11082047488 19361 33554432000 4194304 4196468 140735037612080 140034549598320 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8637] ppid=8569 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8637/stat : 8637 (java) S 8569 8572 7307 0 -1 1077944384 3 13040 0 0 0 0 5 3 20 0 15 0 417338882 11082047488 19361 33554432000 4194304 4196468 140735037612080 140033712277728 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8638] ppid=8569 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8638/stat : 8638 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 15 0 417338882 11082047488 19361 33554432000 4194304 4196468 140735037612080 140034548546736 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10822312 KiB
Current children cumulated memory: 77444 KiB

[startup+1.50077 s]
/proc/loadavg: 1.82 1.66 1.61 5/229 8638
/proc/meminfo: memFree=27890448/32770688 swapFree=66919992/67108860
[pid=8572] ppid=8569 vsize=10830580 memory=212700 CPUtime=2.93 cores=4-7
/proc/8572/stat : 8572 (java) S 8569 8572 7307 0 -1 1077944320 19470 13040 0 0 274 11 5 3 20 0 15 0 417338866 11090513920 53175 33554432000 4194304 4196468 140735037612080 140735037594624 140035227520759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
/proc/8572/statm: 2707645 53175 3574 1 0 2669709 0
[pid=8572/tid=8625] ppid=8569 vsize=10830580 memory=-4266093328290215612 CPUtime=1.45 cores=4-7
/proc/8572/task/8625/stat : 8625 (java) R 8569 8572 7307 0 -1 4202560 13526 13040 0 0 130 7 5 3 20 0 15 0 417338875 11090513920 53175 33554432000 4194304 4196468 140735037612080 140035199352672 140035211601246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8626] ppid=8569 vsize=10830580 memory=7679650670338847292 CPUtime=0.08 cores=4-7
/proc/8572/task/8626/stat : 8626 (java) S 8569 8572 7307 0 -1 1077944384 6 13040 0 0 0 0 5 3 20 0 15 0 417338876 11090513920 53175 33554432000 4194304 4196468 140735037612080 140035231763088 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8627] ppid=8569 vsize=10830580 memory=8045567885184454529 CPUtime=0.08 cores=4-7
/proc/8572/task/8627/stat : 8627 (java) S 8569 8572 7307 0 -1 1077944384 22 13040 0 0 0 0 5 3 20 0 15 0 417338876 11090513920 53175 33554432000 4194304 4196468 140735037612080 140035130653200 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8628] ppid=8569 vsize=10830580 memory=-4266093328290194108 CPUtime=0.08 cores=4-7
/proc/8572/task/8628/stat : 8628 (java) S 8569 8572 7307 0 -1 1077944384 20 13040 0 0 0 0 5 3 20 0 15 0 417338876 11090513920 53175 33554432000 4194304 4196468 140735037612080 140035129600400 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8629] ppid=8569 vsize=10830580 memory=202408 CPUtime=0.08 cores=4-7
/proc/8572/task/8629/stat : 8629 (java) S 8569 8572 7307 0 -1 1077944384 11 13040 0 0 0 0 5 3 20 0 15 0 417338876 11090513920 53175 33554432000 4194304 4196468 140735037612080 140035128547600 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8630] ppid=8569 vsize=10830580 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8630/stat : 8630 (java) S 8569 8572 7307 0 -1 1077944384 85 13040 0 0 0 0 5 3 20 0 15 0 417338878 11090513920 53175 33554432000 4194304 4196468 140735037612080 140034552757104 140035227531906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8631] ppid=8569 vsize=10830580 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8631/stat : 8631 (java) S 8569 8572 7307 0 -1 1077944384 14 13040 0 0 0 0 5 3 20 0 15 0 417338878 11090513920 53175 33554432000 4194304 4196468 140735037612080 140034120345120 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8632] ppid=8569 vsize=10830580 memory=281250296299616 CPUtime=0.08 cores=4-7
/proc/8572/task/8632/stat : 8632 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 15 0 417338878 11090513920 53175 33554432000 4194304 4196468 140735037612080 140033986127216 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8633] ppid=8569 vsize=10830580 memory=281250296714656 CPUtime=0.08 cores=4-7
/proc/8572/task/8633/stat : 8633 (java) S 8569 8572 7307 0 -1 1077944384 3 13040 0 0 0 0 5 3 20 0 15 0 417338881 11090513920 53175 33554432000 4194304 4196468 140735037612080 140033745836368 140035227539355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8634] ppid=8569 vsize=10830580 memory=140625148159520 CPUtime=0.59 cores=4-7
/proc/8572/task/8634/stat : 8634 (java) S 8569 8572 7307 0 -1 1077944384 1300 13040 0 0 51 0 5 3 20 0 15 0 417338881 11090513920 53175 33554432000 4194304 4196468 140735037612080 140034551703920 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8635] ppid=8569 vsize=10830580 memory=0 CPUtime=0.54 cores=4-7
/proc/8572/task/8635/stat : 8635 (java) S 8569 8572 7307 0 -1 1077944384 872 13040 0 0 46 0 5 3 20 0 15 0 417338881 11090513920 53175 33554432000 4194304 4196468 140735037612080 140034550651120 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8636] ppid=8569 vsize=10830580 memory=980 CPUtime=0.5 cores=4-7
/proc/8572/task/8636/stat : 8636 (java) S 8569 8572 7307 0 -1 1077944384 1401 13040 0 0 42 0 5 3 20 0 15 0 417338881 11090513920 53175 33554432000 4194304 4196468 140735037612080 140034549598320 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8637] ppid=8569 vsize=10830580 memory=14008 CPUtime=0.08 cores=4-7
/proc/8572/task/8637/stat : 8637 (java) S 8569 8572 7307 0 -1 1077944384 3 13040 0 0 0 0 5 3 20 0 15 0 417338882 11090513920 53175 33554432000 4194304 4196468 140735037612080 140033712277728 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8638] ppid=8569 vsize=10830580 memory=12028 CPUtime=0.08 cores=4-7
/proc/8572/task/8638/stat : 8638 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 15 0 417338882 11090513920 53175 33554432000 4194304 4196468 140735037612080 140034548546736 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 10830580 KiB

################
# More data... #
################

[pid=8572/tid=8637] ppid=8569 vsize=10846996 memory=184539 CPUtime=0.08 cores=4-7
/proc/8572/task/8637/stat : 8637 (java) S 8569 8572 7307 0 -1 1077944384 3 13040 0 0 0 0 5 3 20 0 15 0 417338882 11107323904 202530 33554432000 4194304 4196468 140735037612080 140033712277728 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8638] ppid=8569 vsize=10846996 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8638/stat : 8638 (java) S 8569 8572 7307 0 -1 1077944384 11 13040 0 0 0 0 5 3 20 0 15 0 417338882 11107323904 202530 33554432000 4194304 4196468 140735037612080 140034548546736 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
Current children cumulated CPU time: 14.4 s
Current children cumulated vsize: 10846996 KiB
Current children cumulated memory: 810120 KiB

[startup+7.20074 s]
/proc/loadavg: 1.91 1.68 1.62 3/228 8638
/proc/meminfo: memFree=27201320/32770688 swapFree=66919992/67108860
[pid=8572] ppid=8569 vsize=10846996 memory=816332 CPUtime=15.47 cores=4-7
/proc/8572/stat : 8572 (java) S 8569 8572 7307 0 -1 1077944320 54285 13040 0 0 1498 41 5 3 20 0 15 0 417338866 11107323904 204083 33554432000 4194304 4196468 140735037612080 140735037594624 140035227520759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
/proc/8572/statm: 2711749 204083 3628 1 0 2673805 0
[pid=8572/tid=8625] ppid=8569 vsize=10846996 memory=1432 CPUtime=6.91 cores=4-7
/proc/8572/task/8625/stat : 8625 (java) R 8569 8572 7307 0 -1 4202560 23570 13040 0 0 666 17 5 3 20 0 15 0 417338875 11107323904 204083 33554432000 4194304 4196468 140735037612080 140035199355672 140034810574060 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8626] ppid=8569 vsize=10846996 memory=776 CPUtime=0.24 cores=4-7
/proc/8572/task/8626/stat : 8626 (java) S 8569 8572 7307 0 -1 1077944384 214 13040 0 0 13 3 5 3 20 0 15 0 417338876 11107323904 204083 33554432000 4194304 4196468 140735037612080 140035231763088 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8627] ppid=8569 vsize=10846996 memory=660 CPUtime=0.26 cores=4-7
/proc/8572/task/8627/stat : 8627 (java) S 8569 8572 7307 0 -1 1077944384 252 13040 0 0 15 3 5 3 20 0 15 0 417338876 11107323904 204083 33554432000 4194304 4196468 140735037612080 140035130653200 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8628] ppid=8569 vsize=10846996 memory=1556 CPUtime=0.26 cores=4-7
/proc/8572/task/8628/stat : 8628 (java) S 8569 8572 7307 0 -1 1077944384 422 13040 0 0 15 3 5 3 20 0 15 0 417338876 11107323904 204083 33554432000 4194304 4196468 140735037612080 140035129600400 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8629] ppid=8569 vsize=10846996 memory=9588 CPUtime=0.26 cores=4-7
/proc/8572/task/8629/stat : 8629 (java) S 8569 8572 7307 0 -1 1077944384 852 13040 0 0 15 3 5 3 20 0 15 0 417338876 11107323904 204083 33554432000 4194304 4196468 140735037612080 140035128547600 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8630] ppid=8569 vsize=10846996 memory=1712 CPUtime=0.12 cores=4-7
/proc/8572/task/8630/stat : 8630 (java) S 8569 8572 7307 0 -1 1077944384 2378 13040 0 0 4 0 5 3 20 0 15 0 417338878 11107323904 204083 33554432000 4194304 4196468 140735037612080 140034552757104 140035227531906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8631] ppid=8569 vsize=10846996 memory=8112282956445269571 CPUtime=0.08 cores=4-7
/proc/8572/task/8631/stat : 8631 (java) S 8569 8572 7307 0 -1 1077944384 18 13040 0 0 0 0 5 3 20 0 15 0 417338878 11107323904 204083 33554432000 4194304 4196468 140735037612080 140034120345184 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8632] ppid=8569 vsize=10846996 memory=7525041441830695528 CPUtime=0.08 cores=4-7
/proc/8572/task/8632/stat : 8632 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 15 0 417338878 11107323904 204083 33554432000 4194304 4196468 140735037612080 140033986127232 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8633] ppid=8569 vsize=10846996 memory=6077727988188468325 CPUtime=0.08 cores=4-7
/proc/8572/task/8633/stat : 8633 (java) S 8569 8572 7307 0 -1 1077944384 3 13040 0 0 0 0 5 3 20 0 15 0 417338881 11107323904 204083 33554432000 4194304 4196468 140735037612080 140033745836368 140035227539355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8634] ppid=8569 vsize=10846996 memory=6077714811194726243 CPUtime=3.08 cores=4-7
/proc/8572/task/8634/stat : 8634 (java) S 8569 8572 7307 0 -1 1077944384 10199 13040 0 0 298 2 5 3 20 0 15 0 417338881 11107323904 204083 33554432000 4194304 4196468 140735037612080 140034551703920 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8635] ppid=8569 vsize=10846996 memory=281250296797856 CPUtime=2.83 cores=4-7
/proc/8572/task/8635/stat : 8635 (java) S 8569 8572 7307 0 -1 1077944384 6603 13040 0 0 273 2 5 3 20 0 15 0 417338881 11107323904 204083 33554432000 4194304 4196468 140735037612080 140034550651120 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8636] ppid=8569 vsize=10846996 memory=-2629629913695114654 CPUtime=2.04 cores=4-7
/proc/8572/task/8636/stat : 8636 (java) S 8569 8572 7307 0 -1 1077944384 7553 13040 0 0 193 3 5 3 20 0 15 0 417338881 11107323904 204083 33554432000 4194304 4196468 140735037612080 140034549598320 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8637] ppid=8569 vsize=10846996 memory=4713758637472058742 CPUtime=0.08 cores=4-7
/proc/8572/task/8637/stat : 8637 (java) S 8569 8572 7307 0 -1 1077944384 3 13040 0 0 0 0 5 3 20 0 15 0 417338882 11107323904 204083 33554432000 4194304 4196468 140735037612080 140033712277728 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8638] ppid=8569 vsize=10846996 memory=7100839852859495063 CPUtime=0.08 cores=4-7
/proc/8572/task/8638/stat : 8638 (java) S 8569 8572 7307 0 -1 1077944384 11 13040 0 0 0 0 5 3 20 0 15 0 417338882 11107323904 204083 33554432000 4194304 4196468 140735037612080 140034548546736 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
Current children cumulated CPU time: 15.47 s
Current children cumulated vsize: 10846996 KiB
Current children cumulated memory: 816332 KiB

[startup+8.00076 s]*
/proc/loadavg: 1.91 1.68 1.62 4/228 8638
/proc/meminfo: memFree=27194932/32770688 swapFree=66919992/67108860
[pid=8572] ppid=8569 vsize=10846996 memory=816416 CPUtime=16.97 cores=4-7
/proc/8572/stat : 8572 (java) S 8569 8572 7307 0 -1 1077944320 54429 13040 0 0 1648 41 5 3 20 0 15 0 417338866 11107323904 204104 33554432000 4194304 4196468 140735037612080 140735037594624 140035227520759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
/proc/8572/statm: 2711749 204104 3628 1 0 2673805 0
[pid=8572/tid=8625] ppid=8569 vsize=10846996 memory=7019607713105365160 CPUtime=7.72 cores=4-7
/proc/8572/task/8625/stat : 8625 (java) R 8569 8572 7307 0 -1 4202560 23608 13040 0 0 747 17 5 3 20 0 15 0 417338875 11107323904 204104 33554432000 4194304 4196468 140735037612080 140035199353056 140034808356757 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8626] ppid=8569 vsize=10846996 memory=4294969536 CPUtime=0.24 cores=4-7
/proc/8572/task/8626/stat : 8626 (java) S 8569 8572 7307 0 -1 1077944384 214 13040 0 0 13 3 5 3 20 0 15 0 417338876 11107323904 204104 33554432000 4194304 4196468 140735037612080 140035231763088 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8627] ppid=8569 vsize=10846996 memory=4126316290023845779 CPUtime=0.26 cores=4-7
/proc/8572/task/8627/stat : 8627 (java) S 8569 8572 7307 0 -1 1077944384 252 13040 0 0 15 3 5 3 20 0 15 0 417338876 11107323904 204104 33554432000 4194304 4196468 140735037612080 140035130653200 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8628] ppid=8569 vsize=10846996 memory=984 CPUtime=0.26 cores=4-7
/proc/8572/task/8628/stat : 8628 (java) S 8569 8572 7307 0 -1 1077944384 422 13040 0 0 15 3 5 3 20 0 15 0 417338876 11107323904 204104 33554432000 4194304 4196468 140735037612080 140035129600400 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8629] ppid=8569 vsize=10846996 memory=2020 CPUtime=0.26 cores=4-7
/proc/8572/task/8629/stat : 8629 (java) S 8569 8572 7307 0 -1 1077944384 852 13040 0 0 15 3 5 3 20 0 15 0 417338876 11107323904 204104 33554432000 4194304 4196468 140735037612080 140035128547600 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8630] ppid=8569 vsize=10846996 memory=1432 CPUtime=0.12 cores=4-7
/proc/8572/task/8630/stat : 8630 (java) S 8569 8572 7307 0 -1 1077944384 2378 13040 0 0 4 0 5 3 20 0 15 0 417338878 11107323904 204104 33554432000 4194304 4196468 140735037612080 140034552757104 140035227531906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8631] ppid=8569 vsize=10846996 memory=776 CPUtime=0.08 cores=4-7
/proc/8572/task/8631/stat : 8631 (java) S 8569 8572 7307 0 -1 1077944384 18 13040 0 0 0 0 5 3 20 0 15 0 417338878 11107323904 204104 33554432000 4194304 4196468 140735037612080 140034120345184 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8632] ppid=8569 vsize=10846996 memory=660 CPUtime=0.08 cores=4-7
/proc/8572/task/8632/stat : 8632 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 15 0 417338878 11107323904 204104 33554432000 4194304 4196468 140735037612080 140033986127232 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8633] ppid=8569 vsize=10846996 memory=1556 CPUtime=0.08 cores=4-7
/proc/8572/task/8633/stat : 8633 (java) S 8569 8572 7307 0 -1 1077944384 3 13040 0 0 0 0 5 3 20 0 15 0 417338881 11107323904 204104 33554432000 4194304 4196468 140735037612080 140033745836368 140035227539355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8634] ppid=8569 vsize=10846996 memory=9588 CPUtime=3.3 cores=4-7
/proc/8572/task/8634/stat : 8634 (java) S 8569 8572 7307 0 -1 1077944384 10201 13040 0 0 320 2 5 3 20 0 15 0 417338881 11107323904 204104 33554432000 4194304 4196468 140735037612080 140034551703920 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8635] ppid=8569 vsize=10846996 memory=0 CPUtime=3.07 cores=4-7
/proc/8572/task/8635/stat : 8635 (java) S 8569 8572 7307 0 -1 1077944384 6629 13040 0 0 297 2 5 3 20 0 15 0 417338881 11107323904 204104 33554432000 4194304 4196468 140735037612080 140034550651120 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8636] ppid=8569 vsize=10846996 memory=0 CPUtime=2.28 cores=4-7
/proc/8572/task/8636/stat : 8636 (java) R 8569 8572 7307 0 -1 4202560 7631 13040 0 0 217 3 5 3 20 0 15 0 417338881 11107323904 204104 33554432000 4194304 4196468 140735037612080 140034549598320 140035206176633 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8637] ppid=8569 vsize=10846996 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8637/stat : 8637 (java) S 8569 8572 7307 0 -1 1077944384 3 13040 0 0 0 0 5 3 20 0 15 0 417338882 11107323904 204104 33554432000 4194304 4196468 140735037612080 140033712277728 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8638] ppid=8569 vsize=10846996 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8638/stat : 8638 (java) S 8569 8572 7307 0 -1 1077944384 11 13040 0 0 0 0 5 3 20 0 15 0 417338882 11107323904 204104 33554432000 4194304 4196468 140735037612080 140034548546736 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
Current children cumulated CPU time: 16.97 s
Current children cumulated vsize: 10846996 KiB
Current children cumulated memory: 816416 KiB

[startup+8.20101 s]
/proc/loadavg: 1.91 1.68 1.62 4/228 8638
/proc/meminfo: memFree=27194932/32770688 swapFree=66919992/67108860
[pid=8572] ppid=8569 vsize=10846996 memory=816416 CPUtime=17.3 cores=4-7
/proc/8572/stat : 8572 (java) S 8569 8572 7307 0 -1 1077944320 54456 13040 0 0 1681 41 5 3 20 0 15 0 417338866 11107323904 204104 33554432000 4194304 4196468 140735037612080 140735037594624 140035227520759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
/proc/8572/statm: 2711749 204104 3628 1 0 2673805 0
[pid=8572/tid=8625] ppid=8569 vsize=10846996 memory=301741407851512146 CPUtime=7.91 cores=4-7
/proc/8572/task/8625/stat : 8625 (java) R 8569 8572 7307 0 -1 4202560 23621 13040 0 0 766 17 5 3 20 0 15 0 417338875 11107323904 204104 33554432000 4194304 4196468 140735037612080 140035199351696 140034808312021 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8626] ppid=8569 vsize=10846996 memory=15534120243568062 CPUtime=0.24 cores=4-7
/proc/8572/task/8626/stat : 8626 (java) S 8569 8572 7307 0 -1 1077944384 214 13040 0 0 13 3 5 3 20 0 15 0 417338876 11107323904 204104 33554432000 4194304 4196468 140735037612080 140035231763088 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8627] ppid=8569 vsize=10846996 memory=0 CPUtime=0.26 cores=4-7
/proc/8572/task/8627/stat : 8627 (java) S 8569 8572 7307 0 -1 1077944384 252 13040 0 0 15 3 5 3 20 0 15 0 417338876 11107323904 204104 33554432000 4194304 4196468 140735037612080 140035130653200 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8628] ppid=8569 vsize=10846996 memory=0 CPUtime=0.26 cores=4-7
/proc/8572/task/8628/stat : 8628 (java) S 8569 8572 7307 0 -1 1077944384 422 13040 0 0 15 3 5 3 20 0 15 0 417338876 11107323904 204104 33554432000 4194304 4196468 140735037612080 140035129600400 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8629] ppid=8569 vsize=10846996 memory=-7750001083477550754 CPUtime=0.26 cores=4-7
/proc/8572/task/8629/stat : 8629 (java) S 8569 8572 7307 0 -1 1077944384 852 13040 0 0 15 3 5 3 20 0 15 0 417338876 11107323904 204104 33554432000 4194304 4196468 140735037612080 140035128547600 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8630] ppid=8569 vsize=10846996 memory=8508281356421924000 CPUtime=0.13 cores=4-7
/proc/8572/task/8630/stat : 8630 (java) S 8569 8572 7307 0 -1 1077944384 2378 13040 0 0 5 0 5 3 20 0 15 0 417338878 11107323904 204104 33554432000 4194304 4196468 140735037612080 140034552757104 140035227531906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8631] ppid=8569 vsize=10846996 memory=7533807675690544519 CPUtime=0.08 cores=4-7
/proc/8572/task/8631/stat : 8631 (java) S 8569 8572 7307 0 -1 1077944384 18 13040 0 0 0 0 5 3 20 0 15 0 417338878 11107323904 204104 33554432000 4194304 4196468 140735037612080 140034120345184 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8632] ppid=8569 vsize=10846996 memory=7881696724453321575 CPUtime=0.08 cores=4-7
/proc/8572/task/8632/stat : 8632 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 15 0 417338878 11107323904 204104 33554432000 4194304 4196468 140735037612080 140033986127232 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8633] ppid=8569 vsize=10846996 memory=6944656592455097440 CPUtime=0.08 cores=4-7
/proc/8572/task/8633/stat : 8633 (java) S 8569 8572 7307 0 -1 1077944384 3 13040 0 0 0 0 5 3 20 0 15 0 417338881 11107323904 204104 33554432000 4194304 4196468 140735037612080 140033745836368 140035227539355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8634] ppid=8569 vsize=10846996 memory=2244 CPUtime=3.33 cores=4-7
/proc/8572/task/8634/stat : 8634 (java) S 8569 8572 7307 0 -1 1077944384 10201 13040 0 0 323 2 5 3 20 0 15 0 417338881 11107323904 204104 33554432000 4194304 4196468 140735037612080 140034551703920 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8635] ppid=8569 vsize=10846996 memory=281250296590976 CPUtime=3.11 cores=4-7
/proc/8572/task/8635/stat : 8635 (java) S 8569 8572 7307 0 -1 1077944384 6634 13040 0 0 301 2 5 3 20 0 15 0 417338881 11107323904 204104 33554432000 4194304 4196468 140735037612080 140034550651120 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8636] ppid=8569 vsize=10846996 memory=317785455787770208 CPUtime=2.35 cores=4-7
/proc/8572/task/8636/stat : 8636 (java) R 8569 8572 7307 0 -1 4202560 7640 13040 0 0 224 3 5 3 20 0 15 0 417338881 11107323904 204104 33554432000 4194304 4196468 140735037612080 140034549598320 140035206166635 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8637] ppid=8569 vsize=10846996 memory=3082889 CPUtime=0.08 cores=4-7
/proc/8572/task/8637/stat : 8637 (java) S 8569 8572 7307 0 -1 1077944384 3 13040 0 0 0 0 5 3 20 0 15 0 417338882 11107323904 204104 33554432000 4194304 4196468 140735037612080 140033712277728 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8638] ppid=8569 vsize=10846996 memory=0 CPUtime=0.08 cores=4-7
/proc/8572/task/8638/stat : 8638 (java) S 8569 8572 7307 0 -1 1077944384 11 13040 0 0 0 0 5 3 20 0 15 0 417338882 11107323904 204104 33554432000 4194304 4196468 140735037612080 140034548546736 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
Current children cumulated CPU time: 17.3 s
Current children cumulated vsize: 10846996 KiB
Current children cumulated memory: 816416 KiB

[startup+8.30076 s]
/proc/loadavg: 1.91 1.68 1.62 4/228 8638
/proc/meminfo: memFree=27194932/32770688 swapFree=66919992/67108860
[pid=8572] ppid=8569 vsize=10846996 memory=830796 CPUtime=17.49 cores=4-7
/proc/8572/stat : 8572 (java) S 8569 8572 7307 0 -1 1077944320 54489 13040 0 0 1699 42 5 3 20 0 15 0 417338866 11107323904 207699 33554432000 4194304 4196468 140735037612080 140735037594624 140035227520759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
/proc/8572/statm: 2711749 207699 3628 1 0 2673805 0
[pid=8572/tid=8625] ppid=8569 vsize=10846996 memory=816416 CPUtime=8.01 cores=4-7
/proc/8572/task/8625/stat : 8625 (java) R 8569 8572 7307 0 -1 4202560 23662 13040 0 0 776 17 5 3 20 0 15 0 417338875 11107323904 207699 33554432000 4194304 4196468 140735037612080 140035199351696 140034821167549 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8626] ppid=8569 vsize=10846996 memory=816408 CPUtime=0.24 cores=4-7
/proc/8572/task/8626/stat : 8626 (java) S 8569 8572 7307 0 -1 1077944384 214 13040 0 0 13 3 5 3 20 0 15 0 417338876 11107323904 207699 33554432000 4194304 4196468 140735037612080 140035231763088 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8627] ppid=8569 vsize=10846996 memory=140625148141720 CPUtime=0.26 cores=4-7
/proc/8572/task/8627/stat : 8627 (java) S 8569 8572 7307 0 -1 1077944384 252 13040 0 0 15 3 5 3 20 0 15 0 417338876 11107323904 207699 33554432000 4194304 4196468 140735037612080 140035130653200 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8628] ppid=8569 vsize=10846996 memory=281250296288080 CPUtime=0.26 cores=4-7
/proc/8572/task/8628/stat : 8628 (java) S 8569 8572 7307 0 -1 1077944384 422 13040 0 0 15 3 5 3 20 0 15 0 417338876 11107323904 207699 33554432000 4194304 4196468 140735037612080 140035129600400 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8629] ppid=8569 vsize=10846996 memory=7 CPUtime=0.26 cores=4-7
/proc/8572/task/8629/stat : 8629 (java) S 8569 8572 7307 0 -1 1077944384 852 13040 0 0 15 3 5 3 20 0 15 0 417338876 11107323904 207699 33554432000 4194304 4196468 140735037612080 140035128547600 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8630] ppid=8569 vsize=10846996 memory=8 CPUtime=0.13 cores=4-7
/proc/8572/task/8630/stat : 8630 (java) S 8569 8572 7307 0 -1 1077944384 2378 13040 0 0 5 0 5 3 20 0 15 0 417338878 11107323904 207699 33554432000 4194304 4196468 140735037612080 140034552757104 140035227531906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8631] ppid=8569 vsize=10846996 memory=164 CPUtime=0.08 cores=4-7
/proc/8572/task/8631/stat : 8631 (java) S 8569 8572 7307 0 -1 1077944384 18 13040 0 0 0 0 5 3 20 0 15 0 417338878 11107323904 207699 33554432000 4194304 4196468 140735037612080 140034120345184 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8632] ppid=8569 vsize=10846996 memory=734122130331934768 CPUtime=0.08 cores=4-7
/proc/8572/task/8632/stat : 8632 (java) S 8569 8572 7307 0 -1 1077944384 1 13040 0 0 0 0 5 3 20 0 15 0 417338878 11107323904 207699 33554432000 4194304 4196468 140735037612080 140033986127232 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8633] ppid=8569 vsize=10846996 memory=6944656592455359580 CPUtime=0.08 cores=4-7
/proc/8572/task/8633/stat : 8633 (java) S 8569 8572 7307 0 -1 1077944384 3 13040 0 0 0 0 5 3 20 0 15 0 417338881 11107323904 207699 33554432000 4194304 4196468 140735037612080 140033745836368 140035227539355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8634] ppid=8569 vsize=10846996 memory=0 CPUtime=3.35 cores=4-7
/proc/8572/task/8634/stat : 8634 (java) S 8569 8572 7307 0 -1 1077944384 10201 13040 0 0 324 3 5 3 20 0 15 0 417338881 11107323904 207699 33554432000 4194304 4196468 140735037612080 140034551703920 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8635] ppid=8569 vsize=10846996 memory=0 CPUtime=3.12 cores=4-7
/proc/8572/task/8635/stat : 8635 (java) S 8569 8572 7307 0 -1 1077944384 6634 13040 0 0 302 2 5 3 20 0 15 0 417338881 11107323904 207699 33554432000 4194304 4196468 140735037612080 140034550651120 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8636] ppid=8569 vsize=10846996 memory=3624 CPUtime=2.41 cores=4-7
/proc/8572/task/8636/stat : 8636 (java) R 8569 8572 7307 0 -1 4202560 7640 13040 0 0 230 3 5 3 20 0 15 0 417338881 11107323904 207699 33554432000 4194304 4196468 140735037612080 140034549598320 140035206476408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8637] ppid=8569 vsize=10846996 memory=816416 CPUtime=0.08 cores=4-7
/proc/8572/task/8637/stat : 8637 (java) S 8569 8572 7307 0 -1 1077944384 3 13040 0 0 0 0 5 3 20 0 15 0 417338882 11107323904 207699 33554432000 4194304 4196468 140735037612080 140033712277728 140035227530965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
[pid=8572/tid=8638] ppid=8569 vsize=10846996 memory=140625148476035 CPUtime=0.08 cores=4-7
/proc/8572/task/8638/stat : 8638 (java) S 8569 8572 7307 0 -1 1077944384 11 13040 0 0 0 0 5 3 20 0 15 0 417338882 11107323904 207699 33554432000 4194304 4196468 140735037612080 140034548546736 140035227531906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140735037618927 140735037621445 140735037621445 140735037624271 0
Current children cumulated CPU time: 17.49 s
Current children cumulated vsize: 10846996 KiB
Current children cumulated memory: 830796 KiB

Child status: 1
Real time (s): 8.37143
CPU time (s): 17.6359
CPU user time (s): 17.1646
CPU system time (s): 0.471269
CPU usage (%): 210.668
Max. virtual memory (cumulated for all children) (KiB): 10847560
Max. memory (cumulated for all children) (KiB): 830796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.1646
system time used= 0.471269
maximum resident set size= 849976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68052
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8582
involuntary context switches= 79


# summary of solver processes directly reported to runsolver:
#   pid: 8572
#   total CPU time (s): 17.6359
#   total CPU user time (s): 17.1646
#   total CPU system time (s): 0.471269

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.096262 second user time and 0.123263 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-15 06:42:28
IDJOB=4395986
IDBENCH=141689
IDSOLVER=2846
FILE ID=node120/4395986-1568413325
RUNJOBID= node120-1323922682-7339
PBS_JOBID= 21702191
Free space on /tmp= 61612 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP19/hcp/graph162.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395986-1568413325/watcher-4395986-1568413325 -o /tmp/evaluation-result-4395986-1568413325/solver-4395986-1568413325 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323922682-7339 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1955412123 HOME/instance-4395986-1568413325.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0d1146fb66ad2f4e2d5d75203fe6e22a
RANDOM SEED=1955412123

node120.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        27999132 kB
MemAvailable:   31512828 kB
Buffers:          188808 kB
Cached:          3629840 kB
SwapCached:        77548 kB
Active:          1389940 kB
Inactive:        2823976 kB
Active(anon):     318080 kB
Inactive(anon):   127064 kB
Active(file):    1071860 kB
Inactive(file):  2696912 kB
Unevictable:      108056 kB
Mlocked:          108056 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:             36636 kB
Writeback:             0 kB
AnonPages:        435852 kB
Mapped:            62136 kB
Shmem:             41008 kB
Slab:             150908 kB
SReclaimable:     121520 kB
SUnreclaim:        29388 kB
KernelStack:        4016 kB
PageTables:         8552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    1479264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    268288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 61576 MiB
End job on node120 at 2011-12-15 06:42:36