Trace number 3733327

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)-30 1800.17 940.569

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
MD5SUM907943cf03e4e0f899b19858f5690e6e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark45.895
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved NO
Number of variables595
Total number of constraints27847
Number of constraints which are clauses27847
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.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.11	c version 2.3.1.v20110525
0.07/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.11	c java.vm.version	19.1-b02
0.07/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.11	c sun.arch.data.model	64
0.07/0.11	c java.version		1.6.0_24
0.07/0.11	c os.name		Linux
0.07/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.11	c os.arch		amd64
0.07/0.11	c Free memory 		9996466904
0.07/0.11	c Max memory 		10048897024
0.07/0.11	c Total memory 		10048897024
0.07/0.11	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3733327-1338688958.opb
0.07/0.13	c reading problem ... 
0.96/0.54	c ... done. Wall clock time 0.407s.
0.96/0.54	c #vars     595
0.96/0.54	c #constraints  27847
0.96/0.54	c constraints type 
0.96/0.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27847
0.96/0.54	c constraints type 
0.96/0.54	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 27847
0.96/0.55	c  And the winner is CuttingPlanes
1.05/1.04	c SATISFIABLE
1.05/1.04	c OPTIMIZING...
1.05/1.04	c Got one! Elapsed wall clock time (in seconds):0.911
1.05/1.04	o -23
1.05/1.07	c  And the winner is Resolution
1.17/1.55	c Got one! Elapsed wall clock time (in seconds):1.417
1.17/1.55	o -24
1.17/1.56	c  And the winner is Resolution
1.19/2.05	c Got one! Elapsed wall clock time (in seconds):1.919
1.19/2.05	o -25
1.39/2.11	c  And the winner is Resolution
1.86/2.55	c Got one! Elapsed wall clock time (in seconds):2.422
1.86/2.55	o -26
2.40/2.71	c  And the winner is Resolution
2.62/3.06	c Got one! Elapsed wall clock time (in seconds):2.924
2.62/3.06	o -27
3.86/3.67	c  And the winner is CuttingPlanes
4.01/4.06	c Got one! Elapsed wall clock time (in seconds):3.926
4.01/4.06	o -28
4.29/4.23	c cleaning 3086 clauses out of 6172 with flag 1000/6172
6.23/5.13	c cleaning 4544 clauses out of 9087 with flag 7001/12173
8.41/6.27	c cleaning 5771 clauses out of 11542 with flag 14000/19172
10.96/7.53	c cleaning 6885 clauses out of 13771 with flag 22000/27172
14.01/9.01	c cleaning 7940 clauses out of 15886 with flag 31000/36172
17.11/10.58	c cleaning 8966 clauses out of 17947 with flag 41001/46173
20.90/12.48	c cleaning 9988 clauses out of 19980 with flag 52000/57172
25.00/14.50	c cleaning 10993 clauses out of 21993 with flag 64001/69173
30.45/17.37	c cleaning 11996 clauses out of 24000 with flag 77001/82173
35.55/19.91	c cleaning 12995 clauses out of 26003 with flag 91000/96172
41.43/22.97	c cleaning 14005 clauses out of 28010 with flag 106002/111174
47.89/26.30	c cleaning 15000 clauses out of 30005 with flag 122002/127174
54.47/29.68	c cleaning 15999 clauses out of 32003 with flag 139000/144172
61.92/33.44	c cleaning 17003 clauses out of 34005 with flag 157001/162173
70.18/37.61	c cleaning 17998 clauses out of 36001 with flag 176000/181172
77.43/41.36	c cleaning 19001 clauses out of 38003 with flag 196000/201172
86.73/46.12	c cleaning 19998 clauses out of 40002 with flag 217000/222172
95.76/50.75	c cleaning 21002 clauses out of 42004 with flag 239000/244172
107.39/56.65	c cleaning 21993 clauses out of 44002 with flag 262000/267172
116.59/61.31	c cleaning 23001 clauses out of 46009 with flag 286000/291172
127.64/67.03	c cleaning 24000 clauses out of 48008 with flag 311000/316172
140.00/73.39	c cleaning 24997 clauses out of 50008 with flag 337000/342172
153.38/80.18	c cleaning 26003 clauses out of 52011 with flag 364000/369172
172.55/89.80	c cleaning 26993 clauses out of 54008 with flag 392000/397172
184.10/95.86	c cleaning 27502 clauses out of 55015 with flag 420000/425172
197.85/102.85	c cleaning 27751 clauses out of 55514 with flag 448001/453173
212.02/110.08	c cleaning 27875 clauses out of 55762 with flag 476000/481172
226.54/117.48	c cleaning 27939 clauses out of 55888 with flag 504001/509173
239.03/123.95	c cleaning 27961 clauses out of 55948 with flag 532000/537172
253.14/131.11	c cleaning 27981 clauses out of 55987 with flag 560000/565172
268.25/138.84	c cleaning 27997 clauses out of 56006 with flag 588000/593172
271.54/140.64	c  And the winner is Resolution
273.28/142.64	c Got one! Elapsed wall clock time (in seconds):142.512
273.28/142.64	o -29
274.69/143.57	c cleaning 20631 clauses out of 41268 with flag 5000/606431
277.58/145.23	c cleaning 13308 clauses out of 26637 with flag 11000/612431
280.26/146.78	c cleaning 10153 clauses out of 20329 with flag 18000/619431
283.56/148.51	c cleaning 9079 clauses out of 18177 with flag 26001/627432
287.04/150.44	c cleaning 9032 clauses out of 18097 with flag 35000/636431
291.31/152.90	c cleaning 9532 clauses out of 19065 with flag 45000/646431
295.78/155.26	c cleaning 10263 clauses out of 20534 with flag 56001/657432
300.87/157.98	c cleaning 11129 clauses out of 22270 with flag 68000/669431
306.77/161.04	c cleaning 12059 clauses out of 24141 with flag 81000/682431
313.22/164.51	c cleaning 13033 clauses out of 26083 with flag 95001/696432
320.13/168.18	c cleaning 14016 clauses out of 28049 with flag 110000/711431
327.41/171.93	c cleaning 15016 clauses out of 30034 with flag 126001/727432
334.89/175.84	c cleaning 16006 clauses out of 32018 with flag 143001/744432
343.34/180.39	c cleaning 17003 clauses out of 34011 with flag 161000/762431
352.64/185.14	c cleaning 17993 clauses out of 36008 with flag 180000/781431
362.12/190.02	c cleaning 19002 clauses out of 38015 with flag 200000/801431
373.43/195.84	c cleaning 20005 clauses out of 40014 with flag 221001/822432
384.88/201.84	c cleaning 21003 clauses out of 42008 with flag 243000/844431
396.94/208.09	c cleaning 21998 clauses out of 44005 with flag 266000/867431
410.64/215.08	c cleaning 22998 clauses out of 46007 with flag 290000/891431
420.31/220.05	c cleaning 23996 clauses out of 48009 with flag 315000/916431
425.92/223.11	c  And the winner is Resolution
428.17/225.58	c Got one! Elapsed wall clock time (in seconds):225.451
428.17/225.58	o -30
429.88/226.52	c cleaning 20525 clauses out of 41061 with flag 5000/933479
432.34/227.98	c cleaning 13258 clauses out of 26537 with flag 11001/939480
435.19/229.52	c cleaning 10131 clauses out of 20278 with flag 18000/946479
438.24/231.27	c cleaning 9067 clauses out of 18147 with flag 26000/954479
442.42/233.60	c cleaning 9034 clauses out of 18080 with flag 35000/963479
446.89/236.01	c cleaning 9519 clauses out of 19046 with flag 45000/973479
451.33/238.47	c cleaning 10245 clauses out of 20527 with flag 56000/984479
456.16/241.07	c cleaning 11139 clauses out of 22282 with flag 68000/996479
462.60/244.50	c cleaning 12071 clauses out of 24143 with flag 81000/1009479
468.85/247.90	c cleaning 13022 clauses out of 26072 with flag 95000/1023479
475.50/251.35	c cleaning 14023 clauses out of 28051 with flag 110001/1038480
482.95/255.24	c cleaning 15014 clauses out of 30028 with flag 126001/1054480
491.77/259.99	c cleaning 15998 clauses out of 32014 with flag 143001/1071480
500.02/264.28	c cleaning 17003 clauses out of 34015 with flag 161000/1089479
508.26/268.58	c cleaning 18004 clauses out of 36012 with flag 180000/1108479
518.08/273.61	c cleaning 18999 clauses out of 38008 with flag 200000/1128479
528.52/279.16	c cleaning 20003 clauses out of 40011 with flag 221002/1149481
541.73/285.94	c cleaning 21004 clauses out of 42007 with flag 243001/1171480
553.94/292.23	c cleaning 21990 clauses out of 44002 with flag 266000/1194479
565.93/298.49	c cleaning 22999 clauses out of 46012 with flag 290000/1218479
579.07/305.34	c cleaning 24000 clauses out of 48014 with flag 315001/1243480
593.69/312.82	c cleaning 25005 clauses out of 50013 with flag 341000/1269479
607.87/320.17	c cleaning 25995 clauses out of 52009 with flag 368001/1296480
625.86/329.36	c cleaning 26998 clauses out of 54013 with flag 396000/1324479
639.00/336.25	c cleaning 27500 clauses out of 55015 with flag 424000/1352479
651.36/342.63	c cleaning 27752 clauses out of 55515 with flag 452000/1380479
665.15/349.75	c cleaning 27877 clauses out of 55763 with flag 480000/1408479
671.52/353.15	c cleaning 0 clauses out of 6759 with flag 0/6763
679.79/357.45	c cleaning 27931 clauses out of 55886 with flag 508000/1436479
694.79/365.16	c cleaning 27974 clauses out of 55955 with flag 536000/1464479
708.35/372.19	c cleaning 27989 clauses out of 55982 with flag 564001/1492480
723.69/380.00	c cleaning 27993 clauses out of 55992 with flag 592000/1520479
737.96/387.51	c cleaning 27994 clauses out of 55999 with flag 620000/1548479
752.16/394.88	c cleaning 27997 clauses out of 56005 with flag 648000/1576479
768.71/403.37	c cleaning 27990 clauses out of 56008 with flag 676000/1604479
782.86/410.63	c cleaning 28001 clauses out of 56018 with flag 704000/1632479
797.49/418.39	c cleaning 27994 clauses out of 56018 with flag 732001/1660480
811.43/425.57	c cleaning 28008 clauses out of 56023 with flag 760000/1688479
826.81/433.41	c cleaning 27995 clauses out of 56015 with flag 788000/1716479
842.74/441.60	c cleaning 28003 clauses out of 56020 with flag 816000/1744479
857.14/449.23	c cleaning 28000 clauses out of 56018 with flag 844001/1772480
870.30/456.09	c cleaning 27994 clauses out of 56017 with flag 872000/1800479
883.63/462.98	c cleaning 27995 clauses out of 56023 with flag 900000/1828479
898.54/470.66	c cleaning 27998 clauses out of 56028 with flag 928000/1856479
914.39/478.95	c cleaning 27989 clauses out of 56031 with flag 956001/1884480
928.91/486.43	c cleaning 28006 clauses out of 56041 with flag 984000/1912479
944.04/494.20	c cleaning 27997 clauses out of 56035 with flag 1012000/1940479
961.36/503.18	c cleaning 27998 clauses out of 56038 with flag 1040000/1968479
977.02/511.32	c cleaning 28009 clauses out of 56040 with flag 1068000/1996479
988.75/517.47	c cleaning 28017 clauses out of 56033 with flag 1096002/2024481
1001.08/523.88	c cleaning 28000 clauses out of 56014 with flag 1124000/2052479
1014.78/530.96	c cleaning 27996 clauses out of 56014 with flag 1152000/2080479
1028.67/538.36	c cleaning 27997 clauses out of 56018 with flag 1180000/2108479
1042.37/545.48	c cleaning 28000 clauses out of 56021 with flag 1208000/2136479
1057.04/553.08	c cleaning 28006 clauses out of 56022 with flag 1236001/2164480
1074.17/561.81	c cleaning 28006 clauses out of 56015 with flag 1264000/2192479
1089.11/569.79	c cleaning 27998 clauses out of 56009 with flag 1292000/2220479
1105.80/578.35	c cleaning 27999 clauses out of 56012 with flag 1320001/2248480
1120.09/585.73	c cleaning 27999 clauses out of 56012 with flag 1348000/2276479
1133.18/592.58	c cleaning 28003 clauses out of 56015 with flag 1376002/2304481
1150.05/601.49	c cleaning 28003 clauses out of 56010 with flag 1404000/2332479
1166.14/609.78	c cleaning 27998 clauses out of 56007 with flag 1432000/2360479
1182.00/617.91	c cleaning 27999 clauses out of 56010 with flag 1460001/2388480
1200.68/627.60	c cleaning 28001 clauses out of 56010 with flag 1488000/2416479
1215.60/635.48	c cleaning 27979 clauses out of 56009 with flag 1516000/2444479
1231.49/643.69	c cleaning 28008 clauses out of 56030 with flag 1544000/2472479
1246.77/651.58	c cleaning 28003 clauses out of 56022 with flag 1572000/2500479
1262.01/659.48	c cleaning 28001 clauses out of 56019 with flag 1600000/2528479
1278.29/668.06	c cleaning 28005 clauses out of 56018 with flag 1628000/2556479
1293.74/676.00	c cleaning 27999 clauses out of 56014 with flag 1656001/2584480
1309.19/684.09	c cleaning 28005 clauses out of 56014 with flag 1684000/2612479
1326.47/692.94	c cleaning 27992 clauses out of 56010 with flag 1712001/2640480
1342.54/701.41	c cleaning 28000 clauses out of 56017 with flag 1740000/2668479
1358.23/709.51	c cleaning 27999 clauses out of 56017 with flag 1768000/2696479
1373.66/717.55	c cleaning 28002 clauses out of 56019 with flag 1796001/2724480
1391.30/726.61	c cleaning 27999 clauses out of 56016 with flag 1824000/2752479
1406.99/734.99	c cleaning 28001 clauses out of 56017 with flag 1852000/2780479
1425.21/744.34	c cleaning 27999 clauses out of 56016 with flag 1880000/2808479
1441.24/752.66	c cleaning 28003 clauses out of 56017 with flag 1908000/2836479
1458.07/761.31	c cleaning 28007 clauses out of 56015 with flag 1936001/2864480
1475.65/770.60	c cleaning 27996 clauses out of 56007 with flag 1964000/2892479
1491.26/778.73	c cleaning 27999 clauses out of 56011 with flag 1992000/2920479
1508.32/787.56	c cleaning 28000 clauses out of 56012 with flag 2020000/2948479
1526.89/797.17	c cleaning 28000 clauses out of 56012 with flag 2048000/2976479
1541.12/804.77	c cleaning 27990 clauses out of 56012 with flag 2076000/3004479
1553.16/811.05	c cleaning 28008 clauses out of 56022 with flag 2104000/3032479
1565.79/817.63	c cleaning 27988 clauses out of 56014 with flag 2132000/3060479
1579.20/824.68	c cleaning 28002 clauses out of 56026 with flag 2160000/3088479
1592.60/831.89	c cleaning 27998 clauses out of 56024 with flag 2188000/3116479
1605.22/838.41	c cleaning 27998 clauses out of 56026 with flag 2216000/3144479
1619.25/845.77	c cleaning 28010 clauses out of 56028 with flag 2244000/3172479
1633.26/853.02	c cleaning 28007 clauses out of 56018 with flag 2272000/3200479
1647.45/860.69	c cleaning 27998 clauses out of 56011 with flag 2300000/3228479
1662.28/868.39	c cleaning 28001 clauses out of 56014 with flag 2328001/3256480
1677.11/876.04	c cleaning 27989 clauses out of 56012 with flag 2356000/3284479
1689.51/882.56	c cleaning 28010 clauses out of 56023 with flag 2384000/3312479
1704.04/890.35	c cleaning 27997 clauses out of 56013 with flag 2412000/3340479
1718.03/897.63	c cleaning 28001 clauses out of 56016 with flag 2440000/3368479
1732.80/905.34	c cleaning 27994 clauses out of 56015 with flag 2468000/3396479
1746.58/912.56	c cleaning 28000 clauses out of 56022 with flag 2496001/3424480
1759.35/919.47	c cleaning 27999 clauses out of 56021 with flag 2524000/3452479
1774.16/927.12	c cleaning 27994 clauses out of 56022 with flag 2552000/3480479
1789.90/935.34	c cleaning 28006 clauses out of 56028 with flag 2580000/3508479
1799.67/940.52	c starts		: 280
1799.67/940.52	c conflicts		: 3526577
1799.67/940.52	c decisions		: 3758714
1799.67/940.52	c propagations		: 21346911
1799.67/940.52	c inspects		: 3543548208
1799.67/940.52	c shortcuts		: 0
1799.67/940.52	c learnt literals	: 0
1799.67/940.52	c learnt binary clauses	: 0
1799.67/940.52	c learnt ternary clauses	: 0
1799.67/940.52	c learnt constraints	: 3526577
1799.67/940.52	c ignored constraints	: 0
1799.67/940.52	c root simplifications	: 0
1799.67/940.52	c removed literals (reason simplification)	: 49930472
1799.67/940.52	c reason swapping (by a shorter reason)	: 0
1799.67/940.52	c Calls to reduceDB	: 154
1799.67/940.52	c number of reductions to clauses (during analyze)	: 0
1799.67/940.52	c number of learned constraints concerned by reduction	: 0
1799.67/940.52	c number of learning phase by resolution	: 0
1799.67/940.52	c number of learning phase by cutting planes	: 0
1799.67/940.52	c speed (assignments/second)	: 29858.66208254771
1799.67/940.52	c non guided choices	0
1799.67/940.54	c learnt constraints type 
1799.67/940.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 46191
1799.67/940.54	c constraints type 
1799.67/940.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1799.67/940.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27847
1799.67/940.54	c constraints type 
1799.67/940.54	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 27847
1799.67/940.54	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1799.67/940.54	s SATISFIABLE
1799.67/940.54	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 
1799.67/940.54	c objective function=-30
1799.67/940.54	c Total wall clock time (in seconds): 940.412

