Trace number 3732253

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) 579.706 575.706

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-prom2.pi.opb
MD5SUM6a8ed45a9ac044152dd384e143f7e172
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark287
Best CPU time to get the best result obtained on this benchmark0.490925
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 287
Optimality of the best value was proved YES
Number of variables2617
Total number of constraints1988
Number of constraints which are clauses1988
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint30
Number of terms in the objective function 2617
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 2617
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2617
Number of bits of the biggest sum of numbers12
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.09/0.10	--- Begin Solver configuration ---
0.09/0.10	c Stops conflict analysis at the first Unique Implication Point
0.09/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.10	c No reason simplification
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3732253-1338689321.opb
0.09/0.10	c reading problem ... 
0.48/0.32	c ... done. Wall clock time 0.22s.
0.48/0.32	c CPU time (experimental) 0.29s.
0.48/0.32	c #vars     2617
0.48/0.32	c #constraints  1966
0.48/0.37	c SATISFIABLE
0.48/0.37	c OPTIMIZING...
0.48/0.37	c Got one! Elapsed wall clock time (in seconds):0.273
0.48/0.38	o 436
171.71/169.48	c cleaning 380994 clauses out of 762002 for limit 164772.49346741062
175.82/173.56	c cleaning 190747 clauses out of 381507 for limit 542200.219884806
176.62/174.37	c cleaning 95625 clauses out of 191261 for limit 1785361.5478507946
177.02/174.76	c cleaning 48061 clauses out of 96135 for limit 5851840.0061997
177.23/174.93	c cleaning 24282 clauses out of 48574 for limit 1.9099675680877592E7
177.52/175.20	c cleaning 12389 clauses out of 24792 for limit 6.1712648474348255E7
177.62/175.34	c cleaning 6444 clauses out of 12903 for limit 1.955469011617086E8
177.72/175.45	c cleaning 3474 clauses out of 6959 for limit 5.979304708399538E8
177.82/175.54	c cleaning 1984 clauses out of 3984 for limit 1.720677848765992E9
177.92/175.63	c cleaning 1243 clauses out of 2501 for limit 4.524760584553185E9
178.02/175.71	c cleaning 879 clauses out of 1758 for limit 1.061564318796356E10
178.12/175.80	c cleaning 689 clauses out of 1378 for limit 2.2311940393348255E10
178.12/175.89	c cleaning 595 clauses out of 1190 for limit 4.265107639171703E10
178.23/175.97	c cleaning 547 clauses out of 1095 for limit 7.643965622588538E10
178.33/176.06	c cleaning 523 clauses out of 1047 for limit 1.3170659980308313E11
178.42/176.15	c cleaning 505 clauses out of 1024 for limit 2.2208035857912555E11
178.52/176.23	c cleaning 503 clauses out of 1019 for limit 3.68037277695826E11
178.62/176.31	c cleaning 508 clauses out of 1016 for limit 6.087348597262205E11
178.72/176.40	c cleaning 496 clauses out of 1009 for limit 1.0118615962658779E12
178.72/176.49	c cleaning 506 clauses out of 1012 for limit 1.662084663539632E12
178.82/176.57	c cleaning 498 clauses out of 1008 for limit 2.7573889643927627E12
178.92/176.66	c cleaning 504 clauses out of 1009 for limit 4.538253740047454E12
179.02/176.75	c cleaning 497 clauses out of 1004 for limit 7.513937924946737E12
179.12/176.83	c cleaning 504 clauses out of 1008 for limit 1.2354670931058605E13
179.22/176.92	c cleaning 489 clauses out of 1004 for limit 2.045567847088882E13
179.32/177.01	c cleaning 495 clauses out of 1015 for limit 3.33685585334425E13
179.32/177.09	c cleaning 498 clauses out of 1019 for limit 5.475839115516637E13
179.42/177.17	c cleaning 510 clauses out of 1021 for limit 9.012701939093717E13
179.52/177.26	c cleaning 495 clauses out of 1011 for limit 1.5010165549318128E14
179.62/177.35	c cleaning 508 clauses out of 1017 for limit 2.46323634312888E14
179.72/177.43	c cleaning 495 clauses out of 1008 for limit 4.094377478439113E14
179.82/177.52	c cleaning 507 clauses out of 1014 for limit 6.718941434086451E14
179.92/177.61	c cleaning 503 clauses out of 1007 for limit 1.1157457134532894E15
180.02/177.70	c cleaning 501 clauses out of 1003 for limit 1.8455046329388542E15
180.02/177.79	c cleaning 495 clauses out of 1002 for limit 3.0465214361174645E15
180.12/177.87	c cleaning 497 clauses out of 1009 for limit 4.999259771336377E15
180.22/177.96	c cleaning 496 clauses out of 1010 for limit 8.219820997609714E15
180.32/178.05	c cleaning 507 clauses out of 1014 for limit 1.3502110747109192E16
180.42/178.13	c cleaning 503 clauses out of 1007 for limit 2.242157092221626E16
180.52/178.22	c cleaning 502 clauses out of 1004 for limit 3.7086656518439336E16
180.62/178.30	c cleaning 498 clauses out of 1003 for limit 6.128311900624994E-4
180.62/178.38	c cleaning 496 clauses out of 1004 for limit 0.001008624367342719
180.72/178.47	c cleaning 495 clauses out of 1008 for limit 0.0016567558920182498
180.82/178.55	c cleaning 499 clauses out of 1014 for limit 0.0027187639311878936
180.92/178.63	c cleaning 499 clauses out of 1015 for limit 0.004479188087007057
181.02/178.72	c cleaning 498 clauses out of 1015 for limit 0.007379393590165993
181.12/178.80	c cleaning 501 clauses out of 1018 for limit 0.012145889835034958
181.12/178.89	c cleaning 498 clauses out of 1016 for limit 0.020049557081356792
181.22/178.97	c cleaning 499 clauses out of 1019 for limit 0.033000058191518494
181.32/179.05	c cleaning 502 clauses out of 1019 for limit 0.05436708911599067
181.42/179.14	c cleaning 500 clauses out of 1017 for limit 0.08983492282134206
181.52/179.23	c cleaning 502 clauses out of 1018 for limit 0.14815242780022295
181.62/179.31	c cleaning 498 clauses out of 1015 for limit 0.24480026506630348
181.72/179.40	c cleaning 499 clauses out of 1018 for limit 0.4029215971140243
181.72/179.49	c cleaning 500 clauses out of 1019 for limit 0.6638195334714906
181.82/179.57	c cleaning 502 clauses out of 1019 for limit 1.0947272148829066
181.92/179.66	c cleaning 499 clauses out of 1017 for limit 1.80890197467834
182.02/179.75	c cleaning 498 clauses out of 1018 for limit 2.980190972217417
182.12/179.83	c cleaning 499 clauses out of 1019 for limit 4.905000590705962
182.22/179.92	c cleaning 501 clauses out of 1021 for limit 8.08123813747792
182.32/180.01	c cleaning 500 clauses out of 1020 for limit 13.340108505610813
182.32/180.09	c cleaning 499 clauses out of 1019 for limit 21.999191745050833
182.42/180.18	c cleaning 501 clauses out of 1020 for limit 36.244041941526916
182.52/180.27	c cleaning 497 clauses out of 1019 for limit 59.829930597466486
182.62/180.36	c cleaning 502 clauses out of 1023 for limit 98.3801426939008
182.72/180.44	c cleaning 501 clauses out of 1021 for limit 162.5598263845286
182.84/180.53	c cleaning 504 clauses out of 1020 for limit 268.3457269457044
182.94/180.61	c cleaning 503 clauses out of 1016 for limit 444.2802779824969
183.04/180.70	c cleaning 496 clauses out of 1013 for limit 734.8474382583627
183.04/180.79	c cleaning 500 clauses out of 1018 for limit 1207.1166788922687
183.14/180.87	c cleaning 500 clauses out of 1016 for limit 1990.628346785221
183.24/180.95	c cleaning 499 clauses out of 1016 for limit 3282.812445344741
183.34/181.03	c cleaning 500 clauses out of 1018 for limit 5408.569315279973
183.44/181.12	c cleaning 502 clauses out of 1017 for limit 8919.296479906317
183.44/181.19	c cleaning 497 clauses out of 1015 for limit 14738.096571585118
183.54/181.27	c cleaning 502 clauses out of 1019 for limit 24233.919166405674
183.64/181.36	c cleaning 500 clauses out of 1017 for limit 40043.5685149156
183.74/181.45	c cleaning 500 clauses out of 1017 for limit 66037.20141385226
183.84/181.53	c cleaning 501 clauses out of 1016 for limit 108902.35721459491
183.94/181.61	c cleaning 498 clauses out of 1015 for limit 179771.49619257913
183.94/181.69	c cleaning 500 clauses out of 1018 for limit 295889.4605031296
184.04/181.77	c cleaning 496 clauses out of 1017 for limit 487952.6672702598
184.14/181.86	c cleaning 501 clauses out of 1022 for limit 801563.9047086202
184.24/181.94	c cleaning 499 clauses out of 1021 for limit 1323180.8076286782
184.34/182.03	c cleaning 497 clauses out of 1021 for limit 2179920.0615775227
184.44/182.11	c cleaning 512 clauses out of 1025 for limit 3584535.1516945558
184.54/182.20	c cleaning 507 clauses out of 1014 for limit 5981486.85724158
184.54/182.28	c cleaning 494 clauses out of 1006 for limit 9932772.816097958
184.64/182.36	c cleaning 496 clauses out of 1011 for limit 1.6283160464168787E7
184.74/182.45	c cleaning 498 clauses out of 1016 for limit 2.6747706502618443E7
184.84/182.53	c cleaning 509 clauses out of 1018 for limit 4.402388507588216E7
184.94/182.62	c cleaning 504 clauses out of 1008 for limit 7.324820512643361E7
185.04/182.70	c cleaning 499 clauses out of 1004 for limit 1.2127734854267403E8
185.04/182.78	c cleaning 502 clauses out of 1005 for limit 1.9980356440602633E8
185.14/182.87	c cleaning 496 clauses out of 1004 for limit 3.301611581530926E8
185.24/182.96	c cleaning 499 clauses out of 1007 for limit 5.423149749733934E8
185.34/183.04	c cleaning 499 clauses out of 1008 for limit 8.934626914026055E8
185.44/183.13	c cleaning 499 clauses out of 1010 for limit 1.471993795231615E9
393.15/390.21	c cleaning 389496 clauses out of 779010 for limit 35291.15576691327
400.05/397.12	c cleaning 195001 clauses out of 390014 for limit 116247.76300753071
406.75/403.84	c cleaning 97752 clauses out of 195513 for limit 382423.9196722357
407.95/405.08	c cleaning 49120 clauses out of 98261 for limit 1254860.345722627
408.25/405.39	c cleaning 24814 clauses out of 49641 for limit 4096301.7459437447
408.55/405.62	c cleaning 12655 clauses out of 25328 for limit 1.3253236975474818E7
408.65/405.76	c cleaning 6578 clauses out of 13172 for limit 4.198484113237365E7
408.75/405.87	c cleaning 3538 clauses out of 7094 for limit 1.2856091036739643E8
408.85/405.96	c cleaning 2021 clauses out of 4056 for limit 3.708156576689324E8
408.95/406.05	c cleaning 1261 clauses out of 2535 for limit 9.784394021236014E8
409.05/406.14	c cleaning 878 clauses out of 1775 for limit 2.306768108850578E9
409.15/406.22	c cleaning 697 clauses out of 1396 for limit 4.83212603099236E9
409.25/406.31	c cleaning 599 clauses out of 1199 for limit 9.278128330679708E9
409.25/406.38	c cleaning 550 clauses out of 1101 for limit 1.6679485037161026E10
409.35/406.46	c cleaning 516 clauses out of 1050 for limit 2.881389924546113E10
409.45/406.54	c cleaning 507 clauses out of 1035 for limit 4.825489570319708E10
409.55/406.62	c cleaning 506 clauses out of 1028 for limit 8.012065728053795E10
409.65/406.70	c cleaning 505 clauses out of 1021 for limit 1.329025308460555E11
409.65/406.78	c cleaning 508 clauses out of 1017 for limit 2.2025635060363892E11
409.75/406.85	c cleaning 496 clauses out of 1008 for limit 3.661088567121484E11
409.85/406.93	c cleaning 498 clauses out of 1012 for limit 6.01376068913071E11
409.85/407.00	c cleaning 500 clauses out of 1014 for limit 9.897934747024648E11
409.95/407.08	c cleaning 508 clauses out of 1016 for limit 1.6323517304736577E12
410.05/407.16	c cleaning 503 clauses out of 1006 for limit 2.713290752516668E12
410.15/407.25	c cleaning 501 clauses out of 1003 for limit 4.487963015965688E12
410.25/407.34	c cleaning 490 clauses out of 1002 for limit 7.408637880723693E12
410.35/407.42	c cleaning 506 clauses out of 1012 for limit 1.2097105380541223E13
410.45/407.50	c cleaning 502 clauses out of 1007 for limit 2.0068869301723953E13
410.45/407.59	c cleaning 492 clauses out of 1004 for limit 3.3161948278443176E13
410.55/407.67	c cleaning 498 clauses out of 1012 for limit 5.425616896578403E13
410.65/407.76	c cleaning 503 clauses out of 1015 for limit 8.93005212657257E13
410.75/407.84	c cleaning 496 clauses out of 1011 for limit 1.477033195185734E14
410.85/407.91	c cleaning 497 clauses out of 1016 for limit 2.4262642677008975E14
410.85/407.99	c cleaning 509 clauses out of 1019 for limit 3.98945447201354E14
410.95/408.07	c cleaning 505 clauses out of 1010 for limit 6.637770160770034E14
411.05/408.15	c cleaning 502 clauses out of 1004 for limit 1.1000976746241474E15
411.15/408.23	c cleaning 501 clauses out of 1002 for limit 1.8178294080087225E15
411.25/408.31	c cleaning 498 clauses out of 1002 for limit 3.0008447233972315E15
411.25/408.39	c cleaning 492 clauses out of 1003 for limit 4.93891654188724E15
411.35/408.47	c cleaning 496 clauses out of 1011 for limit 8.080483576941996E15
411.45/408.55	c cleaning 500 clauses out of 1015 for limit 1.3273282944431604E16
411.55/408.62	c cleaning 503 clauses out of 1015 for limit 2.1889419243392048E16
411.64/408.71	c cleaning 506 clauses out of 1012 for limit 3.6205592249177144E16
411.74/408.80	c cleaning 495 clauses out of 1006 for limit 6.006397564390364E-4
411.74/408.89	c cleaning 500 clauses out of 1012 for limit 9.856482197416123E-4
411.84/408.97	c cleaning 493 clauses out of 1013 for limit 0.0016254866527711256
411.94/409.06	c cleaning 497 clauses out of 1018 for limit 0.002662146421654066
412.05/409.15	c cleaning 504 clauses out of 1021 for limit 0.004377335774154985
412.15/409.23	c cleaning 500 clauses out of 1018 for limit 0.0072473331278111236
412.24/409.31	c cleaning 504 clauses out of 1018 for limit 0.011951821858640799
412.24/409.38	c cleaning 501 clauses out of 1013 for limit 0.019787631738887205
412.34/409.46	c cleaning 498 clauses out of 1012 for limit 0.03266469738524953
412.44/409.53	c cleaning 500 clauses out of 1016 for limit 0.05376384919323163
412.54/409.61	c cleaning 499 clauses out of 1014 for limit 0.08866107048936672
412.54/409.68	c cleaning 499 clauses out of 1015 for limit 0.146069912934202
412.64/409.76	c cleaning 500 clauses out of 1017 for limit 0.24065575872975112
412.74/409.84	c cleaning 502 clauses out of 1016 for limit 0.39686689989620394
412.84/409.92	c cleaning 497 clauses out of 1014 for limit 0.655777510443967
412.94/410.00	c cleaning 501 clauses out of 1018 for limit 1.0782937661343823
412.94/410.08	c cleaning 499 clauses out of 1016 for limit 1.7799694141981512
413.04/410.15	c cleaning 502 clauses out of 1019 for limit 2.9326279828134245
413.15/410.23	c cleaning 494 clauses out of 1015 for limit 4.8456493026956355
413.25/410.31	c cleaning 502 clauses out of 1021 for limit 7.94416336787856
413.25/410.39	c cleaning 494 clauses out of 1019 for limit 13.126701566078895
413.34/410.47	c cleaning 501 clauses out of 1025 for limit 21.52096877372189
413.45/410.54	c cleaning 504 clauses out of 1024 for limit 35.52561566879995
413.55/410.62	c cleaning 500 clauses out of 1020 for limit 58.81624372172709
413.55/410.70	c cleaning 501 clauses out of 1020 for limit 96.99585419344356
413.65/410.77	c cleaning 504 clauses out of 1020 for limit 160.11925869691174
413.75/410.85	c cleaning 497 clauses out of 1015 for limit 265.0934978149133
413.85/410.93	c cleaning 499 clauses out of 1019 for limit 435.89444311093996
413.95/411.01	c cleaning 499 clauses out of 1020 for limit 718.1434964193919
413.95/411.08	c cleaning 501 clauses out of 1021 for limit 1183.1547414848335
414.05/411.16	c cleaning 501 clauses out of 1020 for limit 1953.0933703262233
414.15/411.23	c cleaning 500 clauses out of 1018 for limit 3224.012929556239
414.26/411.31	c cleaning 502 clauses out of 1018 for limit 5316.828621571675
414.26/411.38	c cleaning 501 clauses out of 1017 for limit 8785.568832974517
414.36/411.45	c cleaning 501 clauses out of 1016 for limit 14502.838729676529
414.45/411.53	c cleaning 499 clauses out of 1014 for limit 23940.330734374707
414.55/411.60	c cleaning 503 clauses out of 1015 for limit 39441.91071328781
414.55/411.68	c cleaning 495 clauses out of 1012 for limit 65237.80831895934
414.65/411.77	c cleaning 500 clauses out of 1018 for limit 107058.83069231518
414.75/411.85	c cleaning 497 clauses out of 1017 for limit 176551.2090302986
414.85/411.93	c cleaning 504 clauses out of 1021 for limit 290306.19635116775
414.95/412.00	c cleaning 502 clauses out of 1016 for limit 480628.71605058754
414.95/412.07	c cleaning 499 clauses out of 1015 for limit 794196.1537189936
415.05/412.15	c cleaning 500 clauses out of 1016 for limit 1308446.5931992158
415.15/412.22	c cleaning 500 clauses out of 1016 for limit 2157803.4730391414
415.25/412.30	c cleaning 500 clauses out of 1016 for limit 3558506.5928257247
415.25/412.38	c cleaning 508 clauses out of 1017 for limit 5868551.614333891
415.36/412.46	c cleaning 504 clauses out of 1008 for limit 9754673.20779498
415.46/412.54	c cleaning 501 clauses out of 1004 for limit 1.6150851758068673E7
415.55/412.61	c cleaning 494 clauses out of 1002 for limit 2.6661390596009694E7
415.55/412.69	c cleaning 496 clauses out of 1009 for limit 4.370687455485503E7
415.65/412.77	c cleaning 506 clauses out of 1013 for limit 7.17938691908245E7
415.75/412.84	c cleaning 494 clauses out of 1006 for limit 1.1910231399017997E8
415.85/412.92	c cleaning 506 clauses out of 1012 for limit 1.9525112933425862E8
415.85/412.99	c cleaning 491 clauses out of 1007 for limit 3.2391793510588753E8
415.95/413.07	c cleaning 507 clauses out of 1015 for limit 5.294437169609738E8
416.05/413.15	c cleaning 504 clauses out of 1008 for limit 8.791868747387606E8
416.15/413.23	c cleaning 498 clauses out of 1004 for limit 1.4556732531232786E9
416.25/413.30	c cleaning 494 clauses out of 1008 for limit 2.395863070961046E9
416.25/413.38	c cleaning 497 clauses out of 1012 for limit 3.927614697896533E9
416.35/413.46	c cleaning 497 clauses out of 1015 for limit 6.458017742354792E9
567.01/563.26	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
569.10/565.32		at org.sat4j.minisat.constraints.cnf.WLClause.<init>(Unknown Source)
570.20/566.50		at org.sat4j.minisat.constraints.cnf.LearntWLClause.<init>(Unknown Source)
571.40/567.68		at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(Unknown Source)
573.19/569.46		at org.sat4j.minisat.core.Solver.analyze(Unknown Source)
574.39/570.64		at org.sat4j.minisat.core.Solver.search(Unknown Source)
575.89/572.12		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
577.39/573.60		at org.sat4j.minisat.core.Solver.isSatisfiable(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-3732253-1338689321/watcher-3732253-1338689321 -o /tmp/evaluation-result-3732253-1338689321/solver-3732253-1338689321 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732253-1338689321.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.01 3/194 4658
/proc/meminfo: memFree=29476356/32873648 swapFree=7116/7116
[pid=4658] ppid=4656 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/4658/stat : 4658 (java) D 4656 4658 1585 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 335057599 9515008 182 33554432000 1073741824 1073778376 140736895260768 140736895251800 214537420469 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/4658/statm: 2323 182 140 9 0 71 0

[startup+0.094262 s]
/proc/loadavg: 2.00 2.01 2.01 3/194 4658
/proc/meminfo: memFree=29476356/32873648 swapFree=7116/7116
[pid=4658] ppid=4656 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/4658/stat : 4658 (java) S 4656 4658 1585 0 -1 4202496 4583 0 1 0 7 1 0 0 20 0 18 0 335057599 3028844544 6292 33554432000 1073741824 1073778376 140733378590112 140733378581248 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4658/statm: 739464 6311 2048 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.100246 s]
/proc/loadavg: 2.00 2.01 2.01 3/194 4658
/proc/meminfo: memFree=29476356/32873648 swapFree=7116/7116
[pid=4658] ppid=4656 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/4658/stat : 4658 (java) S 4656 4658 1585 0 -1 4202496 4905 0 1 0 8 1 0 0 20 0 18 0 335057599 3028844544 6606 33554432000 1073741824 1073778376 140733378590112 140733378581248 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4658/statm: 739464 6606 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.300231 s]
/proc/loadavg: 2.00 2.01 2.01 3/194 4658
/proc/meminfo: memFree=29476356/32873648 swapFree=7116/7116
[pid=4658] ppid=4656 vsize=2957856 CPUtime=0.48 cores=0,2,4,6
/proc/4658/stat : 4658 (java) S 4656 4658 1585 0 -1 4202496 6101 0 1 0 47 1 0 0 20 0 18 0 335057599 3028844544 9892 33554432000 1073741824 1073778376 140733378590112 140733378581248 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4658/statm: 739464 9893 2240 9 0 729885 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2957856

