Trace number 3732704

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) 698.738 693.782

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a4.opb
MD5SUM39250f205953aedd83d7a2bcba6bda16
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark283
Best CPU time to get the best result obtained on this benchmark1.59476
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 283
Optimality of the best value was proved NO
Number of variables792
Total number of constraints3194
Number of constraints which are clauses3194
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 constraint8
Number of terms in the objective function 792
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 792
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 792
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.02/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.02/0.06	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.02/0.06	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.02/0.07	c no version file found!!!
0.02/0.07	c sun.arch.data.model	64
0.02/0.07	c java.version	1.6.0_24
0.02/0.07	c os.name	Linux
0.02/0.07	c os.version	2.6.32-71.29.1.el6.x86_64
0.02/0.07	c os.arch	amd64
0.02/0.07	c Free memory 1599470296
0.02/0.07	c Max memory 1607860224
0.02/0.07	c Total memory 1607860224
0.02/0.07	c Number of processors 8
0.02/0.09	--- Begin Solver configuration ---
0.02/0.09	c Stops conflict analysis at the first Unique Implication Point
0.02/0.09	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.02/0.09	c Learn all clauses as in MiniSAT
0.02/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.02/0.09	c VSIDS like heuristics from MiniSAT using a heap
0.02/0.09	c No reason simplification
0.02/0.09	c --- End Solver configuration ---
0.02/0.09	c solving HOME/instance-3732704-1338691640.opb
0.02/0.09	c reading problem ... 
0.48/0.30	c ... done. Wall clock time 0.208s.
0.48/0.30	c CPU time (experimental) 0.27s.
0.48/0.30	c #vars     792
0.48/0.30	c #constraints  3194
0.48/0.32	c SATISFIABLE
0.48/0.32	c OPTIMIZING...
0.48/0.32	c Got one! Elapsed wall clock time (in seconds):0.23
0.48/0.33	o 341
134.83/132.66	c cleaning 463735 clauses out of 927505 for limit 0.0011079666820891902
151.34/149.19	c cleaning 232125 clauses out of 464269 for limit 0.003646654761672496
153.14/150.93	c cleaning 116314 clauses out of 232645 for limit 0.012013263726140054
154.75/152.56	c cleaning 58398 clauses out of 116830 for limit 0.039411388240315974
155.25/153.01	c cleaning 29464 clauses out of 58933 for limit 0.12897571935809357
155.34/153.15	c cleaning 14963 clauses out of 29969 for limit 0.41826366983763436
155.44/153.22	c cleaning 7732 clauses out of 15505 for limit 1.3319011687652482
155.44/153.29	c cleaning 4113 clauses out of 8274 for limit 4.120203368296882
155.54/153.33	c cleaning 2303 clauses out of 4661 for limit 12.061767516742947
155.54/153.37	c cleaning 1405 clauses out of 2858 for limit 32.44021463180391
155.64/153.40	c cleaning 952 clauses out of 1952 for limit 78.25056919650005
155.64/153.44	c cleaning 724 clauses out of 1501 for limit 167.98752252078734
155.64/153.47	c cleaning 609 clauses out of 1276 for limit 325.5580348162419
155.74/153.50	c cleaning 559 clauses out of 1167 for limit 587.0351733331853
155.74/153.53	c cleaning 527 clauses out of 1109 for limit 1019.7502777761808
155.74/153.56	c cleaning 513 clauses out of 1081 for limit 1723.5387805762098
155.74/153.59	c cleaning 510 clauses out of 1068 for limit 2876.9438648766622
155.84/153.62	c cleaning 504 clauses out of 1058 for limit 4789.309021273901
155.84/153.66	c cleaning 502 clauses out of 1055 for limit 7928.599246189194
155.84/153.69	c cleaning 499 clauses out of 1053 for limit 13100.155243520254
155.94/153.72	c cleaning 500 clauses out of 1053 for limit 21582.30459547578
155.94/153.75	c cleaning 500 clauses out of 1054 for limit 35593.93283688282
155.94/153.78	c cleaning 501 clauses out of 1054 for limit 58699.15691916495
156.04/153.82	c cleaning 499 clauses out of 1052 for limit 96889.81126431162
156.04/153.85	c cleaning 498 clauses out of 1053 for limit 159632.51852414644
156.04/153.89	c cleaning 499 clauses out of 1056 for limit 262770.2639691028
156.15/153.92	c cleaning 501 clauses out of 1058 for limit 432957.10064840893
156.15/153.95	c cleaning 500 clauses out of 1057 for limit 714679.6795762429
156.15/153.98	c cleaning 502 clauses out of 1057 for limit 1178602.3997582593
156.25/154.01	c cleaning 498 clauses out of 1054 for limit 1947256.0986758242
156.25/154.05	c cleaning 501 clauses out of 1055 for limit 3205033.6912417477
156.25/154.08	c cleaning 527 clauses out of 1055 for limit 5290820.138732735
156.34/154.11	c cleaning 486 clauses out of 1027 for limit 8954191.726459386
156.34/154.14	c cleaning 520 clauses out of 1041 for limit 1.4568069018257668E7
156.34/154.17	c cleaning 484 clauses out of 1021 for limit 2.4495305754070837E7
156.44/154.20	c cleaning 519 clauses out of 1038 for limit 3.977421821647153E7
156.44/154.23	c cleaning 480 clauses out of 1019 for limit 6.681603630495556E7
156.44/154.26	c cleaning 490 clauses out of 1039 for limit 1.0806753168533397E8
156.44/154.28	c cleaning 495 clauses out of 1048 for limit 1.7651063292659253E8
156.54/154.31	c cleaning 495 clauses out of 1053 for limit 2.897074548105739E8
156.54/154.34	c cleaning 529 clauses out of 1058 for limit 4.755084743556215E8
156.54/154.37	c cleaning 484 clauses out of 1029 for limit 8.062773154720454E8
156.64/154.40	c cleaning 496 clauses out of 1045 for limit 1.3093007373777688E9
156.64/154.43	c cleaning 497 clauses out of 1049 for limit 2.150978659916497E9
156.64/154.46	c cleaning 499 clauses out of 1053 for limit 3.5373140372711864E9
156.64/154.49	c cleaning 526 clauses out of 1053 for limit 5.827670556805095E9
156.74/154.52	c cleaning 513 clauses out of 1027 for limit 9.853914900750134E9
156.74/154.55	c cleaning 506 clauses out of 1014 for limit 1.645876267249452E10
156.74/154.58	c cleaning 476 clauses out of 1008 for limit 2.730426515999326E10
156.84/154.61	c cleaning 516 clauses out of 1033 for limit 4.398262060284598E10
156.84/154.65	c cleaning 480 clauses out of 1016 for limit 7.367312487777408E10
156.84/154.67	c cleaning 489 clauses out of 1036 for limit 1.1915133992043665E11
156.94/154.71	c cleaning 488 clauses out of 1047 for limit 1.9443206617481973E11
156.94/154.74	c cleaning 501 clauses out of 1059 for limit 3.170111224781325E11
156.94/154.77	c cleaning 529 clauses out of 1059 for limit 5.2331706702270197E11
157.04/154.80	c cleaning 514 clauses out of 1029 for limit 8.872925994637327E11
157.04/154.83	c cleaning 479 clauses out of 1016 for limit 1.4834705355862869E12
157.04/154.86	c cleaning 489 clauses out of 1036 for limit 2.3968135577050513E12
157.04/154.90	c cleaning 524 clauses out of 1048 for limit 3.9113179780122075E12
157.14/154.93	c cleaning 512 clauses out of 1024 for limit 6.601465184511689E12
157.14/154.96	c cleaning 506 clauses out of 1013 for limit 1.1015932021549379E13
157.14/154.99	c cleaning 478 clauses out of 1008 for limit 1.8275133547442992E13
157.25/155.02	c cleaning 514 clauses out of 1028 for limit 2.9492720848740387E13
157.25/155.05	c cleaning 478 clauses out of 1014 for limit 4.9308965015035375E13
157.25/155.08	c cleaning 491 clauses out of 1035 for limit 7.958750081419161E13
157.35/155.11	c cleaning 494 clauses out of 1044 for limit 1.3011896659325412E14
157.35/155.14	c cleaning 525 clauses out of 1051 for limit 2.1336775459047644E14
157.35/155.17	c cleaning 513 clauses out of 1026 for limit 3.604458495864957E14
157.46/155.20	c cleaning 478 clauses out of 1013 for limit 6.020517617132661E14
157.46/155.23	c cleaning 488 clauses out of 1035 for limit 9.717595427616785E14
157.46/155.26	c cleaning 494 clauses out of 1046 for limit 1.5841228360812358E15
157.46/155.29	c cleaning 497 clauses out of 1052 for limit 2.597530683265314E15
157.56/155.33	c cleaning 527 clauses out of 1055 for limit 4.2714945201192835E15
157.56/155.36	c cleaning 484 clauses out of 1028 for limit 7.229280659688488E15
157.56/155.39	c cleaning 522 clauses out of 1045 for limit 1.1739843527310948E16
157.66/155.42	c cleaning 511 clauses out of 1022 for limit 1.9776483824999296E16
157.66/155.45	c cleaning 505 clauses out of 1011 for limit 3.2968918855208276E16
157.66/155.48	c cleaning 473 clauses out of 1006 for limit 5.464038710730033E-4
157.76/155.51	c cleaning 490 clauses out of 1034 for limit 8.775696765251842E-4
157.76/155.54	c cleaning 492 clauses out of 1044 for limit 0.0014333674413954745
157.76/155.57	c cleaning 495 clauses out of 1051 for limit 0.0023457228220787143
157.86/155.61	c cleaning 501 clauses out of 1056 for limit 0.003850094400067397
157.86/155.64	c cleaning 499 clauses out of 1056 for limit 0.0063556763985237715
157.86/155.67	c cleaning 500 clauses out of 1056 for limit 0.010470879267714426
157.96/155.70	c cleaning 495 clauses out of 1057 for limit 0.017268812805047197
157.96/155.73	c cleaning 502 clauses out of 1062 for limit 0.028344502540715008
157.96/155.76	c cleaning 500 clauses out of 1060 for limit 0.046832072542839144
157.96/155.79	c cleaning 501 clauses out of 1060 for limit 0.0772323527057197
158.06/155.83	c cleaning 500 clauses out of 1058 for limit 0.12747964271722795
158.06/155.86	c cleaning 500 clauses out of 1059 for limit 0.210242709072068
158.06/155.89	c cleaning 498 clauses out of 1058 for limit 0.34669901807085546
158.16/155.92	c cleaning 500 clauses out of 1060 for limit 0.5706742820026327
158.16/155.95	c cleaning 499 clauses out of 1060 for limit 0.9411182344619491
158.16/155.99	c cleaning 501 clauses out of 1062 for limit 1.5506576834113548
158.26/156.01	c cleaning 502 clauses out of 1061 for limit 2.559652181845875
158.26/156.05	c cleaning 499 clauses out of 1058 for limit 4.2289450950715635
158.26/156.08	c cleaning 501 clauses out of 1060 for limit 6.967905433284329
158.37/156.11	c cleaning 499 clauses out of 1058 for limit 11.50121761157657
158.37/156.14	c cleaning 497 clauses out of 1060 for limit 18.950209776543243
158.37/156.17	c cleaning 501 clauses out of 1063 for limit 31.16323320540212
158.47/156.21	c cleaning 499 clauses out of 1061 for limit 51.43772657107842
158.47/156.24	c cleaning 499 clauses out of 1062 for limit 84.74781691515088
158.47/156.27	c cleaning 506 clauses out of 1063 for limit 139.62901004261107
158.56/156.30	c cleaning 502 clauses out of 1057 for limit 231.5740137683368
158.56/156.33	c cleaning 497 clauses out of 1055 for limit 382.6205025821986
158.56/156.36	c cleaning 501 clauses out of 1059 for limit 629.238281272631
158.56/156.39	c cleaning 500 clauses out of 1058 for limit 1038.6789148720336
158.66/156.42	c cleaning 502 clauses out of 1058 for limit 1712.9204826032644
158.66/156.45	c cleaning 499 clauses out of 1056 for limit 2830.185092552803
158.66/156.48	c cleaning 499 clauses out of 1057 for limit 4662.938171859947
158.76/156.52	c cleaning 498 clauses out of 1057 for limit 7682.119033263414
158.76/156.55	c cleaning 501 clauses out of 1060 for limit 12645.632400595265
158.76/156.58	c cleaning 502 clauses out of 1058 for limit 20872.867961225515
158.86/156.61	c cleaning 502 clauses out of 1056 for limit 34487.34505930124
158.86/156.64	c cleaning 497 clauses out of 1055 for limit 56985.140014854376
158.86/156.67	c cleaning 498 clauses out of 1058 for limit 93709.64629229374
158.96/156.71	c cleaning 500 clauses out of 1059 for limit 154239.4192950181
158.96/156.74	c cleaning 501 clauses out of 1060 for limit 254375.84842721737
158.96/156.77	c cleaning 501 clauses out of 1058 for limit 419872.51633979933
159.06/156.80	c cleaning 499 clauses out of 1057 for limit 693081.0350291036
159.06/156.83	c cleaning 497 clauses out of 1059 for limit 1141966.703415127
159.06/156.86	c cleaning 503 clauses out of 1062 for limit 1877935.9316861618
159.16/156.90	c cleaning 529 clauses out of 1058 for limit 3105567.6628919044
159.16/156.93	c cleaning 515 clauses out of 1030 for limit 5265987.66761513
372.11/369.28	c cleaning 477749 clauses out of 955515 for limit 0.05162068225550645
403.11/400.27	c cleaning 239128 clauses out of 478266 for limit 0.17007779958078015
417.31/414.45	c cleaning 119812 clauses out of 239637 for limit 0.5592225010958884
423.21/420.33	c cleaning 60158 clauses out of 120326 for limit 1.8385245384120072
424.22/421.37	c cleaning 30323 clauses out of 60668 for limit 6.0134695925609725
424.51/421.60	c cleaning 15409 clauses out of 30845 for limit 19.505447110187337
424.61/421.71	c cleaning 7959 clauses out of 15936 for limit 62.26116608739461
424.61/421.77	c cleaning 4225 clauses out of 8477 for limit 193.0235395725596
424.71/421.81	c cleaning 2363 clauses out of 4752 for limit 567.847755398344
424.71/421.85	c cleaning 1431 clauses out of 2888 for limit 1539.332829608364
424.71/421.88	c cleaning 971 clauses out of 1958 for limit 3748.067744587174
424.81/421.91	c cleaning 732 clauses out of 1486 for limit 8136.22003784686
424.81/421.93	c cleaning 613 clauses out of 1255 for limit 15903.333545233918
424.81/421.96	c cleaning 559 clauses out of 1141 for limit 28818.25130660561
424.81/421.99	c cleaning 529 clauses out of 1082 for limit 50116.634032070135
424.91/422.02	c cleaning 514 clauses out of 1054 for limit 84929.57358726836
424.91/422.04	c cleaning 505 clauses out of 1039 for limit 141940.18997087362
424.91/422.07	c cleaning 505 clauses out of 1034 for limit 235210.26865224596
425.01/422.10	c cleaning 503 clauses out of 1029 for limit 389778.0054772348
425.01/422.12	c cleaning 502 clauses out of 1027 for limit 644692.5608803214
425.01/422.15	c cleaning 499 clauses out of 1025 for limit 1065258.784228369
425.01/422.18	c cleaning 498 clauses out of 1026 for limit 1755042.0068589125
425.11/422.21	c cleaning 513 clauses out of 1027 for limit 2888589.36632898
425.11/422.23	c cleaning 507 clauses out of 1014 for limit 4824742.98972085
425.11/422.26	c cleaning 491 clauses out of 1007 for limit 8011955.993521444
425.11/422.28	c cleaning 494 clauses out of 1017 for limit 1.3095963972221317E7
425.22/422.31	c cleaning 496 clauses out of 1023 for limit 2.147032793552007E7
425.22/422.34	c cleaning 513 clauses out of 1027 for limit 3.526953671284973E7
425.22/422.36	c cleaning 506 clauses out of 1013 for limit 5.890906483008584E7
425.22/422.39	c cleaning 492 clauses out of 1007 for limit 9.772777029846407E7
425.32/422.42	c cleaning 507 clauses out of 1015 for limit 1.598958918014227E8
425.32/422.44	c cleaning 493 clauses out of 1008 for limit 2.6552089465408128E8
425.32/422.47	c cleaning 507 clauses out of 1015 for limit 4.3485961757896656E8
425.41/422.50	c cleaning 504 clauses out of 1009 for limit 7.221282820229249E8
425.41/422.52	c cleaning 489 clauses out of 1004 for limit 1.1956200326762574E9
425.41/422.55	c cleaning 507 clauses out of 1015 for limit 1.9503687986146092E9
425.41/422.58	c cleaning 498 clauses out of 1008 for limit 3.2387553080894637E9
425.51/422.60	c cleaning 490 clauses out of 1010 for limit 5.33056425958502E9
425.51/422.63	c cleaning 497 clauses out of 1021 for limit 8.70480834402094E9
425.51/422.66	c cleaning 512 clauses out of 1024 for limit 1.4313336650916954E10
425.51/422.68	c cleaning 504 clauses out of 1011 for limit 2.388421997068729E10
425.61/422.71	c cleaning 491 clauses out of 1007 for limit 3.954473179583615E10
425.61/422.74	c cleaning 498 clauses out of 1016 for limit 6.463686496203187E10
425.61/422.76	c cleaning 499 clauses out of 1020 for limit 1.0638949091005911E11
425.61/422.79	c cleaning 493 clauses out of 1019 for limit 1.7527161240068832E11
425.71/422.82	c cleaning 513 clauses out of 1027 for limit 2.870818400236616E11
425.71/422.84	c cleaning 506 clauses out of 1013 for limit 4.794994293002101E11
425.71/422.87	c cleaning 503 clauses out of 1007 for limit 7.954702764346604E11
425.71/422.89	c cleaning 489 clauses out of 1004 for limit 1.315756733330807E12
425.81/422.92	c cleaning 497 clauses out of 1015 for limit 2.1463431601353523E12
425.81/422.95	c cleaning 494 clauses out of 1018 for limit 3.5291759418171484E12
425.81/422.97	c cleaning 512 clauses out of 1024 for limit 5.785981202458141E12
425.91/423.00	c cleaning 506 clauses out of 1013 for limit 9.655125615716814E12
425.91/423.03	c cleaning 503 clauses out of 1007 for limit 1.6017465242355943E13
425.91/423.05	c cleaning 502 clauses out of 1004 for limit 2.6493872075247895E13
425.91/423.08	c cleaning 485 clauses out of 1001 for limit 4.377906132781169E13
426.01/423.11	c cleaning 508 clauses out of 1016 for limit 7.113162039015127E13
426.01/423.13	c cleaning 504 clauses out of 1008 for limit 1.1823655433209438E14
426.01/423.16	c cleaning 489 clauses out of 1005 for limit 1.957657146309019E14
426.01/423.18	c cleaning 493 clauses out of 1015 for limit 3.1934346175944594E14
426.11/423.21	c cleaning 511 clauses out of 1023 for limit 5.230447366105217E14
426.11/423.24	c cleaning 505 clauses out of 1011 for limit 8.719361617688034E14
426.11/423.26	c cleaning 503 clauses out of 1006 for limit 1.4450861922751408E15
426.11/423.29	c cleaning 485 clauses out of 1003 for limit 2.3902684884758475E15
426.21/423.32	c cleaning 509 clauses out of 1019 for limit 3.8838623897694875E15
426.21/423.34	c cleaning 504 clauses out of 1009 for limit 6.462018944660273E15
426.21/423.37	c cleaning 503 clauses out of 1006 for limit 1.069921244961833E16
426.21/423.40	c cleaning 501 clauses out of 1002 for limit 1.7697154631817668E16
426.32/423.42	c cleaning 501 clauses out of 1002 for limit 2.9214189660518516E16
426.32/423.45	c cleaning 492 clauses out of 1001 for limit 4.822623693154487E-4
426.32/423.48	c cleaning 496 clauses out of 1008 for limit 7.890023488011326E-4
426.32/423.50	c cleaning 493 clauses out of 1012 for limit 0.0012960274579160657
426.42/423.53	c cleaning 496 clauses out of 1020 for limit 0.0021226820246184304
426.42/423.55	c cleaning 498 clauses out of 1024 for limit 0.0034869124594091774
426.42/423.58	c cleaning 500 clauses out of 1025 for limit 0.005739030209563649
426.51/423.61	c cleaning 503 clauses out of 1025 for limit 0.009464428569296223
426.51/423.64	c cleaning 497 clauses out of 1022 for limit 0.01565392520582758
426.51/423.66	c cleaning 500 clauses out of 1026 for limit 0.025740512421639217
426.51/423.69	c cleaning 498 clauses out of 1025 for limit 0.04244847171839329
426.61/423.72	c cleaning 501 clauses out of 1027 for limit 0.0698668828934238
426.61/423.74	c cleaning 500 clauses out of 1027 for limit 0.1153351716873188
426.61/423.77	c cleaning 502 clauses out of 1027 for limit 0.19020312737561645
426.71/423.80	c cleaning 498 clauses out of 1024 for limit 0.3142747688590733
426.71/423.83	c cleaning 503 clauses out of 1026 for limit 0.5172708421614156
426.71/423.85	c cleaning 499 clauses out of 1023 for limit 0.8555504274163029
426.71/423.88	c cleaning 499 clauses out of 1024 for limit 1.4095392595594358
426.81/423.91	c cleaning 502 clauses out of 1026 for limit 2.3223098879516426
426.81/423.93	c cleaning 495 clauses out of 1024 for limit 3.837279755787565
426.81/423.96	c cleaning 502 clauses out of 1028 for limit 6.297260796748658
426.81/423.99	c cleaning 499 clauses out of 1027 for limit 10.40554303079423
426.91/424.01	c cleaning 500 clauses out of 1027 for limit 17.14297235393554
426.91/424.04	c cleaning 496 clauses out of 1028 for limit 28.271825556979916
426.91/424.07	c cleaning 497 clauses out of 1031 for limit 46.44186771577589
426.91/424.09	c cleaning 505 clauses out of 1035 for limit 76.36922640546484
427.01/424.12	c cleaning 501 clauses out of 1030 for limit 126.55444496520624
427.01/424.15	c cleaning 500 clauses out of 1028 for limit 208.90213991161107
427.01/424.18	c cleaning 499 clauses out of 1028 for limit 344.5075751425425
427.11/424.20	c cleaning 504 clauses out of 1030 for limit 567.6034996312513
427.11/424.23	c cleaning 496 clauses out of 1025 for limit 939.6796008867115
427.11/424.26	c cleaning 494 clauses out of 1029 for limit 1543.6334345956684
427.11/424.28	c cleaning 502 clauses out of 1035 for limit 2530.900599337631
427.21/424.31	c cleaning 500 clauses out of 1033 for limit 4181.874583201516
427.21/424.34	c cleaning 504 clauses out of 1034 for limit 6896.697625696315
427.21/424.36	c cleaning 500 clauses out of 1029 for limit 11417.413360676943
427.21/424.39	c cleaning 503 clauses out of 1030 for limit 18829.390987825893
427.31/424.42	c cleaning 499 clauses out of 1026 for limit 31142.07259283484
427.31/424.45	c cleaning 503 clauses out of 1028 for limit 51308.83544709778
427.31/424.47	c cleaning 498 clauses out of 1024 for limit 84860.71582970205
427.31/424.50	c cleaning 498 clauses out of 1026 for limit 139673.87233473486
427.42/424.53	c cleaning 501 clauses out of 1028 for limit 229892.76666824016
427.42/424.55	c cleaning 500 clauses out of 1028 for limit 379503.4301702027
427.42/424.58	c cleaning 503 clauses out of 1028 for limit 625851.9254112571
427.52/424.61	c cleaning 498 clauses out of 1025 for limit 1035134.3701221165
427.52/424.63	c cleaning 500 clauses out of 1027 for limit 1703750.66259317
427.52/424.66	c cleaning 513 clauses out of 1026 for limit 2809638.82649242
427.52/424.69	c cleaning 506 clauses out of 1013 for limit 4692932.398051746
427.61/424.72	c cleaning 493 clauses out of 1008 for limit 7785448.034333012
427.61/424.74	c cleaning 493 clauses out of 1014 for limit 1.2750510187916752E7
427.61/424.77	c cleaning 511 clauses out of 1022 for limit 2.0883583378943976E7
427.61/424.79	c cleaning 505 clauses out of 1011 for limit 3.481453892000962E7
427.71/424.82	c cleaning 488 clauses out of 1005 for limit 5.769884463033142E7
427.71/424.85	c cleaning 493 clauses out of 1017 for limit 9.403036300570285E7
427.71/424.88	c cleaning 500 clauses out of 1024 for limit 1.5400860816906568E8
427.81/424.90	c cleaning 512 clauses out of 1024 for limit 2.539807977737892E8
427.81/424.93	c cleaning 506 clauses out of 1012 for limit 4.238148932525365E8
427.81/424.95	c cleaning 503 clauses out of 1007 for limit 7.031009016827041E8
539.37/535.78	c cleaning 391741 clauses out of 783504 for limit 1509124.1301853815
549.36/545.80	c cleaning 196117 clauses out of 392262 for limit 4966052.634280814
559.66/556.09	c cleaning 98316 clauses out of 196646 for limit 1.6352826859426819E7
561.66/558.01	c cleaning 49388 clauses out of 98830 for limit 5.365930544929525E7
561.96/558.31	c cleaning 24948 clauses out of 49943 for limit 1.7528696234043494E8
562.16/558.52	c cleaning 12718 clauses out of 25493 for limit 5.651843902502303E8
562.26/558.61	c cleaning 6613 clauses out of 13275 for limit 1.7899152237311132E9
562.26/558.65	c cleaning 3558 clauses out of 7162 for limit 5.471275225298012E9
562.26/558.69	c cleaning 2026 clauses out of 4105 for limit 1.5757964434302586E10
562.36/558.72	c cleaning 1265 clauses out of 2578 for limit 4.133821689625237E10
562.36/558.76	c cleaning 881 clauses out of 1814 for limit 9.698124803838487E10
562.36/558.79	c cleaning 715 clauses out of 1433 for limit 2.024579094272625E11
562.46/558.82	c cleaning 584 clauses out of 1217 for limit 3.927459682160245E11
562.46/558.85	c cleaning 565 clauses out of 1133 for limit 6.957100719877338E11
562.46/558.88	c cleaning 512 clauses out of 1068 for limit 1.2171464450947656E12
562.56/558.91	c cleaning 528 clauses out of 1056 for limit 2.0300468298416453E12
562.56/558.94	c cleaning 490 clauses out of 1028 for limit 3.439004523209288E12
562.56/558.96	c cleaning 519 clauses out of 1039 for limit 5.616952004114089E12
562.56/558.99	c cleaning 510 clauses out of 1020 for limit 9.435653316656635E12
562.66/559.02	c cleaning 474 clauses out of 1009 for limit 1.5714564739900762E13
562.66/559.05	c cleaning 494 clauses out of 1035 for limit 2.526440414354875E13
562.66/559.08	c cleaning 521 clauses out of 1042 for limit 4.142591307505111E13
562.76/559.12	c cleaning 482 clauses out of 1020 for limit 6.9720583318575984E13
562.76/559.15	c cleaning 495 clauses out of 1038 for limit 1.1298472092871139E14
562.76/559.17	c cleaning 499 clauses out of 1043 for limit 1.8543369375187116E14
562.86/559.21	c cleaning 522 clauses out of 1044 for limit 3.0551205123667956E14
562.86/559.24	c cleaning 511 clauses out of 1022 for limit 5.1467590397196306E14
562.86/559.27	c cleaning 505 clauses out of 1011 for limit 8.58004297676671E14
562.96/559.30	c cleaning 503 clauses out of 1007 for limit 1.4220063869084382E15
562.96/559.33	c cleaning 486 clauses out of 1004 for limit 2.352085972087072E15
562.96/559.36	c cleaning 485 clauses out of 1017 for limit 3.8254922537453435E15
562.96/559.39	c cleaning 516 clauses out of 1033 for limit 6.217250373298306E15
563.06/559.42	c cleaning 508 clauses out of 1017 for limit 1.0414384616578438E16
563.06/559.45	c cleaning 504 clauses out of 1009 for limit 1.731088560231661E16
563.06/559.48	c cleaning 502 clauses out of 1004 for limit 2.8661447176001468E16
563.16/559.51	c cleaning 501 clauses out of 1002 for limit 4.7360905085473128E16
563.16/559.54	c cleaning 477 clauses out of 1001 for limit 7.818249475634772E-4
563.16/559.57	c cleaning 488 clauses out of 1025 for limit 0.001260405052009726
563.26/559.60	c cleaning 493 clauses out of 1037 for limit 0.0020545235856833685
563.26/559.63	c cleaning 493 clauses out of 1043 for limit 0.0033653245560272267
563.26/559.66	c cleaning 499 clauses out of 1050 for limit 0.005512871261967144
563.26/559.69	c cleaning 498 clauses out of 1051 for limit 0.009082811912647192
563.36/559.72	c cleaning 501 clauses out of 1053 for limit 0.014950322211543032
563.36/559.75	c cleaning 501 clauses out of 1052 for limit 0.02467851773426952
563.36/559.78	c cleaning 500 clauses out of 1051 for limit 0.04073690046626453
563.46/559.81	c cleaning 503 clauses out of 1052 for limit 0.0671839225919508
563.46/559.84	c cleaning 502 clauses out of 1049 for limit 0.11111213576123595
563.46/559.87	c cleaning 498 clauses out of 1047 for limit 0.18358880250140777
563.46/559.90	c cleaning 497 clauses out of 1048 for limit 0.3021711262846649
563.56/559.93	c cleaning 500 clauses out of 1052 for limit 0.4969227785772499
563.56/559.96	c cleaning 500 clauses out of 1051 for limit 0.8194515932562888
563.66/560.00	c cleaning 500 clauses out of 1051 for limit 1.35138530155251
563.66/560.03	c cleaning 498 clauses out of 1051 for limit 2.2286151473513613
563.66/560.06	c cleaning 502 clauses out of 1053 for limit 3.668303919410088
563.66/560.09	c cleaning 502 clauses out of 1052 for limit 6.061335733763529
563.76/560.13	c cleaning 500 clauses out of 1049 for limit 10.014516048308696
563.76/560.15	c cleaning 501 clauses out of 1049 for limit 16.515276681649475
563.76/560.19	c cleaning 496 clauses out of 1049 for limit 27.263163786013163
563.86/560.22	c cleaning 501 clauses out of 1052 for limit 44.78755724330315
563.86/560.25	c cleaning 499 clauses out of 1051 for limit 73.93095003489563
563.86/560.28	c cleaning 501 clauses out of 1052 for limit 121.80613145024881
563.96/560.31	c cleaning 499 clauses out of 1051 for limit 201.06573281664708
563.96/560.34	c cleaning 502 clauses out of 1053 for limit 331.28578756726904
563.96/560.37	c cleaning 499 clauses out of 1050 for limit 547.3476427294086
564.06/560.40	c cleaning 503 clauses out of 1051 for limit 901.7906374922479
564.06/560.43	c cleaning 498 clauses out of 1049 for limit 1491.5003125617395
564.06/560.46	c cleaning 501 clauses out of 1051 for limit 2455.002891008053
564.06/560.49	c cleaning 496 clauses out of 1049 for limit 4052.29086866509
564.15/560.52	c cleaning 501 clauses out of 1053 for limit 6657.384108133346
564.15/560.55	c cleaning 503 clauses out of 1052 for limit 10989.35323611705
564.15/560.59	c cleaning 500 clauses out of 1050 for limit 18175.60906025007
564.25/560.62	c cleaning 498 clauses out of 1050 for limit 29974.010829831383
564.25/560.65	c cleaning 498 clauses out of 1051 for limit 49334.737092214484
564.25/560.68	c cleaning 496 clauses out of 1053 for limit 81205.05222874368
564.35/560.71	c cleaning 502 clauses out of 1057 for limit 133411.20932213427
564.35/560.74	c cleaning 499 clauses out of 1055 for limit 220430.01773074374
564.35/560.77	c cleaning 505 clauses out of 1056 for limit 363174.34675122844
564.45/560.80	c cleaning 498 clauses out of 1051 for limit 601772.3834456527
564.45/560.83	c cleaning 498 clauses out of 1053 for limit 990518.2576767281
564.45/560.86	c cleaning 499 clauses out of 1056 for limit 1630486.986249983
564.45/560.90	c cleaning 505 clauses out of 1057 for limit 2686347.2735093213
564.56/560.93	c cleaning 502 clauses out of 1052 for limit 4451201.854250794
564.56/560.96	c cleaning 498 clauses out of 1049 for limit 7354258.922723946
564.56/560.99	c cleaning 525 clauses out of 1051 for limit 1.2105077527941665E7
682.66/677.99	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
687.66/682.97		at org.sat4j.minisat.constraints.cnf.WLClause.<init>(Unknown Source)
691.26/686.57		at org.sat4j.minisat.constraints.cnf.LearntWLClause.<init>(Unknown Source)
694.16/689.46		at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(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-3732704-1338691640/watcher-3732704-1338691640 -o /tmp/evaluation-result-3732704-1338691640/solver-3732704-1338691640 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732704-1338691640.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.00 2.00 2.00 2/194 831
/proc/meminfo: memFree=26142224/32873648 swapFree=7112/7112
[pid=831] ppid=829 vsize=9160 CPUtime=0 cores=0,2,4,6
/proc/831/stat : 831 (java) R 829 831 29837 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 335289887 9379840 88 33554432000 1073741824 1073778376 140736216101744 140736216098872 242167419719 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/831/statm: 2290 105 80 9 0 38 0

[startup+0.0428361 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 831
/proc/meminfo: memFree=26142224/32873648 swapFree=7112/7112
[pid=831] ppid=829 vsize=2623916 CPUtime=0.02 cores=0,2,4,6
/proc/831/stat : 831 (java) S 829 831 29837 0 -1 4202496 3434 0 1 0 2 0 0 0 20 0 13 0 335289887 2686889984 5152 33554432000 1073741824 1073778376 140736216101744 140736216092880 242170757181 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/831/statm: 655979 5152 1706 9 0 646680 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2623916

[startup+0.100216 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 831
/proc/meminfo: memFree=26142224/32873648 swapFree=7112/7112
[pid=831] ppid=829 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/831/stat : 831 (java) S 829 831 29837 0 -1 4202496 4412 0 1 0 9 1 0 0 20 0 18 0 335289887 3028844544 7130 33554432000 1073741824 1073778376 140736216101744 140736216092880 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/831/statm: 739464 7130 2130 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.300155 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 831
/proc/meminfo: memFree=26142224/32873648 swapFree=7112/7112
[pid=831] ppid=829 vsize=2957856 CPUtime=0.48 cores=0,2,4,6
/proc/831/stat : 831 (java) S 829 831 29837 0 -1 4202496 5433 0 1 0 47 1 0 0 20 0 18 0 335289887 3028844544 9447 33554432000 1073741824 1073778376 140736216101744 140736216092880 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/831/statm: 739464 9447 2240 9 0 729885 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2957856

[startup+0.700138 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 831
/proc/meminfo: memFree=26142224/32873648 swapFree=7112/7112
[pid=831] ppid=829 vsize=3024420 CPUtime=1.17 cores=0,2,4,6
/proc/831/stat : 831 (java) S 829 831 29837 0 -1 4202496 8076 0 1 0 115 2 0 0 20 0 19 0 335289887 3097006080 13050 33554432000 1073741824 1073778376 140736216101744 140736216092880 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/831/statm: 756105 13050 2264 9 0 746526 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 3024420

[startup+1.50061 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 851
/proc/meminfo: memFree=26090376/32873648 swapFree=7112/7112
[pid=831] ppid=829 vsize=3024420 CPUtime=2.08 cores=0,2,4,6
/proc/831/stat : 831 (java) S 829 831 29837 0 -1 4202496 8447 0 1 0 206 2 0 0 20 0 19 0 335289887 3097006080 18209 33554432000 1073741824 1073778376 140736216101744 140736216092880 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/831/statm: 756105 18209 2267 9 0 746526 0
[pid=831/tid=833] ppid=829 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/831/task/833/stat : 833 (java) R 829 831 29837 0 -1 4202560 2561 0 1 0 147 0 0 0 20 0 19 0 335289888 3097006080 18209 33554432000 1073741824 1073778376 140736216101744 139666378879624 139666246894993 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=831/tid=834] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 18209 33554432000 1073741824 1073778376 140736216101744 139666244143272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=835] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/835/stat : 835 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 18209 33554432000 1073741824 1073778376 140736216101744 139666243090728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=836] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/836/stat : 836 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 18209 33554432000 1073741824 1073778376 140736216101744 139666242038184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=831/tid=837] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/837/stat : 837 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 18209 33554432000 1073741824 1073778376 140736216101744 139666240985640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=831/tid=838] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/838/stat : 838 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 18209 33554432000 1073741824 1073778376 140736216101744 139666239933096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=839] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/839/stat : 839 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 18209 33554432000 1073741824 1073778376 140736216101744 139666238880552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=840] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/840/stat : 840 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 18209 33554432000 1073741824 1073778376 140736216101744 139666237828008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=831/tid=841] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/841/stat : 841 (java) S 829 831 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 18209 33554432000 1073741824 1073778376 140736216101744 139666236775464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=842] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/842/stat : 842 (java) S 829 831 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335289890 3097006080 18209 33554432000 1073741824 1073778376 140736216101744 139665754527848 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=843] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/843/stat : 843 (java) S 829 831 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335289890 3097006080 18209 33554432000 1073741824 1073778376 140736216101744 139665753474168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=844] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/844/stat : 844 (java) S 829 831 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335289890 3097006080 18209 33554432000 1073741824 1073778376 140736216101744 139665752421512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=845] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/845/stat : 845 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289892 3097006080 18209 33554432000 1073741824 1073778376 140736216101744 139665751370256 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=846] ppid=829 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/831/task/846/stat : 846 (java) S 829 831 29837 0 -1 4202560 1857 0 0 0 25 0 0 0 20 0 19 0 335289892 3097006080 18209 33554432000 1073741824 1073778376 140736216101744 139665750317624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=847] ppid=829 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/831/task/847/stat : 847 (java) S 829 831 29837 0 -1 4202560 2830 0 0 0 32 0 0 0 20 0 19 0 335289892 3097006080 18209 33554432000 1073741824 1073778376 140736216101744 139665749265080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=848] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/848/stat : 848 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289892 3097006080 18209 33554432000 1073741824 1073778376 140736216101744 139665748212728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=849] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/849/stat : 849 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289892 3097006080 18209 33554432000 1073741824 1073778376 140736216101744 139665747160392 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=851] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/851/stat : 851 (java) S 829 831 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335289922 3097006080 18209 33554432000 1073741824 1073778376 140736216101744 139665745028008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 3024420

