Trace number 3732957

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) 409.28 404.569

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
MD5SUMed36462db2ffa04ea65b986069441496
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2642
Best CPU time to get the best result obtained on this benchmark0.050991
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2642
Optimality of the best value was proved YES
Number of variables907
Total number of constraints403
Number of constraints which are clauses126
Number of constraints which are cardinality constraints (but not clauses)277
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint134
Number of terms in the objective function 748
Biggest coefficient in the objective function 240
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 33855
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 240
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 33855
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.07/0.10	c no version file found!!!
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version	1.6.0_24
0.07/0.10	c os.name	Linux
0.07/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch	amd64
0.07/0.10	c Free memory 1599470296
0.07/0.10	c Max memory 1607860224
0.07/0.10	c Total memory 1607860224
0.07/0.10	c Number of processors 8
0.07/0.12	--- Begin Solver configuration ---
0.07/0.12	c Stops conflict analysis at the first Unique Implication Point
0.07/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.12	c No reason simplification
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3732957-1338692366.opb
0.07/0.12	c reading problem ... 
0.22/0.24	c ... done. Wall clock time 0.121s.
0.22/0.24	c CPU time (experimental) 0.2s.
0.22/0.24	c #vars     907
0.22/0.24	c #constraints  661
0.22/0.27	c SATISFIABLE
0.22/0.27	c OPTIMIZING...
0.22/0.27	c Got one! Elapsed wall clock time (in seconds):0.147
0.22/0.27	o 2653
119.94/117.61	c cleaning 595491 clauses out of 1191001 for limit 2.6794474301980713E11
132.65/130.35	c cleaning 298000 clauses out of 596010 for limit 8.829979745907289E11
135.65/133.38	c cleaning 149249 clauses out of 298510 for limit 2.907436621719592E12
137.56/135.25	c cleaning 74872 clauses out of 149761 for limit 9.557103660827453E12
137.85/135.57	c cleaning 37685 clauses out of 75389 for limit 3.1309269312831797E13
138.25/135.93	c cleaning 19092 clauses out of 38204 for limit 1.018891561804801E14
138.35/136.06	c cleaning 9796 clauses out of 19612 for limit 3.273186900013491E14
138.45/136.11	c cleaning 5147 clauses out of 10316 for limit 1.0262123632286692E15
138.45/136.14	c cleaning 2824 clauses out of 5669 for limit 3.0796262016012945E15
138.45/136.17	c cleaning 1662 clauses out of 3345 for limit 8.607246244545352E15
138.45/136.19	c cleaning 1091 clauses out of 2183 for limit 2.1750162262722124E16
138.55/136.21	c cleaning 786 clauses out of 1592 for limit 4.9184590577629368E16
138.55/136.23	c cleaning 644 clauses out of 1306 for limit 9.88746215142718E-4
138.55/136.26	c cleaning 570 clauses out of 1162 for limit 0.0018326425678309463
138.55/136.28	c cleaning 535 clauses out of 1092 for limit 0.0032160081942801157
138.55/136.30	c cleaning 523 clauses out of 1057 for limit 0.005479244554904202
138.66/136.32	c cleaning 513 clauses out of 1034 for limit 0.009237001630291578
138.66/136.35	c cleaning 506 clauses out of 1021 for limit 0.015427007972243136
138.66/136.37	c cleaning 499 clauses out of 1015 for limit 0.02559159126409446
138.66/136.39	c cleaning 501 clauses out of 1016 for limit 0.042162418247997616
138.76/136.41	c cleaning 501 clauses out of 1015 for limit 0.06959997198778753
138.76/136.44	c cleaning 500 clauses out of 1014 for limit 0.11489285966116218
138.76/136.46	c cleaning 500 clauses out of 1014 for limit 0.18947369567303987
138.76/136.48	c cleaning 500 clauses out of 1014 for limit 0.31246747150236814
138.85/136.50	c cleaning 501 clauses out of 1014 for limit 0.5153006616578899
138.85/136.53	c cleaning 500 clauses out of 1013 for limit 0.8506386208664868
138.85/136.55	c cleaning 499 clauses out of 1013 for limit 1.402816882207637
138.85/136.57	c cleaning 501 clauses out of 1014 for limit 2.3111512124266422
138.85/136.59	c cleaning 501 clauses out of 1013 for limit 3.815160014790957
138.95/136.62	c cleaning 498 clauses out of 1012 for limit 6.297926351365329
138.95/136.64	c cleaning 499 clauses out of 1014 for limit 10.36563762506351
138.95/136.66	c cleaning 501 clauses out of 1015 for limit 17.077481436253418
138.95/136.68	c cleaning 502 clauses out of 1014 for limit 28.190825685473573
139.05/136.71	c cleaning 501 clauses out of 1012 for limit 46.58232120210107
139.05/136.73	c cleaning 498 clauses out of 1011 for limit 76.8964639819095
139.05/136.75	c cleaning 500 clauses out of 1013 for limit 126.56218583269509
139.05/136.77	c cleaning 501 clauses out of 1013 for limit 208.717975624424
139.05/136.80	c cleaning 500 clauses out of 1012 for limit 344.5439859907711
139.15/136.82	c cleaning 500 clauses out of 1012 for limit 568.1991251686044
139.15/136.84	c cleaning 494 clauses out of 1012 for limit 937.0363697220787
139.15/136.86	c cleaning 501 clauses out of 1018 for limit 1536.1904794621018
139.15/136.89	c cleaning 499 clauses out of 1017 for limit 2535.874644515245
139.25/136.91	c cleaning 500 clauses out of 1018 for limit 4177.888480443087
139.25/136.93	c cleaning 499 clauses out of 1018 for limit 6889.897012172296
139.25/136.95	c cleaning 502 clauses out of 1019 for limit 11351.211384661792
139.25/136.98	c cleaning 498 clauses out of 1017 for limit 18756.479613875505
139.35/137.00	c cleaning 500 clauses out of 1019 for limit 30871.233689495646
139.35/137.02	c cleaning 498 clauses out of 1019 for limit 50910.79423373485
139.35/137.04	c cleaning 505 clauses out of 1021 for limit 83794.24673215437
139.35/137.07	c cleaning 502 clauses out of 1016 for limit 138867.9813295829
139.35/137.09	c cleaning 499 clauses out of 1014 for limit 229463.57859652842
139.45/137.11	c cleaning 498 clauses out of 1015 for limit 378043.3144125554
139.45/137.14	c cleaning 502 clauses out of 1017 for limit 622217.9539666146
139.45/137.16	c cleaning 499 clauses out of 1015 for limit 1028142.5575204546
139.45/137.18	c cleaning 501 clauses out of 1016 for limit 1693875.7766721176
139.55/137.20	c cleaning 497 clauses out of 1015 for limit 2796179.9039544053
139.55/137.22	c cleaning 509 clauses out of 1018 for limit 4597685.509621007
139.55/137.25	c cleaning 497 clauses out of 1009 for limit 7649829.579026387
139.55/137.27	c cleaning 499 clauses out of 1012 for limit 1.2578194350664046E7
139.55/137.29	c cleaning 506 clauses out of 1013 for limit 2.07226482398427E7
139.65/137.31	c cleaning 503 clauses out of 1007 for limit 3.437804034065959E7
139.65/137.34	c cleaning 502 clauses out of 1004 for limit 5.6863391878925115E7
139.65/137.36	c cleaning 501 clauses out of 1002 for limit 9.39625165846754E7
139.65/137.38	c cleaning 500 clauses out of 1001 for limit 1.5511156188668126E8
139.76/137.40	c cleaning 494 clauses out of 1001 for limit 2.5579971600464636E8
139.76/137.43	c cleaning 496 clauses out of 1007 for limit 4.1933445870646477E8
139.76/137.45	c cleaning 505 clauses out of 1011 for limit 6.888025621236315E8
139.76/137.47	c cleaning 494 clauses out of 1006 for limit 1.141573334576905E9
139.76/137.49	c cleaning 500 clauses out of 1012 for limit 1.8714454432211425E9
139.88/137.52	c cleaning 506 clauses out of 1012 for limit 3.0862638933639836E9
139.88/137.54	c cleaning 503 clauses out of 1006 for limit 5.12001787033014E9
139.88/137.56	c cleaning 490 clauses out of 1003 for limit 8.468849430092141E9
139.88/137.58	c cleaning 506 clauses out of 1013 for limit 1.382839531055027E10
139.97/137.60	c cleaning 503 clauses out of 1007 for limit 2.2940751892833103E10
139.97/137.63	c cleaning 502 clauses out of 1004 for limit 3.79454137569475E10
139.97/137.65	c cleaning 492 clauses out of 1002 for limit 6.2701967850267975E10
139.97/137.67	c cleaning 499 clauses out of 1010 for limit 1.0258489204999007E11
139.97/137.69	c cleaning 505 clauses out of 1011 for limit 1.6900887503193417E11
140.07/137.72	c cleaning 503 clauses out of 1006 for limit 2.801035240758395E11
140.07/137.74	c cleaning 491 clauses out of 1003 for limit 4.633098224095689E11
140.07/137.76	c cleaning 506 clauses out of 1012 for limit 7.572648787207946E11
140.07/137.78	c cleaning 503 clauses out of 1006 for limit 1.256279386853645E12
140.17/137.81	c cleaning 492 clauses out of 1003 for limit 2.0779694990998145E12
140.17/137.83	c cleaning 496 clauses out of 1011 for limit 3.3997331739576855E12
140.17/137.85	c cleaning 507 clauses out of 1015 for limit 5.5845197782814375E12
140.17/137.87	c cleaning 496 clauses out of 1008 for limit 9.27357589389614E12
140.17/137.90	c cleaning 498 clauses out of 1012 for limit 1.5232919153941934E13
140.27/137.92	c cleaning 497 clauses out of 1014 for limit 2.5071572945183754E13
140.27/137.94	c cleaning 508 clauses out of 1017 for limit 4.122441208540191E13
140.27/137.96	c cleaning 504 clauses out of 1009 for limit 6.8523595767448195E13
140.27/137.98	c cleaning 494 clauses out of 1005 for limit 1.1345434580124345E14
140.37/138.01	c cleaning 497 clauses out of 1011 for limit 1.859909998481485E14
140.37/138.03	c cleaning 507 clauses out of 1014 for limit 3.058165726059115E14
140.37/138.05	c cleaning 503 clauses out of 1007 for limit 5.078382262077506E14
140.37/138.07	c cleaning 502 clauses out of 1004 for limit 8.399956420376761E14
140.37/138.10	c cleaning 501 clauses out of 1002 for limit 1.3880301866986035E15
140.47/138.12	c cleaning 491 clauses out of 1001 for limit 2.291334225926813E15
140.47/138.14	c cleaning 499 clauses out of 1010 for limit 3.745044935079017E15
140.47/138.16	c cleaning 497 clauses out of 1011 for limit 6.169971218698652E15
140.47/138.18	c cleaning 507 clauses out of 1014 for limit 1.014500407396099E16
140.57/138.21	c cleaning 503 clauses out of 1007 for limit 1.6846768080256626E16
140.57/138.23	c cleaning 502 clauses out of 1004 for limit 2.7865589944869412E16
140.57/138.25	c cleaning 501 clauses out of 1002 for limit 4.6045810332798136E16
140.57/138.27	c cleaning 500 clauses out of 1001 for limit 7.6011560978381152E16
140.57/138.30	c cleaning 490 clauses out of 1001 for limit 0.0012535323269805372
140.67/138.32	c cleaning 497 clauses out of 1011 for limit 0.0020467949992553683
140.67/138.34	c cleaning 498 clauses out of 1014 for limit 0.0033654522638743075
140.67/138.36	c cleaning 499 clauses out of 1016 for limit 0.0055391556489681965
140.67/138.38	c cleaning 500 clauses out of 1017 for limit 0.00912582656737083
140.77/138.41	c cleaning 499 clauses out of 1017 for limit 0.015049708840831144
140.77/138.43	c cleaning 500 clauses out of 1018 for limit 0.02479460305189898
140.77/138.45	c cleaning 499 clauses out of 1018 for limit 0.040889617395234876
140.77/138.47	c cleaning 500 clauses out of 1019 for limit 0.06736627407800894
140.77/138.50	c cleaning 504 clauses out of 1019 for limit 0.11109599805354987
140.88/138.52	c cleaning 499 clauses out of 1015 for limit 0.18393418132317477
140.88/138.54	c cleaning 500 clauses out of 1016 for limit 0.3030335160882047
140.88/138.56	c cleaning 501 clauses out of 1016 for limit 0.4997428071279588
140.88/138.59	c cleaning 500 clauses out of 1015 for limit 0.8249547066446102
140.98/138.61	c cleaning 500 clauses out of 1015 for limit 1.3604606717231884
140.98/138.63	c cleaning 498 clauses out of 1015 for limit 2.243581646844103
140.98/138.65	c cleaning 500 clauses out of 1017 for limit 3.6926900400966898
140.98/138.68	c cleaning 502 clauses out of 1017 for limit 6.089739875355013
141.07/138.70	c cleaning 500 clauses out of 1015 for limit 10.062584485335726
141.07/138.72	c cleaning 500 clauses out of 1015 for limit 16.59454796478749
141.07/138.74	c cleaning 501 clauses out of 1015 for limit 27.366629572844232
290.89/287.64	c cleaning 516750 clauses out of 1033514 for limit 1.905607934052314E7
303.39/300.10	c cleaning 258627 clauses out of 517264 for limit 6.279044333493999E7
312.89/309.68	c cleaning 129565 clauses out of 259137 for limit 2.0669609111221918E8
315.19/311.94	c cleaning 65028 clauses out of 130072 for limit 6.791000450545596E8
315.59/312.37	c cleaning 32764 clauses out of 65544 for limit 2.2224936177042522E9
315.89/312.62	c cleaning 16631 clauses out of 33280 for limit 7.218484590816279E9
315.99/312.74	c cleaning 8566 clauses out of 17149 for limit 2.3101832890215343E10
315.99/312.78	c cleaning 4535 clauses out of 9083 for limit 7.193028998949243E10
316.09/312.81	c cleaning 2516 clauses out of 5048 for limit 2.134409111278414E11
316.09/312.84	c cleaning 1508 clauses out of 3032 for limit 5.86035199832242E11
316.09/312.86	c cleaning 1005 clauses out of 2024 for limit 1.4477656832522253E12
316.09/312.88	c cleaning 759 clauses out of 1519 for limit 3.181316658057552E12
316.19/312.91	c cleaning 630 clauses out of 1260 for limit 6.324846869445431E12
316.19/312.93	c cleaning 552 clauses out of 1130 for limit 1.1630489778182197E13
316.19/312.95	c cleaning 528 clauses out of 1078 for limit 2.0105439614043555E13
316.19/312.98	c cleaning 525 clauses out of 1050 for limit 3.4040734503313477E13
316.29/313.00	c cleaning 512 clauses out of 1025 for limit 5.75069378908791E13
316.29/313.02	c cleaning 506 clauses out of 1013 for limit 9.596006867289173E13
316.29/313.05	c cleaning 496 clauses out of 1007 for limit 1.5919389615398803E14
316.29/313.07	c cleaning 495 clauses out of 1011 for limit 2.6149332893738588E14
316.29/313.09	c cleaning 500 clauses out of 1016 for limit 4.2911524966979006E14
316.39/313.11	c cleaning 508 clauses out of 1016 for limit 7.076684527165504E14
316.39/313.14	c cleaning 504 clauses out of 1008 for limit 1.1763021705367312E15
316.39/313.16	c cleaning 493 clauses out of 1004 for limit 1.9476082462559148E15
316.39/313.18	c cleaning 496 clauses out of 1011 for limit 3.189628101507027E15
316.49/313.20	c cleaning 497 clauses out of 1015 for limit 5.239393889695278E15
316.49/313.23	c cleaning 501 clauses out of 1018 for limit 8.614998388258799E15
316.49/313.25	c cleaning 508 clauses out of 1017 for limit 1.422125463436981E16
316.49/313.27	c cleaning 504 clauses out of 1009 for limit 2.3638699852231172E16
316.49/313.29	c cleaning 502 clauses out of 1005 for limit 3.9138536109934608E16
316.59/313.32	c cleaning 501 clauses out of 1003 for limit 6.4673385159017408E16
316.59/313.34	c cleaning 491 clauses out of 1002 for limit 0.0010676150615751704
316.59/313.36	c cleaning 498 clauses out of 1011 for limit 0.001744966705879562
316.59/313.39	c cleaning 498 clauses out of 1013 for limit 0.0028720020279911795
316.69/313.41	c cleaning 501 clauses out of 1015 for limit 0.004726982912229814
316.69/313.43	c cleaning 496 clauses out of 1014 for limit 0.007803114984742033
316.69/313.45	c cleaning 500 clauses out of 1018 for limit 0.012817817110778883
316.69/313.48	c cleaning 498 clauses out of 1018 for limit 0.021138295152569597
316.69/313.50	c cleaning 501 clauses out of 1020 for limit 0.034791523838028464
316.79/313.52	c cleaning 499 clauses out of 1019 for limit 0.057432183197657256
316.79/313.54	c cleaning 501 clauses out of 1020 for limit 0.09462049700428848
316.79/313.57	c cleaning 499 clauses out of 1019 for limit 0.15619499000684245
316.79/313.59	c cleaning 502 clauses out of 1020 for limit 0.2573338981936898
316.89/313.61	c cleaning 499 clauses out of 1018 for limit 0.42521177220735334
316.89/313.64	c cleaning 501 clauses out of 1019 for limit 0.700542940053401
316.89/313.66	c cleaning 497 clauses out of 1018 for limit 1.1564238866237018
316.89/313.68	c cleaning 500 clauses out of 1021 for limit 1.9014940755437852
316.99/313.71	c cleaning 499 clauses out of 1021 for limit 3.1358181078981335
316.99/313.73	c cleaning 506 clauses out of 1022 for limit 5.166323499971397
316.99/313.75	c cleaning 502 clauses out of 1016 for limit 8.570273305927458
316.99/313.77	c cleaning 503 clauses out of 1014 for limit 14.161403971597
317.09/313.80	c cleaning 498 clauses out of 1011 for limit 23.423349478421088
317.09/313.82	c cleaning 501 clauses out of 1013 for limit 38.55197178129689
317.09/313.84	c cleaning 499 clauses out of 1012 for limit 63.64018233500633
317.09/313.87	c cleaning 501 clauses out of 1013 for limit 104.84756998353787
317.09/313.89	c cleaning 500 clauses out of 1012 for limit 173.0785265404198
317.19/313.91	c cleaning 495 clauses out of 1012 for limit 285.4296442961904
317.19/313.94	c cleaning 499 clauses out of 1017 for limit 468.39745088452344
317.19/313.96	c cleaning 501 clauses out of 1018 for limit 771.6912657934004
317.19/313.98	c cleaning 499 clauses out of 1017 for limit 1273.8734814998816
317.29/314.00	c cleaning 500 clauses out of 1018 for limit 2098.7241445121435
317.29/314.03	c cleaning 499 clauses out of 1018 for limit 3461.076876593538
317.29/314.05	c cleaning 500 clauses out of 1019 for limit 5702.1774310079745
317.29/314.07	c cleaning 500 clauses out of 1019 for limit 9403.653407381404
317.29/314.10	c cleaning 499 clauses out of 1019 for limit 15507.882467018268
317.39/314.12	c cleaning 503 clauses out of 1020 for limit 25549.499684929506
317.39/314.14	c cleaning 502 clauses out of 1017 for limit 42258.833618480254
317.39/314.17	c cleaning 498 clauses out of 1015 for limit 69827.79104549406
317.39/314.19	c cleaning 499 clauses out of 1017 for limit 114928.90792646355
317.49/314.21	c cleaning 500 clauses out of 1018 for limit 189346.96221455492
317.49/314.23	c cleaning 501 clauses out of 1018 for limit 312258.4710752269
317.49/314.26	c cleaning 500 clauses out of 1017 for limit 515462.3400686813
317.49/314.28	c cleaning 498 clauses out of 1017 for limit 850066.3560914134
317.59/314.30	c cleaning 501 clauses out of 1019 for limit 1399121.6726545296
317.59/314.33	c cleaning 502 clauses out of 1018 for limit 2309605.3504261537
317.59/314.35	c cleaning 500 clauses out of 1016 for limit 3816345.928998693
317.59/314.37	c cleaning 500 clauses out of 1016 for limit 6293664.978543258
317.59/314.39	c cleaning 508 clauses out of 1016 for limit 1.037909550105554E7
317.69/314.42	c cleaning 504 clauses out of 1008 for limit 1.7252362344587658E7
317.69/314.44	c cleaning 502 clauses out of 1004 for limit 2.856480589029472E7
317.69/314.46	c cleaning 490 clauses out of 1002 for limit 4.7201212564310886E7
317.69/314.48	c cleaning 499 clauses out of 1012 for limit 7.707193301557598E7
317.80/314.51	c cleaning 500 clauses out of 1013 for limit 1.2697645723387794E8
317.80/314.53	c cleaning 506 clauses out of 1013 for limit 2.094011645852109E8
317.80/314.55	c cleaning 495 clauses out of 1007 for limit 3.473881137281769E8
317.80/314.58	c cleaning 506 clauses out of 1012 for limit 5.700589907057352E8
317.80/314.60	c cleaning 496 clauses out of 1006 for limit 9.457105161459054E8
317.90/314.62	c cleaning 498 clauses out of 1010 for limit 1.5534265098515747E9
317.90/314.64	c cleaning 496 clauses out of 1012 for limit 2.5567452665119143E9
317.90/314.67	c cleaning 508 clauses out of 1016 for limit 4.199814920765291E9
317.90/314.69	c cleaning 504 clauses out of 1008 for limit 6.9810253490662775E9
317.99/314.71	c cleaning 502 clauses out of 1004 for limit 1.1558511815853636E10
317.99/314.74	c cleaning 501 clauses out of 1002 for limit 1.909957922495716E10
317.99/314.76	c cleaning 500 clauses out of 1001 for limit 3.152922753289361E10
317.99/314.78	c cleaning 492 clauses out of 1001 for limit 5.199591410633963E10
318.09/314.80	c cleaning 504 clauses out of 1009 for limit 8.506835130678667E10
318.09/314.83	c cleaning 493 clauses out of 1005 for limit 1.408474560887924E11
318.09/314.85	c cleaning 500 clauses out of 1012 for limit 2.30669643095477E11
318.09/314.87	c cleaning 506 clauses out of 1012 for limit 3.804050998972155E11
318.09/314.90	c cleaning 503 clauses out of 1006 for limit 6.310804833074474E11
318.19/314.92	c cleaning 491 clauses out of 1003 for limit 1.043849011225414E12
399.89/395.17	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space

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-3732957-1338692366/watcher-3732957-1338692366 -o /tmp/evaluation-result-3732957-1338692366/solver-3732957-1338692366 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732957-1338692366.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.97 1.98 1.99 3/194 29923
/proc/meminfo: memFree=28408088/32873844 swapFree=7372/7372
[pid=29923] ppid=29921 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/29923/stat : 29923 (runsolver) D 29921 29923 28047 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 335365176 12095488 50 33554432000 4194304 5436572 140734265916304 140734265912600 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/29923/statm: 2953 50 31 304 0 2645 0

