Trace number 3454552

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
Sat4j Res//CP 2.3.0SAT (TO)-29 1800.33 949.572

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
MD5SUM4acf18ad1cd52676d2699a99f210ed0a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-34
Best CPU time to get the best result obtained on this benchmark1800.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved YES
Number of variables595
Total number of constraints27842
Number of constraints which are clauses27842
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 595
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 595
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 595
Number of bits of the biggest sum of numbers10
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
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.1.v20110525
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.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3454552-1307189815.opb
0.11/0.11	c reading problem ... 
0.96/0.52	c ... done. Wall clock time 0.407s.
0.96/0.52	c #vars     595
0.96/0.52	c #constraints  27842
0.96/0.52	c constraints type 
0.96/0.52	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27842
0.96/0.52	c constraints type 
0.96/0.52	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 27842
0.96/0.53	c  And the winner is Resolution
1.03/1.03	c SATISFIABLE
1.03/1.03	c OPTIMIZING...
1.03/1.03	c Got one! Elapsed wall clock time (in seconds):0.913
1.03/1.03	o -23
1.03/1.09	c  And the winner is Resolution
1.67/1.53	c Got one! Elapsed wall clock time (in seconds):1.42
1.67/1.53	o -24
1.67/1.55	c  And the winner is Resolution
1.75/2.04	c Got one! Elapsed wall clock time (in seconds):1.925
1.75/2.04	o -27
2.72/2.35	c  And the winner is CuttingPlanes
2.79/2.54	c Got one! Elapsed wall clock time (in seconds):2.433
2.79/2.54	o -28
3.57/2.95	c cleaning 2739 clauses out of 5482 with flag 3000/5482
5.28/3.70	c cleaning 4372 clauses out of 8743 with flag 9000/11482
6.88/4.58	c cleaning 5685 clauses out of 11371 with flag 16000/18482
9.04/5.63	c cleaning 6837 clauses out of 13686 with flag 24000/26482
11.53/6.91	c cleaning 7925 clauses out of 15849 with flag 33000/35482
14.04/8.26	c cleaning 8960 clauses out of 17924 with flag 43000/45482
17.26/9.87	c cleaning 9981 clauses out of 19964 with flag 54000/56482
20.76/11.62	c cleaning 10981 clauses out of 21983 with flag 66000/68482
24.82/13.72	c cleaning 11996 clauses out of 24002 with flag 79000/81482
28.89/15.82	c cleaning 13004 clauses out of 26008 with flag 93002/95484
33.75/18.33	c cleaning 13997 clauses out of 28002 with flag 108000/110482
36.40/19.71	c  And the winner is Resolution
36.81/20.13	c Got one! Elapsed wall clock time (in seconds):20.017
36.81/20.13	o -29
38.15/20.84	c cleaning 13643 clauses out of 27291 with flag 5000/123768
40.12/21.92	c cleaning 9821 clauses out of 19648 with flag 11000/129768
42.16/23.08	c cleaning 8411 clauses out of 16827 with flag 18000/136768
44.63/24.35	c cleaning 8206 clauses out of 16416 with flag 26000/144768
47.63/25.90	c cleaning 8601 clauses out of 17210 with flag 35000/153768
50.97/27.70	c cleaning 9304 clauses out of 18610 with flag 45001/163769
54.58/29.70	c cleaning 10150 clauses out of 20305 with flag 56000/174768
57.99/31.47	c cleaning 11073 clauses out of 22156 with flag 68001/186769
62.01/33.57	c cleaning 12041 clauses out of 24082 with flag 81000/199768
67.40/36.35	c cleaning 13020 clauses out of 26041 with flag 95000/213768
72.55/39.09	c cleaning 14005 clauses out of 28021 with flag 110000/228768
77.99/41.88	c cleaning 15006 clauses out of 30016 with flag 126000/244768
84.93/45.50	c cleaning 15997 clauses out of 32010 with flag 143000/261768
90.99/48.61	c cleaning 17004 clauses out of 34013 with flag 161000/279768
97.37/51.93	c cleaning 18006 clauses out of 36011 with flag 180002/298770
105.16/55.98	c cleaning 19001 clauses out of 38003 with flag 200000/318768
113.70/60.33	c cleaning 19998 clauses out of 40002 with flag 221000/339768
122.31/64.82	c cleaning 20994 clauses out of 42004 with flag 243000/361768
132.63/70.11	c cleaning 22002 clauses out of 44011 with flag 266001/384769
141.79/74.84	c cleaning 23002 clauses out of 46008 with flag 290000/408768
151.27/79.74	c cleaning 24000 clauses out of 48006 with flag 315000/433768
161.82/85.27	c cleaning 25000 clauses out of 50006 with flag 341000/459768
173.96/91.46	c cleaning 25998 clauses out of 52007 with flag 368001/486769
187.00/98.13	c cleaning 26994 clauses out of 54008 with flag 396000/514768
197.37/103.43	c cleaning 27494 clauses out of 55014 with flag 424000/542768
210.41/110.22	c cleaning 27745 clauses out of 55520 with flag 452000/570768
221.71/116.00	c cleaning 27882 clauses out of 55775 with flag 480000/598768
231.96/121.33	c cleaning 27938 clauses out of 55893 with flag 508000/626768
244.43/127.76	c cleaning 27975 clauses out of 55955 with flag 536000/654768
257.25/134.46	c cleaning 27974 clauses out of 55980 with flag 564000/682768
271.64/141.86	c cleaning 28003 clauses out of 56006 with flag 592000/710768
281.64/147.05	c cleaning 27991 clauses out of 56003 with flag 620000/738768
294.62/153.78	c cleaning 27999 clauses out of 56012 with flag 648000/766768
306.79/160.16	c cleaning 28002 clauses out of 56013 with flag 676000/794768
321.58/167.74	c cleaning 28005 clauses out of 56011 with flag 704000/822768
339.54/176.94	c cleaning 28004 clauses out of 56007 with flag 732001/850769
355.90/185.35	c cleaning 27999 clauses out of 56002 with flag 760000/878768
365.66/190.51	c cleaning 27993 clauses out of 56003 with flag 788000/906768
375.62/195.73	c cleaning 27999 clauses out of 56010 with flag 816000/934768
386.18/201.30	c cleaning 28004 clauses out of 56011 with flag 844000/962768
397.77/207.23	c cleaning 27989 clauses out of 56007 with flag 872000/990768
411.25/214.35	c cleaning 28009 clauses out of 56018 with flag 900000/1018768
425.97/221.93	c cleaning 27998 clauses out of 56010 with flag 928001/1046769
441.71/230.05	c cleaning 28006 clauses out of 56011 with flag 956000/1074768
453.83/236.32	c cleaning 27997 clauses out of 56005 with flag 984000/1102768
469.48/244.55	c cleaning 0 clauses out of 5872 with flag 0/5873
471.80/245.71	c cleaning 27992 clauses out of 56008 with flag 1012000/1130768
487.91/254.03	c cleaning 28004 clauses out of 56016 with flag 1040000/1158768
502.82/261.70	c cleaning 28005 clauses out of 56013 with flag 1068001/1186769
516.63/269.08	c cleaning 27999 clauses out of 56008 with flag 1096001/1214769
530.33/276.20	c cleaning 28001 clauses out of 56009 with flag 1124001/1242769
543.34/282.90	c cleaning 27992 clauses out of 56007 with flag 1152000/1270768
558.03/290.54	c cleaning 28003 clauses out of 56015 with flag 1180000/1298768
574.56/299.27	c cleaning 28002 clauses out of 56012 with flag 1208000/1326768
585.18/304.82	c cleaning 28002 clauses out of 56010 with flag 1236000/1354768
596.34/310.75	c cleaning 27996 clauses out of 56008 with flag 1264000/1382768
609.32/317.60	c cleaning 28002 clauses out of 56015 with flag 1292003/1410771
625.54/326.04	c cleaning 28001 clauses out of 56010 with flag 1320000/1438768
641.74/334.42	c cleaning 27998 clauses out of 56009 with flag 1348000/1466768
657.09/342.47	c cleaning 27998 clauses out of 56013 with flag 1376002/1494770
672.26/350.37	c cleaning 28004 clauses out of 56014 with flag 1404001/1522769
685.80/357.57	c cleaning 27998 clauses out of 56009 with flag 1432000/1550768
699.92/364.97	c cleaning 27995 clauses out of 56012 with flag 1460001/1578769
714.07/372.34	c cleaning 28007 clauses out of 56017 with flag 1488001/1606769
727.30/379.20	c cleaning 27987 clauses out of 56009 with flag 1516000/1634768
742.58/387.36	c cleaning 28007 clauses out of 56022 with flag 1544000/1662768
760.68/396.77	c cleaning 27999 clauses out of 56015 with flag 1572000/1690768
775.38/404.48	c cleaning 27993 clauses out of 56016 with flag 1600000/1718768
790.34/412.23	c cleaning 28008 clauses out of 56023 with flag 1628000/1746768
806.55/420.84	c cleaning 28008 clauses out of 56015 with flag 1656000/1774768
821.85/428.83	c cleaning 28001 clauses out of 56008 with flag 1684001/1802769
837.94/437.21	c cleaning 27982 clauses out of 56006 with flag 1712000/1830768
854.82/446.03	c cleaning 28012 clauses out of 56024 with flag 1740000/1858768
869.78/454.02	c cleaning 27990 clauses out of 56012 with flag 1768000/1886768
884.67/461.86	c cleaning 28009 clauses out of 56022 with flag 1796000/1914768
901.35/470.52	c cleaning 28002 clauses out of 56013 with flag 1824000/1942768
920.82/480.65	c cleaning 28006 clauses out of 56011 with flag 1852000/1970768
935.71/488.68	c cleaning 27993 clauses out of 56005 with flag 1880000/1998768
947.58/494.93	c cleaning 27999 clauses out of 56013 with flag 1908001/2026769
959.82/501.41	c cleaning 28002 clauses out of 56013 with flag 1936000/2054768
974.45/509.18	c cleaning 27999 clauses out of 56011 with flag 1964000/2082768
989.15/517.02	c cleaning 28006 clauses out of 56013 with flag 1992001/2110769
1001.93/523.89	c cleaning 27995 clauses out of 56007 with flag 2020001/2138769
1017.55/532.03	c cleaning 27999 clauses out of 56011 with flag 2048000/2166768
1033.62/540.40	c cleaning 28001 clauses out of 56012 with flag 2076000/2194768
1049.27/548.82	c cleaning 27997 clauses out of 56012 with flag 2104001/2222769
1064.88/557.09	c cleaning 27998 clauses out of 56014 with flag 2132000/2250768
1081.69/565.86	c cleaning 28008 clauses out of 56016 with flag 2160000/2278768
1094.88/572.86	c cleaning 27996 clauses out of 56009 with flag 2188001/2306769
1110.86/581.47	c cleaning 27992 clauses out of 56012 with flag 2216000/2334768
1127.65/590.27	c cleaning 28002 clauses out of 56021 with flag 2244001/2362769
1143.03/598.38	c cleaning 28004 clauses out of 56019 with flag 2272001/2390769
1158.81/606.66	c cleaning 28003 clauses out of 56015 with flag 2300001/2418769
1172.98/614.37	c cleaning 27997 clauses out of 56011 with flag 2328000/2446768
1188.99/622.75	c cleaning 28005 clauses out of 56014 with flag 2356000/2474768
1204.71/631.08	c cleaning 28001 clauses out of 56009 with flag 2384000/2502768
1222.29/640.28	c cleaning 27992 clauses out of 56008 with flag 2412000/2530768
1238.39/648.91	c cleaning 28003 clauses out of 56016 with flag 2440000/2558768
1254.14/657.26	c cleaning 28005 clauses out of 56013 with flag 2468000/2586768
1270.26/665.72	c cleaning 28001 clauses out of 56008 with flag 2496000/2614768
1286.38/674.31	c cleaning 28001 clauses out of 56008 with flag 2524001/2642769
1300.80/682.07	c cleaning 27995 clauses out of 56006 with flag 2552000/2670768
1316.50/690.37	c cleaning 27995 clauses out of 56012 with flag 2580001/2698769
1331.94/698.46	c cleaning 27993 clauses out of 56016 with flag 2608000/2726768
1348.46/707.13	c cleaning 28008 clauses out of 56023 with flag 2636000/2754768
1363.73/715.41	c cleaning 28005 clauses out of 56015 with flag 2664000/2782768
1379.76/723.88	c cleaning 27990 clauses out of 56011 with flag 2692001/2810769
1397.61/733.26	c cleaning 28004 clauses out of 56021 with flag 2720001/2838769
1415.55/742.63	c cleaning 27999 clauses out of 56016 with flag 2748000/2866768
1431.61/751.36	c cleaning 28001 clauses out of 56017 with flag 2776000/2894768
1446.43/759.12	c cleaning 27994 clauses out of 56016 with flag 2804000/2922768
1462.49/767.62	c cleaning 28001 clauses out of 56023 with flag 2832001/2950769
1478.78/776.24	c cleaning 28002 clauses out of 56021 with flag 2860000/2978768
1491.03/783.07	c cleaning 27997 clauses out of 56020 with flag 2888001/3006769
1502.91/789.47	c cleaning 27998 clauses out of 56022 with flag 2916000/3034768
1514.78/795.89	c cleaning 28009 clauses out of 56024 with flag 2944000/3062768
1526.90/802.35	c cleaning 28001 clauses out of 56015 with flag 2972000/3090768
1541.81/810.40	c cleaning 27995 clauses out of 56014 with flag 3000000/3118768
1555.26/817.63	c cleaning 28004 clauses out of 56020 with flag 3028001/3146769
1569.34/825.16	c cleaning 27997 clauses out of 56015 with flag 3056000/3174768
1582.74/832.34	c cleaning 28006 clauses out of 56018 with flag 3084000/3202768
1598.56/841.00	c cleaning 27999 clauses out of 56012 with flag 3112000/3230768
1615.18/849.74	c cleaning 27993 clauses out of 56013 with flag 3140000/3258768
1631.98/858.67	c cleaning 27996 clauses out of 56020 with flag 3168000/3286768
1649.01/867.68	c cleaning 28006 clauses out of 56025 with flag 3196001/3314769
1664.22/875.99	c cleaning 27991 clauses out of 56018 with flag 3224000/3342768
1680.82/884.75	c cleaning 28005 clauses out of 56027 with flag 3252000/3370768
1697.42/893.53	c cleaning 28005 clauses out of 56022 with flag 3280000/3398768
1712.03/901.35	c cleaning 28000 clauses out of 56017 with flag 3308000/3426768
1725.72/908.95	c cleaning 27994 clauses out of 56018 with flag 3336001/3454769
1740.30/916.79	c cleaning 28007 clauses out of 56023 with flag 3364000/3482768
1743.47/918.81	c cleaning 0 clauses out of 11872 with flag 0/11873
1755.84/925.60	c cleaning 27992 clauses out of 56016 with flag 3392000/3510768
1772.71/934.76	c cleaning 28007 clauses out of 56025 with flag 3420001/3538769
1789.49/943.69	c cleaning 27997 clauses out of 56018 with flag 3448001/3566769
1800.12/949.44	c starts		: 269
1800.12/949.44	c conflicts		: 3587123
1800.12/949.44	c decisions		: 3846664
1800.12/949.44	c propagations		: 21739155
1800.12/949.44	c inspects		: 3660824194
1800.12/949.44	c shortcuts		: 0
1800.12/949.44	c learnt literals	: 0
1800.12/949.44	c learnt binary clauses	: 0
1800.12/949.44	c learnt ternary clauses	: 0
1800.12/949.44	c learnt constraints	: 3587124
1800.12/949.44	c ignored constraints	: 0
1800.12/949.44	c root simplifications	: 0
1800.12/949.44	c removed literals (reason simplification)	: 50249533
1800.12/949.44	c reason swapping (by a shorter reason)	: 0
1800.12/949.44	c Calls to reduceDB	: 144
1800.12/949.44	c number of reductions to clauses (during analyze)	: 0
1800.12/949.44	c number of learned constraints concerned by reduction	: 0
1800.12/949.44	c number of learning phase by resolution	: 0
1800.12/949.44	c number of learning phase by cutting planes	: 0
1800.12/949.44	c speed (assignments/second)	: 23392.646849941248
1800.12/949.44	c non guided choices	0
1800.12/949.46	c learnt constraints type 
1800.12/949.46	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 48445
1800.12/949.46	c constraints type 
1800.12/949.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.12/949.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27842
1800.12/949.47	c constraints type 
1800.12/949.47	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 27842
1800.12/949.47	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.12/949.47	s SATISFIABLE
1800.12/949.47	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 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 
1800.12/949.47	c objective function=-29
1800.12/949.47	c Total wall clock time (in seconds): 949.357

