Trace number 3687858

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
SAT 4j PB RES // CP 2.3.2 Snapshot? (TO) 1802.33 1040.33

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
MD5SUM4e682317a6045f4869b1783c80734344
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark813
Best CPU time to get the best result obtained on this benchmark0.19097
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 813
Optimality of the best value was proved YES
Number of variables2289
Total number of constraints764
Number of constraints which are clauses360
Number of constraints which are cardinality constraints (but not clauses)404
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint195
Number of terms in the objective function 1798
Biggest coefficient in the objective function 349
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 104116
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 349
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 104116
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.2.v20120418
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
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 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c c --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3687858-1337874138.opb
0.07/0.13	c reading problem ... 
0.47/0.30	c ... done. Wall clock time 0.175s.
0.47/0.30	c declared #vars     2289
0.47/0.30	c #constraints  1141
0.47/0.30	c constraints type 
0.47/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 377
0.47/0.30	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1
0.47/0.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.47/0.30	c ignored satisfied constraints => 1
0.47/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 360
0.47/0.30	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.47/0.30	c 1142 constraints processed.
0.47/0.30	c constraints type 
0.47/0.30	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 360
0.47/0.30	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 377
0.47/0.30	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
0.47/0.30	c ignored satisfied constraints => 1
0.47/0.30	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
0.47/0.30	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.47/0.30	c 1142 constraints processed.
0.47/0.30	c objective function length is 1798 literals
0.47/0.39	c  And the winner is solver0
0.97/0.81	c SATISFIABLE
0.97/0.81	c OPTIMIZING...
0.97/0.81	c Got one! Elapsed wall clock time (in seconds):0.68
0.97/0.81	o 845
0.97/0.88	c  And the winner is solver0
1.70/1.36	c Got one! Elapsed wall clock time (in seconds):1.229
1.70/1.36	o 834
3.77/2.18	c cleaning 2514 clauses out of 5028 with flag 5000/5028
5.92/3.13	c cleaning 4256 clauses out of 8514 with flag 11000/11028
8.12/4.26	c cleaning 5629 clauses out of 11259 with flag 18001/18029
10.75/5.51	c cleaning 6815 clauses out of 13629 with flag 26000/26028
12.94/6.67	c  And the winner is solver1
12.94/6.68	c cleaning 7907 clauses out of 15814 with flag 35000/35028
13.25/6.87	c Got one! Elapsed wall clock time (in seconds):6.739
13.25/6.87	o 828
14.55/7.50	c cleaning 6451 clauses out of 12909 with flag 5002/40030
16.25/8.43	c cleaning 6217 clauses out of 12456 with flag 11000/46028
18.33/9.58	c cleaning 6614 clauses out of 13239 with flag 18000/53028
20.97/10.93	c cleaning 7302 clauses out of 14626 with flag 26001/61029
23.84/12.49	c cleaning 8162 clauses out of 16323 with flag 35000/70028
26.89/14.08	c cleaning 9078 clauses out of 18161 with flag 45000/80028
30.18/15.73	c cleaning 10043 clauses out of 20086 with flag 56003/91031
33.76/17.68	c cleaning 11010 clauses out of 22040 with flag 68000/103028
37.59/19.68	c cleaning 12013 clauses out of 24031 with flag 81001/116029
42.33/22.06	c cleaning 13005 clauses out of 26017 with flag 95000/130028
45.34/23.63	c  And the winner is solver1
45.43/24.00	c Got one! Elapsed wall clock time (in seconds):23.868
45.43/24.00	o 827
46.42/24.59	c cleaning 13681 clauses out of 27365 with flag 5000/144381
48.70/25.81	c cleaning 9841 clauses out of 19684 with flag 11000/150381
51.09/27.10	c cleaning 8410 clauses out of 16844 with flag 18001/157382
54.08/28.71	c cleaning 8205 clauses out of 16433 with flag 26000/165381
55.67/29.65	c  And the winner is solver1
55.78/30.04	c Got one! Elapsed wall clock time (in seconds):29.917
55.78/30.04	o 825
56.10/30.27	c cleaning 7102 clauses out of 14212 with flag 2000/171365
57.74/31.29	c cleaning 6549 clauses out of 13110 with flag 8000/177365
59.52/32.28	c cleaning 6777 clauses out of 13563 with flag 15002/184367
61.90/33.51	c cleaning 7389 clauses out of 14784 with flag 23000/192365
64.48/34.96	c cleaning 8196 clauses out of 16395 with flag 32000/201365
67.71/36.76	c cleaning 9093 clauses out of 18199 with flag 42000/211365
71.46/38.79	c cleaning 10048 clauses out of 20107 with flag 53001/222366
75.60/40.97	c cleaning 11029 clauses out of 22059 with flag 65001/234366
80.74/43.62	c cleaning 12011 clauses out of 24030 with flag 78001/247366
81.71/44.30	c  And the winner is solver1
81.72/44.63	c Got one! Elapsed wall clock time (in seconds):44.497
81.72/44.63	o 824
82.47/45.09	c cleaning 8734 clauses out of 17470 with flag 4000/252817
84.17/46.08	c cleaning 7369 clauses out of 14739 with flag 10003/258820
86.06/47.17	c cleaning 7180 clauses out of 14371 with flag 17004/265821
88.16/48.39	c cleaning 7591 clauses out of 15188 with flag 25001/273818
90.84/49.91	c cleaning 8294 clauses out of 16597 with flag 34001/282818
93.95/51.63	c cleaning 9146 clauses out of 18303 with flag 44001/292818
97.22/53.42	c cleaning 10075 clauses out of 20156 with flag 55000/303817
100.89/55.46	c cleaning 11037 clauses out of 22083 with flag 67002/315819
104.96/57.79	c cleaning 12020 clauses out of 24045 with flag 80001/328818
109.43/60.14	c cleaning 13004 clauses out of 26024 with flag 94000/342817
114.33/62.71	c cleaning 14011 clauses out of 28024 with flag 109004/357821
119.16/65.34	c cleaning 15000 clauses out of 30011 with flag 125002/373819
125.36/68.79	c cleaning 16004 clauses out of 32009 with flag 142000/390817
132.80/72.63	c cleaning 16991 clauses out of 34006 with flag 160001/408818
139.06/75.91	c cleaning 18007 clauses out of 36014 with flag 179000/427817
143.86/78.58	c cleaning 19004 clauses out of 38007 with flag 199000/447817
149.60/81.76	c cleaning 20002 clauses out of 40003 with flag 220000/468817
156.38/85.30	c cleaning 21000 clauses out of 42004 with flag 242003/490820
163.15/88.99	c cleaning 21996 clauses out of 44001 with flag 265000/513817
169.69/92.42	c cleaning 23003 clauses out of 46005 with flag 289000/537817
177.86/97.10	c cleaning 24001 clauses out of 48002 with flag 314000/562817
185.82/101.37	c cleaning 25001 clauses out of 50002 with flag 340001/588818
194.35/105.86	c cleaning 26000 clauses out of 52000 with flag 367000/615817
203.32/110.72	c cleaning 27000 clauses out of 54000 with flag 395000/643817
211.38/115.00	c cleaning 27996 clauses out of 56000 with flag 424000/672817
220.05/119.63	c cleaning 29000 clauses out of 58004 with flag 454000/702817
229.13/124.48	c cleaning 29999 clauses out of 60004 with flag 485000/733817
240.00/130.33	c cleaning 31001 clauses out of 62006 with flag 517001/765818
242.40/131.83	c  And the winner is solver1
242.51/132.00	c Got one! Elapsed wall clock time (in seconds):131.872
242.51/132.00	o 816
244.13/132.82	c cleaning 21245 clauses out of 42499 with flag 5000/777312
246.31/134.29	c cleaning 13621 clauses out of 27254 with flag 11000/783312
248.85/135.88	c cleaning 10306 clauses out of 20633 with flag 18000/790312
252.22/138.00	c cleaning 9140 clauses out of 18327 with flag 26000/798312
255.38/139.98	c cleaning 9084 clauses out of 18187 with flag 35000/807312
258.77/141.97	c cleaning 9545 clauses out of 19103 with flag 45000/817312
262.53/144.11	c cleaning 10278 clauses out of 20559 with flag 56001/828313
267.08/146.93	c cleaning 11133 clauses out of 22280 with flag 68000/840312
271.43/149.47	c cleaning 12068 clauses out of 24147 with flag 81000/853312
276.00/152.01	c cleaning 13040 clauses out of 26079 with flag 95000/867312
280.75/154.74	c cleaning 14020 clauses out of 28039 with flag 110000/882312
286.09/157.96	c cleaning 15011 clauses out of 30022 with flag 126003/898315
291.61/161.01	c cleaning 16005 clauses out of 32009 with flag 143001/915313
297.14/164.17	c cleaning 16999 clauses out of 34003 with flag 161000/933312
302.87/167.33	c cleaning 17999 clauses out of 36004 with flag 180000/952312
309.32/171.16	c cleaning 19001 clauses out of 38006 with flag 200001/972313
316.22/174.92	c cleaning 20002 clauses out of 40004 with flag 221000/993312
323.10/178.76	c cleaning 21002 clauses out of 42005 with flag 243003/1015315
330.15/182.69	c cleaning 21995 clauses out of 44000 with flag 266000/1038312
337.94/187.13	c cleaning 23000 clauses out of 46005 with flag 290000/1062312
345.21/191.19	c cleaning 23998 clauses out of 48005 with flag 315000/1087312
353.64/195.71	c cleaning 25004 clauses out of 50008 with flag 341001/1113313
361.44/200.05	c cleaning 26003 clauses out of 52005 with flag 368002/1140314
370.50/205.21	c cleaning 27000 clauses out of 54004 with flag 396004/1168316
378.67/209.77	c cleaning 28000 clauses out of 56000 with flag 425000/1197312
387.03/214.33	c cleaning 29000 clauses out of 58000 with flag 455000/1227312
395.74/219.13	c cleaning 30001 clauses out of 60001 with flag 486001/1258313
405.70/224.84	c cleaning 30997 clauses out of 61999 with flag 518000/1290312
415.59/230.25	c cleaning 31999 clauses out of 64002 with flag 551000/1323312
426.07/235.95	c cleaning 33002 clauses out of 66003 with flag 585000/1357312
436.02/241.41	c cleaning 34001 clauses out of 68001 with flag 620000/1392312
447.76/248.74	c cleaning 34999 clauses out of 70000 with flag 656000/1428312
459.07/254.71	c cleaning 36001 clauses out of 72001 with flag 693000/1465312
473.78/262.55	c cleaning 37002 clauses out of 74003 with flag 731003/1503315
489.39/271.14	c cleaning 37998 clauses out of 75998 with flag 770000/1542312
503.74/278.82	c cleaning 39001 clauses out of 78004 with flag 810004/1582316
518.62/286.86	c cleaning 39999 clauses out of 79999 with flag 851000/1623312
533.03/294.65	c cleaning 40998 clauses out of 82000 with flag 893000/1665312
547.91/303.01	c cleaning 41998 clauses out of 84002 with flag 936000/1708312
562.33/310.80	c cleaning 43003 clauses out of 86007 with flag 980003/1752315
576.66/318.67	c cleaning 43995 clauses out of 88001 with flag 1025000/1797312
591.78/326.89	c cleaning 45003 clauses out of 90007 with flag 1071001/1843313
607.08/335.58	c cleaning 46000 clauses out of 92003 with flag 1118000/1890312
622.35/343.82	c cleaning 47002 clauses out of 94003 with flag 1166000/1938312
637.14/351.87	c cleaning 48000 clauses out of 96001 with flag 1215000/1987312
654.72/361.21	c cleaning 49000 clauses out of 98004 with flag 1265003/2037315
672.77/371.34	c cleaning 49997 clauses out of 100001 with flag 1316000/2088312
687.96/379.67	c cleaning 50999 clauses out of 102004 with flag 1368000/2140312
704.60/388.65	c cleaning 51998 clauses out of 104005 with flag 1421000/2193312
721.31/397.79	c cleaning 53002 clauses out of 106009 with flag 1475002/2247314
740.73/408.78	c cleaning 53999 clauses out of 108008 with flag 1530003/2302315
759.14/418.72	c cleaning 55001 clauses out of 110006 with flag 1586000/2358312
776.55/428.29	c cleaning 56005 clauses out of 112009 with flag 1643004/2415316
796.85/439.11	c cleaning 56999 clauses out of 114000 with flag 1701000/2473312
818.92/451.50	c cleaning 57997 clauses out of 116001 with flag 1760000/2532312
837.93/461.72	c cleaning 58996 clauses out of 118004 with flag 1820000/2592312
857.98/472.59	c cleaning 60001 clauses out of 120008 with flag 1881000/2653312
879.03/483.89	c cleaning 60999 clauses out of 122010 with flag 1943003/2715315
901.03/496.25	c cleaning 61998 clauses out of 124008 with flag 2006000/2778312
926.01/510.68	c cleaning 62998 clauses out of 126010 with flag 2070000/2842312
951.18/523.88	c cleaning 64004 clauses out of 128012 with flag 2135000/2907312
976.60/537.96	c cleaning 65003 clauses out of 130009 with flag 2201001/2973313
1003.51/552.24	c cleaning 65998 clauses out of 132006 with flag 2268001/3040313
1031.04/566.83	c cleaning 66995 clauses out of 134007 with flag 2336000/3108312
1052.09/578.23	c  And the winner is solver1
1052.31/578.43	c Got one! Elapsed wall clock time (in seconds):578.303
1052.31/578.43	o 815
1056.05/580.38	c cleaning 64474 clauses out of 128984 with flag 5000/3170284
1061.99/584.90	c cleaning 35250 clauses out of 70513 with flag 11003/3176287
1066.58/588.27	c cleaning 21115 clauses out of 42260 with flag 18000/3183284
1071.17/591.55	c cleaning 14567 clauses out of 29145 with flag 26000/3191284
1076.01/594.95	c cleaning 11789 clauses out of 23579 with flag 35001/3200285
1082.50/599.83	c cleaning 10892 clauses out of 21789 with flag 45000/3210284
1087.73/603.43	c cleaning 10944 clauses out of 21898 with flag 56001/3221285
1093.38/607.24	c cleaning 11472 clauses out of 22953 with flag 68000/3233284
1099.43/611.24	c cleaning 12241 clauses out of 24483 with flag 81002/3246286
1106.91/616.63	c cleaning 13111 clauses out of 26240 with flag 95000/3260284
1113.31/620.84	c cleaning 14061 clauses out of 28131 with flag 110002/3275286
1119.75/625.07	c cleaning 15032 clauses out of 30068 with flag 126000/3291284
1126.78/629.55	c cleaning 16018 clauses out of 32037 with flag 143001/3308285
1135.46/635.55	c cleaning 17011 clauses out of 34022 with flag 161004/3326288
1143.65/640.62	c cleaning 17999 clauses out of 36007 with flag 180000/3345284
1151.23/645.42	c cleaning 19000 clauses out of 38008 with flag 200000/3365284
1159.00/650.39	c cleaning 20002 clauses out of 40009 with flag 221001/3386285
1169.00/657.07	c cleaning 21004 clauses out of 42007 with flag 243001/3408285
1178.14/662.62	c cleaning 21999 clauses out of 44003 with flag 266001/3431285
1187.10/668.11	c cleaning 23002 clauses out of 46005 with flag 290002/3455286
1196.61/673.92	c cleaning 24000 clauses out of 48003 with flag 315002/3480286
1207.94/681.34	c cleaning 25001 clauses out of 50002 with flag 341001/3506285
1218.20/687.56	c cleaning 25999 clauses out of 52000 with flag 368000/3533284
1228.65/693.89	c cleaning 26995 clauses out of 54002 with flag 396001/3561285
1239.31/700.24	c cleaning 28000 clauses out of 56006 with flag 425000/3590284
1251.91/708.32	c cleaning 28997 clauses out of 58006 with flag 455000/3620284
1264.13/715.56	c cleaning 30001 clauses out of 60010 with flag 486001/3651285
1276.99/723.02	c cleaning 31000 clauses out of 62009 with flag 518001/3683285
1290.47/730.81	c cleaning 31997 clauses out of 64010 with flag 551002/3716286
1305.89/740.37	c cleaning 33004 clauses out of 66012 with flag 585001/3750285
1318.24/747.62	c cleaning 34003 clauses out of 68007 with flag 620000/3785284
1331.28/755.29	c cleaning 35002 clauses out of 70004 with flag 656000/3821284
1345.54/763.48	c cleaning 35996 clauses out of 72003 with flag 693001/3858285
1361.75/773.31	c cleaning 37001 clauses out of 74008 with flag 731002/3896286
1376.81/782.00	c cleaning 38001 clauses out of 76006 with flag 770001/3935285
1392.28/790.76	c cleaning 39002 clauses out of 78007 with flag 810003/3975287
1408.11/799.72	c cleaning 40001 clauses out of 80002 with flag 851000/4016284
1425.20/810.13	c cleaning 40999 clauses out of 82001 with flag 893000/4058284
1440.24/818.72	c cleaning 41997 clauses out of 84002 with flag 936000/4101284
1456.24/827.85	c cleaning 42999 clauses out of 86006 with flag 980001/4145285
1472.69/837.14	c cleaning 44004 clauses out of 88008 with flag 1025002/4190286
1491.77/848.56	c cleaning 45001 clauses out of 90002 with flag 1071000/4236284
1509.15/858.33	c cleaning 46001 clauses out of 92002 with flag 1118001/4283285
1527.53/868.66	c cleaning 46994 clauses out of 94002 with flag 1166002/4331286
1545.53/878.78	c cleaning 48004 clauses out of 96008 with flag 1215002/4380286
1566.35/891.08	c cleaning 48999 clauses out of 98002 with flag 1265000/4430284
1585.90/901.98	c cleaning 49998 clauses out of 100003 with flag 1316000/4481284
1603.41/911.88	c cleaning 51001 clauses out of 102005 with flag 1368000/4533284
1622.52/922.57	c cleaning 52003 clauses out of 104008 with flag 1421004/4586288
1643.63/935.04	c cleaning 53001 clauses out of 106001 with flag 1475000/4640284
1664.09/946.46	c cleaning 54000 clauses out of 108001 with flag 1530001/4695285
1686.04/958.58	c cleaning 55000 clauses out of 110000 with flag 1586000/4751284
1692.05/962.72	c  And the winner is solver1
1692.22/963.14	c Got one! Elapsed wall clock time (in seconds):963.016
1692.22/963.14	o 813
1693.78/963.95	c cleaning 35660 clauses out of 71329 with flag 5002/4767613
1699.57/968.84	c cleaning 20830 clauses out of 41669 with flag 11002/4773613
1703.95/972.25	c cleaning 13917 clauses out of 27838 with flag 18001/4780612
1709.18/976.03	c cleaning 10957 clauses out of 21920 with flag 26000/4788611
1714.37/979.85	c cleaning 9979 clauses out of 19965 with flag 35002/4797613
1721.39/985.35	c cleaning 9988 clauses out of 19984 with flag 45000/4807611
1727.37/989.53	c cleaning 10490 clauses out of 20997 with flag 56001/4818612
1733.78/993.94	c cleaning 11249 clauses out of 22507 with flag 68001/4830612
1740.16/998.33	c cleaning 12129 clauses out of 24257 with flag 81000/4843611
1748.95/1004.76	c cleaning 13064 clauses out of 26131 with flag 95003/4857614
1756.78/1009.85	c cleaning 14031 clauses out of 28064 with flag 110000/4872611
1764.94/1015.18	c cleaning 15013 clauses out of 30033 with flag 126000/4888611
1773.30/1020.55	c cleaning 16002 clauses out of 32020 with flag 143000/4905611
1782.71/1027.29	c cleaning 17002 clauses out of 34018 with flag 161000/4923611
1791.08/1032.61	c cleaning 18007 clauses out of 36016 with flag 180000/4942611
1799.85/1038.23	c cleaning 18999 clauses out of 38009 with flag 200000/4962611

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-3687858-1337874138/watcher-3687858-1337874138 -o /tmp/evaluation-result-3687858-1337874138/solver-3687858-1337874138 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687858-1337874138.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: 3.57 3.41 3.09 4/197 25902
/proc/meminfo: memFree=26279904/32873648 swapFree=6856/6856
[pid=25902] ppid=25900 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/25902/stat : 25902 (java) D 25900 25902 24583 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 253539270 2560000 46 33554432000 1073741824 1073778376 140736910567520 140736910564648 270698376487 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/25902/statm: 625 46 37 9 0 29 0

