Trace number 3733005

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
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO)-26 1800.11 926.954

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
MD5SUM2e8a2f5e2511f10f037e700bd45c84a1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-30
Best CPU time to get the best result obtained on this benchmark12.2971
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved YES
Number of variables450
Total number of constraints17794
Number of constraints which are clauses17794
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 constraint2
Maximum length of a constraint2
Number of terms in the objective function 450
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 450
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 450
Number of bits of the biggest sum of numbers9
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version 2.2.0.v20100531
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		1349517296
0.00/0.07	c Max memory 		1356595200
0.00/0.07	c Total memory 		1356595200
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c Stops conflict analysis at the first Unique Implication Point
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c Stops conflict analysis at the first Unique Implication Point
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	
0.10/0.11	c solving HOME/instance-3733005-1338741208.opb
0.10/0.11	c reading problem ... 
1.08/0.50	c ... done. Wall clock time 0.393s.
1.08/0.50	c #vars     450
1.08/0.50	c #constraints  17794
1.08/0.50	c constraints type 
1.08/0.50	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17794
1.08/0.50	c constraints type 
1.08/0.50	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17794
1.08/0.52	c And the winner is Resolution
1.16/1.50	c SATISFIABLE
1.16/1.50	c OPTIMIZING...
1.16/1.50	c Got one! Elapsed wall clock time (in seconds):1.398
1.16/1.50	o -19
1.16/1.57	c And the winner is Resolution
1.54/2.51	c Got one! Elapsed wall clock time (in seconds):2.402
1.54/2.51	o -20
1.54/2.55	c And the winner is Resolution
2.16/3.51	c Got one! Elapsed wall clock time (in seconds):3.404
2.16/3.51	o -21
2.16/3.53	c And the winner is Resolution
2.25/4.51	c Got one! Elapsed wall clock time (in seconds):4.406
2.25/4.51	o -22
2.95/4.71	c And the winner is Resolution
3.01/5.51	c Got one! Elapsed wall clock time (in seconds):5.407
3.01/5.51	o -23
3.94/5.90	c cleaning 2501 clauses out of 5001 with flag 5001/5001
4.17/6.00	c And the winner is Resolution
4.25/6.52	c Got one! Elapsed wall clock time (in seconds):6.409
4.25/6.52	o -24
4.83/6.85	c And the winner is Resolution
4.98/7.52	c Got one! Elapsed wall clock time (in seconds):7.41
4.98/7.52	o -25
5.61/7.84	c cleaning 4250 clauses out of 8499 with flag 11000/11000
7.47/8.72	c cleaning 5625 clauses out of 11249 with flag 18000/18000
8.62/9.32	c And the winner is Resolution
8.77/9.52	c Got one! Elapsed wall clock time (in seconds):9.412
8.77/9.52	o -26
9.54/10.00	c cleaning 6812 clauses out of 13624 with flag 26000/26000
12.26/11.37	c cleaning 7903 clauses out of 15812 with flag 35000/35000
15.66/13.06	c cleaning 8955 clauses out of 17909 with flag 45000/45000
20.25/15.33	c cleaning 9977 clauses out of 19955 with flag 56001/56001
24.88/17.68	c cleaning 10982 clauses out of 21977 with flag 68000/68000
30.79/20.64	c cleaning 11998 clauses out of 23995 with flag 81000/81000
36.35/23.45	c cleaning 12999 clauses out of 25997 with flag 95000/95000
44.30/27.48	c cleaning 13992 clauses out of 27998 with flag 110000/110000
50.85/30.74	c cleaning 14996 clauses out of 30006 with flag 126000/126000
59.32/35.09	c cleaning 16001 clauses out of 32010 with flag 143000/143000
69.28/40.02	c cleaning 17005 clauses out of 34010 with flag 161001/161001
79.00/44.96	c cleaning 17499 clauses out of 35005 with flag 179001/179001
86.73/48.83	c cleaning 17753 clauses out of 35505 with flag 197000/197000
97.41/54.20	c cleaning 17873 clauses out of 35753 with flag 215001/215001
108.31/59.74	c cleaning 17931 clauses out of 35879 with flag 233000/233000
119.81/65.50	c cleaning 17957 clauses out of 35948 with flag 251000/251000
128.75/70.06	c cleaning 17994 clauses out of 35991 with flag 269000/269000
137.17/74.33	c cleaning 17996 clauses out of 35998 with flag 287001/287001
146.89/79.25	c cleaning 17998 clauses out of 36001 with flag 305000/305000
155.35/83.59	c cleaning 17995 clauses out of 36003 with flag 323000/323000
171.90/91.88	c cleaning 18003 clauses out of 36009 with flag 341001/341001
180.46/96.29	c cleaning 17998 clauses out of 36005 with flag 359000/359000
193.72/102.96	c cleaning 18000 clauses out of 36007 with flag 377000/377000
207.37/109.88	c cleaning 17996 clauses out of 36007 with flag 395000/395000
214.18/113.32	c cleaning 18003 clauses out of 36011 with flag 413000/413000
224.72/118.79	c cleaning 18001 clauses out of 36008 with flag 431000/431000
238.16/125.54	c cleaning 18001 clauses out of 36008 with flag 449001/449001
251.61/132.31	c cleaning 18003 clauses out of 36006 with flag 467000/467000
263.67/138.44	c cleaning 17991 clauses out of 36003 with flag 485000/485000
283.24/148.39	c cleaning 18007 clauses out of 36013 with flag 503001/503001
296.46/155.09	c cleaning 18002 clauses out of 36005 with flag 521000/521000
308.88/161.37	c cleaning 17989 clauses out of 36003 with flag 539000/539000
323.54/168.78	c cleaning 18005 clauses out of 36014 with flag 557000/557000
337.61/175.99	c cleaning 17988 clauses out of 36009 with flag 575000/575000
340.80/177.65	c cleaning 0 clauses out of 5002 with flag 0/5002
349.82/182.06	c cleaning 18004 clauses out of 36022 with flag 593001/593001
357.70/186.06	c cleaning 17998 clauses out of 36018 with flag 611001/611001
370.13/192.44	c cleaning 18003 clauses out of 36019 with flag 629000/629000
384.18/199.52	c cleaning 17993 clauses out of 36016 with flag 647000/647000
397.18/206.18	c cleaning 18004 clauses out of 36023 with flag 665000/665000
407.22/211.26	c cleaning 18008 clauses out of 36019 with flag 683000/683000
423.67/219.70	c cleaning 18000 clauses out of 36012 with flag 701001/701001
437.48/226.70	c cleaning 18005 clauses out of 36012 with flag 719001/719001
452.54/234.26	c cleaning 17996 clauses out of 36006 with flag 737000/737000
465.72/240.94	c cleaning 18006 clauses out of 36011 with flag 755001/755001
479.31/247.94	c cleaning 18001 clauses out of 36004 with flag 773000/773000
492.31/254.54	c cleaning 17992 clauses out of 36003 with flag 791000/791000
508.07/262.55	c cleaning 17998 clauses out of 36011 with flag 809000/809000
519.26/268.29	c cleaning 17999 clauses out of 36013 with flag 827000/827000
534.06/275.86	c cleaning 18003 clauses out of 36014 with flag 845000/845000
551.47/284.63	c cleaning 18004 clauses out of 36011 with flag 863000/863000
569.32/293.60	c cleaning 17996 clauses out of 36007 with flag 881000/881000
577.28/297.74	c cleaning 17987 clauses out of 36011 with flag 899000/899000
586.46/302.60	c cleaning 18002 clauses out of 36024 with flag 917000/917000
595.41/307.17	c cleaning 18000 clauses out of 36022 with flag 935000/935000
604.98/312.00	c cleaning 18006 clauses out of 36022 with flag 953000/953000
621.40/320.34	c cleaning 18004 clauses out of 36017 with flag 971001/971001
636.93/328.30	c cleaning 17990 clauses out of 36012 with flag 989000/989000
649.08/334.58	c cleaning 18005 clauses out of 36023 with flag 1007001/1007001
658.22/339.28	c cleaning 17996 clauses out of 36017 with flag 1025000/1025000
675.25/347.82	c cleaning 18008 clauses out of 36023 with flag 1043002/1043002
689.79/355.36	c cleaning 17998 clauses out of 36013 with flag 1061000/1061000
704.32/362.78	c cleaning 17996 clauses out of 36015 with flag 1079000/1079000
715.45/368.43	c cleaning 18001 clauses out of 36019 with flag 1097000/1097000
730.80/376.23	c cleaning 18001 clauses out of 36018 with flag 1115000/1115000
742.28/382.20	c cleaning 17990 clauses out of 36017 with flag 1133000/1133000
757.61/390.00	c cleaning 18010 clauses out of 36027 with flag 1151000/1151000
771.56/397.20	c cleaning 18004 clauses out of 36017 with flag 1169000/1169000
780.69/401.81	c cleaning 17989 clauses out of 36013 with flag 1187000/1187000
796.01/409.75	c cleaning 18001 clauses out of 36024 with flag 1205000/1205000
809.74/416.74	c cleaning 18006 clauses out of 36024 with flag 1223001/1223001
826.25/425.15	c cleaning 18001 clauses out of 36017 with flag 1241000/1241000
838.39/431.37	c cleaning 17989 clauses out of 36016 with flag 1259000/1259000
855.49/440.16	c cleaning 17996 clauses out of 36027 with flag 1277000/1277000
868.20/446.68	c cleaning 18005 clauses out of 36031 with flag 1295000/1295000
879.70/452.53	c cleaning 18001 clauses out of 36026 with flag 1313000/1313000
891.84/458.79	c cleaning 17998 clauses out of 36025 with flag 1331000/1331000
899.48/462.85	c cleaning 18007 clauses out of 36028 with flag 1349001/1349001
910.57/468.56	c cleaning 17998 clauses out of 36021 with flag 1367001/1367001
921.87/474.33	c cleaning 18011 clauses out of 36022 with flag 1385000/1385000
936.76/481.96	c cleaning 17998 clauses out of 36011 with flag 1403000/1403000
947.02/487.38	c cleaning 18006 clauses out of 36014 with flag 1421001/1421001
964.33/496.12	c cleaning 18001 clauses out of 36007 with flag 1439000/1439000
981.01/504.66	c cleaning 18002 clauses out of 36006 with flag 1457000/1457000
991.91/510.24	c cleaning 17995 clauses out of 36004 with flag 1475000/1475000
1000.19/514.62	c cleaning 17998 clauses out of 36010 with flag 1493001/1493001
1012.26/520.80	c cleaning 17998 clauses out of 36012 with flag 1511001/1511001
1021.14/525.46	c cleaning 18001 clauses out of 36014 with flag 1529001/1529001
1034.04/532.05	c cleaning 17995 clauses out of 36012 with flag 1547000/1547000
1044.66/537.65	c cleaning 18001 clauses out of 36018 with flag 1565001/1565001
1059.15/545.06	c cleaning 17997 clauses out of 36017 with flag 1583001/1583001
1070.82/551.02	c cleaning 17998 clauses out of 36019 with flag 1601000/1601000
1086.88/559.21	c cleaning 18003 clauses out of 36021 with flag 1619000/1619000
1099.09/565.66	c cleaning 18004 clauses out of 36018 with flag 1637000/1637000
1111.96/572.28	c cleaning 18004 clauses out of 36014 with flag 1655000/1655000
1125.64/579.22	c cleaning 17997 clauses out of 36010 with flag 1673000/1673000
1138.50/585.86	c cleaning 17998 clauses out of 36013 with flag 1691000/1691000
1153.31/593.53	c cleaning 18002 clauses out of 36015 with flag 1709000/1709000
1170.25/602.10	c cleaning 17992 clauses out of 36013 with flag 1727000/1727000
1182.90/608.65	c cleaning 18007 clauses out of 36022 with flag 1745001/1745001
1200.05/617.32	c cleaning 18000 clauses out of 36014 with flag 1763000/1763000
1215.43/625.36	c cleaning 17995 clauses out of 36014 with flag 1781000/1781000
1231.26/633.40	c cleaning 18005 clauses out of 36019 with flag 1799000/1799000
1248.36/642.17	c cleaning 18006 clauses out of 36014 with flag 1817000/1817000
1265.02/650.61	c cleaning 18005 clauses out of 36009 with flag 1835001/1835001
1278.19/657.51	c cleaning 17990 clauses out of 36003 with flag 1853000/1853000
1291.42/664.34	c cleaning 18002 clauses out of 36013 with flag 1871000/1871000
1306.65/672.19	c cleaning 18001 clauses out of 36011 with flag 1889000/1889000
1318.05/678.08	c cleaning 17985 clauses out of 36011 with flag 1907001/1907001
1337.09/687.87	c cleaning 17997 clauses out of 36025 with flag 1925000/1925000
1352.31/695.69	c cleaning 18009 clauses out of 36028 with flag 1943000/1943000
1369.92/704.64	c cleaning 18007 clauses out of 36020 with flag 1961001/1961001
1388.47/714.08	c cleaning 18002 clauses out of 36012 with flag 1979000/1979000
1402.56/721.45	c cleaning 18002 clauses out of 36011 with flag 1997001/1997001
1411.12/726.00	c cleaning 17990 clauses out of 36008 with flag 2015000/2015000
1423.14/732.19	c cleaning 17998 clauses out of 36018 with flag 2033000/2033000
1437.78/739.60	c cleaning 17997 clauses out of 36020 with flag 2051000/2051000
1450.71/746.44	c cleaning 18009 clauses out of 36023 with flag 2069000/2069000
1459.26/750.98	c cleaning 17989 clauses out of 36014 with flag 2087000/2087000
1473.16/758.04	c cleaning 18002 clauses out of 36025 with flag 2105000/2105000
1490.18/766.72	c cleaning 18011 clauses out of 36023 with flag 2123000/2123000
1504.30/774.17	c cleaning 17998 clauses out of 36012 with flag 2141000/2141000
1519.33/781.80	c cleaning 17991 clauses out of 36016 with flag 2159002/2159002
1530.35/787.56	c cleaning 18008 clauses out of 36023 with flag 2177000/2177000
1539.96/792.54	c cleaning 17997 clauses out of 36016 with flag 2195001/2195001
1555.26/800.57	c cleaning 17995 clauses out of 36018 with flag 2213000/2213000
1568.07/807.14	c cleaning 18000 clauses out of 36023 with flag 2231000/2231000
1580.23/813.47	c cleaning 18005 clauses out of 36023 with flag 2249000/2249000
1601.49/824.28	c cleaning 17987 clauses out of 36018 with flag 2267000/2267000
1617.00/832.36	c cleaning 18002 clauses out of 36032 with flag 2285001/2285001
1629.83/838.99	c cleaning 18009 clauses out of 36030 with flag 2303001/2303001
1648.30/848.34	c cleaning 18001 clauses out of 36020 with flag 2321000/2321000
1660.49/854.67	c cleaning 17987 clauses out of 36019 with flag 2339000/2339000
1674.77/862.17	c cleaning 18007 clauses out of 36033 with flag 2357001/2357001
1690.18/870.07	c cleaning 18006 clauses out of 36025 with flag 2375000/2375000
1701.36/875.81	c cleaning 18007 clauses out of 36019 with flag 2393000/2393000
1717.32/884.03	c cleaning 17995 clauses out of 36012 with flag 2411000/2411000
1737.29/894.39	c cleaning 17993 clauses out of 36018 with flag 2429001/2429001
1746.91/899.34	c cleaning 18009 clauses out of 36024 with flag 2447000/2447000
1763.10/907.66	c cleaning 18007 clauses out of 36017 with flag 2465002/2465002
1777.87/915.22	c cleaning 17998 clauses out of 36008 with flag 2483000/2483000
1789.71/921.59	c cleaning 17992 clauses out of 36011 with flag 2501001/2501001
1800.11/926.91	c starts		: 238
1800.11/926.91	c conflicts		: 2514510
1800.11/926.91	c decisions		: 2669671
1800.11/926.91	c propagations		: 15258144
1800.11/926.91	c inspects		: 1869477103
1800.11/926.91	c learnt literals	: 0
1800.11/926.91	c learnt binary clauses	: 0
1800.11/926.91	c learnt ternary clauses	: 0
1800.11/926.91	c learnt clauses	: 2514510
1800.11/926.91	c ignored clauses	: 0
1800.11/926.91	c root simplifications	: 0
1800.11/926.91	c removed literals (reason simplification)	: 34205903
1800.11/926.91	c reason swapping (by a shorter reason)	: 0
1800.11/926.91	c Calls to reduceDB	: 144
1800.11/926.91	c number of reductions to clauses (during analyze)	: 0
1800.11/926.91	c number of learned constraints concerned by reduction	: 0
1800.11/926.91	c number of learning phase by resolution	: 0
1800.11/926.91	c number of learning phase by cutting planes	: 0
1800.11/926.91	c speed (assignments/second)	: 16632.124832404974
1800.11/926.91	c non guided choices	0
1800.11/926.93	c learnt constraints type 
1800.11/926.93	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 31549
1800.11/926.93	c constraints type 
1800.11/926.93	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.11/926.93	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17794
1800.11/926.93	c constraints type 
1800.11/926.93	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17794
1800.11/926.93	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.11/926.93	s SATISFIABLE
1800.11/926.93	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 
1800.11/926.93	c objective function=-26
1800.11/926.93	c Total wall clock time (in seconds): 926.824

