Trace number 3742478

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
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.77 1796.52

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K138.opb
MD5SUMb6be79d7c894904bfb5f7c9acfb80f53
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16422
Total number of constraints16700
Number of constraints which are clauses16562
Number of constraints which are cardinality constraints (but not clauses)138
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint138
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 139
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.10/0.10	--- Begin Solver configuration ---
0.10/0.10	c Stops conflict analysis at the first Unique Implication Point
0.10/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.10/0.10	c No reason simplification
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3742478-1338768945.opb
0.10/0.10	c reading problem ... 
0.94/0.59	c ... done. Wall clock time 0.494s.
0.94/0.59	c CPU time (experimental) 0.57s.
0.94/0.59	c #vars     16422
0.94/0.59	c #constraints  16698
764.92/762.39	c cleaning 309429 clauses out of 619936 for limit 4026.734857580821
766.12/763.58	c cleaning 154950 clauses out of 311008 for limit 13250.08698390514
766.83/764.22	c cleaning 77283 clauses out of 156558 for limit 43408.113515491954
767.33/764.75	c cleaning 38738 clauses out of 79774 for limit 140347.9854539389
767.72/765.11	c cleaning 19580 clauses out of 41540 for limit 446267.22664864827
768.02/765.40	c cleaning 10000 clauses out of 22458 for limit 1358555.1467625625
768.23/765.61	c cleaning 5253 clauses out of 12956 for limit 3875826.017476232
768.32/765.76	c cleaning 2890 clauses out of 8204 for limit 1.0104154077729348E7
768.52/765.90	c cleaning 1714 clauses out of 5813 for limit 2.3493442791441202E7
768.62/766.06	c cleaning 2223 clauses out of 4599 for limit 4.897105547655046E7
768.82/766.24	c cleaning 1325 clauses out of 2877 for limit 1.2922704423257235E8
769.02/766.40	c cleaning 387 clauses out of 2051 for limit 2.986406950736411E8
769.12/766.56	c cleaning 447 clauses out of 2164 for limit 4.667811167125829E8
769.33/766.73	c cleaning 361 clauses out of 2217 for limit 7.513818997184224E8
769.42/766.85	c cleaning 478 clauses out of 2356 for limit 1.1660227475209577E9
769.52/766.96	c cleaning 389 clauses out of 2379 for limit 1.9062430173836815E9
769.62/767.08	c cleaning 502 clauses out of 2489 for limit 3.0017131411975484E9
769.82/767.20	c cleaning 1212 clauses out of 2487 for limit 4.954207413645436E9
769.92/767.30	c cleaning 525 clauses out of 1775 for limit 1.1447416905660357E10
769.92/767.39	c cleaning 339 clauses out of 1750 for limit 1.914801219811915E10
770.02/767.49	c cleaning 368 clauses out of 1912 for limit 2.893105393960823E10
770.12/767.58	c cleaning 244 clauses out of 2043 for limit 4.460721932755822E10
770.22/767.69	c cleaning 358 clauses out of 2299 for limit 6.5371798580882286E10
770.43/767.81	c cleaning 768 clauses out of 2441 for limit 1.0153540671319368E11
770.52/767.90	c cleaning 388 clauses out of 2173 for limit 1.8809681979898462E11
770.62/768.02	c cleaning 752 clauses out of 2285 for limit 2.9499242348674335E11
770.72/768.16	c cleaning 360 clauses out of 2033 for limit 5.467837190297146E11
770.92/768.30	c cleaning 397 clauses out of 2174 for limit 8.440803930415038E11
771.02/768.46	c cleaning 388 clauses out of 2276 for limit 1.3282886739440552E12
771.22/768.61	c cleaning 400 clauses out of 2388 for limit 2.0877874939548613E12
771.32/768.76	c cleaning 448 clauses out of 2488 for limit 3.304654989416642E12
771.53/768.91	c cleaning 471 clauses out of 2540 for limit 5.33824708581162E12
771.62/769.07	c cleaning 476 clauses out of 2570 for limit 8.70942861123849E12
771.82/769.21	c cleaning 504 clauses out of 2593 for limit 1.4221376870959914E13
771.92/769.36	c cleaning 499 clauses out of 2589 for limit 2.348918772900633E13
772.02/769.48	c cleaning 536 clauses out of 2592 for limit 3.876947880640023E13
772.22/769.60	c cleaning 482 clauses out of 2555 for limit 6.479707929057319E13
772.32/769.73	c cleaning 497 clauses out of 2572 for limit 1.0604659928490156E14
772.42/769.84	c cleaning 474 clauses out of 2577 for limit 1.7489532560534172E14
772.53/769.96	c cleaning 494 clauses out of 2601 for limit 2.851931776290037E14
772.63/770.08	c cleaning 1280 clauses out of 2607 for limit 4.692392588672253E14
772.72/770.19	c cleaning 649 clauses out of 1827 for limit 1.1042126317905542E15
772.92/770.31	c cleaning 681 clauses out of 1680 for limit 1.9842979658947813E-5
773.02/770.42	c cleaning 512 clauses out of 1498 for limit 3.666280853375108E-5
773.12/770.56	c cleaning 488 clauses out of 1485 for limit 6.093018064672021E-5
773.32/770.71	c cleaning 500 clauses out of 1499 for limit 9.974294731617255E-5
773.42/770.82	c cleaning 493 clauses out of 1497 for limit 1.643799685640287E-4
773.52/770.97	c cleaning 159 clauses out of 1504 for limit 2.6982286177242026E-4
773.73/771.16	c cleaning 236 clauses out of 1848 for limit 3.63231944683456E-4
773.82/771.26	c cleaning 262 clauses out of 2109 for limit 5.233133026742506E-4
773.92/771.36	c cleaning 364 clauses out of 2347 for limit 7.754988387671355E-4
774.02/771.47	c cleaning 433 clauses out of 2483 for limit 0.001208852766955146
774.12/771.58	c cleaning 470 clauses out of 2550 for limit 0.0019411801202098157
774.32/771.70	c cleaning 459 clauses out of 2580 for limit 0.0031640416848349043
774.42/771.83	c cleaning 483 clauses out of 2624 for limit 0.005145854402833396
774.52/771.95	c cleaning 499 clauses out of 2644 for limit 0.008447326806637283
774.62/772.07	c cleaning 481 clauses out of 2639 for limit 0.013873632085403837
774.83/772.22	c cleaning 518 clauses out of 2658 for limit 0.022715927498361127
774.92/772.33	c cleaning 505 clauses out of 2644 for limit 0.03781098000554704
775.02/772.43	c cleaning 490 clauses out of 2638 for limit 0.06243469128267182
775.12/772.57	c cleaning 492 clauses out of 2645 for limit 0.1023829019696411
775.32/772.74	c cleaning 496 clauses out of 2656 for limit 0.16864926902056132
775.42/772.87	c cleaning 487 clauses out of 2659 for limit 0.27753360168559194
775.62/773.02	c cleaning 487 clauses out of 2670 for limit 0.45489326953532067
775.72/773.18	c cleaning 498 clauses out of 2684 for limit 0.7470138601757316
775.93/773.35	c cleaning 513 clauses out of 2686 for limit 1.2310084951954574
776.12/773.51	c cleaning 503 clauses out of 2673 for limit 2.0399709671526645
776.24/773.66	c cleaning 511 clauses out of 2669 for limit 3.3658576662833655
776.34/773.76	c cleaning 527 clauses out of 2660 for limit 5.58068609120176
776.44/773.88	c cleaning 502 clauses out of 2632 for limit 9.291904154703015
776.64/774.00	c cleaning 486 clauses out of 2629 for limit 15.325737953103372
776.74/774.15	c cleaning 508 clauses out of 2646 for limit 25.187297048765444
776.84/774.26	c cleaning 477 clauses out of 2635 for limit 41.58561572150952
776.94/774.39	c cleaning 489 clauses out of 2660 for limit 68.07176785167204
777.14/774.53	c cleaning 520 clauses out of 2669 for limit 111.65725730900962
777.24/774.65	c cleaning 509 clauses out of 2649 for limit 185.52799806561154
777.34/774.77	c cleaning 494 clauses out of 2642 for limit 307.38559685554054
777.44/774.89	c cleaning 471 clauses out of 2646 for limit 505.1418504472287
777.64/775.03	c cleaning 519 clauses out of 2675 for limit 824.0153298669759
777.74/775.15	c cleaning 549 clauses out of 2656 for limit 1368.6326428009668
777.84/775.24	c cleaning 514 clauses out of 2607 for limit 2299.4809738873105
777.94/775.35	c cleaning 485 clauses out of 2593 for limit 3812.6261470183117
778.04/775.45	c cleaning 483 clauses out of 2611 for limit 6262.954970553913
778.14/775.57	c cleaning 484 clauses out of 2625 for limit 10242.576233022615
778.34/775.70	c cleaning 485 clauses out of 2642 for limit 16799.490025005915
778.44/775.84	c cleaning 484 clauses out of 2656 for limit 27531.014556558937
778.54/775.99	c cleaning 499 clauses out of 2675 for limit 45215.35268310364
778.74/776.13	c cleaning 467 clauses out of 2673 for limit 74398.31541262394
778.94/776.30	c cleaning 510 clauses out of 2707 for limit 121273.02308784
779.04/776.45	c cleaning 504 clauses out of 2696 for limit 200610.63237098223
779.24/776.62	c cleaning 1204 clauses out of 2691 for limit 331448.47413343424
779.34/776.77	c cleaning 974 clauses out of 1987 for limit 740265.8955973391
779.44/776.87	c cleaning 647 clauses out of 1513 for limit 1603254.8699753226
779.54/776.99	c cleaning 585 clauses out of 1366 for limit 2928509.811980517
779.74/777.10	c cleaning 533 clauses out of 1281 for limit 5149963.370272951
779.84/777.23	c cleaning 597 clauses out of 1248 for limit 8717552.499327268
779.94/777.38	c cleaning 501 clauses out of 1151 for limit 1.558797570400102E7
780.14/777.52	c cleaning 575 clauses out of 1155 for limit 2.5746103185765546E7
780.24/777.66	c cleaning 481 clauses out of 1077 for limit 4.539731192785053E7
780.44/777.86	c cleaning 530 clauses out of 1094 for limit 7.355553910522994E7
780.64/778.07	c cleaning 513 clauses out of 1063 for limit 1.2484045054650845E8
780.84/778.26	c cleaning 502 clauses out of 1050 for limit 2.08427576997879E8
781.04/778.40	c cleaning 505 clauses out of 1048 for limit 3.443809210710912E8
781.14/778.52	c cleaning 484 clauses out of 1043 for limit 5.70652789403734E8
781.24/778.67	c cleaning 465 clauses out of 1059 for limit 9.26864353421773E8
781.44/778.86	c cleaning 457 clauses out of 1094 for limit 1.479621743989148E9
781.54/778.97	c cleaning 461 clauses out of 1137 for limit 2.3478127093461156E9
781.74/779.13	c cleaning 587 clauses out of 1174 for limit 3.7498310772539387E9
781.84/779.28	c cleaning 512 clauses out of 1087 for limit 6.678918498111235E9
782.14/779.50	c cleaning 516 clauses out of 1075 for limit 1.1137381870900543E10
782.24/779.67	c cleaning 469 clauses out of 1059 for limit 1.866319585422171E10
782.44/779.85	c cleaning 494 clauses out of 1089 for limit 2.990029472957321E10
782.54/779.99	c cleaning 479 clauses out of 1096 for limit 4.90436962079209E10
782.74/780.16	c cleaning 504 clauses out of 1116 for limit 7.93507303508645E10
782.84/780.30	c cleaning 551 clauses out of 1113 for limit 1.3134403602568616E11
783.04/780.45	c cleaning 474 clauses out of 1060 for limit 2.272066465313855E11
783.24/780.60	c cleaning 537 clauses out of 1085 for limit 3.660606494093408E11
783.34/780.76	c cleaning 497 clauses out of 1048 for limit 6.249962166307374E11
783.54/780.99	c cleaning 503 clauses out of 1050 for limit 1.0287391291092909E12
783.74/781.19	c cleaning 501 clauses out of 1046 for limit 1.7030161266421975E12
783.94/781.38	c cleaning 482 clauses out of 1045 for limit 2.8111889794202344E12
784.14/781.53	c cleaning 491 clauses out of 1063 for limit 4.557523897226038E12
784.33/781.72	c cleaning 509 clauses out of 1073 for limit 7.453373687796128E12
784.53/781.90	c cleaning 499 clauses out of 1063 for limit 1.239483439334422E13
784.64/782.04	c cleaning 476 clauses out of 1064 for limit 2.042152884403784E13
784.74/782.16	c cleaning 452 clauses out of 1088 for limit 3.293493963191472E13
784.83/782.26	c cleaning 479 clauses out of 1136 for limit 5.20191585339288E13
784.93/782.37	c cleaning 524 clauses out of 1157 for limit 8.422949214712925E13
785.13/782.53	c cleaning 512 clauses out of 1133 for limit 1.4184809846429712E14
785.33/782.71	c cleaning 516 clauses out of 1121 for limit 2.364306099008202E14
785.53/782.91	c cleaning 507 clauses out of 1105 for limit 3.955513983114336E14
785.63/783.09	c cleaning 464 clauses out of 1098 for limit 6.564758422286731E14
785.84/783.24	c cleaning 486 clauses out of 1134 for limit 1.0482477082813608E15
785.93/783.36	c cleaning 496 clauses out of 1148 for limit 1.7076189871349685E15
786.03/783.49	c cleaning 484 clauses out of 1152 for limit 2.8063140532202755E15
786.13/783.60	c cleaning 563 clauses out of 1168 for limit 4.564590209494723E-5
786.33/783.73	c cleaning 508 clauses out of 1105 for limit 7.956796414334085E-5
786.43/783.85	c cleaning 525 clauses out of 1097 for limit 1.3217514138469868E-4
786.53/783.95	c cleaning 489 clauses out of 1075 for limit 2.231040064360015E-4
786.63/784.06	c cleaning 468 clauses out of 1085 for limit 3.641727708972772E-4
786.73/784.16	c cleaning 467 clauses out of 1116 for limit 5.833032408718736E-4
786.84/784.29	c cleaning 413 clauses out of 1148 for limit 9.341961457733736E-4
787.03/784.44	c cleaning 493 clauses out of 1235 for limit 0.001432085305994091
787.13/784.56	c cleaning 499 clauses out of 1244 for limit 0.0023493102659187448
787.23/784.69	c cleaning 502 clauses out of 1243 for limit 0.0038696928196506465
787.43/784.81	c cleaning 493 clauses out of 1241 for limit 0.00639192581333173
787.53/784.96	c cleaning 490 clauses out of 1248 for limit 0.010482015774468601
787.63/785.08	c cleaning 491 clauses out of 1261 for limit 0.017159464478840047
787.73/785.18	c cleaning 487 clauses out of 1267 for limit 0.028079835123801657
787.94/785.31	c cleaning 512 clauses out of 1280 for limit 0.04583709499459882
788.04/785.44	c cleaning 503 clauses out of 1268 for limit 0.0763068786099245
788.13/785.53	c cleaning 479 clauses out of 1265 for limit 0.12613868635717124
788.23/785.65	c cleaning 468 clauses out of 1289 for limit 0.20476010062757552
788.33/785.78	c cleaning 466 clauses out of 1318 for limit 0.32925713363254966
788.43/785.88	c cleaning 487 clauses out of 1352 for limit 0.5293340102510596
788.53/785.99	c cleaning 508 clauses out of 1366 for limit 0.8648607536615857
788.63/786.09	c cleaning 513 clauses out of 1360 for limit 1.4354328845455095
788.83/786.21	c cleaning 501 clauses out of 1344 for limit 2.3882230336933494
788.93/786.36	c cleaning 509 clauses out of 1343 for limit 3.9414318863325293
789.04/786.45	c cleaning 508 clauses out of 1334 for limit 6.54380118160115
789.14/786.59	c cleaning 585 clauses out of 1326 for limit 10.85671127632162
789.33/786.73	c cleaning 526 clauses out of 1241 for limit 19.130482243854313
789.43/786.89	c cleaning 517 clauses out of 1215 for limit 32.22384118745075
789.63/787.03	c cleaning 467 clauses out of 1199 for limit 53.90447270451824
789.73/787.15	c cleaning 467 clauses out of 1232 for limit 86.51455223588704
789.93/787.33	c cleaning 511 clauses out of 1264 for limit 138.9230064972186
790.03/787.48	c cleaning 484 clauses out of 1253 for limit 231.1138985168007
790.24/787.62	c cleaning 508 clauses out of 1270 for limit 376.41230510633653
790.33/787.79	c cleaning 483 clauses out of 1261 for limit 624.5595046486386
790.53/787.95	c cleaning 500 clauses out of 1278 for limit 1016.2813168852266
790.63/788.08	c cleaning 494 clauses out of 1282 for limit 1677.454327744624
790.83/788.24	c cleaning 475 clauses out of 1284 for limit 2751.006051813427
790.93/788.37	c cleaning 483 clauses out of 1309 for limit 4450.13114678408
791.13/788.50	c cleaning 500 clauses out of 1326 for limit 7244.773619851944
791.24/788.61	c cleaning 480 clauses out of 1328 for limit 11953.502564406761
791.34/788.75	c cleaning 509 clauses out of 1346 for limit 19410.425585046465
791.53/788.93	c cleaning 517 clauses out of 1337 for limit 32225.8660289056
791.63/789.06	c cleaning 487 clauses out of 1320 for limit 53829.20432564799
791.83/789.20	c cleaning 458 clauses out of 1333 for limit 87905.81993934828
791.93/789.31	c cleaning 471 clauses out of 1379 for limit 140694.60563791596
792.03/789.42	c cleaning 535 clauses out of 1404 for limit 226982.5364514268
792.13/789.55	c cleaning 486 clauses out of 1369 for limit 383894.58960962755
792.23/789.69	c cleaning 497 clauses out of 1383 for limit 626684.7788099797
792.44/789.83	c cleaning 493 clauses out of 1387 for limit 1031538.0785857636
792.53/789.95	c cleaning 518 clauses out of 1393 for limit 1692123.2165979727
792.63/790.08	c cleaning 509 clauses out of 1375 for limit 2827068.2257768507
792.83/790.20	c cleaning 486 clauses out of 1367 for limit 4694192.2472946085
792.93/790.32	c cleaning 598 clauses out of 1380 for limit 7660756.798139823
793.03/790.46	c cleaning 629 clauses out of 1282 for limit 1.3599364790188693E7
793.13/790.58	c cleaning 524 clauses out of 1153 for limit 2.4936369718483757E7
793.33/790.71	c cleaning 480 clauses out of 1129 for limit 4.199760076303382E7
793.44/790.82	c cleaning 464 clauses out of 1149 for limit 6.805409781926751E7
793.54/790.95	c cleaning 444 clauses out of 1185 for limit 1.0882078297014841E8
793.63/791.07	c cleaning 571 clauses out of 1241 for limit 1.7136191317363465E8
793.73/791.18	c cleaning 566 clauses out of 1170 for limit 2.997478722560074E8
793.83/791.27	c cleaning 426 clauses out of 1104 for limit 5.2387633954404306E8
793.93/791.40	c cleaning 444 clauses out of 1178 for limit 8.096707573696277E8
794.13/791.53	c cleaning 490 clauses out of 1234 for limit 1.2746603362872784E9
794.23/791.65	c cleaning 473 clauses out of 1244 for limit 2.0851876228172905E9
794.33/791.78	c cleaning 461 clauses out of 1272 for limit 3.366423937101768E9
794.54/791.94	c cleaning 500 clauses out of 1312 for limit 5.387812596025667E9
794.64/792.03	c cleaning 481 clauses out of 1312 for limit 8.885223739520353E9
794.73/792.18	c cleaning 487 clauses out of 1329 for limit 1.4436572155310902E10
794.83/792.29	c cleaning 481 clauses out of 1342 for limit 2.357721142390697E10
1712.26/1708.77	c cleaning 298472 clauses out of 598359 for limit 2.208350997237226E7
1713.66/1710.17	c cleaning 149819 clauses out of 300387 for limit 7.254453191856588E7
1714.26/1710.78	c cleaning 74814 clauses out of 151068 for limit 2.3788618623510015E8
1714.66/1711.11	c cleaning 37718 clauses out of 76754 for limit 7.721409269191328E8
1714.86/1711.30	c cleaning 19053 clauses out of 39536 for limit 2.4720699153997087E9
1714.96/1711.48	c cleaning 9663 clauses out of 20983 for limit 7.681424810013733E9
1715.07/1711.60	c cleaning 5021 clauses out of 11820 for limit 2.2487841670911915E10
1715.26/1711.71	c cleaning 2826 clauses out of 7300 for limit 6.010807091315327E10
1715.36/1711.83	c cleaning 2009 clauses out of 4973 for limit 1.4536456942230447E11
1715.46/1711.92	c cleaning 1693 clauses out of 3465 for limit 3.44400826722042E11
1715.56/1712.03	c cleaning 942 clauses out of 2271 for limit 8.657084672593148E11
1715.66/1712.15	c cleaning 600 clauses out of 1829 for limit 1.7726825965759414E12
1715.76/1712.25	c cleaning 511 clauses out of 1732 for limit 3.0963940277773867E12
1715.86/1712.36	c cleaning 388 clauses out of 1720 for limit 5.136851809300196E12
1715.96/1712.49	c cleaning 453 clauses out of 1832 for limit 7.953456346264093E12
1716.06/1712.57	c cleaning 468 clauses out of 1878 for limit 1.27822456138279E13
1716.17/1712.67	c cleaning 484 clauses out of 1909 for limit 2.071658628320991E13
1716.27/1712.77	c cleaning 925 clauses out of 1925 for limit 3.3880458167698547E13
1716.36/1712.87	c cleaning 483 clauses out of 1500 for limit 7.170420688859616E13
1716.46/1712.98	c cleaning 739 clauses out of 1517 for limit 1.169246831672485E14
1716.56/1713.07	c cleaning 413 clauses out of 1278 for limit 2.2888472787652066E14
1716.66/1713.18	c cleaning 483 clauses out of 1365 for limit 3.53403547915812E14
1716.76/1713.26	c cleaning 251 clauses out of 1382 for limit 5.756405779390682E14
1716.86/1713.36	c cleaning 422 clauses out of 1631 for limit 8.043801958315845E14
1716.96/1713.46	c cleaning 389 clauses out of 1709 for limit 1.2659867341453515E15
1717.06/1713.54	c cleaning 878 clauses out of 1820 for limit 1.960449757332542E-5
1717.16/1713.62	c cleaning 678 clauses out of 1442 for limit 4.080540862478779E-5
1717.27/1713.73	c cleaning 514 clauses out of 1264 for limit 7.677004667981087E-5
1717.37/1713.83	c cleaning 515 clauses out of 1250 for limit 1.280220427515003E-4
1717.46/1713.92	c cleaning 321 clauses out of 1235 for limit 2.136897520037435E-4
1717.56/1714.01	c cleaning 459 clauses out of 1414 for limit 3.077918600621139E-4
1717.66/1714.10	c cleaning 231 clauses out of 1455 for limit 4.932867308602996E-4
1717.76/1714.20	c cleaning 355 clauses out of 1724 for limit 6.865640391035336E-4
1717.86/1714.30	c cleaning 445 clauses out of 1869 for limit 0.0010443952773010476
1717.96/1714.41	c cleaning 472 clauses out of 1924 for limit 0.001673112022684469
1718.06/1714.53	c cleaning 479 clauses out of 1952 for limit 0.0027196070690739824
1718.16/1714.66	c cleaning 480 clauses out of 1973 for limit 0.004437258974476823
1718.26/1714.80	c cleaning 468 clauses out of 1993 for limit 0.007244200301513385
1718.47/1714.91	c cleaning 461 clauses out of 2025 for limit 0.011757868755597424
1718.56/1715.03	c cleaning 488 clauses out of 2067 for limit 0.019053404231661738
1718.66/1715.17	c cleaning 508 clauses out of 2077 for limit 0.03120781946718879
1718.86/1715.30	c cleaning 470 clauses out of 2069 for limit 0.05166486725309717
1718.96/1715.44	c cleaning 471 clauses out of 2098 for limit 0.08394052862450219
1719.16/1715.60	c cleaning 494 clauses out of 2127 for limit 0.13654178651339768
1719.26/1715.73	c cleaning 561 clauses out of 2133 for limit 0.2245422666463339
1719.36/1715.82	c cleaning 529 clauses out of 2073 for limit 0.38139944300229417
1719.47/1715.92	c cleaning 504 clauses out of 2043 for limit 0.6375765937272434
1719.57/1716.02	c cleaning 513 clauses out of 2039 for limit 1.053511772537813
1719.66/1716.13	c cleaning 486 clauses out of 2026 for limit 1.748529906473545
1719.76/1716.27	c cleaning 481 clauses out of 2044 for limit 2.8696276510947833
1719.96/1716.42	c cleaning 510 clauses out of 2059 for limit 4.679160403218461
1720.06/1716.54	c cleaning 477 clauses out of 2049 for limit 7.754221605861098
1720.16/1716.65	c cleaning 481 clauses out of 2072 for limit 12.645799820578938
1720.26/1716.75	c cleaning 485 clauses out of 2091 for limit 20.66511888245943
1720.36/1716.84	c cleaning 455 clauses out of 2106 for limit 33.836813761285256
1720.46/1716.96	c cleaning 508 clauses out of 2151 for limit 54.63403851495779
1720.57/1717.09	c cleaning 509 clauses out of 2143 for limit 90.43518489537546
1720.67/1717.19	c cleaning 501 clauses out of 2134 for limit 149.7687047224567
1720.86/1717.31	c cleaning 471 clauses out of 2133 for limit 247.10442379922276
1720.96/1717.44	c cleaning 490 clauses out of 2162 for limit 402.0421374963559
1721.06/1717.56	c cleaning 497 clauses out of 2172 for limit 659.9686848551435
1721.16/1717.67	c cleaning 497 clauses out of 2176 for limit 1087.4634214066643
1721.26/1717.79	c cleaning 492 clauses out of 2178 for limit 1789.9341274496308
1721.46/1717.92	c cleaning 512 clauses out of 2186 for limit 2941.038118090456
1721.56/1718.06	c cleaning 502 clauses out of 2174 for limit 4876.937143363701
1721.77/1718.20	c cleaning 498 clauses out of 2172 for limit 8050.127595540481
1721.86/1718.33	c cleaning 609 clauses out of 2175 for limit 13270.696666678645
1721.96/1718.42	c cleaning 527 clauses out of 2065 for limit 23027.89831113968
1722.06/1718.51	c cleaning 504 clauses out of 2038 for limit 38479.20283855464
1722.16/1718.61	c cleaning 538 clauses out of 2034 for limit 63582.14635794437
1722.26/1718.71	c cleaning 591 clauses out of 1996 for limit 106851.71154329836
1722.36/1718.80	c cleaning 534 clauses out of 1906 for limit 184718.12963827472
1722.46/1718.92	c cleaning 513 clauses out of 1872 for limit 310157.62424938707
1722.56/1719.04	c cleaning 507 clauses out of 1858 for limit 514830.14858756104
1722.66/1719.14	c cleaning 497 clauses out of 1853 for limit 853019.9184247016
1722.77/1719.23	c cleaning 495 clauses out of 1857 for limit 1405118.9362250601
1722.87/1719.33	c cleaning 484 clauses out of 1862 for limit 2311006.6795753664
1722.96/1719.43	c cleaning 724 clauses out of 1875 for limit 3773392.2836165396
1723.06/1719.57	c cleaning 390 clauses out of 1651 for limit 7067113.118267971
1723.16/1719.66	c cleaning 445 clauses out of 1761 for limit 1.0926615155157734E7
1723.26/1719.76	c cleaning 459 clauses out of 1818 for limit 1.7489445270258285E7
1723.36/1719.88	c cleaning 485 clauses out of 1858 for limit 2.8193278356578294E7
1723.46/1719.97	c cleaning 471 clauses out of 1872 for limit 4.610062568150836E7
1723.56/1720.06	c cleaning 631 clauses out of 1901 for limit 7.486631104202367E7
1723.66/1720.15	c cleaning 455 clauses out of 1771 for limit 1.3266012088674425E8
1723.76/1720.25	c cleaning 442 clauses out of 1815 for limit 2.1325719656675988E8
1723.87/1720.34	c cleaning 484 clauses out of 1874 for limit 3.409581982245474E8
1723.97/1720.42	c cleaning 491 clauses out of 1889 for limit 5.572629135304519E8
1724.06/1720.50	c cleaning 471 clauses out of 1898 for limit 9.146433435296206E8
1724.16/1720.60	c cleaning 500 clauses out of 1927 for limit 1.4856693320514662E9
1724.26/1720.71	c cleaning 735 clauses out of 1927 for limit 2.450067477840344E9
1724.36/1720.81	c cleaning 368 clauses out of 1695 for limit 4.607331700238046E9
1724.46/1720.90	c cleaning 397 clauses out of 1824 for limit 7.039579213097185E9
1724.46/1720.99	c cleaning 487 clauses out of 1929 for limit 1.0999278972596645E10
1724.66/1721.11	c cleaning 502 clauses out of 1940 for limit 1.8000376055987778E10
1724.76/1721.20	c cleaning 711 clauses out of 1938 for limit 2.971566286753802E10
1724.86/1721.30	c cleaning 402 clauses out of 1730 for limit 5.506206749296179E10
1724.97/1721.41	c cleaning 431 clauses out of 1827 for limit 8.589768222670364E10
1725.07/1721.51	c cleaning 635 clauses out of 1894 for limit 1.3637252495294048E11
1725.16/1721.60	c cleaning 390 clauses out of 1760 for limit 2.4226160338044235E11
1725.16/1721.69	c cleaning 929 clauses out of 1871 for limit 3.7619573392056665E11
1725.26/1721.76	c cleaning 593 clauses out of 1440 for limit 8.044740233354832E11
1725.36/1721.86	c cleaning 412 clauses out of 1347 for limit 1.418282710118105E12
1725.46/1721.98	c cleaning 603 clauses out of 1435 for limit 2.195504796438195E12
1725.56/1722.07	c cleaning 371 clauses out of 1333 for limit 3.901634121247755E12
1725.66/1722.16	c cleaning 441 clauses out of 1461 for limit 5.864727656874137E12
1725.76/1722.26	c cleaning 349 clauses out of 1521 for limit 9.299492533020299E12
1725.86/1722.35	c cleaning 829 clauses out of 1672 for limit 1.395108799549845E13
1725.96/1722.44	c cleaning 437 clauses out of 1344 for limit 2.8650716094531477E13
1726.07/1722.54	c cleaning 374 clauses out of 1405 for limit 4.510713973060983E13
1726.17/1722.65	c cleaning 261 clauses out of 1531 for limit 6.826566255784675E13
1726.26/1722.76	c cleaning 461 clauses out of 1771 for limit 9.742027203458747E13
1726.36/1722.88	c cleaning 392 clauses out of 1809 for limit 1.571269597851114E14
1726.56/1723.00	c cleaning 450 clauses out of 1917 for limit 2.4452487665543288E14
1726.66/1723.11	c cleaning 500 clauses out of 1967 for limit 3.930037446516815E14
1726.76/1723.20	c cleaning 490 clauses out of 1968 for limit 6.484348577800008E14
1726.86/1723.32	c cleaning 582 clauses out of 1980 for limit 1.0650038247850034E15
1726.96/1723.42	c cleaning 448 clauses out of 1895 for limit 1.8296140856671688E15
1727.06/1723.53	c cleaning 931 clauses out of 1947 for limit 2.9366936551145457E-5
1727.17/1723.63	c cleaning 676 clauses out of 1516 for limit 6.219869633974199E-5
1727.27/1723.72	c cleaning 472 clauses out of 1340 for limit 1.1604637322564218E-4
1727.36/1723.85	c cleaning 468 clauses out of 1368 for limit 1.8745894134934406E-4
1727.46/1723.96	c cleaning 433 clauses out of 1400 for limit 3.020787035885859E-4
1727.57/1724.05	c cleaning 233 clauses out of 1467 for limit 4.75416135662562E-4
1727.67/1724.17	c cleaning 376 clauses out of 1734 for limit 6.633012646799796E-4
1727.77/1724.26	c cleaning 431 clauses out of 1858 for limit 0.001020869187418001
1727.87/1724.36	c cleaning 456 clauses out of 1928 for limit 0.0016240491730996004
1727.97/1724.45	c cleaning 469 clauses out of 1971 for limit 0.0026172243681974973
1728.07/1724.55	c cleaning 495 clauses out of 2002 for limit 0.0042493195695171675
1728.17/1724.66	c cleaning 479 clauses out of 2010 for limit 0.007000786468893375
1728.28/1724.77	c cleaning 520 clauses out of 2028 for limit 0.011408466983539553
1728.38/1724.89	c cleaning 510 clauses out of 2008 for limit 0.019001479570528636
1728.47/1724.97	c cleaning 492 clauses out of 1999 for limit 0.03150857281633606
1728.57/1725.09	c cleaning 496 clauses out of 2009 for limit 0.051806768090527804
1728.67/1725.19	c cleaning 482 clauses out of 2010 for limit 0.08513786028854173
1728.87/1725.31	c cleaning 514 clauses out of 2028 for limit 0.1391575342808311
1728.97/1725.42	c cleaning 499 clauses out of 2014 for limit 0.23108464910987442
1729.07/1725.53	c cleaning 492 clauses out of 2017 for limit 0.3812848724817092
1729.17/1725.64	c cleaning 502 clauses out of 2023 for limit 0.625671616670479
1729.27/1725.75	c cleaning 495 clauses out of 2021 for limit 1.0328372914433968
1729.38/1725.87	c cleaning 511 clauses out of 2030 for limit 1.7025352786858923
1729.48/1725.99	c cleaning 509 clauses out of 2015 for limit 2.81731201338136
1729.67/1726.10	c cleaning 500 clauses out of 2006 for limit 4.666969428064861
1729.77/1726.21	c cleaning 468 clauses out of 2007 for limit 7.700322438679704
1729.87/1726.34	c cleaning 489 clauses out of 2038 for limit 12.493193857362831
1729.97/1726.44	c cleaning 498 clauses out of 2051 for limit 20.513365058284002
1730.07/1726.54	c cleaning 485 clauses out of 2051 for limit 33.76165847285483
1730.17/1726.67	c cleaning 517 clauses out of 2068 for limit 55.3303998655417
1730.27/1726.76	c cleaning 483 clauses out of 2050 for limit 91.95637812226583
1730.37/1726.87	c cleaning 523 clauses out of 2067 for limit 150.40114025978767
1730.48/1726.99	c cleaning 465 clauses out of 2043 for limit 250.69438918611743
1730.67/1727.11	c cleaning 531 clauses out of 2078 for limit 406.4651584621243
1730.77/1727.24	c cleaning 497 clauses out of 2047 for limit 680.4667549657862
1730.87/1727.34	c cleaning 513 clauses out of 2054 for limit 1122.840967087891
1730.97/1727.44	c cleaning 491 clauses out of 2038 for limit 1860.659312268821
1731.07/1727.55	c cleaning 462 clauses out of 2046 for limit 3053.4216907167083
1731.17/1727.68	c cleaning 515 clauses out of 2084 for limit 4943.682693789553
1800.08/1796.51	c starts		: 22
1800.08/1796.51	c conflicts		: 1495612
1800.08/1796.51	c decisions		: 6188833
1800.08/1796.51	c propagations		: 1178884790
1800.08/1796.51	c inspects		: 9152345241
1800.08/1796.51	c learnt literals	: 75
1800.08/1796.51	c learnt binary clauses	: 94960
1800.08/1796.51	c learnt ternary clauses	: 71585
1800.08/1796.51	c learnt clauses	: 1495539
1800.08/1796.51	c root simplifications	: 0
1800.08/1796.51	c removed literals (reason simplification)	: 0
1800.08/1796.51	c reason swapping (by a shorter reason)	: 0
1800.08/1796.51	c Calls to reduceDB	: 361
1800.08/1796.51	c speed (decisions/second)	: 3446.082307294822
1800.08/1796.51	c non guided choices	1440
1800.08/1796.51	s UNKNOWN
1800.08/1796.51	c Total wall clock time (ms): 1796.411

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742478-1338768945/watcher-3742478-1338768945 -o /tmp/evaluation-result-3742478-1338768945/solver-3742478-1338768945 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742478-1338768945.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.94 1.99 1.95 3/194 18238
/proc/meminfo: memFree=26386648/32873844 swapFree=7628/7628
[pid=18238] ppid=18236 vsize=23172 CPUtime=0 cores=0,2,4,6
/proc/18238/stat : 18238 (java) R 18236 18238 17886 0 -1 4202496 1138 0 0 0 0 0 0 0 20 0 1 0 343019385 23728128 858 33554432000 1073741824 1073778376 140734079860160 140734079849224 1073754112 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 6050 866 654 9 0 385 0
[pid=18238/tid=18239] ppid=18236 vsize=24200 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (java) R 18236 18238 17886 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 343019386 24780800 867 33554432000 1073741824 1073778376 140734079860160 140734079849224 223651698865 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.00955191 s]
/proc/loadavg: 1.94 1.99 1.95 3/194 18238
/proc/meminfo: memFree=26386648/32873844 swapFree=7628/7628
[pid=18238] ppid=18236 vsize=101528 CPUtime=0 cores=0,2,4,6
/proc/18238/stat : 18238 (java) S 18236 18238 17886 0 -1 4202496 1372 0 0 0 0 0 0 0 20 0 2 0 343019385 103964672 1054 33554432000 1073741824 1073778376 140734079860160 140734079851296 223655002173 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 25382 1054 807 9 0 16774 0
[pid=18238/tid=18239] ppid=18236 vsize=101528 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (java) S 18236 18238 17886 0 -1 4202560 225 0 0 0 0 0 0 0 20 0 2 0 343019386 103964672 1054 33554432000 1073741824 1073778376 140734079860160 140480727897744 223651660259 0 0 0 16784584 18446744071580425449 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528