[startup+3.10063 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 851
/proc/meminfo: memFree=26065056/32873648 swapFree=7112/7112
[pid=831] ppid=829 vsize=3024420 CPUtime=3.68 cores=0,2,4,6
/proc/831/stat : 831 (java) S 829 831 29837 0 -1 4202496 8462 0 1 0 366 2 0 0 20 0 19 0 335289887 3097006080 25377 33554432000 1073741824 1073778376 140736216101744 140736216092880 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/831/statm: 756105 25377 2267 9 0 746526 0
[pid=831/tid=833] ppid=829 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/831/task/833/stat : 833 (java) R 829 831 29837 0 -1 4202560 2576 0 1 0 306 1 0 0 20 0 19 0 335289888 3097006080 25377 33554432000 1073741824 1073778376 140736216101744 139666378877424 139666246909046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=831/tid=834] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 25377 33554432000 1073741824 1073778376 140736216101744 139666244143272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=835] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/835/stat : 835 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 25377 33554432000 1073741824 1073778376 140736216101744 139666243090728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=836] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/836/stat : 836 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 25377 33554432000 1073741824 1073778376 140736216101744 139666242038184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=831/tid=837] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/837/stat : 837 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 25377 33554432000 1073741824 1073778376 140736216101744 139666240985640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=831/tid=838] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/838/stat : 838 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 25377 33554432000 1073741824 1073778376 140736216101744 139666239933096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=839] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/839/stat : 839 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 25377 33554432000 1073741824 1073778376 140736216101744 139666238880552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=840] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/840/stat : 840 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 25377 33554432000 1073741824 1073778376 140736216101744 139666237828008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=831/tid=841] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/841/stat : 841 (java) S 829 831 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 25377 33554432000 1073741824 1073778376 140736216101744 139666236775464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=842] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/842/stat : 842 (java) S 829 831 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335289890 3097006080 25377 33554432000 1073741824 1073778376 140736216101744 139665754527848 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=843] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/843/stat : 843 (java) S 829 831 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335289890 3097006080 25377 33554432000 1073741824 1073778376 140736216101744 139665753474168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=844] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/844/stat : 844 (java) S 829 831 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335289890 3097006080 25377 33554432000 1073741824 1073778376 140736216101744 139665752421512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=845] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/845/stat : 845 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289892 3097006080 25377 33554432000 1073741824 1073778376 140736216101744 139665751370256 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=846] ppid=829 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/831/task/846/stat : 846 (java) S 829 831 29837 0 -1 4202560 1857 0 0 0 25 0 0 0 20 0 19 0 335289892 3097006080 25377 33554432000 1073741824 1073778376 140736216101744 139665750317624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=847] ppid=829 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/831/task/847/stat : 847 (java) S 829 831 29837 0 -1 4202560 2830 0 0 0 32 0 0 0 20 0 19 0 335289892 3097006080 25377 33554432000 1073741824 1073778376 140736216101744 139665749265080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=848] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/848/stat : 848 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289892 3097006080 25377 33554432000 1073741824 1073778376 140736216101744 139665748212728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=849] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/849/stat : 849 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289892 3097006080 25377 33554432000 1073741824 1073778376 140736216101744 139665747160392 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=851] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/851/stat : 851 (java) S 829 831 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335289922 3097006080 25377 33554432000 1073741824 1073778376 140736216101744 139665745028008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 3024420