Verifier Data 

OK	-26

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-3733005-1338741208/watcher-3733005-1338741208 -o /tmp/evaluation-result-3733005-1338741208/solver-3733005-1338741208 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3733005-1338741208.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.55 3.78 3.65 4/197 12907
/proc/meminfo: memFree=26376464/32873844 swapFree=7628/7628
[pid=12907] ppid=12905 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/12907/stat : 12907 (java) S 12905 12907 11909 0 -1 4202496 1216 0 0 0 0 0 0 0 20 0 2 0 340245134 95129600 927 33554432000 1073741824 1073778376 140733670936176 140733670927312 254753669181 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12907/statm: 23225 927 703 9 0 16769 0
[pid=12907/tid=12908] ppid=12905 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12908/stat : 12908 (java) R 12905 12907 11909 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 340245134 95129600 927 33554432000 1073741824 1073778376 140733670936176 140340985847336 254741146919 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.10411 s]
/proc/loadavg: 3.55 3.78 3.65 4/197 12907
/proc/meminfo: memFree=26376464/32873844 swapFree=7628/7628
[pid=12907] ppid=12905 vsize=2699928 CPUtime=0.1 cores=1,3,5,7
/proc/12907/stat : 12907 (java) S 12905 12907 11909 0 -1 4202496 4755 0 1 0 9 1 0 0 20 0 18 0 340245134 2764726272 6455 33554432000 1073741824 1073778376 140733670936176 140733670927312 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12907/statm: 674982 6455 2124 9 0 665676 0
[pid=12907/tid=12908] ppid=12905 vsize=2699928 CPUtime=0.08 cores=1,3,5,7
/proc/12907/task/12908/stat : 12908 (java) R 12905 12907 11909 0 -1 4202560 2774 0 1 0 8 0 0 0 20 0 18 0 340245134 2764726272 6455 33554432000 1073741824 1073778376 140733670936176 140340985839584 254753694989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928