[startup+0.100266 s]
/proc/loadavg: 1.94 1.99 1.95 3/194 18238
/proc/meminfo: memFree=26386648/32873844 swapFree=7628/7628
[pid=18238] ppid=18236 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/18238/stat : 18238 (java) S 18236 18238 17886 0 -1 4202496 4456 0 1 0 9 1 0 0 20 0 18 0 343019385 3028844544 6166 33554432000 1073741824 1073778376 140734079860160 140734079851296 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 739464 6166 2127 9 0 729885 0
[pid=18238/tid=18239] ppid=18236 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (java) R 18236 18238 17886 0 -1 4202560 2562 0 1 0 6 1 0 0 20 0 18 0 343019386 3028844544 6166 33554432000 1073741824 1073778376 140734079860160 140480727880360 140480725783395 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.30029 s]
/proc/loadavg: 1.94 1.99 1.95 3/194 18238
/proc/meminfo: memFree=26386648/32873844 swapFree=7628/7628
[pid=18238] ppid=18236 vsize=2957856 CPUtime=0.54 cores=0,2,4,6
/proc/18238/stat : 18238 (java) S 18236 18238 17886 0 -1 4202496 8168 0 1 0 52 2 0 0 20 0 18 0 343019385 3028844544 11400 33554432000 1073741824 1073778376 140734079860160 140734079851296 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 739464 11400 2239 9 0 729885 0
[pid=18238/tid=18239] ppid=18236 vsize=2957856 CPUtime=0.27 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (java) R 18236 18238 17886 0 -1 4202560 2586 0 1 0 26 1 0 0 20 0 18 0 343019386 3028844544 11400 33554432000 1073741824 1073778376 140734079860160 140480727896568 140480667665775 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2957856