[startup+0.0992729 s]
/proc/loadavg: 3.57 3.41 3.09 4/197 25902
/proc/meminfo: memFree=26279904/32873648 swapFree=6856/6856
[pid=25902] ppid=25900 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/25902/stat : 25902 (java) S 25900 25902 24583 0 -1 4202496 3678 0 1 0 6 1 0 0 20 0 18 0 253539270 9787813888 4887 33554432000 1073741824 1073778376 140734760866992 140734760858128 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25902/statm: 2389603 4910 1952 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.100216 s]
/proc/loadavg: 3.57 3.41 3.09 4/197 25902
/proc/meminfo: memFree=26279904/32873648 swapFree=6856/6856
[pid=25902] ppid=25900 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/25902/stat : 25902 (java) S 25900 25902 24583 0 -1 4202496 3868 0 1 0 6 1 0 0 20 0 18 0 253539270 9787813888 5061 33554432000 1073741824 1073778376 140734760866992 140734760858128 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25902/statm: 2389603 5063 2029 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.300226 s]
/proc/loadavg: 3.57 3.41 3.09 4/197 25902
/proc/meminfo: memFree=26279904/32873648 swapFree=6856/6856
[pid=25902] ppid=25900 vsize=9558412 CPUtime=0.47 cores=0,2,4,6
/proc/25902/stat : 25902 (java) S 25900 25902 24583 0 -1 4202496 5599 0 1 0 46 1 0 0 20 0 18 0 253539270 9787813888 12228 33554432000 1073741824 1073778376 140734760866992 140734760858128 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25902/statm: 2389603 12228 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412

