Trace number 3732495

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-23No Cert. 1207.61 1201.78

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e1.opb
MD5SUM0d4648505d14cf43905d3198d6f686c2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark162
Best CPU time to get the best result obtained on this benchmark7.73582
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 162
Optimality of the best value was proved YES
Number of variables444
Total number of constraints1408
Number of constraints which are clauses1408
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 constraint2
Maximum length of a constraint32
Number of terms in the objective function 444
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 444
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 444
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.05/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.05/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.05/0.07	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.05/0.07	c no version file found!!!
0.05/0.07	c sun.arch.data.model	64
0.05/0.07	c java.version	1.6.0_24
0.05/0.07	c os.name	Linux
0.05/0.07	c os.version	2.6.32-71.29.1.el6.x86_64
0.05/0.07	c os.arch	amd64
0.05/0.07	c Free memory 1599470296
0.05/0.07	c Max memory 1607860224
0.05/0.07	c Total memory 1607860224
0.05/0.07	c Number of processors 8
0.10/0.10	--- Begin Solver configuration ---
0.10/0.10	c Stops conflict analysis at the first Unique Implication Point
0.10/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.10/0.10	c No reason simplification
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3732495-1338690629.opb
0.10/0.10	c reading problem ... 
0.28/0.26	c ... done. Wall clock time 0.167s.
0.28/0.26	c CPU time (experimental) 0.24s.
0.28/0.26	c #vars     444
0.28/0.26	c #constraints  1408
0.28/0.28	c SATISFIABLE
0.28/0.28	c OPTIMIZING...
0.28/0.28	c Got one! Elapsed wall clock time (in seconds):0.179
0.28/0.28	o 205
0.47/0.34	c Got one! Elapsed wall clock time (in seconds):0.245
0.47/0.34	o 204
0.47/0.36	c Got one! Elapsed wall clock time (in seconds):0.267
0.47/0.36	o 184
0.73/0.48	c Got one! Elapsed wall clock time (in seconds):0.385
0.73/0.48	o 183
0.86/0.50	c Got one! Elapsed wall clock time (in seconds):0.399
0.86/0.50	o 182
0.86/0.53	c Got one! Elapsed wall clock time (in seconds):0.43
0.86/0.53	o 181
0.86/0.54	c Got one! Elapsed wall clock time (in seconds):0.444
0.86/0.54	o 180
1.18/0.72	c Got one! Elapsed wall clock time (in seconds):0.62
1.18/0.72	o 179
1.18/0.73	c Got one! Elapsed wall clock time (in seconds):0.634
1.18/0.73	o 178
2.64/2.20	c Got one! Elapsed wall clock time (in seconds):2.102
2.64/2.20	o 177
2.90/2.30	c Got one! Elapsed wall clock time (in seconds):2.15
2.90/2.30	o 176
2.90/2.31	c Got one! Elapsed wall clock time (in seconds):2.216
2.90/2.31	o 175
3.04/2.45	c Got one! Elapsed wall clock time (in seconds):2.354
3.04/2.45	o 174
3.74/3.10	c Got one! Elapsed wall clock time (in seconds):3.005
3.74/3.10	o 173
3.74/3.19	c Got one! Elapsed wall clock time (in seconds):3.089
3.74/3.19	o 172
3.84/3.30	c Got one! Elapsed wall clock time (in seconds):3.205
3.84/3.30	o 171
3.94/3.38	c Got one! Elapsed wall clock time (in seconds):3.282
3.94/3.38	o 170
4.05/3.48	c Got one! Elapsed wall clock time (in seconds):3.38
4.05/3.48	o 169
4.25/3.65	c Got one! Elapsed wall clock time (in seconds):3.556
4.25/3.65	o 168
4.45/3.83	c Got one! Elapsed wall clock time (in seconds):3.732
4.45/3.83	o 167
4.66/4.01	c Got one! Elapsed wall clock time (in seconds):3.912
4.66/4.01	o 166
4.76/4.14	c Got one! Elapsed wall clock time (in seconds):4.039
4.76/4.14	o 165
15.90/15.20	c Got one! Elapsed wall clock time (in seconds):15.102
15.90/15.20	o 164
82.52/81.11	c Got one! Elapsed wall clock time (in seconds):81.011
82.52/81.11	o 163
279.49/277.13	c cleaning 851553 clauses out of 1703141 for limit 6.361605127342505E-7
309.50/307.16	c cleaning 426042 clauses out of 852091 for limit 2.1032493165237673E-6
313.40/311.10	c cleaning 213269 clauses out of 426547 for limit 6.91507199918472E-6
315.20/312.84	c cleaning 106872 clauses out of 213777 for limit 2.2731285422699276E-5
315.70/313.35	c cleaning 53699 clauses out of 107408 for limit 7.483551743509386E-5
316.10/313.70	c cleaning 27097 clauses out of 54207 for limit 2.4404835605872893E-4
316.10/313.78	c cleaning 13790 clauses out of 27609 for limit 7.894087894882789E-4
316.20/313.83	c cleaning 7150 clauses out of 14320 for limit 0.0025124649692310243
316.20/313.86	c cleaning 3824 clauses out of 7670 for limit 0.007735770131946766
316.20/313.89	c cleaning 2162 clauses out of 4346 for limit 0.022514644045655997
316.30/313.92	c cleaning 1330 clauses out of 2684 for limit 0.06012127507498031
316.30/313.94	c cleaning 914 clauses out of 1854 for limit 0.14353468197704755
316.30/313.97	c cleaning 711 clauses out of 1440 for limit 0.30476141134445556
316.30/313.99	c cleaning 603 clauses out of 1228 for limit 0.5887697338104027
316.40/314.01	c cleaning 550 clauses out of 1125 for limit 1.0598568425407038
316.40/314.03	c cleaning 526 clauses out of 1076 for limit 1.8292701933058049
316.40/314.06	c cleaning 514 clauses out of 1050 for limit 3.0914107811666423
316.40/314.08	c cleaning 506 clauses out of 1036 for limit 5.167043857782963
316.50/314.10	c cleaning 500 clauses out of 1029 for limit 8.570534426080917
316.50/314.13	c cleaning 504 clauses out of 1032 for limit 14.135234038068594
316.50/314.15	c cleaning 499 clauses out of 1025 for limit 23.399748363595467
316.50/314.18	c cleaning 501 clauses out of 1026 for limit 38.551703995368435
316.60/314.20	c cleaning 497 clauses out of 1026 for limit 63.64055780085511
316.60/314.22	c cleaning 499 clauses out of 1029 for limit 104.64581158988331
316.60/314.25	c cleaning 499 clauses out of 1029 for limit 172.40236763535725
316.60/314.27	c cleaning 500 clauses out of 1030 for limit 284.0385342458451
316.60/314.29	c cleaning 499 clauses out of 1031 for limit 468.43163939468053
316.70/314.32	c cleaning 504 clauses out of 1031 for limit 771.733932586388
316.70/314.35	c cleaning 501 clauses out of 1028 for limit 1277.684262974611
316.70/314.38	c cleaning 499 clauses out of 1026 for limit 2109.0684489222417
316.80/314.41	c cleaning 503 clauses out of 1027 for limit 3474.749323155333
316.80/314.44	c cleaning 500 clauses out of 1024 for limit 5747.114543383342
316.80/314.47	c cleaning 497 clauses out of 1024 for limit 9477.760717267742
316.80/314.50	c cleaning 500 clauses out of 1027 for limit 15584.437802295484
316.90/314.53	c cleaning 502 clauses out of 1027 for limit 25700.822784774966
731.85/728.55	c cleaning 868002 clauses out of 1736033 for limit 1.9081802487765488E-5
782.95/779.65	c cleaning 434258 clauses out of 868525 for limit 6.252358403241813E-5
793.06/789.78	c cleaning 217381 clauses out of 434768 for limit 2.061859254072055E-4
799.05/795.74	c cleaning 108921 clauses out of 217884 for limit 6.764623029812353E-4
801.05/797.74	c cleaning 54728 clauses out of 109466 for limit 0.0022271481790589616
801.86/798.53	c cleaning 27607 clauses out of 55235 for limit 0.0072571542673972
801.96/798.69	c cleaning 14041 clauses out of 28128 for limit 0.0235016171439887
802.05/798.74	c cleaning 7275 clauses out of 14591 for limit 0.07501454460244782
802.05/798.79	c cleaning 3883 clauses out of 7812 for limit 0.2301368369998892
802.15/798.82	c cleaning 2185 clauses out of 4430 for limit 0.6699386704644464
802.15/798.85	c cleaning 1352 clauses out of 2744 for limit 1.7818701044116259
802.15/798.88	c cleaning 914 clauses out of 1892 for limit 4.261818040325499
802.27/798.92	c cleaning 709 clauses out of 1478 for limit 8.996995193181446
802.27/798.95	c cleaning 616 clauses out of 1269 for limit 17.280893250054387
802.27/798.98	c cleaning 550 clauses out of 1153 for limit 31.365657023330893
802.37/799.01	c cleaning 528 clauses out of 1103 for limit 54.070958853546024
802.37/799.04	c cleaning 517 clauses out of 1075 for limit 91.49281844665629
802.37/799.08	c cleaning 512 clauses out of 1063 for limit 153.35242638403773
802.47/799.11	c cleaning 501 clauses out of 1048 for limit 255.74961314753688
802.47/799.14	c cleaning 498 clauses out of 1045 for limit 422.1306059044926
802.47/799.17	c cleaning 494 clauses out of 1047 for limit 694.8200416359002
802.57/799.20	c cleaning 511 clauses out of 1053 for limit 1139.3221333530241
802.57/799.23	c cleaning 497 clauses out of 1042 for limit 1898.7293936782514
802.57/799.26	c cleaning 505 clauses out of 1048 for limit 3122.6904299199973
802.57/799.29	c cleaning 499 clauses out of 1040 for limit 5173.7951255269345
802.67/799.33	c cleaning 499 clauses out of 1042 for limit 8524.427990293458
802.67/799.36	c cleaning 497 clauses out of 1043 for limit 14044.443780611839
802.67/799.39	c cleaning 501 clauses out of 1045 for limit 23093.72219564031
802.77/799.42	c cleaning 492 clauses out of 1044 for limit 38121.1168611604
802.77/799.45	c cleaning 499 clauses out of 1052 for limit 62388.74676795188
802.77/799.48	c cleaning 505 clauses out of 1054 for limit 102794.95235152569
802.87/799.51	c cleaning 498 clauses out of 1048 for limit 170322.68431034053
802.87/799.54	c cleaning 502 clauses out of 1050 for limit 280349.8729473096
802.87/799.57	c cleaning 498 clauses out of 1048 for limit 463216.7626683116
802.87/799.60	c cleaning 498 clauses out of 1055 for limit 762643.4346973624
802.98/799.63	c cleaning 499 clauses out of 1052 for limit 1254993.8104053668
802.98/799.66	c cleaning 496 clauses out of 1053 for limit 2067687.2012962194
802.98/799.68	c cleaning 528 clauses out of 1057 for limit 3396988.7642925037
803.08/799.72	c cleaning 514 clauses out of 1029 for limit 5754526.706905365
803.08/799.75	c cleaning 485 clauses out of 1019 for limit 9621543.215273095
803.08/799.78	c cleaning 496 clauses out of 1033 for limit 1.563651524331518E7
803.17/799.81	c cleaning 518 clauses out of 1037 for limit 2.568723889269206E7
809.97/806.63	c Got one! Elapsed wall clock time (in seconds):806.531
809.97/806.63	o 162
1001.14/996.77	c cleaning 643602 clauses out of 1287237 for limit 2570.1502165823917
1021.04/1016.63	c cleaning 322059 clauses out of 644135 for limit 8470.245749781789
1027.45/1023.08	c cleaning 161281 clauses out of 322576 for limit 27893.097401519673
1031.35/1026.96	c cleaning 80883 clauses out of 161795 for limit 91710.61088823226
1032.15/1027.71	c cleaning 40687 clauses out of 81412 for limit 300574.5085823938
1032.35/1027.91	c cleaning 20596 clauses out of 41225 for limit 978894.2835382302
1032.55/1028.12	c cleaning 10549 clauses out of 21129 for limit 3149730.533933279
1032.65/1028.23	c cleaning 5524 clauses out of 11080 for limit 9905319.086283727
1032.75/1028.30	c cleaning 3012 clauses out of 6056 for limit 2.9886719751888245E7
1032.75/1028.37	c cleaning 1755 clauses out of 3544 for limit 8.422214374004368E7
1032.86/1028.44	c cleaning 1128 clauses out of 2289 for limit 2.1504537126925912E8
1032.96/1028.50	c cleaning 830 clauses out of 1661 for limit 4.8872228907847923E8
1032.96/1028.57	c cleaning 665 clauses out of 1331 for limit 1.0057953194468659E9
1033.05/1028.64	c cleaning 583 clauses out of 1166 for limit 1.893411464091276E9
1033.15/1028.71	c cleaning 541 clauses out of 1083 for limit 3.361793112832006E9
1033.15/1028.78	c cleaning 521 clauses out of 1042 for limit 5.762190442878492E9
1033.25/1028.84	c cleaning 510 clauses out of 1021 for limit 9.69807351011932E9
1033.35/1028.91	c cleaning 487 clauses out of 1011 for limit 1.6151614674498545E10
1033.35/1028.98	c cleaning 512 clauses out of 1024 for limit 2.629801877846777E10
1033.45/1029.05	c cleaning 506 clauses out of 1012 for limit 4.388320738828595E10
1033.55/1029.12	c cleaning 484 clauses out of 1006 for limit 7.280090549564992E10
1033.55/1029.18	c cleaning 490 clauses out of 1022 for limit 1.1817884822601115E11
1033.65/1029.24	c cleaning 502 clauses out of 1032 for limit 1.9300423495846985E11
1033.75/1029.30	c cleaning 500 clauses out of 1030 for limit 3.1890784154374146E11
1033.75/1029.36	c cleaning 515 clauses out of 1030 for limit 5.259216934334054E11
1033.85/1029.43	c cleaning 507 clauses out of 1015 for limit 8.801326954557798E11
1033.85/1029.49	c cleaning 488 clauses out of 1008 for limit 1.4615361162746726E12
1033.96/1029.56	c cleaning 496 clauses out of 1020 for limit 2.3819124756400796E12
1034.06/1029.62	c cleaning 512 clauses out of 1024 for limit 3.9127482082600396E12
1034.06/1029.69	c cleaning 506 clauses out of 1012 for limit 6.529158813355437E12
1034.15/1029.75	c cleaning 503 clauses out of 1006 for limit 1.0831675759964188E13
1034.25/1029.81	c cleaning 484 clauses out of 1003 for limit 1.7916310725845316E13
1034.25/1029.87	c cleaning 493 clauses out of 1019 for limit 2.9082465522719914E13
1034.35/1029.93	c cleaning 499 clauses out of 1026 for limit 4.763365777578933E13
1034.45/1030.00	c cleaning 513 clauses out of 1027 for limit 7.84777849198858E13
1034.45/1030.06	c cleaning 491 clauses out of 1014 for limit 1.3107960136342789E14
1034.55/1030.13	c cleaning 511 clauses out of 1023 for limit 2.1426602867833E14
1034.55/1030.20	c cleaning 506 clauses out of 1012 for limit 3.571941425184446E14
1034.65/1030.26	c cleaning 503 clauses out of 1006 for limit 5.92574211428912E14
1034.75/1030.33	c cleaning 501 clauses out of 1003 for limit 9.80157081448519E14
1034.85/1030.40	c cleaning 501 clauses out of 1002 for limit 1.6180233341598878E15
1034.85/1030.46	c cleaning 500 clauses out of 1001 for limit 2.671002604580813E15
1034.95/1030.53	c cleaning 486 clauses out of 1001 for limit 4.404840615289489E15
1034.95/1030.59	c cleaning 493 clauses out of 1015 for limit 7.163975975459189E15
1035.06/1030.66	c cleaning 511 clauses out of 1022 for limit 1.1733434524988748E16
1035.16/1030.73	c cleaning 505 clauses out of 1011 for limit 1.9560537361967912E16
1035.25/1030.80	c cleaning 503 clauses out of 1006 for limit 3.2418270619629188E16
1035.25/1030.87	c cleaning 501 clauses out of 1003 for limit 5.3621971566266624E16
1035.35/1030.94	c cleaning 501 clauses out of 1002 for limit 8.8518057829728192E16
1035.45/1031.00	c cleaning 484 clauses out of 1001 for limit 0.0014612395138194946
1035.45/1031.07	c cleaning 492 clauses out of 1017 for limit 0.0023718674718314846
1035.55/1031.14	c cleaning 495 clauses out of 1025 for limit 0.003880997774427699
1035.65/1031.20	c cleaning 500 clauses out of 1030 for limit 0.006369215178291729
1035.65/1031.27	c cleaning 499 clauses out of 1030 for limit 0.010503687887365672
1035.75/1031.33	c cleaning 498 clauses out of 1031 for limit 0.017305185333682874
1035.85/1031.40	c cleaning 499 clauses out of 1033 for limit 0.02848331190418801
1035.85/1031.46	c cleaning 499 clauses out of 1034 for limit 0.04692736352742567
1035.95/1031.53	c cleaning 503 clauses out of 1035 for limit 0.07731472782305732
1035.95/1031.60	c cleaning 499 clauses out of 1032 for limit 0.1278729754651625
1036.05/1031.66	c cleaning 499 clauses out of 1033 for limit 0.210675500156155
1036.16/1031.73	c cleaning 499 clauses out of 1034 for limit 0.3470960756040621
1036.16/1031.80	c cleaning 500 clauses out of 1035 for limit 0.5718548112786226
1036.26/1031.86	c cleaning 497 clauses out of 1035 for limit 0.9430650851664371
1036.35/1031.92	c cleaning 508 clauses out of 1041 for limit 1.5509246871557867
1036.35/1031.97	c cleaning 506 clauses out of 1033 for limit 2.5774900889885846
1036.45/1032.02	c cleaning 502 clauses out of 1027 for limit 4.27545922503884
1036.45/1032.08	c cleaning 501 clauses out of 1025 for limit 7.064561889567575
1036.55/1032.13	c cleaning 498 clauses out of 1024 for limit 11.661784987285454
1036.55/1032.19	c cleaning 502 clauses out of 1026 for limit 19.194354555976123
1036.65/1032.24	c cleaning 499 clauses out of 1024 for limit 31.715882770503743
1036.65/1032.29	c cleaning 500 clauses out of 1025 for limit 52.25270553070484
1036.75/1032.34	c cleaning 497 clauses out of 1025 for limit 86.17170166201772
1036.75/1032.40	c cleaning 501 clauses out of 1028 for limit 141.6939498850107
1036.85/1032.45	c cleaning 502 clauses out of 1027 for limit 233.89980783381827
1036.95/1032.50	c cleaning 500 clauses out of 1025 for limit 386.4847216230812
1036.95/1032.55	c cleaning 500 clauses out of 1025 for limit 637.3650089575165
1037.05/1032.60	c cleaning 499 clauses out of 1025 for limit 1051.1001649363855
1037.05/1032.65	c cleaning 499 clauses out of 1026 for limit 1731.7153072959068
1037.15/1032.70	c cleaning 500 clauses out of 1027 for limit 2853.0494565025097
1037.15/1032.76	c cleaning 499 clauses out of 1027 for limit 4705.060227900506
1037.26/1032.81	c cleaning 503 clauses out of 1028 for limit 7751.725815843253
1037.26/1032.86	c cleaning 498 clauses out of 1025 for limit 12821.0483885138
1037.36/1032.91	c cleaning 499 clauses out of 1027 for limit 21102.44845265118
1037.36/1032.96	c cleaning 502 clauses out of 1028 for limit 34766.9076535733
1037.45/1033.01	c cleaning 502 clauses out of 1026 for limit 57447.046436220546
1037.45/1033.07	c cleaning 498 clauses out of 1024 for limit 94922.89959370333
1037.55/1033.12	c cleaning 500 clauses out of 1026 for limit 156235.41269791248
1037.55/1033.17	c cleaning 498 clauses out of 1026 for limit 257653.09633843793
1037.65/1033.22	c cleaning 503 clauses out of 1028 for limit 424077.7617729999
1037.65/1033.27	c cleaning 500 clauses out of 1025 for limit 701407.8714022192
1037.75/1033.32	c cleaning 498 clauses out of 1025 for limit 1156715.4126085634
1037.75/1033.37	c cleaning 499 clauses out of 1027 for limit 1903863.6022017908
1037.85/1033.42	c cleaning 500 clauses out of 1028 for limit 3136671.5663950862
1037.85/1033.47	c cleaning 514 clauses out of 1028 for limit 5172791.029400424
1037.95/1033.52	c cleaning 507 clauses out of 1014 for limit 8648404.235300936
1037.95/1033.57	c cleaning 488 clauses out of 1007 for limit 1.4361518177245874E7
1038.05/1033.62	c cleaning 509 clauses out of 1019 for limit 2.3405155227550812E7
1038.05/1033.67	c cleaning 505 clauses out of 1010 for limit 3.894217669796237E7
1038.15/1033.72	c cleaning 502 clauses out of 1005 for limit 6.454036572716072E7
1038.15/1033.78	c cleaning 486 clauses out of 1003 for limit 1.0664793182995452E8
1038.25/1033.83	c cleaning 494 clauses out of 1017 for limit 1.7345559175294468E8
1038.25/1033.88	c cleaning 496 clauses out of 1023 for limit 2.8437375401191837E8
1038.36/1033.93	c cleaning 498 clauses out of 1027 for limit 4.67143798986938E8
1038.36/1033.98	c cleaning 514 clauses out of 1029 for limit 7.688852755999773E8
1038.46/1034.03	c cleaning 507 clauses out of 1015 for limit 1.2854842608769386E9
1038.46/1034.08	c cleaning 493 clauses out of 1008 for limit 2.1346572896049132E9
1038.55/1034.13	c cleaning 496 clauses out of 1015 for limit 3.49605726445407E9
1038.55/1034.19	c cleaning 509 clauses out of 1019 for limit 5.742834264089385E9
1038.65/1034.24	c cleaning 505 clauses out of 1010 for limit 9.555094357846045E9
1038.65/1034.29	c cleaning 502 clauses out of 1005 for limit 1.5836025017193846E10
1038.75/1034.34	c cleaning 488 clauses out of 1003 for limit 2.6167798980730106E10
1038.75/1034.39	c cleaning 494 clauses out of 1015 for limit 4.2644003732311745E10
1038.85/1034.44	c cleaning 499 clauses out of 1021 for limit 6.991239174519907E10
1038.85/1034.49	c cleaning 497 clauses out of 1022 for limit 1.1518207369958919E11
1038.95/1034.53	c cleaning 501 clauses out of 1025 for limit 1.8939469519575522E11
1038.95/1034.58	c cleaning 499 clauses out of 1024 for limit 3.126422059331067E11
1039.05/1034.63	c cleaning 501 clauses out of 1025 for limit 5.150858086247476E11
1039.05/1034.68	c cleaning 512 clauses out of 1024 for limit 8.502749418975721E11
1039.15/1034.73	c cleaning 506 clauses out of 1012 for limit 1.418844207492348E12
1039.15/1034.78	c cleaning 489 clauses out of 1006 for limit 2.3538193584791E12
1039.25/1034.83	c cleaning 496 clauses out of 1017 for limit 3.839777373171039E12
1039.25/1034.88	c cleaning 498 clauses out of 1021 for limit 6.307498311639525E12
1039.35/1034.93	c cleaning 511 clauses out of 1023 for limit 1.0381572430887447E13
1039.35/1034.97	c cleaning 506 clauses out of 1012 for limit 1.7306695257842328E13
1039.46/1035.02	c cleaning 492 clauses out of 1006 for limit 2.8711280712916035E13
1039.46/1035.07	c cleaning 495 clauses out of 1014 for limit 4.697518272085554E13
1039.56/1035.12	c cleaning 495 clauses out of 1019 for limit 7.708824100263469E13
1039.56/1035.17	c cleaning 512 clauses out of 1024 for limit 1.2650807589209523E14
1039.65/1035.22	c cleaning 506 clauses out of 1012 for limit 2.1110259968371934E14
1039.65/1035.26	c cleaning 491 clauses out of 1006 for limit 3.5021278808264294E14
1039.75/1035.31	c cleaning 507 clauses out of 1015 for limit 5.724266252275259E14
1039.75/1035.36	c cleaning 504 clauses out of 1008 for limit 9.505636945506361E14
1039.85/1035.41	c cleaning 502 clauses out of 1004 for limit 1.5738521414557762E15
1039.85/1035.45	c cleaning 486 clauses out of 1002 for limit 2.600673351639688E15
1039.95/1035.50	c cleaning 496 clauses out of 1016 for limit 4.229759827999854E15
1039.95/1035.55	c cleaning 495 clauses out of 1020 for limit 6.948085137621994E15
1039.95/1035.59	c cleaning 512 clauses out of 1025 for limit 1.1402427637016354E16
1040.05/1035.64	c cleaning 506 clauses out of 1013 for limit 1.9026882307000936E16
1040.05/1035.69	c cleaning 503 clauses out of 1007 for limit 3.1564832831039084E16
1040.15/1035.74	c cleaning 502 clauses out of 1004 for limit 5.221017373527516E16
1040.15/1035.79	c cleaning 501 clauses out of 1002 for limit 8.6273420444829008E16
1040.25/1035.84	c cleaning 485 clauses out of 1001 for limit 0.0014241854604271332
1040.25/1035.89	c cleaning 493 clauses out of 1016 for limit 0.002313997067632866
1040.35/1035.94	c cleaning 495 clauses out of 1023 for limit 0.003789978667765681
1040.35/1035.99	c cleaning 505 clauses out of 1028 for limit 0.0062197821203128535
1040.45/1036.04	c cleaning 499 clauses out of 1023 for limit 0.010307385984274282
1040.45/1036.09	c cleaning 500 clauses out of 1024 for limit 0.01698165852379119
1040.56/1036.14	c cleaning 499 clauses out of 1024 for limit 0.028005026671365407
1040.56/1036.19	c cleaning 500 clauses out of 1025 for limit 0.04613897783098497
1040.66/1036.24	c cleaning 497 clauses out of 1025 for limit 0.07608934680532052
1040.66/1036.28	c cleaning 501 clauses out of 1028 for limit 0.12511532074999587
1040.75/1036.34	c cleaning 498 clauses out of 1027 for limit 0.206532808946604
1040.75/1036.39	c cleaning 502 clauses out of 1029 for limit 0.33993822902439375
1040.85/1036.44	c cleaning 500 clauses out of 1027 for limit 0.5616953462917593
1040.85/1036.49	c cleaning 498 clauses out of 1027 for limit 0.9263107682941886
1040.95/1036.54	c cleaning 501 clauses out of 1029 for limit 1.5246412601765453
1040.95/1036.59	c cleaning 501 clauses out of 1028 for limit 2.51678325439268
1041.05/1036.64	c cleaning 500 clauses out of 1027 for limit 4.154553670354651
1041.05/1036.69	c cleaning 498 clauses out of 1027 for limit 6.851414788661425
1041.15/1036.74	c cleaning 498 clauses out of 1029 for limit 11.276938620300509
1041.15/1036.79	c cleaning 503 clauses out of 1031 for limit 18.56110438210424
1041.25/1036.84	c cleaning 500 clauses out of 1028 for limit 30.69907223344645
1041.25/1036.88	c cleaning 501 clauses out of 1028 for limit 50.626876961362136
1041.35/1036.93	c cleaning 497 clauses out of 1027 for limit 83.57178836569113
1041.35/1036.98	c cleaning 500 clauses out of 1030 for limit 137.41963848851697
1041.45/1037.03	c cleaning 502 clauses out of 1030 for limit 226.62336753790424
1041.45/1037.08	c cleaning 501 clauses out of 1028 for limit 374.4593557468573
1041.55/1037.13	c cleaning 497 clauses out of 1027 for limit 618.1348704150331
1041.55/1037.18	c cleaning 502 clauses out of 1030 for limit 1016.4180052948628
1041.66/1037.23	c cleaning 500 clauses out of 1028 for limit 1679.4703722181764
1041.66/1037.28	c cleaning 501 clauses out of 1028 for limit 2769.6713193145665
1041.76/1037.33	c cleaning 499 clauses out of 1027 for limit 4572.006002205793
1041.76/1037.38	c cleaning 499 clauses out of 1028 for limit 7532.515045679525
1041.85/1037.43	c cleaning 499 clauses out of 1029 for limit 12410.052956210568
1041.85/1037.48	c cleaning 499 clauses out of 1030 for limit 20445.967766816553
1041.95/1037.54	c cleaning 501 clauses out of 1031 for limit 33685.43175743627
1041.95/1037.59	c cleaning 503 clauses out of 1030 for limit 55605.71709466881
1184.32/1178.45	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
1202.02/1196.18	c starts		: 193
1202.02/1196.18	c conflicts		: 6210615
1202.02/1196.18	c decisions		: 10909491
1202.02/1196.18	c propagations		: 94353317
1202.02/1196.18	c inspects		: 2169123133
1202.02/1196.18	c learnt literals	: 0
1202.02/1196.18	c learnt binary clauses	: 2
1202.02/1196.18	c learnt ternary clauses	: 0
1202.02/1196.18	c learnt clauses	: 6210614
1202.02/1196.18	c root simplifications	: 0
1202.02/1196.18	c removed literals (reason simplification)	: 0
1202.02/1196.18	c reason swapping (by a shorter reason)	: 0
1202.02/1196.18	c Calls to reduceDB	: 254
1202.02/1196.18	c speed (decisions/second)	: 28004.93638911992
1204.31/1198.42	c non guided choices	107
1204.31/1198.42	s SATISFIABLE
1206.51/1200.65	Exception in thread "Thread-0" java.lang.OutOfMemoryError: GC overhead limit exceeded
1206.51/1200.66		at java.lang.Integer.toString(Integer.java:310)
1206.51/1200.66		at java.lang.Integer.toString(Integer.java:118)
1206.51/1200.66		at java.lang.String.valueOf(String.java:2931)

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-3732495-1338690629/watcher-3732495-1338690629 -o /tmp/evaluation-result-3732495-1338690629/solver-3732495-1338690629 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732495-1338690629.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.01 2.02 2.00 2/195 18314
/proc/meminfo: memFree=27694556/32873844 swapFree=7120/7120
[pid=18314] ppid=18312 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/18314/stat : 18314 (java) S 18312 18314 15565 0 -1 4202496 1207 0 0 0 0 0 0 0 20 0 2 0 335187773 94019584 917 33554432000 1073741824 1073778376 140736128511952 140736128503088 233224306749 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18314/statm: 22954 917 697 9 0 16769 0
[pid=18314/tid=18315] ppid=18312 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18315/stat : 18315 (java) R 18312 18314 15565 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 335187773 94019584 917 33554432000 1073741824 1073778376 140736128511952 140188964007464 233211784487 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.0594129 s]
/proc/loadavg: 2.01 2.02 2.00 2/195 18314
/proc/meminfo: memFree=27694556/32873844 swapFree=7120/7120
[pid=18314] ppid=18312 vsize=2956804 CPUtime=0.05 cores=0,2,4,6
/proc/18314/stat : 18314 (java) S 18312 18314 15565 0 -1 4202496 4063 0 1 0 4 1 0 0 20 0 18 0 335187773 3027767296 5781 33554432000 1073741824 1073778376 140736128511952 140736128503088 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18314/statm: 739201 5781 1767 9 0 729885 0
[pid=18314/tid=18315] ppid=18312 vsize=2956804 CPUtime=0.03 cores=0,2,4,6
/proc/18314/task/18315/stat : 18315 (java) R 18312 18314 15565 0 -1 4202560 2852 0 1 0 3 0 0 0 20 0 18 0 335187773 3027767296 5781 33554432000 1073741824 1073778376 140736128511952 140188964014752 233224332557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2956804

