Trace number 3732275

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 NameAnswerobjective functionCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (exit code) 820 815.124

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-max1024.pi.opb
MD5SUM93fc03471d2b2f18ece1d77179dbcb30
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark259
Best CPU time to get the best result obtained on this benchmark1.65675
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 259
Optimality of the best value was proved YES
Number of variables1278
Total number of constraints1087
Number of constraints which are clauses1087
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint18
Number of terms in the objective function 1278
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1278
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1278
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.06/0.10	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.06/0.10	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.06/0.10	c no version file found!!!
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version	1.6.0_24
0.06/0.10	c os.name	Linux
0.06/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.06/0.10	c os.arch	amd64
0.06/0.10	c Free memory 1599470296
0.06/0.10	c Max memory 1607860224
0.06/0.10	c Total memory 1607860224
0.06/0.10	c Number of processors 8
0.06/0.13	--- Begin Solver configuration ---
0.06/0.13	c Stops conflict analysis at the first Unique Implication Point
0.06/0.13	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap
0.06/0.13	c No reason simplification
0.06/0.13	c --- End Solver configuration ---
0.06/0.13	c solving HOME/instance-3732275-1338689403.opb
0.06/0.13	c reading problem ... 
0.43/0.30	c ... done. Wall clock time 0.176s.
0.43/0.30	c CPU time (experimental) 0.26s.
0.43/0.30	c #vars     1278
0.43/0.30	c #constraints  1071
0.43/0.33	c SATISFIABLE
0.43/0.33	c OPTIMIZING...
0.43/0.33	c Got one! Elapsed wall clock time (in seconds):0.206
0.43/0.33	o 301
156.94/154.80	c cleaning 551240 clauses out of 1102500 for limit 1.0159030317966137E13
166.35/164.20	c cleaning 275874 clauses out of 551760 for limit 3.347622888522034E13
167.86/165.75	c cleaning 138185 clauses out of 276387 for limit 1.1032134003222738E-6
168.56/166.47	c cleaning 69338 clauses out of 138701 for limit 3.6217537905945706E-6
168.96/166.86	c cleaning 34925 clauses out of 69863 for limit 1.1857883296271251E-5
169.16/167.01	c cleaning 17716 clauses out of 35438 for limit 3.855148269995573E-5
169.16/167.08	c cleaning 9105 clauses out of 18223 for limit 1.2376014604915098E-4
169.26/167.13	c cleaning 4801 clauses out of 9618 for limit 3.8669789024438366E-4
169.26/167.17	c cleaning 2650 clauses out of 5316 for limit 0.001152638119722185
169.36/167.22	c cleaning 1575 clauses out of 3167 for limit 0.003193892437191504
169.36/167.26	c cleaning 1037 clauses out of 2092 for limit 0.007973748917772673
169.46/167.30	c cleaning 773 clauses out of 1554 for limit 0.017684573777328856
169.46/167.33	c cleaning 633 clauses out of 1281 for limit 0.03537955522867105
169.46/167.37	c cleaning 567 clauses out of 1148 for limit 0.06510517305040858
169.56/167.41	c cleaning 532 clauses out of 1081 for limit 0.11402171756758288
169.56/167.45	c cleaning 518 clauses out of 1049 for limit 0.19377318222398388
169.56/167.48	c cleaning 510 clauses out of 1032 for limit 0.3251470822565688
169.66/167.52	c cleaning 502 clauses out of 1021 for limit 0.5414460523052097
169.66/167.56	c cleaning 501 clauses out of 1019 for limit 0.8946695093759176
169.76/167.60	c cleaning 498 clauses out of 1019 for limit 1.4769066143208907
169.76/167.64	c cleaning 502 clauses out of 1021 for limit 2.4308455427464373
169.76/167.68	c cleaning 496 clauses out of 1018 for limit 4.016582610964701
169.86/167.72	c cleaning 502 clauses out of 1023 for limit 6.598105369559693
169.86/167.76	c cleaning 502 clauses out of 1021 for limit 10.902473141146839
169.96/167.80	c cleaning 498 clauses out of 1019 for limit 18.01492550300391
169.96/167.84	c cleaning 501 clauses out of 1020 for limit 29.650215760113014
169.96/167.88	c cleaning 500 clauses out of 1019 for limit 48.945157772122755
170.06/167.92	c cleaning 501 clauses out of 1019 for limit 80.71711293229298
170.06/167.96	c cleaning 501 clauses out of 1019 for limit 133.24656393146415
170.16/168.00	c cleaning 502 clauses out of 1018 for limit 219.95726533070416
170.16/168.04	c cleaning 496 clauses out of 1015 for limit 363.44727964110035
170.16/168.07	c cleaning 500 clauses out of 1019 for limit 597.0203954994197
170.26/168.11	c cleaning 502 clauses out of 1020 for limit 984.5858246882003
170.26/168.15	c cleaning 503 clauses out of 1018 for limit 1626.9037477945992
170.26/168.19	c cleaning 499 clauses out of 1014 for limit 2690.8721128462635
170.36/168.23	c cleaning 501 clauses out of 1015 for limit 4433.236064837119
170.36/168.27	c cleaning 497 clauses out of 1014 for limit 7318.209397146114
170.46/168.31	c cleaning 499 clauses out of 1017 for limit 12033.105404867154
170.46/168.35	c cleaning 501 clauses out of 1018 for limit 19824.70725186892
170.46/168.38	c cleaning 503 clauses out of 1017 for limit 32725.741453986175
170.56/168.42	c cleaning 498 clauses out of 1014 for limit 54128.7975983064
170.56/168.46	c cleaning 500 clauses out of 1017 for limit 89091.39942208468
170.66/168.50	c cleaning 499 clauses out of 1016 for limit 146921.17771327618
170.66/168.54	c cleaning 501 clauses out of 1018 for limit 242058.71848441006
170.66/168.58	c cleaning 500 clauses out of 1017 for limit 399579.7232797603
170.76/168.62	c cleaning 498 clauses out of 1017 for limit 658960.4185073598
170.76/168.66	c cleaning 501 clauses out of 1018 for limit 1084560.738976926
170.86/168.70	c cleaning 499 clauses out of 1017 for limit 1790344.436564483
170.86/168.74	c cleaning 497 clauses out of 1019 for limit 2949672.2248398457
170.86/168.77	c cleaning 506 clauses out of 1022 for limit 4850125.026154245
170.96/168.81	c cleaning 502 clauses out of 1016 for limit 8045740.272031099
170.96/168.85	c cleaning 506 clauses out of 1013 for limit 1.3294488927098155E7
170.96/168.89	c cleaning 502 clauses out of 1007 for limit 2.205502266672176E7
171.06/168.93	c cleaning 502 clauses out of 1005 for limit 3.644406430396968E7
171.06/168.96	c cleaning 494 clauses out of 1004 for limit 6.022122034796645E7
171.16/169.00	c cleaning 505 clauses out of 1010 for limit 9.872287128608009E7
171.16/169.04	c cleaning 502 clauses out of 1004 for limit 1.6361639301086736E8
171.16/169.08	c cleaning 497 clauses out of 1004 for limit 2.703657814815629E8
171.26/169.11	c cleaning 502 clauses out of 1005 for limit 4.44535285505907E8
171.26/169.15	c cleaning 501 clauses out of 1003 for limit 7.345599655424976E8
171.26/169.19	c cleaning 501 clauses out of 1002 for limit 1.2125966205651217E9
171.36/169.22	c cleaning 497 clauses out of 1001 for limit 2.0017317818948567E9
171.36/169.26	c cleaning 490 clauses out of 1004 for limit 3.2912595804051156E9
171.36/169.30	c cleaning 498 clauses out of 1014 for limit 5.374199461831508E9
171.46/169.33	c cleaning 497 clauses out of 1017 for limit 8.84547545986805E9
171.46/169.37	c cleaning 510 clauses out of 1020 for limit 1.4544468323506348E10
171.57/169.41	c cleaning 504 clauses out of 1009 for limit 2.4223016828490524E10
171.57/169.45	c cleaning 503 clauses out of 1006 for limit 4.0106227703472824E10
171.57/169.49	c cleaning 501 clauses out of 1003 for limit 6.6338362918214066E10
171.68/169.53	c cleaning 491 clauses out of 1002 for limit 1.095100175096529E11
171.68/169.56	c cleaning 494 clauses out of 1010 for limit 1.7898703399701492E11
171.78/169.60	c cleaning 498 clauses out of 1017 for limit 2.934353223954373E11
171.78/169.64	c cleaning 501 clauses out of 1018 for limit 4.8295530529740576E11
171.78/169.68	c cleaning 509 clauses out of 1018 for limit 7.972551622024731E11
171.88/169.71	c cleaning 502 clauses out of 1009 for limit 1.326507893827367E12
171.88/169.75	c cleaning 503 clauses out of 1007 for limit 2.1919337385683027E12
171.88/169.79	c cleaning 492 clauses out of 1004 for limit 3.625593137763342E12
171.98/169.83	c cleaning 497 clauses out of 1011 for limit 5.931752181319393E12
171.98/169.86	c cleaning 507 clauses out of 1015 for limit 9.753455587917215E12
172.08/169.90	c cleaning 503 clauses out of 1007 for limit 1.619632406151179E13
172.08/169.94	c cleaning 493 clauses out of 1004 for limit 2.678971555625731E13
172.08/169.97	c cleaning 494 clauses out of 1011 for limit 4.3873930875927445E13
172.18/170.01	c cleaning 509 clauses out of 1018 for limit 7.19283872859821E13
172.18/170.05	c cleaning 493 clauses out of 1009 for limit 1.1967758635960472E14
172.18/170.09	c cleaning 508 clauses out of 1016 for limit 1.960045563374512E14
172.28/170.13	c cleaning 504 clauses out of 1008 for limit 3.258031132655009E14
172.28/170.16	c cleaning 499 clauses out of 1003 for limit 5.39431376894049E14
172.38/170.20	c cleaning 494 clauses out of 1004 for limit 8.887084540337021E14
172.38/170.25	c cleaning 505 clauses out of 1011 for limit 1.4569084678263872E15
172.38/170.29	c cleaning 502 clauses out of 1005 for limit 2.4145640853917685E15
172.48/170.32	c cleaning 497 clauses out of 1003 for limit 3.989879249623611E15
172.48/170.36	c cleaning 503 clauses out of 1006 for limit 6.560222836027278E15
172.48/170.40	c cleaning 502 clauses out of 1004 for limit 1.0851087320312356E16
172.59/170.43	c cleaning 488 clauses out of 1001 for limit 1.793057715082778E16
172.59/170.48	c cleaning 507 clauses out of 1014 for limit 2.9220038926345488E16
172.69/170.51	c cleaning 503 clauses out of 1006 for limit 4.8522385028991648E16
172.69/170.55	c cleaning 494 clauses out of 1003 for limit 8.025924580864636E-4
172.69/170.59	c cleaning 497 clauses out of 1009 for limit 0.0013157116742116583
172.78/170.63	c cleaning 498 clauses out of 1013 for limit 0.0021633801863122823
172.78/170.67	c cleaning 497 clauses out of 1014 for limit 0.003560620709051004
172.88/170.70	c cleaning 501 clauses out of 1018 for limit 0.005854722147362724
172.88/170.74	c cleaning 501 clauses out of 1017 for limit 0.009664713876743718
172.88/170.78	c cleaning 499 clauses out of 1015 for limit 0.015953842019525516
172.98/170.82	c cleaning 500 clauses out of 1017 for limit 0.026284563869035625
172.98/170.86	c cleaning 496 clauses out of 1016 for limit 0.04334603681577443
172.98/170.89	c cleaning 500 clauses out of 1020 for limit 0.07120308632675117
173.08/170.93	c cleaning 501 clauses out of 1020 for limit 0.11742341473128542
173.08/170.97	c cleaning 504 clauses out of 1019 for limit 0.1938369557463979
173.18/171.01	c cleaning 500 clauses out of 1015 for limit 0.3209228270149277
173.18/171.04	c cleaning 499 clauses out of 1015 for limit 0.5292446740353248
173.18/171.08	c cleaning 496 clauses out of 1016 for limit 0.87193621810887
173.28/171.12	c cleaning 502 clauses out of 1021 for limit 1.4323299800379683
173.28/171.16	c cleaning 504 clauses out of 1019 for limit 2.3667398719579764
173.28/171.19	c cleaning 498 clauses out of 1015 for limit 3.9184522249277802
173.38/171.23	c cleaning 501 clauses out of 1016 for limit 6.449235941110586
173.38/171.27	c cleaning 497 clauses out of 1015 for limit 10.646131305934938
173.48/171.31	c cleaning 500 clauses out of 1019 for limit 17.50548208514148
173.48/171.34	c cleaning 499 clauses out of 1018 for limit 28.86834298972334
173.48/171.38	c cleaning 503 clauses out of 1021 for limit 47.56295218999588
173.58/171.42	c cleaning 499 clauses out of 1016 for limit 78.66611463706234
173.58/171.46	c cleaning 496 clauses out of 1017 for limit 129.6033844148195
173.58/171.50	c cleaning 498 clauses out of 1021 for limit 212.89596998279595
173.69/171.54	c cleaning 504 clauses out of 1024 for limit 350.41575545708633
173.69/171.58	c cleaning 497 clauses out of 1019 for limit 580.1372776221828
173.79/171.61	c cleaning 502 clauses out of 1023 for limit 953.9370610090313
173.79/171.65	c cleaning 498 clauses out of 1020 for limit 1576.219002307033
173.79/171.69	c cleaning 501 clauses out of 1023 for limit 2594.367502949814
173.88/171.72	c cleaning 501 clauses out of 1021 for limit 4282.5531595050925
173.88/171.76	c cleaning 500 clauses out of 1020 for limit 7069.427092353209
173.98/171.80	c cleaning 501 clauses out of 1021 for limit 11658.67103778957
173.98/171.83	c cleaning 501 clauses out of 1020 for limit 19245.557924354634
173.98/171.87	c cleaning 493 clauses out of 1018 for limit 31769.053403872254
174.08/171.91	c cleaning 502 clauses out of 1026 for limit 52034.94390475347
174.08/171.95	c cleaning 502 clauses out of 1024 for limit 85980.18631155655
174.08/171.99	c cleaning 502 clauses out of 1022 for limit 142070.3105265457
174.18/172.03	c cleaning 501 clauses out of 1019 for limit 234747.7383170826
174.18/172.06	c cleaning 499 clauses out of 1019 for limit 387517.9424178789
174.28/172.10	c cleaning 503 clauses out of 1020 for limit 638442.3901049721
174.28/172.14	c cleaning 497 clauses out of 1016 for limit 1055965.0731700629
174.28/172.18	c cleaning 499 clauses out of 1019 for limit 1736300.7977034387
174.38/172.21	c cleaning 499 clauses out of 1021 for limit 2860643.941841987
174.38/172.25	c cleaning 510 clauses out of 1021 for limit 4712866.965647178
174.38/172.29	c cleaning 505 clauses out of 1011 for limit 7849023.949125521
174.48/172.33	c cleaning 498 clauses out of 1006 for limit 1.3008424961649539E7
174.48/172.37	c cleaning 492 clauses out of 1009 for limit 2.1410259412736554E7
174.58/172.40	c cleaning 499 clauses out of 1017 for limit 3.503063660051889E7
174.58/172.44	c cleaning 498 clauses out of 1018 for limit 5.771345734003065E7
174.58/172.48	c cleaning 498 clauses out of 1020 for limit 9.499058993774267E7
174.68/172.51	c cleaning 511 clauses out of 1022 for limit 1.563456303615786E8
174.68/172.55	c cleaning 505 clauses out of 1010 for limit 2.6063734624136552E8
174.68/172.59	c cleaning 501 clauses out of 1005 for limit 4.3196428846399194E8
174.79/172.63	c cleaning 490 clauses out of 1005 for limit 7.130799788045841E8
174.79/172.67	c cleaning 501 clauses out of 1014 for limit 1.1643611996814458E9
174.79/172.70	c cleaning 500 clauses out of 1013 for limit 1.9220829290241394E9
174.89/172.74	c cleaning 507 clauses out of 1014 for limit 3.169815689531519E9
174.89/172.78	c cleaning 503 clauses out of 1007 for limit 5.263787908746145E9
174.98/172.81	c cleaning 500 clauses out of 1003 for limit 8.706594034165854E9
174.98/172.85	c cleaning 495 clauses out of 1004 for limit 1.4358395571448114E10
377.30/374.41	c cleaning 564750 clauses out of 1129509 for limit 0.004674582156468133
397.59/394.73	c cleaning 282625 clauses out of 565259 for limit 0.015404261902634574
416.89/414.03	c cleaning 141562 clauses out of 283133 for limit 0.05066630863788585
424.09/421.27	c cleaning 71031 clauses out of 142072 for limit 0.16668313476744898
425.59/422.70	c cleaning 35764 clauses out of 71540 for limit 0.5453465790751303
425.79/422.99	c cleaning 18130 clauses out of 36276 for limit 1.7736095671655108
425.89/423.08	c cleaning 9313 clauses out of 18646 for limit 5.690463252435807
425.99/423.15	c cleaning 4909 clauses out of 9834 for limit 17.81121302205447
426.09/423.21	c cleaning 2708 clauses out of 5425 for limit 53.245124429070856
426.09/423.25	c cleaning 1601 clauses out of 3217 for limit 148.0759115789561
426.19/423.30	c cleaning 1049 clauses out of 2115 for limit 371.06199851962515
426.19/423.34	c cleaning 774 clauses out of 1566 for limit 826.4583661267765
426.19/423.38	c cleaning 635 clauses out of 1293 for limit 1652.359767295508
426.29/423.42	c cleaning 569 clauses out of 1157 for limit 3042.2237546338843
426.29/423.46	c cleaning 533 clauses out of 1088 for limit 5335.209819296149
426.29/423.50	c cleaning 520 clauses out of 1055 for limit 9073.68767706003
426.39/423.54	c cleaning 509 clauses out of 1036 for limit 15253.409492171491
426.39/423.58	c cleaning 505 clauses out of 1027 for limit 25375.35509116345
426.49/423.62	c cleaning 501 clauses out of 1022 for limit 42052.08785713211
426.49/423.65	c cleaning 499 clauses out of 1021 for limit 69417.44163679481
426.49/423.69	c cleaning 505 clauses out of 1022 for limit 114366.63342583035
426.59/423.73	c cleaning 501 clauses out of 1017 for limit 189533.14408494826
426.59/423.77	c cleaning 498 clauses out of 1015 for limit 312868.22111427254
426.69/423.81	c cleaning 498 clauses out of 1017 for limit 514946.8777285488
426.69/423.85	c cleaning 497 clauses out of 1019 for limit 847549.525672931
426.69/423.89	c cleaning 503 clauses out of 1023 for limit 1393651.0111777016
426.79/423.92	c cleaning 498 clauses out of 1019 for limit 2305031.4705464174
426.79/423.96	c cleaning 511 clauses out of 1022 for limit 3793940.7669884423
426.89/424.00	c cleaning 499 clauses out of 1010 for limit 6324722.034238594
426.89/424.05	c cleaning 498 clauses out of 1012 for limit 1.042011959394384E7
426.89/424.09	c cleaning 506 clauses out of 1013 for limit 1.7150040337708715E7
426.99/424.13	c cleaning 503 clauses out of 1007 for limit 2.845122745654273E7
426.99/424.17	c cleaning 502 clauses out of 1005 for limit 4.706031342232202E7
427.09/424.21	c cleaning 501 clauses out of 1002 for limit 7.776327286980176E7
427.09/424.25	c cleaning 501 clauses out of 1002 for limit 1.2837041035718814E8
427.09/424.29	c cleaning 490 clauses out of 1000 for limit 2.1191125634506783E8
427.19/424.33	c cleaning 498 clauses out of 1011 for limit 3.460136800437506E8
427.19/424.37	c cleaning 494 clauses out of 1012 for limit 5.694889317149618E8
427.29/424.41	c cleaning 509 clauses out of 1019 for limit 9.336455144677812E8
427.29/424.45	c cleaning 504 clauses out of 1009 for limit 1.5534111141476238E9
427.29/424.49	c cleaning 502 clauses out of 1005 for limit 2.571978889054764E9
427.39/424.53	c cleaning 489 clauses out of 1003 for limit 4.249994962649578E9
427.39/424.57	c cleaning 507 clauses out of 1014 for limit 6.932777789256521E9
427.49/424.60	c cleaning 504 clauses out of 1008 for limit 1.1512644705471895E10
427.49/424.64	c cleaning 491 clauses out of 1005 for limit 1.9061627182809452E10
427.49/424.68	c cleaning 497 clauses out of 1013 for limit 3.1155732241285923E10
427.59/424.72	c cleaning 507 clauses out of 1015 for limit 5.1227450355092735E10
427.59/424.76	c cleaning 491 clauses out of 1009 for limit 8.506835130677626E10
427.69/424.80	c cleaning 509 clauses out of 1018 for limit 1.3904881470453732E11
427.69/424.83	c cleaning 505 clauses out of 1011 for limit 2.3136029220393228E11
427.69/424.87	c cleaning 502 clauses out of 1004 for limit 3.834362162310124E11
427.79/424.91	c cleaning 500 clauses out of 1001 for limit 6.335985007402686E11
427.79/424.95	c cleaning 495 clauses out of 1001 for limit 1.0448886890116925E12
427.79/424.98	c cleaning 496 clauses out of 1006 for limit 1.7145968112516638E12
427.89/425.02	c cleaning 505 clauses out of 1010 for limit 2.8164011024853447E12
427.89/425.06	c cleaning 495 clauses out of 1006 for limit 4.667757629688415E12
427.89/425.10	c cleaning 498 clauses out of 1011 for limit 7.659686759087037E12
427.99/425.13	c cleaning 498 clauses out of 1012 for limit 1.2606746730800223E13
427.99/425.17	c cleaning 507 clauses out of 1014 for limit 2.0749205524465965E13
428.09/425.21	c cleaning 503 clauses out of 1007 for limit 3.4456078161413426E13
428.09/425.25	c cleaning 497 clauses out of 1005 for limit 5.699275505975599E13
428.09/425.29	c cleaning 504 clauses out of 1008 for limit 9.37089492412141E13
428.19/425.32	c cleaning 501 clauses out of 1003 for limit 1.551536663042543E14
428.19/425.36	c cleaning 491 clauses out of 1002 for limit 2.5612451025680422E14
428.29/425.40	c cleaning 506 clauses out of 1012 for limit 4.186284587944913E14
428.29/425.44	c cleaning 492 clauses out of 1005 for limit 6.944877261907836E14
428.29/425.48	c cleaning 506 clauses out of 1013 for limit 1.1362583250063308E15
428.39/425.51	c cleaning 496 clauses out of 1008 for limit 1.8850218568218782E15
428.39/425.55	c cleaning 496 clauses out of 1011 for limit 3.096329296632316E15
428.39/425.59	c cleaning 508 clauses out of 1016 for limit 5.086218209543868E15
428.49/425.63	c cleaning 496 clauses out of 1007 for limit 8.454357356219711E15
428.49/425.67	c cleaning 499 clauses out of 1012 for limit 1.3887368443629028E16
428.59/425.70	c cleaning 506 clauses out of 1013 for limit 2.2879520160954008E16
428.59/425.74	c cleaning 502 clauses out of 1006 for limit 3.7955940038719304E16
428.59/425.78	c cleaning 492 clauses out of 1004 for limit 6.271911286388013E-4
428.69/425.82	c cleaning 495 clauses out of 1012 for limit 0.0010261456161605534
428.69/425.86	c cleaning 499 clauses out of 1017 for limit 0.0016839315763122662
428.69/425.90	c cleaning 502 clauses out of 1019 for limit 0.002774352296539327
428.79/425.94	c cleaning 500 clauses out of 1016 for limit 0.004584198974820468
428.79/425.98	c cleaning 501 clauses out of 1016 for limit 0.007559957372646091
428.88/426.02	c cleaning 501 clauses out of 1016 for limit 0.012479860921418284
428.88/426.06	c cleaning 499 clauses out of 1014 for limit 0.02060093224138162
428.88/426.09	c cleaning 498 clauses out of 1015 for limit 0.0339402215905221
428.98/426.13	c cleaning 498 clauses out of 1017 for limit 0.055861893148524445
428.98/426.17	c cleaning 499 clauses out of 1019 for limit 0.09194292283131744
429.08/426.21	c cleaning 499 clauses out of 1021 for limit 0.15148064525486463
429.08/426.25	c cleaning 505 clauses out of 1021 for limit 0.24956203689470008
429.08/426.28	c cleaning 501 clauses out of 1017 for limit 0.41359350454588134
429.18/426.32	c cleaning 497 clauses out of 1015 for limit 0.6827315858470152
429.18/426.36	c cleaning 498 clauses out of 1019 for limit 1.1226186491183408
429.28/426.40	c cleaning 501 clauses out of 1020 for limit 1.847683752960014
429.28/426.44	c cleaning 502 clauses out of 1019 for limit 3.0500679500374495
429.28/426.47	c cleaning 497 clauses out of 1017 for limit 5.039861860304614
429.38/426.51	c cleaning 504 clauses out of 1020 for limit 8.286961115275288
429.38/426.55	c cleaning 499 clauses out of 1016 for limit 13.720111849105717
429.38/426.59	c cleaning 498 clauses out of 1017 for limit 22.604051800420386
429.48/426.63	c cleaning 502 clauses out of 1020 for limit 37.20467146120176
429.48/426.67	c cleaning 500 clauses out of 1018 for limit 61.47602161026864
429.59/426.70	c cleaning 500 clauses out of 1017 for limit 101.38038937543507
429.59/426.74	c cleaning 497 clauses out of 1017 for limit 167.18982450594186
429.59/426.78	c cleaning 497 clauses out of 1020 for limit 274.907450432917
429.69/426.82	c cleaning 501 clauses out of 1023 for limit 452.0296632151857
429.69/426.86	c cleaning 500 clauses out of 1022 for limit 746.1867964465173
429.69/426.90	c cleaning 500 clauses out of 1022 for limit 1230.5618504240297
429.78/426.93	c cleaning 500 clauses out of 1022 for limit 2029.3611129683782
429.78/426.97	c cleaning 502 clauses out of 1022 for limit 3346.687958357515
429.88/427.01	c cleaning 500 clauses out of 1022 for limit 5530.191007059835
429.88/427.05	c cleaning 502 clauses out of 1020 for limit 9119.640511432022
429.88/427.08	c cleaning 501 clauses out of 1019 for limit 15069.335627259186
429.98/427.12	c cleaning 499 clauses out of 1018 for limit 24875.76232455314
429.98/427.16	c cleaning 499 clauses out of 1019 for limit 40983.20134564402
430.08/427.20	c cleaning 498 clauses out of 1019 for limit 67519.19487190107
430.08/427.24	c cleaning 496 clauses out of 1021 for limit 111130.06896489387
430.08/427.28	c cleaning 501 clauses out of 1025 for limit 182553.1568750759
430.18/427.31	c cleaning 501 clauses out of 1024 for limit 301348.57582196704
430.18/427.36	c cleaning 503 clauses out of 1023 for limit 497449.9061456263
430.28/427.40	c cleaning 502 clauses out of 1021 for limit 822791.210484248
430.28/427.44	c cleaning 500 clauses out of 1018 for limit 1359530.5873493534
430.28/427.48	c cleaning 501 clauses out of 1019 for limit 2242089.65975432
430.38/427.52	c cleaning 497 clauses out of 1017 for limit 3701072.4109529937
430.38/427.57	c cleaning 499 clauses out of 1020 for limit 6085611.868840357
430.48/427.61	c cleaning 498 clauses out of 1021 for limit 1.0026158523128869E7
430.48/427.66	c cleaning 504 clauses out of 1024 for limit 1.6502538368850384E7
430.48/427.70	c cleaning 509 clauses out of 1019 for limit 2.7321082268896252E7
430.58/427.74	c cleaning 505 clauses out of 1011 for limit 4.5458104873423316E7
430.58/427.78	c cleaning 502 clauses out of 1005 for limit 7.533864332678181E7
430.69/427.82	c cleaning 492 clauses out of 1003 for limit 1.2449124524087729E8
430.69/427.86	c cleaning 495 clauses out of 1011 for limit 2.0367816587108743E8
430.79/427.91	c cleaning 508 clauses out of 1016 for limit 3.3423952861521965E8
430.79/427.96	c cleaning 504 clauses out of 1008 for limit 5.555803448352033E8
430.88/428.00	c cleaning 494 clauses out of 1004 for limit 9.198766168772978E8
430.88/428.04	c cleaning 505 clauses out of 1010 for limit 1.5079877213102467E9
430.88/428.08	c cleaning 502 clauses out of 1005 for limit 2.4992459923413544E9
430.98/428.12	c cleaning 490 clauses out of 1004 for limit 4.1298259808022146E9
430.98/428.16	c cleaning 506 clauses out of 1013 for limit 6.743376292791693E9
431.08/428.20	c cleaning 494 clauses out of 1007 for limit 1.1186990173394955E10
431.08/428.23	c cleaning 499 clauses out of 1013 for limit 1.833957084723779E10
431.08/428.27	c cleaning 507 clauses out of 1015 for limit 3.021502588869897E10
431.18/428.31	c cleaning 503 clauses out of 1007 for limit 5.0174253259181404E10
431.18/428.35	c cleaning 502 clauses out of 1004 for limit 8.299129901057434E10
431.18/428.39	c cleaning 501 clauses out of 1002 for limit 1.3713693559238759E11
431.28/428.42	c cleaning 492 clauses out of 1002 for limit 2.2638353617904944E11
431.28/428.46	c cleaning 495 clauses out of 1009 for limit 3.703759427845745E11
431.38/428.50	c cleaning 495 clauses out of 1015 for limit 6.077966369895704E11
431.38/428.54	c cleaning 500 clauses out of 1019 for limit 9.974049660465208E11
431.38/428.57	c cleaning 509 clauses out of 1019 for limit 1.6448542194599036E12
431.48/428.61	c cleaning 505 clauses out of 1010 for limit 2.7367561989589683E12
431.48/428.65	c cleaning 493 clauses out of 1006 for limit 4.535758282801018E12
431.48/428.69	c cleaning 496 clauses out of 1012 for limit 7.42828821319088E12
431.58/428.73	c cleaning 508 clauses out of 1016 for limit 1.220201170688609E13
431.58/428.76	c cleaning 496 clauses out of 1008 for limit 2.0282454022962836E13
431.68/428.80	c cleaning 497 clauses out of 1012 for limit 3.331627259110428E13
431.68/428.84	c cleaning 507 clauses out of 1015 for limit 5.478059739864739E13
431.68/428.88	c cleaning 504 clauses out of 1008 for limit 9.096789834374269E13
431.79/428.92	c cleaning 502 clauses out of 1004 for limit 1.5061591604307172E14
626.66/623.08	c cleaning 464987 clauses out of 930003 for limit 1.2309734670989948E-5
661.55/657.99	c cleaning 232751 clauses out of 465515 for limit 4.051545656221075E-5
675.55/671.93	c cleaning 116629 clauses out of 233264 for limit 1.3334065532365216E-4
677.86/674.24	c cleaning 58560 clauses out of 117135 for limit 4.379046016629029E-4
678.65/675.06	c cleaning 29532 clauses out of 59076 for limit 0.0014333277455824544
678.96/675.31	c cleaning 15015 clauses out of 30043 for limit 0.00464338471088374
678.96/675.39	c cleaning 7753 clauses out of 15528 for limit 0.014815568796025835
679.06/675.45	c cleaning 4127 clauses out of 8275 for limit 0.04584814156446061
679.06/675.49	c cleaning 2312 clauses out of 4648 for limit 0.13461067638801838
679.15/675.54	c cleaning 1406 clauses out of 2837 for limit 0.3640631218539578
679.15/675.58	c cleaning 952 clauses out of 1931 for limit 0.8820833771557216
679.25/675.62	c cleaning 726 clauses out of 1478 for limit 1.8986235036599168
679.25/675.66	c cleaning 609 clauses out of 1252 for limit 3.6962798521937223
679.35/675.70	c cleaning 554 clauses out of 1143 for limit 6.676960861404938
679.35/675.74	c cleaning 537 clauses out of 1089 for limit 11.557211689373007
679.35/675.78	c cleaning 520 clauses out of 1052 for limit 19.7297278699561
679.45/675.82	c cleaning 509 clauses out of 1032 for limit 33.16752190630295
679.45/675.86	c cleaning 503 clauses out of 1023 for limit 55.17889196230499
679.55/675.91	c cleaning 500 clauses out of 1020 for limit 91.2650138828437
679.55/675.95	c cleaning 506 clauses out of 1021 for limit 150.51131587032057
679.55/675.99	c cleaning 499 clauses out of 1015 for limit 249.68056562261538
679.65/676.03	c cleaning 502 clauses out of 1016 for limit 411.35138208256353
679.65/676.07	c cleaning 498 clauses out of 1014 for limit 679.7114733688808
679.75/676.11	c cleaning 497 clauses out of 1016 for limit 1118.7285845039546
679.75/676.15	c cleaning 501 clauses out of 1019 for limit 1839.501497768781
679.75/676.19	c cleaning 502 clauses out of 1018 for limit 3036.5639989716233
679.85/676.23	c cleaning 497 clauses out of 1015 for limit 5017.4788417333575
679.85/676.27	c cleaning 498 clauses out of 1019 for limit 8250.263260192449
679.95/676.31	c cleaning 501 clauses out of 1021 for limit 13579.135930503788
679.95/676.35	c cleaning 500 clauses out of 1019 for limit 22415.326494929584
679.95/676.39	c cleaning 498 clauses out of 1019 for limit 36965.87205886908
680.06/676.43	c cleaning 500 clauses out of 1021 for limit 60842.25262228634
680.06/676.47	c cleaning 501 clauses out of 1021 for limit 100337.01390508746
680.16/676.51	c cleaning 502 clauses out of 1020 for limit 165631.38344053106
680.16/676.55	c cleaning 499 clauses out of 1019 for limit 273690.05437701044
680.16/676.59	c cleaning 502 clauses out of 1019 for limit 450900.1617548536
680.25/676.64	c cleaning 501 clauses out of 1019 for limit 745084.1102145395
680.25/676.68	c cleaning 499 clauses out of 1017 for limit 1229928.6213454376
680.35/676.73	c cleaning 498 clauses out of 1017 for limit 2026288.5166724026
680.35/676.77	c cleaning 510 clauses out of 1020 for limit 3335127.6671114606
680.45/676.82	c cleaning 496 clauses out of 1011 for limit 5554588.339311777
680.45/676.86	c cleaning 506 clauses out of 1013 for limit 9123898.637351474
680.45/676.90	c cleaning 493 clauses out of 1007 for limit 1.5136181041566478E7
680.55/676.94	c cleaning 507 clauses out of 1015 for limit 2.4789635479374528E7
680.55/676.98	c cleaning 493 clauses out of 1007 for limit 4.116499695636977E7
680.65/677.01	c cleaning 507 clauses out of 1014 for limit 6.741794185835704E7
680.65/677.05	c cleaning 497 clauses out of 1008 for limit 1.1195495297602238E8
680.65/677.09	c cleaning 505 clauses out of 1010 for limit 1.840788300546784E8
680.75/677.13	c cleaning 502 clauses out of 1005 for limit 3.050809179595361E8
680.75/677.17	c cleaning 501 clauses out of 1003 for limit 5.0412247551730585E8
680.85/677.21	c cleaning 490 clauses out of 1002 for limit 8.321951084167027E8
680.85/677.25	c cleaning 506 clauses out of 1013 for limit 1.3588572432004418E9
680.85/677.29	c cleaning 503 clauses out of 1007 for limit 2.2542895378654065E9
680.95/677.33	c cleaning 490 clauses out of 1003 for limit 3.728718592375183E9
680.95/677.37	c cleaning 496 clauses out of 1014 for limit 6.088537497269828E9
681.05/677.40	c cleaning 498 clauses out of 1017 for limit 1.0001182732105198E10
681.05/677.44	c cleaning 497 clauses out of 1019 for limit 1.646091674184767E10
681.05/677.48	c cleaning 504 clauses out of 1024 for limit 2.7067812298707962E10
681.16/677.52	c cleaning 504 clauses out of 1018 for limit 4.481178032440163E10
681.16/677.55	c cleaning 497 clauses out of 1015 for limit 7.41932392864555E10
681.16/677.59	c cleaning 509 clauses out of 1018 for limit 1.2199400356778458E11
681.26/677.63	c cleaning 504 clauses out of 1009 for limit 2.0297894125290417E11
681.26/677.67	c cleaning 502 clauses out of 1005 for limit 3.360717243944894E11
681.35/677.71	c cleaning 501 clauses out of 1003 for limit 5.553323714451083E11
681.35/677.75	c cleaning 492 clauses out of 1003 for limit 9.167341056541729E11
681.35/677.79	c cleaning 496 clauses out of 1009 for limit 1.499823034040208E12
681.45/677.83	c cleaning 506 clauses out of 1013 for limit 2.463642157256631E12
681.45/677.87	c cleaning 489 clauses out of 1007 for limit 4.087083295863588E12
681.55/677.91	c cleaning 500 clauses out of 1018 for limit 6.667316448827252E12
681.55/677.95	c cleaning 510 clauses out of 1020 for limit 1.0995717796212686E13
681.55/677.99	c cleaning 504 clauses out of 1009 for limit 1.8312766839921277E13
803.51/798.62	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
819.10/814.28	Exception in thread "Thread-0" java.lang.OutOfMemoryError: GC overhead limit exceeded
819.10/814.28		at org.sat4j.minisat.core.SolverStats.printStat(Unknown Source)
819.10/814.28		at org.sat4j.minisat.core.Solver.printStat(Unknown Source)
819.10/814.28		at org.sat4j.tools.SolverDecorator.printStat(Unknown Source)

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-3732275-1338689403/watcher-3732275-1338689403 -o /tmp/evaluation-result-3732275-1338689403/solver-3732275-1338689403 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732275-1338689403.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: 2.04 2.06 2.01 3/195 18703
/proc/meminfo: memFree=27698324/32873844 swapFree=7632/7632
[pid=18703] ppid=18701 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/18703/stat : 18703 (java) D 18701 18703 7849 0 -1 4202496 82 0 0 0 0 0 0 0 20 0 1 0 335065917 278528 33 33554432000 1073741824 1073778376 140735468511440 140735468508616 214360485159 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 68 33 25 9 0 25 0