[startup+0.700234 s]
/proc/loadavg: 2.00 2.01 2.01 3/194 4658
/proc/meminfo: memFree=29476356/32873648 swapFree=7116/7116
[pid=4658] ppid=4656 vsize=3024420 CPUtime=1.34 cores=0,2,4,6
/proc/4658/stat : 4658 (java) S 4656 4658 1585 0 -1 4202496 9392 0 1 0 132 2 0 0 20 0 19 0 335057599 3097006080 14078 33554432000 1073741824 1073778376 140733378590112 140733378581248 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4658/statm: 756105 14078 2276 9 0 746526 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 3024420

[startup+1.50063 s]
/proc/loadavg: 2.00 2.01 2.01 3/213 4678
/proc/meminfo: memFree=29425596/32873648 swapFree=7116/7116
[pid=4658] ppid=4656 vsize=3024420 CPUtime=2.14 cores=0,2,4,6
/proc/4658/stat : 4658 (java) S 4656 4658 1585 0 -1 4202496 9398 0 1 0 212 2 0 0 20 0 19 0 335057599 3097006080 16127 33554432000 1073741824 1073778376 140733378590112 140733378581248 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4658/statm: 756105 16127 2276 9 0 746526 0
[pid=4658/tid=4660] ppid=4656 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/4658/task/4660/stat : 4660 (java) R 4656 4658 1585 0 -1 4202560 3053 0 1 0 145 2 0 0 20 0 19 0 335057600 3097006080 16127 33554432000 1073741824 1073778376 140733378590112 139902899884504 139902738659716 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4658/tid=4661] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4661/stat : 4661 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 16127 33554432000 1073741824 1073778376 140733378590112 139902883310376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4662] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4662/stat : 4662 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 16127 33554432000 1073741824 1073778376 140733378590112 139902882257576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4663] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4663/stat : 4663 (java) S 4656 4658 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 16127 33554432000 1073741824 1073778376 140733378590112 139902881205288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4658/tid=4664] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4664/stat : 4664 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 16127 33554432000 1073741824 1073778376 140733378590112 139902880152488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4658/tid=4665] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4665/stat : 4665 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 16127 33554432000 1073741824 1073778376 140733378590112 139902879099176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4666] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4666/stat : 4666 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 16127 33554432000 1073741824 1073778376 140733378590112 139902878046376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4658/tid=4667] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4667/stat : 4667 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 16127 33554432000 1073741824 1073778376 140733378590112 139902876994088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4668] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4668/stat : 4668 (java) S 4656 4658 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 16127 33554432000 1073741824 1073778376 140733378590112 139902875941288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4669] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4669/stat : 4669 (java) S 4656 4658 1585 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335057602 3097006080 16127 33554432000 1073741824 1073778376 140733378590112 139902863530728 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4670] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4670/stat : 4670 (java) S 4656 4658 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335057603 3097006080 16127 33554432000 1073741824 1073778376 140733378590112 139902862476792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4671] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4671/stat : 4671 (java) S 4656 4658 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335057603 3097006080 16127 33554432000 1073741824 1073778376 140733378590112 139902861424392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4672] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4672/stat : 4672 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057605 3097006080 16127 33554432000 1073741824 1073778376 140733378590112 139902860372880 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4673] ppid=4656 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/4658/task/4673/stat : 4673 (java) S 4656 4658 1585 0 -1 4202560 3083 0 0 0 31 0 0 0 20 0 19 0 335057605 3097006080 16127 33554432000 1073741824 1073778376 140733378590112 139902859319480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4674] ppid=4656 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/4658/task/4674/stat : 4674 (java) S 4656 4658 1585 0 -1 4202560 2063 0 0 0 34 0 0 0 20 0 19 0 335057605 3097006080 16127 33554432000 1073741824 1073778376 140733378590112 139902858266680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4675] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4675/stat : 4675 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057605 3097006080 16127 33554432000 1073741824 1073778376 140733378590112 139902857214584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4676] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4676/stat : 4676 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057605 3097006080 16127 33554432000 1073741824 1073778376 140733378590112 139902737967816 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4678] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4678/stat : 4678 (java) S 4656 4658 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335057641 3097006080 16127 33554432000 1073741824 1073778376 140733378590112 139902735836456 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 3024420