[startup+0.700275 s]
/proc/loadavg: 1.94 1.99 1.95 3/194 18238
/proc/meminfo: memFree=26386648/32873844 swapFree=7628/7628
[pid=18238] ppid=18236 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/18238/stat : 18238 (java) S 18236 18238 17886 0 -1 4202496 9718 0 1 0 142 3 0 0 20 0 19 0 343019385 3097006080 30605 33554432000 1073741824 1073778376 140734079860160 140734079851296 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 756105 30605 2269 9 0 746526 0
[pid=18238/tid=18239] ppid=18236 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (java) R 18236 18238 17886 0 -1 4202560 2645 0 1 0 65 2 0 0 20 0 19 0 343019386 3097006080 30605 33554432000 1073741824 1073778376 140734079860160 140480727888328 140480668385239 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 3024420

[startup+1.50068 s]
/proc/loadavg: 1.94 1.99 1.95 3/213 18257
/proc/meminfo: memFree=26270072/32873844 swapFree=7628/7628
[pid=18238] ppid=18236 vsize=3024420 CPUtime=2.4 cores=0,2,4,6
/proc/18238/stat : 18238 (java) S 18236 18238 17886 0 -1 4202496 10492 0 1 0 237 3 0 0 20 0 19 0 343019385 3097006080 31159 33554432000 1073741824 1073778376 140734079860160 140734079851296 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 756105 31159 2273 9 0 746526 0
[pid=18238/tid=18239] ppid=18236 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (java) R 18236 18238 17886 0 -1 4202560 2646 0 1 0 145 2 0 0 20 0 19 0 343019386 3097006080 31159 33554432000 1073741824 1073778376 140734079860160 140480727896552 140480668387041 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 31159 33554432000 1073741824 1073778376 140734079860160 140480593430824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18242] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 31159 33554432000 1073741824 1073778376 140734079860160 140480592378024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18243] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 31159 33554432000 1073741824 1073778376 140734079860160 140480591325736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18244] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 31159 33554432000 1073741824 1073778376 140734079860160 140480590272936 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18245] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 31159 33554432000 1073741824 1073778376 140734079860160 140480589220648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18246] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 31159 33554432000 1073741824 1073778376 140734079860160 140480588167848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18247] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18247/stat : 18247 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 31159 33554432000 1073741824 1073778376 140734079860160 140480587115560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18248] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18248/stat : 18248 (java) S 18236 18238 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 31159 33554432000 1073741824 1073778376 140734079860160 140480586062760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18249] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18249/stat : 18249 (java) S 18236 18238 17886 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343019388 3097006080 31159 33554432000 1073741824 1073778376 140734079860160 140480573864168 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18250] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18250/stat : 18250 (java) S 18236 18238 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343019388 3097006080 31159 33554432000 1073741824 1073778376 140734079860160 140480572810232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18251] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18251/stat : 18251 (java) S 18236 18238 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343019388 3097006080 31159 33554432000 1073741824 1073778376 140734079860160 140480571757832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18252] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18252/stat : 18252 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019391 3097006080 31159 33554432000 1073741824 1073778376 140734079860160 140480570706320 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18253] ppid=18236 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/18238/task/18253/stat : 18253 (java) S 18236 18238 17886 0 -1 4202560 2957 0 0 0 41 0 0 0 20 0 19 0 343019391 3097006080 31159 33554432000 1073741824 1073778376 140734079860160 140480569653944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18254] ppid=18236 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/18238/task/18254/stat : 18254 (java) S 18236 18238 17886 0 -1 4202560 3689 0 0 0 48 0 0 0 20 0 19 0 343019391 3097006080 31159 33554432000 1073741824 1073778376 140734079860160 140480568601144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18255] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18255/stat : 18255 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019391 3097006080 31159 33554432000 1073741824 1073778376 140734079860160 140480567549048 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18256] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18256/stat : 18256 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019391 3097006080 31159 33554432000 1073741824 1073778376 140734079860160 140480566496456 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18257] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18257/stat : 18257 (java) S 18236 18238 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343019446 3097006080 31159 33554432000 1073741824 1073778376 140734079860160 140480564364200 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 3024420