Verifier Data 

OK	-29

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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


[startup+0 s]
/proc/loadavg: 3.57 3.52 3.48 3/548 21860
/proc/meminfo: memFree=23397392/32951124 swapFree=56241860/67111528
[pid=21860] ppid=21858 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21860/stat : 21860 (java) S 21858 21860 18760 0 -1 4202496 5109 0 1 0 0 0 0 0 25 0 2 0 909212144 10694979584 4811 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/21860/statm: 2611079 4824 917 9 0 2602235 0
[pid=21860/tid=21861] ppid=21858 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21861/stat : 21861 (java) R 21858 21860 18760 0 -1 4202560 5728 0 1 0 0 0 0 0 25 0 2 0 909212145 10694979584 6544 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.112586 s]
/proc/loadavg: 3.57 3.52 3.48 3/548 21860
/proc/meminfo: memFree=23397392/32951124 swapFree=56241860/67111528
[pid=21860] ppid=21858 vsize=10539676 CPUtime=0.11 cores=0,2,4,6
/proc/21860/stat : 21860 (java) S 21858 21860 18760 0 -1 4202496 13229 0 1 0 10 1 0 0 25 0 18 0 909212144 10792628224 12897 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21860/statm: 2634919 12899 2123 9 0 2625653 0
[pid=21860/tid=21861] ppid=21858 vsize=10539676 CPUtime=0.09 cores=0,2,4,6
/proc/21860/task/21861/stat : 21861 (java) R 21858 21860 18760 0 -1 4202560 11228 0 1 0 8 1 0 0 18 0 18 0 909212145 10792628224 12899 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 47383853984595 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539676

