Trace number 3687752

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.01 1092.23

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-rot.b.opb
MD5SUM82ceb454755e01aa6cecb68eb859eaa6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark115
Best CPU time to get the best result obtained on this benchmark1.12483
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 116
Optimality of the best value was proved NO
Number of variables1451
Total number of constraints2932
Number of constraints which are clauses2932
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 constraint81
Number of terms in the objective function 1451
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 1451
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1451
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c c --- End Solver configuration ---
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3687752-1337873833.opb
0.10/0.12	c reading problem ... 
0.54/0.39	c ... done. Wall clock time 0.263s.
0.54/0.39	c declared #vars     1451
0.54/0.39	c #constraints  2745
0.54/0.39	c constraints type 
0.54/0.39	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2673
0.54/0.39	c ignored satisfied constraints => 187
0.54/0.39	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 49
0.54/0.39	c org.sat4j.minisat.constraints.cnf.UnitClause => 23
0.54/0.39	c 2932 constraints processed.
0.54/0.39	c constraints type 
0.54/0.39	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 49
0.54/0.39	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2673
0.54/0.39	c ignored satisfied constraints => 187
0.54/0.39	c org.sat4j.pb.constraints.pb.UnitClausePB => 23
0.54/0.39	c 2932 constraints processed.
0.54/0.39	c objective function length is 1451 literals
0.72/0.43	c  And the winner is solver0
0.87/0.89	c SATISFIABLE
0.87/0.89	c OPTIMIZING...
0.87/0.89	c Got one! Elapsed wall clock time (in seconds):0.768
0.87/0.89	o 162
1.66/1.13	c  And the winner is solver0
1.85/1.40	c Got one! Elapsed wall clock time (in seconds):1.277
1.85/1.40	o 161
2.45/1.64	c  And the winner is solver1
2.55/1.91	c Got one! Elapsed wall clock time (in seconds):1.783
2.55/1.91	o 160
3.40/2.37	c  And the winner is solver1
3.56/2.41	c Got one! Elapsed wall clock time (in seconds):2.289
3.56/2.41	o 159
3.75/2.58	c cleaning 3222 clauses out of 6450 with flag 1000/6450
4.58/2.97	c  And the winner is solver1
4.74/3.42	c Got one! Elapsed wall clock time (in seconds):3.292
4.74/3.42	o 158
5.59/3.86	c cleaning 4282 clauses out of 8563 with flag 3000/11785
5.96/4.05	c  And the winner is solver1
6.07/4.42	c Got one! Elapsed wall clock time (in seconds):4.295
6.07/4.42	o 157
7.04/4.92	c  And the winner is solver1
7.04/4.92	c Got one! Elapsed wall clock time (in seconds):4.797
7.04/4.92	o 156
7.66/5.21	c cleaning 5493 clauses out of 10999 with flag 2000/18503
8.23/5.54	c  And the winner is solver1
8.35/5.92	c Got one! Elapsed wall clock time (in seconds):5.799
8.35/5.92	o 155
9.54/6.52	c cleaning 5705 clauses out of 11419 with flag 4000/24416
11.49/7.58	c cleaning 5852 clauses out of 11714 with flag 10000/30416
13.89/8.78	c cleaning 6431 clauses out of 12862 with flag 17000/37416
16.67/10.15	c cleaning 7207 clauses out of 14431 with flag 25000/45416
19.81/11.75	c cleaning 8096 clauses out of 16224 with flag 34000/54416
23.69/13.70	c cleaning 9060 clauses out of 18128 with flag 44000/64416
27.60/15.75	c cleaning 10034 clauses out of 20068 with flag 55000/75416
31.89/18.00	c cleaning 11007 clauses out of 22034 with flag 67000/87416
36.92/20.50	c cleaning 12016 clauses out of 24031 with flag 80004/100420
42.44/23.46	c cleaning 12996 clauses out of 26011 with flag 94000/114416
48.30/26.47	c cleaning 14007 clauses out of 28017 with flag 109002/129418
54.48/29.63	c cleaning 14999 clauses out of 30008 with flag 125000/145416
61.26/33.12	c cleaning 15995 clauses out of 32010 with flag 142001/162417
68.03/36.75	c cleaning 17000 clauses out of 34016 with flag 160002/180418
75.12/40.45	c cleaning 17997 clauses out of 36014 with flag 179000/199416
82.72/44.38	c cleaning 18997 clauses out of 38017 with flag 199000/219416
90.80/48.54	c cleaning 19995 clauses out of 40020 with flag 220000/240416
99.27/53.06	c cleaning 21002 clauses out of 42025 with flag 242000/262416
108.59/57.81	c cleaning 22010 clauses out of 44024 with flag 265001/285417
118.50/62.98	c cleaning 22982 clauses out of 46013 with flag 289000/309416
128.76/68.22	c cleaning 23994 clauses out of 48034 with flag 314003/334419
139.10/73.73	c cleaning 25016 clauses out of 50037 with flag 340000/360416
149.47/79.19	c cleaning 26003 clauses out of 52021 with flag 367000/387416
160.98/85.17	c cleaning 27003 clauses out of 54021 with flag 395003/415419
172.06/90.99	c cleaning 28006 clauses out of 56024 with flag 424009/444425
183.97/97.36	c cleaning 28993 clauses out of 58010 with flag 454001/474417
195.65/103.48	c cleaning 30002 clauses out of 60017 with flag 485001/505417
203.46/107.67	c  And the winner is solver1
203.17/108.14	c Got one! Elapsed wall clock time (in seconds):108.014
203.17/108.14	o 154
204.69/108.97	c cleaning 26986 clauses out of 53981 with flag 5000/529383
207.73/110.92	c cleaning 16498 clauses out of 32995 with flag 11000/535383
211.05/113.12	c cleaning 11741 clauses out of 23498 with flag 18001/542384
214.14/115.09	c cleaning 9867 clauses out of 19757 with flag 26001/550384
218.03/117.31	c cleaning 9441 clauses out of 18889 with flag 35000/559383
222.28/119.84	c cleaning 9720 clauses out of 19449 with flag 45001/569384
227.23/122.91	c cleaning 10350 clauses out of 20730 with flag 56002/580385
231.86/125.69	c cleaning 11176 clauses out of 22378 with flag 68000/592383
237.29/128.73	c cleaning 12102 clauses out of 24203 with flag 81001/605384
239.23/130.13	c  And the winner is solver1
239.25/130.57	c Got one! Elapsed wall clock time (in seconds):130.448
239.25/130.57	o 153
239.71/130.84	c cleaning 8629 clauses out of 17264 with flag 2000/610547
242.76/133.08	c cleaning 7307 clauses out of 14635 with flag 8000/616547
245.74/134.95	c cleaning 7158 clauses out of 14328 with flag 15000/623547
249.16/137.06	c cleaning 7582 clauses out of 15170 with flag 23000/631547
253.07/139.40	c cleaning 8283 clauses out of 16589 with flag 32001/640548
257.87/142.54	c cleaning 9141 clauses out of 18307 with flag 42002/650549
262.36/145.25	c cleaning 10084 clauses out of 20168 with flag 53004/661551
263.42/146.29	c  And the winner is solver1
263.55/146.69	c Got one! Elapsed wall clock time (in seconds):146.565
263.55/146.69	o 152
264.77/147.38	c cleaning 7882 clauses out of 15789 with flag 5003/667256
267.63/149.21	c cleaning 6942 clauses out of 13904 with flag 11000/673253
271.17/151.77	c cleaning 6976 clauses out of 13965 with flag 18003/680256
274.65/153.95	c cleaning 7490 clauses out of 14987 with flag 26001/688254
278.50/156.32	c cleaning 8233 clauses out of 16496 with flag 35000/697253
282.73/158.97	c cleaning 9112 clauses out of 18263 with flag 45000/707253
288.06/162.40	c cleaning 10071 clauses out of 20151 with flag 56000/718253
292.85/165.38	c cleaning 11037 clauses out of 22080 with flag 68000/730253
298.45/168.63	c cleaning 11998 clauses out of 24043 with flag 81000/743253
304.22/172.05	c cleaning 13013 clauses out of 26046 with flag 95001/757254
311.09/176.31	c cleaning 14014 clauses out of 28032 with flag 110000/772253
317.25/179.91	c cleaning 15001 clauses out of 30020 with flag 126002/788255
323.97/183.82	c cleaning 15999 clauses out of 32017 with flag 143000/805253
331.69/188.23	c cleaning 16999 clauses out of 34018 with flag 161000/823253
340.05/193.33	c cleaning 18008 clauses out of 36020 with flag 180001/842254
348.70/198.24	c cleaning 19004 clauses out of 38011 with flag 200000/862253
358.58/204.45	c cleaning 19995 clauses out of 40007 with flag 221000/883253
370.82/211.87	c cleaning 20994 clauses out of 42012 with flag 243000/905253
380.33/217.01	c cleaning 22007 clauses out of 44019 with flag 266001/928254
390.18/222.50	c cleaning 23006 clauses out of 46012 with flag 290001/952254
401.46/228.99	c cleaning 24002 clauses out of 48007 with flag 315002/977255
413.03/235.24	c cleaning 24991 clauses out of 50003 with flag 341000/1003253
424.92/241.74	c cleaning 26000 clauses out of 52012 with flag 368000/1030253
436.79/248.22	c cleaning 26999 clauses out of 54012 with flag 396000/1058253
451.77/256.72	c cleaning 27997 clauses out of 56017 with flag 425004/1087257
465.56/264.21	c cleaning 29004 clauses out of 58019 with flag 455003/1117256
478.99/271.58	c cleaning 29994 clauses out of 60014 with flag 486002/1148255
493.01/279.11	c cleaning 30996 clauses out of 62022 with flag 518004/1180257
509.05/288.22	c cleaning 31999 clauses out of 64024 with flag 551002/1213255
524.35/296.55	c cleaning 32996 clauses out of 66023 with flag 585000/1247253
537.63/303.83	c cleaning 34011 clauses out of 68027 with flag 620000/1282253
551.35/311.36	c cleaning 35009 clauses out of 70018 with flag 656002/1318255
566.50/320.09	c cleaning 35986 clauses out of 72008 with flag 693001/1355254
580.20/327.50	c cleaning 0 clauses out of 7138 with flag 0/7139
584.53/330.28	c cleaning 36991 clauses out of 74021 with flag 731000/1393253
602.11/339.75	c cleaning 38006 clauses out of 76030 with flag 770000/1432253
620.78/350.20	c cleaning 39006 clauses out of 78024 with flag 810000/1472253
638.87/360.01	c cleaning 40010 clauses out of 80019 with flag 851001/1513254
656.70/369.71	c cleaning 41004 clauses out of 82009 with flag 893001/1555254
675.71/380.10	c cleaning 41997 clauses out of 84004 with flag 936000/1598253
691.90/389.42	c  And the winner is solver1
691.04/389.82	c Got one! Elapsed wall clock time (in seconds):389.701
691.04/389.82	o 151
692.98/390.80	c cleaning 41721 clauses out of 83449 with flag 5002/1639695
696.72/393.59	c cleaning 23858 clauses out of 47726 with flag 11000/1645693
700.86/396.48	c cleaning 15420 clauses out of 30868 with flag 18000/1652693
705.19/399.48	c cleaning 11718 clauses out of 23448 with flag 26000/1660693
711.11/403.73	c cleaning 10338 clauses out of 20730 with flag 35000/1669693
715.95/406.93	c cleaning 10182 clauses out of 20392 with flag 45000/1679693
721.38/410.50	c cleaning 10605 clauses out of 21213 with flag 56003/1690696
727.20/414.12	c cleaning 11279 clauses out of 22605 with flag 68000/1702693
734.11/418.93	c cleaning 12157 clauses out of 24326 with flag 81000/1715693
740.33/422.84	c cleaning 13083 clauses out of 26169 with flag 95000/1729693
747.15/427.02	c cleaning 14030 clauses out of 28086 with flag 110000/1744693
754.36/431.41	c cleaning 15019 clauses out of 30059 with flag 126003/1760696
762.89/437.09	c cleaning 16014 clauses out of 32041 with flag 143004/1777697
770.88/441.86	c cleaning 17010 clauses out of 34025 with flag 161002/1795695
779.24/446.84	c cleaning 18007 clauses out of 36013 with flag 180000/1814693
787.80/451.91	c cleaning 19002 clauses out of 38009 with flag 200003/1834696
798.08/458.47	c cleaning 19997 clauses out of 40004 with flag 221000/1855693
808.24/464.37	c cleaning 20980 clauses out of 42011 with flag 243004/1877697
818.97/470.52	c cleaning 21985 clauses out of 44027 with flag 266000/1900693
830.53/477.21	c cleaning 23017 clauses out of 46045 with flag 290003/1924696
843.68/485.33	c cleaning 24008 clauses out of 48025 with flag 315000/1949693
855.73/492.23	c cleaning 24988 clauses out of 50018 with flag 341001/1975694
867.84/499.15	c cleaning 26013 clauses out of 52029 with flag 368000/2002693
880.27/506.22	c cleaning 26994 clauses out of 54018 with flag 396002/2030695
893.10/514.11	c cleaning 28002 clauses out of 56022 with flag 425000/2059693
906.19/521.68	c cleaning 29004 clauses out of 58020 with flag 455000/2089693
919.48/529.25	c cleaning 30003 clauses out of 60016 with flag 486000/2120693
934.07/537.48	c cleaning 31005 clauses out of 62015 with flag 518002/2152695
949.34/546.66	c cleaning 32000 clauses out of 64009 with flag 551001/2185694
964.71/555.27	c cleaning 33004 clauses out of 66011 with flag 585003/2219696
979.39/563.52	c cleaning 33999 clauses out of 68005 with flag 620001/2254694
996.26/572.99	c cleaning 34989 clauses out of 70006 with flag 656001/2290694
1013.51/583.22	c cleaning 35997 clauses out of 72016 with flag 693000/2327693
1028.98/591.92	c cleaning 36999 clauses out of 74019 with flag 731000/2365693
1048.21/603.71	c cleaning 38012 clauses out of 76023 with flag 770003/2404696
1066.72/614.61	c cleaning 38996 clauses out of 78008 with flag 810000/2444693
1086.03/625.24	c cleaning 39989 clauses out of 80012 with flag 851000/2485693
1100.02/633.27	c  And the winner is solver1
1099.42/633.45	c Got one! Elapsed wall clock time (in seconds):633.329
1099.42/633.45	o 150
1100.90/634.26	c cleaning 37955 clauses out of 75912 with flag 5000/2521582
1105.24/637.40	c cleaning 21975 clauses out of 43957 with flag 11000/2527582
1111.40/642.31	c cleaning 14467 clauses out of 28982 with flag 18000/2534582
1116.18/645.81	c cleaning 11242 clauses out of 22515 with flag 26000/2542582
1121.15/649.47	c cleaning 10122 clauses out of 20273 with flag 35000/2551582
1126.66/653.29	c cleaning 10072 clauses out of 20151 with flag 45000/2561582
1134.15/658.88	c cleaning 10540 clauses out of 21080 with flag 56001/2572583
1140.69/663.24	c cleaning 11271 clauses out of 22544 with flag 68005/2584587
1147.68/667.81	c cleaning 12124 clauses out of 24269 with flag 81001/2597583
1154.79/672.45	c cleaning 13051 clauses out of 26144 with flag 95000/2611582
1163.89/678.79	c cleaning 14041 clauses out of 28099 with flag 110006/2626588
1172.00/683.82	c cleaning 15027 clauses out of 30053 with flag 126001/2642583
1180.29/689.08	c cleaning 16010 clauses out of 32025 with flag 143000/2659582
1188.76/694.35	c cleaning 16998 clauses out of 34015 with flag 161000/2677582
1199.00/701.29	c cleaning 18008 clauses out of 36018 with flag 180001/2696583
1208.03/706.88	c cleaning 19005 clauses out of 38009 with flag 200000/2716582
1217.94/712.96	c cleaning 20001 clauses out of 40005 with flag 221001/2737583
1227.92/719.01	c cleaning 20996 clauses out of 42004 with flag 243001/2759583
1239.94/727.02	c cleaning 21997 clauses out of 44008 with flag 266001/2782583
1251.12/733.73	c cleaning 23006 clauses out of 46011 with flag 290001/2806583
1262.50/740.50	c cleaning 23986 clauses out of 48005 with flag 315001/2831583
1274.12/747.46	c cleaning 25001 clauses out of 50019 with flag 341001/2857583
1288.19/756.36	c cleaning 25971 clauses out of 52017 with flag 368000/2884582
1302.01/764.34	c cleaning 27023 clauses out of 54046 with flag 396000/2912582
1314.78/771.98	c cleaning 27976 clauses out of 56023 with flag 425000/2941582
1318.48/774.97	c  And the winner is solver1
1318.26/775.40	c Got one! Elapsed wall clock time (in seconds):775.28
1318.26/775.40	o 149
1318.89/775.71	c cleaning 16749 clauses out of 33503 with flag 2002/2947038
1324.51/780.49	c cleaning 11362 clauses out of 22752 with flag 8000/2953036
1329.25/783.98	c cleaning 9195 clauses out of 18391 with flag 15001/2960037
1334.41/787.65	c cleaning 8587 clauses out of 17196 with flag 23001/2968037
1339.90/791.51	c cleaning 8790 clauses out of 17608 with flag 32000/2977036
1347.07/797.01	c cleaning 9396 clauses out of 18819 with flag 42001/2987037
1352.95/801.11	c cleaning 10202 clauses out of 20422 with flag 53000/2998036
1359.43/805.52	c cleaning 11100 clauses out of 22220 with flag 65000/3010036
1366.27/810.13	c cleaning 12047 clauses out of 24120 with flag 78000/3023036
1374.80/816.38	c cleaning 13013 clauses out of 26073 with flag 92000/3037036
1382.48/821.35	c cleaning 14032 clauses out of 28064 with flag 107004/3052040
1390.77/826.75	c cleaning 15002 clauses out of 30029 with flag 123001/3068037
1399.20/832.15	c cleaning 16007 clauses out of 32026 with flag 140000/3085036
1409.50/839.23	c cleaning 17005 clauses out of 34019 with flag 158000/3103036
1418.33/844.90	c cleaning 17989 clauses out of 36014 with flag 177000/3122036
1427.94/850.88	c cleaning 18999 clauses out of 38025 with flag 197000/3142036
1438.16/857.21	c cleaning 19995 clauses out of 40031 with flag 218005/3163041
1450.05/865.25	c cleaning 21009 clauses out of 42031 with flag 240000/3185036
1460.84/871.92	c cleaning 22005 clauses out of 44026 with flag 263004/3208040
1471.79/878.79	c cleaning 23009 clauses out of 46017 with flag 287000/3232036
1483.92/886.12	c cleaning 23992 clauses out of 48008 with flag 312000/3257036
1497.05/894.79	c cleaning 25008 clauses out of 50017 with flag 338001/3283037
1509.53/902.22	c cleaning 26002 clauses out of 52008 with flag 365000/3310036
1513.60/905.69	c cleaning 0 clauses out of 12815 with flag 0/12816
1525.28/912.80	c cleaning 26985 clauses out of 54006 with flag 393000/3338036
1540.51/922.75	c cleaning 28001 clauses out of 56022 with flag 422001/3367037
1554.17/931.00	c cleaning 29005 clauses out of 58020 with flag 452000/3397036
1568.20/939.33	c cleaning 29996 clauses out of 60015 with flag 483000/3428036
1582.97/948.17	c cleaning 30992 clauses out of 62019 with flag 515000/3460036
1600.53/959.33	c cleaning 31999 clauses out of 64028 with flag 548001/3493037
1619.17/970.04	c cleaning 33011 clauses out of 66028 with flag 582000/3527036
1635.46/979.49	c cleaning 33983 clauses out of 68017 with flag 617000/3562036
1652.25/989.14	c cleaning 35005 clauses out of 70034 with flag 653000/3598036
1671.78/1001.19	c cleaning 36004 clauses out of 72029 with flag 690000/3635036
1679.70/1006.41	c  And the winner is solver1
1679.12/1006.53	c Got one! Elapsed wall clock time (in seconds):1006.411
1679.12/1006.53	o 148
1680.63/1007.34	c cleaning 27503 clauses out of 55005 with flag 5000/3654016
1685.33/1011.08	c cleaning 16752 clauses out of 33504 with flag 11002/3660018
1690.41/1014.97	c cleaning 11870 clauses out of 23750 with flag 18000/3667016
1697.78/1020.91	c cleaning 9940 clauses out of 19880 with flag 26000/3675016
1703.26/1025.09	c cleaning 9463 clauses out of 18940 with flag 35000/3684016
1709.33/1029.49	c cleaning 9726 clauses out of 19477 with flag 45000/3694016
1715.83/1034.04	c cleaning 10369 clauses out of 20751 with flag 56000/3705016
1724.54/1040.64	c cleaning 11189 clauses out of 22382 with flag 68000/3717016
1731.79/1045.62	c cleaning 12087 clauses out of 24195 with flag 81002/3730018
1739.25/1050.76	c cleaning 13049 clauses out of 26106 with flag 95000/3744016
1747.50/1056.35	c cleaning 14026 clauses out of 28057 with flag 110000/3759016
1757.54/1063.61	c cleaning 15009 clauses out of 30031 with flag 126000/3775016
1766.21/1069.35	c cleaning 15985 clauses out of 32022 with flag 143000/3792016
1775.87/1075.60	c cleaning 17010 clauses out of 34038 with flag 161001/3810017
1785.51/1081.81	c cleaning 18011 clauses out of 36027 with flag 180000/3829016
1797.03/1089.90	c cleaning 19001 clauses out of 38018 with flag 200002/3849018

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-3687752-1337873833/watcher-3687752-1337873833 -o /tmp/evaluation-result-3687752-1337873833/solver-3687752-1337873833 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687752-1337873833.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.50 3.62 3.24 3/197 21102
/proc/meminfo: memFree=26497252/32873844 swapFree=6856/6856
[pid=21102] ppid=21100 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/21102/stat : 21102 (java) D 21100 21102 20503 0 -1 4202496 444 0 0 0 0 0 0 0 20 0 1 0 253511751 9515008 175 33554432000 1073741824 1073778376 140736544143696 140736544126424 270118241168 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/21102/statm: 2323 175 133 9 0 71 0