[startup+0.093133 s]
/proc/loadavg: 2.04 2.06 2.01 3/195 18703
/proc/meminfo: memFree=27698324/32873844 swapFree=7632/7632
[pid=18703] ppid=18701 vsize=2956804 CPUtime=0.06 cores=0,2,4,6
/proc/18703/stat : 18703 (java) S 18701 18703 7849 0 -1 4202496 4132 0 1 0 5 1 0 0 20 0 18 0 335065917 3027767296 5339 33554432000 1073741824 1073778376 140736732528096 140736732519232 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 739201 5339 1769 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2956804

[startup+0.100303 s]
/proc/loadavg: 2.04 2.06 2.01 3/195 18703
/proc/meminfo: memFree=27698324/32873844 swapFree=7632/7632
[pid=18703] ppid=18701 vsize=2956804 CPUtime=0.06 cores=0,2,4,6
/proc/18703/stat : 18703 (java) S 18701 18703 7849 0 -1 4202496 4168 0 1 0 5 1 0 0 20 0 18 0 335065917 3027767296 5375 33554432000 1073741824 1073778376 140736732528096 140736732519232 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 739201 5375 1781 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2956804

[startup+0.300221 s]
/proc/loadavg: 2.04 2.06 2.01 3/195 18703
/proc/meminfo: memFree=27698324/32873844 swapFree=7632/7632
[pid=18703] ppid=18701 vsize=2957856 CPUtime=0.43 cores=0,2,4,6
/proc/18703/stat : 18703 (java) S 18701 18703 7849 0 -1 4202496 6167 0 1 0 41 2 0 0 20 0 18 0 335065917 3028844544 8411 33554432000 1073741824 1073778376 140736732528096 140736732519232 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 739464 8411 2237 9 0 729885 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2957856