[startup+0.100352 s]
/proc/loadavg: 2.01 2.02 2.00 2/195 18314
/proc/meminfo: memFree=27694556/32873844 swapFree=7120/7120
[pid=18314] ppid=18312 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/18314/stat : 18314 (java) S 18312 18314 15565 0 -1 4202496 4925 0 1 0 9 1 0 0 20 0 18 0 335187773 3028844544 6622 33554432000 1073741824 1073778376 140736128511952 140736128503088 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18314/statm: 739464 6622 2127 9 0 729885 0
[pid=18314/tid=18315] ppid=18312 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/18314/task/18315/stat : 18315 (java) R 18312 18314 15565 0 -1 4202560 3011 0 1 0 7 0 0 0 20 0 18 0 335187773 3028844544 6622 33554432000 1073741824 1073778376 140736128511952 140188964000824 233224332557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.300196 s]
/proc/loadavg: 2.01 2.02 2.00 2/195 18314
/proc/meminfo: memFree=27694556/32873844 swapFree=7120/7120
[pid=18314] ppid=18312 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/18314/stat : 18314 (java) S 18312 18314 15565 0 -1 4202496 6022 0 1 0 46 1 0 0 20 0 19 0 335187773 3097006080 8920 33554432000 1073741824 1073778376 140736128511952 140736128503088 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18314/statm: 756105 8920 2251 9 0 746526 0
[pid=18314/tid=18315] ppid=18312 vsize=3024420 CPUtime=0.27 cores=0,2,4,6
/proc/18314/task/18315/stat : 18315 (java) R 18312 18314 15565 0 -1 4202560 3044 0 1 0 26 1 0 0 20 0 19 0 335187773 3097006080 8920 33554432000 1073741824 1073778376 140736128511952 140188964012648 140188823123494 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 3024420