[startup+0.02651 s]
/proc/loadavg: 1.97 1.98 1.99 3/194 29923
/proc/meminfo: memFree=28408088/32873844 swapFree=7372/7372
[pid=29923] ppid=29921 vsize=102664 CPUtime=0 cores=0,2,4,6
/proc/29923/stat : 29923 (java) S 29921 29923 28047 0 -1 4202496 1429 0 1 0 0 0 0 0 20 0 2 0 335365176 105127936 1110 33554432000 1073741824 1073778376 140735983711232 140735983702368 245297610813 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29923/statm: 25666 1110 857 9 0 16775 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102664

[startup+0.100286 s]
/proc/loadavg: 1.97 1.98 1.99 3/194 29923
/proc/meminfo: memFree=28408088/32873844 swapFree=7372/7372
[pid=29923] ppid=29921 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/29923/stat : 29923 (java) S 29921 29923 28047 0 -1 4202496 4128 0 1 0 6 1 0 0 20 0 18 0 335365176 3028844544 5846 33554432000 1073741824 1073778376 140735983711232 140735983702368 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29923/statm: 739464 5846 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300215 s]
/proc/loadavg: 1.97 1.98 1.99 3/194 29923
/proc/meminfo: memFree=28408088/32873844 swapFree=7372/7372
[pid=29923] ppid=29921 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/29923/stat : 29923 (java) S 29921 29923 28047 0 -1 4202496 5572 0 1 0 38 1 0 0 20 0 19 0 335365176 3097006080 8610 33554432000 1073741824 1073778376 140735983711232 140735983702368 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29923/statm: 756105 8610 2251 9 0 746526 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 3024420

