Trace number 3732561

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) 693.298 688.273

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8e1.opb
MD5SUM9711add7b63200e6cedabbc5764a3737
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark343
Best CPU time to get the best result obtained on this benchmark18.6762
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 343
Optimality of the best value was proved NO
Number of variables1040
Total number of constraints3656
Number of constraints which are clauses3656
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 constraint10
Number of terms in the objective function 1040
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 1040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1040
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.04/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.04/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.04/0.07	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.04/0.07	c no version file found!!!
0.04/0.07	c sun.arch.data.model	64
0.04/0.07	c java.version	1.6.0_24
0.04/0.07	c os.name	Linux
0.04/0.07	c os.version	2.6.32-71.29.1.el6.x86_64
0.04/0.07	c os.arch	amd64
0.04/0.07	c Free memory 1599470296
0.04/0.07	c Max memory 1607860224
0.04/0.07	c Total memory 1607860224
0.04/0.07	c Number of processors 8
0.04/0.09	--- Begin Solver configuration ---
0.04/0.09	c Stops conflict analysis at the first Unique Implication Point
0.04/0.09	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.04/0.09	c Learn all clauses as in MiniSAT
0.04/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.04/0.09	c VSIDS like heuristics from MiniSAT using a heap
0.04/0.09	c No reason simplification
0.04/0.09	c --- End Solver configuration ---
0.04/0.09	c solving HOME/instance-3732561-1338690950.opb
0.04/0.09	c reading problem ... 
0.45/0.31	c ... done. Wall clock time 0.218s.
0.45/0.31	c CPU time (experimental) 0.29s.
0.45/0.31	c #vars     1040
0.45/0.31	c #constraints  3656
0.45/0.35	c SATISFIABLE
0.45/0.35	c OPTIMIZING...
0.45/0.35	c Got one! Elapsed wall clock time (in seconds):0.262
0.45/0.38	o 433
158.02/155.72	c cleaning 368996 clauses out of 738022 for limit 6.47409661209996E-6
163.53/161.20	c cleaning 184755 clauses out of 369525 for limit 2.13022772958702E-5
164.43/162.14	c cleaning 92622 clauses out of 185271 for limit 7.013790871839439E-5
165.14/162.88	c cleaning 46558 clauses out of 93149 for limit 2.3005832223144617E-4
165.53/163.23	c cleaning 23540 clauses out of 47090 for limit 7.497368029329803E-4
165.63/163.36	c cleaning 12013 clauses out of 24051 for limit 0.0024232308025969934
165.73/163.42	c cleaning 6243 clauses out of 12538 for limit 0.007665765691508272
165.73/163.49	c cleaning 3372 clauses out of 6794 for limit 0.02330663843645393
165.83/163.55	c cleaning 1938 clauses out of 3923 for limit 0.06663114434608323
165.93/163.60	c cleaning 1219 clauses out of 2485 for limit 0.17347027785780375
165.93/163.65	c cleaning 863 clauses out of 1765 for limit 0.40237235299985125
165.93/163.69	c cleaning 677 clauses out of 1403 for limit 0.8356137355923632
166.03/163.74	c cleaning 593 clauses out of 1225 for limit 1.576698039982128
166.03/163.79	c cleaning 545 clauses out of 1133 for limit 2.814136151734563
166.13/163.83	c cleaning 521 clauses out of 1087 for limit 4.832444182470219
166.13/163.87	c cleaning 510 clauses out of 1066 for limit 8.126341569038509
166.24/163.91	c cleaning 510 clauses out of 1056 for limit 13.528331797615202
166.24/163.96	c cleaning 503 clauses out of 1048 for limit 22.525362686418056
166.33/164.00	c cleaning 502 clauses out of 1044 for limit 37.25237375520633
166.33/164.04	c cleaning 502 clauses out of 1042 for limit 61.55206368655435
166.33/164.08	c cleaning 502 clauses out of 1040 for limit 101.70279420555774
166.43/164.12	c cleaning 502 clauses out of 1038 for limit 168.0446760398988
166.43/164.16	c cleaning 494 clauses out of 1036 for limit 277.66314783564235
166.53/164.20	c cleaning 502 clauses out of 1041 for limit 455.24862633644506
166.53/164.25	c cleaning 499 clauses out of 1040 for limit 752.2400171935052
166.53/164.29	c cleaning 499 clauses out of 1041 for limit 1239.3527358982167
166.63/164.34	c cleaning 503 clauses out of 1041 for limit 2041.814600679785
166.63/164.38	c cleaning 496 clauses out of 1039 for limit 3377.0841756488603
166.73/164.42	c cleaning 501 clauses out of 1043 for limit 5547.904950771616
166.73/164.46	c cleaning 500 clauses out of 1042 for limit 9158.017907473159
166.83/164.50	c cleaning 500 clauses out of 1041 for limit 15102.187332404475
166.83/164.55	c cleaning 498 clauses out of 1041 for limit 24905.52724561111
166.83/164.59	c cleaning 502 clauses out of 1044 for limit 40995.51718889644
166.93/164.63	c cleaning 499 clauses out of 1042 for limit 67736.85621903559
166.93/164.68	c cleaning 499 clauses out of 1043 for limit 111600.03581787331
167.03/164.72	c cleaning 497 clauses out of 1044 for limit 183867.10187862738
167.03/164.76	c cleaning 500 clauses out of 1047 for limit 302352.6189339302
167.13/164.81	c cleaning 497 clauses out of 1047 for limit 498619.91663176863
167.13/164.85	c cleaning 500 clauses out of 1049 for limit 819902.4619435422
167.13/164.89	c cleaning 499 clauses out of 1049 for limit 1352128.8443339218
167.23/164.93	c cleaning 500 clauses out of 1051 for limit 2227825.8991263155
167.23/164.97	c cleaning 509 clauses out of 1050 for limit 3673804.49027607
167.34/165.01	c cleaning 504 clauses out of 1041 for limit 6110974.861766582
167.34/165.04	c cleaning 518 clauses out of 1037 for limit 1.0116688019333314E7
167.34/165.09	c cleaning 510 clauses out of 1020 for limit 1.6978813609303318E7
167.43/165.12	c cleaning 504 clauses out of 1009 for limit 2.8277285813278068E7
167.43/165.16	c cleaning 482 clauses out of 1005 for limit 4.6818631261966996E7
167.53/165.20	c cleaning 491 clauses out of 1025 for limit 7.585528072235565E7
167.53/165.24	c cleaning 498 clauses out of 1032 for limit 1.2399861989012472E8
167.53/165.28	c cleaning 517 clauses out of 1034 for limit 2.0409477991818756E8
167.63/165.32	c cleaning 508 clauses out of 1017 for limit 3.4220580298893416E8
167.63/165.36	c cleaning 502 clauses out of 1010 for limit 5.688232610117882E8
167.73/165.40	c cleaning 487 clauses out of 1007 for limit 9.399194274531901E8
167.73/165.44	c cleaning 511 clauses out of 1022 for limit 1.5303617824144218E9
167.73/165.48	c cleaning 505 clauses out of 1010 for limit 2.5512029523002286E9
167.83/165.52	c cleaning 496 clauses out of 1004 for limit 4.22818562159157E9
167.83/165.56	c cleaning 488 clauses out of 1008 for limit 6.945173711769388E9
167.93/165.60	c cleaning 493 clauses out of 1020 for limit 1.1318773258725384E10
167.93/165.64	c cleaning 513 clauses out of 1027 for limit 1.8538943260053867E10
167.93/165.68	c cleaning 490 clauses out of 1015 for limit 3.0965619673498356E10
168.03/165.72	c cleaning 512 clauses out of 1024 for limit 5.056700550997978E10
168.03/165.76	c cleaning 506 clauses out of 1012 for limit 8.43805918800218E10
168.03/165.80	c cleaning 485 clauses out of 1006 for limit 1.3998483385159863E11
168.13/165.83	c cleaning 494 clauses out of 1021 for limit 2.2746213532269016E11
168.13/165.87	c cleaning 513 clauses out of 1027 for limit 3.729239686342818E11
168.23/165.91	c cleaning 486 clauses out of 1014 for limit 6.228861479379316E11
168.23/165.95	c cleaning 496 clauses out of 1029 for limit 1.0132617577480955E12
168.23/165.99	c cleaning 501 clauses out of 1033 for limit 1.6645336996872905E12
168.36/166.02	c cleaning 499 clauses out of 1031 for limit 2.747613386789466E12
168.36/166.07	c cleaning 516 clauses out of 1032 for limit 4.526791363683492E12
168.46/166.10	c cleaning 507 clauses out of 1017 for limit 7.582974958609826E12
168.46/166.15	c cleaning 498 clauses out of 1009 for limit 1.259188601628356E13
168.46/166.18	c cleaning 490 clauses out of 1012 for limit 2.072487101153005E13
168.56/166.22	c cleaning 495 clauses out of 1022 for limit 3.3843661291109938E13
168.56/166.27	c cleaning 493 clauses out of 1027 for limit 5.5540997996975875E13
168.66/166.31	c cleaning 500 clauses out of 1034 for limit 9.097445677605631E13
168.66/166.35	c cleaning 516 clauses out of 1033 for limit 1.500241115361989E14
168.66/166.39	c cleaning 508 clauses out of 1017 for limit 2.5130221649245934E14
168.76/166.43	c cleaning 505 clauses out of 1010 for limit 4.1772098847006906E14
168.76/166.47	c cleaning 485 clauses out of 1004 for limit 6.92301596661963E14
168.86/166.51	c cleaning 510 clauses out of 1020 for limit 1.1249138738106976E15
168.86/166.55	c cleaning 505 clauses out of 1010 for limit 1.87350112428072E15
168.86/166.59	c cleaning 485 clauses out of 1004 for limit 3.105009936029251E15
168.96/166.63	c cleaning 493 clauses out of 1020 for limit 5.045299291812657E15
168.96/166.67	c cleaning 497 clauses out of 1027 for limit 8.263662073873703E15
169.06/166.71	c cleaning 514 clauses out of 1029 for limit 1.3587795228813046E16
169.06/166.75	c cleaning 507 clauses out of 1015 for limit 2.271716920710718E16
169.06/166.79	c cleaning 504 clauses out of 1009 for limit 3.7724152137381368E16
169.16/166.83	c cleaning 496 clauses out of 1004 for limit 6.245947310750554E-4
169.16/166.87	c cleaning 485 clauses out of 1009 for limit 0.0010259619673234418
169.26/166.91	c cleaning 492 clauses out of 1023 for limit 0.001667125020131808
169.26/166.95	c cleaning 497 clauses out of 1031 for limit 0.0027279790129805196
169.26/166.99	c cleaning 499 clauses out of 1034 for limit 0.004485749716915177
169.36/167.03	c cleaning 497 clauses out of 1035 for limit 0.007390453935111124
169.36/167.07	c cleaning 499 clauses out of 1039 for limit 0.01215307884285237
169.46/167.11	c cleaning 498 clauses out of 1040 for limit 0.020022781617028043
169.46/167.15	c cleaning 503 clauses out of 1041 for limit 0.032955537224233826
169.46/167.19	c cleaning 500 clauses out of 1039 for limit 0.05450721295798047
169.56/167.23	c cleaning 499 clauses out of 1038 for limit 0.0898863086540581
169.56/167.27	c cleaning 501 clauses out of 1039 for limit 0.14809187734371637
169.66/167.32	c cleaning 498 clauses out of 1038 for limit 0.24445859969581013
169.66/167.36	c cleaning 504 clauses out of 1041 for limit 0.40238551854082566
374.64/371.65	c cleaning 376509 clauses out of 753036 for limit 5187.436216725324
381.64/378.68	c cleaning 188506 clauses out of 377027 for limit 17086.454057494593
385.94/382.93	c cleaning 94497 clauses out of 189021 for limit 56204.38838072725
387.04/384.03	c cleaning 47500 clauses out of 95025 for limit 184557.9693529407
387.24/384.21	c cleaning 23994 clauses out of 48024 for limit 601635.8768325748
387.34/384.37	c cleaning 12246 clauses out of 24530 for limit 1942452.4458104789
387.44/384.45	c cleaning 6382 clauses out of 12784 for limit 6146629.962673627
387.54/384.51	c cleaning 3435 clauses out of 6903 for limit 1.8791279662859306E7
387.54/384.55	c cleaning 1971 clauses out of 3968 for limit 5.391113223682406E7
387.54/384.59	c cleaning 1232 clauses out of 2496 for limit 1.4119746857639444E8
387.64/384.63	c cleaning 866 clauses out of 1764 for limit 3.294798031721867E8
387.64/384.67	c cleaning 682 clauses out of 1398 for limit 6.8560834377866E8
387.74/384.71	c cleaning 590 clauses out of 1216 for limit 1.2998869320330472E9
387.74/384.75	c cleaning 563 clauses out of 1126 for limit 2.3150301378056283E9
387.74/384.79	c cleaning 531 clauses out of 1063 for limit 4.0440606682813554E9
387.84/384.82	c cleaning 502 clauses out of 1032 for limit 6.869531454165353E9
387.84/384.86	c cleaning 515 clauses out of 1030 for limit 1.1350773981390175E10
387.84/384.90	c cleaning 494 clauses out of 1015 for limit 1.899557942653164E10
387.94/384.94	c cleaning 493 clauses out of 1021 for limit 3.114216007087689E10
387.94/384.97	c cleaning 502 clauses out of 1029 for limit 5.1009315856387146E10
388.04/385.01	c cleaning 496 clauses out of 1026 for limit 8.428278697663231E10
388.04/385.05	c cleaning 498 clauses out of 1030 for limit 1.384538099385548E11
388.04/385.09	c cleaning 499 clauses out of 1033 for limit 2.2789364412451035E11
388.14/385.13	c cleaning 517 clauses out of 1034 for limit 3.7546363707263385E11
388.14/385.16	c cleaning 507 clauses out of 1016 for limit 6.29529503927883E11
388.24/385.20	c cleaning 500 clauses out of 1010 for limit 1.0453911563348005E12
388.24/385.24	c cleaning 484 clauses out of 1009 for limit 1.7239727805994097E12
388.24/385.28	c cleaning 513 clauses out of 1026 for limit 2.79875323652927E12
388.34/385.32	c cleaning 492 clauses out of 1013 for limit 4.674750225550322E12
388.34/385.35	c cleaning 497 clauses out of 1020 for limit 7.64872523535752E12
388.34/385.39	c cleaning 496 clauses out of 1023 for limit 1.2576780610054184E13
388.44/385.43	c cleaning 513 clauses out of 1027 for limit 2.0660011658318336E13
388.44/385.47	c cleaning 489 clauses out of 1014 for limit 3.450793234162654E13
388.54/385.51	c cleaning 512 clauses out of 1025 for limit 5.629747470772628E13
388.54/385.54	c cleaning 507 clauses out of 1014 for limit 9.39431727712206E13
388.54/385.58	c cleaning 503 clauses out of 1007 for limit 1.5600179486003034E14
388.64/385.62	c cleaning 484 clauses out of 1004 for limit 2.580365578444535E14
388.64/385.66	c cleaning 510 clauses out of 1020 for limit 4.1886171628649825E14
388.74/385.70	c cleaning 487 clauses out of 1009 for limit 6.97591288780247E14
388.74/385.73	c cleaning 495 clauses out of 1023 for limit 1.1358133788796295E15
388.74/385.77	c cleaning 501 clauses out of 1028 for limit 1.8639977596845978E15
388.84/385.81	c cleaning 513 clauses out of 1026 for limit 3.0768938600370335E15
388.84/385.84	c cleaning 507 clauses out of 1014 for limit 5.139398811197426E15
388.84/385.88	c cleaning 503 clauses out of 1007 for limit 8.534472654024741E15
388.94/385.92	c cleaning 501 clauses out of 1003 for limit 1.411648607095634E16
388.94/385.95	c cleaning 501 clauses out of 1002 for limit 2.330320750771424E16
388.94/385.99	c cleaning 489 clauses out of 1001 for limit 3.846849834246041E-4
389.04/386.03	c cleaning 489 clauses out of 1012 for limit 6.275013803393887E-4
389.04/386.07	c cleaning 494 clauses out of 1023 for limit 0.001023706477491903
389.14/386.10	c cleaning 496 clauses out of 1030 for limit 0.0016784339638526737
389.14/386.14	c cleaning 499 clauses out of 1034 for limit 0.0027572543593518055
389.14/386.18	c cleaning 507 clauses out of 1035 for limit 0.004542687982196931
389.24/386.22	c cleaning 498 clauses out of 1027 for limit 0.0075423067152962245
389.24/386.26	c cleaning 500 clauses out of 1029 for limit 0.012414097307994565
389.24/386.29	c cleaning 498 clauses out of 1029 for limit 0.02047250718910932
389.34/386.33	c cleaning 503 clauses out of 1031 for limit 0.03369640961035148
389.34/386.37	c cleaning 497 clauses out of 1028 for limit 0.05573205620422804
389.44/386.41	c cleaning 501 clauses out of 1032 for limit 0.0916450225812588
389.44/386.45	c cleaning 498 clauses out of 1030 for limit 0.15127693974984374
389.44/386.49	c cleaning 497 clauses out of 1033 for limit 0.24900039288839868
389.54/386.52	c cleaning 502 clauses out of 1035 for limit 0.4094316195840887
389.54/386.56	c cleaning 500 clauses out of 1034 for limit 0.6765370558643522
389.64/386.60	c cleaning 503 clauses out of 1033 for limit 1.1156633886499734
389.64/386.64	c cleaning 499 clauses out of 1030 for limit 1.845237047143276
389.64/386.68	c cleaning 501 clauses out of 1032 for limit 3.040185558037819
389.74/386.72	c cleaning 502 clauses out of 1030 for limit 5.018384572755639
389.74/386.75	c cleaning 498 clauses out of 1028 for limit 8.292088650962901
389.74/386.79	c cleaning 498 clauses out of 1030 for limit 13.648210542413016
389.84/386.83	c cleaning 503 clauses out of 1033 for limit 22.464823739190813
389.84/386.87	c cleaning 494 clauses out of 1029 for limit 37.15432172706663
389.94/386.91	c cleaning 499 clauses out of 1036 for limit 60.9193632875638
389.94/386.95	c cleaning 501 clauses out of 1037 for limit 100.36730007453383
389.94/386.99	c cleaning 507 clauses out of 1036 for limit 165.67887219569212
390.04/387.03	c cleaning 501 clauses out of 1029 for limit 275.0853088932353
390.04/387.07	c cleaning 498 clauses out of 1027 for limit 454.08139044475087
390.14/387.11	c cleaning 499 clauses out of 1029 for limit 747.3854855701412
390.14/387.15	c cleaning 499 clauses out of 1031 for limit 1231.3790706049415
390.14/387.19	c cleaning 498 clauses out of 1031 for limit 2028.678109554087
390.24/387.23	c cleaning 501 clauses out of 1033 for limit 3339.0842243774055
390.24/387.27	c cleaning 498 clauses out of 1032 for limit 5511.932430094084
390.34/387.30	c cleaning 501 clauses out of 1035 for limit 9072.639012698517
390.34/387.34	c cleaning 500 clauses out of 1033 for limit 14975.972529777086
390.34/387.38	c cleaning 499 clauses out of 1034 for limit 24698.195063883344
390.44/387.42	c cleaning 500 clauses out of 1034 for limit 40689.89709804137
390.44/387.46	c cleaning 500 clauses out of 1035 for limit 67105.35516958135
390.44/387.49	c cleaning 498 clauses out of 1035 for limit 110665.70786844562
390.54/387.53	c cleaning 504 clauses out of 1036 for limit 182144.06970332316
390.54/387.57	c cleaning 497 clauses out of 1033 for limit 301553.8437731743
390.64/387.61	c cleaning 506 clauses out of 1036 for limit 495862.5640039154
390.64/387.65	c cleaning 496 clauses out of 1029 for limit 822483.2790995092
390.64/387.69	c cleaning 495 clauses out of 1033 for limit 1351132.7404017097
390.74/387.73	c cleaning 503 clauses out of 1039 for limit 2217548.8244299577
390.74/387.76	c cleaning 518 clauses out of 1036 for limit 3667624.5385944215
390.84/387.80	c cleaning 508 clauses out of 1017 for limit 6155240.796956463
390.84/387.84	c cleaning 505 clauses out of 1010 for limit 1.0231399093342632E7
390.84/387.88	c cleaning 502 clauses out of 1004 for limit 1.695680639450178E7
390.94/387.91	c cleaning 488 clauses out of 1002 for limit 2.8019858636976928E7
390.94/387.95	c cleaning 507 clauses out of 1016 for limit 4.5663044513231315E7
390.94/387.99	c cleaning 491 clauses out of 1008 for limit 7.582622148814088E7
391.04/388.02	c cleaning 508 clauses out of 1017 for limit 1.2394096730486639E8
391.04/388.06	c cleaning 492 clauses out of 1008 for limit 2.0601397287943926E8
391.14/388.10	c cleaning 508 clauses out of 1017 for limit 3.3707508702910763E8
534.92/531.29	c cleaning 310245 clauses out of 620508 for limit 1.3777347176935502E-5
555.81/552.12	c cleaning 155377 clauses out of 310764 for limit 4.541221480097862E-5
562.61/558.98	c cleaning 77931 clauses out of 155886 for limit 1.4914807353577872E-4
565.71/562.09	c cleaning 39222 clauses out of 78455 for limit 4.887198983004509E-4
566.71/563.04	c cleaning 19859 clauses out of 39733 for limit 0.0015914213431103298
566.91/563.25	c cleaning 10172 clauses out of 20374 for limit 0.005118186661750727
567.01/563.32	c cleaning 5334 clauses out of 10703 for limit 0.01608337899183567
567.01/563.37	c cleaning 2914 clauses out of 5868 for limit 0.048329699113155516
567.11/563.43	c cleaning 1707 clauses out of 3454 for limit 0.13540595055903318
567.11/563.48	c cleaning 1107 clauses out of 2248 for limit 0.34344260960900935
567.21/563.52	c cleaning 802 clauses out of 1640 for limit 0.7755825147719084
567.21/563.56	c cleaning 656 clauses out of 1340 for limit 1.5685268948056768
567.31/563.60	c cleaning 576 clauses out of 1182 for limit 2.9266187793522835
567.31/563.64	c cleaning 530 clauses out of 1107 for limit 5.1585353320362115
567.31/563.68	c cleaning 516 clauses out of 1076 for limit 8.743456108555982
567.41/563.71	c cleaning 515 clauses out of 1060 for limit 14.636776028835179
567.41/563.75	c cleaning 508 clauses out of 1047 for limit 24.486658332470682
567.41/563.79	c cleaning 502 clauses out of 1038 for limit 40.69117445063647
567.51/563.83	c cleaning 498 clauses out of 1036 for limit 67.23473693632745
567.51/563.87	c cleaning 500 clauses out of 1037 for limit 110.661380630014
567.61/563.91	c cleaning 503 clauses out of 1037 for limit 182.49542067353946
567.61/563.95	c cleaning 498 clauses out of 1034 for limit 301.8325521309874
567.61/563.99	c cleaning 504 clauses out of 1036 for limit 496.8013259025467
567.71/564.03	c cleaning 498 clauses out of 1032 for limit 822.4673971014028
567.71/564.07	c cleaning 498 clauses out of 1035 for limit 1353.781071929327
567.81/564.11	c cleaning 502 clauses out of 1036 for limit 2228.180695520077
567.81/564.15	c cleaning 498 clauses out of 1034 for limit 3681.675529309998
567.81/564.19	c cleaning 497 clauses out of 1036 for limit 6059.854285399942
567.91/564.23	c cleaning 505 clauses out of 1040 for limit 9965.038849856279
567.91/564.26	c cleaning 499 clauses out of 1034 for limit 16512.51297824922
567.91/564.30	c cleaning 499 clauses out of 1035 for limit 27205.03242936124
568.01/564.34	c cleaning 498 clauses out of 1036 for limit 44821.43216857931
568.01/564.38	c cleaning 500 clauses out of 1038 for limit 73774.1166752456
568.11/564.42	c cleaning 504 clauses out of 1038 for limit 121663.38772223941
568.11/564.46	c cleaning 500 clauses out of 1034 for limit 201415.36931725917
568.21/564.50	c cleaning 502 clauses out of 1034 for limit 332160.88887020474
568.21/564.54	c cleaning 499 clauses out of 1033 for limit 548856.8768618645
568.21/564.57	c cleaning 502 clauses out of 1034 for limit 904263.0390617308
568.31/564.61	c cleaning 502 clauses out of 1034 for limit 1494237.7027256654
568.31/564.65	c cleaning 514 clauses out of 1029 for limit 2468750.529093335
568.31/564.69	c cleaning 508 clauses out of 1016 for limit 4127520.810876223
568.41/564.73	c cleaning 504 clauses out of 1008 for limit 6860856.478950518
568.41/564.77	c cleaning 502 clauses out of 1004 for limit 1.1359547733118065E7
568.51/564.81	c cleaning 482 clauses out of 1001 for limit 1.8770768404554807E7
568.51/564.84	c cleaning 491 clauses out of 1019 for limit 3.0408698445328835E7
568.51/564.88	c cleaning 494 clauses out of 1028 for limit 4.97089727259645E7
568.61/564.92	c cleaning 516 clauses out of 1034 for limit 8.150105885855393E7
568.61/564.96	c cleaning 509 clauses out of 1018 for limit 1.365186229301322E8
568.71/565.00	c cleaning 489 clauses out of 1009 for limit 2.2714563612354618E8
568.71/565.03	c cleaning 491 clauses out of 1020 for limit 3.705538067019501E8
680.04/675.30	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
681.54/676.75		at org.sat4j.minisat.constraints.cnf.WLClause.<init>(Unknown Source)
682.74/677.93		at org.sat4j.minisat.constraints.cnf.LearntWLClause.<init>(Unknown Source)
683.94/679.10		at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(Unknown Source)
685.04/680.28		at org.sat4j.minisat.core.Solver.analyze(Unknown Source)
685.64/680.87		at org.sat4j.minisat.core.Solver.search(Unknown Source)
686.24/681.45		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
687.43/682.63		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
688.63/683.81		at org.sat4j.tools.SolverDecorator.isSatisfiable(Unknown Source)
689.43/684.69		at org.sat4j.opt.PseudoOptDecorator.admitABetterSolution(Unknown Source)
689.73/684.99		at org.sat4j.AbstractOptimizationLauncher.solve(Unknown Source)
690.93/686.17		at org.sat4j.LanceurPseudo2005.solve(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-3732561-1338690950/watcher-3732561-1338690950 -o /tmp/evaluation-result-3732561-1338690950/solver-3732561-1338690950 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732561-1338690950.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 2.00 2.00 3/194 652
/proc/meminfo: memFree=26148048/32873648 swapFree=7112/7112
[pid=652] ppid=650 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/652/stat : 652 (java) D 650 652 29837 0 -1 4202496 456 0 0 0 0 0 0 0 20 0 1 0 335220889 9515008 185 33554432000 1073741824 1073778376 140737252420992 140737252410056 242158234919 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/652/statm: 2323 185 143 9 0 71 0

[startup+0.061464 s]
/proc/loadavg: 1.99 2.00 2.00 3/194 652
/proc/meminfo: memFree=26148048/32873648 swapFree=7112/7112
[pid=652] ppid=650 vsize=2956804 CPUtime=0.04 cores=0,2,4,6
/proc/652/stat : 652 (java) S 650 652 29837 0 -1 4202496 4069 0 1 0 4 0 0 0 20 0 18 0 335220889 3027767296 5788 33554432000 1073741824 1073778376 140737252420992 140737252412128 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/652/statm: 739201 5788 1768 9 0 729885 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2956804

[startup+0.10027 s]
/proc/loadavg: 1.99 2.00 2.00 3/194 652
/proc/meminfo: memFree=26148048/32873648 swapFree=7112/7112
[pid=652] ppid=650 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/652/stat : 652 (java) S 650 652 29837 0 -1 4202496 4910 0 1 0 9 1 0 0 20 0 18 0 335220889 3028844544 6613 33554432000 1073741824 1073778376 140737252420992 140737252412128 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/652/statm: 739464 6613 2130 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.300226 s]
/proc/loadavg: 1.99 2.00 2.00 3/194 652
/proc/meminfo: memFree=26148048/32873648 swapFree=7112/7112
[pid=652] ppid=650 vsize=2957856 CPUtime=0.45 cores=0,2,4,6
/proc/652/stat : 652 (java) S 650 652 29837 0 -1 4202496 5709 0 1 0 44 1 0 0 20 0 18 0 335220889 3028844544 9273 33554432000 1073741824 1073778376 140737252420992 140737252412128 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/652/statm: 739464 9273 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2957856