[startup+0.70026 s]
/proc/loadavg: 2.01 2.02 2.00 2/195 18314
/proc/meminfo: memFree=27694556/32873844 swapFree=7120/7120
[pid=18314] ppid=18312 vsize=3024420 CPUtime=1.18 cores=0,2,4,6
/proc/18314/stat : 18314 (java) S 18312 18314 15565 0 -1 4202496 8871 0 1 0 116 2 0 0 20 0 19 0 335187773 3097006080 12129 33554432000 1073741824 1073778376 140736128511952 140736128503088 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18314/statm: 756105 12129 2267 9 0 746526 0
[pid=18314/tid=18315] ppid=18312 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/18314/task/18315/stat : 18315 (java) R 18312 18314 15565 0 -1 4202560 3048 0 1 0 66 1 0 0 20 0 19 0 335187773 3097006080 12129 33554432000 1073741824 1073778376 140736128511952 140188964012648 140188823613831 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 3024420

[startup+1.50068 s]
/proc/loadavg: 2.01 2.02 2.00 3/214 18342
/proc/meminfo: memFree=27650512/32873844 swapFree=7120/7120
[pid=18314] ppid=18312 vsize=3024420 CPUtime=2.03 cores=0,2,4,6
/proc/18314/stat : 18314 (java) S 18312 18314 15565 0 -1 4202496 8884 0 1 0 201 2 0 0 20 0 19 0 335187773 3097006080 14692 33554432000 1073741824 1073778376 140736128511952 140736128503088 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18314/statm: 756105 14692 2269 9 0 746526 0
[pid=18314/tid=18315] ppid=18312 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/18314/task/18315/stat : 18315 (java) R 18312 18314 15565 0 -1 4202560 3054 0 1 0 146 1 0 0 20 0 19 0 335187773 3097006080 14692 33554432000 1073741824 1073778376 140736128511952 140188964012664 140188823613796 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18314/tid=18317] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18317/stat : 18317 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 14692 33554432000 1073741824 1073778376 140736128511952 140188947438376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18318] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18318/stat : 18318 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 14692 33554432000 1073741824 1073778376 140736128511952 140188946385576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18314/tid=18319] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18319/stat : 18319 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 14692 33554432000 1073741824 1073778376 140736128511952 140188945333288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18320] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18320/stat : 18320 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 14692 33554432000 1073741824 1073778376 140736128511952 140188944280488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18314/tid=18321] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18321/stat : 18321 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 14692 33554432000 1073741824 1073778376 140736128511952 140188943227176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18322] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18322/stat : 18322 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 14692 33554432000 1073741824 1073778376 140736128511952 140188942174376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18314/tid=18323] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18323/stat : 18323 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 14692 33554432000 1073741824 1073778376 140736128511952 140188823054888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18324] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18324/stat : 18324 (java) S 18312 18314 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 14692 33554432000 1073741824 1073778376 140736128511952 140188822002088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18325] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18325/stat : 18325 (java) S 18312 18314 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335187775 3097006080 14692 33554432000 1073741824 1073778376 140736128511952 140188809804520 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18314/tid=18326] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18326/stat : 18326 (java) S 18312 18314 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335187776 3097006080 14692 33554432000 1073741824 1073778376 140736128511952 140188808750584 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18327] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18327/stat : 18327 (java) S 18312 18314 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335187776 3097006080 14692 33554432000 1073741824 1073778376 140736128511952 140188807698184 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18328] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18328/stat : 18328 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187778 3097006080 14692 33554432000 1073741824 1073778376 140736128511952 140188068080528 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18329] ppid=18312 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/18314/task/18329/stat : 18329 (java) S 18312 18314 15565 0 -1 4202560 1931 0 0 0 26 0 0 0 20 0 19 0 335187778 3097006080 14692 33554432000 1073741824 1073778376 140736128511952 140188067027128 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18330] ppid=18312 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/18314/task/18330/stat : 18330 (java) S 18312 18314 15565 0 -1 4202560 2684 0 0 0 26 0 0 0 20 0 19 0 335187778 3097006080 14692 33554432000 1073741824 1073778376 140736128511952 140188065974328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18331] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18331/stat : 18331 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187778 3097006080 14692 33554432000 1073741824 1073778376 140736128511952 140188064922232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18332] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18332/stat : 18332 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187778 3097006080 14692 33554432000 1073741824 1073778376 140736128511952 140188063869640 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18314/tid=18342] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18342/stat : 18342 (java) S 18312 18314 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335187847 3097006080 14692 33554432000 1073741824 1073778376 140736128511952 140188061738280 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 3024420