[startup+0.700215 s]
/proc/loadavg: 1.97 1.98 1.99 3/194 29923
/proc/meminfo: memFree=28408088/32873844 swapFree=7372/7372
[pid=29923] ppid=29921 vsize=3024420 CPUtime=1.01 cores=0,2,4,6
/proc/29923/stat : 29923 (java) S 29921 29923 28047 0 -1 4202496 7468 0 1 0 99 2 0 0 20 0 19 0 335365176 3097006080 11540 33554432000 1073741824 1073778376 140735983711232 140735983702368 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29923/statm: 756105 11540 2264 9 0 746526 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 3024420

[startup+1.50064 s]
/proc/loadavg: 1.97 1.98 1.99 3/213 29943
/proc/meminfo: memFree=28359884/32873844 swapFree=7372/7372
[pid=29923] ppid=29921 vsize=3024420 CPUtime=1.86 cores=0,2,4,6
/proc/29923/stat : 29923 (java) S 29921 29923 28047 0 -1 4202496 7850 0 1 0 184 2 0 0 20 0 19 0 335365176 3097006080 17686 33554432000 1073741824 1073778376 140735983711232 140735983702368 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29923/statm: 756105 17686 2264 9 0 746526 0
[pid=29923/tid=29925] ppid=29921 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/29923/task/29925/stat : 29925 (java) R 29921 29923 28047 0 -1 4202560 3075 0 1 0 143 2 0 0 20 0 19 0 335365177 3097006080 17686 33554432000 1073741824 1073778376 140735983711232 140260795425400 140260630099333 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29926] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29926/stat : 29926 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 17686 33554432000 1073741824 1073778376 140735983711232 140260778850984 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29927] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29927/stat : 29927 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 17686 33554432000 1073741824 1073778376 140735983711232 140260777798440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29923/tid=29928] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29928/stat : 29928 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 17686 33554432000 1073741824 1073778376 140735983711232 140260776745896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29929] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29929/stat : 29929 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 17686 33554432000 1073741824 1073778376 140735983711232 140260775693352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29930] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29930/stat : 29930 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 17686 33554432000 1073741824 1073778376 140735983711232 140260774639784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29931] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29931/stat : 29931 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 17686 33554432000 1073741824 1073778376 140735983711232 140260773587240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29932] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29932/stat : 29932 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 17686 33554432000 1073741824 1073778376 140735983711232 140260772534696 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29933] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29933/stat : 29933 (java) S 29921 29923 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 17686 33554432000 1073741824 1073778376 140735983711232 140260771482152 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29934] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29934/stat : 29934 (java) S 29921 29923 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335365180 3097006080 17686 33554432000 1073741824 1073778376 140735983711232 140260759071336 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29935] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29935/stat : 29935 (java) S 29921 29923 28047 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335365181 3097006080 17686 33554432000 1073741824 1073778376 140735983711232 140260758017656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29936] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29936/stat : 29936 (java) S 29921 29923 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335365181 3097006080 17686 33554432000 1073741824 1073778376 140735983711232 140260756965000 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29937] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29937/stat : 29937 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365183 3097006080 17686 33554432000 1073741824 1073778376 140735983711232 140260755913744 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29938] ppid=29921 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/29923/task/29938/stat : 29938 (java) S 29921 29923 28047 0 -1 4202560 1743 0 0 0 24 0 0 0 20 0 19 0 335365183 3097006080 17686 33554432000 1073741824 1073778376 140735983711232 140260754860088 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29939] ppid=29921 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/29923/task/29939/stat : 29939 (java) S 29921 29923 28047 0 -1 4202560 1834 0 0 0 13 0 0 0 20 0 19 0 335365184 3097006080 17686 33554432000 1073741824 1073778376 140735983711232 140260753807544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29923/tid=29940] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29940/stat : 29940 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365184 3097006080 17686 33554432000 1073741824 1073778376 140735983711232 140260752755192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29941] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29941/stat : 29941 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365184 3097006080 17686 33554432000 1073741824 1073778376 140735983711232 140260751702856 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29943] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29943/stat : 29943 (java) S 29921 29923 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335365205 3097006080 17686 33554432000 1073741824 1073778376 140735983711232 140260749501864 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 3024420