[startup+6.30071 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 851
/proc/meminfo: memFree=25999176/32873648 swapFree=7112/7112
[pid=831] ppid=829 vsize=3024420 CPUtime=6.89 cores=0,2,4,6
/proc/831/stat : 831 (java) S 829 831 29837 0 -1 4202496 8497 0 1 0 686 3 0 0 20 0 19 0 335289887 3097006080 42195 33554432000 1073741824 1073778376 140736216101744 140736216092880 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/831/statm: 756105 42195 2268 9 0 746526 0
[pid=831/tid=833] ppid=829 vsize=3024420 CPUtime=6.28 cores=0,2,4,6
/proc/831/task/833/stat : 833 (java) R 829 831 29837 0 -1 4202560 2610 0 1 0 625 3 0 0 20 0 19 0 335289888 3097006080 42195 33554432000 1073741824 1073778376 140736216101744 139666378879400 139666246895017 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=831/tid=834] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 42195 33554432000 1073741824 1073778376 140736216101744 139666244143272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=835] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/835/stat : 835 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 42195 33554432000 1073741824 1073778376 140736216101744 139666243090728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=836] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/836/stat : 836 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 42195 33554432000 1073741824 1073778376 140736216101744 139666242038184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=831/tid=837] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/837/stat : 837 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 42195 33554432000 1073741824 1073778376 140736216101744 139666240985640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=831/tid=838] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/838/stat : 838 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 42195 33554432000 1073741824 1073778376 140736216101744 139666239933096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=839] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/839/stat : 839 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 42195 33554432000 1073741824 1073778376 140736216101744 139666238880552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=840] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/840/stat : 840 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 42195 33554432000 1073741824 1073778376 140736216101744 139666237828008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=831/tid=841] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/841/stat : 841 (java) S 829 831 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335289889 3097006080 42195 33554432000 1073741824 1073778376 140736216101744 139666236775464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=842] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/842/stat : 842 (java) S 829 831 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335289890 3097006080 42195 33554432000 1073741824 1073778376 140736216101744 139665754527848 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=843] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/843/stat : 843 (java) S 829 831 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335289890 3097006080 42195 33554432000 1073741824 1073778376 140736216101744 139665753474168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=844] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/844/stat : 844 (java) S 829 831 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335289890 3097006080 42195 33554432000 1073741824 1073778376 140736216101744 139665752421512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=845] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/845/stat : 845 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289892 3097006080 42195 33554432000 1073741824 1073778376 140736216101744 139665751370256 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=846] ppid=829 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/831/task/846/stat : 846 (java) S 829 831 29837 0 -1 4202560 1857 0 0 0 25 0 0 0 20 0 19 0 335289892 3097006080 42195 33554432000 1073741824 1073778376 140736216101744 139665750317624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=847] ppid=829 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/831/task/847/stat : 847 (java) S 829 831 29837 0 -1 4202560 2830 0 0 0 33 0 0 0 20 0 19 0 335289892 3097006080 42195 33554432000 1073741824 1073778376 140736216101744 139665749265080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=848] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/848/stat : 848 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289892 3097006080 42195 33554432000 1073741824 1073778376 140736216101744 139665748212728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=849] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/849/stat : 849 (java) S 829 831 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335289892 3097006080 42195 33554432000 1073741824 1073778376 140736216101744 139665747160392 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=851] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/851/stat : 851 (java) S 829 831 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335289922 3097006080 42195 33554432000 1073741824 1073778376 140736216101744 139665745028008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