[startup+0.200262 s]
/proc/loadavg: 3.55 3.78 3.65 4/197 12907
/proc/meminfo: memFree=26376464/32873844 swapFree=7628/7628
[pid=12907] ppid=12905 vsize=2699928 CPUtime=0.25 cores=1,3,5,7
/proc/12907/stat : 12907 (java) S 12905 12907 11909 0 -1 4202496 5021 0 1 0 24 1 0 0 20 0 18 0 340245134 2764726272 7196 33554432000 1073741824 1073778376 140733670936176 140733670927312 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12907/statm: 674982 7196 2199 9 0 665676 0
[pid=12907/tid=12908] ppid=12905 vsize=2699928 CPUtime=0.17 cores=1,3,5,7
/proc/12907/task/12908/stat : 12908 (java) R 12905 12907 11909 0 -1 4202560 2787 0 1 0 17 0 0 0 20 0 18 0 340245134 2764726272 7196 33554432000 1073741824 1073778376 140733670936176 140340985851800 140340824660635 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 2699928

[startup+0.300315 s]
/proc/loadavg: 3.55 3.78 3.65 4/197 12907
/proc/meminfo: memFree=26376464/32873844 swapFree=7628/7628
[pid=12907] ppid=12905 vsize=2699928 CPUtime=0.48 cores=1,3,5,7
/proc/12907/stat : 12907 (java) S 12905 12907 11909 0 -1 4202496 5860 0 1 0 46 2 0 0 20 0 18 0 340245134 2764726272 9097 33554432000 1073741824 1073778376 140733670936176 140733670927312 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12907/statm: 674982 9097 2216 9 0 665676 0
[pid=12907/tid=12908] ppid=12905 vsize=2699928 CPUtime=0.27 cores=1,3,5,7
/proc/12907/task/12908/stat : 12908 (java) R 12905 12907 11909 0 -1 4202560 2790 0 1 0 26 1 0 0 20 0 18 0 340245134 2764726272 9097 33554432000 1073741824 1073778376 140733670936176 140340985851800 140340824745956 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2699928