[startup+0.015553 s]
/proc/loadavg: 3.50 3.62 3.24 3/197 21102
/proc/meminfo: memFree=26497252/32873844 swapFree=6856/6856
[pid=21102] ppid=21100 vsize=102664 CPUtime=0 cores=0,2,4,6
/proc/21102/stat : 21102 (java) S 21100 21102 20503 0 -1 4202496 1428 0 1 0 0 0 0 0 20 0 2 0 253511751 105127936 1110 33554432000 1073741824 1073778376 140736544143696 140736544134832 270121599037 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21102/statm: 25666 1110 857 9 0 16775 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102664

[startup+0.100266 s]
/proc/loadavg: 3.50 3.62 3.24 3/197 21102
/proc/meminfo: memFree=26497252/32873844 swapFree=6856/6856
[pid=21102] ppid=21100 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/21102/stat : 21102 (java) S 21100 21102 20503 0 -1 4202496 4261 0 1 0 9 1 0 0 20 0 18 0 253511751 9787813888 5456 33554432000 1073741824 1073778376 140736544143696 140736544134832 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21102/statm: 2389603 5456 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300232 s]
/proc/loadavg: 3.50 3.62 3.24 3/197 21102
/proc/meminfo: memFree=26497252/32873844 swapFree=6856/6856
[pid=21102] ppid=21100 vsize=9558412 CPUtime=0.54 cores=0,2,4,6
/proc/21102/stat : 21102 (java) S 21100 21102 20503 0 -1 4202496 7613 0 1 0 52 2 0 0 20 0 18 0 253511751 9787813888 9417 33554432000 1073741824 1073778376 140736544143696 140736544134832 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21102/statm: 2389603 9417 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558412