[startup+3.10061 s]
/proc/loadavg: 2.00 2.01 2.01 3/213 4678
/proc/meminfo: memFree=29412936/32873648 swapFree=7116/7116
[pid=4658] ppid=4656 vsize=3024420 CPUtime=3.78 cores=0,2,4,6
/proc/4658/stat : 4658 (java) S 4656 4658 1585 0 -1 4202496 9406 0 1 0 375 3 0 0 20 0 19 0 335057599 3097006080 19711 33554432000 1073741824 1073778376 140733378590112 140733378581248 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4658/statm: 756105 19711 2276 9 0 746526 0
[pid=4658/tid=4660] ppid=4656 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/4658/task/4660/stat : 4660 (java) R 4656 4658 1585 0 -1 4202560 3061 0 1 0 304 2 0 0 20 0 19 0 335057600 3097006080 19711 33554432000 1073741824 1073778376 140733378590112 139902899882464 139902738578033 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4658/tid=4661] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4661/stat : 4661 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 19711 33554432000 1073741824 1073778376 140733378590112 139902883310376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4662] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4662/stat : 4662 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 19711 33554432000 1073741824 1073778376 140733378590112 139902882257576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4663] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4663/stat : 4663 (java) S 4656 4658 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 19711 33554432000 1073741824 1073778376 140733378590112 139902881205288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4658/tid=4664] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4664/stat : 4664 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 19711 33554432000 1073741824 1073778376 140733378590112 139902880152488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4658/tid=4665] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4665/stat : 4665 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 19711 33554432000 1073741824 1073778376 140733378590112 139902879099176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4666] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4666/stat : 4666 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 19711 33554432000 1073741824 1073778376 140733378590112 139902878046376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4658/tid=4667] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4667/stat : 4667 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 19711 33554432000 1073741824 1073778376 140733378590112 139902876994088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4668] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4668/stat : 4668 (java) S 4656 4658 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 19711 33554432000 1073741824 1073778376 140733378590112 139902875941288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4669] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4669/stat : 4669 (java) S 4656 4658 1585 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335057602 3097006080 19711 33554432000 1073741824 1073778376 140733378590112 139902863530728 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4670] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4670/stat : 4670 (java) S 4656 4658 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335057603 3097006080 19711 33554432000 1073741824 1073778376 140733378590112 139902862476792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4671] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4671/stat : 4671 (java) S 4656 4658 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335057603 3097006080 19711 33554432000 1073741824 1073778376 140733378590112 139902861424392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4672] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4672/stat : 4672 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057605 3097006080 19711 33554432000 1073741824 1073778376 140733378590112 139902860372880 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4673] ppid=4656 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/4658/task/4673/stat : 4673 (java) S 4656 4658 1585 0 -1 4202560 3083 0 0 0 32 0 0 0 20 0 19 0 335057605 3097006080 19711 33554432000 1073741824 1073778376 140733378590112 139902859319480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4674] ppid=4656 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/4658/task/4674/stat : 4674 (java) S 4656 4658 1585 0 -1 4202560 2063 0 0 0 35 0 0 0 20 0 19 0 335057605 3097006080 19711 33554432000 1073741824 1073778376 140733378590112 139902858266680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4675] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4675/stat : 4675 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057605 3097006080 19711 33554432000 1073741824 1073778376 140733378590112 139902857214584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4676] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4676/stat : 4676 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057605 3097006080 19711 33554432000 1073741824 1073778376 140733378590112 139902737967816 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4678] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4678/stat : 4678 (java) S 4656 4658 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335057641 3097006080 19711 33554432000 1073741824 1073778376 140733378590112 139902735836456 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 3024420

