Trace number 3688670

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 SnapshotSAT (TO)-63 1800.18 974.442

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_5.opb
MD5SUM40141f2f083fa5e1f8a41aa043de0b1b
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-69
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -69
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint25
Maximum length of a constraint47
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15706
Sum of products size (including duplicates)31412
Number of different products7853
Sum of products size15706

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	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.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c ManyCore solver with 2 solvers running in parallel
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3688670-1337878879.opb
0.09/0.11	c reading problem ... 
1.29/0.66	c ... done. Wall clock time 0.55s.
1.29/0.66	c declared #vars     500
1.29/0.66	c internal #vars     8353
1.29/0.66	c #constraints  16206
1.29/0.66	c constraints type 
1.29/0.66	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7853
1.29/0.66	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
1.29/0.66	c ignored satisfied constraints => 500
1.29/0.66	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7853
1.29/0.66	c 16706 constraints processed.
1.29/0.66	c constraints type 
1.29/0.66	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7853
1.29/0.66	c ignored satisfied constraints => 500
1.29/0.66	c org.sat4j.pb.constraints.pb.UnitClausesPB => 500
1.29/0.66	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7853
1.29/0.66	c 16706 constraints processed.
1.29/0.66	c objective function length is 500 literals
2.02/0.80	c  And the winner is solver0
2.68/1.17	c SATISFIABLE
2.68/1.17	c OPTIMIZING...
2.68/1.17	c Got one! Elapsed wall clock time (in seconds):1.053
2.68/1.17	o -50
4.37/1.63	c  And the winner is solver1
4.37/1.67	c Got one! Elapsed wall clock time (in seconds):1.555
4.37/1.67	o -54
5.39/2.08	c cleaning 2618 clauses out of 5235 with flag 3001/5235
6.20/2.46	c  And the winner is solver1
6.38/2.71	c Got one! Elapsed wall clock time (in seconds):2.596
6.38/2.71	o -55
7.08/3.06	c cleaning 3946 clauses out of 7897 with flag 3000/10515
7.88/3.42	c  And the winner is solver1
7.93/3.71	c Got one! Elapsed wall clock time (in seconds):3.598
7.93/3.71	o -56
8.70/4.13	c cleaning 4618 clauses out of 9235 with flag 3000/15799
9.83/4.76	c  And the winner is solver1
9.83/4.79	c Got one! Elapsed wall clock time (in seconds):4.681
9.83/4.79	o -57
10.38/5.07	c cleaning 5192 clauses out of 10388 with flag 2000/21570
11.43/5.61	c  And the winner is solver1
11.47/5.82	c Got one! Elapsed wall clock time (in seconds):5.705
11.47/5.82	o -58
12.23/6.23	c cleaning 5437 clauses out of 10874 with flag 3001/27248
13.95/7.19	c cleaning 5714 clauses out of 11438 with flag 9002/33249
14.39/7.47	c  And the winner is solver1
14.55/7.91	c Got one! Elapsed wall clock time (in seconds):7.8
14.55/7.91	o -59
15.71/8.52	c  And the winner is solver1
15.71/8.53	c cleaning 5720 clauses out of 11439 with flag 5000/38964
15.99/8.92	c Got one! Elapsed wall clock time (in seconds):8.802
15.99/8.92	o -60
17.14/9.55	c cleaning 5360 clauses out of 10719 with flag 5000/43964
18.89/10.58	c cleaning 5680 clauses out of 11359 with flag 11000/49964
20.90/11.66	c cleaning 6337 clauses out of 12679 with flag 18000/56964
23.52/13.03	c cleaning 7171 clauses out of 14342 with flag 26000/64964
25.10/13.92	c  And the winner is solver1
25.10/13.94	c Got one! Elapsed wall clock time (in seconds):13.807
25.10/13.94	o -61
25.28/14.08	c cleaning 6278 clauses out of 12563 with flag 1000/70356
27.33/15.28	c cleaning 6143 clauses out of 12285 with flag 7000/76356
29.70/16.60	c cleaning 6566 clauses out of 13144 with flag 14002/83358
32.44/18.07	c cleaning 7285 clauses out of 14576 with flag 22000/91356
35.67/19.74	c cleaning 8147 clauses out of 16293 with flag 31002/100358
38.83/21.55	c cleaning 9067 clauses out of 18146 with flag 41002/110358
42.62/23.54	c cleaning 10037 clauses out of 20077 with flag 52000/121356
47.10/25.96	c cleaning 11018 clauses out of 22040 with flag 64000/133356
51.59/28.35	c cleaning 12010 clauses out of 24022 with flag 77000/146356
57.03/31.30	c cleaning 13002 clauses out of 26012 with flag 91000/160356
63.09/34.55	c cleaning 14001 clauses out of 28011 with flag 106001/175357
69.31/37.89	c cleaning 15003 clauses out of 30009 with flag 122000/191356
75.29/41.06	c cleaning 16004 clauses out of 32007 with flag 139001/208357
82.24/44.85	c cleaning 16996 clauses out of 34003 with flag 157001/226357
90.07/48.97	c cleaning 17997 clauses out of 36008 with flag 176002/245358
100.67/54.44	c cleaning 19002 clauses out of 38009 with flag 196000/265356
111.61/60.18	c cleaning 20004 clauses out of 40007 with flag 217000/286356
119.40/64.46	c  And the winner is solver1
119.34/64.60	c Got one! Elapsed wall clock time (in seconds):64.482
119.34/64.60	o -62
121.54/65.72	c cleaning 19615 clauses out of 39238 with flag 5002/305591
124.23/67.34	c cleaning 12802 clauses out of 25621 with flag 11000/311589
126.96/69.08	c cleaning 9902 clauses out of 19820 with flag 18001/318590
129.84/70.89	c cleaning 8959 clauses out of 17920 with flag 26003/326592
133.41/73.15	c cleaning 8974 clauses out of 17960 with flag 35002/335591
136.86/75.14	c cleaning 9487 clauses out of 18984 with flag 45000/345589
141.11/77.57	c cleaning 10247 clauses out of 20499 with flag 56002/356591
146.38/80.52	c cleaning 11126 clauses out of 22251 with flag 68001/368590
152.01/83.96	c cleaning 12059 clauses out of 24124 with flag 81000/381589
157.23/86.91	c cleaning 13030 clauses out of 26065 with flag 95000/395589
162.84/90.10	c cleaning 14015 clauses out of 28036 with flag 110001/410590
169.20/93.73	c cleaning 15007 clauses out of 30020 with flag 126000/426589
176.56/98.06	c cleaning 16004 clauses out of 32013 with flag 143000/443589
185.27/102.81	c cleaning 17003 clauses out of 34009 with flag 161000/461589
193.92/107.68	c cleaning 18000 clauses out of 36007 with flag 180001/480590
203.95/113.11	c cleaning 18999 clauses out of 38008 with flag 200002/500591
214.89/119.36	c cleaning 20004 clauses out of 40007 with flag 221000/521589
226.85/125.84	c cleaning 20999 clauses out of 42004 with flag 243001/543590
239.35/132.69	c cleaning 22001 clauses out of 44005 with flag 266001/566590
251.39/139.20	c cleaning 22997 clauses out of 46003 with flag 290000/590589
263.38/146.08	c cleaning 24001 clauses out of 48006 with flag 315000/615589
278.43/154.19	c cleaning 25003 clauses out of 50007 with flag 341002/641591
294.38/162.74	c cleaning 25998 clauses out of 52002 with flag 368000/668589
310.66/171.52	c cleaning 26995 clauses out of 54005 with flag 396001/696590
327.17/180.70	c cleaning 28001 clauses out of 56009 with flag 425000/725589
344.02/189.83	c cleaning 28998 clauses out of 58009 with flag 455001/755590
359.04/198.07	c cleaning 29998 clauses out of 60010 with flag 486000/786589
371.92/205.11	c cleaning 0 clauses out of 7439 with flag 0/7439
375.79/208.02	c cleaning 31003 clauses out of 62013 with flag 518001/818590
391.78/216.57	c cleaning 32000 clauses out of 64009 with flag 551000/851589
411.49/227.87	c cleaning 33004 clauses out of 66011 with flag 585002/885591
427.98/236.65	c cleaning 33991 clauses out of 68005 with flag 620000/920589
442.98/244.86	c cleaning 35006 clauses out of 70016 with flag 656002/956591
460.36/254.27	c cleaning 35997 clauses out of 72009 with flag 693001/993590
482.14/267.03	c cleaning 36997 clauses out of 74011 with flag 731000/1031589
501.14/276.94	c cleaning 38007 clauses out of 76014 with flag 770000/1070589
522.02/287.85	c cleaning 39004 clauses out of 78008 with flag 810001/1110590
532.62/293.62	c  And the winner is solver1
531.71/294.01	c Got one! Elapsed wall clock time (in seconds):293.894
531.71/294.01	o -63
534.09/295.21	c cleaning 32320 clauses out of 64643 with flag 5001/1136229
537.75/297.93	c cleaning 19153 clauses out of 38322 with flag 11000/1142228
540.49/299.88	c cleaning 13079 clauses out of 26169 with flag 18000/1149228
543.65/301.94	c cleaning 10536 clauses out of 21090 with flag 26000/1157228
546.81/304.09	c cleaning 9772 clauses out of 19555 with flag 35001/1166229
551.27/307.15	c cleaning 9888 clauses out of 19782 with flag 45000/1176228
555.23/309.64	c cleaning 10438 clauses out of 20894 with flag 56000/1187228
559.38/312.24	c cleaning 11224 clauses out of 22458 with flag 68002/1199230
563.94/315.06	c cleaning 12116 clauses out of 24233 with flag 81001/1212229
569.75/318.88	c cleaning 13059 clauses out of 26118 with flag 95002/1226230
575.51/322.24	c cleaning 14029 clauses out of 28057 with flag 110000/1241228
581.44/325.78	c cleaning 15012 clauses out of 30030 with flag 126002/1257230
587.77/329.40	c cleaning 16005 clauses out of 32019 with flag 143003/1274231
594.97/333.93	c cleaning 17002 clauses out of 34011 with flag 161000/1292228
601.89/337.97	c cleaning 18005 clauses out of 36011 with flag 180002/1311230
609.80/342.49	c cleaning 19002 clauses out of 38004 with flag 200000/1331228
617.92/347.00	c cleaning 19990 clauses out of 40002 with flag 221000/1352228
626.69/352.31	c cleaning 21005 clauses out of 42012 with flag 243000/1374228
636.61/357.84	c cleaning 21998 clauses out of 44008 with flag 266001/1397229
646.30/363.20	c cleaning 23002 clauses out of 46011 with flag 290002/1421230
656.99/369.16	c cleaning 24002 clauses out of 48008 with flag 315001/1446229
670.12/376.61	c cleaning 25003 clauses out of 50006 with flag 341001/1472229
683.00/383.65	c cleaning 25994 clauses out of 52004 with flag 368002/1499230
695.88/390.69	c cleaning 27004 clauses out of 54008 with flag 396000/1527228
710.96/398.73	c cleaning 27997 clauses out of 56004 with flag 425000/1556228
726.27/407.40	c cleaning 28995 clauses out of 58007 with flag 455000/1586228
743.29/416.44	c cleaning 30006 clauses out of 60013 with flag 486001/1617229
761.94/426.39	c cleaning 31002 clauses out of 62006 with flag 518000/1649228
782.33/437.15	c cleaning 32002 clauses out of 64006 with flag 551002/1682230
801.69/447.88	c cleaning 33001 clauses out of 66002 with flag 585000/1716228
819.44/457.40	c cleaning 33997 clauses out of 68001 with flag 620000/1751228
838.02/467.29	c cleaning 34999 clauses out of 70006 with flag 656002/1787230
859.00/478.32	c cleaning 36002 clauses out of 72005 with flag 693000/1824228
880.68/490.29	c cleaning 36997 clauses out of 74004 with flag 731001/1862229
905.10/503.05	c cleaning 38001 clauses out of 76007 with flag 770001/1901229
932.92/517.52	c cleaning 38997 clauses out of 78005 with flag 810000/1941228
961.93/532.67	c cleaning 40004 clauses out of 80008 with flag 851000/1982228
992.83/549.17	c cleaning 40999 clauses out of 82004 with flag 893000/2024228
1018.64/562.61	c cleaning 41996 clauses out of 84005 with flag 936000/2067228
1044.02/575.96	c cleaning 43001 clauses out of 86009 with flag 980000/2111228
1069.24/589.20	c cleaning 44000 clauses out of 88010 with flag 1025002/2156230
1094.30/602.99	c cleaning 44997 clauses out of 90009 with flag 1071001/2202229
1120.20/616.55	c cleaning 46004 clauses out of 92011 with flag 1118000/2249228
1148.29/631.27	c cleaning 47004 clauses out of 94007 with flag 1166000/2297228
1178.33/646.94	c cleaning 48002 clauses out of 96003 with flag 1215000/2346228
1210.15/664.08	c cleaning 49000 clauses out of 98002 with flag 1265001/2396229
1245.77/682.52	c cleaning 50001 clauses out of 100001 with flag 1316000/2447228
1252.69/686.71	c cleaning 0 clauses out of 12551 with flag 0/12551
1279.65/700.93	c cleaning 50989 clauses out of 102000 with flag 1368000/2499228
1312.15/718.48	c cleaning 52000 clauses out of 104012 with flag 1421001/2552229
1344.30/735.27	c cleaning 52999 clauses out of 106011 with flag 1475000/2606228
1377.81/752.71	c cleaning 54005 clauses out of 108013 with flag 1530001/2661229
1412.89/771.05	c cleaning 55004 clauses out of 110007 with flag 1586000/2717228
1452.11/791.93	c cleaning 56002 clauses out of 112003 with flag 1643000/2774228
1490.41/811.87	c cleaning 56997 clauses out of 114002 with flag 1701001/2832229
1527.67/831.26	c cleaning 57998 clauses out of 116005 with flag 1760001/2891229
1568.73/852.53	c cleaning 58999 clauses out of 118006 with flag 1820000/2951228
1611.16/875.10	c cleaning 60001 clauses out of 120007 with flag 1881000/3012228
1655.75/898.21	c cleaning 61002 clauses out of 122006 with flag 1943000/3074228
1701.36/921.88	c cleaning 61996 clauses out of 124006 with flag 2006002/3137230
1753.12/950.54	c cleaning 63002 clauses out of 126009 with flag 2070001/3201229
1799.21/974.41	c starts		: 53
1799.21/974.41	c conflicts		: 15040
1799.21/974.41	c decisions		: 21961
1799.21/974.41	c propagations		: 287075
1799.21/974.41	c inspects		: 750481038
1799.21/974.41	c shortcuts		: 0
1799.21/974.41	c learnt literals	: 0
1799.21/974.41	c learnt binary clauses	: 0
1799.21/974.41	c learnt ternary clauses	: 0
1799.21/974.41	c learnt constraints	: 15039
1799.21/974.41	c ignored constraints	: 0
1799.21/974.41	c root simplifications	: 0
1799.21/974.41	c removed literals (reason simplification)	: 0
1799.21/974.41	c reason swapping (by a shorter reason)	: 0
1799.21/974.41	c Calls to reduceDB	: 2
1799.21/974.41	c number of reductions to clauses (during analyze)	: 0
1799.21/974.41	c number of learned constraints concerned by reduction	: 0
1799.21/974.41	c number of learning phase by resolution	: 0
1799.21/974.41	c number of learning phase by cutting planes	: 0
1799.21/974.41	c speed (assignments/second)	: 294.9701716134044
1799.21/974.41	c non guided choices	0
1799.21/974.42	c learnt constraints type 
1799.21/974.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 824
1799.21/974.42	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14215
1799.21/974.42	c constraints type 
1799.21/974.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7853
1799.21/974.42	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
1799.21/974.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1799.21/974.42	c ignored satisfied constraints => 500
1799.21/974.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7853
1799.21/974.42	c 16707 constraints processed.
1799.21/974.42	c constraints type 
1799.21/974.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7853
1799.21/974.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1799.21/974.42	c ignored satisfied constraints => 500
1799.21/974.42	c org.sat4j.pb.constraints.pb.UnitClausesPB => 500
1799.21/974.42	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7853
1799.21/974.42	c 16707 constraints processed.
1799.21/974.42	s SATISFIABLE
1799.21/974.42	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 x240 -x241 x242 -x243 x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 x359 -x360 x361 -x362 -x363 -x364 -x365 x366 -x367 x368 -x369 x370 -x371 -x372 x373 x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 x473 -x474 x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 x494 -x495 -x496 -x497 -x498 x499 -x500 
1799.21/974.42	c objective function=-63
1799.21/974.42	c Total wall clock time (in seconds): 974.307