Verifier Data 

OK	-30

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-3733327-1338688958/watcher-3733327-1338688958 -o /tmp/evaluation-result-3733327-1338688958/solver-3733327-1338688958 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3733327-1338688958.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: 4.28 4.06 3.90 4/195 16091
/proc/meminfo: memFree=23912308/32873852 swapFree=6856/6856
[pid=16091] ppid=16089 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/16091/stat : 16091 (java) D 16089 16091 4583 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 335021206 9515008 182 33554432000 1073741824 1073778376 140733492677328 140733492668360 229355896501 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/16091/statm: 2323 182 140 9 0 71 0

[startup+0.00659792 s]
/proc/loadavg: 4.28 4.06 3.90 4/195 16091
/proc/meminfo: memFree=23912308/32873852 swapFree=6856/6856
[pid=16091] ppid=16089 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/16091/stat : 16091 (java) R 16089 16091 4583 0 -1 4202496 285 0 0 0 0 0 0 0 20 0 1 0 335021206 278528 34 33554432000 1073741824 1073778376 140736956935584 140733492668552 229346733237 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16091/statm: 68 34 25 9 0 25 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 272

[startup+0.100219 s]
/proc/loadavg: 4.28 4.06 3.90 4/195 16091
/proc/meminfo: memFree=23912308/32873852 swapFree=6856/6856
[pid=16091] ppid=16089 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/16091/stat : 16091 (java) S 16089 16091 4583 0 -1 4202496 4528 0 1 0 6 1 0 0 20 0 18 0 335021206 11864465408 12380 33554432000 1073741824 1073778376 140736956935584 140736956926720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16091/statm: 2896598 12380 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.300232 s]
/proc/loadavg: 4.28 4.06 3.90 4/195 16091
/proc/meminfo: memFree=23912308/32873852 swapFree=6856/6856
[pid=16091] ppid=16089 vsize=11586392 CPUtime=0.44 cores=0,2,4,6
/proc/16091/stat : 16091 (java) S 16089 16091 4583 0 -1 4202496 6251 0 1 0 42 2 0 0 20 0 18 0 335021206 11864465408 15454 33554432000 1073741824 1073778376 140736956935584 140736956926720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16091/statm: 2896598 15450 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 11586392