[startup+3.10073 s]
/proc/loadavg: 2.01 2.02 2.00 3/214 18342
/proc/meminfo: memFree=27640272/32873844 swapFree=7120/7120
[pid=18314] ppid=18312 vsize=3024420 CPUtime=3.74 cores=0,2,4,6
/proc/18314/stat : 18314 (java) S 18312 18314 15565 0 -1 4202496 9774 0 1 0 371 3 0 0 20 0 19 0 335187773 3097006080 20172 33554432000 1073741824 1073778376 140736128511952 140736128503088 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18314/statm: 756105 20172 2272 9 0 746526 0
[pid=18314/tid=18315] ppid=18312 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/18314/task/18315/stat : 18315 (java) R 18312 18314 15565 0 -1 4202560 3065 0 1 0 305 1 0 0 20 0 19 0 335187773 3097006080 20172 33554432000 1073741824 1073778376 140736128511952 140188964012904 140188823656369 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18314/tid=18317] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18317/stat : 18317 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 20172 33554432000 1073741824 1073778376 140736128511952 140188947438376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18318] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18318/stat : 18318 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 20172 33554432000 1073741824 1073778376 140736128511952 140188946385576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18314/tid=18319] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18319/stat : 18319 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 20172 33554432000 1073741824 1073778376 140736128511952 140188945333288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18320] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18320/stat : 18320 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 20172 33554432000 1073741824 1073778376 140736128511952 140188944280488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18314/tid=18321] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18321/stat : 18321 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 20172 33554432000 1073741824 1073778376 140736128511952 140188943227176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18322] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18322/stat : 18322 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 20172 33554432000 1073741824 1073778376 140736128511952 140188942174376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18314/tid=18323] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18323/stat : 18323 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 20172 33554432000 1073741824 1073778376 140736128511952 140188823054888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18324] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18324/stat : 18324 (java) S 18312 18314 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 20172 33554432000 1073741824 1073778376 140736128511952 140188822002088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18325] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18325/stat : 18325 (java) S 18312 18314 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335187775 3097006080 20172 33554432000 1073741824 1073778376 140736128511952 140188809804520 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18314/tid=18326] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18326/stat : 18326 (java) S 18312 18314 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335187776 3097006080 20172 33554432000 1073741824 1073778376 140736128511952 140188808750584 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18327] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18327/stat : 18327 (java) S 18312 18314 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335187776 3097006080 20172 33554432000 1073741824 1073778376 140736128511952 140188807698184 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18328] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18328/stat : 18328 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187778 3097006080 20172 33554432000 1073741824 1073778376 140736128511952 140188068080528 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18329] ppid=18312 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/18314/task/18329/stat : 18329 (java) S 18312 18314 15565 0 -1 4202560 2243 0 0 0 29 0 0 0 20 0 19 0 335187778 3097006080 20172 33554432000 1073741824 1073778376 140736128511952 140188067027128 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18330] ppid=18312 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/18314/task/18330/stat : 18330 (java) S 18312 18314 15565 0 -1 4202560 3243 0 0 0 33 0 0 0 20 0 19 0 335187778 3097006080 20172 33554432000 1073741824 1073778376 140736128511952 140188065974328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18331] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18331/stat : 18331 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187778 3097006080 20172 33554432000 1073741824 1073778376 140736128511952 140188064922232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18332] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18332/stat : 18332 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187778 3097006080 20172 33554432000 1073741824 1073778376 140736128511952 140188063869640 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 3024420