Verifier Data 

OK	-63

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-3688670-1337878879/watcher-3688670-1337878879 -o /tmp/evaluation-result-3688670-1337878879/solver-3688670-1337878879 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688670-1337878879.opb 

running on 4 cores: 1,3,5,7

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.77 3.86 3.88 4/198 28403
/proc/meminfo: memFree=26091464/32873648 swapFree=6596/6596
[pid=28403] ppid=28401 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/28403/stat : 28403 (java) D 28401 28403 25418 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254012375 9515008 182 33554432000 1073741824 1073778376 140735448826192 140735448817224 212073266869 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/28403/statm: 2323 182 140 9 0 71 0

[startup+0.0295671 s]
/proc/loadavg: 3.77 3.86 3.88 4/198 28403
/proc/meminfo: memFree=26091464/32873648 swapFree=6596/6596
[pid=28403] ppid=28401 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/28403/stat : 28403 (java) S 28401 28403 25418 0 -1 4202496 2774 0 1 0 0 0 0 0 20 0 10 0 254012375 9233014784 3474 33554432000 1073741824 1073778376 140733310231680 140733310222816 212076625981 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28403/statm: 2254154 3474 1538 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616

[startup+0.100252 s]
/proc/loadavg: 3.77 3.86 3.88 4/198 28403
/proc/meminfo: memFree=26091464/32873648 swapFree=6596/6596
[pid=28403] ppid=28401 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/28403/stat : 28403 (java) S 28401 28403 25418 0 -1 4202496 4297 0 1 0 8 1 0 0 20 0 18 0 254012375 9787813888 5493 33554432000 1073741824 1073778376 140733310231680 140733310222816 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28403/statm: 2389603 5493 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300244 s]
/proc/loadavg: 3.77 3.86 3.88 4/198 28403
/proc/meminfo: memFree=26091464/32873648 swapFree=6596/6596
[pid=28403] ppid=28401 vsize=9558412 CPUtime=0.5 cores=1,3,5,7
/proc/28403/stat : 28403 (java) S 28401 28403 25418 0 -1 4202496 6360 0 1 0 48 2 0 0 20 0 18 0 254012375 9787813888 8747 33554432000 1073741824 1073778376 140733310231680 140733310222816 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28403/statm: 2389603 8747 2228 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558412