[startup+0.700188 s]
/proc/loadavg: 2.04 2.06 2.01 3/195 18703
/proc/meminfo: memFree=27698324/32873844 swapFree=7632/7632
[pid=18703] ppid=18701 vsize=3024420 CPUtime=1.07 cores=0,2,4,6
/proc/18703/stat : 18703 (java) S 18701 18703 7849 0 -1 4202496 7479 0 1 0 104 3 0 0 20 0 19 0 335065917 3097006080 10816 33554432000 1073741824 1073778376 140736732528096 140736732519232 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 756105 10816 2264 9 0 746526 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 3024420

[startup+1.50067 s]
/proc/loadavg: 2.04 2.06 2.01 3/214 18723
/proc/meminfo: memFree=27659336/32873844 swapFree=7632/7632
[pid=18703] ppid=18701 vsize=3024420 CPUtime=1.9 cores=0,2,4,6
/proc/18703/stat : 18703 (java) S 18701 18703 7849 0 -1 4202496 7493 0 1 0 187 3 0 0 20 0 19 0 335065917 3097006080 13894 33554432000 1073741824 1073778376 140736732528096 140736732519232 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 756105 13894 2264 9 0 746526 0
[pid=18703/tid=18705] ppid=18701 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/18703/task/18705/stat : 18705 (java) R 18701 18703 7849 0 -1 4202560 3109 0 1 0 143 2 0 0 20 0 19 0 335065918 3097006080 13894 33554432000 1073741824 1073778376 140736732528096 139837021964968 139836962210896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18706] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18706/stat : 18706 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 13894 33554432000 1073741824 1073778376 140736732528096 139836887394472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18707] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18707/stat : 18707 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 13894 33554432000 1073741824 1073778376 140736732528096 139836886341928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18708] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18708/stat : 18708 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 13894 33554432000 1073741824 1073778376 140736732528096 139836885289384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18703/tid=18709] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18709/stat : 18709 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 13894 33554432000 1073741824 1073778376 140736732528096 139836884236840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18710] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18710/stat : 18710 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 13894 33554432000 1073741824 1073778376 140736732528096 139836883184296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18711] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18711/stat : 18711 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 13894 33554432000 1073741824 1073778376 140736732528096 139836882131752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18712] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18712/stat : 18712 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 13894 33554432000 1073741824 1073778376 140736732528096 139836881079208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18713] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18713/stat : 18713 (java) S 18701 18703 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 13894 33554432000 1073741824 1073778376 140736732528096 139836880026664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18714] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18714/stat : 18714 (java) S 18701 18703 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335065921 3097006080 13894 33554432000 1073741824 1073778376 140736732528096 139836867827816 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18715] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18715/stat : 18715 (java) S 18701 18703 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335065922 3097006080 13894 33554432000 1073741824 1073778376 140736732528096 139836866774136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18716] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18716/stat : 18716 (java) S 18701 18703 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335065922 3097006080 13894 33554432000 1073741824 1073778376 140736732528096 139836865721480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18717] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18717/stat : 18717 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065925 3097006080 13894 33554432000 1073741824 1073778376 140736732528096 139836864670224 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18718] ppid=18701 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/18703/task/18718/stat : 18718 (java) S 18701 18703 7849 0 -1 4202560 1804 0 0 0 22 0 0 0 20 0 19 0 335065925 3097006080 13894 33554432000 1073741824 1073778376 140736732528096 139836863617592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18719] ppid=18701 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/18703/task/18719/stat : 18719 (java) S 18701 18703 7849 0 -1 4202560 1382 0 0 0 18 0 0 0 20 0 19 0 335065925 3097006080 13894 33554432000 1073741824 1073778376 140736732528096 139836862565048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18720] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18720/stat : 18720 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065925 3097006080 13894 33554432000 1073741824 1073778376 140736732528096 139836861512696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18721] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18721/stat : 18721 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065925 3097006080 13894 33554432000 1073741824 1073778376 140736732528096 139836860460360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18723] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18723/stat : 18723 (java) S 18701 18703 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335065953 3097006080 13894 33554432000 1073741824 1073778376 140736732528096 139836858327976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 3024420