[startup+6.30059 s]
/proc/loadavg: 2.00 2.01 2.01 3/213 4678
/proc/meminfo: memFree=29380048/32873648 swapFree=7116/7116
[pid=4658] ppid=4656 vsize=3024420 CPUtime=6.98 cores=0,2,4,6
/proc/4658/stat : 4658 (java) S 4656 4658 1585 0 -1 4202496 9422 0 1 0 694 4 0 0 20 0 19 0 335057599 3097006080 26814 33554432000 1073741824 1073778376 140733378590112 140733378581248 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4658/statm: 756105 26814 2276 9 0 746526 0
[pid=4658/tid=4660] ppid=4656 vsize=3024420 CPUtime=6.26 cores=0,2,4,6
/proc/4658/task/4660/stat : 4660 (java) R 4656 4658 1585 0 -1 4202560 3077 0 1 0 623 3 0 0 20 0 19 0 335057600 3097006080 26814 33554432000 1073741824 1073778376 140733378590112 139902899884456 139902738677323 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4658/tid=4661] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4661/stat : 4661 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 26814 33554432000 1073741824 1073778376 140733378590112 139902883310376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4662] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4662/stat : 4662 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 26814 33554432000 1073741824 1073778376 140733378590112 139902882257576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4663] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4663/stat : 4663 (java) S 4656 4658 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 26814 33554432000 1073741824 1073778376 140733378590112 139902881205288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4658/tid=4664] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4664/stat : 4664 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 26814 33554432000 1073741824 1073778376 140733378590112 139902880152488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4658/tid=4665] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4665/stat : 4665 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 26814 33554432000 1073741824 1073778376 140733378590112 139902879099176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4666] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4666/stat : 4666 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 26814 33554432000 1073741824 1073778376 140733378590112 139902878046376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4658/tid=4667] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4667/stat : 4667 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 26814 33554432000 1073741824 1073778376 140733378590112 139902876994088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4668] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4668/stat : 4668 (java) S 4656 4658 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335057601 3097006080 26814 33554432000 1073741824 1073778376 140733378590112 139902875941288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4669] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4669/stat : 4669 (java) S 4656 4658 1585 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335057602 3097006080 26814 33554432000 1073741824 1073778376 140733378590112 139902863530728 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4670] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4670/stat : 4670 (java) S 4656 4658 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335057603 3097006080 26814 33554432000 1073741824 1073778376 140733378590112 139902862476792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4671] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4671/stat : 4671 (java) S 4656 4658 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335057603 3097006080 26814 33554432000 1073741824 1073778376 140733378590112 139902861424392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4672] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4672/stat : 4672 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057605 3097006080 26814 33554432000 1073741824 1073778376 140733378590112 139902860372880 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4673] ppid=4656 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/4658/task/4673/stat : 4673 (java) S 4656 4658 1585 0 -1 4202560 3083 0 0 0 32 0 0 0 20 0 19 0 335057605 3097006080 26814 33554432000 1073741824 1073778376 140733378590112 139902859319480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4674] ppid=4656 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/4658/task/4674/stat : 4674 (java) S 4656 4658 1585 0 -1 4202560 2063 0 0 0 36 0 0 0 20 0 19 0 335057605 3097006080 26814 33554432000 1073741824 1073778376 140733378590112 139902858266680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4675] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4675/stat : 4675 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057605 3097006080 26814 33554432000 1073741824 1073778376 140733378590112 139902857214584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4676] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4676/stat : 4676 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057605 3097006080 26814 33554432000 1073741824 1073778376 140733378590112 139902737967816 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4678] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4678/stat : 4678 (java) S 4656 4658 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335057641 3097006080 26814 33554432000 1073741824 1073778376 140733378590112 139902735836456 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 3024420