[startup+3.10067 s]
/proc/loadavg: 1.95 1.99 1.95 3/213 18257
/proc/meminfo: memFree=26264984/32873844 swapFree=7628/7628
[pid=18238] ppid=18236 vsize=3024420 CPUtime=4.02 cores=0,2,4,6
/proc/18238/stat : 18238 (java) S 18236 18238 17886 0 -1 4202496 10495 0 1 0 398 4 0 0 20 0 19 0 343019385 3097006080 31672 33554432000 1073741824 1073778376 140734079860160 140734079851296 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 756105 31672 2273 9 0 746526 0
[pid=18238/tid=18239] ppid=18236 vsize=3024420 CPUtime=3.08 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (java) R 18236 18238 17886 0 -1 4202560 2648 0 1 0 305 3 0 0 20 0 19 0 343019386 3097006080 31672 33554432000 1073741824 1073778376 140734079860160 140480727896392 140480668329572 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 31672 33554432000 1073741824 1073778376 140734079860160 140480593430824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18242] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 31672 33554432000 1073741824 1073778376 140734079860160 140480592378024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18243] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 31672 33554432000 1073741824 1073778376 140734079860160 140480591325736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18244] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 31672 33554432000 1073741824 1073778376 140734079860160 140480590272936 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18245] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 31672 33554432000 1073741824 1073778376 140734079860160 140480589220648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18246] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 31672 33554432000 1073741824 1073778376 140734079860160 140480588167848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18247] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18247/stat : 18247 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 31672 33554432000 1073741824 1073778376 140734079860160 140480587115560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18248] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18248/stat : 18248 (java) S 18236 18238 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 31672 33554432000 1073741824 1073778376 140734079860160 140480586062760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18249] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18249/stat : 18249 (java) S 18236 18238 17886 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343019388 3097006080 31672 33554432000 1073741824 1073778376 140734079860160 140480573864168 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18250] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18250/stat : 18250 (java) S 18236 18238 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343019388 3097006080 31672 33554432000 1073741824 1073778376 140734079860160 140480572810232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18251] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18251/stat : 18251 (java) S 18236 18238 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343019388 3097006080 31672 33554432000 1073741824 1073778376 140734079860160 140480571757832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18252] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18252/stat : 18252 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019391 3097006080 31672 33554432000 1073741824 1073778376 140734079860160 140480570706320 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18253] ppid=18236 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/18238/task/18253/stat : 18253 (java) S 18236 18238 17886 0 -1 4202560 2957 0 0 0 42 0 0 0 20 0 19 0 343019391 3097006080 31672 33554432000 1073741824 1073778376 140734079860160 140480569653944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18254] ppid=18236 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/18238/task/18254/stat : 18254 (java) S 18236 18238 17886 0 -1 4202560 3689 0 0 0 48 0 0 0 20 0 19 0 343019391 3097006080 31672 33554432000 1073741824 1073778376 140734079860160 140480568601144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18255] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18255/stat : 18255 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019391 3097006080 31672 33554432000 1073741824 1073778376 140734079860160 140480567549048 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18256] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18256/stat : 18256 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019391 3097006080 31672 33554432000 1073741824 1073778376 140734079860160 140480566496456 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18257] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18257/stat : 18257 (java) S 18236 18238 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343019446 3097006080 31672 33554432000 1073741824 1073778376 140734079860160 140480564364200 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 3024420