[startup+3.10062 s]
/proc/loadavg: 2.04 2.06 2.01 3/214 18723
/proc/meminfo: memFree=27642456/32873844 swapFree=7632/7632
[pid=18703] ppid=18701 vsize=3024420 CPUtime=3.49 cores=0,2,4,6
/proc/18703/stat : 18703 (java) S 18701 18703 7849 0 -1 4202496 7504 0 1 0 346 3 0 0 20 0 19 0 335065917 3097006080 19014 33554432000 1073741824 1073778376 140736732528096 140736732519232 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 756105 19014 2264 9 0 746526 0
[pid=18703/tid=18705] ppid=18701 vsize=3024420 CPUtime=3.04 cores=0,2,4,6
/proc/18703/task/18705/stat : 18705 (java) R 18701 18703 7849 0 -1 4202560 3120 0 1 0 302 2 0 0 20 0 19 0 335065918 3097006080 19014 33554432000 1073741824 1073778376 140736732528096 139837021966848 139836962195961 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18706] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18706/stat : 18706 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 19014 33554432000 1073741824 1073778376 140736732528096 139836887394472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18707] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18707/stat : 18707 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 19014 33554432000 1073741824 1073778376 140736732528096 139836886341928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18708] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18708/stat : 18708 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 19014 33554432000 1073741824 1073778376 140736732528096 139836885289384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18703/tid=18709] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18709/stat : 18709 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 19014 33554432000 1073741824 1073778376 140736732528096 139836884236840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18710] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18710/stat : 18710 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 19014 33554432000 1073741824 1073778376 140736732528096 139836883184296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18711] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18711/stat : 18711 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 19014 33554432000 1073741824 1073778376 140736732528096 139836882131752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18712] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18712/stat : 18712 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 19014 33554432000 1073741824 1073778376 140736732528096 139836881079208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18713] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18713/stat : 18713 (java) S 18701 18703 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 19014 33554432000 1073741824 1073778376 140736732528096 139836880026664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18714] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18714/stat : 18714 (java) S 18701 18703 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335065921 3097006080 19014 33554432000 1073741824 1073778376 140736732528096 139836867827816 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18715] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18715/stat : 18715 (java) S 18701 18703 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335065922 3097006080 19014 33554432000 1073741824 1073778376 140736732528096 139836866774136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18716] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18716/stat : 18716 (java) S 18701 18703 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335065922 3097006080 19014 33554432000 1073741824 1073778376 140736732528096 139836865721480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18717] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18717/stat : 18717 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065925 3097006080 19014 33554432000 1073741824 1073778376 140736732528096 139836864670224 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18718] ppid=18701 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/18703/task/18718/stat : 18718 (java) S 18701 18703 7849 0 -1 4202560 1804 0 0 0 22 0 0 0 20 0 19 0 335065925 3097006080 19014 33554432000 1073741824 1073778376 140736732528096 139836863617592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18719] ppid=18701 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/18703/task/18719/stat : 18719 (java) S 18701 18703 7849 0 -1 4202560 1382 0 0 0 18 0 0 0 20 0 19 0 335065925 3097006080 19014 33554432000 1073741824 1073778376 140736732528096 139836862565048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18720] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18720/stat : 18720 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065925 3097006080 19014 33554432000 1073741824 1073778376 140736732528096 139836861512696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18721] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18721/stat : 18721 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065925 3097006080 19014 33554432000 1073741824 1073778376 140736732528096 139836860460360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18723] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18723/stat : 18723 (java) S 18701 18703 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335065953 3097006080 19014 33554432000 1073741824 1073778376 140736732528096 139836858327976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 3024420