[startup+0.700294 s]
/proc/loadavg: 4.28 4.06 3.90 4/195 16091
/proc/meminfo: memFree=23912308/32873852 swapFree=6856/6856
[pid=16091] ppid=16089 vsize=11786084 CPUtime=1.05 cores=0,2,4,6
/proc/16091/stat : 16091 (java) S 16089 16091 4583 0 -1 4202496 10033 0 1 0 100 5 0 0 20 0 20 0 335021206 12068950016 31973 33554432000 1073741824 1073778376 140736956935584 140736956926720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16091/statm: 2946521 31973 2252 9 0 2937208 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 11786084

[startup+1.50071 s]
/proc/loadavg: 4.28 4.06 3.90 3/215 16113
/proc/meminfo: memFree=23792448/32873852 swapFree=6856/6856
[pid=16091] ppid=16089 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/16091/stat : 16091 (java) S 16089 16091 4583 0 -1 4202496 10122 0 1 0 110 7 0 0 20 0 19 0 335021206 12137111552 33569 33554432000 1073741824 1073778376 140736956935584 140736956926720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16091/statm: 2963162 33569 2256 9 0 2953849 0
[pid=16091/tid=16093] ppid=16089 vsize=11852648 CPUtime=0.52 cores=0,2,4,6
/proc/16091/task/16093/stat : 16093 (java) S 16089 16091 4583 0 -1 4202560 3469 0 1 0 49 3 0 0 20 0 19 0 335021207 12137111552 33569 33554432000 1073741824 1073778376 140736956935584 140672259986584 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16094] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16094/stat : 16094 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335021209 12137111552 33569 33554432000 1073741824 1073778376 140736956935584 140672097131176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16095] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16095/stat : 16095 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335021209 12137111552 33569 33554432000 1073741824 1073778376 140736956935584 140672096078632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16096] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16096/stat : 16096 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335021209 12137111552 33569 33554432000 1073741824 1073778376 140736956935584 140672095026088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16091/tid=16097] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16097/stat : 16097 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335021209 12137111552 33569 33554432000 1073741824 1073778376 140736956935584 140672093973544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16098] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16098/stat : 16098 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335021209 12137111552 33569 33554432000 1073741824 1073778376 140736956935584 140672092919976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16099] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16099/stat : 16099 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335021209 12137111552 33569 33554432000 1073741824 1073778376 140736956935584 140672091867432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16100] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16100/stat : 16100 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335021209 12137111552 33569 33554432000 1073741824 1073778376 140736956935584 140672090814888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16101] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16101/stat : 16101 (java) S 16089 16091 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335021209 12137111552 33569 33554432000 1073741824 1073778376 140736956935584 140672089762344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16102] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16102/stat : 16102 (java) S 16089 16091 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335021210 12137111552 33569 33554432000 1073741824 1073778376 140736956935584 140672077564520 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16103] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16103/stat : 16103 (java) S 16089 16091 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335021211 12137111552 33569 33554432000 1073741824 1073778376 140736956935584 140672076510840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16104] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16104/stat : 16104 (java) S 16089 16091 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335021211 12137111552 33569 33554432000 1073741824 1073778376 140736956935584 140672075458184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16105] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16105/stat : 16105 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335021213 12137111552 33569 33554432000 1073741824 1073778376 140736956935584 140672074406928 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16106] ppid=16089 vsize=11852648 CPUtime=0.24 cores=0,2,4,6
/proc/16091/task/16106/stat : 16106 (java) S 16089 16091 4583 0 -1 4202560 2502 0 0 0 24 0 0 0 20 0 19 0 335021213 12137111552 33569 33554432000 1073741824 1073778376 140736956935584 140672073353272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16107] ppid=16089 vsize=11852648 CPUtime=0.28 cores=0,2,4,6
/proc/16091/task/16107/stat : 16107 (java) S 16089 16091 4583 0 -1 4202560 2843 0 0 0 28 0 0 0 20 0 19 0 335021213 12137111552 33569 33554432000 1073741824 1073778376 140736956935584 140672072300728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16108] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16108/stat : 16108 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335021213 12137111552 33569 33554432000 1073741824 1073778376 140736956935584 140672071248376 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16109] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16109/stat : 16109 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335021213 12137111552 33569 33554432000 1073741824 1073778376 140736956935584 140672070196040 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16113] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16113/stat : 16113 (java) S 16089 16091 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335021262 12137111552 33569 33554432000 1073741824 1073778376 140736956935584 140672068032168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 11852648