[startup+0.700162 s]
/proc/loadavg: 1.99 2.00 2.00 3/194 652
/proc/meminfo: memFree=26148048/32873648 swapFree=7112/7112
[pid=652] ppid=650 vsize=3024420 CPUtime=1.25 cores=0,2,4,6
/proc/652/stat : 652 (java) S 650 652 29837 0 -1 4202496 11389 0 1 0 123 2 0 0 20 0 19 0 335220889 3097006080 13445 33554432000 1073741824 1073778376 140737252420992 140737252412128 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/652/statm: 756105 13445 2264 9 0 746526 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 3024420

[startup+1.50066 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 672
/proc/meminfo: memFree=26096312/32873648 swapFree=7112/7112
[pid=652] ppid=650 vsize=3024420 CPUtime=2.16 cores=0,2,4,6
/proc/652/stat : 652 (java) S 650 652 29837 0 -1 4202496 11941 0 1 0 214 2 0 0 20 0 19 0 335220889 3097006080 18057 33554432000 1073741824 1073778376 140737252420992 140737252412128 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/652/statm: 756105 18057 2267 9 0 746526 0
[pid=652/tid=654] ppid=650 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/652/task/654/stat : 654 (java) R 650 652 29837 0 -1 4202560 3098 0 1 0 146 1 0 0 20 0 19 0 335220890 3097006080 18057 33554432000 1073741824 1073778376 140737252420992 140318682008072 140318545134085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=652/tid=655] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/655/stat : 655 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 18057 33554432000 1073741824 1073778376 140737252420992 140318665435688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=656] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/656/stat : 656 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 18057 33554432000 1073741824 1073778376 140737252420992 140318664382888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=657] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/657/stat : 657 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 18057 33554432000 1073741824 1073778376 140737252420992 140318663330088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=652/tid=658] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/658/stat : 658 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 18057 33554432000 1073741824 1073778376 140737252420992 140318544488616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=652/tid=659] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/659/stat : 659 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 18057 33554432000 1073741824 1073778376 140737252420992 140318543436840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=660] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/660/stat : 660 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 18057 33554432000 1073741824 1073778376 140737252420992 140318542384040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=652/tid=661] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/661/stat : 661 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 18057 33554432000 1073741824 1073778376 140737252420992 140318541331240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=662] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/662/stat : 662 (java) S 650 652 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 18057 33554432000 1073741824 1073778376 140737252420992 140318540278440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=663] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/663/stat : 663 (java) S 650 652 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335220892 3097006080 18057 33554432000 1073741824 1073778376 140737252420992 140318057949672 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=664] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/664/stat : 664 (java) S 650 652 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335220892 3097006080 18057 33554432000 1073741824 1073778376 140737252420992 140318056895736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=665] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/665/stat : 665 (java) S 650 652 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335220892 3097006080 18057 33554432000 1073741824 1073778376 140737252420992 140318055842824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=666] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/666/stat : 666 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220894 3097006080 18057 33554432000 1073741824 1073778376 140737252420992 140318054791312 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=667] ppid=650 vsize=3024420 CPUtime=0.27 cores=0,2,4,6
/proc/652/task/667/stat : 667 (java) S 650 652 29837 0 -1 4202560 2821 0 0 0 27 0 0 0 20 0 19 0 335220894 3097006080 18057 33554432000 1073741824 1073778376 140737252420992 140318053739448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=668] ppid=650 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/652/task/668/stat : 668 (java) S 650 652 29837 0 -1 4202560 4824 0 0 0 39 0 0 0 20 0 19 0 335220894 3097006080 18057 33554432000 1073741824 1073778376 140737252420992 140318052686648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=669] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/669/stat : 669 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220894 3097006080 18057 33554432000 1073741824 1073778376 140737252420992 140318051634040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=670] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/670/stat : 670 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220894 3097006080 18057 33554432000 1073741824 1073778376 140737252420992 140318050581448 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=672] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/672/stat : 672 (java) S 650 652 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335220931 3097006080 18057 33554432000 1073741824 1073778376 140737252420992 140318048449576 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 3024420