[startup+0.700225 s]
/proc/loadavg: 3.50 3.62 3.24 3/197 21102
/proc/meminfo: memFree=26497252/32873844 swapFree=6856/6856
[pid=21102] ppid=21100 vsize=9824668 CPUtime=0.87 cores=0,2,4,6
/proc/21102/stat : 21102 (java) S 21100 21102 20503 0 -1 4202496 7913 0 1 0 83 4 0 0 20 0 19 0 253511751 10060460032 15178 33554432000 1073741824 1073778376 140736544143696 140736544134832 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21102/statm: 2456167 15178 2242 9 0 2446860 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 9824668

[startup+1.50066 s]
/proc/loadavg: 3.50 3.62 3.24 7/219 21127
/proc/meminfo: memFree=26436140/32873844 swapFree=6856/6856
[pid=21102] ppid=21100 vsize=9824668 CPUtime=2.21 cores=0,2,4,6
/proc/21102/stat : 21102 (java) S 21100 21102 20503 0 -1 4202496 13377 0 1 0 213 8 0 0 20 0 22 0 253511751 10060460032 21821 33554432000 1073741824 1073778376 140736544143696 140736544134832 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21102/statm: 2456167 21821 2262 9 0 2446860 0
[pid=21102/tid=21104] ppid=21100 vsize=9824668 CPUtime=0.38 cores=0,2,4,6
/proc/21102/task/21104/stat : 21104 (java) S 21100 21102 20503 0 -1 4202560 2467 0 1 0 36 2 0 0 20 0 22 0 253511752 10060460032 21821 33554432000 1073741824 1073778376 140736544143696 139950609953784 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21105] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511753 10060460032 21821 33554432000 1073741824 1073778376 140736544143696 139950571444520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511753 10060460032 21821 33554432000 1073741824 1073778376 140736544143696 139950452369576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511753 10060460032 21821 33554432000 1073741824 1073778376 140736544143696 139950451317288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21102/tid=21108] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21108/stat : 21108 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511753 10060460032 21821 33554432000 1073741824 1073778376 140736544143696 139950450264488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21109] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21109/stat : 21109 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511753 10060460032 21821 33554432000 1073741824 1073778376 140736544143696 139950449212200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21110] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21110/stat : 21110 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511753 10060460032 21821 33554432000 1073741824 1073778376 140736544143696 139950448159400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21111] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21111/stat : 21111 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511753 10060460032 21821 33554432000 1073741824 1073778376 140736544143696 139950447107112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21112] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21112/stat : 21112 (java) S 21100 21102 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253511753 10060460032 21821 33554432000 1073741824 1073778376 140736544143696 139950446054312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21113] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21113/stat : 21113 (java) S 21100 21102 20503 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253511754 10060460032 21821 33554432000 1073741824 1073778376 140736544143696 139949963725032 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21114] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21114/stat : 21114 (java) S 21100 21102 20503 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253511754 10060460032 21821 33554432000 1073741824 1073778376 140736544143696 139949962671096 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21115] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21115/stat : 21115 (java) S 21100 21102 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253511754 10060460032 21821 33554432000 1073741824 1073778376 140736544143696 139949961618696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21116] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21116/stat : 21116 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511757 10060460032 21821 33554432000 1073741824 1073778376 140736544143696 139949960567184 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21117] ppid=21100 vsize=9824668 CPUtime=0.52 cores=0,2,4,6
/proc/21102/task/21117/stat : 21117 (java) S 21100 21102 20503 0 -1 4202560 5593 0 0 0 52 0 0 0 20 0 22 0 253511757 10060460032 21821 33554432000 1073741824 1073778376 140736544143696 139949959514808 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21102/tid=21118] ppid=21100 vsize=9824668 CPUtime=0.51 cores=0,2,4,6
/proc/21102/task/21118/stat : 21118 (java) R 21100 21102 20503 0 -1 4202560 3965 0 0 0 50 1 0 0 20 0 22 0 253511757 10060460032 21821 33554432000 1073741824 1073778376 140736544143696 139949958462008 139950615800165 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21119] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21119/stat : 21119 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511757 10060460032 21821 33554432000 1073741824 1073778376 140736544143696 139949957409912 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21120] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21120/stat : 21120 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511757 10060460032 21821 33554432000 1073741824 1073778376 140736544143696 139949956357320 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21124] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21124/stat : 21124 (java) S 21100 21102 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253511792 10060460032 21821 33554432000 1073741824 1073778376 140736544143696 139949952144424 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9824668