[startup+3.1006 s]
/proc/loadavg: 4.28 4.06 3.90 6/217 16121
/proc/meminfo: memFree=23777484/32873852 swapFree=6856/6856
[pid=16091] ppid=16089 vsize=11852648 CPUtime=2.74 cores=0,2,4,6
/proc/16091/stat : 16091 (java) S 16089 16091 4583 0 -1 4202496 20487 0 1 0 261 13 0 0 20 0 22 0 335021206 12137111552 46452 33554432000 1073741824 1073778376 140736956935584 140736956926720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16091/statm: 2963162 46452 2262 9 0 2953849 0
[pid=16091/tid=16093] ppid=16089 vsize=11852648 CPUtime=0.53 cores=0,2,4,6
/proc/16091/task/16093/stat : 16093 (java) S 16089 16091 4583 0 -1 4202560 3471 0 1 0 50 3 0 0 20 0 22 0 335021207 12137111552 46452 33554432000 1073741824 1073778376 140736956935584 140672259986584 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16094] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16094/stat : 16094 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335021209 12137111552 46452 33554432000 1073741824 1073778376 140736956935584 140672097131176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16095] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16095/stat : 16095 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335021209 12137111552 46452 33554432000 1073741824 1073778376 140736956935584 140672096078632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16096] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16096/stat : 16096 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335021209 12137111552 46452 33554432000 1073741824 1073778376 140736956935584 140672095026088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16091/tid=16097] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16097/stat : 16097 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335021209 12137111552 46452 33554432000 1073741824 1073778376 140736956935584 140672093973544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16098] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16098/stat : 16098 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335021209 12137111552 46452 33554432000 1073741824 1073778376 140736956935584 140672092919976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16099] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16099/stat : 16099 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335021209 12137111552 46452 33554432000 1073741824 1073778376 140736956935584 140672091867432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16100] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16100/stat : 16100 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335021209 12137111552 46452 33554432000 1073741824 1073778376 140736956935584 140672090814888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16101] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16101/stat : 16101 (java) S 16089 16091 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335021209 12137111552 46452 33554432000 1073741824 1073778376 140736956935584 140672089762344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16102] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16102/stat : 16102 (java) S 16089 16091 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335021210 12137111552 46452 33554432000 1073741824 1073778376 140736956935584 140672077564520 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16103] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16103/stat : 16103 (java) S 16089 16091 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335021211 12137111552 46452 33554432000 1073741824 1073778376 140736956935584 140672076510840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16104] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16104/stat : 16104 (java) S 16089 16091 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335021211 12137111552 46452 33554432000 1073741824 1073778376 140736956935584 140672075458184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16105] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16105/stat : 16105 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335021213 12137111552 46452 33554432000 1073741824 1073778376 140736956935584 140672074406928 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16106] ppid=16089 vsize=11852648 CPUtime=0.68 cores=0,2,4,6
/proc/16091/task/16106/stat : 16106 (java) S 16089 16091 4583 0 -1 4202560 7550 0 0 0 66 2 0 0 20 0 22 0 335021213 12137111552 46452 33554432000 1073741824 1073778376 140736956935584 140672073353272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16107] ppid=16089 vsize=11852648 CPUtime=0.84 cores=0,2,4,6
/proc/16091/task/16107/stat : 16107 (java) S 16089 16091 4583 0 -1 4202560 8083 0 0 0 83 1 0 0 20 0 22 0 335021213 12137111552 46452 33554432000 1073741824 1073778376 140736956935584 140672072300728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16108] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16108/stat : 16108 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335021213 12137111552 46452 33554432000 1073741824 1073778376 140736956935584 140672071248376 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16109] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16109/stat : 16109 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335021213 12137111552 46452 33554432000 1073741824 1073778376 140736956935584 140672070196040 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16113] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16113/stat : 16113 (java) S 16089 16091 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335021262 12137111552 46452 33554432000 1073741824 1073778376 140736956935584 140672068032168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 11852648