[startup+6.30067 s]
/proc/loadavg: 2.01 2.02 2.00 3/214 18355
/proc/meminfo: memFree=27593596/32873844 swapFree=7120/7120
[pid=18314] ppid=18312 vsize=3024420 CPUtime=7 cores=0,2,4,6
/proc/18314/stat : 18314 (java) S 18312 18314 15565 0 -1 4202496 9819 0 1 0 697 3 0 0 20 0 19 0 335187773 3097006080 28647 33554432000 1073741824 1073778376 140736128511952 140736128503088 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18314/statm: 756105 28647 2276 9 0 746526 0
[pid=18314/tid=18315] ppid=18312 vsize=3024420 CPUtime=6.26 cores=0,2,4,6
/proc/18314/task/18315/stat : 18315 (java) R 18312 18314 15565 0 -1 4202560 3084 0 1 0 624 2 0 0 20 0 19 0 335187773 3097006080 28647 33554432000 1073741824 1073778376 140736128511952 140188964010464 140188823573230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18314/tid=18317] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18317/stat : 18317 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 28647 33554432000 1073741824 1073778376 140736128511952 140188947438376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18318] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18318/stat : 18318 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 28647 33554432000 1073741824 1073778376 140736128511952 140188946385576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18314/tid=18319] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18319/stat : 18319 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 28647 33554432000 1073741824 1073778376 140736128511952 140188945333288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18320] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18320/stat : 18320 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 28647 33554432000 1073741824 1073778376 140736128511952 140188944280488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18314/tid=18321] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18321/stat : 18321 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 28647 33554432000 1073741824 1073778376 140736128511952 140188943227176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18322] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18322/stat : 18322 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 28647 33554432000 1073741824 1073778376 140736128511952 140188942174376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18314/tid=18323] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18323/stat : 18323 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 28647 33554432000 1073741824 1073778376 140736128511952 140188823054888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18324] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18324/stat : 18324 (java) S 18312 18314 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335187774 3097006080 28647 33554432000 1073741824 1073778376 140736128511952 140188822002088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18325] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18325/stat : 18325 (java) S 18312 18314 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335187775 3097006080 28647 33554432000 1073741824 1073778376 140736128511952 140188809804520 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18314/tid=18326] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18326/stat : 18326 (java) S 18312 18314 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335187776 3097006080 28647 33554432000 1073741824 1073778376 140736128511952 140188808750584 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18327] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18327/stat : 18327 (java) S 18312 18314 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335187776 3097006080 28647 33554432000 1073741824 1073778376 140736128511952 140188807698184 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18328] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18328/stat : 18328 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187778 3097006080 28647 33554432000 1073741824 1073778376 140736128511952 140188068080528 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18329] ppid=18312 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/18314/task/18329/stat : 18329 (java) S 18312 18314 15565 0 -1 4202560 2246 0 0 0 32 0 0 0 20 0 19 0 335187778 3097006080 28647 33554432000 1073741824 1073778376 140736128511952 140188067027128 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18330] ppid=18312 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/18314/task/18330/stat : 18330 (java) S 18312 18314 15565 0 -1 4202560 3246 0 0 0 37 0 0 0 20 0 19 0 335187778 3097006080 28647 33554432000 1073741824 1073778376 140736128511952 140188065974328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18331] ppid=18312 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18331/stat : 18331 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335187778 3097006080 28647 33554432000 1073741824 1073778376 140736128511952 140188064922232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