[startup+0.70025 s]
/proc/loadavg: 3.57 3.41 3.09 4/197 25902
/proc/meminfo: memFree=26279904/32873648 swapFree=6856/6856
[pid=25902] ppid=25900 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/25902/stat : 25902 (java) S 25900 25902 24583 0 -1 4202496 7115 0 1 0 93 4 0 0 20 0 19 0 253539270 10060460032 14356 33554432000 1073741824 1073778376 140734760866992 140734760858128 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25902/statm: 2456167 14356 2239 9 0 2446860 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 9824668

[startup+1.50064 s]
/proc/loadavg: 3.57 3.41 3.09 5/216 25927
/proc/meminfo: memFree=26200428/32873648 swapFree=6856/6856
[pid=25902] ppid=25900 vsize=9824668 CPUtime=2.19 cores=0,2,4,6
/proc/25902/stat : 25902 (java) S 25900 25902 24583 0 -1 4202496 19463 0 1 0 211 8 0 0 20 0 22 0 253539270 10060460032 25505 33554432000 1073741824 1073778376 140734760866992 140734760858128 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25902/statm: 2456167 25505 2251 9 0 2446860 0
[pid=25902/tid=25904] ppid=25900 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/25902/task/25904/stat : 25904 (java) S 25900 25902 24583 0 -1 4202560 2470 0 1 0 30 2 0 0 20 0 22 0 253539271 10060460032 25505 33554432000 1073741824 1073778376 140734760866992 139869378704376 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25905] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25905/stat : 25905 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539273 10060460032 25505 33554432000 1073741824 1073778376 140734760866992 139869222287656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25906] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25906/stat : 25906 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539273 10060460032 25505 33554432000 1073741824 1073778376 140734760866992 139869221234856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25907] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25907/stat : 25907 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539273 10060460032 25505 33554432000 1073741824 1073778376 140734760866992 139869220182568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25908] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25908/stat : 25908 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539273 10060460032 25505 33554432000 1073741824 1073778376 140734760866992 139869219129768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25909] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25909/stat : 25909 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539273 10060460032 25505 33554432000 1073741824 1073778376 140734760866992 139869218077480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25910] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25910/stat : 25910 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539273 10060460032 25505 33554432000 1073741824 1073778376 140734760866992 139869217024680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25911] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25911/stat : 25911 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539273 10060460032 25505 33554432000 1073741824 1073778376 140734760866992 139869215972392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25912] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25912/stat : 25912 (java) S 25900 25902 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253539273 10060460032 25505 33554432000 1073741824 1073778376 140734760866992 139869214919592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25913] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25913/stat : 25913 (java) S 25900 25902 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253539274 10060460032 25505 33554432000 1073741824 1073778376 140734760866992 139869202721000 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25914] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25914/stat : 25914 (java) S 25900 25902 24583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253539274 10060460032 25505 33554432000 1073741824 1073778376 140734760866992 139869201667064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25915] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25915/stat : 25915 (java) S 25900 25902 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253539274 10060460032 25505 33554432000 1073741824 1073778376 140734760866992 139869200614664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25916] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25916/stat : 25916 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539277 10060460032 25505 33554432000 1073741824 1073778376 140734760866992 139869199563152 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25917] ppid=25900 vsize=9824668 CPUtime=0.58 cores=0,2,4,6
/proc/25902/task/25917/stat : 25917 (java) R 25900 25902 24583 0 -1 4202560 5490 0 0 0 58 0 0 0 20 0 22 0 253539277 10060460032 25505 33554432000 1073741824 1073778376 140734760866992 139869198510776 270710923316 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25918] ppid=25900 vsize=9824668 CPUtime=0.71 cores=0,2,4,6
/proc/25902/task/25918/stat : 25918 (java) R 25900 25902 24583 0 -1 4202560 10184 0 0 0 69 2 0 0 20 0 22 0 253539277 10060460032 25505 33554432000 1073741824 1073778376 140734760866992 139869197457976 270710923701 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25919] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25919/stat : 25919 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539277 10060460032 25505 33554432000 1073741824 1073778376 140734760866992 139869196405880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25920] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25920/stat : 25920 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539277 10060460032 25505 33554432000 1073741824 1073778376 140734760866992 139869195353288 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25923] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25923/stat : 25923 (java) S 25900 25902 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253539303 10060460032 25505 33554432000 1073741824 1073778376 140734760866992 139869192193192 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9824668