[startup+3.10061 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 672
/proc/meminfo: memFree=26071240/32873648 swapFree=7112/7112
[pid=652] ppid=650 vsize=3024420 CPUtime=3.76 cores=0,2,4,6
/proc/652/stat : 652 (java) S 650 652 29837 0 -1 4202496 11957 0 1 0 373 3 0 0 20 0 19 0 335220889 3097006080 25737 33554432000 1073741824 1073778376 140737252420992 140737252412128 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/652/statm: 756105 25737 2267 9 0 746526 0
[pid=652/tid=654] ppid=650 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/652/task/654/stat : 654 (java) R 650 652 29837 0 -1 4202560 3114 0 1 0 305 2 0 0 20 0 19 0 335220890 3097006080 25737 33554432000 1073741824 1073778376 140737252420992 140318682008064 140318545136700 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=652/tid=655] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/655/stat : 655 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 25737 33554432000 1073741824 1073778376 140737252420992 140318665435688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=656] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/656/stat : 656 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 25737 33554432000 1073741824 1073778376 140737252420992 140318664382888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=657] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/657/stat : 657 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 25737 33554432000 1073741824 1073778376 140737252420992 140318663330088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=652/tid=658] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/658/stat : 658 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 25737 33554432000 1073741824 1073778376 140737252420992 140318544488616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=652/tid=659] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/659/stat : 659 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 25737 33554432000 1073741824 1073778376 140737252420992 140318543436840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=660] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/660/stat : 660 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 25737 33554432000 1073741824 1073778376 140737252420992 140318542384040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=652/tid=661] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/661/stat : 661 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 25737 33554432000 1073741824 1073778376 140737252420992 140318541331240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=662] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/662/stat : 662 (java) S 650 652 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 25737 33554432000 1073741824 1073778376 140737252420992 140318540278440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=663] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/663/stat : 663 (java) S 650 652 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335220892 3097006080 25737 33554432000 1073741824 1073778376 140737252420992 140318057949672 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=664] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/664/stat : 664 (java) S 650 652 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335220892 3097006080 25737 33554432000 1073741824 1073778376 140737252420992 140318056895736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=665] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/665/stat : 665 (java) S 650 652 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335220892 3097006080 25737 33554432000 1073741824 1073778376 140737252420992 140318055842824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=666] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/666/stat : 666 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220894 3097006080 25737 33554432000 1073741824 1073778376 140737252420992 140318054791312 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=667] ppid=650 vsize=3024420 CPUtime=0.27 cores=0,2,4,6
/proc/652/task/667/stat : 667 (java) S 650 652 29837 0 -1 4202560 2821 0 0 0 27 0 0 0 20 0 19 0 335220894 3097006080 25737 33554432000 1073741824 1073778376 140737252420992 140318053739448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=668] ppid=650 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/652/task/668/stat : 668 (java) S 650 652 29837 0 -1 4202560 4824 0 0 0 39 0 0 0 20 0 19 0 335220894 3097006080 25737 33554432000 1073741824 1073778376 140737252420992 140318052686648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=669] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/669/stat : 669 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220894 3097006080 25737 33554432000 1073741824 1073778376 140737252420992 140318051634040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=670] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/670/stat : 670 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220894 3097006080 25737 33554432000 1073741824 1073778376 140737252420992 140318050581448 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=672] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/672/stat : 672 (java) S 650 652 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335220931 3097006080 25737 33554432000 1073741824 1073778376 140737252420992 140318048449576 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 3024420