[startup+3.10069 s]
/proc/loadavg: 1.97 1.98 1.99 3/213 29943
/proc/meminfo: memFree=28326496/32873844 swapFree=7372/7372
[pid=29923] ppid=29921 vsize=3024420 CPUtime=3.47 cores=0,2,4,6
/proc/29923/stat : 29923 (java) S 29921 29923 28047 0 -1 4202496 7872 0 1 0 344 3 0 0 20 0 19 0 335365176 3097006080 28950 33554432000 1073741824 1073778376 140735983711232 140735983702368 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29923/statm: 756105 28950 2264 9 0 746526 0
[pid=29923/tid=29925] ppid=29921 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/29923/task/29925/stat : 29925 (java) R 29921 29923 28047 0 -1 4202560 3097 0 1 0 303 2 0 0 20 0 19 0 335365177 3097006080 28950 33554432000 1073741824 1073778376 140735983711232 140260795425112 140260630029776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29926] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29926/stat : 29926 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 28950 33554432000 1073741824 1073778376 140735983711232 140260778850984 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29927] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29927/stat : 29927 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 28950 33554432000 1073741824 1073778376 140735983711232 140260777798440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29923/tid=29928] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29928/stat : 29928 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 28950 33554432000 1073741824 1073778376 140735983711232 140260776745896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29929] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29929/stat : 29929 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 28950 33554432000 1073741824 1073778376 140735983711232 140260775693352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29930] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29930/stat : 29930 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 28950 33554432000 1073741824 1073778376 140735983711232 140260774639784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29931] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29931/stat : 29931 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 28950 33554432000 1073741824 1073778376 140735983711232 140260773587240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29932] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29932/stat : 29932 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 28950 33554432000 1073741824 1073778376 140735983711232 140260772534696 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29933] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29933/stat : 29933 (java) S 29921 29923 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 28950 33554432000 1073741824 1073778376 140735983711232 140260771482152 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29934] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29934/stat : 29934 (java) S 29921 29923 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335365180 3097006080 28950 33554432000 1073741824 1073778376 140735983711232 140260759071336 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29935] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29935/stat : 29935 (java) S 29921 29923 28047 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335365181 3097006080 28950 33554432000 1073741824 1073778376 140735983711232 140260758017656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29936] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29936/stat : 29936 (java) S 29921 29923 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335365181 3097006080 28950 33554432000 1073741824 1073778376 140735983711232 140260756965000 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29937] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29937/stat : 29937 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365183 3097006080 28950 33554432000 1073741824 1073778376 140735983711232 140260755913744 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29938] ppid=29921 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/29923/task/29938/stat : 29938 (java) S 29921 29923 28047 0 -1 4202560 1743 0 0 0 24 0 0 0 20 0 19 0 335365183 3097006080 28950 33554432000 1073741824 1073778376 140735983711232 140260754860088 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29939] ppid=29921 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/29923/task/29939/stat : 29939 (java) S 29921 29923 28047 0 -1 4202560 1834 0 0 0 14 0 0 0 20 0 19 0 335365184 3097006080 28950 33554432000 1073741824 1073778376 140735983711232 140260753807544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29923/tid=29940] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29940/stat : 29940 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365184 3097006080 28950 33554432000 1073741824 1073778376 140735983711232 140260752755192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29941] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29941/stat : 29941 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365184 3097006080 28950 33554432000 1073741824 1073778376 140735983711232 140260751702856 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29943] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29943/stat : 29943 (java) S 29921 29923 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335365205 3097006080 28950 33554432000 1073741824 1073778376 140735983711232 140260749501864 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 3024420