[startup+12.7006 s]

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

/proc/4658/task/4661/stat : 4661 (java) S 4656 4658 1585 0 -1 4202560 631 0 0 0 43 13 0 0 20 0 19 0 335057601 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902883310376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4662] ppid=4656 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/4658/task/4662/stat : 4662 (java) S 4656 4658 1585 0 -1 4202560 566 0 0 0 34 16 0 0 20 0 19 0 335057601 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902882257576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4663] ppid=4656 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/4658/task/4663/stat : 4663 (java) S 4656 4658 1585 0 -1 4202560 692 0 0 0 41 14 0 0 20 0 19 0 335057601 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902881205288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4664] ppid=4656 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/4658/task/4664/stat : 4664 (java) S 4656 4658 1585 0 -1 4202560 305 0 0 0 30 15 0 0 20 0 19 0 335057601 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902880152488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4665] ppid=4656 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/4658/task/4665/stat : 4665 (java) S 4656 4658 1585 0 -1 4202560 268 0 0 0 30 13 0 0 20 0 19 0 335057601 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902879099176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4666] ppid=4656 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/4658/task/4666/stat : 4666 (java) S 4656 4658 1585 0 -1 4202560 397 0 0 0 34 23 0 0 20 0 19 0 335057601 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902878046376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4658/tid=4667] ppid=4656 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/4658/task/4667/stat : 4667 (java) S 4656 4658 1585 0 -1 4202560 527 0 0 0 27 13 0 0 20 0 19 0 335057601 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902876994088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4668] ppid=4656 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/4658/task/4668/stat : 4668 (java) S 4656 4658 1585 0 -1 4202560 256 0 0 0 36 16 0 0 20 0 19 0 335057601 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902875941288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4669] ppid=4656 vsize=3024420 CPUtime=16.3 cores=0,2,4,6
/proc/4658/task/4669/stat : 4669 (java) R 4656 4658 1585 0 -1 4202560 187 0 0 0 1625 5 0 0 20 0 19 0 335057602 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902863530888 139902906010767 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4658/tid=4670] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4670/stat : 4670 (java) S 4656 4658 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335057603 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902862476792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4671] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4671/stat : 4671 (java) S 4656 4658 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335057603 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902861421672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4672] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4672/stat : 4672 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057605 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902860372880 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4673] ppid=4656 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/4658/task/4673/stat : 4673 (java) S 4656 4658 1585 0 -1 4202560 3095 0 0 0 38 0 0 0 20 0 19 0 335057605 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902859319480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4674] ppid=4656 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/4658/task/4674/stat : 4674 (java) S 4656 4658 1585 0 -1 4202560 2070 0 0 0 41 0 0 0 20 0 19 0 335057605 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902858266680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4675] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4675/stat : 4675 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057605 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902857214584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4676] ppid=4656 vsize=3024420 CPUtime=0.11 cores=0,2,4,6
/proc/4658/task/4676/stat : 4676 (java) S 4656 4658 1585 0 -1 4202560 33 0 0 0 3 8 0 0 20 0 19 0 335057605 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902737967816 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4658/tid=4678] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4678/stat : 4678 (java) S 4656 4658 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335057641 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902735836456 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 578.1
Current children cumulated vsize (KiB) 3024420