[startup+0.200571 s]
/proc/loadavg: 3.57 3.52 3.48 3/548 21860
/proc/meminfo: memFree=23397392/32951124 swapFree=56241860/67111528
[pid=21860] ppid=21858 vsize=10540252 CPUtime=0.25 cores=0,2,4,6
/proc/21860/stat : 21860 (java) S 21858 21860 18760 0 -1 4202496 13992 0 1 0 23 2 0 0 25 0 18 0 909212144 10793218048 13632 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21860/statm: 2635063 13632 2182 9 0 2625797 0
[pid=21860/tid=21861] ppid=21858 vsize=10540252 CPUtime=0.18 cores=0,2,4,6
/proc/21860/task/21861/stat : 21861 (java) R 21858 21860 18760 0 -1 4202560 11766 0 1 0 16 2 0 0 18 0 18 0 909212145 10793218048 13632 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10540252

[startup+0.300551 s]
/proc/loadavg: 3.57 3.52 3.48 3/548 21860
/proc/meminfo: memFree=23397392/32951124 swapFree=56241860/67111528
[pid=21860] ppid=21858 vsize=10541276 CPUtime=0.48 cores=0,2,4,6
/proc/21860/stat : 21860 (java) S 21858 21860 18760 0 -1 4202496 15731 0 1 0 46 2 0 0 25 0 18 0 909212144 10794266624 15264 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21860/statm: 2635319 15264 2200 9 0 2626053 0
[pid=21860/tid=21861] ppid=21858 vsize=10541276 CPUtime=0.28 cores=0,2,4,6
/proc/21860/task/21861/stat : 21861 (java) R 21858 21860 18760 0 -1 4202560 12836 0 1 0 26 2 0 0 18 0 18 0 909212145 10794266624 15265 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 46912505580460 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541276