[startup+6.30066 s]
/proc/loadavg: 1.95 1.99 1.95 3/213 18257
/proc/meminfo: memFree=26252324/32873844 swapFree=7628/7628
[pid=18238] ppid=18236 vsize=3024420 CPUtime=7.27 cores=0,2,4,6
/proc/18238/stat : 18238 (java) S 18236 18238 17886 0 -1 4202496 10507 0 1 0 723 4 0 0 20 0 19 0 343019385 3097006080 33718 33554432000 1073741824 1073778376 140734079860160 140734079851296 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 756105 33718 2273 9 0 746526 0
[pid=18238/tid=18239] ppid=18236 vsize=3024420 CPUtime=6.28 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (java) R 18236 18238 17886 0 -1 4202560 2654 0 1 0 625 3 0 0 20 0 19 0 343019386 3097006080 33718 33554432000 1073741824 1073778376 140734079860160 140480727896544 140480668443594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 33718 33554432000 1073741824 1073778376 140734079860160 140480593430824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18242] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 33718 33554432000 1073741824 1073778376 140734079860160 140480592378024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18243] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 33718 33554432000 1073741824 1073778376 140734079860160 140480591325736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18244] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 33718 33554432000 1073741824 1073778376 140734079860160 140480590272936 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18245] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 33718 33554432000 1073741824 1073778376 140734079860160 140480589220648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18246] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 33718 33554432000 1073741824 1073778376 140734079860160 140480588167848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18247] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18247/stat : 18247 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 33718 33554432000 1073741824 1073778376 140734079860160 140480587115560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18248] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18248/stat : 18248 (java) S 18236 18238 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343019386 3097006080 33718 33554432000 1073741824 1073778376 140734079860160 140480586062760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18249] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18249/stat : 18249 (java) S 18236 18238 17886 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343019388 3097006080 33718 33554432000 1073741824 1073778376 140734079860160 140480573864168 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18250] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18250/stat : 18250 (java) S 18236 18238 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343019388 3097006080 33718 33554432000 1073741824 1073778376 140734079860160 140480572810232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18251] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18251/stat : 18251 (java) S 18236 18238 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343019388 3097006080 33718 33554432000 1073741824 1073778376 140734079860160 140480571757832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18252] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18252/stat : 18252 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019391 3097006080 33718 33554432000 1073741824 1073778376 140734079860160 140480570706320 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18253] ppid=18236 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/18238/task/18253/stat : 18253 (java) S 18236 18238 17886 0 -1 4202560 2961 0 0 0 45 0 0 0 20 0 19 0 343019391 3097006080 33718 33554432000 1073741824 1073778376 140734079860160 140480569653944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18254] ppid=18236 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/18238/task/18254/stat : 18254 (java) S 18236 18238 17886 0 -1 4202560 3691 0 0 0 50 0 0 0 20 0 19 0 343019391 3097006080 33718 33554432000 1073741824 1073778376 140734079860160 140480568601144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