[startup+3.10075 s]
/proc/loadavg: 3.50 3.62 3.24 5/219 21133
/proc/meminfo: memFree=26398720/32873844 swapFree=6856/6856
[pid=21102] ppid=21100 vsize=9824668 CPUtime=4.74 cores=0,2,4,6
/proc/21102/stat : 21102 (java) S 21100 21102 20503 0 -1 4202496 14028 0 1 0 459 15 0 0 20 0 19 0 253511751 10060460032 37219 33554432000 1073741824 1073778376 140736544143696 140736544134832 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21102/statm: 2456167 37219 2286 9 0 2446860 0
[pid=21102/tid=21104] ppid=21100 vsize=9824668 CPUtime=0.39 cores=0,2,4,6
/proc/21102/task/21104/stat : 21104 (java) S 21100 21102 20503 0 -1 4202560 2467 0 1 0 37 2 0 0 20 0 19 0 253511752 10060460032 37219 33554432000 1073741824 1073778376 140736544143696 139950609953784 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21105] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (java) S 21100 21102 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253511753 10060460032 37219 33554432000 1073741824 1073778376 140736544143696 139950571444520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21106] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (java) S 21100 21102 20503 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253511753 10060460032 37219 33554432000 1073741824 1073778376 140736544143696 139950452369576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253511753 10060460032 37219 33554432000 1073741824 1073778376 140736544143696 139950451317288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21102/tid=21108] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21108/stat : 21108 (java) S 21100 21102 20503 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253511753 10060460032 37219 33554432000 1073741824 1073778376 140736544143696 139950450264488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21109] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21109/stat : 21109 (java) S 21100 21102 20503 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253511753 10060460032 37219 33554432000 1073741824 1073778376 140736544143696 139950449212200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21102/tid=21110] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21110/stat : 21110 (java) S 21100 21102 20503 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253511753 10060460032 37219 33554432000 1073741824 1073778376 140736544143696 139950448159400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21111] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21111/stat : 21111 (java) S 21100 21102 20503 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253511753 10060460032 37219 33554432000 1073741824 1073778376 140736544143696 139950447107112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21112] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21112/stat : 21112 (java) S 21100 21102 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253511753 10060460032 37219 33554432000 1073741824 1073778376 140736544143696 139950446054312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21113] ppid=21100 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/21102/task/21113/stat : 21113 (java) S 21100 21102 20503 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 19 0 253511754 10060460032 37219 33554432000 1073741824 1073778376 140736544143696 139949963725032 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21114] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21114/stat : 21114 (java) S 21100 21102 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253511754 10060460032 37219 33554432000 1073741824 1073778376 140736544143696 139949962671096 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21115] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21115/stat : 21115 (java) S 21100 21102 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253511754 10060460032 37219 33554432000 1073741824 1073778376 140736544143696 139949961618696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21116] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21116/stat : 21116 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253511757 10060460032 37219 33554432000 1073741824 1073778376 140736544143696 139949960567184 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21117] ppid=21100 vsize=9824668 CPUtime=0.62 cores=0,2,4,6
/proc/21102/task/21117/stat : 21117 (java) S 21100 21102 20503 0 -1 4202560 5596 0 0 0 62 0 0 0 20 0 19 0 253511757 10060460032 37219 33554432000 1073741824 1073778376 140736544143696 139949959514808 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21118] ppid=21100 vsize=9824668 CPUtime=0.61 cores=0,2,4,6
/proc/21102/task/21118/stat : 21118 (java) S 21100 21102 20503 0 -1 4202560 4509 0 0 0 59 2 0 0 20 0 19 0 253511757 10060460032 37219 33554432000 1073741824 1073778376 140736544143696 139949958462008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21102/tid=21119] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21119/stat : 21119 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253511757 10060460032 37219 33554432000 1073741824 1073778376 140736544143696 139949957409912 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21120] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21120/stat : 21120 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253511757 10060460032 37219 33554432000 1073741824 1073778376 140736544143696 139949956357320 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21130] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21130/stat : 21130 (java) S 21100 21102 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253511892 10060460032 37219 33554432000 1073741824 1073778376 140736544143696 139949953196840 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 9824668