[startup+6.30071 s]
/proc/loadavg: 1.97 1.98 1.99 3/213 29943
/proc/meminfo: memFree=28235948/32873844 swapFree=7372/7372
[pid=29923] ppid=29921 vsize=3024420 CPUtime=6.68 cores=0,2,4,6
/proc/29923/stat : 29923 (java) S 29921 29923 28047 0 -1 4202496 7918 0 1 0 664 4 0 0 20 0 19 0 335365176 3097006080 50890 33554432000 1073741824 1073778376 140735983711232 140735983702368 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29923/statm: 756105 50890 2265 9 0 746526 0
[pid=29923/tid=29925] ppid=29921 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/29923/task/29925/stat : 29925 (java) R 29921 29923 28047 0 -1 4202560 3142 0 1 0 621 3 0 0 20 0 19 0 335365177 3097006080 50890 33554432000 1073741824 1073778376 140735983711232 140260795425112 140260630077730 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29926] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29926/stat : 29926 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 50890 33554432000 1073741824 1073778376 140735983711232 140260778850984 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29927] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29927/stat : 29927 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 50890 33554432000 1073741824 1073778376 140735983711232 140260777798440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29923/tid=29928] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29928/stat : 29928 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 50890 33554432000 1073741824 1073778376 140735983711232 140260776745896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29929] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29929/stat : 29929 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 50890 33554432000 1073741824 1073778376 140735983711232 140260775693352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29930] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29930/stat : 29930 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 50890 33554432000 1073741824 1073778376 140735983711232 140260774639784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29931] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29931/stat : 29931 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 50890 33554432000 1073741824 1073778376 140735983711232 140260773587240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29932] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29932/stat : 29932 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 50890 33554432000 1073741824 1073778376 140735983711232 140260772534696 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29933] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29933/stat : 29933 (java) S 29921 29923 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335365179 3097006080 50890 33554432000 1073741824 1073778376 140735983711232 140260771482152 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29934] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29934/stat : 29934 (java) S 29921 29923 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335365180 3097006080 50890 33554432000 1073741824 1073778376 140735983711232 140260759071336 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29935] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29935/stat : 29935 (java) S 29921 29923 28047 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335365181 3097006080 50890 33554432000 1073741824 1073778376 140735983711232 140260758017656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29936] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29936/stat : 29936 (java) S 29921 29923 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335365181 3097006080 50890 33554432000 1073741824 1073778376 140735983711232 140260756965000 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29937] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29937/stat : 29937 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365183 3097006080 50890 33554432000 1073741824 1073778376 140735983711232 140260755913744 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29938] ppid=29921 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/29923/task/29938/stat : 29938 (java) S 29921 29923 28047 0 -1 4202560 1743 0 0 0 25 0 0 0 20 0 19 0 335365183 3097006080 50890 33554432000 1073741824 1073778376 140735983711232 140260754860088 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29939] ppid=29921 vsize=3024420 CPUtime=0.15 cores=0,2,4,6
/proc/29923/task/29939/stat : 29939 (java) S 29921 29923 28047 0 -1 4202560 1834 0 0 0 15 0 0 0 20 0 19 0 335365184 3097006080 50890 33554432000 1073741824 1073778376 140735983711232 140260753807544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29923/tid=29940] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29940/stat : 29940 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365184 3097006080 50890 33554432000 1073741824 1073778376 140735983711232 140260752755192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29941] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29941/stat : 29941 (java) S 29921 29923 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335365184 3097006080 50890 33554432000 1073741824 1073778376 140735983711232 140260751702856 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29943] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29943/stat : 29943 (java) S 29921 29923 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335365205 3097006080 50890 33554432000 1073741824 1073778376 140735983711232 140260749501864 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.68
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