/proc/831/task/834/stat : 834 (java) S 829 831 29837 0 -1 4202560 301 0 0 0 51 13 0 0 20 0 19 0 335289889 3097006080 419753 33554432000 1073741824 1073778376 140736216101744 139666244143272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=835] ppid=829 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/831/task/835/stat : 835 (java) S 829 831 29837 0 -1 4202560 346 0 0 0 56 13 0 0 20 0 19 0 335289889 3097006080 419753 33554432000 1073741824 1073778376 140736216101744 139666243090728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=831/tid=836] ppid=829 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/831/task/836/stat : 836 (java) S 829 831 29837 0 -1 4202560 677 0 0 0 62 15 0 0 20 0 19 0 335289889 3097006080 419753 33554432000 1073741824 1073778376 140736216101744 139666242038184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=837] ppid=829 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/831/task/837/stat : 837 (java) S 829 831 29837 0 -1 4202560 503 0 0 0 60 11 0 0 20 0 19 0 335289889 3097006080 419753 33554432000 1073741824 1073778376 140736216101744 139666240985640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=838] ppid=829 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/831/task/838/stat : 838 (java) S 829 831 29837 0 -1 4202560 394 0 0 0 48 14 0 0 20 0 19 0 335289889 3097006080 419753 33554432000 1073741824 1073778376 140736216101744 139666239933096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=839] ppid=829 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/831/task/839/stat : 839 (java) S 829 831 29837 0 -1 4202560 451 0 0 0 57 15 0 0 20 0 19 0 335289889 3097006080 419753 33554432000 1073741824 1073778376 140736216101744 139666238880552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=840] ppid=829 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/831/task/840/stat : 840 (java) S 829 831 29837 0 -1 4202560 600 0 0 0 44 20 0 0 20 0 19 0 335289889 3097006080 419753 33554432000 1073741824 1073778376 140736216101744 139666237828008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=841] ppid=829 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/831/task/841/stat : 841 (java) S 829 831 29837 0 -1 4202560 293 0 0 0 44 12 0 0 20 0 19 0 335289889 3097006080 419753 33554432000 1073741824 1073778376 140736216101744 139666236775464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=831/tid=842] ppid=829 vsize=3024420 CPUtime=20.39 cores=0,2,4,6
/proc/831/task/842/stat : 842 (java) R 829 831 29837 0 -1 4202560 193 0 0 0 2035 4 0 0 20 0 19 0 335289890 3097006080 419753 33554432000 1073741824 1073778376 140736216101744 139665754527848 139666385733635 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=831/tid=843] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/843/stat : 843 (java) S 829 831 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335289890 3097006080 419753 33554432000 1073741824 1073778376 140736216101744 139665753474168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=844] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/844/stat : 844 (java) S 829 831 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335289890 3097006080 419753 33554432000 1073741824 1073778376 140736216101744 139665752421512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=845] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/845/stat : 845 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289892 3097006080 419753 33554432000 1073741824 1073778376 140736216101744 139665751370256 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=846] ppid=829 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/831/task/846/stat : 846 (java) S 829 831 29837 0 -1 4202560 1862 0 0 0 29 0 0 0 20 0 19 0 335289892 3097006080 419753 33554432000 1073741824 1073778376 140736216101744 139665750317624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=847] ppid=829 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/831/task/847/stat : 847 (java) S 829 831 29837 0 -1 4202560 2845 0 0 0 40 0 0 0 20 0 19 0 335289892 3097006080 419753 33554432000 1073741824 1073778376 140736216101744 139665749265080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=848] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/848/stat : 848 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289892 3097006080 419753 33554432000 1073741824 1073778376 140736216101744 139665748212728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=849] ppid=829 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/831/task/849/stat : 849 (java) S 829 831 29837 0 -1 4202560 40 0 0 0 8 8 0 0 20 0 19 0 335289892 3097006080 419753 33554432000 1073741824 1073778376 140736216101744 139665747160392 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=851] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/851/stat : 851 (java) S 829 831 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335289922 3097006080 419753 33554432000 1073741824 1073778376 140736216101744 139665745028008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 695.86
Current children cumulated vsize (KiB) 3024420