[startup+6.30063 s]
/proc/loadavg: 3.30 3.58 3.23 5/219 21145
/proc/meminfo: memFree=26335100/32873844 swapFree=6856/6856
[pid=21102] ppid=21100 vsize=9824668 CPUtime=9.12 cores=0,2,4,6
/proc/21102/stat : 21102 (java) S 21100 21102 20503 0 -1 4202496 14260 0 1 0 890 22 0 0 20 0 22 0 253511751 10060460032 42299 33554432000 1073741824 1073778376 140736544143696 140736544134832 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21102/statm: 2456167 42299 2286 9 0 2446860 0
[pid=21102/tid=21104] ppid=21100 vsize=9824668 CPUtime=0.4 cores=0,2,4,6
/proc/21102/task/21104/stat : 21104 (java) S 21100 21102 20503 0 -1 4202560 2468 0 1 0 38 2 0 0 20 0 22 0 253511752 10060460032 42299 33554432000 1073741824 1073778376 140736544143696 139950609953784 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21105] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (java) S 21100 21102 20503 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253511753 10060460032 42299 33554432000 1073741824 1073778376 140736544143696 139950571444520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21106] ppid=21100 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (java) S 21100 21102 20503 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253511753 10060460032 42299 33554432000 1073741824 1073778376 140736544143696 139950452369576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511753 10060460032 42299 33554432000 1073741824 1073778376 140736544143696 139950451317288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21102/tid=21108] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21108/stat : 21108 (java) S 21100 21102 20503 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253511753 10060460032 42299 33554432000 1073741824 1073778376 140736544143696 139950450264488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21109] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21109/stat : 21109 (java) S 21100 21102 20503 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253511753 10060460032 42299 33554432000 1073741824 1073778376 140736544143696 139950449212200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21110] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21110/stat : 21110 (java) S 21100 21102 20503 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253511753 10060460032 42299 33554432000 1073741824 1073778376 140736544143696 139950448159400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21111] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21111/stat : 21111 (java) S 21100 21102 20503 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253511753 10060460032 42299 33554432000 1073741824 1073778376 140736544143696 139950447107112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21112] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21112/stat : 21112 (java) S 21100 21102 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253511753 10060460032 42299 33554432000 1073741824 1073778376 140736544143696 139950446054312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21113] ppid=21100 vsize=9824668 CPUtime=0.12 cores=0,2,4,6
/proc/21102/task/21113/stat : 21113 (java) S 21100 21102 20503 0 -1 4202560 42 0 0 0 12 0 0 0 20 0 22 0 253511754 10060460032 42299 33554432000 1073741824 1073778376 140736544143696 139949963725032 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21114] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21114/stat : 21114 (java) S 21100 21102 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253511754 10060460032 42299 33554432000 1073741824 1073778376 140736544143696 139949962671096 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21115] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21115/stat : 21115 (java) S 21100 21102 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253511754 10060460032 42299 33554432000 1073741824 1073778376 140736544143696 139949961618696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21116] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21116/stat : 21116 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511757 10060460032 42299 33554432000 1073741824 1073778376 140736544143696 139949960567184 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21117] ppid=21100 vsize=9824668 CPUtime=0.75 cores=0,2,4,6
/proc/21102/task/21117/stat : 21117 (java) S 21100 21102 20503 0 -1 4202560 5603 0 0 0 75 0 0 0 20 0 22 0 253511757 10060460032 42299 33554432000 1073741824 1073778376 140736544143696 139949959514808 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21118] ppid=21100 vsize=9824668 CPUtime=0.69 cores=0,2,4,6
/proc/21102/task/21118/stat : 21118 (java) S 21100 21102 20503 0 -1 4202560 4655 0 0 0 67 2 0 0 20 0 22 0 253511757 10060460032 42299 33554432000 1073741824 1073778376 140736544143696 139949958462008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21119] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21119/stat : 21119 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511757 10060460032 42299 33554432000 1073741824 1073778376 140736544143696 139949957409912 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21120] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21120/stat : 21120 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511757 10060460032 42299 33554432000 1073741824 1073778376 140736544143696 139949956357320 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21130] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21130/stat : 21130 (java) S 21100 21102 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253511892 10060460032 42299 33554432000 1073741824 1073778376 140736544143696 139949953196840 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 9.12
Current children cumulated vsize (KiB) 9824668