[startup+575.101 s]
/proc/loadavg: 2.04 2.02 2.00 3/213 4683
/proc/meminfo: memFree=26820504/32873648 swapFree=7116/7116
[pid=4658] ppid=4656 vsize=3024420 CPUtime=578.9 cores=0,2,4,6
/proc/4658/stat : 4658 (java) S 4656 4658 1585 0 -1 4202496 13510 0 1 0 57748 142 0 0 20 0 19 0 335057599 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 140733378581248 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4658/statm: 756105 419785 2304 9 0 746526 0
[pid=4658/tid=4660] ppid=4656 vsize=3024420 CPUtime=556.87 cores=0,2,4,6
/proc/4658/task/4660/stat : 4660 (java) S 4656 4658 1585 0 -1 4202560 3296 0 1 0 55670 17 0 0 20 0 19 0 335057600 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902899886584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4661] ppid=4656 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/4658/task/4661/stat : 4661 (java) S 4656 4658 1585 0 -1 4202560 631 0 0 0 43 13 0 0 20 0 19 0 335057601 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902883310376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4662] ppid=4656 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/4658/task/4662/stat : 4662 (java) S 4656 4658 1585 0 -1 4202560 566 0 0 0 34 16 0 0 20 0 19 0 335057601 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902882257576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4663] ppid=4656 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/4658/task/4663/stat : 4663 (java) S 4656 4658 1585 0 -1 4202560 692 0 0 0 41 14 0 0 20 0 19 0 335057601 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902881205288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4664] ppid=4656 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/4658/task/4664/stat : 4664 (java) S 4656 4658 1585 0 -1 4202560 305 0 0 0 30 15 0 0 20 0 19 0 335057601 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902880152488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4665] ppid=4656 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/4658/task/4665/stat : 4665 (java) S 4656 4658 1585 0 -1 4202560 268 0 0 0 30 13 0 0 20 0 19 0 335057601 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902879099176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4666] ppid=4656 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/4658/task/4666/stat : 4666 (java) S 4656 4658 1585 0 -1 4202560 397 0 0 0 34 23 0 0 20 0 19 0 335057601 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902878046376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4658/tid=4667] ppid=4656 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/4658/task/4667/stat : 4667 (java) S 4656 4658 1585 0 -1 4202560 527 0 0 0 27 13 0 0 20 0 19 0 335057601 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902876994088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4668] ppid=4656 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/4658/task/4668/stat : 4668 (java) S 4656 4658 1585 0 -1 4202560 256 0 0 0 36 16 0 0 20 0 19 0 335057601 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902875941288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4669] ppid=4656 vsize=3024420 CPUtime=17.1 cores=0,2,4,6
/proc/4658/task/4669/stat : 4669 (java) R 4656 4658 1585 0 -1 4202560 187 0 0 0 1705 5 0 0 20 0 19 0 335057602 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902863530888 214537093460 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4658/tid=4670] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4670/stat : 4670 (java) S 4656 4658 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335057603 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902862476696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4671] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4671/stat : 4671 (java) S 4656 4658 1585 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335057603 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902861421688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4672] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4672/stat : 4672 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057605 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902860372880 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4673] ppid=4656 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/4658/task/4673/stat : 4673 (java) S 4656 4658 1585 0 -1 4202560 3095 0 0 0 38 0 0 0 20 0 19 0 335057605 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902859319480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4674] ppid=4656 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/4658/task/4674/stat : 4674 (java) S 4656 4658 1585 0 -1 4202560 2070 0 0 0 41 0 0 0 20 0 19 0 335057605 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902858266680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4675] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4675/stat : 4675 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057605 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902857214584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4676] ppid=4656 vsize=3024420 CPUtime=0.11 cores=0,2,4,6
/proc/4658/task/4676/stat : 4676 (java) S 4656 4658 1585 0 -1 4202560 33 0 0 0 3 8 0 0 20 0 19 0 335057605 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902737967816 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4658/tid=4678] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4678/stat : 4678 (java) S 4656 4658 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335057641 3097006080 419785 33554432000 1073741824 1073778376 140733378590112 139902735836456 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 578.9
Current children cumulated vsize (KiB) 3024420