[startup+692.701 s]
/proc/loadavg: 2.01 2.05 2.01 3/213 917
/proc/meminfo: memFree=24473708/32873648 swapFree=7112/7112
[pid=831] ppid=829 vsize=3024420 CPUtime=697.46 cores=0,2,4,6
/proc/831/stat : 831 (java) S 829 831 29837 0 -1 4202496 12505 0 1 0 69614 132 0 0 20 0 19 0 335289887 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 140736216092880 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/831/statm: 756105 419755 2296 9 0 746526 0
[pid=831/tid=833] ppid=829 vsize=3024420 CPUtime=669.21 cores=0,2,4,6
/proc/831/task/833/stat : 833 (java) S 829 831 29837 0 -1 4202560 2805 0 1 0 66903 18 0 0 20 0 19 0 335289888 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666378881144 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=829 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/831/task/834/stat : 834 (java) S 829 831 29837 0 -1 4202560 301 0 0 0 51 13 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666244143272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=835] ppid=829 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/831/task/835/stat : 835 (java) S 829 831 29837 0 -1 4202560 346 0 0 0 56 13 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666243090728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=831/tid=836] ppid=829 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/831/task/836/stat : 836 (java) S 829 831 29837 0 -1 4202560 677 0 0 0 62 15 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666242038184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=837] ppid=829 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/831/task/837/stat : 837 (java) S 829 831 29837 0 -1 4202560 503 0 0 0 60 11 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666240985640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=838] ppid=829 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/831/task/838/stat : 838 (java) S 829 831 29837 0 -1 4202560 394 0 0 0 48 14 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666239933096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=839] ppid=829 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/831/task/839/stat : 839 (java) S 829 831 29837 0 -1 4202560 451 0 0 0 57 15 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666238880552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=840] ppid=829 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/831/task/840/stat : 840 (java) S 829 831 29837 0 -1 4202560 600 0 0 0 44 20 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666237828008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=841] ppid=829 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/831/task/841/stat : 841 (java) S 829 831 29837 0 -1 4202560 293 0 0 0 44 12 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666236775464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=831/tid=842] ppid=829 vsize=3024420 CPUtime=21.99 cores=0,2,4,6
/proc/831/task/842/stat : 842 (java) R 829 831 29837 0 -1 4202560 195 0 0 0 2195 4 0 0 20 0 19 0 335289890 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665754527848 139666385005711 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=831/tid=843] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/843/stat : 843 (java) S 829 831 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335289890 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665753474168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=844] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/844/stat : 844 (java) S 829 831 29837 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 335289890 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665752421512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=845] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/845/stat : 845 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289892 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665751370256 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=846] ppid=829 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/831/task/846/stat : 846 (java) S 829 831 29837 0 -1 4202560 1862 0 0 0 29 0 0 0 20 0 19 0 335289892 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665750317624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=847] ppid=829 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/831/task/847/stat : 847 (java) S 829 831 29837 0 -1 4202560 2845 0 0 0 40 0 0 0 20 0 19 0 335289892 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665749265080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=848] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/848/stat : 848 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289892 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665748212728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=849] ppid=829 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/831/task/849/stat : 849 (java) S 829 831 29837 0 -1 4202560 42 0 0 0 8 8 0 0 20 0 19 0 335289892 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665747160392 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=851] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/851/stat : 851 (java) S 829 831 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335289922 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665745028008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 697.46
Current children cumulated vsize (KiB) 3024420