[startup+0.70018 s]
/proc/loadavg: 3.77 3.86 3.88 4/198 28403
/proc/meminfo: memFree=26091464/32873648 swapFree=6596/6596
[pid=28403] ppid=28401 vsize=9691540 CPUtime=1.62 cores=1,3,5,7
/proc/28403/stat : 28403 (java) S 28401 28403 25418 0 -1 4202496 25683 0 1 0 155 7 0 0 20 0 20 0 254012375 9924136960 30720 33554432000 1073741824 1073778376 140733310231680 140733310222816 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28403/statm: 2422885 30720 2251 9 0 2413578 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9691540

[startup+1.50066 s]
/proc/loadavg: 3.77 3.86 3.88 5/217 28425
/proc/meminfo: memFree=25976440/32873648 swapFree=6596/6596
[pid=28403] ppid=28401 vsize=9824668 CPUtime=4.12 cores=1,3,5,7
/proc/28403/stat : 28403 (java) S 28401 28403 25418 0 -1 4202496 31082 0 1 0 402 10 0 0 20 0 22 0 254012375 10060460032 36749 33554432000 1073741824 1073778376 140733310231680 140733310222816 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28403/statm: 2456167 36749 2263 9 0 2446860 0
[pid=28403/tid=28405] ppid=28401 vsize=9824668 CPUtime=0.64 cores=1,3,5,7
/proc/28403/task/28405/stat : 28405 (java) S 28401 28403 25418 0 -1 4202560 2482 0 1 0 62 2 0 0 20 0 22 0 254012376 10060460032 36749 33554432000 1073741824 1073778376 140733310231680 140417816310776 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28406] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28406/stat : 28406 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012377 10060460032 36749 33554432000 1073741824 1073778376 140733310231680 140417788762792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28407] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28407/stat : 28407 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012377 10060460032 36749 33554432000 1073741824 1073778376 140733310231680 140417787710248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28408] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28408/stat : 28408 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012377 10060460032 36749 33554432000 1073741824 1073778376 140733310231680 140417786657704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28403/tid=28409] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28409/stat : 28409 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012377 10060460032 36749 33554432000 1073741824 1073778376 140733310231680 140417785605160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28410] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28410/stat : 28410 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012377 10060460032 36749 33554432000 1073741824 1073778376 140733310231680 140417784551592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28411] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28411/stat : 28411 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012377 10060460032 36749 33554432000 1073741824 1073778376 140733310231680 140417783499048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28412] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28412/stat : 28412 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012377 10060460032 36749 33554432000 1073741824 1073778376 140733310231680 140417653320104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28413] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28413/stat : 28413 (java) S 28401 28403 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254012377 10060460032 36749 33554432000 1073741824 1073778376 140733310231680 140417652267560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28414] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28414/stat : 28414 (java) S 28401 28403 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254012378 10060460032 36749 33554432000 1073741824 1073778376 140733310231680 140417169320552 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28415] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28415/stat : 28415 (java) S 28401 28403 25418 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 254012378 10060460032 36749 33554432000 1073741824 1073778376 140733310231680 140417168266872 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28416] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28416/stat : 28416 (java) S 28401 28403 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254012378 10060460032 36749 33554432000 1073741824 1073778376 140733310231680 140417167214216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28417] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28417/stat : 28417 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012381 10060460032 36749 33554432000 1073741824 1073778376 140733310231680 140417166162960 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28418] ppid=28401 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/28403/task/28418/stat : 28418 (java) R 28401 28403 25418 0 -1 4202560 12931 0 0 0 123 3 0 0 20 0 22 0 254012381 10060460032 36749 33554432000 1073741824 1073778376 140733310231680 140417165096832 140417819357923 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28419] ppid=28401 vsize=9824668 CPUtime=1.24 cores=1,3,5,7
/proc/28403/task/28419/stat : 28419 (java) R 28401 28403 25418 0 -1 4202560 14330 0 0 0 120 4 0 0 20 0 22 0 254012381 10060460032 36749 33554432000 1073741824 1073778376 140733310231680 140417164056760 140417820396634 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28420] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28420/stat : 28420 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012381 10060460032 36749 33554432000 1073741824 1073778376 140733310231680 140417163004408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28421] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28421/stat : 28421 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012381 10060460032 36749 33554432000 1073741824 1073778376 140733310231680 140417161952072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28424] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28424/stat : 28424 (java) S 28401 28403 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254012450 10060460032 36749 33554432000 1073741824 1073778376 140733310231680 140417158792744 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 9824668