[startup+3.1007 s]
/proc/loadavg: 3.57 3.41 3.09 4/219 25930
/proc/meminfo: memFree=26161868/32873648 swapFree=6856/6856
[pid=25902] ppid=25900 vsize=9824668 CPUtime=5.92 cores=0,2,4,6
/proc/25902/stat : 25902 (java) S 25900 25902 24583 0 -1 4202496 21441 0 1 0 582 10 0 0 20 0 22 0 253539270 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 140734760858128 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25902/statm: 2456167 39060 2279 9 0 2446860 0
[pid=25902/tid=25904] ppid=25900 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/25902/task/25904/stat : 25904 (java) S 25900 25902 24583 0 -1 4202560 2470 0 1 0 30 2 0 0 20 0 22 0 253539271 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869378704376 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25905] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25905/stat : 25905 (java) S 25900 25902 24583 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253539273 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869222287656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25906] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25906/stat : 25906 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539273 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869221234856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25907] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25907/stat : 25907 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539273 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869220182568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25908] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25908/stat : 25908 (java) S 25900 25902 24583 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 253539273 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869219129768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25909] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25909/stat : 25909 (java) S 25900 25902 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253539273 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869218077480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25910] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25910/stat : 25910 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539273 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869217024680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25911] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25911/stat : 25911 (java) S 25900 25902 24583 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253539273 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869215972392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25912] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25912/stat : 25912 (java) S 25900 25902 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253539273 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869214919592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25913] ppid=25900 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25902/task/25913/stat : 25913 (java) S 25900 25902 24583 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 253539274 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869202721000 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25914] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25914/stat : 25914 (java) S 25900 25902 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253539274 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869201667064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25915] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25915/stat : 25915 (java) S 25900 25902 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253539274 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869200614664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25916] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25916/stat : 25916 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539277 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869199563152 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25917] ppid=25900 vsize=9824668 CPUtime=0.85 cores=0,2,4,6
/proc/25902/task/25917/stat : 25917 (java) S 25900 25902 24583 0 -1 4202560 7311 0 0 0 84 1 0 0 20 0 22 0 253539277 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869198510776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25918] ppid=25900 vsize=9824668 CPUtime=1 cores=0,2,4,6
/proc/25902/task/25918/stat : 25918 (java) S 25900 25902 24583 0 -1 4202560 10256 0 0 0 98 2 0 0 20 0 22 0 253539277 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869197457976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25919] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25919/stat : 25919 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539277 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869196405880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25920] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25920/stat : 25920 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539277 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869195353288 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25923] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25923/stat : 25923 (java) S 25900 25902 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253539303 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869192193192 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25928] ppid=25900 vsize=9824668 CPUtime=1.66 cores=0,2,4,6
/proc/25902/task/25928/stat : 25928 (java) R 25900 25902 24583 0 -1 4202560 11 0 0 0 166 0 0 0 20 0 22 0 253539406 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869194298536 139869251580391 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25929] ppid=25900 vsize=9824668 CPUtime=1.67 cores=0,2,4,6
/proc/25902/task/25929/stat : 25929 (java) R 25900 25902 24583 0 -1 4202560 16 0 0 0 167 0 0 0 20 0 22 0 253539406 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869193245080 139869251311755 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25930] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25930/stat : 25930 (java) S 25900 25902 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253539407 10060460032 39060 33554432000 1073741824 1073778376 140734760866992 139869191140136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 9824668