[startup+575.501 s]
/proc/loadavg: 2.04 2.02 2.00 3/213 4683
/proc/meminfo: memFree=26820504/32873648 swapFree=7116/7116
[pid=4658] ppid=4656 vsize=3024420 CPUtime=579.3 cores=0,2,4,6
/proc/4658/stat : 4658 (java) S 4656 4658 1585 0 -1 4202496 13514 0 1 0 57788 142 0 0 20 0 19 0 335057599 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 140733378581248 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4658/statm: 756105 419787 2304 9 0 746526 0
[pid=4658/tid=4660] ppid=4656 vsize=3024420 CPUtime=556.87 cores=0,2,4,6
/proc/4658/task/4660/stat : 4660 (java) S 4656 4658 1585 0 -1 4202560 3297 0 1 0 55670 17 0 0 20 0 19 0 335057600 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902899886200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4661] ppid=4656 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/4658/task/4661/stat : 4661 (java) S 4656 4658 1585 0 -1 4202560 631 0 0 0 43 13 0 0 20 0 19 0 335057601 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902883310376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4662] ppid=4656 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/4658/task/4662/stat : 4662 (java) S 4656 4658 1585 0 -1 4202560 566 0 0 0 34 16 0 0 20 0 19 0 335057601 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902882257576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4663] ppid=4656 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/4658/task/4663/stat : 4663 (java) S 4656 4658 1585 0 -1 4202560 692 0 0 0 41 14 0 0 20 0 19 0 335057601 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902881205288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4664] ppid=4656 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/4658/task/4664/stat : 4664 (java) S 4656 4658 1585 0 -1 4202560 305 0 0 0 30 15 0 0 20 0 19 0 335057601 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902880152488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4665] ppid=4656 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/4658/task/4665/stat : 4665 (java) S 4656 4658 1585 0 -1 4202560 268 0 0 0 30 13 0 0 20 0 19 0 335057601 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902879099176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4666] ppid=4656 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/4658/task/4666/stat : 4666 (java) S 4656 4658 1585 0 -1 4202560 397 0 0 0 34 23 0 0 20 0 19 0 335057601 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902878046376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4658/tid=4667] ppid=4656 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/4658/task/4667/stat : 4667 (java) S 4656 4658 1585 0 -1 4202560 527 0 0 0 27 13 0 0 20 0 19 0 335057601 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902876994088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4668] ppid=4656 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/4658/task/4668/stat : 4668 (java) S 4656 4658 1585 0 -1 4202560 256 0 0 0 36 16 0 0 20 0 19 0 335057601 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902875941288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4669] ppid=4656 vsize=3024420 CPUtime=17.5 cores=0,2,4,6
/proc/4658/task/4669/stat : 4669 (java) R 4656 4658 1585 0 -1 4202560 187 0 0 0 1745 5 0 0 20 0 19 0 335057602 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902863530888 139902906010736 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4658/tid=4670] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4670/stat : 4670 (java) S 4656 4658 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335057603 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902862476792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4671] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4671/stat : 4671 (java) S 4656 4658 1585 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 335057603 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902861424392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4672] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4672/stat : 4672 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057605 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902860372880 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4673] ppid=4656 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/4658/task/4673/stat : 4673 (java) S 4656 4658 1585 0 -1 4202560 3095 0 0 0 38 0 0 0 20 0 19 0 335057605 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902859319480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4674] ppid=4656 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/4658/task/4674/stat : 4674 (java) S 4656 4658 1585 0 -1 4202560 2070 0 0 0 41 0 0 0 20 0 19 0 335057605 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902858266680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4675] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4675/stat : 4675 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057605 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902857214584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4676] ppid=4656 vsize=3024420 CPUtime=0.11 cores=0,2,4,6
/proc/4658/task/4676/stat : 4676 (java) S 4656 4658 1585 0 -1 4202560 33 0 0 0 3 8 0 0 20 0 19 0 335057605 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902737967816 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4658/tid=4678] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4678/stat : 4678 (java) S 4656 4658 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335057641 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902735836456 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 579.3
Current children cumulated vsize (KiB) 3024420