[startup+6.30071 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 672
/proc/meminfo: memFree=26013524/32873648 swapFree=7112/7112
[pid=652] ppid=650 vsize=3024420 CPUtime=6.97 cores=0,2,4,6
/proc/652/stat : 652 (java) S 650 652 29837 0 -1 4202496 11985 0 1 0 694 3 0 0 20 0 19 0 335220889 3097006080 38900 33554432000 1073741824 1073778376 140737252420992 140737252412128 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/652/statm: 756105 38900 2268 9 0 746526 0
[pid=652/tid=654] ppid=650 vsize=3024420 CPUtime=6.28 cores=0,2,4,6
/proc/652/task/654/stat : 654 (java) R 650 652 29837 0 -1 4202560 3141 0 1 0 625 3 0 0 20 0 19 0 335220890 3097006080 38900 33554432000 1073741824 1073778376 140737252420992 140318682009960 140318545079206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=652/tid=655] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/655/stat : 655 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 38900 33554432000 1073741824 1073778376 140737252420992 140318665435688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=656] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/656/stat : 656 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 38900 33554432000 1073741824 1073778376 140737252420992 140318664382888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=657] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/657/stat : 657 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 38900 33554432000 1073741824 1073778376 140737252420992 140318663330088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=652/tid=658] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/658/stat : 658 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 38900 33554432000 1073741824 1073778376 140737252420992 140318544488616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=652/tid=659] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/659/stat : 659 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 38900 33554432000 1073741824 1073778376 140737252420992 140318543436840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=660] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/660/stat : 660 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 38900 33554432000 1073741824 1073778376 140737252420992 140318542384040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=652/tid=661] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/661/stat : 661 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 38900 33554432000 1073741824 1073778376 140737252420992 140318541331240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=662] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/662/stat : 662 (java) S 650 652 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335220890 3097006080 38900 33554432000 1073741824 1073778376 140737252420992 140318540278440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=663] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/663/stat : 663 (java) S 650 652 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335220892 3097006080 38900 33554432000 1073741824 1073778376 140737252420992 140318057949672 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=664] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/664/stat : 664 (java) S 650 652 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335220892 3097006080 38900 33554432000 1073741824 1073778376 140737252420992 140318056895736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=665] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/665/stat : 665 (java) S 650 652 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335220892 3097006080 38900 33554432000 1073741824 1073778376 140737252420992 140318055842824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=666] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/666/stat : 666 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220894 3097006080 38900 33554432000 1073741824 1073778376 140737252420992 140318054791312 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=667] ppid=650 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/652/task/667/stat : 667 (java) S 650 652 29837 0 -1 4202560 2821 0 0 0 28 0 0 0 20 0 19 0 335220894 3097006080 38900 33554432000 1073741824 1073778376 140737252420992 140318053739448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=668] ppid=650 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/652/task/668/stat : 668 (java) S 650 652 29837 0 -1 4202560 4824 0 0 0 39 0 0 0 20 0 19 0 335220894 3097006080 38900 33554432000 1073741824 1073778376 140737252420992 140318052686648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=669] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/669/stat : 669 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220894 3097006080 38900 33554432000 1073741824 1073778376 140737252420992 140318051634040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=670] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/670/stat : 670 (java) S 650 652 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335220894 3097006080 38900 33554432000 1073741824 1073778376 140737252420992 140318050581448 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=672] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/672/stat : 672 (java) S 650 652 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335220931 3097006080 38900 33554432000 1073741824 1073778376 140737252420992 140318048449576 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