[startup+12.7009 s]

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

/proc/21102/statm: 2456167 735232 2288 9 0 2446860 0
[pid=21102/tid=21104] ppid=21100 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/21102/task/21104/stat : 21104 (java) S 21100 21102 20503 0 -1 4202560 2586 0 1 0 45 3 0 0 20 0 22 0 253511752 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950609953496 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21105] ppid=21100 vsize=9824668 CPUtime=3.82 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (java) S 21100 21102 20503 0 -1 4202560 730 0 0 0 372 10 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950571444520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21100 vsize=9824668 CPUtime=3.59 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (java) S 21100 21102 20503 0 -1 4202560 919 0 0 0 350 9 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950452369576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21107] ppid=21100 vsize=9824668 CPUtime=3.75 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (java) S 21100 21102 20503 0 -1 4202560 1072 0 0 0 365 10 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950451317288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21102/tid=21108] ppid=21100 vsize=9824668 CPUtime=3.75 cores=0,2,4,6
/proc/21102/task/21108/stat : 21108 (java) S 21100 21102 20503 0 -1 4202560 1298 0 0 0 362 13 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950450264488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21102/tid=21109] ppid=21100 vsize=9824668 CPUtime=3.5 cores=0,2,4,6
/proc/21102/task/21109/stat : 21109 (java) S 21100 21102 20503 0 -1 4202560 1018 0 0 0 339 11 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950449212200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21102/tid=21110] ppid=21100 vsize=9824668 CPUtime=3.27 cores=0,2,4,6
/proc/21102/task/21110/stat : 21110 (java) S 21100 21102 20503 0 -1 4202560 897 0 0 0 317 10 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950448159400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21111] ppid=21100 vsize=9824668 CPUtime=3.67 cores=0,2,4,6
/proc/21102/task/21111/stat : 21111 (java) S 21100 21102 20503 0 -1 4202560 1112 0 0 0 355 12 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950447107112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21112] ppid=21100 vsize=9824668 CPUtime=3.23 cores=0,2,4,6
/proc/21102/task/21112/stat : 21112 (java) S 21100 21102 20503 0 -1 4202560 1014 0 0 0 314 9 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950446054312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21113] ppid=21100 vsize=9824668 CPUtime=385.36 cores=0,2,4,6
/proc/21102/task/21113/stat : 21113 (java) R 21100 21102 20503 0 -1 4202560 9188 0 0 0 38500 36 0 0 20 0 22 0 253511754 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949963723880 139950614090077 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21114] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21114/stat : 21114 (java) S 21100 21102 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253511754 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949962671096 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21115] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21115/stat : 21115 (java) S 21100 21102 20503 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253511754 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949961618696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21102/tid=21116] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21116/stat : 21116 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511757 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949960566728 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21117] ppid=21100 vsize=9824668 CPUtime=1.09 cores=0,2,4,6
/proc/21102/task/21117/stat : 21117 (java) S 21100 21102 20503 0 -1 4202560 5649 0 0 0 109 0 0 0 20 0 22 0 253511757 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949959514808 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21118] ppid=21100 vsize=9824668 CPUtime=1.33 cores=0,2,4,6
/proc/21102/task/21118/stat : 21118 (java) S 21100 21102 20503 0 -1 4202560 9190 0 0 0 131 2 0 0 20 0 22 0 253511757 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949958462008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21119] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21119/stat : 21119 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511757 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949957409912 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21120] ppid=21100 vsize=9824668 CPUtime=0.39 cores=0,2,4,6
/proc/21102/task/21120/stat : 21120 (java) S 21100 21102 20503 0 -1 4202560 63 0 0 0 24 15 0 0 20 0 22 0 253511757 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949956357320 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21130] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21130/stat : 21130 (java) S 21100 21102 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253511892 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949953196840 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21284] ppid=21100 vsize=9824668 CPUtime=32.59 cores=0,2,4,6
/proc/21102/task/21284/stat : 21284 (java) S 21100 21102 20503 0 -1 4202560 2 0 0 0 3259 0 0 0 20 0 22 0 253612406 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949954249816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21285] ppid=21100 vsize=9824668 CPUtime=32.58 cores=0,2,4,6
/proc/21102/task/21285/stat : 21285 (java) S 21100 21102 20503 0 -1 4202560 6 0 0 0 3258 0 0 0 20 0 22 0 253612406 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949955302552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21286] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21286/stat : 21286 (java) S 21100 21102 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253612406 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949952144296 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.26
Current children cumulated vsize (KiB) 9824668