[startup+6.30078 s]
/proc/loadavg: 4.10 4.02 3.89 5/217 16130
/proc/meminfo: memFree=23314516/32873852 swapFree=6856/6856
[pid=16091] ppid=16089 vsize=11852648 CPUtime=8.6 cores=0,2,4,6
/proc/16091/stat : 16091 (java) S 16089 16091 4583 0 -1 4202496 22287 0 1 0 833 27 0 0 20 0 22 0 335021206 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140736956926720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16091/statm: 2963162 169985 2290 9 0 2953849 0
[pid=16091/tid=16093] ppid=16089 vsize=11852648 CPUtime=0.53 cores=0,2,4,6
/proc/16091/task/16093/stat : 16093 (java) S 16089 16091 4583 0 -1 4202560 3472 0 1 0 50 3 0 0 20 0 22 0 335021207 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672259986584 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16094] ppid=16089 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/16091/task/16094/stat : 16094 (java) S 16089 16091 4583 0 -1 4202560 28 0 0 0 2 0 0 0 20 0 22 0 335021209 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672097131176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16095] ppid=16089 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/16091/task/16095/stat : 16095 (java) S 16089 16091 4583 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 335021209 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672096078632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16096] ppid=16089 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/16091/task/16096/stat : 16096 (java) S 16089 16091 4583 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 335021209 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672095026088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16091/tid=16097] ppid=16089 vsize=11852648 CPUtime=0.06 cores=0,2,4,6
/proc/16091/task/16097/stat : 16097 (java) S 16089 16091 4583 0 -1 4202560 29 0 0 0 4 2 0 0 20 0 22 0 335021209 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672093973544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16091/tid=16098] ppid=16089 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/16091/task/16098/stat : 16098 (java) S 16089 16091 4583 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 335021209 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672092919976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16099] ppid=16089 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/16091/task/16099/stat : 16099 (java) S 16089 16091 4583 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 335021209 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672091867432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16100] ppid=16089 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/16091/task/16100/stat : 16100 (java) S 16089 16091 4583 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 335021209 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672090814888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16091/tid=16101] ppid=16089 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/16091/task/16101/stat : 16101 (java) S 16089 16091 4583 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 22 0 335021209 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672089762344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16102] ppid=16089 vsize=11852648 CPUtime=0.15 cores=0,2,4,6
/proc/16091/task/16102/stat : 16102 (java) R 16089 16091 4583 0 -1 4202560 55 0 0 0 15 0 0 0 20 0 22 0 335021210 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672077563376 140672266112379 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16103] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16103/stat : 16103 (java) S 16089 16091 4583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335021211 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672076510840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16104] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16104/stat : 16104 (java) S 16089 16091 4583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335021211 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672075458184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16105] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16105/stat : 16105 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335021213 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672074406928 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16106] ppid=16089 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/16091/task/16106/stat : 16106 (java) S 16089 16091 4583 0 -1 4202560 8939 0 0 0 79 2 0 0 20 0 22 0 335021213 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672073353272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16107] ppid=16089 vsize=11852648 CPUtime=1.01 cores=0,2,4,6
/proc/16091/task/16107/stat : 16107 (java) S 16089 16091 4583 0 -1 4202560 8113 0 0 0 100 1 0 0 20 0 22 0 335021213 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672072286824 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16108] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16108/stat : 16108 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335021213 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672071248376 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16109] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16109/stat : 16109 (java) S 16089 16091 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335021213 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672070196040 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16127] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16127/stat : 16127 (java) S 16089 16091 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335021512 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672065926568 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16128] ppid=16089 vsize=11852648 CPUtime=1.97 cores=0,2,4,6
/proc/16091/task/16128/stat : 16128 (java) S 16089 16091 4583 0 -1 4202560 12 0 0 0 197 0 0 0 20 0 22 0 335021612 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672069084104 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16129] ppid=16089 vsize=11852648 CPUtime=1.97 cores=0,2,4,6
/proc/16091/task/16129/stat : 16129 (java) S 16089 16091 4583 0 -1 4202560 126 0 0 0 193 4 0 0 20 0 22 0 335021612 12137111552 169985 33554432000 1073741824 1073778376 140736956935584 140672066976744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