/proc/29923/task/29933/stat : 29933 (java) S 29921 29923 28047 0 -1 4202560 439 0 0 0 48 12 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260771482152 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29934] ppid=29921 vsize=3024420 CPUtime=25.02 cores=0,2,4,6
/proc/29923/task/29934/stat : 29934 (java) R 29921 29923 28047 0 -1 4202560 142 0 0 0 2498 4 0 0 20 0 19 0 335365180 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260759071496 140260802280724 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29935] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29935/stat : 29935 (java) S 29921 29923 28047 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335365181 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260758017656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29936] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29936/stat : 29936 (java) S 29921 29923 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335365181 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260756965000 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29937] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29937/stat : 29937 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365183 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260755913744 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29938] ppid=29921 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/29923/task/29938/stat : 29938 (java) S 29921 29923 28047 0 -1 4202560 1759 0 0 0 30 0 0 0 20 0 19 0 335365183 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260754860088 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29939] ppid=29921 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/29923/task/29939/stat : 29939 (java) S 29921 29923 28047 0 -1 4202560 2899 0 0 0 21 0 0 0 20 0 19 0 335365184 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260753807544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29940] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29940/stat : 29940 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365184 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260752755192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29941] ppid=29921 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/29923/task/29941/stat : 29941 (java) S 29921 29923 28047 0 -1 4202560 24 0 0 0 6 4 0 0 20 0 19 0 335365184 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260751702856 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29943] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29943/stat : 29943 (java) S 29921 29923 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335365205 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260749501864 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 407.88
Current children cumulated vsize (KiB) 3024420