[startup+0.700483 s]
/proc/loadavg: 3.57 3.52 3.48 3/548 21860
/proc/meminfo: memFree=23397392/32951124 swapFree=56241860/67111528
[pid=21860] ppid=21858 vsize=10548456 CPUtime=1.03 cores=0,2,4,6
/proc/21860/stat : 21860 (java) S 21858 21860 18760 0 -1 4202496 31959 0 1 0 98 5 0 0 25 0 19 0 909212144 10801618944 30435 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21860/statm: 2637114 30435 2230 9 0 2627848 0
[pid=21860/tid=21861] ppid=21858 vsize=10548456 CPUtime=0.5 cores=0,2,4,6
/proc/21860/task/21861/stat : 21861 (java) S 21858 21860 18760 0 -1 4202560 26097 0 1 0 46 4 0 0 19 0 19 0 909212145 10801618944 30435 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 10548456

[startup+1.50138 s]
/proc/loadavg: 3.57 3.52 3.48 6/568 21885
/proc/meminfo: memFree=23259660/32951124 swapFree=56241860/67111528
[pid=21860] ppid=21858 vsize=10564464 CPUtime=1.67 cores=0,2,4,6
/proc/21860/stat : 21860 (java) S 21858 21860 18760 0 -1 4202496 38360 0 1 0 161 6 0 0 25 0 19 0 909212144 10818011136 34697 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21860/statm: 2641116 34697 2235 9 0 2631850 0
[pid=21860/tid=21861] ppid=21858 vsize=10564464 CPUtime=0.5 cores=0,2,4,6
/proc/21860/task/21861/stat : 21861 (java) S 21858 21860 18760 0 -1 4202560 26145 0 1 0 46 4 0 0 16 0 19 0 909212145 10818011136 34697 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21863] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21863/stat : 21863 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909212147 10818011136 34697 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21864] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21864/stat : 21864 (java) S 21858 21860 18760 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909212147 10818011136 34697 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21865] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21865/stat : 21865 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909212147 10818011136 34697 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21866] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21866/stat : 21866 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909212147 10818011136 34697 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21867] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21867/stat : 21867 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909212147 10818011136 34697 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21868] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21868/stat : 21868 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909212147 10818011136 34697 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21869] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21869/stat : 21869 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909212147 10818011136 34697 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21870] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21870/stat : 21870 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909212147 10818011136 34697 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21871] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21871/stat : 21871 (java) S 21858 21860 18760 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909212148 10818011136 34697 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 0 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21872] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21872/stat : 21872 (java) S 21858 21860 18760 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909212148 10818011136 34697 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21873] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21873/stat : 21873 (java) S 21858 21860 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909212148 10818011136 34697 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21874] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21874/stat : 21874 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909212150 10818011136 34697 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216747002289 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21875] ppid=21858 vsize=10564464 CPUtime=0.59 cores=0,2,4,6
/proc/21860/task/21875/stat : 21875 (java) S 21858 21860 18760 0 -1 4202560 8033 0 0 0 59 0 0 0 20 0 19 0 909212150 10818011136 34697 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21876] ppid=21858 vsize=10564464 CPUtime=0.37 cores=0,2,4,6
/proc/21860/task/21876/stat : 21876 (java) S 21858 21860 18760 0 -1 4202560 2617 0 0 0 37 0 0 0 15 0 19 0 909212150 10818011136 34697 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
[pid=21860/tid=21877] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21877/stat : 21877 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909212150 10818011136 34697 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21878] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21878/stat : 21878 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909212150 10818011136 34697 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21882] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21882/stat : 21882 (java) S 21858 21860 18760 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 909212197 10818011136 34697 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 10564464