[startup+0.70028 s]
/proc/loadavg: 3.55 3.78 3.65 4/197 12907
/proc/meminfo: memFree=26376464/32873844 swapFree=7628/7628
[pid=12907] ppid=12905 vsize=2966184 CPUtime=1.16 cores=1,3,5,7
/proc/12907/stat : 12907 (java) S 12905 12907 11909 0 -1 4202496 12545 0 1 0 110 6 0 0 20 0 20 0 340245134 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140733670927312 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12907/statm: 741546 22598 2242 9 0 732240 0
[pid=12907/tid=12908] ppid=12905 vsize=2966184 CPUtime=0.48 cores=1,3,5,7
/proc/12907/task/12908/stat : 12908 (java) S 12905 12907 11909 0 -1 4202560 2817 0 1 0 46 2 0 0 20 0 20 0 340245134 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340985853080 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 2966184

[startup+1.50069 s]
/proc/loadavg: 3.55 3.78 3.65 3/217 12929
/proc/meminfo: memFree=26295592/32873844 swapFree=7628/7628
[pid=12907] ppid=12905 vsize=2966184 CPUtime=1.16 cores=1,3,5,7
/proc/12907/stat : 12907 (java) S 12905 12907 11909 0 -1 4202496 12545 0 1 0 110 6 0 0 20 0 20 0 340245134 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140733670927312 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12907/statm: 741546 22598 2242 9 0 732240 0
[pid=12907/tid=12908] ppid=12905 vsize=2966184 CPUtime=0.48 cores=1,3,5,7
/proc/12907/task/12908/stat : 12908 (java) S 12905 12907 11909 0 -1 4202560 2817 0 1 0 46 2 0 0 20 0 20 0 340245134 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340985853080 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12910] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12910/stat : 12910 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340970134184 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12911] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12911/stat : 12911 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340969081640 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12912] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12912/stat : 12912 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340968029096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12907/tid=12913] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12913/stat : 12913 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340966976552 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12914] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12914/stat : 12914 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340965922984 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12915] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12915/stat : 12915 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340964870440 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12916] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12916/stat : 12916 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340963817896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12917] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12917/stat : 12917 (java) S 12905 12907 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340962765352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12918] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12918/stat : 12918 (java) S 12905 12907 11909 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340245136 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340950354536 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12919] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12919/stat : 12919 (java) S 12905 12907 11909 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340245137 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340949300856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12920] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12920/stat : 12920 (java) S 12905 12907 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340245137 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340948248200 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12921] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12921/stat : 12921 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245139 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340947196944 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12922] ppid=12905 vsize=2966184 CPUtime=0.29 cores=1,3,5,7
/proc/12907/task/12922/stat : 12922 (java) S 12905 12907 11909 0 -1 4202560 4536 0 0 0 29 0 0 0 20 0 20 0 340245139 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340946143288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12923] ppid=12905 vsize=2966184 CPUtime=0.3 cores=1,3,5,7
/proc/12907/task/12923/stat : 12923 (java) S 12905 12907 11909 0 -1 4202560 3945 0 0 0 29 1 0 0 20 0 20 0 340245139 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340945090744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12907/tid=12924] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12924/stat : 12924 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245139 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340944038392 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12907/tid=12925] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12925/stat : 12925 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245139 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340824632136 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12928] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12928/stat : 12928 (java) S 12905 12907 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340245186 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340821472808 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12929] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12929/stat : 12929 (java) S 12905 12907 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340245186 3037372416 22598 33554432000 1073741824 1073778376 140733670936176 140340820420264 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 2966184