[startup+6.30072 s]
/proc/loadavg: 3.60 3.42 3.10 5/219 25930
/proc/meminfo: memFree=25970044/32873648 swapFree=6856/6856
[pid=25902] ppid=25900 vsize=9824668 CPUtime=12.31 cores=0,2,4,6
/proc/25902/stat : 25902 (java) S 25900 25902 24583 0 -1 4202496 22288 0 1 0 1216 15 0 0 20 0 22 0 253539270 10060460032 65525 33554432000 1073741824 1073778376 140734760866992 140734760858128 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25902/statm: 2456167 65525 2279 9 0 2446860 0
[pid=25902/tid=25904] ppid=25900 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/25902/task/25904/stat : 25904 (java) S 25900 25902 24583 0 -1 4202560 2470 0 1 0 30 2 0 0 20 0 22 0 253539271 10060460032 65525 33554432000 1073741824 1073778376 140734760866992 139869378704376 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25905] ppid=25900 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25902/task/25905/stat : 25905 (java) S 25900 25902 24583 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 253539273 10060460032 65525 33554432000 1073741824 1073778376 140734760866992 139869222287656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25906] ppid=25900 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25902/task/25906/stat : 25906 (java) S 25900 25902 24583 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 253539273 10060460032 65525 33554432000 1073741824 1073778376 140734760866992 139869221234856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25907] ppid=25900 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25902/task/25907/stat : 25907 (java) S 25900 25902 24583 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 253539273 10060460032 65525 33554432000 1073741824 1073778376 140734760866992 139869220182568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25908] ppid=25900 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25902/task/25908/stat : 25908 (java) S 25900 25902 24583 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 22 0 253539273 10060460032 65525 33554432000 1073741824 1073778376 140734760866992 139869219129768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25909] ppid=25900 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25902/task/25909/stat : 25909 (java) S 25900 25902 24583 0 -1 4202560 83 0 0 0 1 0 0 0 20 0 22 0 253539273 10060460032 65525 33554432000 1073741824 1073778376 140734760866992 139869218077480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25910] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25910/stat : 25910 (java) S 25900 25902 24583 0 -1 4202560 133 0 0 0 0 0 0 0 20 0 22 0 253539273 10060460032 65525 33554432000 1073741824 1073778376 140734760866992 139869217024680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25911] ppid=25900 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25902/task/25911/stat : 25911 (java) S 25900 25902 24583 0 -1 4202560 167 0 0 0 3 1 0 0 20 0 22 0 253539273 10060460032 65525 33554432000 1073741824 1073778376 140734760866992 139869215972392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25912] ppid=25900 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25902/task/25912/stat : 25912 (java) S 25900 25902 24583 0 -1 4202560 151 0 0 0 3 0 0 0 20 0 22 0 253539273 10060460032 65525 33554432000 1073741824 1073778376 140734760866992 139869214919592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25913] ppid=25900 vsize=9824668 CPUtime=0.26 cores=0,2,4,6
/proc/25902/task/25913/stat : 25913 (java) S 25900 25902 24583 0 -1 4202560 56 0 0 0 26 0 0 0 20 0 22 0 253539274 10060460032 65525 33554432000 1073741824 1073778376 140734760866992 139869202721000 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25914] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25914/stat : 25914 (java) S 25900 25902 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253539274 10060460032 65525 33554432000 1073741824 1073778376 140734760866992 139869201667064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25915] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25915/stat : 25915 (java) S 25900 25902 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253539274 10060460032 65525 33554432000 1073741824 1073778376 140734760866992 139869200614664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25916] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25916/stat : 25916 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539277 10060460032 65525 33554432000 1073741824 1073778376 140734760866992 139869199563152 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25917] ppid=25900 vsize=9824668 CPUtime=0.93 cores=0,2,4,6
/proc/25902/task/25917/stat : 25917 (java) S 25900 25902 24583 0 -1 4202560 7551 0 0 0 91 2 0 0 20 0 22 0 253539277 10060460032 65525 33554432000 1073741824 1073778376 140734760866992 139869198510776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25918] ppid=25900 vsize=9824668 CPUtime=1.06 cores=0,2,4,6
/proc/25902/task/25918/stat : 25918 (java) S 25900 25902 24583 0 -1 4202560 10262 0 0 0 104 2 0 0 20 0 22 0 253539277 10060460032 65525 33554432000 1073741824 1073778376 140734760866992 139869197457976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25919] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25919/stat : 25919 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539277 10060460032 65525 33554432000 1073741824 1073778376 140734760866992 139869196405880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25920] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25920/stat : 25920 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539277 10060460032 65525 33554432000 1073741824 1073778376 140734760866992 139869195353288 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