[startup+6.30062 s]
/proc/loadavg: 2.04 2.06 2.01 3/214 18723
/proc/meminfo: memFree=27595228/32873844 swapFree=7632/7632
[pid=18703] ppid=18701 vsize=3024420 CPUtime=6.71 cores=0,2,4,6
/proc/18703/stat : 18703 (java) S 18701 18703 7849 0 -1 4202496 7528 0 1 0 667 4 0 0 20 0 19 0 335065917 3097006080 29531 33554432000 1073741824 1073778376 140736732528096 140736732519232 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 756105 29531 2265 9 0 746526 0
[pid=18703/tid=18705] ppid=18701 vsize=3024420 CPUtime=6.23 cores=0,2,4,6
/proc/18703/task/18705/stat : 18705 (java) R 18701 18703 7849 0 -1 4202560 3142 0 1 0 621 2 0 0 20 0 19 0 335065918 3097006080 29531 33554432000 1073741824 1073778376 140736732528096 139837021966680 139836962183851 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18706] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18706/stat : 18706 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 29531 33554432000 1073741824 1073778376 140736732528096 139836887394472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18707] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18707/stat : 18707 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 29531 33554432000 1073741824 1073778376 140736732528096 139836886341928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18708] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18708/stat : 18708 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 29531 33554432000 1073741824 1073778376 140736732528096 139836885289384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18703/tid=18709] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18709/stat : 18709 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 29531 33554432000 1073741824 1073778376 140736732528096 139836884236840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18710] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18710/stat : 18710 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 29531 33554432000 1073741824 1073778376 140736732528096 139836883184296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18711] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18711/stat : 18711 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 29531 33554432000 1073741824 1073778376 140736732528096 139836882131752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18712] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18712/stat : 18712 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 29531 33554432000 1073741824 1073778376 140736732528096 139836881079208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18713] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18713/stat : 18713 (java) S 18701 18703 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335065920 3097006080 29531 33554432000 1073741824 1073778376 140736732528096 139836880026664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18714] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18714/stat : 18714 (java) S 18701 18703 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335065921 3097006080 29531 33554432000 1073741824 1073778376 140736732528096 139836867827816 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18715] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18715/stat : 18715 (java) S 18701 18703 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335065922 3097006080 29531 33554432000 1073741824 1073778376 140736732528096 139836866774136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18716] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18716/stat : 18716 (java) S 18701 18703 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335065922 3097006080 29531 33554432000 1073741824 1073778376 140736732528096 139836865721480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18717] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18717/stat : 18717 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065925 3097006080 29531 33554432000 1073741824 1073778376 140736732528096 139836864670224 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18718] ppid=18701 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/18703/task/18718/stat : 18718 (java) S 18701 18703 7849 0 -1 4202560 1804 0 0 0 22 0 0 0 20 0 19 0 335065925 3097006080 29531 33554432000 1073741824 1073778376 140736732528096 139836863617592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18719] ppid=18701 vsize=3024420 CPUtime=0.19 cores=0,2,4,6
/proc/18703/task/18719/stat : 18719 (java) S 18701 18703 7849 0 -1 4202560 1383 0 0 0 19 0 0 0 20 0 19 0 335065925 3097006080 29531 33554432000 1073741824 1073778376 140736732528096 139836862565048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18720] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18720/stat : 18720 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335065925 3097006080 29531 33554432000 1073741824 1073778376 140736732528096 139836861512696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18721] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18721/stat : 18721 (java) S 18701 18703 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335065925 3097006080 29531 33554432000 1073741824 1073778376 140736732528096 139836860460360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18723] ppid=18701 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18723/stat : 18723 (java) S 18701 18703 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335065953 3097006080 29531 33554432000 1073741824 1073778376 140736732528096 139836858327976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.71
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