[pid=16091/tid=16097] ppid=16089 vsize=11852648 CPUtime=2.18 cores=0,2,4,6
/proc/16091/task/16097/stat : 16097 (java) S 16089 16091 4583 0 -1 4202560 226 0 0 0 214 4 0 0 20 0 22 0 335021209 12137111552 471732 33554432000 1073741824 1073778376 140736956935584 140672093973544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16098] ppid=16089 vsize=11852648 CPUtime=2.21 cores=0,2,4,6
/proc/16091/task/16098/stat : 16098 (java) S 16089 16091 4583 0 -1 4202560 266 0 0 0 218 3 0 0 20 0 22 0 335021209 12137111552 471732 33554432000 1073741824 1073778376 140736956935584 140672092919976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16099] ppid=16089 vsize=11852648 CPUtime=2.14 cores=0,2,4,6
/proc/16091/task/16099/stat : 16099 (java) S 16089 16091 4583 0 -1 4202560 178 0 0 0 211 3 0 0 20 0 22 0 335021209 12137111552 471732 33554432000 1073741824 1073778376 140736956935584 140672091867432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16100] ppid=16089 vsize=11852648 CPUtime=2.08 cores=0,2,4,6
/proc/16091/task/16100/stat : 16100 (java) S 16089 16091 4583 0 -1 4202560 184 0 0 0 205 3 0 0 20 0 22 0 335021209 12137111552 471732 33554432000 1073741824 1073778376 140736956935584 140672090814888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16091/tid=16101] ppid=16089 vsize=11852648 CPUtime=2.08 cores=0,2,4,6
/proc/16091/task/16101/stat : 16101 (java) S 16089 16091 4583 0 -1 4202560 191 0 0 0 205 3 0 0 20 0 22 0 335021209 12137111552 471732 33554432000 1073741824 1073778376 140736956935584 140672089762344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16102] ppid=16089 vsize=11852648 CPUtime=74.54 cores=0,2,4,6
/proc/16091/task/16102/stat : 16102 (java) S 16089 16091 4583 0 -1 4202560 338 0 0 0 7441 13 0 0 20 0 22 0 335021210 12137111552 471732 33554432000 1073741824 1073778376 140736956935584 140672077564520 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16103] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16103/stat : 16103 (java) S 16089 16091 4583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335021211 12137111552 471732 33554432000 1073741824 1073778376 140736956935584 140672076510840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16104] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16104/stat : 16104 (java) S 16089 16091 4583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335021211 12137111552 471732 33554432000 1073741824 1073778376 140736956935584 140672075458184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16105] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16105/stat : 16105 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335021213 12137111552 471732 33554432000 1073741824 1073778376 140736956935584 140672074406928 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16106] ppid=16089 vsize=11852648 CPUtime=1.44 cores=0,2,4,6
/proc/16091/task/16106/stat : 16106 (java) S 16089 16091 4583 0 -1 4202560 13819 0 0 0 142 2 0 0 20 0 22 0 335021213 12137111552 471732 33554432000 1073741824 1073778376 140736956935584 140672073353272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16107] ppid=16089 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/16091/task/16107/stat : 16107 (java) S 16089 16091 4583 0 -1 4202560 8153 0 0 0 131 1 0 0 20 0 22 0 335021213 12137111552 471732 33554432000 1073741824 1073778376 140736956935584 140672072300728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16108] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16108/stat : 16108 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335021213 12137111552 471732 33554432000 1073741824 1073778376 140736956935584 140672071248376 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16109] ppid=16089 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/16091/task/16109/stat : 16109 (java) S 16089 16091 4583 0 -1 4202560 52 0 0 0 16 19 0 0 20 0 22 0 335021213 12137111552 471732 33554432000 1073741824 1073778376 140736956935584 140672070196040 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16130] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16130/stat : 16130 (java) S 16089 16091 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335021612 12137111552 471732 33554432000 1073741824 1073778376 140736956935584 140672068031272 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16091/tid=16135] ppid=16089 vsize=11852648 CPUtime=593.4 cores=0,2,4,6
/proc/16091/task/16135/stat : 16135 (java) R 16089 16091 4583 0 -1 4202560 16 0 0 0 59330 10 0 0 20 0 22 0 335043765 12137111552 471732 33554432000 1073741824 1073778376 140736956935584 140672065925712 140672132987792 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16136] ppid=16089 vsize=11852648 CPUtime=593.31 cores=0,2,4,6
/proc/16091/task/16136/stat : 16136 (java) R 16089 16091 4583 0 -1 4202560 4 0 0 0 59319 12 0 0 20 0 22 0 335043765 12137111552 471732 33554432000 1073741824 1073778376 140736956935584 140672066976656 140672133055722 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16137] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16137/stat : 16137 (java) S 16089 16091 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335043765 12137111552 471732 33554432000 1073741824 1073778376 140736956935584 140672069084712 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1689.11
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+940.507 s]
/proc/loadavg: 3.83 3.85 3.87 6/217 16205
/proc/meminfo: memFree=20450220/32873852 swapFree=6856/6856
[pid=16091] ppid=16089 vsize=11852648 CPUtime=1799.67 cores=0,2,4,6
/proc/16091/stat : 16091 (java) S 16089 16091 4583 0 -1 4202496 29665 0 1 0 179858 109 0 0 20 0 22 0 335021206 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140736956926720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16091/statm: 2963162 479012 2292 9 0 2953849 0
[pid=16091/tid=16093] ppid=16089 vsize=11852648 CPUtime=0.58 cores=0,2,4,6
/proc/16091/task/16093/stat : 16093 (java) S 16089 16091 4583 0 -1 4202560 3592 0 1 0 54 4 0 0 20 0 22 0 335021207 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672259986584 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16094] ppid=16089 vsize=11852648 CPUtime=2.44 cores=0,2,4,6
/proc/16091/task/16094/stat : 16094 (java) S 16089 16091 4583 0 -1 4202560 205 0 0 0 240 4 0 0 20 0 22 0 335021209 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672097131176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16095] ppid=16089 vsize=11852648 CPUtime=2.41 cores=0,2,4,6
/proc/16091/task/16095/stat : 16095 (java) S 16089 16091 4583 0 -1 4202560 233 0 0 0 237 4 0 0 20 0 22 0 335021209 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672096078632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16091/tid=16096] ppid=16089 vsize=11852648 CPUtime=2.13 cores=0,2,4,6
/proc/16091/task/16096/stat : 16096 (java) S 16089 16091 4583 0 -1 4202560 169 0 0 0 211 2 0 0 20 0 22 0 335021209 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672095026088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16091/tid=16097] ppid=16089 vsize=11852648 CPUtime=2.31 cores=0,2,4,6
/proc/16091/task/16097/stat : 16097 (java) S 16089 16091 4583 0 -1 4202560 247 0 0 0 227 4 0 0 20 0 22 0 335021209 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672093973544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16098] ppid=16089 vsize=11852648 CPUtime=2.39 cores=0,2,4,6
/proc/16091/task/16098/stat : 16098 (java) S 16089 16091 4583 0 -1 4202560 288 0 0 0 236 3 0 0 20 0 22 0 335021209 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672092919976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16099] ppid=16089 vsize=11852648 CPUtime=2.31 cores=0,2,4,6
/proc/16091/task/16099/stat : 16099 (java) S 16089 16091 4583 0 -1 4202560 185 0 0 0 227 4 0 0 20 0 22 0 335021209 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672091867432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16100] ppid=16089 vsize=11852648 CPUtime=2.2 cores=0,2,4,6
/proc/16091/task/16100/stat : 16100 (java) S 16089 16091 4583 0 -1 4202560 203 0 0 0 217 3 0 0 20 0 22 0 335021209 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672090814888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16101] ppid=16089 vsize=11852648 CPUtime=2.24 cores=0,2,4,6
/proc/16091/task/16101/stat : 16101 (java) S 16089 16091 4583 0 -1 4202560 206 0 0 0 221 3 0 0 20 0 22 0 335021209 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672089762344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16102] ppid=16089 vsize=11852648 CPUtime=80.93 cores=0,2,4,6
/proc/16091/task/16102/stat : 16102 (java) S 16089 16091 4583 0 -1 4202560 349 0 0 0 8079 14 0 0 20 0 22 0 335021210 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672077564520 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16103] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16103/stat : 16103 (java) S 16089 16091 4583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335021211 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672076510840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16104] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16104/stat : 16104 (java) S 16089 16091 4583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335021211 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672075458184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16105] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16105/stat : 16105 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335021213 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672074406928 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16106] ppid=16089 vsize=11852648 CPUtime=1.44 cores=0,2,4,6
/proc/16091/task/16106/stat : 16106 (java) S 16089 16091 4583 0 -1 4202560 13819 0 0 0 142 2 0 0 20 0 22 0 335021213 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672073353272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16107] ppid=16089 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/16091/task/16107/stat : 16107 (java) S 16089 16091 4583 0 -1 4202560 8153 0 0 0 131 1 0 0 20 0 22 0 335021213 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672072300728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16108] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16108/stat : 16108 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335021213 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672071248376 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16109] ppid=16089 vsize=11852648 CPUtime=0.37 cores=0,2,4,6
/proc/16091/task/16109/stat : 16109 (java) S 16089 16091 4583 0 -1 4202560 56 0 0 0 17 20 0 0 20 0 22 0 335021213 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672070196040 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16130] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16130/stat : 16130 (java) S 16089 16091 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335021612 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672068031272 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16091/tid=16135] ppid=16089 vsize=11852648 CPUtime=644.76 cores=0,2,4,6
/proc/16091/task/16135/stat : 16135 (java) R 16089 16091 4583 0 -1 4202560 16 0 0 0 64466 10 0 0 20 0 22 0 335043765 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672065925712 140672132987995 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16136] ppid=16089 vsize=11852648 CPUtime=644.65 cores=0,2,4,6
/proc/16091/task/16136/stat : 16136 (java) R 16089 16091 4583 0 -1 4202560 12 0 0 0 64453 12 0 0 20 0 22 0 335043765 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672066976736 140672133214545 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16137] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16137/stat : 16137 (java) S 16089 16091 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335043765 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672069084712 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (KiB) 11852648

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

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