/proc/25902/task/25917/stat : 25917 (java) S 25900 25902 24583 0 -1 4202560 7561 0 0 0 105 2 0 0 20 0 22 0 253539277 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869198510776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25918] ppid=25900 vsize=9824668 CPUtime=1.51 cores=0,2,4,6
/proc/25902/task/25918/stat : 25918 (java) S 25900 25902 24583 0 -1 4202560 10272 0 0 0 149 2 0 0 20 0 22 0 253539277 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869197457976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25919] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25919/stat : 25919 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539277 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869196405880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25920] ppid=25900 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/25902/task/25920/stat : 25920 (java) S 25900 25902 24583 0 -1 4202560 58 0 0 0 15 18 0 0 20 0 22 0 253539277 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869195353288 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25930] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25930/stat : 25930 (java) S 25900 25902 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253539407 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869191140136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=26029] ppid=25900 vsize=9824668 CPUtime=30.86 cores=0,2,4,6
/proc/25902/task/26029/stat : 26029 (java) S 25900 25902 24583 0 -1 4202560 3 0 0 0 3086 0 0 0 20 0 22 0 253635585 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869194298184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=26030] ppid=25900 vsize=9824668 CPUtime=30.86 cores=0,2,4,6
/proc/25902/task/26030/stat : 26030 (java) S 25900 25902 24583 0 -1 4202560 4 0 0 0 3086 0 0 0 20 0 22 0 253635585 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869193243512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=26031] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/26031/stat : 26031 (java) S 25900 25902 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253635585 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869192193704 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.79
Current children cumulated vsize (KiB) 9824668

[startup+1039.8 s]
/proc/loadavg: 3.48 3.59 3.45 4/220 26032
/proc/meminfo: memFree=23790344/32873648 swapFree=6856/6856
[pid=25902] ppid=25900 vsize=9824668 CPUtime=1801.59 cores=0,2,4,6
/proc/25902/stat : 25902 (java) S 25900 25902 24583 0 -1 4202496 34881 0 1 0 179975 184 0 0 20 0 22 0 253539270 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 140734760858128 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25902/statm: 2456167 580063 2281 9 0 2446860 0
[pid=25902/tid=25904] ppid=25900 vsize=9824668 CPUtime=0.4 cores=0,2,4,6
/proc/25902/task/25904/stat : 25904 (java) S 25900 25902 24583 0 -1 4202560 2627 0 1 0 38 2 0 0 20 0 22 0 253539271 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869378704088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25905] ppid=25900 vsize=9824668 CPUtime=4.29 cores=0,2,4,6
/proc/25902/task/25905/stat : 25905 (java) S 25900 25902 24583 0 -1 4202560 651 0 0 0 417 12 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869222287656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25906] ppid=25900 vsize=9824668 CPUtime=4.13 cores=0,2,4,6
/proc/25902/task/25906/stat : 25906 (java) S 25900 25902 24583 0 -1 4202560 671 0 0 0 402 11 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869221234856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25907] ppid=25900 vsize=9824668 CPUtime=4.57 cores=0,2,4,6
/proc/25902/task/25907/stat : 25907 (java) S 25900 25902 24583 0 -1 4202560 566 0 0 0 447 10 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869220182568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25908] ppid=25900 vsize=9824668 CPUtime=4.49 cores=0,2,4,6
/proc/25902/task/25908/stat : 25908 (java) S 25900 25902 24583 0 -1 4202560 687 0 0 0 437 12 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869219129768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25909] ppid=25900 vsize=9824668 CPUtime=4.06 cores=0,2,4,6
/proc/25902/task/25909/stat : 25909 (java) S 25900 25902 24583 0 -1 4202560 489 0 0 0 396 10 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869218077480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25910] ppid=25900 vsize=9824668 CPUtime=4.13 cores=0,2,4,6
/proc/25902/task/25910/stat : 25910 (java) S 25900 25902 24583 0 -1 4202560 693 0 0 0 404 9 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869217024680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25911] ppid=25900 vsize=9824668 CPUtime=4.32 cores=0,2,4,6
/proc/25902/task/25911/stat : 25911 (java) S 25900 25902 24583 0 -1 4202560 1051 0 0 0 418 14 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869215972392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25912] ppid=25900 vsize=9824668 CPUtime=4.17 cores=0,2,4,6
/proc/25902/task/25912/stat : 25912 (java) S 25900 25902 24583 0 -1 4202560 1273 0 0 0 405 12 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869214919592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25913] ppid=25900 vsize=9824668 CPUtime=290.54 cores=0,2,4,6
/proc/25902/task/25913/stat : 25913 (java) R 25900 25902 24583 0 -1 4202560 6492 0 0 0 29018 36 0 0 20 0 22 0 253539274 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869202719848 139869385558097 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25914] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25914/stat : 25914 (java) S 25900 25902 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253539274 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869201667064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25915] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25915/stat : 25915 (java) S 25900 25902 24583 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253539274 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869200614664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25916] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25916/stat : 25916 (java) S 25900 25902 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253539277 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869199562696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25917] ppid=25900 vsize=9824668 CPUtime=1.07 cores=0,2,4,6
/proc/25902/task/25917/stat : 25917 (java) S 25900 25902 24583 0 -1 4202560 7561 0 0 0 105 2 0 0 20 0 22 0 253539277 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869198510776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25918] ppid=25900 vsize=9824668 CPUtime=1.51 cores=0,2,4,6
/proc/25902/task/25918/stat : 25918 (java) S 25900 25902 24583 0 -1 4202560 10272 0 0 0 149 2 0 0 20 0 22 0 253539277 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869197457976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25919] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25919/stat : 25919 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539277 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869196405880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25920] ppid=25900 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/25902/task/25920/stat : 25920 (java) S 25900 25902 24583 0 -1 4202560 58 0 0 0 15 18 0 0 20 0 22 0 253539277 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869195353288 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25930] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25930/stat : 25930 (java) S 25900 25902 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253539407 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869191140136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=26029] ppid=25900 vsize=9824668 CPUtime=30.86 cores=0,2,4,6
/proc/25902/task/26029/stat : 26029 (java) S 25900 25902 24583 0 -1 4202560 3 0 0 0 3086 0 0 0 20 0 22 0 253635585 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869194298184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=26030] ppid=25900 vsize=9824668 CPUtime=30.86 cores=0,2,4,6
/proc/25902/task/26030/stat : 26030 (java) S 25900 25902 24583 0 -1 4202560 4 0 0 0 3086 0 0 0 20 0 22 0 253635585 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869193243512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=26031] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/26031/stat : 26031 (java) S 25900 25902 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253635585 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869192193704 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.59
Current children cumulated vsize (KiB) 9824668