/proc/18314/task/18328/stat : 18328 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188068080528 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18329] ppid=18312 vsize=3090984 CPUtime=0.37 cores=0,2,4,6
/proc/18314/task/18329/stat : 18329 (java) S 18312 18314 15565 0 -1 4202560 2264 0 0 0 37 0 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188067027128 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18330] ppid=18312 vsize=3090984 CPUtime=0.45 cores=0,2,4,6
/proc/18314/task/18330/stat : 18330 (java) S 18312 18314 15565 0 -1 4202560 3322 0 0 0 45 0 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188065974328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18331] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18331/stat : 18331 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188064922232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18332] ppid=18312 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/18314/task/18332/stat : 18332 (java) S 18312 18314 15565 0 -1 4202560 70 0 0 0 16 16 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188063869640 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18314/tid=18364] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18364/stat : 18364 (java) S 18312 18314 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 335268436 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188061738280 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18369] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18369/stat : 18369 (java) S 18312 18314 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 335307133 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188060684488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1205.81
Current children cumulated vsize (KiB) 3090984

[startup+1200.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 18369
/proc/meminfo: memFree=25698256/32873844 swapFree=7120/7120
[pid=18314] ppid=18312 vsize=3090984 CPUtime=1206.61 cores=0,2,4,6
/proc/18314/stat : 18314 (java) S 18312 18314 15565 0 -1 4202496 13213 0 1 0 120535 126 0 0 20 0 20 0 335187773 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140736128503088 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18314/statm: 772746 419018 2302 9 0 763167 0
[pid=18314/tid=18315] ppid=18312 vsize=3090984 CPUtime=1162.27 cores=0,2,4,6
/proc/18314/task/18315/stat : 18315 (java) S 18312 18314 15565 0 -1 4202560 3295 0 1 0 116202 25 0 0 20 0 20 0 335187773 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188964013240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18314/tid=18317] ppid=18312 vsize=3090984 CPUtime=0.68 cores=0,2,4,6
/proc/18314/task/18317/stat : 18317 (java) S 18312 18314 15565 0 -1 4202560 234 0 0 0 58 10 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188947438376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18314/tid=18318] ppid=18312 vsize=3090984 CPUtime=0.73 cores=0,2,4,6
/proc/18314/task/18318/stat : 18318 (java) S 18312 18314 15565 0 -1 4202560 419 0 0 0 62 11 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188946385576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18319] ppid=18312 vsize=3090984 CPUtime=1.01 cores=0,2,4,6
/proc/18314/task/18319/stat : 18319 (java) S 18312 18314 15565 0 -1 4202560 427 0 0 0 84 17 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188945333288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18320] ppid=18312 vsize=3090984 CPUtime=0.99 cores=0,2,4,6
/proc/18314/task/18320/stat : 18320 (java) S 18312 18314 15565 0 -1 4202560 289 0 0 0 86 13 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188944280488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18314/tid=18321] ppid=18312 vsize=3090984 CPUtime=0.67 cores=0,2,4,6
/proc/18314/task/18321/stat : 18321 (java) S 18312 18314 15565 0 -1 4202560 333 0 0 0 57 10 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188943227176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18314/tid=18322] ppid=18312 vsize=3090984 CPUtime=0.87 cores=0,2,4,6
/proc/18314/task/18322/stat : 18322 (java) S 18312 18314 15565 0 -1 4202560 385 0 0 0 76 11 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188942174376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18323] ppid=18312 vsize=3090984 CPUtime=0.64 cores=0,2,4,6
/proc/18314/task/18323/stat : 18323 (java) S 18312 18314 15565 0 -1 4202560 324 0 0 0 56 8 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188823054888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18324] ppid=18312 vsize=3090984 CPUtime=0.91 cores=0,2,4,6
/proc/18314/task/18324/stat : 18324 (java) S 18312 18314 15565 0 -1 4202560 334 0 0 0 76 15 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188822002088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18325] ppid=18312 vsize=3090984 CPUtime=33.56 cores=0,2,4,6
/proc/18314/task/18325/stat : 18325 (java) R 18312 18314 15565 0 -1 4202560 251 0 0 0 3350 6 0 0 20 0 20 0 335187775 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188809804520 140188970138767 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18326] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18326/stat : 18326 (java) S 18312 18314 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 335187776 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188808750584 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18327] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18327/stat : 18327 (java) S 18312 18314 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 335187776 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188807698184 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18328] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18328/stat : 18328 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188068080528 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18329] ppid=18312 vsize=3090984 CPUtime=0.37 cores=0,2,4,6
/proc/18314/task/18329/stat : 18329 (java) S 18312 18314 15565 0 -1 4202560 2264 0 0 0 37 0 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188067027128 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18330] ppid=18312 vsize=3090984 CPUtime=0.45 cores=0,2,4,6
/proc/18314/task/18330/stat : 18330 (java) S 18312 18314 15565 0 -1 4202560 3322 0 0 0 45 0 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188065974328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18331] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18331/stat : 18331 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188064922232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18332] ppid=18312 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/18314/task/18332/stat : 18332 (java) S 18312 18314 15565 0 -1 4202560 70 0 0 0 16 16 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188063869640 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18314/tid=18364] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18364/stat : 18364 (java) S 18312 18314 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 335268436 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188061738280 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18369] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18369/stat : 18369 (java) S 18312 18314 15565 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 20 0 335307133 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188060684904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1206.61
Current children cumulated vsize (KiB) 3090984