[startup+3.10066 s]
/proc/loadavg: 3.77 3.86 3.88 11/220 28431
/proc/meminfo: memFree=25830104/32873648 swapFree=6596/6596
[pid=28403] ppid=28401 vsize=9824668 CPUtime=7.37 cores=1,3,5,7
/proc/28403/stat : 28403 (java) S 28401 28403 25418 0 -1 4202496 32343 0 1 0 713 24 0 0 20 0 22 0 254012375 10060460032 91496 33554432000 1073741824 1073778376 140733310231680 140733310222816 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28403/statm: 2456167 91496 2289 9 0 2446860 0
[pid=28403/tid=28405] ppid=28401 vsize=9824668 CPUtime=0.64 cores=1,3,5,7
/proc/28403/task/28405/stat : 28405 (java) S 28401 28403 25418 0 -1 4202560 2482 0 1 0 62 2 0 0 20 0 22 0 254012376 10060460032 91496 33554432000 1073741824 1073778376 140733310231680 140417816310776 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28403/tid=28406] ppid=28401 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/28403/task/28406/stat : 28406 (java) S 28401 28403 25418 0 -1 4202560 86 0 0 0 3 2 0 0 20 0 22 0 254012377 10060460032 91496 33554432000 1073741824 1073778376 140733310231680 140417788762792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28407] ppid=28401 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/28403/task/28407/stat : 28407 (java) S 28401 28403 25418 0 -1 4202560 69 0 0 0 2 0 0 0 20 0 22 0 254012377 10060460032 91496 33554432000 1073741824 1073778376 140733310231680 140417787710248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28408] ppid=28401 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/28403/task/28408/stat : 28408 (java) S 28401 28403 25418 0 -1 4202560 90 0 0 0 3 0 0 0 20 0 22 0 254012377 10060460032 91496 33554432000 1073741824 1073778376 140733310231680 140417786657704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28403/tid=28409] ppid=28401 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/28403/task/28409/stat : 28409 (java) S 28401 28403 25418 0 -1 4202560 34 0 0 0 3 1 0 0 20 0 22 0 254012377 10060460032 91496 33554432000 1073741824 1073778376 140733310231680 140417785605160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28410] ppid=28401 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/28403/task/28410/stat : 28410 (java) S 28401 28403 25418 0 -1 4202560 22 0 0 0 2 1 0 0 20 0 22 0 254012377 10060460032 91496 33554432000 1073741824 1073778376 140733310231680 140417784551592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28403/tid=28411] ppid=28401 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/28403/task/28411/stat : 28411 (java) S 28401 28403 25418 0 -1 4202560 215 0 0 0 3 0 0 0 20 0 22 0 254012377 10060460032 91496 33554432000 1073741824 1073778376 140733310231680 140417783499048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28412] ppid=28401 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/28403/task/28412/stat : 28412 (java) S 28401 28403 25418 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 254012377 10060460032 91496 33554432000 1073741824 1073778376 140733310231680 140417653320104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28413] ppid=28401 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/28403/task/28413/stat : 28413 (java) S 28401 28403 25418 0 -1 4202560 23 0 0 0 1 2 0 0 20 0 22 0 254012377 10060460032 91496 33554432000 1073741824 1073778376 140733310231680 140417652267560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28414] ppid=28401 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/28403/task/28414/stat : 28414 (java) R 28401 28403 25418 0 -1 4202560 103 0 0 0 9 0 0 0 20 0 22 0 254012378 10060460032 91496 33554432000 1073741824 1073778376 140733310231680 140417169319528 140417820446765 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28415] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28415/stat : 28415 (java) S 28401 28403 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254012378 10060460032 91496 33554432000 1073741824 1073778376 140733310231680 140417168266872 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28416] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28416/stat : 28416 (java) S 28401 28403 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254012378 10060460032 91496 33554432000 1073741824 1073778376 140733310231680 140417167214216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28417] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28417/stat : 28417 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012381 10060460032 91496 33554432000 1073741824 1073778376 140733310231680 140417166162960 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28418] ppid=28401 vsize=9824668 CPUtime=1.52 cores=1,3,5,7
/proc/28403/task/28418/stat : 28418 (java) S 28401 28403 25418 0 -1 4202560 13472 0 0 0 149 3 0 0 20 0 22 0 254012381 10060460032 91496 33554432000 1073741824 1073778376 140733310231680 140417165109304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28419] ppid=28401 vsize=9824668 CPUtime=1.54 cores=1,3,5,7
/proc/28403/task/28419/stat : 28419 (java) S 28401 28403 25418 0 -1 4202560 14333 0 0 0 150 4 0 0 20 0 22 0 254012381 10060460032 91496 33554432000 1073741824 1073778376 140733310231680 140417164056760 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28420] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28420/stat : 28420 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012381 10060460032 91496 33554432000 1073741824 1073778376 140733310231680 140417163004408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28421] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28421/stat : 28421 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012381 10060460032 91496 33554432000 1073741824 1073778376 140733310231680 140417161952072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28428] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28428/stat : 28428 (java) S 28401 28403 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254012493 10060460032 91496 33554432000 1073741824 1073778376 140733310231680 140417157739560 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.37
Current children cumulated vsize (KiB) 9824668