[startup+3.10103 s]
/proc/loadavg: 3.57 3.52 3.48 7/570 21891
/proc/meminfo: memFree=23224180/32951124 swapFree=56241860/67111528
[pid=21860] ppid=21858 vsize=10564464 CPUtime=3.97 cores=0,2,4,6
/proc/21860/stat : 21860 (java) S 21858 21860 18760 0 -1 4202496 79851 0 1 0 386 11 0 0 25 0 22 0 909212144 10818011136 75921 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21860/statm: 2641116 75921 2268 9 0 2631850 0
[pid=21860/tid=21861] ppid=21858 vsize=10564464 CPUtime=0.51 cores=0,2,4,6
/proc/21860/task/21861/stat : 21861 (java) S 21858 21860 18760 0 -1 4202560 26219 0 1 0 47 4 0 0 15 0 22 0 909212145 10818011136 75921 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21863] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21863/stat : 21863 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909212147 10818011136 75921 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21864] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21864/stat : 21864 (java) S 21858 21860 18760 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 909212147 10818011136 75921 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21865] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21865/stat : 21865 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909212147 10818011136 75921 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21866] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21866/stat : 21866 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909212147 10818011136 75921 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21867] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21867/stat : 21867 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909212147 10818011136 75921 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21868] ppid=21858 vsize=10564464 CPUtime=0.01 cores=0,2,4,6
/proc/21860/task/21868/stat : 21868 (java) S 21858 21860 18760 0 -1 4202560 1064 0 0 0 1 0 0 0 18 0 22 0 909212147 10818011136 75921 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
[pid=21860/tid=21869] ppid=21858 vsize=10564464 CPUtime=0.01 cores=0,2,4,6
/proc/21860/task/21869/stat : 21869 (java) S 21858 21860 18760 0 -1 4202560 2116 0 0 0 1 0 0 0 18 0 22 0 909212147 10818011136 75921 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
[pid=21860/tid=21870] ppid=21858 vsize=10564464 CPUtime=0.01 cores=0,2,4,6
/proc/21860/task/21870/stat : 21870 (java) S 21858 21860 18760 0 -1 4202560 1166 0 0 0 1 0 0 0 18 0 22 0 909212147 10818011136 75921 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21871] ppid=21858 vsize=10564464 CPUtime=0.04 cores=0,2,4,6
/proc/21860/task/21871/stat : 21871 (java) S 21858 21860 18760 0 -1 4202560 4277 0 0 0 4 0 0 0 17 0 22 0 909212148 10818011136 75921 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 0 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21872] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21872/stat : 21872 (java) S 21858 21860 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909212148 10818011136 75921 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21873] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21873/stat : 21873 (java) S 21858 21860 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909212148 10818011136 75921 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21874] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21874/stat : 21874 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909212150 10818011136 75921 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216747002289 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21875] ppid=21858 vsize=10564464 CPUtime=0.9 cores=0,2,4,6
/proc/21860/task/21875/stat : 21875 (java) S 21858 21860 18760 0 -1 4202560 8170 0 0 0 89 1 0 0 15 0 22 0 909212150 10818011136 75921 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21876] ppid=21858 vsize=10564464 CPUtime=0.66 cores=0,2,4,6
/proc/21860/task/21876/stat : 21876 (java) S 21858 21860 18760 0 -1 4202560 2917 0 0 0 66 0 0 0 15 0 22 0 909212150 10818011136 75921 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
[pid=21860/tid=21877] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21877/stat : 21877 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909212150 10818011136 75921 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21878] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21878/stat : 21878 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909212150 10818011136 75921 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
[pid=21860/tid=21891] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21891/stat : 21891 (java) S 21858 21860 18760 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909212349 10818011136 75921 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 10564464

[startup+6.30147 s]
/proc/loadavg: 3.60 3.52 3.48 5/570 21894
/proc/meminfo: memFree=22893060/32951124 swapFree=56241860/67111528
[pid=21860] ppid=21858 vsize=10564464 CPUtime=10.34 cores=0,2,4,6
/proc/21860/stat : 21860 (java) S 21858 21860 18760 0 -1 4202496 132738 0 1 0 1017 17 0 0 25 0 22 0 909212144 10818011136 128555 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21860/statm: 2641116 128555 2268 9 0 2631850 0
[pid=21860/tid=21861] ppid=21858 vsize=10564464 CPUtime=0.51 cores=0,2,4,6
/proc/21860/task/21861/stat : 21861 (java) S 21858 21860 18760 0 -1 4202560 26219 0 1 0 47 4 0 0 15 0 22 0 909212145 10818011136 128555 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21863] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21863/stat : 21863 (java) S 21858 21860 18760 0 -1 4202560 1917 0 0 0 0 0 0 0 15 0 22 0 909212147 10818011136 128555 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
[pid=21860/tid=21864] ppid=21858 vsize=10564464 CPUtime=0.01 cores=0,2,4,6
/proc/21860/task/21864/stat : 21864 (java) S 21858 21860 18760 0 -1 4202560 370 0 0 0 1 0 0 0 16 0 22 0 909212147 10818011136 128555 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
[pid=21860/tid=21865] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21865/stat : 21865 (java) S 21858 21860 18760 0 -1 4202560 1519 0 0 0 0 0 0 0 16 0 22 0 909212147 10818011136 128555 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
[pid=21860/tid=21866] ppid=21858 vsize=10564464 CPUtime=0.01 cores=0,2,4,6
/proc/21860/task/21866/stat : 21866 (java) S 21858 21860 18760 0 -1 4202560 2260 0 0 0 1 0 0 0 15 0 22 0 909212147 10818011136 128555 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
[pid=21860/tid=21867] ppid=21858 vsize=10564464 CPUtime=0.01 cores=0,2,4,6
/proc/21860/task/21867/stat : 21867 (java) S 21858 21860 18760 0 -1 4202560 120 0 0 0 1 0 0 0 16 0 22 0 909212147 10818011136 128555 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
[pid=21860/tid=21868] ppid=21858 vsize=10564464 CPUtime=0.02 cores=0,2,4,6
/proc/21860/task/21868/stat : 21868 (java) S 21858 21860 18760 0 -1 4202560 1802 0 0 0 2 0 0 0 15 0 22 0 909212147 10818011136 128555 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
[pid=21860/tid=21869] ppid=21858 vsize=10564464 CPUtime=0.01 cores=0,2,4,6
/proc/21860/task/21869/stat : 21869 (java) S 21858 21860 18760 0 -1 4202560 2746 0 0 0 1 0 0 0 15 0 22 0 909212147 10818011136 128555 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
[pid=21860/tid=21870] ppid=21858 vsize=10564464 CPUtime=0.01 cores=0,2,4,6
/proc/21860/task/21870/stat : 21870 (java) S 21858 21860 18760 0 -1 4202560 1166 0 0 0 1 0 0 0 15 0 22 0 909212147 10818011136 128555 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
[pid=21860/tid=21871] ppid=21858 vsize=10564464 CPUtime=0.28 cores=0,2,4,6
/proc/21860/task/21871/stat : 21871 (java) S 21858 21860 18760 0 -1 4202560 11574 0 0 0 27 1 0 0 15 0 22 0 909212148 10818011136 128555 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 0 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
[pid=21860/tid=21872] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21872/stat : 21872 (java) S 21858 21860 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909212148 10818011136 128555 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21873] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21873/stat : 21873 (java) S 21858 21860 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909212148 10818011136 128555 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21874] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21874/stat : 21874 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909212150 10818011136 128555 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216747002289 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21875] ppid=21858 vsize=10564464 CPUtime=0.96 cores=0,2,4,6
/proc/21860/task/21875/stat : 21875 (java) S 21858 21860 18760 0 -1 4202560 8178 0 0 0 95 1 0 0 15 0 22 0 909212150 10818011136 128555 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21876] ppid=21858 vsize=10564464 CPUtime=0.79 cores=0,2,4,6
/proc/21860/task/21876/stat : 21876 (java) S 21858 21860 18760 0 -1 4202560 3159 0 0 0 79 0 0 0 15 0 22 0 909212150 10818011136 128555 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0

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