/proc/652/task/655/stat : 655 (java) S 650 652 29837 0 -1 4202560 348 0 0 0 55 19 0 0 20 0 19 0 335220890 3097006080 419302 33554432000 1073741824 1073778376 140737252420992 140318665435688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=656] ppid=650 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/652/task/656/stat : 656 (java) S 650 652 29837 0 -1 4202560 247 0 0 0 53 12 0 0 20 0 19 0 335220890 3097006080 419302 33554432000 1073741824 1073778376 140737252420992 140318664382888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=652/tid=657] ppid=650 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/652/task/657/stat : 657 (java) S 650 652 29837 0 -1 4202560 262 0 0 0 58 13 0 0 20 0 19 0 335220890 3097006080 419302 33554432000 1073741824 1073778376 140737252420992 140318663330088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=652/tid=658] ppid=650 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/652/task/658/stat : 658 (java) S 650 652 29837 0 -1 4202560 563 0 0 0 50 13 0 0 20 0 19 0 335220890 3097006080 419302 33554432000 1073741824 1073778376 140737252420992 140318544488616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=659] ppid=650 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/652/task/659/stat : 659 (java) S 650 652 29837 0 -1 4202560 329 0 0 0 47 19 0 0 20 0 19 0 335220890 3097006080 419302 33554432000 1073741824 1073778376 140737252420992 140318543436840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=660] ppid=650 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/652/task/660/stat : 660 (java) S 650 652 29837 0 -1 4202560 269 0 0 0 55 12 0 0 20 0 19 0 335220890 3097006080 419302 33554432000 1073741824 1073778376 140737252420992 140318542384040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=661] ppid=650 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/652/task/661/stat : 661 (java) S 650 652 29837 0 -1 4202560 546 0 0 0 58 17 0 0 20 0 19 0 335220890 3097006080 419302 33554432000 1073741824 1073778376 140737252420992 140318541331240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=662] ppid=650 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/652/task/662/stat : 662 (java) S 650 652 29837 0 -1 4202560 262 0 0 0 43 10 0 0 20 0 19 0 335220890 3097006080 419302 33554432000 1073741824 1073778376 140737252420992 140318540278440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=652/tid=663] ppid=650 vsize=3024420 CPUtime=17.79 cores=0,2,4,6
/proc/652/task/663/stat : 663 (java) R 650 652 29837 0 -1 4202560 196 0 0 0 1774 5 0 0 20 0 19 0 335220892 3097006080 419302 33554432000 1073741824 1073778376 140737252420992 140318057949488 140318686146909 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=652/tid=664] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/664/stat : 664 (java) S 650 652 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335220892 3097006080 419302 33554432000 1073741824 1073778376 140737252420992 140318056895256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=665] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/665/stat : 665 (java) S 650 652 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335220892 3097006080 419302 33554432000 1073741824 1073778376 140737252420992 140318055840120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=666] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/666/stat : 666 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220894 3097006080 419302 33554432000 1073741824 1073778376 140737252420992 140318054791312 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=667] ppid=650 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/652/task/667/stat : 667 (java) S 650 652 29837 0 -1 4202560 2833 0 0 0 34 0 0 0 20 0 19 0 335220894 3097006080 419302 33554432000 1073741824 1073778376 140737252420992 140318053739448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=668] ppid=650 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/652/task/668/stat : 668 (java) S 650 652 29837 0 -1 4202560 4825 0 0 0 43 0 0 0 20 0 19 0 335220894 3097006080 419302 33554432000 1073741824 1073778376 140737252420992 140318052686648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=669] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/669/stat : 669 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220894 3097006080 419302 33554432000 1073741824 1073778376 140737252420992 140318051634040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=670] ppid=650 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/652/task/670/stat : 670 (java) S 650 652 29837 0 -1 4202560 40 0 0 0 8 9 0 0 20 0 19 0 335220894 3097006080 419302 33554432000 1073741824 1073778376 140737252420992 140318050581448 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=652/tid=672] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/672/stat : 672 (java) S 650 652 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335220931 3097006080 419302 33554432000 1073741824 1073778376 140737252420992 140318048449576 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 691.93
Current children cumulated vsize (KiB) 3024420