[startup+6.30075 s]
/proc/loadavg: 3.63 3.83 3.87 5/220 28440
/proc/meminfo: memFree=25599428/32873648 swapFree=6596/6596
[pid=28403] ppid=28401 vsize=9824668 CPUtime=12.42 cores=1,3,5,7
/proc/28403/stat : 28403 (java) S 28401 28403 25418 0 -1 4202496 32616 0 1 0 1208 34 0 0 20 0 22 0 254012375 10060460032 122558 33554432000 1073741824 1073778376 140733310231680 140733310222816 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28403/statm: 2456167 122558 2289 9 0 2446860 0
[pid=28403/tid=28405] ppid=28401 vsize=9824668 CPUtime=0.64 cores=1,3,5,7
/proc/28403/task/28405/stat : 28405 (java) S 28401 28403 25418 0 -1 4202560 2482 0 1 0 62 2 0 0 20 0 22 0 254012376 10060460032 122558 33554432000 1073741824 1073778376 140733310231680 140417816310776 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28406] ppid=28401 vsize=9824668 CPUtime=0.11 cores=1,3,5,7
/proc/28403/task/28406/stat : 28406 (java) S 28401 28403 25418 0 -1 4202560 95 0 0 0 8 3 0 0 20 0 22 0 254012377 10060460032 122558 33554432000 1073741824 1073778376 140733310231680 140417788762792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28407] ppid=28401 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/28403/task/28407/stat : 28407 (java) S 28401 28403 25418 0 -1 4202560 73 0 0 0 5 0 0 0 20 0 22 0 254012377 10060460032 122558 33554432000 1073741824 1073778376 140733310231680 140417787710248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28408] ppid=28401 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/28403/task/28408/stat : 28408 (java) S 28401 28403 25418 0 -1 4202560 98 0 0 0 3 1 0 0 20 0 22 0 254012377 10060460032 122558 33554432000 1073741824 1073778376 140733310231680 140417786657704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28409] ppid=28401 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/28403/task/28409/stat : 28409 (java) S 28401 28403 25418 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 22 0 254012377 10060460032 122558 33554432000 1073741824 1073778376 140733310231680 140417785605160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28410] ppid=28401 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/28403/task/28410/stat : 28410 (java) S 28401 28403 25418 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 22 0 254012377 10060460032 122558 33554432000 1073741824 1073778376 140733310231680 140417784551592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28411] ppid=28401 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/28403/task/28411/stat : 28411 (java) S 28401 28403 25418 0 -1 4202560 220 0 0 0 5 0 0 0 20 0 22 0 254012377 10060460032 122558 33554432000 1073741824 1073778376 140733310231680 140417783499048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28412] ppid=28401 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/28403/task/28412/stat : 28412 (java) S 28401 28403 25418 0 -1 4202560 23 0 0 0 4 1 0 0 20 0 22 0 254012377 10060460032 122558 33554432000 1073741824 1073778376 140733310231680 140417653320104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28413] ppid=28401 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/28403/task/28413/stat : 28413 (java) S 28401 28403 25418 0 -1 4202560 29 0 0 0 5 2 0 0 20 0 22 0 254012377 10060460032 122558 33554432000 1073741824 1073778376 140733310231680 140417652267560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28403/tid=28414] ppid=28401 vsize=9824668 CPUtime=0.6 cores=1,3,5,7
/proc/28403/task/28414/stat : 28414 (java) R 28401 28403 25418 0 -1 4202560 258 0 0 0 58 2 0 0 20 0 22 0 254012378 10060460032 122558 33554432000 1073741824 1073778376 140733310231680 140417169319528 140417822436495 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28415] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28415/stat : 28415 (java) S 28401 28403 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254012378 10060460032 122558 33554432000 1073741824 1073778376 140733310231680 140417168266872 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28416] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28416/stat : 28416 (java) S 28401 28403 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254012378 10060460032 122558 33554432000 1073741824 1073778376 140733310231680 140417167214216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28403/tid=28417] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28417/stat : 28417 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012381 10060460032 122558 33554432000 1073741824 1073778376 140733310231680 140417166162960 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28418] ppid=28401 vsize=9824668 CPUtime=1.59 cores=1,3,5,7
/proc/28403/task/28418/stat : 28418 (java) S 28401 28403 25418 0 -1 4202560 13474 0 0 0 156 3 0 0 20 0 22 0 254012381 10060460032 122558 33554432000 1073741824 1073778376 140733310231680 140417165109304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28419] ppid=28401 vsize=9824668 CPUtime=1.57 cores=1,3,5,7
/proc/28403/task/28419/stat : 28419 (java) S 28401 28403 25418 0 -1 4202560 14334 0 0 0 153 4 0 0 20 0 22 0 254012381 10060460032 122558 33554432000 1073741824 1073778376 140733310231680 140417164056760 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28420] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28420/stat : 28420 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012381 10060460032 122558 33554432000 1073741824 1073778376 140733310231680 140417163004408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28421] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28421/stat : 28421 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012381 10060460032 122558 33554432000 1073741824 1073778376 140733310231680 140417161952072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28428] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28428/stat : 28428 (java) S 28401 28403 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254012493 10060460032 122558 33554432000 1073741824 1073778376 140733310231680 140417157739560 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 9824668