[startup+693.501 s]
/proc/loadavg: 2.01 2.05 2.01 3/213 917
/proc/meminfo: memFree=24473708/32873648 swapFree=7112/7112
[pid=831] ppid=829 vsize=3024420 CPUtime=698.26 cores=0,2,4,6
/proc/831/stat : 831 (java) S 829 831 29837 0 -1 4202496 12507 0 1 0 69694 132 0 0 20 0 19 0 335289887 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 140736216092880 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/831/statm: 756105 419755 2296 9 0 746526 0
[pid=831/tid=833] ppid=829 vsize=3024420 CPUtime=669.21 cores=0,2,4,6
/proc/831/task/833/stat : 833 (java) S 829 831 29837 0 -1 4202560 2807 0 1 0 66903 18 0 0 20 0 19 0 335289888 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666378880168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=829 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/831/task/834/stat : 834 (java) S 829 831 29837 0 -1 4202560 301 0 0 0 51 13 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666244143272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=835] ppid=829 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/831/task/835/stat : 835 (java) S 829 831 29837 0 -1 4202560 346 0 0 0 56 13 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666243090728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=831/tid=836] ppid=829 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/831/task/836/stat : 836 (java) S 829 831 29837 0 -1 4202560 677 0 0 0 62 15 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666242038184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=837] ppid=829 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/831/task/837/stat : 837 (java) S 829 831 29837 0 -1 4202560 503 0 0 0 60 11 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666240985640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=838] ppid=829 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/831/task/838/stat : 838 (java) S 829 831 29837 0 -1 4202560 394 0 0 0 48 14 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666239933096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=839] ppid=829 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/831/task/839/stat : 839 (java) S 829 831 29837 0 -1 4202560 451 0 0 0 57 15 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666238880552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=840] ppid=829 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/831/task/840/stat : 840 (java) S 829 831 29837 0 -1 4202560 600 0 0 0 44 20 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666237828008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=841] ppid=829 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/831/task/841/stat : 841 (java) S 829 831 29837 0 -1 4202560 293 0 0 0 44 12 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666236775464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=831/tid=842] ppid=829 vsize=3024420 CPUtime=22.79 cores=0,2,4,6
/proc/831/task/842/stat : 842 (java) R 829 831 29837 0 -1 4202560 195 0 0 0 2275 4 0 0 20 0 19 0 335289890 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665754527848 139666385002905 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=831/tid=843] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/843/stat : 843 (java) S 829 831 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335289890 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665753474168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=844] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/844/stat : 844 (java) S 829 831 29837 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 335289890 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665752421512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=845] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/845/stat : 845 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289892 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665751370256 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=846] ppid=829 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/831/task/846/stat : 846 (java) S 829 831 29837 0 -1 4202560 1862 0 0 0 29 0 0 0 20 0 19 0 335289892 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665750317624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=847] ppid=829 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/831/task/847/stat : 847 (java) S 829 831 29837 0 -1 4202560 2845 0 0 0 40 0 0 0 20 0 19 0 335289892 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665749265080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=848] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/848/stat : 848 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289892 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665748212728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=849] ppid=829 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/831/task/849/stat : 849 (java) S 829 831 29837 0 -1 4202560 42 0 0 0 8 8 0 0 20 0 19 0 335289892 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665747160392 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=851] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/851/stat : 851 (java) S 829 831 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335289922 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665745028008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 698.26
Current children cumulated vsize (KiB) 3024420