[startup+403.901 s]
/proc/loadavg: 1.99 1.98 1.99 3/213 29970
/proc/meminfo: memFree=26729416/32873844 swapFree=7372/7372
[pid=29923] ppid=29921 vsize=3024420 CPUtime=408.68 cores=0,2,4,6
/proc/29923/stat : 29923 (java) S 29921 29923 28047 0 -1 4202496 13546 0 1 0 40742 126 0 0 20 0 19 0 335365176 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140735983702368 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29923/statm: 756105 419541 2295 9 0 746526 0
[pid=29923/tid=29925] ppid=29921 vsize=3024420 CPUtime=375.45 cores=0,2,4,6
/proc/29923/task/29925/stat : 29925 (java) S 29921 29923 28047 0 -1 4202560 3312 0 1 0 37534 11 0 0 20 0 19 0 335365177 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260795427048 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29926] ppid=29921 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/29923/task/29926/stat : 29926 (java) S 29921 29923 28047 0 -1 4202560 562 0 0 0 64 13 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260778850984 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29927] ppid=29921 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/29923/task/29927/stat : 29927 (java) S 29921 29923 28047 0 -1 4202560 505 0 0 0 49 9 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260777798440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29923/tid=29928] ppid=29921 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/29923/task/29928/stat : 29928 (java) S 29921 29923 28047 0 -1 4202560 619 0 0 0 53 14 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260776745896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29929] ppid=29921 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/29923/task/29929/stat : 29929 (java) S 29921 29923 28047 0 -1 4202560 452 0 0 0 56 19 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260775693352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29930] ppid=29921 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/29923/task/29930/stat : 29930 (java) S 29921 29923 28047 0 -1 4202560 637 0 0 0 60 17 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260774639784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29931] ppid=29921 vsize=3024420 CPUtime=0.9 cores=0,2,4,6
/proc/29923/task/29931/stat : 29931 (java) S 29921 29923 28047 0 -1 4202560 787 0 0 0 68 22 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260773587240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29932] ppid=29921 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/29923/task/29932/stat : 29932 (java) S 29921 29923 28047 0 -1 4202560 223 0 0 0 56 9 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260772534696 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29933] ppid=29921 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/29923/task/29933/stat : 29933 (java) S 29921 29923 28047 0 -1 4202560 439 0 0 0 48 12 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260771482152 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29934] ppid=29921 vsize=3024420 CPUtime=25.81 cores=0,2,4,6
/proc/29923/task/29934/stat : 29934 (java) R 29921 29923 28047 0 -1 4202560 142 0 0 0 2577 4 0 0 20 0 19 0 335365180 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260759071496 140260802279427 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29935] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29935/stat : 29935 (java) S 29921 29923 28047 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335365181 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260758017656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29936] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29936/stat : 29936 (java) S 29921 29923 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335365181 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260756965000 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29937] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29937/stat : 29937 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365183 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260755913744 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29938] ppid=29921 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/29923/task/29938/stat : 29938 (java) S 29921 29923 28047 0 -1 4202560 1759 0 0 0 30 0 0 0 20 0 19 0 335365183 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260754860088 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29939] ppid=29921 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/29923/task/29939/stat : 29939 (java) S 29921 29923 28047 0 -1 4202560 2899 0 0 0 21 0 0 0 20 0 19 0 335365184 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260753807544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29940] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29940/stat : 29940 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365184 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260752755192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29941] ppid=29921 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/29923/task/29941/stat : 29941 (java) S 29921 29923 28047 0 -1 4202560 24 0 0 0 6 4 0 0 20 0 19 0 335365184 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260751702856 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29943] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29943/stat : 29943 (java) S 29921 29923 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335365205 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260749501864 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 408.68
Current children cumulated vsize (KiB) 3024420

[startup+404.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/213 29970
/proc/meminfo: memFree=26729416/32873844 swapFree=7372/7372
[pid=29923] ppid=29921 vsize=3024420 CPUtime=409.08 cores=0,2,4,6
/proc/29923/stat : 29923 (java) S 29921 29923 28047 0 -1 4202496 13546 0 1 0 40782 126 0 0 20 0 19 0 335365176 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140735983702368 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29923/statm: 756105 419541 2295 9 0 746526 0
[pid=29923/tid=29925] ppid=29921 vsize=3024420 CPUtime=375.45 cores=0,2,4,6
/proc/29923/task/29925/stat : 29925 (java) S 29921 29923 28047 0 -1 4202560 3312 0 1 0 37534 11 0 0 20 0 19 0 335365177 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260795427048 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29926] ppid=29921 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/29923/task/29926/stat : 29926 (java) S 29921 29923 28047 0 -1 4202560 562 0 0 0 64 13 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260778850984 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29927] ppid=29921 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/29923/task/29927/stat : 29927 (java) S 29921 29923 28047 0 -1 4202560 505 0 0 0 49 9 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260777798440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29923/tid=29928] ppid=29921 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/29923/task/29928/stat : 29928 (java) S 29921 29923 28047 0 -1 4202560 619 0 0 0 53 14 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260776745896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29929] ppid=29921 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/29923/task/29929/stat : 29929 (java) S 29921 29923 28047 0 -1 4202560 452 0 0 0 56 19 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260775693352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29930] ppid=29921 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/29923/task/29930/stat : 29930 (java) S 29921 29923 28047 0 -1 4202560 637 0 0 0 60 17 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260774639784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29931] ppid=29921 vsize=3024420 CPUtime=0.9 cores=0,2,4,6
/proc/29923/task/29931/stat : 29931 (java) S 29921 29923 28047 0 -1 4202560 787 0 0 0 68 22 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260773587240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29932] ppid=29921 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/29923/task/29932/stat : 29932 (java) S 29921 29923 28047 0 -1 4202560 223 0 0 0 56 9 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260772534696 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29933] ppid=29921 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/29923/task/29933/stat : 29933 (java) S 29921 29923 28047 0 -1 4202560 439 0 0 0 48 12 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260771482152 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29934] ppid=29921 vsize=3024420 CPUtime=26.21 cores=0,2,4,6
/proc/29923/task/29934/stat : 29934 (java) R 29921 29923 28047 0 -1 4202560 142 0 0 0 2617 4 0 0 20 0 19 0 335365180 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260759071496 140260802280840 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29935] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29935/stat : 29935 (java) S 29921 29923 28047 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335365181 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260758017656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29936] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29936/stat : 29936 (java) S 29921 29923 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335365181 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260756965000 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29937] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29937/stat : 29937 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365183 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260755913744 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29938] ppid=29921 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/29923/task/29938/stat : 29938 (java) S 29921 29923 28047 0 -1 4202560 1759 0 0 0 30 0 0 0 20 0 19 0 335365183 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260754860088 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29939] ppid=29921 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/29923/task/29939/stat : 29939 (java) S 29921 29923 28047 0 -1 4202560 2899 0 0 0 21 0 0 0 20 0 19 0 335365184 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260753807544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29940] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29940/stat : 29940 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365184 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260752755192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29941] ppid=29921 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/29923/task/29941/stat : 29941 (java) S 29921 29923 28047 0 -1 4202560 24 0 0 0 6 4 0 0 20 0 19 0 335365184 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260751702856 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29943] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29943/stat : 29943 (java) S 29921 29923 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335365205 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260749501864 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 409.08
Current children cumulated vsize (KiB) 3024420