[startup+687.901 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 677
/proc/meminfo: memFree=24469440/32873648 swapFree=7112/7112
[pid=652] ppid=650 vsize=3024420 CPUtime=692.73 cores=0,2,4,6
/proc/652/stat : 652 (java) S 650 652 29837 0 -1 4202496 15256 0 1 0 69139 134 0 0 20 0 19 0 335220889 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140737252412128 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/652/statm: 756105 419304 2296 9 0 746526 0
[pid=652/tid=654] ppid=650 vsize=3024420 CPUtime=667.79 cores=0,2,4,6
/proc/652/task/654/stat : 654 (java) S 650 652 29837 0 -1 4202560 3345 0 1 0 66761 18 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318682011752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=655] ppid=650 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/652/task/655/stat : 655 (java) S 650 652 29837 0 -1 4202560 348 0 0 0 55 19 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318665435688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=656] ppid=650 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/652/task/656/stat : 656 (java) S 650 652 29837 0 -1 4202560 247 0 0 0 53 12 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318664382888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=652/tid=657] ppid=650 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/652/task/657/stat : 657 (java) S 650 652 29837 0 -1 4202560 262 0 0 0 58 13 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318663330088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=652/tid=658] ppid=650 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/652/task/658/stat : 658 (java) S 650 652 29837 0 -1 4202560 563 0 0 0 50 13 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318544488616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=659] ppid=650 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/652/task/659/stat : 659 (java) S 650 652 29837 0 -1 4202560 329 0 0 0 47 19 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318543436840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=660] ppid=650 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/652/task/660/stat : 660 (java) S 650 652 29837 0 -1 4202560 269 0 0 0 55 12 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318542384040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=661] ppid=650 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/652/task/661/stat : 661 (java) S 650 652 29837 0 -1 4202560 546 0 0 0 58 17 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318541331240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=662] ppid=650 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/652/task/662/stat : 662 (java) S 650 652 29837 0 -1 4202560 262 0 0 0 43 10 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318540278440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=652/tid=663] ppid=650 vsize=3024420 CPUtime=18.59 cores=0,2,4,6
/proc/652/task/663/stat : 663 (java) R 650 652 29837 0 -1 4202560 196 0 0 0 1854 5 0 0 20 0 19 0 335220892 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318057949832 140318688865556 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=652/tid=664] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/664/stat : 664 (java) S 650 652 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335220892 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318056895736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=665] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/665/stat : 665 (java) S 650 652 29837 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 335220892 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318055842824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=666] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/666/stat : 666 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220894 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318054791312 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=667] ppid=650 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/652/task/667/stat : 667 (java) S 650 652 29837 0 -1 4202560 2833 0 0 0 34 0 0 0 20 0 19 0 335220894 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318053739448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=668] ppid=650 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/652/task/668/stat : 668 (java) S 650 652 29837 0 -1 4202560 4825 0 0 0 43 0 0 0 20 0 19 0 335220894 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318052686648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=669] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/669/stat : 669 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220894 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318051634040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=670] ppid=650 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/652/task/670/stat : 670 (java) S 650 652 29837 0 -1 4202560 40 0 0 0 8 9 0 0 20 0 19 0 335220894 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318050581448 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=652/tid=672] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/672/stat : 672 (java) S 650 652 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335220931 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318048449576 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 692.73
Current children cumulated vsize (KiB) 3024420