/proc/meminfo: memFree=22998432/32951124 swapFree=56241860/67111528
[pid=21860] ppid=21858 vsize=10564464 CPUtime=1676.06 cores=0,2,4,6
/proc/21860/stat : 21860 (java) S 21858 21860 18760 0 -1 4202496 486173 0 1 0 167543 63 0 0 25 0 22 0 909212144 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21860/statm: 2641116 478942 2269 9 0 2631850 0
[pid=21860/tid=21861] ppid=21858 vsize=10564464 CPUtime=0.51 cores=0,2,4,6
/proc/21860/task/21861/stat : 21861 (java) S 21858 21860 18760 0 -1 4202560 26253 0 1 0 47 4 0 0 15 0 22 0 909212145 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21863] ppid=21858 vsize=10564464 CPUtime=1.31 cores=0,2,4,6
/proc/21860/task/21863/stat : 21863 (java) S 21858 21860 18760 0 -1 4202560 4657 0 0 0 131 0 0 0 16 0 22 0 909212147 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21864] ppid=21858 vsize=10564464 CPUtime=1.16 cores=0,2,4,6
/proc/21860/task/21864/stat : 21864 (java) S 21858 21860 18760 0 -1 4202560 4336 0 0 0 116 0 0 0 16 0 22 0 909212147 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21865] ppid=21858 vsize=10564464 CPUtime=1.21 cores=0,2,4,6
/proc/21860/task/21865/stat : 21865 (java) S 21858 21860 18760 0 -1 4202560 6535 0 0 0 120 1 0 0 15 0 22 0 909212147 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
[pid=21860/tid=21866] ppid=21858 vsize=10564464 CPUtime=1.32 cores=0,2,4,6
/proc/21860/task/21866/stat : 21866 (java) S 21858 21860 18760 0 -1 4202560 4285 0 0 0 132 0 0 0 15 0 22 0 909212147 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21867] ppid=21858 vsize=10564464 CPUtime=1.38 cores=0,2,4,6
/proc/21860/task/21867/stat : 21867 (java) S 21858 21860 18760 0 -1 4202560 2200 0 0 0 138 0 0 0 16 0 22 0 909212147 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
[pid=21860/tid=21868] ppid=21858 vsize=10564464 CPUtime=1.3 cores=0,2,4,6
/proc/21860/task/21868/stat : 21868 (java) S 21858 21860 18760 0 -1 4202560 3155 0 0 0 130 0 0 0 16 0 22 0 909212147 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21869] ppid=21858 vsize=10564464 CPUtime=1.28 cores=0,2,4,6
/proc/21860/task/21869/stat : 21869 (java) S 21858 21860 18760 0 -1 4202560 4561 0 0 0 128 0 0 0 15 0 22 0 909212147 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21870] ppid=21858 vsize=10564464 CPUtime=1.59 cores=0,2,4,6
/proc/21860/task/21870/stat : 21870 (java) S 21858 21860 18760 0 -1 4202560 3789 0 0 0 159 0 0 0 15 0 22 0 909212147 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21871] ppid=21858 vsize=10564464 CPUtime=91.36 cores=0,2,4,6
/proc/21860/task/21871/stat : 21871 (java) S 21858 21860 18760 0 -1 4202560 129793 0 0 0 9123 13 0 0 15 0 22 0 909212148 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 0 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
[pid=21860/tid=21872] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21872/stat : 21872 (java) S 21858 21860 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909212148 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21873] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21873/stat : 21873 (java) S 21858 21860 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909212148 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21874] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21874/stat : 21874 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909212150 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216747002289 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21875] ppid=21858 vsize=10564464 CPUtime=1.08 cores=0,2,4,6
/proc/21860/task/21875/stat : 21875 (java) S 21858 21860 18760 0 -1 4202560 8229 0 0 0 107 1 0 0 15 0 22 0 909212150 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
[pid=21860/tid=21876] ppid=21858 vsize=10564464 CPUtime=1.39 cores=0,2,4,6
/proc/21860/task/21876/stat : 21876 (java) S 21858 21860 18760 0 -1 4202560 7963 0 0 0 138 1 0 0 15 0 22 0 909212150 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
[pid=21860/tid=21877] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21877/stat : 21877 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909212150 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21878] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21878/stat : 21878 (java) S 21858 21860 18760 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 909212150 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
[pid=21860/tid=21894] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21894/stat : 21894 (java) S 21858 21860 18760 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 909212399 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
[pid=21860/tid=21895] ppid=21858 vsize=10564464 CPUtime=769.11 cores=0,2,4,6
/proc/21860/task/21895/stat : 21895 (java) R 21858 21860 18760 0 -1 4202560 89 0 0 0 76910 1 0 0 25 0 22 0 909214157 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 46912505824264 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21860/tid=21896] ppid=21858 vsize=10564464 CPUtime=769.13 cores=0,2,4,6
/proc/21860/task/21896/stat : 21896 (java) R 21858 21860 18760 0 -1 4202560 152764 0 0 0 76894 19 0 0 25 0 22 0 909214157 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 46912506054475 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21860/tid=21897] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21897/stat : 21897 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909214158 10818011136 478942 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1676.06
Current children cumulated vsize (KiB) 10564464