[startup+404.501 s]
/proc/loadavg: 1.99 1.98 1.99 3/213 29970
/proc/meminfo: memFree=26729416/32873844 swapFree=7372/7372
[pid=29923] ppid=29921 vsize=3024420 CPUtime=409.28 cores=0,2,4,6
/proc/29923/stat : 29923 (java) S 29921 29923 28047 0 -1 4202496 13546 0 1 0 40802 126 0 0 20 0 19 0 335365176 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140735983702368 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29923/statm: 756105 419541 2295 9 0 746526 0
[pid=29923/tid=29925] ppid=29921 vsize=3024420 CPUtime=375.45 cores=0,2,4,6
/proc/29923/task/29925/stat : 29925 (java) S 29921 29923 28047 0 -1 4202560 3312 0 1 0 37534 11 0 0 20 0 19 0 335365177 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260795427048 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29926] ppid=29921 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/29923/task/29926/stat : 29926 (java) S 29921 29923 28047 0 -1 4202560 562 0 0 0 64 13 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260778850984 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29927] ppid=29921 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/29923/task/29927/stat : 29927 (java) S 29921 29923 28047 0 -1 4202560 505 0 0 0 49 9 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260777798440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29923/tid=29928] ppid=29921 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/29923/task/29928/stat : 29928 (java) S 29921 29923 28047 0 -1 4202560 619 0 0 0 53 14 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260776745896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29929] ppid=29921 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/29923/task/29929/stat : 29929 (java) S 29921 29923 28047 0 -1 4202560 452 0 0 0 56 19 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260775693352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29930] ppid=29921 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/29923/task/29930/stat : 29930 (java) S 29921 29923 28047 0 -1 4202560 637 0 0 0 60 17 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260774639784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29931] ppid=29921 vsize=3024420 CPUtime=0.9 cores=0,2,4,6
/proc/29923/task/29931/stat : 29931 (java) S 29921 29923 28047 0 -1 4202560 787 0 0 0 68 22 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260773587240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29932] ppid=29921 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/29923/task/29932/stat : 29932 (java) S 29921 29923 28047 0 -1 4202560 223 0 0 0 56 9 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260772534696 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29933] ppid=29921 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/29923/task/29933/stat : 29933 (java) S 29921 29923 28047 0 -1 4202560 439 0 0 0 48 12 0 0 20 0 19 0 335365179 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260771482152 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29934] ppid=29921 vsize=3024420 CPUtime=26.41 cores=0,2,4,6
/proc/29923/task/29934/stat : 29934 (java) R 29921 29923 28047 0 -1 4202560 142 0 0 0 2637 4 0 0 20 0 19 0 335365180 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260759071496 245293924652 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29935] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29935/stat : 29935 (java) S 29921 29923 28047 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335365181 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260758017656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29936] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29936/stat : 29936 (java) S 29921 29923 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335365181 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260756965000 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29937] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29937/stat : 29937 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365183 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260755913744 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29938] ppid=29921 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/29923/task/29938/stat : 29938 (java) S 29921 29923 28047 0 -1 4202560 1759 0 0 0 30 0 0 0 20 0 19 0 335365183 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260754860088 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29923/tid=29939] ppid=29921 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/29923/task/29939/stat : 29939 (java) S 29921 29923 28047 0 -1 4202560 2899 0 0 0 21 0 0 0 20 0 19 0 335365184 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260753807544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29940] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29940/stat : 29940 (java) S 29921 29923 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335365184 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260752755192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29923/tid=29941] ppid=29921 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/29923/task/29941/stat : 29941 (java) S 29921 29923 28047 0 -1 4202560 24 0 0 0 6 4 0 0 20 0 19 0 335365184 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260751702856 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29923/tid=29943] ppid=29921 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29923/task/29943/stat : 29943 (java) S 29921 29923 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335365205 3097006080 419541 33554432000 1073741824 1073778376 140735983711232 140260749501864 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 409.28
Current children cumulated vsize (KiB) 3024420

Child status: 1

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29923 and gives
#  childrusage.ru_utime.tv_sec=407
#  childrusage.ru_utime.tv_usec=126
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=473775
# CPU time returned by wait4() is 408.474
# while last known CPU time is 409.28
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 404.569
CPU time (s): 409.28
CPU user time (s): 408.02
CPU system time (s): 1.26
CPU usage (%): 101.164
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 407
system time used= 1.47378
maximum resident set size= 1678180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13551
page faults= 1
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9215
involuntary context switches= 4030

runsolver used 1.81272 second user time and 4.17537 second system time

The end

Launcher Data

Begin job on node109 at 2012-06-03 04:59:26
IDJOB=3732957
IDBENCH=2231
IDSOLVER=2319
FILE ID=node109/3732957-1338692366
RUNJOBID= node109-1338678620-28066
PBS_JOBID= 14636704
Free space on /tmp= 70712 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732957-1338692366/watcher-3732957-1338692366 -o /tmp/evaluation-result-3732957-1338692366/solver-3732957-1338692366 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732957-1338692366.opb           

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

MD5SUM BENCH= ed36462db2ffa04ea65b986069441496
RANDOM SEED=1257319638

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
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:       32873844 kB
MemFree:        28408228 kB
Buffers:          340376 kB
Cached:          1564384 kB
SwapCached:          964 kB
Active:          2576420 kB
Inactive:        1008064 kB
Active(anon):    1674332 kB
Inactive(anon):     7844 kB
Active(file):     902088 kB
Inactive(file):  1000220 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67105532 kB
Dirty:              3536 kB
Writeback:             0 kB
AnonPages:       1688488 kB
Mapped:            18332 kB
Shmem:                 4 kB
Slab:             736372 kB
SReclaimable:     178620 kB
SUnreclaim:       557752 kB
KernelStack:        1600 kB
PageTables:         7300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1825000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70708 MiB
End job on node109 at 2012-06-03 05:06:11