[startup+688.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 677
/proc/meminfo: memFree=24469440/32873648 swapFree=7112/7112
[pid=652] ppid=650 vsize=3024420 CPUtime=692.93 cores=0,2,4,6
/proc/652/stat : 652 (java) S 650 652 29837 0 -1 4202496 15257 0 1 0 69159 134 0 0 20 0 19 0 335220889 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140737252412128 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/652/statm: 756105 419304 2296 9 0 746526 0
[pid=652/tid=654] ppid=650 vsize=3024420 CPUtime=667.79 cores=0,2,4,6
/proc/652/task/654/stat : 654 (java) S 650 652 29837 0 -1 4202560 3346 0 1 0 66761 18 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318682011768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=655] ppid=650 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/652/task/655/stat : 655 (java) S 650 652 29837 0 -1 4202560 348 0 0 0 55 19 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318665435688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=656] ppid=650 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/652/task/656/stat : 656 (java) S 650 652 29837 0 -1 4202560 247 0 0 0 53 12 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318664382888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=652/tid=657] ppid=650 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/652/task/657/stat : 657 (java) S 650 652 29837 0 -1 4202560 262 0 0 0 58 13 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318663330088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=652/tid=658] ppid=650 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/652/task/658/stat : 658 (java) S 650 652 29837 0 -1 4202560 563 0 0 0 50 13 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318544488616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=659] ppid=650 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/652/task/659/stat : 659 (java) S 650 652 29837 0 -1 4202560 329 0 0 0 47 19 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318543436840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=660] ppid=650 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/652/task/660/stat : 660 (java) S 650 652 29837 0 -1 4202560 269 0 0 0 55 12 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318542384040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=661] ppid=650 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/652/task/661/stat : 661 (java) S 650 652 29837 0 -1 4202560 546 0 0 0 58 17 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318541331240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=662] ppid=650 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/652/task/662/stat : 662 (java) S 650 652 29837 0 -1 4202560 262 0 0 0 43 10 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318540278440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=652/tid=663] ppid=650 vsize=3024420 CPUtime=18.79 cores=0,2,4,6
/proc/652/task/663/stat : 663 (java) R 650 652 29837 0 -1 4202560 196 0 0 0 1874 5 0 0 20 0 19 0 335220892 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318057949832 140318688864259 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=652/tid=664] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/664/stat : 664 (java) S 650 652 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335220892 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318056895736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=665] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/665/stat : 665 (java) S 650 652 29837 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 335220892 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318055842824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=666] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/666/stat : 666 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220894 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318054791312 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=667] ppid=650 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/652/task/667/stat : 667 (java) S 650 652 29837 0 -1 4202560 2833 0 0 0 34 0 0 0 20 0 19 0 335220894 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318053739448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=668] ppid=650 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/652/task/668/stat : 668 (java) S 650 652 29837 0 -1 4202560 4825 0 0 0 43 0 0 0 20 0 19 0 335220894 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318052686648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=669] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/669/stat : 669 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220894 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318051634040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=670] ppid=650 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/652/task/670/stat : 670 (java) S 650 652 29837 0 -1 4202560 40 0 0 0 8 9 0 0 20 0 19 0 335220894 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318050581448 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=652/tid=672] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/672/stat : 672 (java) S 650 652 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335220931 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318048449576 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 692.93
Current children cumulated vsize (KiB) 3024420