[startup+1201.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 18369
/proc/meminfo: memFree=25698256/32873844 swapFree=7120/7120
[pid=18314] ppid=18312 vsize=3090984 CPUtime=1207.41 cores=0,2,4,6
/proc/18314/stat : 18314 (java) S 18312 18314 15565 0 -1 4202496 13214 0 1 0 120615 126 0 0 20 0 20 0 335187773 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140736128503088 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18314/statm: 772746 419018 2302 9 0 763167 0
[pid=18314/tid=18315] ppid=18312 vsize=3090984 CPUtime=1162.27 cores=0,2,4,6
/proc/18314/task/18315/stat : 18315 (java) S 18312 18314 15565 0 -1 4202560 3295 0 1 0 116202 25 0 0 20 0 20 0 335187773 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188964013240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18314/tid=18317] ppid=18312 vsize=3090984 CPUtime=0.68 cores=0,2,4,6
/proc/18314/task/18317/stat : 18317 (java) S 18312 18314 15565 0 -1 4202560 234 0 0 0 58 10 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188947438376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18314/tid=18318] ppid=18312 vsize=3090984 CPUtime=0.73 cores=0,2,4,6
/proc/18314/task/18318/stat : 18318 (java) S 18312 18314 15565 0 -1 4202560 419 0 0 0 62 11 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188946385576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18319] ppid=18312 vsize=3090984 CPUtime=1.01 cores=0,2,4,6
/proc/18314/task/18319/stat : 18319 (java) S 18312 18314 15565 0 -1 4202560 427 0 0 0 84 17 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188945333288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18320] ppid=18312 vsize=3090984 CPUtime=0.99 cores=0,2,4,6
/proc/18314/task/18320/stat : 18320 (java) S 18312 18314 15565 0 -1 4202560 289 0 0 0 86 13 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188944280488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18314/tid=18321] ppid=18312 vsize=3090984 CPUtime=0.67 cores=0,2,4,6
/proc/18314/task/18321/stat : 18321 (java) S 18312 18314 15565 0 -1 4202560 333 0 0 0 57 10 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188943227176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18314/tid=18322] ppid=18312 vsize=3090984 CPUtime=0.87 cores=0,2,4,6
/proc/18314/task/18322/stat : 18322 (java) S 18312 18314 15565 0 -1 4202560 385 0 0 0 76 11 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188942174376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18323] ppid=18312 vsize=3090984 CPUtime=0.64 cores=0,2,4,6
/proc/18314/task/18323/stat : 18323 (java) S 18312 18314 15565 0 -1 4202560 324 0 0 0 56 8 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188823054888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18324] ppid=18312 vsize=3090984 CPUtime=0.91 cores=0,2,4,6
/proc/18314/task/18324/stat : 18324 (java) S 18312 18314 15565 0 -1 4202560 334 0 0 0 76 15 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188822002088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18325] ppid=18312 vsize=3090984 CPUtime=34.36 cores=0,2,4,6
/proc/18314/task/18325/stat : 18325 (java) R 18312 18314 15565 0 -1 4202560 251 0 0 0 3430 6 0 0 20 0 20 0 335187775 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188809804520 140188970866897 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18326] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18326/stat : 18326 (java) S 18312 18314 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 335187776 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188808750584 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18327] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18327/stat : 18327 (java) S 18312 18314 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 335187776 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188807698184 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18328] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18328/stat : 18328 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188068080528 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18329] ppid=18312 vsize=3090984 CPUtime=0.37 cores=0,2,4,6
/proc/18314/task/18329/stat : 18329 (java) S 18312 18314 15565 0 -1 4202560 2264 0 0 0 37 0 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188067027128 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18330] ppid=18312 vsize=3090984 CPUtime=0.45 cores=0,2,4,6
/proc/18314/task/18330/stat : 18330 (java) S 18312 18314 15565 0 -1 4202560 3322 0 0 0 45 0 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188065974328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18331] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18331/stat : 18331 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188064922232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18332] ppid=18312 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/18314/task/18332/stat : 18332 (java) S 18312 18314 15565 0 -1 4202560 70 0 0 0 16 16 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188063869640 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18314/tid=18364] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18364/stat : 18364 (java) S 18312 18314 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 335268436 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188061738280 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18369] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18369/stat : 18369 (java) S 18312 18314 15565 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 335307133 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188060684008 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1207.41
Current children cumulated vsize (KiB) 3090984