[startup+940.507 s]
/proc/loadavg: 3.83 3.85 3.87 6/217 16205
/proc/meminfo: memFree=20450220/32873852 swapFree=6856/6856
[pid=16091] ppid=16089 vsize=11852648 CPUtime=1799.67 cores=0,2,4,6
/proc/16091/stat : 16091 (java) S 16089 16091 4583 0 -1 4202496 29665 0 1 0 179858 109 0 0 20 0 22 0 335021206 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140736956926720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16091/statm: 2963162 479012 2292 9 0 2953849 0
[pid=16091/tid=16093] ppid=16089 vsize=11852648 CPUtime=0.58 cores=0,2,4,6
/proc/16091/task/16093/stat : 16093 (java) S 16089 16091 4583 0 -1 4202560 3592 0 1 0 54 4 0 0 20 0 22 0 335021207 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672259986584 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16094] ppid=16089 vsize=11852648 CPUtime=2.44 cores=0,2,4,6
/proc/16091/task/16094/stat : 16094 (java) S 16089 16091 4583 0 -1 4202560 205 0 0 0 240 4 0 0 20 0 22 0 335021209 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672097131176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16095] ppid=16089 vsize=11852648 CPUtime=2.41 cores=0,2,4,6
/proc/16091/task/16095/stat : 16095 (java) S 16089 16091 4583 0 -1 4202560 233 0 0 0 237 4 0 0 20 0 22 0 335021209 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672096078632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16091/tid=16096] ppid=16089 vsize=11852648 CPUtime=2.13 cores=0,2,4,6
/proc/16091/task/16096/stat : 16096 (java) S 16089 16091 4583 0 -1 4202560 169 0 0 0 211 2 0 0 20 0 22 0 335021209 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672095026088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16091/tid=16097] ppid=16089 vsize=11852648 CPUtime=2.31 cores=0,2,4,6
/proc/16091/task/16097/stat : 16097 (java) S 16089 16091 4583 0 -1 4202560 247 0 0 0 227 4 0 0 20 0 22 0 335021209 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672093973544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16098] ppid=16089 vsize=11852648 CPUtime=2.39 cores=0,2,4,6
/proc/16091/task/16098/stat : 16098 (java) S 16089 16091 4583 0 -1 4202560 288 0 0 0 236 3 0 0 20 0 22 0 335021209 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672092919976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16099] ppid=16089 vsize=11852648 CPUtime=2.31 cores=0,2,4,6
/proc/16091/task/16099/stat : 16099 (java) S 16089 16091 4583 0 -1 4202560 185 0 0 0 227 4 0 0 20 0 22 0 335021209 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672091867432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16100] ppid=16089 vsize=11852648 CPUtime=2.2 cores=0,2,4,6
/proc/16091/task/16100/stat : 16100 (java) S 16089 16091 4583 0 -1 4202560 203 0 0 0 217 3 0 0 20 0 22 0 335021209 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672090814888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16101] ppid=16089 vsize=11852648 CPUtime=2.24 cores=0,2,4,6
/proc/16091/task/16101/stat : 16101 (java) S 16089 16091 4583 0 -1 4202560 206 0 0 0 221 3 0 0 20 0 22 0 335021209 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672089762344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16102] ppid=16089 vsize=11852648 CPUtime=80.93 cores=0,2,4,6
/proc/16091/task/16102/stat : 16102 (java) S 16089 16091 4583 0 -1 4202560 349 0 0 0 8079 14 0 0 20 0 22 0 335021210 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672077564520 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16103] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16103/stat : 16103 (java) S 16089 16091 4583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335021211 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672076510840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16104] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16104/stat : 16104 (java) S 16089 16091 4583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335021211 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672075458184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16105] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16105/stat : 16105 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335021213 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672074406928 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16106] ppid=16089 vsize=11852648 CPUtime=1.44 cores=0,2,4,6
/proc/16091/task/16106/stat : 16106 (java) S 16089 16091 4583 0 -1 4202560 13819 0 0 0 142 2 0 0 20 0 22 0 335021213 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672073353272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16107] ppid=16089 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/16091/task/16107/stat : 16107 (java) S 16089 16091 4583 0 -1 4202560 8153 0 0 0 131 1 0 0 20 0 22 0 335021213 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672072300728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16108] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16108/stat : 16108 (java) S 16089 16091 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335021213 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672071248376 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16109] ppid=16089 vsize=11852648 CPUtime=0.37 cores=0,2,4,6
/proc/16091/task/16109/stat : 16109 (java) S 16089 16091 4583 0 -1 4202560 56 0 0 0 17 20 0 0 20 0 22 0 335021213 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672070196040 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16091/tid=16130] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16130/stat : 16130 (java) S 16089 16091 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335021612 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672068031272 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16091/tid=16135] ppid=16089 vsize=11852648 CPUtime=644.76 cores=0,2,4,6
/proc/16091/task/16135/stat : 16135 (java) R 16089 16091 4583 0 -1 4202560 16 0 0 0 64466 10 0 0 20 0 22 0 335043765 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672065925712 140672132987995 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16091/tid=16136] ppid=16089 vsize=11852648 CPUtime=644.65 cores=0,2,4,6
/proc/16091/task/16136/stat : 16136 (java) R 16089 16091 4583 0 -1 4202560 12 0 0 0 64453 12 0 0 20 0 22 0 335043765 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672066976736 140672133214545 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16091/tid=16137] ppid=16089 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/16091/task/16137/stat : 16137 (java) S 16089 16091 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335043765 12137111552 479012 33554432000 1073741824 1073778376 140736956935584 140672069084712 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (KiB) 11852648

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16091 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=98103
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=432782
# CPU time returned by wait4() is 1796.53
# while last known CPU time is 1799.67
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 940.569
CPU time (s): 1800.17
CPU user time (s): 1799.14
CPU system time (s): 1.03
CPU usage (%): 191.392
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.1
system time used= 1.43278
maximum resident set size= 1916172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29698
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26777
involuntary context switches= 44698