[startup+688.201 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 677
/proc/meminfo: memFree=24469440/32873648 swapFree=7112/7112
[pid=652] ppid=650 vsize=3024420 CPUtime=693.03 cores=0,2,4,6
/proc/652/stat : 652 (java) S 650 652 29837 0 -1 4202496 15257 0 1 0 69169 134 0 0 20 0 19 0 335220889 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140737252412128 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/652/statm: 756105 419304 2296 9 0 746526 0
[pid=652/tid=654] ppid=650 vsize=3024420 CPUtime=667.79 cores=0,2,4,6
/proc/652/task/654/stat : 654 (java) S 650 652 29837 0 -1 4202560 3346 0 1 0 66761 18 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318682011768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=655] ppid=650 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/652/task/655/stat : 655 (java) S 650 652 29837 0 -1 4202560 348 0 0 0 55 19 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318665435688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=656] ppid=650 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/652/task/656/stat : 656 (java) S 650 652 29837 0 -1 4202560 247 0 0 0 53 12 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318664382888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=652/tid=657] ppid=650 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/652/task/657/stat : 657 (java) S 650 652 29837 0 -1 4202560 262 0 0 0 58 13 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318663330088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=652/tid=658] ppid=650 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/652/task/658/stat : 658 (java) S 650 652 29837 0 -1 4202560 563 0 0 0 50 13 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318544488616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=659] ppid=650 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/652/task/659/stat : 659 (java) S 650 652 29837 0 -1 4202560 329 0 0 0 47 19 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318543436840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=660] ppid=650 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/652/task/660/stat : 660 (java) S 650 652 29837 0 -1 4202560 269 0 0 0 55 12 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318542384040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=661] ppid=650 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/652/task/661/stat : 661 (java) S 650 652 29837 0 -1 4202560 546 0 0 0 58 17 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318541331240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=662] ppid=650 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/652/task/662/stat : 662 (java) S 650 652 29837 0 -1 4202560 262 0 0 0 43 10 0 0 20 0 19 0 335220890 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318540278440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=652/tid=663] ppid=650 vsize=3024420 CPUtime=18.89 cores=0,2,4,6
/proc/652/task/663/stat : 663 (java) R 650 652 29837 0 -1 4202560 196 0 0 0 1884 5 0 0 20 0 19 0 335220892 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318057949832 140318686171452 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=652/tid=664] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/664/stat : 664 (java) S 650 652 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335220892 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318056895736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=665] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/665/stat : 665 (java) S 650 652 29837 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 335220892 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318055842824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=666] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/666/stat : 666 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220894 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318054791312 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=667] ppid=650 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/652/task/667/stat : 667 (java) S 650 652 29837 0 -1 4202560 2833 0 0 0 34 0 0 0 20 0 19 0 335220894 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318053739448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=652/tid=668] ppid=650 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/652/task/668/stat : 668 (java) S 650 652 29837 0 -1 4202560 4825 0 0 0 43 0 0 0 20 0 19 0 335220894 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318052686648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=669] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/669/stat : 669 (java) S 650 652 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335220894 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318051634040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=652/tid=670] ppid=650 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/652/task/670/stat : 670 (java) S 650 652 29837 0 -1 4202560 40 0 0 0 8 9 0 0 20 0 19 0 335220894 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318050581448 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=652/tid=672] ppid=650 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/652/task/672/stat : 672 (java) S 650 652 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335220931 3097006080 419304 33554432000 1073741824 1073778376 140737252420992 140318048449576 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 693.03
Current children cumulated vsize (KiB) 3024420

Child status: 1
Real time (s): 688.273
CPU time (s): 693.298
CPU user time (s): 691.687
CPU system time (s): 1.61076
CPU usage (%): 100.73
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 691.687
system time used= 1.61075
maximum resident set size= 1677224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15260
page faults= 1
swaps= 0
block input operations= 0
block output operations= 624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15149
involuntary context switches= 7482

runsolver used 1.3388 second user time and 3.35049 second system time

The end

Launcher Data 

Begin job on node126 at 2012-06-03 04:35:50
IDJOB=3732561
IDBENCH=2119
IDSOLVER=2319
FILE ID=node126/3732561-1338690950
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-ii8e1.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732561-1338690950/watcher-3732561-1338690950 -o /tmp/evaluation-result-3732561-1338690950/solver-3732561-1338690950 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732561-1338690950.opb           

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

MD5SUM BENCH= 9711add7b63200e6cedabbc5764a3737
RANDOM SEED=699217947

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:        26148304 kB
Buffers:          405604 kB
Cached:          3776720 kB
SwapCached:         9476 kB
Active:          3145536 kB
Inactive:        2717020 kB
Active(anon):    1669784 kB
Inactive(anon):    12168 kB
Active(file):    1475752 kB
Inactive(file):  2704852 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67094928 kB
Dirty:              3440 kB
Writeback:             0 kB
AnonPages:       1677664 kB
Mapped:            18036 kB
Shmem:                 0 kB
Slab:             723196 kB
SReclaimable:     166868 kB
SUnreclaim:       556328 kB
KernelStack:        1696 kB
PageTables:         7368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1825396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1646592 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:47:18