[startup+693.701 s]
/proc/loadavg: 2.01 2.05 2.01 3/213 917
/proc/meminfo: memFree=24473708/32873648 swapFree=7112/7112
[pid=831] ppid=829 vsize=3024420 CPUtime=698.46 cores=0,2,4,6
/proc/831/stat : 831 (java) S 829 831 29837 0 -1 4202496 12507 0 1 0 69714 132 0 0 20 0 19 0 335289887 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 140736216092880 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/831/statm: 756105 419755 2296 9 0 746526 0
[pid=831/tid=833] ppid=829 vsize=3024420 CPUtime=669.21 cores=0,2,4,6
/proc/831/task/833/stat : 833 (java) S 829 831 29837 0 -1 4202560 2807 0 1 0 66903 18 0 0 20 0 19 0 335289888 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666378880168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=829 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/831/task/834/stat : 834 (java) S 829 831 29837 0 -1 4202560 301 0 0 0 51 13 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666244143272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=835] ppid=829 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/831/task/835/stat : 835 (java) S 829 831 29837 0 -1 4202560 346 0 0 0 56 13 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666243090728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=831/tid=836] ppid=829 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/831/task/836/stat : 836 (java) S 829 831 29837 0 -1 4202560 677 0 0 0 62 15 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666242038184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=837] ppid=829 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/831/task/837/stat : 837 (java) S 829 831 29837 0 -1 4202560 503 0 0 0 60 11 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666240985640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=838] ppid=829 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/831/task/838/stat : 838 (java) S 829 831 29837 0 -1 4202560 394 0 0 0 48 14 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666239933096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=839] ppid=829 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/831/task/839/stat : 839 (java) S 829 831 29837 0 -1 4202560 451 0 0 0 57 15 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666238880552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=840] ppid=829 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/831/task/840/stat : 840 (java) S 829 831 29837 0 -1 4202560 600 0 0 0 44 20 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666237828008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=841] ppid=829 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/831/task/841/stat : 841 (java) S 829 831 29837 0 -1 4202560 293 0 0 0 44 12 0 0 20 0 19 0 335289889 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139666236775464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=831/tid=842] ppid=829 vsize=3024420 CPUtime=22.99 cores=0,2,4,6
/proc/831/task/842/stat : 842 (java) R 829 831 29837 0 -1 4202560 195 0 0 0 2295 4 0 0 20 0 19 0 335289890 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665754527848 139666385734932 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=831/tid=843] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/843/stat : 843 (java) S 829 831 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335289890 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665753474168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=844] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/844/stat : 844 (java) S 829 831 29837 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 335289890 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665752421512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=845] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/845/stat : 845 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289892 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665751370256 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=846] ppid=829 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/831/task/846/stat : 846 (java) S 829 831 29837 0 -1 4202560 1862 0 0 0 29 0 0 0 20 0 19 0 335289892 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665750317624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=847] ppid=829 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/831/task/847/stat : 847 (java) S 829 831 29837 0 -1 4202560 2845 0 0 0 40 0 0 0 20 0 19 0 335289892 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665749265080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=848] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/848/stat : 848 (java) S 829 831 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289892 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665748212728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=831/tid=849] ppid=829 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/831/task/849/stat : 849 (java) S 829 831 29837 0 -1 4202560 42 0 0 0 8 8 0 0 20 0 19 0 335289892 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665747160392 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=831/tid=851] ppid=829 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/831/task/851/stat : 851 (java) S 829 831 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335289922 3097006080 419755 33554432000 1073741824 1073778376 140736216101744 139665745028008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 698.46
Current children cumulated vsize (KiB) 3024420