[startup+3.10069 s]
/proc/loadavg: 3.55 3.78 3.65 3/217 12931
/proc/meminfo: memFree=26288548/32873844 swapFree=7628/7628
[pid=12907] ppid=12905 vsize=2966184 CPUtime=2.16 cores=1,3,5,7
/proc/12907/stat : 12907 (java) S 12905 12907 11909 0 -1 4202496 18436 0 1 0 205 11 0 0 20 0 20 0 340245134 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140733670927312 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12907/statm: 741546 28695 2253 9 0 732240 0
[pid=12907/tid=12908] ppid=12905 vsize=2966184 CPUtime=0.49 cores=1,3,5,7
/proc/12907/task/12908/stat : 12908 (java) S 12905 12907 11909 0 -1 4202560 2819 0 1 0 47 2 0 0 20 0 20 0 340245134 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140340985853080 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12910] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12910/stat : 12910 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140340970134184 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12911] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12911/stat : 12911 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140340969081640 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12912] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12912/stat : 12912 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140340968029096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12907/tid=12913] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12913/stat : 12913 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140340966976552 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12914] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12914/stat : 12914 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140340965922984 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12915] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12915/stat : 12915 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140340964870440 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12916] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12916/stat : 12916 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140340963817896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12917] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12917/stat : 12917 (java) S 12905 12907 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140340962765352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12918] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12918/stat : 12918 (java) S 12905 12907 11909 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340245136 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140340950354536 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12919] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12919/stat : 12919 (java) S 12905 12907 11909 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340245137 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140340949300856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12920] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12920/stat : 12920 (java) S 12905 12907 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340245137 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140340948248200 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12921] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12921/stat : 12921 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245139 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140340947196944 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12922] ppid=12905 vsize=2966184 CPUtime=0.55 cores=1,3,5,7
/proc/12907/task/12922/stat : 12922 (java) S 12905 12907 11909 0 -1 4202560 4665 0 0 0 55 0 0 0 20 0 20 0 340245139 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140340946143288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12923] ppid=12905 vsize=2966184 CPUtime=0.79 cores=1,3,5,7
/proc/12907/task/12923/stat : 12923 (java) S 12905 12907 11909 0 -1 4202560 9630 0 0 0 77 2 0 0 20 0 20 0 340245139 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140340945090744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12907/tid=12924] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12924/stat : 12924 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245139 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140340944038392 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12907/tid=12925] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12925/stat : 12925 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340245139 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140340824632136 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12928] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12928/stat : 12928 (java) S 12905 12907 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340245186 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140340821472808 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12929] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12929/stat : 12929 (java) S 12905 12907 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340245186 3037372416 28695 33554432000 1073741824 1073778376 140733670936176 140340820420264 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 2966184
heavy processes:

[startup+6.30069 s]
/proc/loadavg: 3.42 3.75 3.64 3/217 12937
/proc/meminfo: memFree=26237676/32873844 swapFree=7628/7628
[pid=12907] ppid=12905 vsize=2966184 CPUtime=4.25 cores=1,3,5,7
/proc/12907/stat : 12907 (java) S 12905 12907 11909 0 -1 4202496 18648 0 1 0 404 21 0 0 20 0 20 0 340245134 3037372416 72668 33554432000 1073741824 1073778376 140733670936176 140733670927312 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12907/statm: 741546 72668 2287 9 0 732240 0
[pid=12907/tid=12908] ppid=12905 vsize=2966184 CPUtime=0.49 cores=1,3,5,7
/proc/12907/task/12908/stat : 12908 (java) S 12905 12907 11909 0 -1 4202560 2821 0 1 0 47 2 0 0 20 0 20 0 340245134 3037372416 72668 33554432000 1073741824 1073778376 140733670936176 140340985853080 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12910] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12910/stat : 12910 (java) S 12905 12907 11909 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 72668 33554432000 1073741824 1073778376 140733670936176 140340970134184 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12911] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12911/stat : 12911 (java) S 12905 12907 11909 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 72668 33554432000 1073741824 1073778376 140733670936176 140340969081640 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12912] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12912/stat : 12912 (java) S 12905 12907 11909 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 72668 33554432000 1073741824 1073778376 140733670936176 140340968029096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12913] ppid=12905 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/12907/task/12913/stat : 12913 (java) S 12905 12907 11909 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 20 0 340245135 3037372416 72668 33554432000 1073741824 1073778376 140733670936176 140340966976552 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12914] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12914/stat : 12914 (java) S 12905 12907 11909 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 72668 33554432000 1073741824 1073778376 140733670936176 140340965922984 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12915] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12915/stat : 12915 (java) S 12905 12907 11909 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 72668 33554432000 1073741824 1073778376 140733670936176 140340964870440 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12907/tid=12916] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12916/stat : 12916 (java) S 12905 12907 11909 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 72668 33554432000 1073741824 1073778376 140733670936176 140340963817896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12917] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12917/stat : 12917 (java) S 12905 12907 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340245135 3037372416 72668 33554432000 1073741824 1073778376 140733670936176 140340962765352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12918] ppid=12905 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/12907/task/12918/stat : 12918 (java) S 12905 12907 11909 0 -1 4202560 37 0 0 0 4 0 0 0 20 0 20 0 340245136 3037372416 72668 33554432000 1073741824 1073778376 140733670936176 140340950354536 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12907/tid=12919] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12919/stat : 12919 (java) S 12905 12907 11909 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 340245137 3037372416 72668 33554432000 1073741824 1073778376 140733670936176 140340949300856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12920] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12920/stat : 12920 (java) S 12905 12907 11909 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 340245137 3037372416 72668 33554432000 1073741824 1073778376 140733670936176 140340948248200 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12921] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7

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