[pid=18238/tid=18246] ppid=18236 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17886 0 -1 4202560 174 0 0 0 18 10 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480588167848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18247] ppid=18236 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/18238/task/18247/stat : 18247 (java) S 18236 18238 17886 0 -1 4202560 287 0 0 0 34 18 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480587115560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18248] ppid=18236 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/18238/task/18248/stat : 18248 (java) S 18236 18238 17886 0 -1 4202560 148 0 0 0 26 9 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480586062760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18249] ppid=18236 vsize=3024420 CPUtime=1.84 cores=0,2,4,6
/proc/18238/task/18249/stat : 18249 (java) S 18236 18238 17886 0 -1 4202560 246 0 0 0 176 8 0 0 20 0 19 0 343019388 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480573864168 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18250] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18250/stat : 18250 (java) S 18236 18238 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343019388 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480572810232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18251] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18251/stat : 18251 (java) S 18236 18238 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343019388 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480571757832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18252] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18252/stat : 18252 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480570706320 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18253] ppid=18236 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/18238/task/18253/stat : 18253 (java) S 18236 18238 17886 0 -1 4202560 2995 0 0 0 51 0 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480569653944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18254] ppid=18236 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/18238/task/18254/stat : 18254 (java) S 18236 18238 17886 0 -1 4202560 3694 0 0 0 55 0 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480568601144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18255] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18255/stat : 18255 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480567549048 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18256] ppid=18236 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/18238/task/18256/stat : 18256 (java) S 18236 18238 17886 0 -1 4202560 99 0 0 0 51 22 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480566496456 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18257] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18257/stat : 18257 (java) S 18236 18238 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343019446 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480564364200 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1725.86
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 18272
/proc/meminfo: memFree=23180496/32873844 swapFree=7628/7628
[pid=18238] ppid=18236 vsize=3024420 CPUtime=1785.87 cores=0,2,4,6
/proc/18238/stat : 18238 (java) S 18236 18238 17886 0 -1 4202496 12801 0 1 0 178451 136 0 0 20 0 19 0 343019385 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140734079851296 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 756105 417858 2302 9 0 746526 0
[pid=18238/tid=18239] ppid=18236 vsize=3024420 CPUtime=1779.39 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (java) R 18236 18238 17886 0 -1 4202560 2817 0 1 0 177903 36 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480727895344 140480668386712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18241] ppid=18236 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17886 0 -1 4202560 272 0 0 0 25 16 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480593430824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18242] ppid=18236 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17886 0 -1 4202560 152 0 0 0 21 9 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480592378024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18243] ppid=18236 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17886 0 -1 4202560 211 0 0 0 30 12 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480591325736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18244] ppid=18236 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17886 0 -1 4202560 301 0 0 0 23 19 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480590272936 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18245] ppid=18236 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17886 0 -1 4202560 213 0 0 0 26 12 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480589220648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18246] ppid=18236 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17886 0 -1 4202560 174 0 0 0 18 10 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480588167848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18247] ppid=18236 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/18238/task/18247/stat : 18247 (java) S 18236 18238 17886 0 -1 4202560 287 0 0 0 34 18 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480587115560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18248] ppid=18236 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/18238/task/18248/stat : 18248 (java) S 18236 18238 17886 0 -1 4202560 148 0 0 0 26 9 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480586062760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18249] ppid=18236 vsize=3024420 CPUtime=2.01 cores=0,2,4,6
/proc/18238/task/18249/stat : 18249 (java) S 18236 18238 17886 0 -1 4202560 248 0 0 0 192 9 0 0 20 0 19 0 343019388 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480573864168 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18250] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18250/stat : 18250 (java) S 18236 18238 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343019388 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480572810232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18251] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18251/stat : 18251 (java) S 18236 18238 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343019388 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480571757832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18252] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18252/stat : 18252 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480570706320 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18253] ppid=18236 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/18238/task/18253/stat : 18253 (java) S 18236 18238 17886 0 -1 4202560 2995 0 0 0 51 0 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480569653944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18254] ppid=18236 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/18238/task/18254/stat : 18254 (java) S 18236 18238 17886 0 -1 4202560 3694 0 0 0 55 0 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480568601144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18255] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18255/stat : 18255 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480567549048 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18256] ppid=18236 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/18238/task/18256/stat : 18256 (java) S 18236 18238 17886 0 -1 4202560 103 0 0 0 52 22 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480566496456 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18257] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18257/stat : 18257 (java) S 18236 18238 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343019446 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480564364200 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1785.87
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/192 18303
/proc/meminfo: memFree=24856596/32873844 swapFree=7628/7628
[pid=18238] ppid=18236 vsize=3024420 CPUtime=1800.08 cores=0,2,4,6
/proc/18238/stat : 18238 (java) S 18236 18238 17886 0 -1 4202496 12801 0 1 0 179872 136 0 0 20 0 19 0 343019385 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140734079851296 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 756105 417858 2302 9 0 746526 0
[pid=18238/tid=18239] ppid=18236 vsize=3024420 CPUtime=1793.6 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (java) R 18236 18238 17886 0 -1 4202560 2817 0 1 0 179324 36 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480727895344 140480668357211 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18241] ppid=18236 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17886 0 -1 4202560 272 0 0 0 25 16 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480593430824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18242] ppid=18236 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17886 0 -1 4202560 152 0 0 0 21 9 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480592378024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18243] ppid=18236 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17886 0 -1 4202560 211 0 0 0 30 12 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480591325736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18244] ppid=18236 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17886 0 -1 4202560 301 0 0 0 23 19 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480590272936 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18245] ppid=18236 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17886 0 -1 4202560 213 0 0 0 26 12 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480589220648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18246] ppid=18236 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17886 0 -1 4202560 174 0 0 0 18 10 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480588167848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18247] ppid=18236 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/18238/task/18247/stat : 18247 (java) S 18236 18238 17886 0 -1 4202560 287 0 0 0 34 18 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480587115560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18248] ppid=18236 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/18238/task/18248/stat : 18248 (java) S 18236 18238 17886 0 -1 4202560 148 0 0 0 26 9 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480586062760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18249] ppid=18236 vsize=3024420 CPUtime=2.01 cores=0,2,4,6
/proc/18238/task/18249/stat : 18249 (java) S 18236 18238 17886 0 -1 4202560 248 0 0 0 192 9 0 0 20 0 19 0 343019388 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480573864168 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18250] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18250/stat : 18250 (java) S 18236 18238 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343019388 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480572810232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18251] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18251/stat : 18251 (java) S 18236 18238 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343019388 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480571757832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18252] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18252/stat : 18252 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480570706320 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18253] ppid=18236 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/18238/task/18253/stat : 18253 (java) S 18236 18238 17886 0 -1 4202560 2995 0 0 0 51 0 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480569653944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18254] ppid=18236 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/18238/task/18254/stat : 18254 (java) S 18236 18238 17886 0 -1 4202560 3694 0 0 0 55 0 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480568601144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18255] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18255/stat : 18255 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480567549048 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18256] ppid=18236 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/18238/task/18256/stat : 18256 (java) S 18236 18238 17886 0 -1 4202560 103 0 0 0 52 23 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480566496456 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18257] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18257/stat : 18257 (java) S 18236 18238 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343019446 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480564364200 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3024420

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1796.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/192 18303
/proc/meminfo: memFree=24856596/32873844 swapFree=7628/7628
[pid=18238] ppid=18236 vsize=3024420 CPUtime=1800.08 cores=0,2,4,6
/proc/18238/stat : 18238 (java) S 18236 18238 17886 0 -1 4202496 12801 0 1 0 179872 136 0 0 20 0 19 0 343019385 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140734079851296 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 756105 417858 2302 9 0 746526 0
[pid=18238/tid=18239] ppid=18236 vsize=3024420 CPUtime=1793.6 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (java) R 18236 18238 17886 0 -1 4202560 2817 0 1 0 179324 36 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480727895344 140480668357211 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18241] ppid=18236 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (java) S 18236 18238 17886 0 -1 4202560 272 0 0 0 25 16 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480593430824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18242] ppid=18236 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/18238/task/18242/stat : 18242 (java) S 18236 18238 17886 0 -1 4202560 152 0 0 0 21 9 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480592378024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18243] ppid=18236 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/18238/task/18243/stat : 18243 (java) S 18236 18238 17886 0 -1 4202560 211 0 0 0 30 12 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480591325736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18244] ppid=18236 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/18238/task/18244/stat : 18244 (java) S 18236 18238 17886 0 -1 4202560 301 0 0 0 23 19 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480590272936 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18245] ppid=18236 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/18238/task/18245/stat : 18245 (java) S 18236 18238 17886 0 -1 4202560 213 0 0 0 26 12 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480589220648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18246] ppid=18236 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/18238/task/18246/stat : 18246 (java) S 18236 18238 17886 0 -1 4202560 174 0 0 0 18 10 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480588167848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18247] ppid=18236 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/18238/task/18247/stat : 18247 (java) S 18236 18238 17886 0 -1 4202560 287 0 0 0 34 18 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480587115560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18248] ppid=18236 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/18238/task/18248/stat : 18248 (java) S 18236 18238 17886 0 -1 4202560 148 0 0 0 26 9 0 0 20 0 19 0 343019386 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480586062760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18249] ppid=18236 vsize=3024420 CPUtime=2.01 cores=0,2,4,6
/proc/18238/task/18249/stat : 18249 (java) S 18236 18238 17886 0 -1 4202560 248 0 0 0 192 9 0 0 20 0 19 0 343019388 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480573864168 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18250] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18250/stat : 18250 (java) S 18236 18238 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343019388 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480572810232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18251] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18251/stat : 18251 (java) S 18236 18238 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343019388 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480571757832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18252] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18252/stat : 18252 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480570706320 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18238/tid=18253] ppid=18236 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/18238/task/18253/stat : 18253 (java) S 18236 18238 17886 0 -1 4202560 2995 0 0 0 51 0 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480569653944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18238/tid=18254] ppid=18236 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/18238/task/18254/stat : 18254 (java) S 18236 18238 17886 0 -1 4202560 3694 0 0 0 55 0 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480568601144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18255] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18255/stat : 18255 (java) S 18236 18238 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480567549048 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18256] ppid=18236 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/18238/task/18256/stat : 18256 (java) S 18236 18238 17886 0 -1 4202560 103 0 0 0 52 23 0 0 20 0 19 0 343019391 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480566496456 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18257] ppid=18236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18257/stat : 18257 (java) S 18236 18238 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343019446 3097006080 417858 33554432000 1073741824 1073778376 140734079860160 140480564364200 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3024420