[startup+575.601 s]
/proc/loadavg: 2.04 2.02 2.00 3/213 4683
/proc/meminfo: memFree=26820504/32873648 swapFree=7116/7116
[pid=4658] ppid=4656 vsize=3024420 CPUtime=579.4 cores=0,2,4,6
/proc/4658/stat : 4658 (java) S 4656 4658 1585 0 -1 4202496 13514 0 1 0 57798 142 0 0 20 0 19 0 335057599 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 140733378581248 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4658/statm: 756105 419787 2304 9 0 746526 0
[pid=4658/tid=4660] ppid=4656 vsize=3024420 CPUtime=556.87 cores=0,2,4,6
/proc/4658/task/4660/stat : 4660 (java) S 4656 4658 1585 0 -1 4202560 3297 0 1 0 55670 17 0 0 20 0 19 0 335057600 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902899886200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4661] ppid=4656 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/4658/task/4661/stat : 4661 (java) S 4656 4658 1585 0 -1 4202560 631 0 0 0 43 13 0 0 20 0 19 0 335057601 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902883310376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4662] ppid=4656 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/4658/task/4662/stat : 4662 (java) S 4656 4658 1585 0 -1 4202560 566 0 0 0 34 16 0 0 20 0 19 0 335057601 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902882257576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4663] ppid=4656 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/4658/task/4663/stat : 4663 (java) S 4656 4658 1585 0 -1 4202560 692 0 0 0 41 14 0 0 20 0 19 0 335057601 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902881205288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4664] ppid=4656 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/4658/task/4664/stat : 4664 (java) S 4656 4658 1585 0 -1 4202560 305 0 0 0 30 15 0 0 20 0 19 0 335057601 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902880152488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4665] ppid=4656 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/4658/task/4665/stat : 4665 (java) S 4656 4658 1585 0 -1 4202560 268 0 0 0 30 13 0 0 20 0 19 0 335057601 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902879099176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4666] ppid=4656 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/4658/task/4666/stat : 4666 (java) S 4656 4658 1585 0 -1 4202560 397 0 0 0 34 23 0 0 20 0 19 0 335057601 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902878046376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4658/tid=4667] ppid=4656 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/4658/task/4667/stat : 4667 (java) S 4656 4658 1585 0 -1 4202560 527 0 0 0 27 13 0 0 20 0 19 0 335057601 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902876994088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4668] ppid=4656 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/4658/task/4668/stat : 4668 (java) S 4656 4658 1585 0 -1 4202560 256 0 0 0 36 16 0 0 20 0 19 0 335057601 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902875941288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4669] ppid=4656 vsize=3024420 CPUtime=17.6 cores=0,2,4,6
/proc/4658/task/4669/stat : 4669 (java) R 4656 4658 1585 0 -1 4202560 187 0 0 0 1755 5 0 0 20 0 19 0 335057602 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902863530888 139902906392698 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4658/tid=4670] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4670/stat : 4670 (java) S 4656 4658 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335057603 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902862476792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4671] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4671/stat : 4671 (java) S 4656 4658 1585 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 335057603 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902861424392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4672] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4672/stat : 4672 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057605 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902860372880 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4673] ppid=4656 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/4658/task/4673/stat : 4673 (java) S 4656 4658 1585 0 -1 4202560 3095 0 0 0 38 0 0 0 20 0 19 0 335057605 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902859319480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4658/tid=4674] ppid=4656 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/4658/task/4674/stat : 4674 (java) S 4656 4658 1585 0 -1 4202560 2070 0 0 0 41 0 0 0 20 0 19 0 335057605 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902858266680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4675] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4675/stat : 4675 (java) S 4656 4658 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335057605 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902857214584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4658/tid=4676] ppid=4656 vsize=3024420 CPUtime=0.11 cores=0,2,4,6
/proc/4658/task/4676/stat : 4676 (java) S 4656 4658 1585 0 -1 4202560 33 0 0 0 3 8 0 0 20 0 19 0 335057605 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902737967816 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4658/tid=4678] ppid=4656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4678/stat : 4678 (java) S 4656 4658 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335057641 3097006080 419787 33554432000 1073741824 1073778376 140733378590112 139902735836456 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 579.4
Current children cumulated vsize (KiB) 3024420

Child status: 1
Real time (s): 575.706
CPU time (s): 579.706
CPU user time (s): 578.044
CPU system time (s): 1.66175
CPU usage (%): 100.695
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 578.044
system time used= 1.66175
maximum resident set size= 1679156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13517
page faults= 1
swaps= 0
block input operations= 0
block output operations= 536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12686
involuntary context switches= 8760

runsolver used 2.6006 second user time and 6.22105 second system time

The end

Launcher Data 

Begin job on node127 at 2012-06-03 04:08:41
IDJOB=3732253
IDBENCH=2041
IDSOLVER=2319
FILE ID=node127/3732253-1338689321
RUNJOBID= node127-1338678617-1606
PBS_JOBID= 14636686
Free space on /tmp= 70480 MiB

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

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

MD5SUM BENCH= 6a8ed45a9ac044152dd384e143f7e172
RANDOM SEED=943941583

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29478776 kB
Buffers:          386880 kB
Cached:          1854320 kB
SwapCached:         1432 kB
Active:          1255552 kB
Inactive:        1235208 kB
Active(anon):     243288 kB
Inactive(anon):     7952 kB
Active(file):    1012264 kB
Inactive(file):  1227256 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67104504 kB
Dirty:              3552 kB
Writeback:             0 kB
AnonPages:        299968 kB
Mapped:            19128 kB
Shmem:                92 kB
Slab:             745468 kB
SReclaimable:     189404 kB
SUnreclaim:       556064 kB
KernelStack:        1760 kB
PageTables:         4304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1825468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 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= 70476 MiB
End job on node127 at 2012-06-03 04:18:17