[startup+1201.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 18369
/proc/meminfo: memFree=25698256/32873844 swapFree=7120/7120
[pid=18314] ppid=18312 vsize=3090984 CPUtime=1207.61 cores=0,2,4,6
/proc/18314/stat : 18314 (java) S 18312 18314 15565 0 -1 4202496 13214 0 1 0 120635 126 0 0 20 0 20 0 335187773 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140736128503088 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18314/statm: 772746 419018 2302 9 0 763167 0
[pid=18314/tid=18315] ppid=18312 vsize=3090984 CPUtime=1162.27 cores=0,2,4,6
/proc/18314/task/18315/stat : 18315 (java) S 18312 18314 15565 0 -1 4202560 3295 0 1 0 116202 25 0 0 20 0 20 0 335187773 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188964013240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18314/tid=18317] ppid=18312 vsize=3090984 CPUtime=0.68 cores=0,2,4,6
/proc/18314/task/18317/stat : 18317 (java) S 18312 18314 15565 0 -1 4202560 234 0 0 0 58 10 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188947438376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18314/tid=18318] ppid=18312 vsize=3090984 CPUtime=0.73 cores=0,2,4,6
/proc/18314/task/18318/stat : 18318 (java) S 18312 18314 15565 0 -1 4202560 419 0 0 0 62 11 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188946385576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18319] ppid=18312 vsize=3090984 CPUtime=1.01 cores=0,2,4,6
/proc/18314/task/18319/stat : 18319 (java) S 18312 18314 15565 0 -1 4202560 427 0 0 0 84 17 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188945333288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18320] ppid=18312 vsize=3090984 CPUtime=0.99 cores=0,2,4,6
/proc/18314/task/18320/stat : 18320 (java) S 18312 18314 15565 0 -1 4202560 289 0 0 0 86 13 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188944280488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18314/tid=18321] ppid=18312 vsize=3090984 CPUtime=0.67 cores=0,2,4,6
/proc/18314/task/18321/stat : 18321 (java) S 18312 18314 15565 0 -1 4202560 333 0 0 0 57 10 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188943227176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18314/tid=18322] ppid=18312 vsize=3090984 CPUtime=0.87 cores=0,2,4,6
/proc/18314/task/18322/stat : 18322 (java) S 18312 18314 15565 0 -1 4202560 385 0 0 0 76 11 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188942174376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18323] ppid=18312 vsize=3090984 CPUtime=0.64 cores=0,2,4,6
/proc/18314/task/18323/stat : 18323 (java) S 18312 18314 15565 0 -1 4202560 324 0 0 0 56 8 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188823054888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18324] ppid=18312 vsize=3090984 CPUtime=0.91 cores=0,2,4,6
/proc/18314/task/18324/stat : 18324 (java) S 18312 18314 15565 0 -1 4202560 334 0 0 0 76 15 0 0 20 0 20 0 335187774 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188822002088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18325] ppid=18312 vsize=3090984 CPUtime=34.56 cores=0,2,4,6
/proc/18314/task/18325/stat : 18325 (java) R 18312 18314 15565 0 -1 4202560 251 0 0 0 3450 6 0 0 20 0 20 0 335187775 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188809804520 140188970867988 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18326] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18326/stat : 18326 (java) S 18312 18314 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 335187776 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188808750584 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18327] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18327/stat : 18327 (java) S 18312 18314 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 335187776 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188807698184 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18328] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18328/stat : 18328 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188068080528 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18329] ppid=18312 vsize=3090984 CPUtime=0.37 cores=0,2,4,6
/proc/18314/task/18329/stat : 18329 (java) S 18312 18314 15565 0 -1 4202560 2264 0 0 0 37 0 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188067027128 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18330] ppid=18312 vsize=3090984 CPUtime=0.45 cores=0,2,4,6
/proc/18314/task/18330/stat : 18330 (java) S 18312 18314 15565 0 -1 4202560 3322 0 0 0 45 0 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188065974328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18331] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18331/stat : 18331 (java) S 18312 18314 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188064922232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18314/tid=18332] ppid=18312 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/18314/task/18332/stat : 18332 (java) S 18312 18314 15565 0 -1 4202560 70 0 0 0 16 16 0 0 20 0 20 0 335187778 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188063869640 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18314/tid=18364] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18364/stat : 18364 (java) S 18312 18314 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 335268436 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188061738280 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18314/tid=18369] ppid=18312 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18314/task/18369/stat : 18369 (java) S 18312 18314 15565 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 335307133 3165167616 419018 33554432000 1073741824 1073778376 140736128511952 140188060684008 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1207.61
Current children cumulated vsize (KiB) 3090984

Child status: 1

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18314 and gives
#  childrusage.ru_utime.tv_sec=1203
#  childrusage.ru_utime.tv_usec=239079
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=562762
# CPU time returned by wait4() is 1204.8
# while last known CPU time is 1207.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1201.78
CPU time (s): 1207.61
CPU user time (s): 1206.35
CPU system time (s): 1.26
CPU usage (%): 100.485
Max. virtual memory (cumulated for all children) (KiB): 3090984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1203.24
system time used= 1.56276
maximum resident set size= 1676096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13225
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26019
involuntary context switches= 10233

runsolver used 4.10438 second user time and 9.13261 second system time

The end

Launcher Data

Begin job on node142 at 2012-06-03 04:30:29
IDJOB=3732495
IDBENCH=2105
IDSOLVER=2319
FILE ID=node142/3732495-1338690629
RUNJOBID= node142-1338678627-15585
PBS_JOBID= 14636671
Free space on /tmp= 71188 MiB

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

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

MD5SUM BENCH= 0d4648505d14cf43905d3198d6f686c2
RANDOM SEED=111840743

node142.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.776
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.55
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.776
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.776
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	: 5391.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.776
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.92
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.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27695316 kB
Buffers:          245748 kB
Cached:          2748596 kB
SwapCached:            0 kB
Active:          2465308 kB
Inactive:        1875992 kB
Active(anon):    1338068 kB
Inactive(anon):    11220 kB
Active(file):    1127240 kB
Inactive(file):  1864772 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3488 kB
Writeback:             0 kB
AnonPages:       1376396 kB
Mapped:            18756 kB
Shmem:               200 kB
Slab:             674836 kB
SReclaimable:     116552 kB
SUnreclaim:       558284 kB
KernelStack:        1592 kB
PageTables:         6848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1825440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1331200 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= 71184 MiB
End job on node142 at 2012-06-03 04:50:31