runsolver used 3.39148 second user time and 8.5727 second system time

The end

Launcher Data 

Begin job on node129 at 2012-06-03 04:02:38
IDJOB=3733327
IDBENCH=2274
IDSOLVER=2328
FILE ID=node129/3733327-1338688958
RUNJOBID= node129-1338679212-13349
PBS_JOBID= 14636684
Free space on /tmp= 70480 MiB

SOLVER NAME= PB11: 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-2.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733327-1338688958/watcher-3733327-1338688958 -o /tmp/evaluation-result-3733327-1338688958/solver-3733327-1338688958 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3733327-1338688958.opb

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

MD5SUM BENCH= 907943cf03e4e0f899b19858f5690e6e
RANDOM SEED=1559528013

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        23912308 kB
Buffers:          459604 kB
Cached:          5617760 kB
SwapCached:            0 kB
Active:          4549836 kB
Inactive:        3530504 kB
Active(anon):    1994684 kB
Inactive(anon):    10748 kB
Active(file):    2555152 kB
Inactive(file):  3519756 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1268 kB
Writeback:             4 kB
AnonPages:       2009340 kB
Mapped:            22352 kB
Shmem:               204 kB
Slab:             740856 kB
SReclaimable:     183152 kB
SUnreclaim:       557704 kB
KernelStack:        1616 kB
PageTables:         8120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:   10456260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1964032 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= 70472 MiB
End job on node129 at 2012-06-03 04:18:20