[startup+12.7007 s]

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

[pid=28403/tid=28409] ppid=28401 vsize=9824668 CPUtime=2.33 cores=1,3,5,7
/proc/28403/task/28409/stat : 28409 (java) S 28401 28403 25418 0 -1 4202560 606 0 0 0 221 12 0 0 20 0 22 0 254012377 10060460032 973703 33554432000 1073741824 1073778376 140733310231680 140417785605160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28403/tid=28410] ppid=28401 vsize=9824668 CPUtime=2.23 cores=1,3,5,7
/proc/28403/task/28410/stat : 28410 (java) S 28401 28403 25418 0 -1 4202560 996 0 0 0 210 13 0 0 20 0 22 0 254012377 10060460032 973703 33554432000 1073741824 1073778376 140733310231680 140417784551592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28411] ppid=28401 vsize=9824668 CPUtime=2.25 cores=1,3,5,7
/proc/28403/task/28411/stat : 28411 (java) S 28401 28403 25418 0 -1 4202560 715 0 0 0 214 11 0 0 20 0 22 0 254012377 10060460032 973703 33554432000 1073741824 1073778376 140733310231680 140417783499048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28412] ppid=28401 vsize=9824668 CPUtime=2.38 cores=1,3,5,7
/proc/28403/task/28412/stat : 28412 (java) S 28401 28403 25418 0 -1 4202560 477 0 0 0 226 12 0 0 20 0 22 0 254012377 10060460032 973703 33554432000 1073741824 1073778376 140733310231680 140417653320104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28413] ppid=28401 vsize=9824668 CPUtime=2.67 cores=1,3,5,7
/proc/28403/task/28413/stat : 28413 (java) S 28401 28403 25418 0 -1 4202560 698 0 0 0 251 16 0 0 20 0 22 0 254012377 10060460032 973703 33554432000 1073741824 1073778376 140733310231680 140417652267560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28414] ppid=28401 vsize=9824668 CPUtime=145.67 cores=1,3,5,7
/proc/28403/task/28414/stat : 28414 (java) S 28401 28403 25418 0 -1 4202560 4359 0 0 0 14542 25 0 0 20 0 22 0 254012378 10060460032 973703 33554432000 1073741824 1073778376 140733310231680 140417169320552 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28415] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28415/stat : 28415 (java) S 28401 28403 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254012378 10060460032 973703 33554432000 1073741824 1073778376 140733310231680 140417168266872 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28416] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28416/stat : 28416 (java) S 28401 28403 25418 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 254012378 10060460032 973703 33554432000 1073741824 1073778376 140733310231680 140417167214216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28403/tid=28417] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28417/stat : 28417 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012381 10060460032 973703 33554432000 1073741824 1073778376 140733310231680 140417166162960 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28418] ppid=28401 vsize=9824668 CPUtime=1.81 cores=1,3,5,7
/proc/28403/task/28418/stat : 28418 (java) S 28401 28403 25418 0 -1 4202560 13481 0 0 0 178 3 0 0 20 0 22 0 254012381 10060460032 973703 33554432000 1073741824 1073778376 140733310231680 140417165109304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28419] ppid=28401 vsize=9824668 CPUtime=1.66 cores=1,3,5,7
/proc/28403/task/28419/stat : 28419 (java) S 28401 28403 25418 0 -1 4202560 14334 0 0 0 162 4 0 0 20 0 22 0 254012381 10060460032 973703 33554432000 1073741824 1073778376 140733310231680 140417164056760 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28420] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28420/stat : 28420 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012381 10060460032 973703 33554432000 1073741824 1073778376 140733310231680 140417163004408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28421] ppid=28401 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/28403/task/28421/stat : 28421 (java) S 28401 28403 25418 0 -1 4202560 50 0 0 0 14 23 0 0 20 0 22 0 254012381 10060460032 973703 33554432000 1073741824 1073778376 140733310231680 140417161952072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28428] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28428/stat : 28428 (java) S 28401 28403 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254012493 10060460032 973703 33554432000 1073741824 1073778376 140733310231680 140417157739560 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28457] ppid=28401 vsize=9824668 CPUtime=493.08 cores=1,3,5,7
/proc/28403/task/28457/stat : 28457 (java) R 28401 28403 25418 0 -1 4202560 26 0 0 0 49301 7 0 0 20 0 22 0 254041776 10060460032 973703 33554432000 1073741824 1073778376 140733310231680 140417159844704 140417664778385 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28458] ppid=28401 vsize=9824668 CPUtime=493.1 cores=1,3,5,7
/proc/28403/task/28458/stat : 28458 (java) R 28401 28403 25418 0 -1 4202560 23 0 0 0 49303 7 0 0 20 0 22 0 254041776 10060460032 973703 33554432000 1073741824 1073778376 140733310231680 140417160895600 140417665774144 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28459] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28459/stat : 28459 (java) S 28401 28403 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254041776 10060460032 973703 33554432000 1073741824 1073778376 140733310231680 140417158791976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1623.86
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 3.75 3.73 3.75 5/219 28656
/proc/meminfo: memFree=23847132/32873648 swapFree=6596/6596
[pid=28403] ppid=28401 vsize=9824668 CPUtime=1736.72 cores=1,3,5,7
/proc/28403/stat : 28403 (java) S 28401 28403 25418 0 -1 4202496 44256 0 1 0 173465 207 0 0 20 0 22 0 254012375 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140733310222816 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28403/statm: 2456167 995056 2290 9 0 2446860 0
[pid=28403/tid=28405] ppid=28401 vsize=9824668 CPUtime=0.7 cores=1,3,5,7
/proc/28403/task/28405/stat : 28405 (java) S 28401 28403 25418 0 -1 4202560 2587 0 1 0 65 5 0 0 20 0 22 0 254012376 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417816310776 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28406] ppid=28401 vsize=9824668 CPUtime=2.41 cores=1,3,5,7
/proc/28403/task/28406/stat : 28406 (java) S 28401 28403 25418 0 -1 4202560 618 0 0 0 225 16 0 0 20 0 22 0 254012377 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417788762792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28407] ppid=28401 vsize=9824668 CPUtime=2.27 cores=1,3,5,7
/proc/28403/task/28407/stat : 28407 (java) S 28401 28403 25418 0 -1 4202560 531 0 0 0 213 14 0 0 20 0 22 0 254012377 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417787710248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28408] ppid=28401 vsize=9824668 CPUtime=2.14 cores=1,3,5,7
/proc/28403/task/28408/stat : 28408 (java) S 28401 28403 25418 0 -1 4202560 818 0 0 0 204 10 0 0 20 0 22 0 254012377 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417786657704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28409] ppid=28401 vsize=9824668 CPUtime=2.45 cores=1,3,5,7
/proc/28403/task/28409/stat : 28409 (java) S 28401 28403 25418 0 -1 4202560 614 0 0 0 232 13 0 0 20 0 22 0 254012377 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417785605160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28403/tid=28410] ppid=28401 vsize=9824668 CPUtime=2.36 cores=1,3,5,7
/proc/28403/task/28410/stat : 28410 (java) S 28401 28403 25418 0 -1 4202560 1004 0 0 0 223 13 0 0 20 0 22 0 254012377 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417784551592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28403/tid=28411] ppid=28401 vsize=9824668 CPUtime=2.4 cores=1,3,5,7
/proc/28403/task/28411/stat : 28411 (java) S 28401 28403 25418 0 -1 4202560 743 0 0 0 229 11 0 0 20 0 22 0 254012377 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417783499048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28412] ppid=28401 vsize=9824668 CPUtime=2.5 cores=1,3,5,7
/proc/28403/task/28412/stat : 28412 (java) S 28401 28403 25418 0 -1 4202560 482 0 0 0 238 12 0 0 20 0 22 0 254012377 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417653320104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28413] ppid=28401 vsize=9824668 CPUtime=2.81 cores=1,3,5,7
/proc/28403/task/28413/stat : 28413 (java) S 28401 28403 25418 0 -1 4202560 716 0 0 0 265 16 0 0 20 0 22 0 254012377 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417652267560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28403/tid=28414] ppid=28401 vsize=9824668 CPUtime=153.22 cores=1,3,5,7
/proc/28403/task/28414/stat : 28414 (java) S 28401 28403 25418 0 -1 4202560 5260 0 0 0 15296 26 0 0 20 0 22 0 254012378 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417169320552 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28415] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28415/stat : 28415 (java) S 28401 28403 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254012378 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417168266872 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28416] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28416/stat : 28416 (java) S 28401 28403 25418 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 254012378 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417167214216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28403/tid=28417] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28417/stat : 28417 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012381 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417166162960 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28418] ppid=28401 vsize=9824668 CPUtime=1.81 cores=1,3,5,7
/proc/28403/task/28418/stat : 28418 (java) S 28401 28403 25418 0 -1 4202560 13481 0 0 0 178 3 0 0 20 0 22 0 254012381 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417165109304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28419] ppid=28401 vsize=9824668 CPUtime=1.66 cores=1,3,5,7
/proc/28403/task/28419/stat : 28419 (java) S 28401 28403 25418 0 -1 4202560 14334 0 0 0 162 4 0 0 20 0 22 0 254012381 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417164056760 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28420] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28420/stat : 28420 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012381 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417163004408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28421] ppid=28401 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/28403/task/28421/stat : 28421 (java) S 28401 28403 25418 0 -1 4202560 54 0 0 0 15 24 0 0 20 0 22 0 254012381 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417161952072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28428] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28428/stat : 28428 (java) S 28401 28403 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254012493 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417157739560 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28457] ppid=28401 vsize=9824668 CPUtime=545.14 cores=1,3,5,7
/proc/28403/task/28457/stat : 28457 (java) R 28401 28403 25418 0 -1 4202560 28 0 0 0 54506 8 0 0 20 0 22 0 254041776 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417159842816 140417665652539 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28458] ppid=28401 vsize=9824668 CPUtime=545.16 cores=1,3,5,7
/proc/28403/task/28458/stat : 28458 (java) R 28401 28403 25418 0 -1 4202560 24 0 0 0 54508 8 0 0 20 0 22 0 254041776 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417160896416 140417665775327 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28459] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28459/stat : 28459 (java) S 28401 28403 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254041776 10060460032 995056 33554432000 1073741824 1073778376 140733310231680 140417158791976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1736.72
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+974.401 s]
/proc/loadavg: 3.86 3.76 3.76 5/219 28656
/proc/meminfo: memFree=23713956/32873648 swapFree=6596/6596
[pid=28403] ppid=28401 vsize=9824668 CPUtime=1799.21 cores=1,3,5,7
/proc/28403/stat : 28403 (java) S 28401 28403 25418 0 -1 4202496 44315 0 1 0 179713 208 0 0 20 0 22 0 254012375 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140733310222816 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28403/statm: 2456167 999176 2290 9 0 2446860 0
[pid=28403/tid=28405] ppid=28401 vsize=9824668 CPUtime=0.7 cores=1,3,5,7
/proc/28403/task/28405/stat : 28405 (java) S 28401 28403 25418 0 -1 4202560 2588 0 1 0 65 5 0 0 20 0 22 0 254012376 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417816310776 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28406] ppid=28401 vsize=9824668 CPUtime=2.45 cores=1,3,5,7
/proc/28403/task/28406/stat : 28406 (java) S 28401 28403 25418 0 -1 4202560 618 0 0 0 229 16 0 0 20 0 22 0 254012377 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417788762792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28403/tid=28407] ppid=28401 vsize=9824668 CPUtime=2.3 cores=1,3,5,7
/proc/28403/task/28407/stat : 28407 (java) S 28401 28403 25418 0 -1 4202560 533 0 0 0 216 14 0 0 20 0 22 0 254012377 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417787710248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28408] ppid=28401 vsize=9824668 CPUtime=2.16 cores=1,3,5,7
/proc/28403/task/28408/stat : 28408 (java) S 28401 28403 25418 0 -1 4202560 820 0 0 0 206 10 0 0 20 0 22 0 254012377 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417786657704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28409] ppid=28401 vsize=9824668 CPUtime=2.49 cores=1,3,5,7
/proc/28403/task/28409/stat : 28409 (java) S 28401 28403 25418 0 -1 4202560 614 0 0 0 236 13 0 0 20 0 22 0 254012377 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417785605160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28403/tid=28410] ppid=28401 vsize=9824668 CPUtime=2.4 cores=1,3,5,7
/proc/28403/task/28410/stat : 28410 (java) S 28401 28403 25418 0 -1 4202560 1007 0 0 0 227 13 0 0 20 0 22 0 254012377 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417784551592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28403/tid=28411] ppid=28401 vsize=9824668 CPUtime=2.45 cores=1,3,5,7
/proc/28403/task/28411/stat : 28411 (java) S 28401 28403 25418 0 -1 4202560 743 0 0 0 234 11 0 0 20 0 22 0 254012377 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417783499048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28412] ppid=28401 vsize=9824668 CPUtime=2.57 cores=1,3,5,7
/proc/28403/task/28412/stat : 28412 (java) S 28401 28403 25418 0 -1 4202560 500 0 0 0 244 13 0 0 20 0 22 0 254012377 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417653320104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28413] ppid=28401 vsize=9824668 CPUtime=2.86 cores=1,3,5,7
/proc/28403/task/28413/stat : 28413 (java) S 28401 28403 25418 0 -1 4202560 716 0 0 0 270 16 0 0 20 0 22 0 254012377 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417652267560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28414] ppid=28401 vsize=9824668 CPUtime=155.09 cores=1,3,5,7
/proc/28403/task/28414/stat : 28414 (java) S 28401 28403 25418 0 -1 4202560 5290 0 0 0 15482 27 0 0 20 0 22 0 254012378 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417169320552 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28415] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28415/stat : 28415 (java) S 28401 28403 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254012378 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417168266872 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28416] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28416/stat : 28416 (java) S 28401 28403 25418 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 254012378 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417167214216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28403/tid=28417] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28417/stat : 28417 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012381 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417166162960 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28418] ppid=28401 vsize=9824668 CPUtime=1.81 cores=1,3,5,7
/proc/28403/task/28418/stat : 28418 (java) S 28401 28403 25418 0 -1 4202560 13481 0 0 0 178 3 0 0 20 0 22 0 254012381 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417165109304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28403/tid=28419] ppid=28401 vsize=9824668 CPUtime=1.66 cores=1,3,5,7
/proc/28403/task/28419/stat : 28419 (java) S 28401 28403 25418 0 -1 4202560 14334 0 0 0 162 4 0 0 20 0 22 0 254012381 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417164056760 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28420] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28420/stat : 28420 (java) S 28401 28403 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254012381 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417163004408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28421] ppid=28401 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/28403/task/28421/stat : 28421 (java) S 28401 28403 25418 0 -1 4202560 56 0 0 0 17 25 0 0 20 0 22 0 254012381 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417161952072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28428] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28428/stat : 28428 (java) S 28401 28403 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254012493 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417157739560 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28457] ppid=28401 vsize=9824668 CPUtime=575.2 cores=1,3,5,7
/proc/28403/task/28457/stat : 28457 (java) R 28401 28403 25418 0 -1 4202560 29 0 0 0 57512 8 0 0 20 0 22 0 254041776 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417159843760 140417664778297 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28403/tid=28458] ppid=28401 vsize=9824668 CPUtime=575.21 cores=1,3,5,7
/proc/28403/task/28458/stat : 28458 (java) R 28401 28403 25418 0 -1 4202560 24 0 0 0 57513 8 0 0 20 0 22 0 254041776 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417160895600 140417665761782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28403/tid=28459] ppid=28401 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28403/task/28459/stat : 28459 (java) S 28401 28403 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254041776 10060460032 999176 33554432000 1073741824 1073778376 140733310231680 140417158791976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.21
Current children cumulated vsize (KiB) 9824668

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28403 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=790302
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=520616
# CPU time returned by wait4() is 1796.31
# while last known CPU time is 1799.21
#
# 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): 0.970032
#  lost CPU user time (s): 1.02002
#  lost CPU system time (s): -0.0500001