/proc/12907/statm: 741546 226244 2288 9 0 732240 0
[pid=12907/tid=12908] ppid=12905 vsize=2966184 CPUtime=0.52 cores=1,3,5,7
/proc/12907/task/12908/stat : 12908 (java) S 12905 12907 11909 0 -1 4202560 2859 0 1 0 49 3 0 0 20 0 22 0 340245134 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340985853080 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12910] ppid=12905 vsize=2966184 CPUtime=3.57 cores=1,3,5,7
/proc/12907/task/12910/stat : 12910 (java) S 12905 12907 11909 0 -1 4202560 315 0 0 0 349 8 0 0 20 0 22 0 340245135 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340970134184 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12911] ppid=12905 vsize=2966184 CPUtime=3.82 cores=1,3,5,7
/proc/12907/task/12911/stat : 12911 (java) S 12905 12907 11909 0 -1 4202560 336 0 0 0 374 8 0 0 20 0 22 0 340245135 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340969081640 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12912] ppid=12905 vsize=2966184 CPUtime=3.87 cores=1,3,5,7
/proc/12907/task/12912/stat : 12912 (java) S 12905 12907 11909 0 -1 4202560 333 0 0 0 380 7 0 0 20 0 22 0 340245135 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340968029096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12913] ppid=12905 vsize=2966184 CPUtime=3.61 cores=1,3,5,7
/proc/12907/task/12913/stat : 12913 (java) S 12905 12907 11909 0 -1 4202560 293 0 0 0 354 7 0 0 20 0 22 0 340245135 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340966976552 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12907/tid=12914] ppid=12905 vsize=2966184 CPUtime=3.89 cores=1,3,5,7
/proc/12907/task/12914/stat : 12914 (java) S 12905 12907 11909 0 -1 4202560 314 0 0 0 383 6 0 0 20 0 22 0 340245135 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340965922984 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12915] ppid=12905 vsize=2966184 CPUtime=3.95 cores=1,3,5,7
/proc/12907/task/12915/stat : 12915 (java) S 12905 12907 11909 0 -1 4202560 354 0 0 0 386 9 0 0 20 0 22 0 340245135 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340964870440 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12916] ppid=12905 vsize=2966184 CPUtime=3.98 cores=1,3,5,7
/proc/12907/task/12916/stat : 12916 (java) S 12905 12907 11909 0 -1 4202560 342 0 0 0 389 9 0 0 20 0 22 0 340245135 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340963817896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12917] ppid=12905 vsize=2966184 CPUtime=3.78 cores=1,3,5,7
/proc/12907/task/12917/stat : 12917 (java) S 12905 12907 11909 0 -1 4202560 308 0 0 0 371 7 0 0 20 0 22 0 340245135 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340962765352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12918] ppid=12905 vsize=2966184 CPUtime=51.16 cores=1,3,5,7
/proc/12907/task/12918/stat : 12918 (java) S 12905 12907 11909 0 -1 4202560 158 0 0 0 5104 12 0 0 20 0 22 0 340245136 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340950354536 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12919] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12919/stat : 12919 (java) S 12905 12907 11909 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340245137 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340949300856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12920] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12920/stat : 12920 (java) S 12905 12907 11909 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340245137 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340948248200 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12921] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12921/stat : 12921 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340245139 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340947196944 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12922] ppid=12905 vsize=2966184 CPUtime=1.61 cores=1,3,5,7
/proc/12907/task/12922/stat : 12922 (java) S 12905 12907 11909 0 -1 4202560 8350 0 0 0 159 2 0 0 20 0 22 0 340245139 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340946143288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12907/tid=12923] ppid=12905 vsize=2966184 CPUtime=1.33 cores=1,3,5,7
/proc/12907/task/12923/stat : 12923 (java) S 12905 12907 11909 0 -1 4202560 9648 0 0 0 131 2 0 0 20 0 22 0 340245139 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340945090744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12924] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12924/stat : 12924 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340245139 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340944038392 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12907/tid=12925] ppid=12905 vsize=2966184 CPUtime=0.4 cores=1,3,5,7
/proc/12907/task/12925/stat : 12925 (java) S 12905 12907 11909 0 -1 4202560 47 0 0 0 17 23 0 0 20 0 22 0 340245139 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340824632136 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12928] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12928/stat : 12928 (java) S 12905 12907 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340245186 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340821472808 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12929] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12929/stat : 12929 (java) S 12905 12907 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340245186 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340820420264 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12944] ppid=12905 vsize=2966184 CPUtime=751.41 cores=1,3,5,7
/proc/12907/task/12944/stat : 12944 (java) R 12905 12907 11909 0 -1 4202560 132 0 0 0 75129 12 0 0 20 0 22 0 340246086 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340823575664 140340825405984 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12945] ppid=12905 vsize=2966184 CPUtime=751.18 cores=1,3,5,7
/proc/12907/task/12945/stat : 12945 (java) R 12905 12907 11909 0 -1 4202560 155 0 0 0 75104 14 0 0 20 0 22 0 340246086 3037372416 226244 33554432000 1073741824 1073778376 140733670936176 140340822523872 140340825547096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1597.62
Current children cumulated vsize (KiB) 2966184