Child status: 1
Real time (s): 693.782
CPU time (s): 698.738
CPU user time (s): 697.175
CPU system time (s): 1.56276
CPU usage (%): 100.714
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 697.175
system time used= 1.56276
maximum resident set size= 1679028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12510
page faults= 1
swaps= 0
block input operations= 0
block output operations= 616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15225
involuntary context switches= 7211

runsolver used 2.82957 second user time and 7.42387 second system time

The end

Launcher Data 

Begin job on node126 at 2012-06-03 04:47:20
IDJOB=3732704
IDBENCH=2185
IDSOLVER=2319
FILE ID=node126/3732704-1338691640
RUNJOBID= node126-1338678624-29856
PBS_JOBID= 14636687
Free space on /tmp= 70788 MiB

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

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

MD5SUM BENCH= 39250f205953aedd83d7a2bcba6bda16
RANDOM SEED=1188343398

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.92
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.456
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.456
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.90
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.456
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26142488 kB
Buffers:          405860 kB
Cached:          3777148 kB
SwapCached:         9476 kB
Active:          3150976 kB
Inactive:        2717208 kB
Active(anon):    1675120 kB
Inactive(anon):    12168 kB
Active(file):    1475856 kB
Inactive(file):  2705040 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67094928 kB
Dirty:              3644 kB
Writeback:             0 kB
AnonPages:       1683080 kB
Mapped:            17968 kB
Shmem:                 0 kB
Slab:             723164 kB
SReclaimable:     166900 kB
SUnreclaim:       556264 kB
KernelStack:        1600 kB
PageTables:         7808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1825156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1660928 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70784 MiB
End job on node126 at 2012-06-03 04:58:54