Real time (s): 974.442
CPU time (s): 1800.18
CPU user time (s): 1798.15
CPU system time (s): 2.03
CPU usage (%): 184.74
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.79
system time used= 2.52062
maximum resident set size= 3996820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44348
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26651
involuntary context switches= 42718

runsolver used 3.77143 second user time and 8.74367 second system time

The end

Launcher Data 

Begin job on node148 at 2012-05-24 19:01:19
IDJOB=3688670
IDBENCH=48182
IDSOLVER=2268
FILE ID=node148/3688670-1337878879
RUNJOBID= node148-1337871865-25435
PBS_JOBID= 14620056
Free space on /tmp= 71704 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_5.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688670-1337878879/watcher-3688670-1337878879 -o /tmp/evaluation-result-3688670-1337878879/solver-3688670-1337878879 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688670-1337878879.opb

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

MD5SUM BENCH= 40141f2f083fa5e1f8a41aa043de0b1b
RANDOM SEED=1559517424

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26091736 kB
Buffers:          236908 kB
Cached:          2575300 kB
SwapCached:            0 kB
Active:          3601696 kB
Inactive:        2374268 kB
Active(anon):    3166276 kB
Inactive(anon):      316 kB
Active(file):     435420 kB
Inactive(file):  2373952 kB
Unevictable:        6596 kB
Mlocked:            6596 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               412 kB
Writeback:             0 kB
AnonPages:       3187068 kB
Mapped:            22556 kB
Shmem:               200 kB
Slab:             645984 kB
SReclaimable:      90288 kB
SUnreclaim:       555696 kB
KernelStack:        1640 kB
PageTables:        10300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    3539800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3121152 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= 71704 MiB
End job on node148 at 2012-05-24 19:17:35