[startup+882.308 s]
/proc/loadavg: 4.18 4.01 3.83 5/219 12952
/proc/meminfo: memFree=24763084/32873844 swapFree=7628/7628
[pid=12907] ppid=12905 vsize=2966184 CPUtime=1713.94 cores=1,3,5,7
/proc/12907/stat : 12907 (java) S 12905 12907 11909 0 -1 4202496 25486 0 1 0 171264 130 0 0 20 0 22 0 340245134 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140733670927312 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12907/statm: 741546 228371 2288 9 0 732240 0
[pid=12907/tid=12908] ppid=12905 vsize=2966184 CPUtime=0.53 cores=1,3,5,7
/proc/12907/task/12908/stat : 12908 (java) S 12905 12907 11909 0 -1 4202560 2864 0 1 0 50 3 0 0 20 0 22 0 340245134 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340985853080 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12910] ppid=12905 vsize=2966184 CPUtime=3.86 cores=1,3,5,7
/proc/12907/task/12910/stat : 12910 (java) S 12905 12907 11909 0 -1 4202560 340 0 0 0 378 8 0 0 20 0 22 0 340245135 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340970134184 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12911] ppid=12905 vsize=2966184 CPUtime=4.2 cores=1,3,5,7
/proc/12907/task/12911/stat : 12911 (java) S 12905 12907 11909 0 -1 4202560 338 0 0 0 412 8 0 0 20 0 22 0 340245135 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340969081640 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12912] ppid=12905 vsize=2966184 CPUtime=4.1 cores=1,3,5,7
/proc/12907/task/12912/stat : 12912 (java) S 12905 12907 11909 0 -1 4202560 333 0 0 0 403 7 0 0 20 0 22 0 340245135 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340968029096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12913] ppid=12905 vsize=2966184 CPUtime=3.94 cores=1,3,5,7
/proc/12907/task/12913/stat : 12913 (java) S 12905 12907 11909 0 -1 4202560 335 0 0 0 387 7 0 0 20 0 22 0 340245135 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340966976552 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12907/tid=12914] ppid=12905 vsize=2966184 CPUtime=4.15 cores=1,3,5,7
/proc/12907/task/12914/stat : 12914 (java) S 12905 12907 11909 0 -1 4202560 327 0 0 0 408 7 0 0 20 0 22 0 340245135 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340965922984 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12915] ppid=12905 vsize=2966184 CPUtime=4.28 cores=1,3,5,7
/proc/12907/task/12915/stat : 12915 (java) S 12905 12907 11909 0 -1 4202560 354 0 0 0 419 9 0 0 20 0 22 0 340245135 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340964870440 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12916] ppid=12905 vsize=2966184 CPUtime=4.29 cores=1,3,5,7
/proc/12907/task/12916/stat : 12916 (java) S 12905 12907 11909 0 -1 4202560 343 0 0 0 419 10 0 0 20 0 22 0 340245135 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340963817896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12917] ppid=12905 vsize=2966184 CPUtime=4.07 cores=1,3,5,7
/proc/12907/task/12917/stat : 12917 (java) S 12905 12907 11909 0 -1 4202560 308 0 0 0 400 7 0 0 20 0 22 0 340245135 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340962765352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12907/tid=12918] ppid=12905 vsize=2966184 CPUtime=55.93 cores=1,3,5,7
/proc/12907/task/12918/stat : 12918 (java) S 12905 12907 11909 0 -1 4202560 162 0 0 0 5580 13 0 0 20 0 22 0 340245136 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340950354536 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12919] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12919/stat : 12919 (java) S 12905 12907 11909 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340245137 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340949300856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12920] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12920/stat : 12920 (java) S 12905 12907 11909 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340245137 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340948248200 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12921] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12921/stat : 12921 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340245139 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340947196944 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12922] ppid=12905 vsize=2966184 CPUtime=1.61 cores=1,3,5,7
/proc/12907/task/12922/stat : 12922 (java) S 12905 12907 11909 0 -1 4202560 8350 0 0 0 159 2 0 0 20 0 22 0 340245139 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340946143288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12907/tid=12923] ppid=12905 vsize=2966184 CPUtime=1.33 cores=1,3,5,7
/proc/12907/task/12923/stat : 12923 (java) S 12905 12907 11909 0 -1 4202560 9648 0 0 0 131 2 0 0 20 0 22 0 340245139 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340945090744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12924] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12924/stat : 12924 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340245139 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340944038392 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12907/tid=12925] ppid=12905 vsize=2966184 CPUtime=0.43 cores=1,3,5,7
/proc/12907/task/12925/stat : 12925 (java) S 12905 12907 11909 0 -1 4202560 51 0 0 0 19 24 0 0 20 0 22 0 340245139 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340824632136 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12928] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12928/stat : 12928 (java) S 12905 12907 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340245186 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340821472808 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12929] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12929/stat : 12929 (java) S 12905 12907 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340245186 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340820420264 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12944] ppid=12905 vsize=2966184 CPUtime=805.83 cores=1,3,5,7
/proc/12907/task/12944/stat : 12944 (java) R 12905 12907 11909 0 -1 4202560 138 0 0 0 80570 13 0 0 20 0 22 0 340246086 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340823576480 140340825386059 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12945] ppid=12905 vsize=2966184 CPUtime=805.59 cores=1,3,5,7
/proc/12907/task/12945/stat : 12945 (java) R 12905 12907 11909 0 -1 4202560 162 0 0 0 80544 15 0 0 20 0 22 0 340246086 3037372416 228371 33554432000 1073741824 1073778376 140733670936176 140340822523184 140340825547732 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1713.94
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+926.901 s]
/proc/loadavg: 3.95 3.97 3.82 6/219 13028
/proc/meminfo: memFree=25133124/32873844 swapFree=7628/7628
[pid=12907] ppid=12905 vsize=2966184 CPUtime=1800.11 cores=1,3,5,7
/proc/12907/stat : 12907 (java) S 12905 12907 11909 0 -1 4202496 25530 0 1 0 179877 134 0 0 20 0 22 0 340245134 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140733670927312 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12907/statm: 741546 230436 2288 9 0 732240 0
[pid=12907/tid=12908] ppid=12905 vsize=2966184 CPUtime=0.53 cores=1,3,5,7
/proc/12907/task/12908/stat : 12908 (java) S 12905 12907 11909 0 -1 4202560 2867 0 1 0 50 3 0 0 20 0 22 0 340245134 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340985853080 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12910] ppid=12905 vsize=2966184 CPUtime=4.1 cores=1,3,5,7
/proc/12907/task/12910/stat : 12910 (java) S 12905 12907 11909 0 -1 4202560 340 0 0 0 401 9 0 0 20 0 22 0 340245135 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340970134184 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12911] ppid=12905 vsize=2966184 CPUtime=4.42 cores=1,3,5,7
/proc/12907/task/12911/stat : 12911 (java) S 12905 12907 11909 0 -1 4202560 341 0 0 0 434 8 0 0 20 0 22 0 340245135 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340969081640 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12912] ppid=12905 vsize=2966184 CPUtime=4.28 cores=1,3,5,7
/proc/12907/task/12912/stat : 12912 (java) S 12905 12907 11909 0 -1 4202560 336 0 0 0 421 7 0 0 20 0 22 0 340245135 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340968029096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12913] ppid=12905 vsize=2966184 CPUtime=4.19 cores=1,3,5,7
/proc/12907/task/12913/stat : 12913 (java) S 12905 12907 11909 0 -1 4202560 335 0 0 0 412 7 0 0 20 0 22 0 340245135 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340966976552 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12914] ppid=12905 vsize=2966184 CPUtime=4.38 cores=1,3,5,7
/proc/12907/task/12914/stat : 12914 (java) S 12905 12907 11909 0 -1 4202560 335 0 0 0 431 7 0 0 20 0 22 0 340245135 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340965922984 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12907/tid=12915] ppid=12905 vsize=2966184 CPUtime=4.44 cores=1,3,5,7
/proc/12907/task/12915/stat : 12915 (java) S 12905 12907 11909 0 -1 4202560 354 0 0 0 435 9 0 0 20 0 22 0 340245135 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340964870440 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12907/tid=12916] ppid=12905 vsize=2966184 CPUtime=4.49 cores=1,3,5,7
/proc/12907/task/12916/stat : 12916 (java) S 12905 12907 11909 0 -1 4202560 343 0 0 0 439 10 0 0 20 0 22 0 340245135 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340963817896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12917] ppid=12905 vsize=2966184 CPUtime=4.3 cores=1,3,5,7
/proc/12907/task/12917/stat : 12917 (java) S 12905 12907 11909 0 -1 4202560 321 0 0 0 423 7 0 0 20 0 22 0 340245135 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340962765352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12907/tid=12918] ppid=12905 vsize=2966184 CPUtime=59.74 cores=1,3,5,7
/proc/12907/task/12918/stat : 12918 (java) S 12905 12907 11909 0 -1 4202560 164 0 0 0 5961 13 0 0 20 0 22 0 340245136 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340950354536 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12919] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12919/stat : 12919 (java) S 12905 12907 11909 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340245137 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340949300856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12920] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12920/stat : 12920 (java) S 12905 12907 11909 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340245137 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340948248200 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12921] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12921/stat : 12921 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340245139 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340947196944 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12922] ppid=12905 vsize=2966184 CPUtime=1.61 cores=1,3,5,7
/proc/12907/task/12922/stat : 12922 (java) S 12905 12907 11909 0 -1 4202560 8350 0 0 0 159 2 0 0 20 0 22 0 340245139 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340946143288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12907/tid=12923] ppid=12905 vsize=2966184 CPUtime=1.33 cores=1,3,5,7
/proc/12907/task/12923/stat : 12923 (java) S 12905 12907 11909 0 -1 4202560 9648 0 0 0 131 2 0 0 20 0 22 0 340245139 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340945090744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12924] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12924/stat : 12924 (java) S 12905 12907 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340245139 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340944038392 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12907/tid=12925] ppid=12905 vsize=2966184 CPUtime=0.46 cores=1,3,5,7
/proc/12907/task/12925/stat : 12925 (java) S 12905 12907 11909 0 -1 4202560 53 0 0 0 20 26 0 0 20 0 22 0 340245139 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340824632136 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12928] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12928/stat : 12928 (java) S 12905 12907 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340245186 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340821472808 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12907/tid=12929] ppid=12905 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/12907/task/12929/stat : 12929 (java) S 12905 12907 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340245186 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340820420264 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12944] ppid=12905 vsize=2966184 CPUtime=846.05 cores=1,3,5,7
/proc/12907/task/12944/stat : 12944 (java) R 12905 12907 11909 0 -1 4202560 141 0 0 0 84592 13 0 0 20 0 22 0 340246086 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340823575664 140340825386629 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12907/tid=12945] ppid=12905 vsize=2966184 CPUtime=845.81 cores=1,3,5,7
/proc/12907/task/12945/stat : 12945 (java) R 12905 12907 11909 0 -1 4202560 169 0 0 0 84566 15 0 0 20 0 22 0 340246086 3037372416 230436 33554432000 1073741824 1073778376 140733670936176 140340822524088 140340825474538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 2966184

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 12907 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=458200
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=723737
# CPU time returned by wait4() is 1796.18
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 926.954
CPU time (s): 1800.11
CPU user time (s): 1798.77
CPU system time (s): 1.34
CPU usage (%): 194.196
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.46
system time used= 1.72374
maximum resident set size= 921864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25564
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29673
involuntary context switches= 74181