/proc/18703/task/18716/stat : 18716 (java) S 18701 18703 7849 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 335065922 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836865721480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18717] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18717/stat : 18717 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836864670224 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18718] ppid=18701 vsize=3090984 CPUtime=0.26 cores=0,2,4,6
/proc/18703/task/18718/stat : 18718 (java) S 18701 18703 7849 0 -1 4202560 1815 0 0 0 26 0 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836863617592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18719] ppid=18701 vsize=3090984 CPUtime=0.26 cores=0,2,4,6
/proc/18703/task/18719/stat : 18719 (java) S 18701 18703 7849 0 -1 4202560 1823 0 0 0 26 0 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836862565048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18720] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18720/stat : 18720 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836861512696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18721] ppid=18701 vsize=3090984 CPUtime=0.2 cores=0,2,4,6
/proc/18703/task/18721/stat : 18721 (java) S 18701 18703 7849 0 -1 4202560 48 0 0 0 11 9 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836860460360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18723] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18723/stat : 18723 (java) S 18701 18703 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 335065953 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836858327976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 817.6
Current children cumulated vsize (KiB) 3090984

[startup+814.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/214 18730
/proc/meminfo: memFree=25862092/32873844 swapFree=7632/7632
[pid=18703] ppid=18701 vsize=3090984 CPUtime=819.2 cores=0,2,4,6
/proc/18703/stat : 18703 (java) S 18701 18703 7849 0 -1 4202496 12090 0 1 0 81784 136 0 0 20 0 20 0 335065917 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 140736732519232 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 772746 418619 2294 9 0 763167 0
[pid=18703/tid=18705] ppid=18701 vsize=3090984 CPUtime=784.63 cores=0,2,4,6
/proc/18703/task/18705/stat : 18705 (java) S 18701 18703 7849 0 -1 4202560 3356 0 1 0 78442 21 0 0 20 0 20 0 335065918 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139837021967544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18706] ppid=18701 vsize=3090984 CPUtime=0.7 cores=0,2,4,6
/proc/18703/task/18706/stat : 18706 (java) S 18701 18703 7849 0 -1 4202560 638 0 0 0 56 14 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836887394472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18703/tid=18707] ppid=18701 vsize=3090984 CPUtime=0.69 cores=0,2,4,6
/proc/18703/task/18707/stat : 18707 (java) S 18701 18703 7849 0 -1 4202560 310 0 0 0 58 11 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836886341928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18708] ppid=18701 vsize=3090984 CPUtime=0.94 cores=0,2,4,6
/proc/18703/task/18708/stat : 18708 (java) S 18701 18703 7849 0 -1 4202560 568 0 0 0 73 21 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836885289384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18709] ppid=18701 vsize=3090984 CPUtime=0.77 cores=0,2,4,6
/proc/18703/task/18709/stat : 18709 (java) S 18701 18703 7849 0 -1 4202560 410 0 0 0 59 18 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836884236840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18703/tid=18710] ppid=18701 vsize=3090984 CPUtime=0.64 cores=0,2,4,6
/proc/18703/task/18710/stat : 18710 (java) S 18701 18703 7849 0 -1 4202560 542 0 0 0 52 12 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836883184296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18711] ppid=18701 vsize=3090984 CPUtime=0.79 cores=0,2,4,6
/proc/18703/task/18711/stat : 18711 (java) S 18701 18703 7849 0 -1 4202560 567 0 0 0 66 13 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836882131752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18712] ppid=18701 vsize=3090984 CPUtime=0.79 cores=0,2,4,6
/proc/18703/task/18712/stat : 18712 (java) S 18701 18703 7849 0 -1 4202560 434 0 0 0 61 18 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836881079208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18703/tid=18713] ppid=18701 vsize=3090984 CPUtime=0.62 cores=0,2,4,6
/proc/18703/task/18713/stat : 18713 (java) S 18701 18703 7849 0 -1 4202560 177 0 0 0 54 8 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836880026664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18714] ppid=18701 vsize=3090984 CPUtime=25.8 cores=0,2,4,6
/proc/18703/task/18714/stat : 18714 (java) R 18701 18703 7849 0 -1 4202560 202 0 0 0 2575 5 0 0 20 0 20 0 335065921 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836867827816 139837026103645 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18715] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18715/stat : 18715 (java) S 18701 18703 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 335065922 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836866774136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18716] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18716/stat : 18716 (java) S 18701 18703 7849 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 335065922 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836865721480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18717] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18717/stat : 18717 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836864670224 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18718] ppid=18701 vsize=3090984 CPUtime=0.26 cores=0,2,4,6
/proc/18703/task/18718/stat : 18718 (java) S 18701 18703 7849 0 -1 4202560 1815 0 0 0 26 0 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836863617592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18719] ppid=18701 vsize=3090984 CPUtime=0.26 cores=0,2,4,6
/proc/18703/task/18719/stat : 18719 (java) S 18701 18703 7849 0 -1 4202560 1823 0 0 0 26 0 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836862565048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18720] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18720/stat : 18720 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836861512696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18721] ppid=18701 vsize=3090984 CPUtime=0.2 cores=0,2,4,6
/proc/18703/task/18721/stat : 18721 (java) S 18701 18703 7849 0 -1 4202560 48 0 0 0 11 9 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836860460360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18723] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18723/stat : 18723 (java) S 18701 18703 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 335065953 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836858327976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18730] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18730/stat : 18730 (java) S 18701 18703 7849 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 335147178 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836857274632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 819.2
Current children cumulated vsize (KiB) 3090984