[startup+1040.2 s]
/proc/loadavg: 3.48 3.59 3.45 4/220 26032
/proc/meminfo: memFree=23790344/32873648 swapFree=6856/6856
[pid=25902] ppid=25900 vsize=9824668 CPUtime=1801.99 cores=0,2,4,6
/proc/25902/stat : 25902 (java) S 25900 25902 24583 0 -1 4202496 34881 0 1 0 180015 184 0 0 20 0 22 0 253539270 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 140734760858128 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25902/statm: 2456167 580063 2281 9 0 2446860 0
[pid=25902/tid=25904] ppid=25900 vsize=9824668 CPUtime=0.4 cores=0,2,4,6
/proc/25902/task/25904/stat : 25904 (java) S 25900 25902 24583 0 -1 4202560 2627 0 1 0 38 2 0 0 20 0 22 0 253539271 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869378704088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25905] ppid=25900 vsize=9824668 CPUtime=4.29 cores=0,2,4,6
/proc/25902/task/25905/stat : 25905 (java) S 25900 25902 24583 0 -1 4202560 651 0 0 0 417 12 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869222287656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25906] ppid=25900 vsize=9824668 CPUtime=4.13 cores=0,2,4,6
/proc/25902/task/25906/stat : 25906 (java) S 25900 25902 24583 0 -1 4202560 671 0 0 0 402 11 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869221234856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25907] ppid=25900 vsize=9824668 CPUtime=4.57 cores=0,2,4,6
/proc/25902/task/25907/stat : 25907 (java) S 25900 25902 24583 0 -1 4202560 566 0 0 0 447 10 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869220182568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25908] ppid=25900 vsize=9824668 CPUtime=4.49 cores=0,2,4,6
/proc/25902/task/25908/stat : 25908 (java) S 25900 25902 24583 0 -1 4202560 687 0 0 0 437 12 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869219129768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25909] ppid=25900 vsize=9824668 CPUtime=4.06 cores=0,2,4,6
/proc/25902/task/25909/stat : 25909 (java) S 25900 25902 24583 0 -1 4202560 489 0 0 0 396 10 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869218077480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25910] ppid=25900 vsize=9824668 CPUtime=4.13 cores=0,2,4,6
/proc/25902/task/25910/stat : 25910 (java) S 25900 25902 24583 0 -1 4202560 693 0 0 0 404 9 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869217024680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25911] ppid=25900 vsize=9824668 CPUtime=4.32 cores=0,2,4,6
/proc/25902/task/25911/stat : 25911 (java) S 25900 25902 24583 0 -1 4202560 1051 0 0 0 418 14 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869215972392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25912] ppid=25900 vsize=9824668 CPUtime=4.17 cores=0,2,4,6
/proc/25902/task/25912/stat : 25912 (java) S 25900 25902 24583 0 -1 4202560 1273 0 0 0 405 12 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869214919592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25913] ppid=25900 vsize=9824668 CPUtime=290.94 cores=0,2,4,6
/proc/25902/task/25913/stat : 25913 (java) R 25900 25902 24583 0 -1 4202560 6492 0 0 0 29058 36 0 0 20 0 22 0 253539274 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869202719848 139869385211943 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25914] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25914/stat : 25914 (java) S 25900 25902 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253539274 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869201667064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25915] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25915/stat : 25915 (java) S 25900 25902 24583 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253539274 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869200614664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25916] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25916/stat : 25916 (java) S 25900 25902 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253539277 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869199562696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25917] ppid=25900 vsize=9824668 CPUtime=1.07 cores=0,2,4,6
/proc/25902/task/25917/stat : 25917 (java) S 25900 25902 24583 0 -1 4202560 7561 0 0 0 105 2 0 0 20 0 22 0 253539277 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869198510776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25918] ppid=25900 vsize=9824668 CPUtime=1.51 cores=0,2,4,6
/proc/25902/task/25918/stat : 25918 (java) S 25900 25902 24583 0 -1 4202560 10272 0 0 0 149 2 0 0 20 0 22 0 253539277 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869197457976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25919] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25919/stat : 25919 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539277 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869196405880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25920] ppid=25900 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/25902/task/25920/stat : 25920 (java) S 25900 25902 24583 0 -1 4202560 58 0 0 0 15 18 0 0 20 0 22 0 253539277 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869195353288 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25930] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25930/stat : 25930 (java) S 25900 25902 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253539407 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869191140136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=26029] ppid=25900 vsize=9824668 CPUtime=30.86 cores=0,2,4,6
/proc/25902/task/26029/stat : 26029 (java) S 25900 25902 24583 0 -1 4202560 3 0 0 0 3086 0 0 0 20 0 22 0 253635585 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869194298184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=26030] ppid=25900 vsize=9824668 CPUtime=30.86 cores=0,2,4,6
/proc/25902/task/26030/stat : 26030 (java) S 25900 25902 24583 0 -1 4202560 4 0 0 0 3086 0 0 0 20 0 22 0 253635585 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869193243512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=26031] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/26031/stat : 26031 (java) S 25900 25902 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253635585 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869192193704 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.99
Current children cumulated vsize (KiB) 9824668