Child status: 143
Real time (s): 1796.52
CPU time (s): 1800.77
CPU user time (s): 1798.91
CPU system time (s): 1.86472
CPU usage (%): 100.236
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.86472
maximum resident set size= 1671548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12833
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38094
involuntary context switches= 9708

runsolver used 5.71013 second user time and 15.7336 second system time

The end

Launcher Data 

Begin job on node144 at 2012-06-04 02:15:45
IDJOB=3742478
IDBENCH=90190
IDSOLVER=2319
FILE ID=node144/3742478-1338768945
RUNJOBID= node144-1338765348-17902
PBS_JOBID= 14636814
Free space on /tmp= 70832 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K138.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742478-1338768945/watcher-3742478-1338768945 -o /tmp/evaluation-result-3742478-1338768945/solver-3742478-1338768945 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742478-1338768945.opb           

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

MD5SUM BENCH= b6be79d7c894904bfb5f7c9acfb80f53
RANDOM SEED=430542066

node144.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.39
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
cpu MHz		: 2666.196
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2666.196
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
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
cpu MHz		: 2666.196
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2666.196
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
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
cpu MHz		: 2666.196
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
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
cpu MHz		: 2666.196
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2666.196
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26387184 kB
Buffers:         1721720 kB
Cached:          3723356 kB
SwapCached:          464 kB
Active:          3678348 kB
Inactive:        1924712 kB
Active(anon):     138520 kB
Inactive(anon):    11188 kB
Active(file):    3539828 kB
Inactive(file):  1913524 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108384 kB
Dirty:              9776 kB
Writeback:             0 kB
AnonPages:        131844 kB
Mapped:            22352 kB
Shmem:               172 kB
Slab:             743064 kB
SReclaimable:     184164 kB
SUnreclaim:       558900 kB
KernelStack:        1592 kB
PageTables:         4336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1824040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     96256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70828 MiB
End job on node144 at 2012-06-04 02:45:44