[startup+814.701 s]
/proc/loadavg: 2.00 2.02 2.00 3/214 18730
/proc/meminfo: memFree=25862092/32873844 swapFree=7632/7632
[pid=18703] ppid=18701 vsize=3090984 CPUtime=819.6 cores=0,2,4,6
/proc/18703/stat : 18703 (java) S 18701 18703 7849 0 -1 4202496 12091 0 1 0 81824 136 0 0 20 0 20 0 335065917 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 140736732519232 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 772746 418619 2294 9 0 763167 0
[pid=18703/tid=18705] ppid=18701 vsize=3090984 CPUtime=784.63 cores=0,2,4,6
/proc/18703/task/18705/stat : 18705 (java) S 18701 18703 7849 0 -1 4202560 3356 0 1 0 78442 21 0 0 20 0 20 0 335065918 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139837021967544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18706] ppid=18701 vsize=3090984 CPUtime=0.7 cores=0,2,4,6
/proc/18703/task/18706/stat : 18706 (java) S 18701 18703 7849 0 -1 4202560 638 0 0 0 56 14 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836887394472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18703/tid=18707] ppid=18701 vsize=3090984 CPUtime=0.69 cores=0,2,4,6
/proc/18703/task/18707/stat : 18707 (java) S 18701 18703 7849 0 -1 4202560 310 0 0 0 58 11 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836886341928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18708] ppid=18701 vsize=3090984 CPUtime=0.94 cores=0,2,4,6
/proc/18703/task/18708/stat : 18708 (java) S 18701 18703 7849 0 -1 4202560 568 0 0 0 73 21 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836885289384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18709] ppid=18701 vsize=3090984 CPUtime=0.77 cores=0,2,4,6
/proc/18703/task/18709/stat : 18709 (java) S 18701 18703 7849 0 -1 4202560 410 0 0 0 59 18 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836884236840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18703/tid=18710] ppid=18701 vsize=3090984 CPUtime=0.64 cores=0,2,4,6
/proc/18703/task/18710/stat : 18710 (java) S 18701 18703 7849 0 -1 4202560 542 0 0 0 52 12 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836883184296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18711] ppid=18701 vsize=3090984 CPUtime=0.79 cores=0,2,4,6
/proc/18703/task/18711/stat : 18711 (java) S 18701 18703 7849 0 -1 4202560 567 0 0 0 66 13 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836882131752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18712] ppid=18701 vsize=3090984 CPUtime=0.79 cores=0,2,4,6
/proc/18703/task/18712/stat : 18712 (java) S 18701 18703 7849 0 -1 4202560 434 0 0 0 61 18 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836881079208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18703/tid=18713] ppid=18701 vsize=3090984 CPUtime=0.62 cores=0,2,4,6
/proc/18703/task/18713/stat : 18713 (java) S 18701 18703 7849 0 -1 4202560 177 0 0 0 54 8 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836880026664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18714] ppid=18701 vsize=3090984 CPUtime=26.2 cores=0,2,4,6
/proc/18703/task/18714/stat : 18714 (java) R 18701 18703 7849 0 -1 4202560 202 0 0 0 2615 5 0 0 20 0 20 0 335065921 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836867827816 214369690599 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18715] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18715/stat : 18715 (java) S 18701 18703 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 335065922 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836866774136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18716] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18716/stat : 18716 (java) S 18701 18703 7849 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 335065922 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836865721480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18717] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18717/stat : 18717 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836864670224 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18718] ppid=18701 vsize=3090984 CPUtime=0.26 cores=0,2,4,6
/proc/18703/task/18718/stat : 18718 (java) S 18701 18703 7849 0 -1 4202560 1815 0 0 0 26 0 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836863617592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18719] ppid=18701 vsize=3090984 CPUtime=0.26 cores=0,2,4,6
/proc/18703/task/18719/stat : 18719 (java) S 18701 18703 7849 0 -1 4202560 1823 0 0 0 26 0 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836862565048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18720] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18720/stat : 18720 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836861512696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18721] ppid=18701 vsize=3090984 CPUtime=0.2 cores=0,2,4,6
/proc/18703/task/18721/stat : 18721 (java) S 18701 18703 7849 0 -1 4202560 48 0 0 0 11 9 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836860460360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18723] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18723/stat : 18723 (java) S 18701 18703 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 335065953 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836858327976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18730] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18730/stat : 18730 (java) S 18701 18703 7849 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 335147178 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836857273736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 819.6
Current children cumulated vsize (KiB) 3090984