[startup+1040.3 s]
/proc/loadavg: 3.48 3.59 3.45 4/220 26032
/proc/meminfo: memFree=23790344/32873648 swapFree=6856/6856
[pid=25902] ppid=25900 vsize=9824668 CPUtime=1802.09 cores=0,2,4,6
/proc/25902/stat : 25902 (java) S 25900 25902 24583 0 -1 4202496 34881 0 1 0 180025 184 0 0 20 0 22 0 253539270 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 140734760858128 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25902/statm: 2456167 580063 2281 9 0 2446860 0
[pid=25902/tid=25904] ppid=25900 vsize=9824668 CPUtime=0.4 cores=0,2,4,6
/proc/25902/task/25904/stat : 25904 (java) S 25900 25902 24583 0 -1 4202560 2627 0 1 0 38 2 0 0 20 0 22 0 253539271 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869378704088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25905] ppid=25900 vsize=9824668 CPUtime=4.29 cores=0,2,4,6
/proc/25902/task/25905/stat : 25905 (java) S 25900 25902 24583 0 -1 4202560 651 0 0 0 417 12 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869222287656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25906] ppid=25900 vsize=9824668 CPUtime=4.13 cores=0,2,4,6
/proc/25902/task/25906/stat : 25906 (java) S 25900 25902 24583 0 -1 4202560 671 0 0 0 402 11 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869221234856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25907] ppid=25900 vsize=9824668 CPUtime=4.57 cores=0,2,4,6
/proc/25902/task/25907/stat : 25907 (java) S 25900 25902 24583 0 -1 4202560 566 0 0 0 447 10 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869220182568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25908] ppid=25900 vsize=9824668 CPUtime=4.49 cores=0,2,4,6
/proc/25902/task/25908/stat : 25908 (java) S 25900 25902 24583 0 -1 4202560 687 0 0 0 437 12 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869219129768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25909] ppid=25900 vsize=9824668 CPUtime=4.06 cores=0,2,4,6
/proc/25902/task/25909/stat : 25909 (java) S 25900 25902 24583 0 -1 4202560 489 0 0 0 396 10 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869218077480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25910] ppid=25900 vsize=9824668 CPUtime=4.13 cores=0,2,4,6
/proc/25902/task/25910/stat : 25910 (java) S 25900 25902 24583 0 -1 4202560 693 0 0 0 404 9 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869217024680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25911] ppid=25900 vsize=9824668 CPUtime=4.32 cores=0,2,4,6
/proc/25902/task/25911/stat : 25911 (java) S 25900 25902 24583 0 -1 4202560 1051 0 0 0 418 14 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869215972392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25912] ppid=25900 vsize=9824668 CPUtime=4.17 cores=0,2,4,6
/proc/25902/task/25912/stat : 25912 (java) S 25900 25902 24583 0 -1 4202560 1273 0 0 0 405 12 0 0 20 0 22 0 253539273 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869214919592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25913] ppid=25900 vsize=9824668 CPUtime=291.04 cores=0,2,4,6
/proc/25902/task/25913/stat : 25913 (java) R 25900 25902 24583 0 -1 4202560 6492 0 0 0 29068 36 0 0 20 0 22 0 253539274 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869202719848 139869385559316 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25914] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25914/stat : 25914 (java) S 25900 25902 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253539274 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869201667064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25915] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25915/stat : 25915 (java) S 25900 25902 24583 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253539274 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869200614664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25916] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25916/stat : 25916 (java) S 25900 25902 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253539277 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869199562696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=25917] ppid=25900 vsize=9824668 CPUtime=1.07 cores=0,2,4,6
/proc/25902/task/25917/stat : 25917 (java) S 25900 25902 24583 0 -1 4202560 7561 0 0 0 105 2 0 0 20 0 22 0 253539277 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869198510776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25918] ppid=25900 vsize=9824668 CPUtime=1.51 cores=0,2,4,6
/proc/25902/task/25918/stat : 25918 (java) S 25900 25902 24583 0 -1 4202560 10272 0 0 0 149 2 0 0 20 0 22 0 253539277 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869197457976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=25919] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25919/stat : 25919 (java) S 25900 25902 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253539277 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869196405880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=25920] ppid=25900 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/25902/task/25920/stat : 25920 (java) S 25900 25902 24583 0 -1 4202560 58 0 0 0 15 18 0 0 20 0 22 0 253539277 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869195353288 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25902/tid=25930] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/25930/stat : 25930 (java) S 25900 25902 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253539407 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869191140136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25902/tid=26029] ppid=25900 vsize=9824668 CPUtime=30.86 cores=0,2,4,6
/proc/25902/task/26029/stat : 26029 (java) S 25900 25902 24583 0 -1 4202560 3 0 0 0 3086 0 0 0 20 0 22 0 253635585 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869194298184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25902/tid=26030] ppid=25900 vsize=9824668 CPUtime=30.86 cores=0,2,4,6
/proc/25902/task/26030/stat : 26030 (java) S 25900 25902 24583 0 -1 4202560 4 0 0 0 3086 0 0 0 20 0 22 0 253635585 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869193243512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25902/tid=26031] ppid=25900 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25902/task/26031/stat : 26031 (java) S 25900 25902 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253635585 10060460032 580063 33554432000 1073741824 1073778376 140734760866992 139869192193704 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 9824668

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1040.33
CPU time (s): 1802.33
CPU user time (s): 1800.27
CPU system time (s): 2.06369
CPU usage (%): 173.245
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.27
system time used= 2.06369
maximum resident set size= 2347324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34881
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31220
involuntary context switches= 55194

runsolver used 4.12137 second user time and 8.09777 second system time

The end

Launcher Data 

Begin job on node125 at 2012-05-24 17:42:18
IDJOB=3687858
IDBENCH=2234
IDSOLVER=2268
FILE ID=node125/3687858-1337874138
RUNJOBID= node125-1337871881-24599
PBS_JOBID= 14620079
Free space on /tmp= 71700 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687858-1337874138/watcher-3687858-1337874138 -o /tmp/evaluation-result-3687858-1337874138/solver-3687858-1337874138 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687858-1337874138.opb

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

MD5SUM BENCH= 4e682317a6045f4869b1783c80734344
RANDOM SEED=1755138457

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.373
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.90
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.373
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.373
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	: 5438.54
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.373
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.373
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:        26280292 kB
Buffers:          200392 kB
Cached:          2193624 kB
SwapCached:            0 kB
Active:          4028604 kB
Inactive:        1795624 kB
Active(anon):    3431172 kB
Inactive(anon):     1468 kB
Active(file):     597432 kB
Inactive(file):  1794156 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               432 kB
Writeback:             0 kB
AnonPages:       3437256 kB
Mapped:            22540 kB
Shmem:               200 kB
Slab:             627120 kB
SReclaimable:      71172 kB
SUnreclaim:       555948 kB
KernelStack:        1616 kB
PageTables:        10972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    4055444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3358720 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= 71700 MiB
End job on node125 at 2012-05-24 17:59:39