[startup+942.302 s]
/proc/loadavg: 2.34 3.34 3.55 3/543 21942
/proc/meminfo: memFree=22972724/32951124 swapFree=56241860/67111528
[pid=21860] ppid=21858 vsize=10564464 CPUtime=1786.89 cores=0,2,4,6
/proc/21860/stat : 21860 (java) S 21858 21860 18760 0 -1 4202496 492633 0 1 0 178624 65 0 0 25 0 22 0 909212144 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21860/statm: 2641116 485387 2269 9 0 2631850 0
[pid=21860/tid=21861] ppid=21858 vsize=10564464 CPUtime=0.51 cores=0,2,4,6
/proc/21860/task/21861/stat : 21861 (java) S 21858 21860 18760 0 -1 4202560 26253 0 1 0 47 4 0 0 15 0 22 0 909212145 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21863] ppid=21858 vsize=10564464 CPUtime=1.4 cores=0,2,4,6
/proc/21860/task/21863/stat : 21863 (java) S 21858 21860 18760 0 -1 4202560 4663 0 0 0 140 0 0 0 15 0 22 0 909212147 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21864] ppid=21858 vsize=10564464 CPUtime=1.27 cores=0,2,4,6
/proc/21860/task/21864/stat : 21864 (java) S 21858 21860 18760 0 -1 4202560 4336 0 0 0 127 0 0 0 16 0 22 0 909212147 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21865] ppid=21858 vsize=10564464 CPUtime=1.25 cores=0,2,4,6
/proc/21860/task/21865/stat : 21865 (java) S 21858 21860 18760 0 -1 4202560 6546 0 0 0 124 1 0 0 15 0 22 0 909212147 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21866] ppid=21858 vsize=10564464 CPUtime=1.43 cores=0,2,4,6
/proc/21860/task/21866/stat : 21866 (java) S 21858 21860 18760 0 -1 4202560 4285 0 0 0 143 0 0 0 16 0 22 0 909212147 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21867] ppid=21858 vsize=10564464 CPUtime=1.54 cores=0,2,4,6
/proc/21860/task/21867/stat : 21867 (java) S 21858 21860 18760 0 -1 4202560 2220 0 0 0 154 0 0 0 16 0 22 0 909212147 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
[pid=21860/tid=21868] ppid=21858 vsize=10564464 CPUtime=1.42 cores=0,2,4,6
/proc/21860/task/21868/stat : 21868 (java) S 21858 21860 18760 0 -1 4202560 3160 0 0 0 142 0 0 0 15 0 22 0 909212147 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
[pid=21860/tid=21869] ppid=21858 vsize=10564464 CPUtime=1.35 cores=0,2,4,6
/proc/21860/task/21869/stat : 21869 (java) S 21858 21860 18760 0 -1 4202560 4561 0 0 0 135 0 0 0 15 0 22 0 909212147 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21870] ppid=21858 vsize=10564464 CPUtime=1.72 cores=0,2,4,6
/proc/21860/task/21870/stat : 21870 (java) S 21858 21860 18760 0 -1 4202560 3789 0 0 0 172 0 0 0 16 0 22 0 909212147 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
[pid=21860/tid=21871] ppid=21858 vsize=10564464 CPUtime=100.91 cores=0,2,4,6
/proc/21860/task/21871/stat : 21871 (java) S 21858 21860 18760 0 -1 4202560 136197 0 0 0 10077 14 0 0 15 0 22 0 909212148 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 0 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
[pid=21860/tid=21872] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21872/stat : 21872 (java) S 21858 21860 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909212148 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21873] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21873/stat : 21873 (java) S 21858 21860 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909212148 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21874] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21874/stat : 21874 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909212150 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216747002289 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21875] ppid=21858 vsize=10564464 CPUtime=1.08 cores=0,2,4,6
/proc/21860/task/21875/stat : 21875 (java) S 21858 21860 18760 0 -1 4202560 8229 0 0 0 107 1 0 0 15 0 22 0 909212150 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
[pid=21860/tid=21876] ppid=21858 vsize=10564464 CPUtime=1.42 cores=0,2,4,6
/proc/21860/task/21876/stat : 21876 (java) S 21858 21860 18760 0 -1 4202560 7965 0 0 0 141 1 0 0 15 0 22 0 909212150 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
[pid=21860/tid=21877] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21877/stat : 21877 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909212150 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21878] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21878/stat : 21878 (java) S 21858 21860 18760 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 909212150 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
[pid=21860/tid=21894] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21894/stat : 21894 (java) S 21858 21860 18760 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 909212399 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
[pid=21860/tid=21895] ppid=21858 vsize=10564464 CPUtime=819.33 cores=0,2,4,6
/proc/21860/task/21895/stat : 21895 (java) R 21858 21860 18760 0 -1 4202560 96 0 0 0 81932 1 0 0 25 0 22 0 909214157 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 46912505884193 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21860/tid=21896] ppid=21858 vsize=10564464 CPUtime=819.34 cores=0,2,4,6
/proc/21860/task/21896/stat : 21896 (java) R 21858 21860 18760 0 -1 4202560 152765 0 0 0 81915 19 0 0 25 0 22 0 909214157 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 46912505907507 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21860/tid=21897] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21897/stat : 21897 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909214158 10818011136 485387 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1786.89
Current children cumulated vsize (KiB) 10564464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+949.42 s]
/proc/loadavg: 2.21 3.28 3.53 3/543 21942
/proc/meminfo: memFree=22972600/32951124 swapFree=56241860/67111528
[pid=21860] ppid=21858 vsize=10564464 CPUtime=1800.12 cores=0,2,4,6
/proc/21860/stat : 21860 (java) S 21858 21860 18760 0 -1 4202496 492638 0 1 0 179947 65 0 0 25 0 22 0 909212144 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21860/statm: 2641116 485389 2269 9 0 2631850 0
[pid=21860/tid=21861] ppid=21858 vsize=10564464 CPUtime=0.51 cores=0,2,4,6
/proc/21860/task/21861/stat : 21861 (java) S 21858 21860 18760 0 -1 4202560 26253 0 1 0 47 4 0 0 15 0 22 0 909212145 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21863] ppid=21858 vsize=10564464 CPUtime=1.4 cores=0,2,4,6
/proc/21860/task/21863/stat : 21863 (java) S 21858 21860 18760 0 -1 4202560 4663 0 0 0 140 0 0 0 15 0 22 0 909212147 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21864] ppid=21858 vsize=10564464 CPUtime=1.29 cores=0,2,4,6
/proc/21860/task/21864/stat : 21864 (java) S 21858 21860 18760 0 -1 4202560 4336 0 0 0 129 0 0 0 16 0 22 0 909212147 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
[pid=21860/tid=21865] ppid=21858 vsize=10564464 CPUtime=1.25 cores=0,2,4,6
/proc/21860/task/21865/stat : 21865 (java) S 21858 21860 18760 0 -1 4202560 6546 0 0 0 124 1 0 0 15 0 22 0 909212147 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21866] ppid=21858 vsize=10564464 CPUtime=1.43 cores=0,2,4,6
/proc/21860/task/21866/stat : 21866 (java) S 21858 21860 18760 0 -1 4202560 4285 0 0 0 143 0 0 0 15 0 22 0 909212147 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21867] ppid=21858 vsize=10564464 CPUtime=1.56 cores=0,2,4,6
/proc/21860/task/21867/stat : 21867 (java) S 21858 21860 18760 0 -1 4202560 2220 0 0 0 156 0 0 0 16 0 22 0 909212147 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 6 0 0 0
[pid=21860/tid=21868] ppid=21858 vsize=10564464 CPUtime=1.44 cores=0,2,4,6
/proc/21860/task/21868/stat : 21868 (java) S 21858 21860 18760 0 -1 4202560 3160 0 0 0 144 0 0 0 16 0 22 0 909212147 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
[pid=21860/tid=21869] ppid=21858 vsize=10564464 CPUtime=1.37 cores=0,2,4,6
/proc/21860/task/21869/stat : 21869 (java) S 21858 21860 18760 0 -1 4202560 4563 0 0 0 137 0 0 0 16 0 22 0 909212147 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21870] ppid=21858 vsize=10564464 CPUtime=1.72 cores=0,2,4,6
/proc/21860/task/21870/stat : 21870 (java) S 21858 21860 18760 0 -1 4202560 3789 0 0 0 172 0 0 0 15 0 22 0 909212147 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
[pid=21860/tid=21871] ppid=21858 vsize=10564464 CPUtime=101.99 cores=0,2,4,6
/proc/21860/task/21871/stat : 21871 (java) S 21858 21860 18760 0 -1 4202560 136199 0 0 0 10185 14 0 0 15 0 22 0 909212148 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 0 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
[pid=21860/tid=21872] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21872/stat : 21872 (java) S 21858 21860 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909212148 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21873] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21873/stat : 21873 (java) S 21858 21860 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909212148 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21874] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21874/stat : 21874 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909212150 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216747002289 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21875] ppid=21858 vsize=10564464 CPUtime=1.08 cores=0,2,4,6
/proc/21860/task/21875/stat : 21875 (java) S 21858 21860 18760 0 -1 4202560 8229 0 0 0 107 1 0 0 15 0 22 0 909212150 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
[pid=21860/tid=21876] ppid=21858 vsize=10564464 CPUtime=1.42 cores=0,2,4,6
/proc/21860/task/21876/stat : 21876 (java) S 21858 21860 18760 0 -1 4202560 7965 0 0 0 141 1 0 0 15 0 22 0 909212150 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
[pid=21860/tid=21877] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21877/stat : 21877 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909212150 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746994585 0 4 0 16800975 18446604441582533312 0 0 -1 2 0 0 0
[pid=21860/tid=21878] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21878/stat : 21878 (java) S 21858 21860 18760 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 909212150 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
[pid=21860/tid=21894] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21894/stat : 21894 (java) S 21858 21860 18760 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 909212399 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 0 0 0 0
[pid=21860/tid=21895] ppid=21858 vsize=10564464 CPUtime=825.36 cores=0,2,4,6
/proc/21860/task/21895/stat : 21895 (java) R 21858 21860 18760 0 -1 4202560 97 0 0 0 82535 1 0 0 25 0 22 0 909214157 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 46912505802928 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21860/tid=21896] ppid=21858 vsize=10564464 CPUtime=825.37 cores=0,2,4,6
/proc/21860/task/21896/stat : 21896 (java) R 21858 21860 18760 0 -1 4202560 152765 0 0 0 82518 19 0 0 25 0 22 0 909214157 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 46912505906765 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21860/tid=21897] ppid=21858 vsize=10564464 CPUtime=0 cores=0,2,4,6
/proc/21860/task/21897/stat : 21897 (java) S 21858 21860 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909214158 10818011136 485389 33554432000 1073741824 1073778376 140735368073344 18446744073709551615 216746995200 0 4 0 16800975 18446604441582533312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10564464

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

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