[startup+815.107 s]
/proc/loadavg: 2.00 2.02 2.00 3/214 18730
/proc/meminfo: memFree=25862092/32873844 swapFree=7632/7632
[pid=18703] ppid=18701 vsize=3090984 CPUtime=820 cores=0,2,4,6
/proc/18703/stat : 18703 (java) S 18701 18703 7849 0 -1 4202496 12091 0 1 0 81864 136 0 0 20 0 20 0 335065917 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 140736732519232 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 772746 418619 2294 9 0 763167 0
[pid=18703/tid=18705] ppid=18701 vsize=3090984 CPUtime=784.63 cores=0,2,4,6
/proc/18703/task/18705/stat : 18705 (java) S 18701 18703 7849 0 -1 4202560 3356 0 1 0 78442 21 0 0 20 0 20 0 335065918 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139837021967544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18706] ppid=18701 vsize=3090984 CPUtime=0.7 cores=0,2,4,6
/proc/18703/task/18706/stat : 18706 (java) S 18701 18703 7849 0 -1 4202560 638 0 0 0 56 14 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836887394472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18703/tid=18707] ppid=18701 vsize=3090984 CPUtime=0.69 cores=0,2,4,6
/proc/18703/task/18707/stat : 18707 (java) S 18701 18703 7849 0 -1 4202560 310 0 0 0 58 11 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836886341928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18708] ppid=18701 vsize=3090984 CPUtime=0.94 cores=0,2,4,6
/proc/18703/task/18708/stat : 18708 (java) S 18701 18703 7849 0 -1 4202560 568 0 0 0 73 21 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836885289384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18709] ppid=18701 vsize=3090984 CPUtime=0.77 cores=0,2,4,6
/proc/18703/task/18709/stat : 18709 (java) S 18701 18703 7849 0 -1 4202560 410 0 0 0 59 18 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836884236840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18703/tid=18710] ppid=18701 vsize=3090984 CPUtime=0.64 cores=0,2,4,6
/proc/18703/task/18710/stat : 18710 (java) S 18701 18703 7849 0 -1 4202560 542 0 0 0 52 12 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836883184296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18711] ppid=18701 vsize=3090984 CPUtime=0.79 cores=0,2,4,6
/proc/18703/task/18711/stat : 18711 (java) S 18701 18703 7849 0 -1 4202560 567 0 0 0 66 13 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836882131752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18712] ppid=18701 vsize=3090984 CPUtime=0.79 cores=0,2,4,6
/proc/18703/task/18712/stat : 18712 (java) S 18701 18703 7849 0 -1 4202560 434 0 0 0 61 18 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836881079208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18703/tid=18713] ppid=18701 vsize=3090984 CPUtime=0.62 cores=0,2,4,6
/proc/18703/task/18713/stat : 18713 (java) S 18701 18703 7849 0 -1 4202560 177 0 0 0 54 8 0 0 20 0 20 0 335065920 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836880026664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18714] ppid=18701 vsize=3090984 CPUtime=26.61 cores=0,2,4,6
/proc/18703/task/18714/stat : 18714 (java) R 18701 18703 7849 0 -1 4202560 202 0 0 0 2656 5 0 0 20 0 20 0 335065921 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836867827816 139837026128188 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18715] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18715/stat : 18715 (java) S 18701 18703 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 335065922 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836866774136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18716] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18716/stat : 18716 (java) S 18701 18703 7849 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 335065922 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836865721480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18717] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18717/stat : 18717 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836864670224 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18718] ppid=18701 vsize=3090984 CPUtime=0.26 cores=0,2,4,6
/proc/18703/task/18718/stat : 18718 (java) S 18701 18703 7849 0 -1 4202560 1815 0 0 0 26 0 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836863617592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18719] ppid=18701 vsize=3090984 CPUtime=0.26 cores=0,2,4,6
/proc/18703/task/18719/stat : 18719 (java) S 18701 18703 7849 0 -1 4202560 1823 0 0 0 26 0 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836862565048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18720] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18720/stat : 18720 (java) S 18701 18703 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836861512696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18703/tid=18721] ppid=18701 vsize=3090984 CPUtime=0.2 cores=0,2,4,6
/proc/18703/task/18721/stat : 18721 (java) S 18701 18703 7849 0 -1 4202560 48 0 0 0 11 9 0 0 20 0 20 0 335065925 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836860460360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18703/tid=18723] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18723/stat : 18723 (java) S 18701 18703 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 335065953 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836858327976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18703/tid=18730] ppid=18701 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18703/task/18730/stat : 18730 (java) S 18701 18703 7849 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 335147178 3165167616 418619 33554432000 1073741824 1073778376 140736732528096 139836857273736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 820
Current children cumulated vsize (KiB) 3090984

Child status: 1

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18703 and gives
#  childrusage.ru_utime.tv_sec=816
#  childrusage.ru_utime.tv_usec=526869
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=635751
# CPU time returned by wait4() is 818.163
# while last known CPU time is 820
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 815.124
CPU time (s): 820
CPU user time (s): 818.64
CPU system time (s): 1.36
CPU usage (%): 100.598
Max. virtual memory (cumulated for all children) (KiB): 3090984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 816.527
system time used= 1.63575
maximum resident set size= 1674500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12102
page faults= 1
swaps= 0
block input operations= 0
block output operations= 704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17822
involuntary context switches= 14650

runsolver used 1.41778 second user time and 3.2925 second system time

The end

Launcher Data

Begin job on node130 at 2012-06-03 04:10:03
IDJOB=3732275
IDBENCH=2043
IDSOLVER=2319
FILE ID=node130/3732275-1338689403
RUNJOBID= node130-1338679215-16919
PBS_JOBID= 14636683
Free space on /tmp= 70976 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-max1024.pi.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732275-1338689403/watcher-3732275-1338689403 -o /tmp/evaluation-result-3732275-1338689403/solver-3732275-1338689403 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732275-1338689403.opb           

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

MD5SUM BENCH= 93fc03471d2b2f18ece1d77179dbcb30
RANDOM SEED=1498905878

node130.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.875
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	: 5333.75
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.875
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.875
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	: 5331.91
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.875
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.86
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.875
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.91
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.875
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.875
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.875
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	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27698324 kB
Buffers:          407564 kB
Cached:          2381292 kB
SwapCached:         4256 kB
Active:          2602628 kB
Inactive:        1707040 kB
Active(anon):    1513024 kB
Inactive(anon):     8128 kB
Active(file):    1089604 kB
Inactive(file):  1698912 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67099280 kB
Dirty:              3572 kB
Writeback:             0 kB
AnonPages:       1490624 kB
Mapped:            17720 kB
Shmem:                 4 kB
Slab:             722096 kB
SReclaimable:     163620 kB
SUnreclaim:       558476 kB
KernelStack:        1768 kB
PageTables:         7004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1826484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1447936 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= 70972 MiB
End job on node130 at 2012-06-03 04:23:38