[startup+1091.8 s]
/proc/loadavg: 3.36 3.58 3.46 4/220 21583
/proc/meminfo: memFree=25621632/32873844 swapFree=6856/6856
[pid=21102] ppid=21100 vsize=9824668 CPUtime=1799.06 cores=0,2,4,6
/proc/21102/stat : 21102 (java) S 21100 21102 20503 0 -1 4202496 37409 0 1 0 179713 193 0 0 20 0 22 0 253511751 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 140736544134832 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21102/statm: 2456167 735232 2288 9 0 2446860 0
[pid=21102/tid=21104] ppid=21100 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/21102/task/21104/stat : 21104 (java) S 21100 21102 20503 0 -1 4202560 2586 0 1 0 45 3 0 0 20 0 22 0 253511752 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950609953496 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21105] ppid=21100 vsize=9824668 CPUtime=3.82 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (java) S 21100 21102 20503 0 -1 4202560 730 0 0 0 372 10 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950571444520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21100 vsize=9824668 CPUtime=3.59 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (java) S 21100 21102 20503 0 -1 4202560 919 0 0 0 350 9 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950452369576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21107] ppid=21100 vsize=9824668 CPUtime=3.75 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (java) S 21100 21102 20503 0 -1 4202560 1072 0 0 0 365 10 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950451317288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21102/tid=21108] ppid=21100 vsize=9824668 CPUtime=3.75 cores=0,2,4,6
/proc/21102/task/21108/stat : 21108 (java) S 21100 21102 20503 0 -1 4202560 1298 0 0 0 362 13 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950450264488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21102/tid=21109] ppid=21100 vsize=9824668 CPUtime=3.5 cores=0,2,4,6
/proc/21102/task/21109/stat : 21109 (java) S 21100 21102 20503 0 -1 4202560 1018 0 0 0 339 11 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950449212200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21102/tid=21110] ppid=21100 vsize=9824668 CPUtime=3.27 cores=0,2,4,6
/proc/21102/task/21110/stat : 21110 (java) S 21100 21102 20503 0 -1 4202560 897 0 0 0 317 10 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950448159400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21111] ppid=21100 vsize=9824668 CPUtime=3.67 cores=0,2,4,6
/proc/21102/task/21111/stat : 21111 (java) S 21100 21102 20503 0 -1 4202560 1112 0 0 0 355 12 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950447107112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21112] ppid=21100 vsize=9824668 CPUtime=3.23 cores=0,2,4,6
/proc/21102/task/21112/stat : 21112 (java) S 21100 21102 20503 0 -1 4202560 1014 0 0 0 314 9 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950446054312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21113] ppid=21100 vsize=9824668 CPUtime=386.16 cores=0,2,4,6
/proc/21102/task/21113/stat : 21113 (java) R 21100 21102 20503 0 -1 4202560 9188 0 0 0 38580 36 0 0 20 0 22 0 253511754 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949963723880 139950616807482 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21114] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21114/stat : 21114 (java) S 21100 21102 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253511754 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949962671096 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21115] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21115/stat : 21115 (java) S 21100 21102 20503 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253511754 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949961618696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21102/tid=21116] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21116/stat : 21116 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511757 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949960566728 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21117] ppid=21100 vsize=9824668 CPUtime=1.09 cores=0,2,4,6
/proc/21102/task/21117/stat : 21117 (java) S 21100 21102 20503 0 -1 4202560 5649 0 0 0 109 0 0 0 20 0 22 0 253511757 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949959514808 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21118] ppid=21100 vsize=9824668 CPUtime=1.33 cores=0,2,4,6
/proc/21102/task/21118/stat : 21118 (java) S 21100 21102 20503 0 -1 4202560 9190 0 0 0 131 2 0 0 20 0 22 0 253511757 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949958462008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21119] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21119/stat : 21119 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511757 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949957409912 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21120] ppid=21100 vsize=9824668 CPUtime=0.39 cores=0,2,4,6
/proc/21102/task/21120/stat : 21120 (java) S 21100 21102 20503 0 -1 4202560 63 0 0 0 24 15 0 0 20 0 22 0 253511757 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949956357320 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21130] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21130/stat : 21130 (java) S 21100 21102 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253511892 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949953196840 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21284] ppid=21100 vsize=9824668 CPUtime=32.59 cores=0,2,4,6
/proc/21102/task/21284/stat : 21284 (java) S 21100 21102 20503 0 -1 4202560 2 0 0 0 3259 0 0 0 20 0 22 0 253612406 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949954249816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21285] ppid=21100 vsize=9824668 CPUtime=32.58 cores=0,2,4,6
/proc/21102/task/21285/stat : 21285 (java) S 21100 21102 20503 0 -1 4202560 6 0 0 0 3258 0 0 0 20 0 22 0 253612406 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949955302552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21286] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21286/stat : 21286 (java) S 21100 21102 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253612406 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949952144296 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 9824668