[startup+949.526 s]
/proc/loadavg: 2.21 3.28 3.53 3/543 21942
/proc/meminfo: memFree=22972600/32951124 swapFree=56241860/67111528
[pid=21860] ppid=21858 vsize=0 CPUtime=1800.27 cores=0,2,4,6
/proc/21860/stat : 21860 (java) Z 21858 21860 18760 0 -1 4203548 492668 0 1 0 179958 69 0 0 17 0 2 0 909212144 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21860/statm: 0 0 0 0 0 0 0
[pid=21860/tid=21895] ppid=21858 vsize=0 CPUtime=825.43 cores=0,2,4,6
/proc/21860/task/21895/stat : 21895 (java) R 21858 21860 18760 0 -1 4203588 97 0 0 0 82538 5 0 0 25 0 2 0 909214157 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 949.572
CPU time (s): 1800.33
CPU user time (s): 1799.59
CPU system time (s): 0.737887
CPU usage (%): 189.593
Max. virtual memory (cumulated for all children) (KiB): 10564464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.737887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 492668
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26003
involuntary context switches= 29103

runsolver used 5.58515 second user time and 11.7332 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-04 14:16:55
IDJOB=3454552
IDBENCH=2270
IDSOLVER=1950
FILE ID=node119/3454552-1307189815
RUNJOBID= node119-1307186991-20974
PBS_JOBID= 13508823
Free space on /tmp= 73660 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454552-1307189815/watcher-3454552-1307189815 -o /tmp/evaluation-result-3454552-1307189815/solver-3454552-1307189815 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454552-1307189815.opb

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

MD5SUM BENCH= 4acf18ad1cd52676d2699a99f210ed0a
RANDOM SEED=859899919

node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23397680 kB
Buffers:        249820 kB
Cached:         600460 kB
SwapCached:      59076 kB
Active:        2235788 kB
Inactive:      7017552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23397680 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:             852 kB
Writeback:           0 kB
AnonPages:     8346724 kB
Mapped:          41636 kB
Slab:           149732 kB
PageTables:      82804 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 174243864 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73660 MiB
End job on node119 at 2011-06-04 14:32:46