runsolver used 4.95325 second user time and 7.92179 second system time

The end

Launcher Data 

Begin job on node145 at 2012-06-03 18:33:28
IDJOB=3733005
IDBENCH=2235
IDSOLVER=2324
FILE ID=node145/3733005-1338741208
RUNJOBID= node145-1338737268-11926
PBS_JOBID= 14636762
Free space on /tmp= 70924 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733005-1338741208/watcher-3733005-1338741208 -o /tmp/evaluation-result-3733005-1338741208/solver-3733005-1338741208 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3733005-1338741208.opb

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

MD5SUM BENCH= 2e8a2f5e2511f10f037e700bd45c84a1
RANDOM SEED=253821480

node145.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.149
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.29
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.149
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.149
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	: 5313.38
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.149
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.149
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.149
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.149
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.149
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.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26376984 kB
Buffers:          445784 kB
Cached:          4814284 kB
SwapCached:            0 kB
Active:          2005672 kB
Inactive:        3602960 kB
Active(anon):     339508 kB
Inactive(anon):    10916 kB
Active(file):    1666164 kB
Inactive(file):  3592044 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1496 kB
Writeback:             0 kB
AnonPages:        377716 kB
Mapped:            22320 kB
Shmem:               200 kB
Slab:             725708 kB
SReclaimable:     166900 kB
SUnreclaim:       558808 kB
KernelStack:        1624 kB
PageTables:         4956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1570608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    329728 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= 70924 MiB
End job on node145 at 2012-06-03 18:48:57