[startup+1092.2 s]
/proc/loadavg: 3.36 3.58 3.46 4/220 21583
/proc/meminfo: memFree=25607164/32873844 swapFree=6856/6856
[pid=21102] ppid=21100 vsize=9824668 CPUtime=1799.46 cores=0,2,4,6
/proc/21102/stat : 21102 (java) S 21100 21102 20503 0 -1 4202496 37409 0 1 0 179753 193 0 0 20 0 22 0 253511751 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 140736544134832 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21102/statm: 2456167 735232 2288 9 0 2446860 0
[pid=21102/tid=21104] ppid=21100 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/21102/task/21104/stat : 21104 (java) S 21100 21102 20503 0 -1 4202560 2586 0 1 0 45 3 0 0 20 0 22 0 253511752 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950609953496 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21105] ppid=21100 vsize=9824668 CPUtime=3.82 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (java) S 21100 21102 20503 0 -1 4202560 730 0 0 0 372 10 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950571444520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21100 vsize=9824668 CPUtime=3.59 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (java) S 21100 21102 20503 0 -1 4202560 919 0 0 0 350 9 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950452369576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21107] ppid=21100 vsize=9824668 CPUtime=3.75 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (java) S 21100 21102 20503 0 -1 4202560 1072 0 0 0 365 10 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950451317288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21102/tid=21108] ppid=21100 vsize=9824668 CPUtime=3.75 cores=0,2,4,6
/proc/21102/task/21108/stat : 21108 (java) S 21100 21102 20503 0 -1 4202560 1298 0 0 0 362 13 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950450264488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21102/tid=21109] ppid=21100 vsize=9824668 CPUtime=3.5 cores=0,2,4,6
/proc/21102/task/21109/stat : 21109 (java) S 21100 21102 20503 0 -1 4202560 1018 0 0 0 339 11 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950449212200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21102/tid=21110] ppid=21100 vsize=9824668 CPUtime=3.27 cores=0,2,4,6
/proc/21102/task/21110/stat : 21110 (java) S 21100 21102 20503 0 -1 4202560 897 0 0 0 317 10 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950448159400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21111] ppid=21100 vsize=9824668 CPUtime=3.67 cores=0,2,4,6
/proc/21102/task/21111/stat : 21111 (java) S 21100 21102 20503 0 -1 4202560 1112 0 0 0 355 12 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950447107112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21112] ppid=21100 vsize=9824668 CPUtime=3.23 cores=0,2,4,6
/proc/21102/task/21112/stat : 21112 (java) S 21100 21102 20503 0 -1 4202560 1014 0 0 0 314 9 0 0 20 0 22 0 253511753 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139950446054312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21113] ppid=21100 vsize=9824668 CPUtime=386.57 cores=0,2,4,6
/proc/21102/task/21113/stat : 21113 (java) R 21100 21102 20503 0 -1 4202560 9188 0 0 0 38621 36 0 0 20 0 22 0 253511754 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949963723880 139950616461434 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21114] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21114/stat : 21114 (java) S 21100 21102 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253511754 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949962671096 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21115] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21115/stat : 21115 (java) S 21100 21102 20503 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253511754 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949961618696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21102/tid=21116] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21116/stat : 21116 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511757 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949960566728 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21117] ppid=21100 vsize=9824668 CPUtime=1.09 cores=0,2,4,6
/proc/21102/task/21117/stat : 21117 (java) S 21100 21102 20503 0 -1 4202560 5649 0 0 0 109 0 0 0 20 0 22 0 253511757 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949959514808 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21118] ppid=21100 vsize=9824668 CPUtime=1.33 cores=0,2,4,6
/proc/21102/task/21118/stat : 21118 (java) S 21100 21102 20503 0 -1 4202560 9190 0 0 0 131 2 0 0 20 0 22 0 253511757 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949958462008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21119] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21119/stat : 21119 (java) S 21100 21102 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253511757 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949957409912 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21120] ppid=21100 vsize=9824668 CPUtime=0.39 cores=0,2,4,6
/proc/21102/task/21120/stat : 21120 (java) S 21100 21102 20503 0 -1 4202560 63 0 0 0 24 15 0 0 20 0 22 0 253511757 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949956357320 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21130] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21130/stat : 21130 (java) S 21100 21102 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253511892 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949953196840 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21284] ppid=21100 vsize=9824668 CPUtime=32.59 cores=0,2,4,6
/proc/21102/task/21284/stat : 21284 (java) S 21100 21102 20503 0 -1 4202560 2 0 0 0 3259 0 0 0 20 0 22 0 253612406 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949954249816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21285] ppid=21100 vsize=9824668 CPUtime=32.58 cores=0,2,4,6
/proc/21102/task/21285/stat : 21285 (java) S 21100 21102 20503 0 -1 4202560 6 0 0 0 3258 0 0 0 20 0 22 0 253612406 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949955302552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21102/tid=21286] ppid=21100 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21286/stat : 21286 (java) S 21100 21102 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253612406 10060460032 735232 33554432000 1073741824 1073778376 140736544143696 139949952144296 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 9824668

Child ended because it received signal 9 (SIGKILL)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21102 and gives
#  childrusage.ru_utime.tv_sec=1796
#  childrusage.ru_utime.tv_usec=377909
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=144673
# CPU time returned by wait4() is 1798.52
# while last known CPU time is 1799.46
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 2.55006
#  lost CPU user time (s): 2.75999
#  lost CPU system time (s): -0.21

Real time (s): 1092.23
CPU time (s): 1802.01
CPU user time (s): 1800.29
CPU system time (s): 1.72
CPU usage (%): 164.984
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.38
system time used= 2.14467
maximum resident set size= 2947132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37409
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30580
involuntary context switches= 55092

runsolver used 3.99239 second user time and 9.95249 second system time

The end

Launcher Data 

Begin job on node106 at 2012-05-24 17:37:13
IDJOB=3687752
IDBENCH=2055
IDSOLVER=2268
FILE ID=node106/3687752-1337873833
RUNJOBID= node106-1337871881-20519
PBS_JOBID= 14620098
Free space on /tmp= 71664 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-rot.b.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687752-1337873833/watcher-3687752-1337873833 -o /tmp/evaluation-result-3687752-1337873833/solver-3687752-1337873833 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687752-1337873833.opb

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

MD5SUM BENCH= 82ceb454755e01aa6cecb68eb859eaa6
RANDOM SEED=1516854087

node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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:       32873844 kB
MemFree:        26497516 kB
Buffers:          195940 kB
Cached:          2894424 kB
SwapCached:            0 kB
Active:          3218544 kB
Inactive:        2388376 kB
Active(anon):    2519140 kB
Inactive(anon):        0 kB
Active(file):     699404 kB
Inactive(file):  2388376 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               692 kB
Writeback:             0 kB
AnonPages:       2590880 kB
Mapped:            22616 kB
Shmem:               200 kB
Slab:             625988 kB
SReclaimable:      68304 kB
SUnreclaim:       557684 kB
KernelStack:        1808 kB
PageTables:         8876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3056824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2496512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71664 MiB
End job on node106 at 2012-05-24 17:55:25