Trace number 3688149

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)9 1800.08 1794.16

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_30.r.opb
MD5SUM80d844acb755df30f8eb4d34a1c5fb81
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark0.074988
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses100
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 constraint10
Maximum length of a constraint30
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
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-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.08/0.09	c version 2.3.2.v20120418
0.08/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.09	c java.vm.version	19.1-b02
0.08/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.09	c sun.arch.data.model	64
0.08/0.09	c java.version		1.6.0_24
0.08/0.09	c os.name		Linux
0.08/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.09	c os.arch		amd64
0.08/0.09	c Free memory 		501472288
0.08/0.09	c Max memory 		7480803328
0.08/0.09	c Total memory 		504102912
0.08/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3688149-1337880504.opb
0.09/0.11	c reading problem ... 
0.09/0.17	c ... done. Wall clock time 0.063s.
0.09/0.17	c declared #vars     100
0.09/0.17	c #constraints  100
0.09/0.17	c constraints type 
0.09/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.09/0.17	c 100 constraints processed.
0.09/0.17	c objective function length is 100 literals
0.09/0.18	c SATISFIABLE
0.09/0.18	c OPTIMIZING...
0.09/0.18	c Got one! Elapsed wall clock time (in seconds):0.068
0.09/0.18	o 14
0.09/0.18	c Got one! Elapsed wall clock time (in seconds):0.074
0.09/0.18	o 13
0.09/0.19	c Got one! Elapsed wall clock time (in seconds):0.077
0.09/0.19	o 12
0.71/0.41	c cleaning 2509 clauses out of 5018 with flag 5000/5018
0.91/0.54	c cleaning 4247 clauses out of 8509 with flag 11000/11018
1.13/0.67	c cleaning 5626 clauses out of 11263 with flag 18001/18019
1.35/0.84	c cleaning 6819 clauses out of 13640 with flag 26004/26022
1.58/1.03	c cleaning 7907 clauses out of 15817 with flag 35000/35018
1.78/1.24	c cleaning 8941 clauses out of 17910 with flag 45000/45018
1.78/1.29	c Got one! Elapsed wall clock time (in seconds):1.178
1.78/1.29	o 11
1.88/1.35	c cleaning 7120 clauses out of 14239 with flag 3001/50288
1.98/1.47	c cleaning 6548 clauses out of 13118 with flag 9000/56287
2.18/1.60	c cleaning 6771 clauses out of 13573 with flag 16003/63290
2.28/1.76	c cleaning 7391 clauses out of 14799 with flag 24000/71287
2.48/1.94	c cleaning 8205 clauses out of 16409 with flag 33001/80288
2.70/2.16	c cleaning 9097 clauses out of 18208 with flag 43005/90292
2.89/2.39	c cleaning 10039 clauses out of 20106 with flag 54000/101287
3.10/2.56	c Got one! Elapsed wall clock time (in seconds):2.447
3.10/2.56	o 10
3.20/2.67	c cleaning 11723 clauses out of 23451 with flag 5003/114671
3.41/2.81	c cleaning 8857 clauses out of 17725 with flag 11000/120668
3.51/2.95	c cleaning 7929 clauses out of 15868 with flag 18000/127668
3.71/3.12	c cleaning 7962 clauses out of 15939 with flag 26000/135668
3.84/3.29	c cleaning 8488 clauses out of 16977 with flag 35000/144668
4.02/3.49	c cleaning 9236 clauses out of 18489 with flag 45000/154668
4.32/3.70	c cleaning 10122 clauses out of 20253 with flag 56000/165668
4.52/3.95	c cleaning 11061 clauses out of 22132 with flag 68001/177669
4.83/4.23	c cleaning 12032 clauses out of 24071 with flag 81001/190669
5.13/4.54	c cleaning 13007 clauses out of 26038 with flag 95000/204668
5.44/4.88	c cleaning 14014 clauses out of 28036 with flag 110005/219673
5.85/5.25	c cleaning 15008 clauses out of 30017 with flag 126000/235668
6.27/5.61	c cleaning 16002 clauses out of 32009 with flag 143000/252668
6.69/6.06	c cleaning 16997 clauses out of 34008 with flag 161001/270669
6.90/6.25	c Got one! Elapsed wall clock time (in seconds):6.141
6.90/6.25	o 9
7.00/6.37	c cleaning 15906 clauses out of 31829 with flag 5001/285487
7.22/6.51	c cleaning 10947 clauses out of 21924 with flag 11002/291488
7.34/6.65	c cleaning 8989 clauses out of 17978 with flag 18003/298489
7.54/6.82	c cleaning 8494 clauses out of 16987 with flag 26001/306487
7.76/7.00	c cleaning 8739 clauses out of 17495 with flag 35003/315489
7.87/7.20	c cleaning 9372 clauses out of 18753 with flag 45000/325486
8.18/7.40	c cleaning 10191 clauses out of 20382 with flag 56001/336487
8.41/7.65	c cleaning 11092 clauses out of 22190 with flag 68000/348486
8.70/7.93	c cleaning 12048 clauses out of 24102 with flag 81004/361490
9.01/8.24	c cleaning 13020 clauses out of 26051 with flag 95001/375487
9.33/8.57	c cleaning 14016 clauses out of 28032 with flag 110002/390488
9.74/8.93	c cleaning 15001 clauses out of 30015 with flag 126001/406487
10.16/9.34	c cleaning 16008 clauses out of 32016 with flag 143003/423489
10.58/9.79	c cleaning 16993 clauses out of 34006 with flag 161001/441487
11.10/10.27	c cleaning 18005 clauses out of 36018 with flag 180006/460492
11.62/10.74	c cleaning 19002 clauses out of 38008 with flag 200001/480487
12.13/11.21	c cleaning 19992 clauses out of 40005 with flag 221000/501486
12.64/11.77	c cleaning 21000 clauses out of 42016 with flag 243003/523489
13.26/12.32	c cleaning 22004 clauses out of 44013 with flag 266000/546486
13.86/12.92	c cleaning 22996 clauses out of 46012 with flag 290003/570489
14.47/13.54	c cleaning 23995 clauses out of 48013 with flag 315000/595486
15.09/14.19	c cleaning 25006 clauses out of 50018 with flag 341000/621486
15.89/14.90	c cleaning 25988 clauses out of 52013 with flag 368001/648487
16.70/15.72	c cleaning 27009 clauses out of 54025 with flag 396001/676487
17.60/16.62	c cleaning 28006 clauses out of 56016 with flag 425001/705487
18.63/17.63	c cleaning 29002 clauses out of 58009 with flag 455000/735486
19.42/18.49	c cleaning 30006 clauses out of 60011 with flag 486004/766490
20.54/19.53	c cleaning 31001 clauses out of 62001 with flag 518000/798486
21.64/20.60	c cleaning 31991 clauses out of 64000 with flag 551000/831486
22.76/21.76	c cleaning 33003 clauses out of 66010 with flag 585001/865487
24.00/22.93	c cleaning 33997 clauses out of 68009 with flag 620003/900489
25.42/24.37	c cleaning 34997 clauses out of 70009 with flag 656000/936486
26.86/25.79	c cleaning 35998 clauses out of 72013 with flag 693001/973487
28.37/27.22	c cleaning 37005 clauses out of 74014 with flag 731000/1011486
29.78/28.63	c cleaning 38006 clauses out of 76012 with flag 770003/1050489
31.22/30.09	c cleaning 38999 clauses out of 78003 with flag 810000/1090486
32.94/31.76	c cleaning 39997 clauses out of 80004 with flag 851000/1131486
34.65/33.49	c cleaning 41000 clauses out of 82007 with flag 893000/1173486
36.38/35.17	c cleaning 42000 clauses out of 84014 with flag 936007/1216493
38.08/36.80	c cleaning 42993 clauses out of 86009 with flag 980002/1260488
39.82/38.56	c cleaning 44006 clauses out of 88016 with flag 1025002/1305488
41.84/40.53	c cleaning 45005 clauses out of 90009 with flag 1071001/1351487
43.66/42.34	c cleaning 45995 clauses out of 92007 with flag 1118004/1398490
45.68/44.31	c cleaning 46997 clauses out of 94008 with flag 1166000/1446486
47.89/46.53	c cleaning 48000 clauses out of 96011 with flag 1215000/1495486
50.21/48.80	c cleaning 48996 clauses out of 98012 with flag 1265001/1545487
52.41/51.07	c cleaning 50008 clauses out of 100015 with flag 1316000/1596486
54.94/53.58	c cleaning 50992 clauses out of 102007 with flag 1368000/1648486
57.76/56.35	c cleaning 51995 clauses out of 104016 with flag 1421001/1701487
60.59/59.15	c cleaning 53004 clauses out of 106020 with flag 1475000/1755486
63.51/62.03	c cleaning 54000 clauses out of 108017 with flag 1530001/1810487
66.23/64.77	c cleaning 54994 clauses out of 110016 with flag 1586000/1866486
68.84/67.34	c cleaning 56003 clauses out of 112022 with flag 1643000/1923486
71.25/69.71	c cleaning 56991 clauses out of 114020 with flag 1701001/1981487
74.37/72.82	c cleaning 58000 clauses out of 116030 with flag 1760002/2040488
77.87/76.32	c cleaning 59006 clauses out of 118030 with flag 1820002/2100488
81.31/79.72	c cleaning 59998 clauses out of 120022 with flag 1881000/2161486
84.94/83.40	c cleaning 61010 clauses out of 122025 with flag 1943001/2223487
88.46/86.82	c cleaning 62006 clauses out of 124014 with flag 2006000/2286486
91.98/90.38	c cleaning 62996 clauses out of 126011 with flag 2070003/2350489
95.78/94.13	c cleaning 63987 clauses out of 128012 with flag 2135000/2415486
99.92/98.22	c cleaning 65010 clauses out of 130025 with flag 2201000/2481486
103.94/102.27	c cleaning 66000 clauses out of 132015 with flag 2268000/2548486
107.65/105.93	c cleaning 66984 clauses out of 134015 with flag 2336000/2616486
111.96/110.27	c cleaning 68010 clauses out of 136031 with flag 2405000/2685486
116.46/114.71	c cleaning 69004 clauses out of 138022 with flag 2475001/2755487
121.17/119.44	c cleaning 69998 clauses out of 140018 with flag 2546001/2826487
125.77/124.08	c cleaning 71002 clauses out of 142022 with flag 2618003/2898489
130.21/128.46	c cleaning 71996 clauses out of 144021 with flag 2691004/2971490
135.34/133.57	c cleaning 73006 clauses out of 146022 with flag 2765001/3045487
140.54/138.74	c cleaning 74000 clauses out of 148015 with flag 2840000/3120486
145.97/144.11	c cleaning 74993 clauses out of 150017 with flag 2916002/3196488
151.29/149.45	c cleaning 75998 clauses out of 152022 with flag 2993000/3273486
157.12/155.26	c cleaning 77009 clauses out of 154028 with flag 3071004/3351490
163.14/161.29	c cleaning 78003 clauses out of 156015 with flag 3150000/3430486
169.17/167.22	c cleaning 78995 clauses out of 158012 with flag 3230000/3510486
175.08/173.19	c cleaning 79997 clauses out of 160018 with flag 3311001/3591487
181.43/179.46	c cleaning 81000 clauses out of 162022 with flag 3393002/3673488
187.46/185.41	c cleaning 81993 clauses out of 164021 with flag 3476001/3756487
192.58/190.54	c cleaning 83004 clauses out of 166027 with flag 3560000/3840486
198.19/196.19	c cleaning 83997 clauses out of 168023 with flag 3645000/3925486
204.82/202.77	c cleaning 85006 clauses out of 170028 with flag 3731002/4011488
211.64/209.50	c cleaning 85999 clauses out of 172020 with flag 3818000/4098486
217.67/215.51	c cleaning 86992 clauses out of 174021 with flag 3906000/4186486
224.30/222.17	c cleaning 88008 clauses out of 176029 with flag 3995000/4275486
230.70/228.57	c cleaning 88993 clauses out of 178021 with flag 4085000/4365486
238.33/236.18	c cleaning 90008 clauses out of 180028 with flag 4176000/4456486
246.36/244.13	c cleaning 91008 clauses out of 182021 with flag 4268001/4548487
253.39/251.14	c cleaning 91999 clauses out of 184013 with flag 4361001/4641487
260.51/258.20	c cleaning 92990 clauses out of 186014 with flag 4455001/4735487
267.13/264.87	c cleaning 94007 clauses out of 188027 with flag 4550004/4830490
274.26/271.97	c cleaning 94998 clauses out of 190020 with flag 4646004/4926490
282.38/280.01	c cleaning 96001 clauses out of 192019 with flag 4743001/5023487
289.52/287.13	c cleaning 96996 clauses out of 194019 with flag 4841002/5121488
297.63/295.21	c cleaning 98003 clauses out of 196022 with flag 4940001/5220487
304.07/301.60	c cleaning 99006 clauses out of 198022 with flag 5040004/5320490
310.54/308.00	c cleaning 99996 clauses out of 200012 with flag 5141000/5421486
317.84/315.33	c cleaning 101004 clauses out of 202019 with flag 5243003/5523489
325.65/323.10	c cleaning 102003 clauses out of 204015 with flag 5346003/5626489
332.48/329.96	c cleaning 102999 clauses out of 206009 with flag 5450000/5730486
340.28/337.78	c cleaning 104004 clauses out of 208011 with flag 5555001/5835487
348.31/345.70	c cleaning 104985 clauses out of 210007 with flag 5661001/5941487
355.84/353.24	c cleaning 105994 clauses out of 212021 with flag 5768000/6048486
362.65/360.06	c cleaning 107004 clauses out of 214029 with flag 5876002/6156488
371.59/368.94	c cleaning 108004 clauses out of 216025 with flag 5985002/6265488
379.91/377.30	c cleaning 109000 clauses out of 218019 with flag 6095000/6375486
387.14/384.48	c cleaning 110008 clauses out of 220023 with flag 6206004/6486490
394.76/392.00	c cleaning 111000 clauses out of 222011 with flag 6318000/6598486
401.58/398.89	c cleaning 112008 clauses out of 224016 with flag 6431005/6711491
410.21/407.42	c cleaning 113002 clauses out of 226004 with flag 6545001/6825487
418.13/415.39	c cleaning 113991 clauses out of 228002 with flag 6660001/6940487
425.75/422.95	c cleaning 115001 clauses out of 230010 with flag 6776000/7056486
433.16/430.39	c cleaning 115998 clauses out of 232009 with flag 6893000/7173486
443.78/440.44	c cleaning 116991 clauses out of 234011 with flag 7011000/7291486
455.71/452.05	c cleaning 118001 clauses out of 236020 with flag 7130000/7410486
467.63/463.94	c cleaning 118993 clauses out of 238019 with flag 7250000/7530486
479.06/475.33	c cleaning 120002 clauses out of 240028 with flag 7371002/7651488
491.57/487.88	c cleaning 121000 clauses out of 242024 with flag 7493000/7773486
505.20/501.41	c cleaning 122007 clauses out of 244027 with flag 7616003/7896489
518.33/514.57	c cleaning 122991 clauses out of 246017 with flag 7740000/8020486
530.05/526.20	c cleaning 124009 clauses out of 248029 with flag 7865003/8145489
541.47/537.63	c cleaning 124996 clauses out of 250021 with flag 7991004/8271490
553.51/549.63	c cleaning 126000 clauses out of 252022 with flag 8118001/8398487
563.94/560.08	c cleaning 126987 clauses out of 254025 with flag 8246004/8526490
574.85/570.99	c cleaning 128015 clauses out of 256037 with flag 8375003/8655489
588.47/584.57	c cleaning 128999 clauses out of 258019 with flag 8505000/8785486
601.59/597.68	c cleaning 129994 clauses out of 260020 with flag 8636000/8916486
616.32/612.37	c cleaning 131010 clauses out of 262029 with flag 8768003/9048489
631.96/627.98	c cleaning 132004 clauses out of 264019 with flag 8901003/9181489
646.81/642.74	c cleaning 132998 clauses out of 266014 with flag 9035002/9315488
660.43/656.30	c cleaning 134000 clauses out of 268015 with flag 9170001/9450487
678.04/673.94	c cleaning 135001 clauses out of 270015 with flag 9306001/9586487
693.16/689.03	c cleaning 135997 clauses out of 272015 with flag 9443002/9723488
706.71/702.59	c cleaning 137005 clauses out of 274016 with flag 9581000/9861486
723.33/719.15	c cleaning 138000 clauses out of 276011 with flag 9720000/10000486
738.66/734.42	c cleaning 139002 clauses out of 278012 with flag 9860001/10140487
756.61/752.31	c cleaning 139986 clauses out of 280009 with flag 10001000/10281486
772.23/767.93	c cleaning 141006 clauses out of 282023 with flag 10143000/10423486
789.17/784.84	c cleaning 141998 clauses out of 284018 with flag 10286001/10566487
805.81/801.41	c cleaning 143010 clauses out of 286026 with flag 10430007/10710493
822.34/817.92	c cleaning 144005 clauses out of 288013 with flag 10575004/10855490
837.98/833.54	c cleaning 144988 clauses out of 290004 with flag 10721000/11001486
853.60/849.11	c cleaning 146007 clauses out of 292016 with flag 10868000/11148486
869.93/865.41	c cleaning 146982 clauses out of 294009 with flag 11016000/11296486
884.57/880.06	c cleaning 148004 clauses out of 296027 with flag 11165000/11445486
899.91/895.35	c cleaning 149005 clauses out of 298023 with flag 11315000/11595486
916.44/911.89	c cleaning 150002 clauses out of 300018 with flag 11466000/11746486
930.89/926.29	c cleaning 150987 clauses out of 302017 with flag 11618001/11898487
942.33/937.60	c cleaning 151987 clauses out of 304031 with flag 11771002/12051488
959.04/954.31	c cleaning 153017 clauses out of 306046 with flag 11925004/12205490
976.69/971.98	c cleaning 154004 clauses out of 308026 with flag 12080001/12360487
994.71/989.97	c cleaning 154993 clauses out of 310022 with flag 12236001/12516487
1012.06/1007.27	c cleaning 156003 clauses out of 312031 with flag 12393003/12673489
1031.90/1027.08	c cleaning 157001 clauses out of 314025 with flag 12551000/12831486
1049.42/1044.59	c cleaning 157994 clauses out of 316024 with flag 12710000/12990486
1064.26/1059.36	c cleaning 159005 clauses out of 318031 with flag 12870001/13150487
1083.51/1078.57	c cleaning 160011 clauses out of 320028 with flag 13031003/13311489
1100.85/1095.86	c cleaning 160997 clauses out of 322015 with flag 13193001/13473487
1114.27/1109.29	c cleaning 162009 clauses out of 324018 with flag 13356001/13636487
1134.60/1129.53	c cleaning 162995 clauses out of 326008 with flag 13520000/13800486
1153.35/1148.23	c cleaning 164000 clauses out of 328014 with flag 13685001/13965487
1171.67/1166.52	c cleaning 164999 clauses out of 330014 with flag 13851001/14131487
1187.00/1181.81	c cleaning 166000 clauses out of 332015 with flag 14018001/14298487
1205.02/1199.81	c cleaning 166991 clauses out of 334014 with flag 14186000/14466486
1220.86/1215.65	c cleaning 167996 clauses out of 336023 with flag 14355000/14635486
1241.08/1235.89	c cleaning 169007 clauses out of 338029 with flag 14525002/14805488
1256.61/1251.38	c cleaning 170006 clauses out of 340021 with flag 14696001/14976487
1275.74/1270.41	c cleaning 171002 clauses out of 342016 with flag 14868002/15148488
1304.56/1299.23	c cleaning 171987 clauses out of 344014 with flag 15041002/15321488
1332.18/1326.88	c cleaning 173011 clauses out of 346028 with flag 15215003/15495489
1363.61/1358.21	c cleaning 174002 clauses out of 348014 with flag 15390000/15670486
1393.96/1388.53	c cleaning 174995 clauses out of 350012 with flag 15566000/15846486
1425.20/1419.72	c cleaning 176002 clauses out of 352021 with flag 15743004/16023490
1452.83/1447.34	c cleaning 177008 clauses out of 354015 with flag 15921000/16201486
1483.08/1477.56	c cleaning 177999 clauses out of 356007 with flag 16100000/16380486
1509.71/1504.16	c cleaning 178973 clauses out of 358010 with flag 16280002/16560488
1535.56/1529.95	c cleaning 180000 clauses out of 360035 with flag 16461000/16741486
1567.81/1562.13	c cleaning 181013 clauses out of 362035 with flag 16643000/16923486
1600.83/1595.12	c cleaning 182004 clauses out of 364023 with flag 16826001/17106487
1624.57/1618.80	c cleaning 182990 clauses out of 366019 with flag 17010001/17290487
1656.49/1650.75	c cleaning 184012 clauses out of 368033 with flag 17195005/17475491
1691.04/1685.24	c cleaning 184988 clauses out of 370017 with flag 17381001/17661487
1719.61/1713.71	c cleaning 186009 clauses out of 372031 with flag 17568003/17848489
1754.51/1748.61	c cleaning 186990 clauses out of 374019 with flag 17756000/18036486
1788.84/1782.93	c cleaning 188006 clauses out of 376029 with flag 17945000/18225486
1800.08/1794.12	c starts		: 355
1800.08/1794.12	c conflicts		: 18302810
1800.08/1794.12	c decisions		: 37283658
1800.08/1794.12	c propagations		: 222683433
1800.08/1794.12	c inspects		: 20506889804
1800.08/1794.12	c shortcuts		: 0
1800.08/1794.12	c learnt literals	: 0
1800.08/1794.12	c learnt binary clauses	: 1
1800.08/1794.12	c learnt ternary clauses	: 17
1800.08/1794.12	c learnt constraints	: 18302810
1800.08/1794.12	c ignored constraints	: 0
1800.08/1794.12	c root simplifications	: 0
1800.08/1794.12	c removed literals (reason simplification)	: 0
1800.08/1794.12	c reason swapping (by a shorter reason)	: 0
1800.08/1794.12	c Calls to reduceDB	: 212
1800.08/1794.12	c number of reductions to clauses (during analyze)	: 0
1800.08/1794.12	c number of learned constraints concerned by reduction	: 0
1800.08/1794.12	c number of learning phase by resolution	: 0
1800.08/1794.12	c number of learning phase by cutting planes	: 0
1800.08/1794.12	c speed (assignments/second)	: 124130.7957559386
1800.08/1794.12	c non guided choices	0
1800.08/1794.15	c learnt constraints type 
1800.08/1794.15	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1800.08/1794.15	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 265521
1800.08/1794.15	c constraints type 
1800.08/1794.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
1800.08/1794.15	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/1794.15	c 101 constraints processed.
1800.08/1794.15	s SATISFIABLE
1800.08/1794.15	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 
1800.08/1794.15	c objective function=9
1800.08/1794.15	c Total wall clock time (in seconds): 1794.043

Verifier Data 

OK	9

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-3688149-1337880504/watcher-3688149-1337880504 -o /tmp/evaluation-result-3688149-1337880504/solver-3688149-1337880504 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688149-1337880504.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: 2.01 2.00 2.00 3/194 10560
/proc/meminfo: memFree=28431876/32873844 swapFree=6592/6592
[pid=10560] ppid=10558 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/10560/stat : 10560 (java) D 10558 10560 8709 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254175223 9515008 182 33554432000 1073741824 1073778376 140736242916736 140736242907768 213419638453 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/10560/statm: 2323 182 140 9 0 71 0

[startup+0.0906179 s]
/proc/loadavg: 2.01 2.00 2.00 3/194 10560
/proc/meminfo: memFree=28431876/32873844 swapFree=6592/6592
[pid=10560] ppid=10558 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/10560/stat : 10560 (java) S 10558 10560 8709 0 -1 4202496 4171 0 1 0 7 1 0 0 20 0 18 0 254175223 9787813888 5363 33554432000 1073741824 1073778376 140733719024480 140733719015616 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10560/statm: 2389603 5363 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.100279 s]
/proc/loadavg: 2.01 2.00 2.00 3/194 10560
/proc/meminfo: memFree=28431876/32873844 swapFree=6592/6592
[pid=10560] ppid=10558 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/10560/stat : 10560 (java) S 10558 10560 8709 0 -1 4202496 4332 0 1 0 8 1 0 0 20 0 18 0 254175223 9787813888 5523 33554432000 1073741824 1073778376 140733719024480 140733719015616 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10560/statm: 2389603 5524 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300147 s]
/proc/loadavg: 2.01 2.00 2.00 3/194 10560
/proc/meminfo: memFree=28431876/32873844 swapFree=6592/6592
[pid=10560] ppid=10558 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/10560/stat : 10560 (java) S 10558 10560 8709 0 -1 4202496 6990 0 1 0 49 2 0 0 20 0 19 0 254175223 9855975424 7808 33554432000 1073741824 1073778376 140733719024480 140733719015616 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10560/statm: 2406244 7808 2231 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9624976

[startup+0.700225 s]
/proc/loadavg: 2.01 2.00 2.00 3/194 10560
/proc/meminfo: memFree=28431876/32873844 swapFree=6592/6592
[pid=10560] ppid=10558 vsize=9624976 CPUtime=1.25 cores=0,2,4,6
/proc/10560/stat : 10560 (java) S 10558 10560 8709 0 -1 4202496 13257 0 1 0 122 3 0 0 20 0 19 0 254175223 9855975424 13943 33554432000 1073741824 1073778376 140733719024480 140733719015616 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10560/statm: 2406244 13943 2267 9 0 2396937 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 9624976

[startup+1.50076 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 10579
/proc/meminfo: memFree=28385244/32873844 swapFree=6592/6592
[pid=10560] ppid=10558 vsize=9624976 CPUtime=2.08 cores=0,2,4,6
/proc/10560/stat : 10560 (java) S 10558 10560 8709 0 -1 4202496 13328 0 1 0 205 3 0 0 20 0 19 0 254175223 9855975424 14467 33554432000 1073741824 1073778376 140733719024480 140733719015616 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10560/statm: 2406244 14467 2268 9 0 2396937 0
[pid=10560/tid=10562] ppid=10558 vsize=9624976 CPUtime=1.38 cores=0,2,4,6
/proc/10560/task/10562/stat : 10562 (java) R 10558 10560 8709 0 -1 4202560 2464 0 1 0 137 1 0 0 20 0 19 0 254175224 9855975424 14467 33554432000 1073741824 1073778376 140733719024480 140527470109064 140527320235985 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10560/tid=10563] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10563/stat : 10563 (java) S 10558 10560 8709 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254175225 9855975424 14467 33554432000 1073741824 1073778376 140733719024480 140527442562088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10564] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10564/stat : 10564 (java) S 10558 10560 8709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254175225 9855975424 14467 33554432000 1073741824 1073778376 140733719024480 140527441509288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10560/tid=10565] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10565/stat : 10565 (java) S 10558 10560 8709 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254175225 9855975424 14467 33554432000 1073741824 1073778376 140733719024480 140527440456488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10566] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10566/stat : 10566 (java) S 10558 10560 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254175225 9855975424 14467 33554432000 1073741824 1073778376 140733719024480 140527439403688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10560/tid=10567] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10567/stat : 10567 (java) S 10558 10560 8709 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254175225 9855975424 14467 33554432000 1073741824 1073778376 140733719024480 140527309204008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10568] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10568/stat : 10568 (java) S 10558 10560 8709 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254175225 9855975424 14467 33554432000 1073741824 1073778376 140733719024480 140527308151208 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10560/tid=10569] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10569/stat : 10569 (java) S 10558 10560 8709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254175225 9855975424 14467 33554432000 1073741824 1073778376 140733719024480 140527307098408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10560/tid=10570] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10570/stat : 10570 (java) S 10558 10560 8709 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254175225 9855975424 14467 33554432000 1073741824 1073778376 140733719024480 140527306045608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10571] ppid=10558 vsize=9624976 CPUtime=0.05 cores=0,2,4,6
/proc/10560/task/10571/stat : 10571 (java) S 10558 10560 8709 0 -1 4202560 30 0 0 0 5 0 0 0 20 0 19 0 254175226 9855975424 14467 33554432000 1073741824 1073778376 140733719024480 140526823533544 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10572] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10572/stat : 10572 (java) S 10558 10560 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254175227 9855975424 14467 33554432000 1073741824 1073778376 140733719024480 140526822479608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10573] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10573/stat : 10573 (java) S 10558 10560 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254175227 9855975424 14467 33554432000 1073741824 1073778376 140733719024480 140526821426696 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10574] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10574/stat : 10574 (java) S 10558 10560 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254175229 9855975424 14467 33554432000 1073741824 1073778376 140733719024480 140526820375184 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10575] ppid=10558 vsize=9624976 CPUtime=0.25 cores=0,2,4,6
/proc/10560/task/10575/stat : 10575 (java) S 10558 10560 8709 0 -1 4202560 2535 0 0 0 25 0 0 0 20 0 19 0 254175229 9855975424 14467 33554432000 1073741824 1073778376 140733719024480 140526819322296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10576] ppid=10558 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/10560/task/10576/stat : 10576 (java) S 10558 10560 8709 0 -1 4202560 7071 0 0 0 31 1 0 0 20 0 19 0 254175229 9855975424 14467 33554432000 1073741824 1073778376 140733719024480 140526818269496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10577] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10577/stat : 10577 (java) S 10558 10560 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254175229 9855975424 14467 33554432000 1073741824 1073778376 140733719024480 140526817216888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10578] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10578/stat : 10578 (java) S 10558 10560 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254175229 9855975424 14467 33554432000 1073741824 1073778376 140733719024480 140526816164296 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10579] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10579/stat : 10579 (java) S 10558 10560 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254175241 9855975424 14467 33554432000 1073741824 1073778376 140733719024480 140526815110824 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9624976

[startup+3.10074 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 10579
/proc/meminfo: memFree=28382948/32873844 swapFree=6592/6592
[pid=10560] ppid=10558 vsize=9624976 CPUtime=3.71 cores=0,2,4,6
/proc/10560/stat : 10560 (java) S 10558 10560 8709 0 -1 4202496 13345 0 1 0 367 4 0 0 20 0 19 0 254175223 9855975424 14476 33554432000 1073741824 1073778376 140733719024480 140733719015616 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10560/statm: 2406244 14476 2268 9 0 2396937 0
[pid=10560/tid=10562] ppid=10558 vsize=9624976 CPUtime=2.89 cores=0,2,4,6
/proc/10560/task/10562/stat : 10562 (java) R 10558 10560 8709 0 -1 4202560 2472 0 1 0 288 1 0 0 20 0 19 0 254175224 9855975424 14476 33554432000 1073741824 1073778376 140733719024480 140527470109064 140527320680539 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10560/tid=10563] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10563/stat : 10563 (java) S 10558 10560 8709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254175225 9855975424 14476 33554432000 1073741824 1073778376 140733719024480 140527442562088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10560/tid=10564] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10564/stat : 10564 (java) S 10558 10560 8709 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254175225 9855975424 14476 33554432000 1073741824 1073778376 140733719024480 140527441509288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10565] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10565/stat : 10565 (java) S 10558 10560 8709 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254175225 9855975424 14476 33554432000 1073741824 1073778376 140733719024480 140527440456488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10566] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10566/stat : 10566 (java) S 10558 10560 8709 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254175225 9855975424 14476 33554432000 1073741824 1073778376 140733719024480 140527439403688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10567] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10567/stat : 10567 (java) S 10558 10560 8709 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254175225 9855975424 14476 33554432000 1073741824 1073778376 140733719024480 140527309204008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10568] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10568/stat : 10568 (java) S 10558 10560 8709 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254175225 9855975424 14476 33554432000 1073741824 1073778376 140733719024480 140527308151208 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10569] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10569/stat : 10569 (java) S 10558 10560 8709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254175225 9855975424 14476 33554432000 1073741824 1073778376 140733719024480 140527307098408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10570] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10570/stat : 10570 (java) S 10558 10560 8709 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254175225 9855975424 14476 33554432000 1073741824 1073778376 140733719024480 140527306045608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10571] ppid=10558 vsize=9624976 CPUtime=0.12 cores=0,2,4,6
/proc/10560/task/10571/stat : 10571 (java) S 10558 10560 8709 0 -1 4202560 30 0 0 0 12 0 0 0 20 0 19 0 254175226 9855975424 14476 33554432000 1073741824 1073778376 140733719024480 140526823533544 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10572] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10572/stat : 10572 (java) S 10558 10560 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254175227 9855975424 14476 33554432000 1073741824 1073778376 140733719024480 140526822479608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10573] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10573/stat : 10573 (java) S 10558 10560 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254175227 9855975424 14476 33554432000 1073741824 1073778376 140733719024480 140526821426696 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10574] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10574/stat : 10574 (java) S 10558 10560 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254175229 9855975424 14476 33554432000 1073741824 1073778376 140733719024480 140526820375184 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10575] ppid=10558 vsize=9624976 CPUtime=0.25 cores=0,2,4,6
/proc/10560/task/10575/stat : 10575 (java) S 10558 10560 8709 0 -1 4202560 2535 0 0 0 25 0 0 0 20 0 19 0 254175229 9855975424 14476 33554432000 1073741824 1073778376 140733719024480 140526819322296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10576] ppid=10558 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/10560/task/10576/stat : 10576 (java) S 10558 10560 8709 0 -1 4202560 7071 0 0 0 31 1 0 0 20 0 19 0 254175229 9855975424 14476 33554432000 1073741824 1073778376 140733719024480 140526818269496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10577] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10577/stat : 10577 (java) S 10558 10560 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254175229 9855975424 14476 33554432000 1073741824 1073778376 140733719024480 140526817216888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10578] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10578/stat : 10578 (java) S 10558 10560 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254175229 9855975424 14476 33554432000 1073741824 1073778376 140733719024480 140526816164296 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10579] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10579/stat : 10579 (java) S 10558 10560 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254175241 9855975424 14476 33554432000 1073741824 1073778376 140733719024480 140526815110824 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 9624976

[startup+6.30067 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 10579
/proc/meminfo: memFree=28381148/32873844 swapFree=6592/6592
[pid=10560] ppid=10558 vsize=9624976 CPUtime=7 cores=0,2,4,6
/proc/10560/stat : 10560 (java) S 10558 10560 8709 0 -1 4202496 13400 0 1 0 696 4 0 0 20 0 19 0 254175223 9855975424 15165 33554432000 1073741824 1073778376 140733719024480 140733719015616 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10560/statm: 2406244 15165 2268 9 0 2396937 0
[pid=10560/tid=10562] ppid=10558 vsize=9624976 CPUtime=5.93 cores=0,2,4,6
/proc/10560/task/10562/stat : 10562 (java) R 10558 10560 8709 0 -1 4202560 2484 0 1 0 592 1 0 0 20 0 19 0 254175224 9855975424 15165 33554432000 1073741824 1073778376 140733719024480 140527470109064 140527320648312 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10560/tid=10563] ppid=10558 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/10560/task/10563/stat : 10563 (java) S 10558 10560 8709 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 254175225 9855975424 15165 33554432000 1073741824 1073778376 140733719024480 140527442562088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10560/tid=10564] ppid=10558 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/10560/task/10564/stat : 10564 (java) S 10558 10560 8709 0 -1 4202560 27 0 0 0 2 0 0 0 20 0 19 0 254175225 9855975424 15165 33554432000 1073741824 1073778376 140733719024480 140527441509288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10565] ppid=10558 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/10560/task/10565/stat : 10565 (java) S 10558 10560 8709 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 254175225 9855975424 15165 33554432000 1073741824 1073778376 140733719024480 140527440456488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10566] ppid=10558 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/10560/task/10566/stat : 10566 (java) S 10558 10560 8709 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 254175225 9855975424 15165 33554432000 1073741824 1073778376 140733719024480 140527439403688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10567] ppid=10558 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/10560/task/10567/stat : 10567 (java) S 10558 10560 8709 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 254175225 9855975424 15165 33554432000 1073741824 1073778376 140733719024480 140527309204008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10568] ppid=10558 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/10560/task/10568/stat : 10568 (java) S 10558 10560 8709 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 254175225 9855975424 15165 33554432000 1073741824 1073778376 140733719024480 140527308151208 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10569] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10569/stat : 10569 (java) S 10558 10560 8709 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254175225 9855975424 15165 33554432000 1073741824 1073778376 140733719024480 140527307098408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10570] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10570/stat : 10570 (java) S 10558 10560 8709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254175225 9855975424 15165 33554432000 1073741824 1073778376 140733719024480 140527306045608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10560/tid=10571] ppid=10558 vsize=9624976 CPUtime=0.23 cores=0,2,4,6
/proc/10560/task/10571/stat : 10571 (java) S 10558 10560 8709 0 -1 4202560 31 0 0 0 23 0 0 0 20 0 19 0 254175226 9855975424 15165 33554432000 1073741824 1073778376 140733719024480 140526823533544 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10572] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10572/stat : 10572 (java) S 10558 10560 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254175227 9855975424 15165 33554432000 1073741824 1073778376 140733719024480 140526822479608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10573] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10573/stat : 10573 (java) S 10558 10560 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254175227 9855975424 15165 33554432000 1073741824 1073778376 140733719024480 140526821426696 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10574] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10574/stat : 10574 (java) S 10558 10560 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254175229 9855975424 15165 33554432000 1073741824 1073778376 140733719024480 140526820375184 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10575] ppid=10558 vsize=9624976 CPUtime=0.25 cores=0,2,4,6
/proc/10560/task/10575/stat : 10575 (java) S 10558 10560 8709 0 -1 4202560 2535 0 0 0 25 0 0 0 20 0 19 0 254175229 9855975424 15165 33554432000 1073741824 1073778376 140733719024480 140526819322296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10576] ppid=10558 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/10560/task/10576/stat : 10576 (java) S 10558 10560 8709 0 -1 4202560 7071 0 0 0 31 1 0 0 20 0 19 0 254175229 9855975424 15165 33554432000 1073741824 1073778376 140733719024480 140526818269496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10577] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10577/stat : 10577 (java) S 10558 10560 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254175229 9855975424 15165 33554432000 1073741824 1073778376 140733719024480 140526817216888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10578] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10578/stat : 10578 (java) S 10558 10560 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254175229 9855975424 15165 33554432000 1073741824 1073778376 140733719024480 140526816164296 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10579] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10579/stat : 10579 (java) S 10558 10560 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254175241 9855975424 15165 33554432000 1073741824 1073778376 140733719024480 140526815110824 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=10560/tid=10575] ppid=10558 vsize=9624976 CPUtime=1.06 cores=0,2,4,6
/proc/10560/task/10575/stat : 10575 (java) S 10558 10560 8709 0 -1 4202560 13633 0 0 0 103 3 0 0 20 0 19 0 254175229 9855975424 42426 33554432000 1073741824 1073778376 140733719024480 140526819322296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10576] ppid=10558 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/10560/task/10576/stat : 10576 (java) S 10558 10560 8709 0 -1 4202560 7077 0 0 0 33 1 0 0 20 0 19 0 254175229 9855975424 42426 33554432000 1073741824 1073778376 140733719024480 140526818269496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10577] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10577/stat : 10577 (java) S 10558 10560 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254175229 9855975424 42426 33554432000 1073741824 1073778376 140733719024480 140526817216888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10578] ppid=10558 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/10560/task/10578/stat : 10578 (java) S 10558 10560 8709 0 -1 4202560 99 0 0 0 32 34 0 0 20 0 19 0 254175229 9855975424 42426 33554432000 1073741824 1073778376 140733719024480 140526816164296 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=10560/tid=10579] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10579/stat : 10579 (java) S 10558 10560 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254175241 9855975424 42426 33554432000 1073741824 1073778376 140733719024480 140526815110824 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1728.22
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 10767
/proc/meminfo: memFree=28258464/32873844 swapFree=6592/6592
[pid=10560] ppid=10558 vsize=9624976 CPUtime=1788.24 cores=0,2,4,6
/proc/10560/stat : 10560 (java) S 10558 10560 8709 0 -1 4202496 26834 0 1 0 178792 32 0 0 20 0 19 0 254175223 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140733719015616 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10560/statm: 2406244 43287 2269 9 0 2396937 0
[pid=10560/tid=10562] ppid=10558 vsize=9624976 CPUtime=1768.09 cores=0,2,4,6
/proc/10560/task/10562/stat : 10562 (java) R 10558 10560 8709 0 -1 4202560 2678 0 1 0 176781 28 0 0 20 0 19 0 254175224 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527470108944 140527320815004 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10560/tid=10563] ppid=10558 vsize=9624976 CPUtime=0.81 cores=0,2,4,6
/proc/10560/task/10563/stat : 10563 (java) S 10558 10560 8709 0 -1 4202560 267 0 0 0 81 0 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527442562088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10560/tid=10564] ppid=10558 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/10560/task/10564/stat : 10564 (java) S 10558 10560 8709 0 -1 4202560 268 0 0 0 76 2 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527441509288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10565] ppid=10558 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/10560/task/10565/stat : 10565 (java) S 10558 10560 8709 0 -1 4202560 254 0 0 0 71 2 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527440456488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10560/tid=10566] ppid=10558 vsize=9624976 CPUtime=0.81 cores=0,2,4,6
/proc/10560/task/10566/stat : 10566 (java) S 10558 10560 8709 0 -1 4202560 255 0 0 0 80 1 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527439403688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10567] ppid=10558 vsize=9624976 CPUtime=0.89 cores=0,2,4,6
/proc/10560/task/10567/stat : 10567 (java) S 10558 10560 8709 0 -1 4202560 267 0 0 0 87 2 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527309204008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10560/tid=10568] ppid=10558 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/10560/task/10568/stat : 10568 (java) S 10558 10560 8709 0 -1 4202560 260 0 0 0 79 0 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527308151208 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10569] ppid=10558 vsize=9624976 CPUtime=0.81 cores=0,2,4,6
/proc/10560/task/10569/stat : 10569 (java) S 10558 10560 8709 0 -1 4202560 271 0 0 0 79 2 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527307098408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10570] ppid=10558 vsize=9624976 CPUtime=0.82 cores=0,2,4,6
/proc/10560/task/10570/stat : 10570 (java) S 10558 10560 8709 0 -1 4202560 167 0 0 0 80 2 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527306045608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10571] ppid=10558 vsize=9624976 CPUtime=7.68 cores=0,2,4,6
/proc/10560/task/10571/stat : 10571 (java) S 10558 10560 8709 0 -1 4202560 153 0 0 0 765 3 0 0 20 0 19 0 254175226 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526823533544 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10572] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10572/stat : 10572 (java) S 10558 10560 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254175227 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526822479608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10573] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10573/stat : 10573 (java) S 10558 10560 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254175227 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526821426696 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10574] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10574/stat : 10574 (java) S 10558 10560 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254175229 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526820375184 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10575] ppid=10558 vsize=9624976 CPUtime=1.06 cores=0,2,4,6
/proc/10560/task/10575/stat : 10575 (java) S 10558 10560 8709 0 -1 4202560 13633 0 0 0 103 3 0 0 20 0 19 0 254175229 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526819322296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10576] ppid=10558 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/10560/task/10576/stat : 10576 (java) S 10558 10560 8709 0 -1 4202560 7077 0 0 0 33 1 0 0 20 0 19 0 254175229 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526818269496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10577] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10577/stat : 10577 (java) S 10558 10560 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254175229 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526817216888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10578] ppid=10558 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/10560/task/10578/stat : 10578 (java) S 10558 10560 8709 0 -1 4202560 103 0 0 0 32 35 0 0 20 0 19 0 254175229 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526816164296 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=10560/tid=10579] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10579/stat : 10579 (java) S 10558 10560 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254175241 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526815110824 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1788.24
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 10767
/proc/meminfo: memFree=28258464/32873844 swapFree=6592/6592
[pid=10560] ppid=10558 vsize=9624976 CPUtime=1800.08 cores=0,2,4,6
/proc/10560/stat : 10560 (java) S 10558 10560 8709 0 -1 4202496 26837 0 1 0 179975 33 0 0 20 0 19 0 254175223 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140733719015616 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10560/statm: 2406244 43287 2269 9 0 2396937 0
[pid=10560/tid=10562] ppid=10558 vsize=9624976 CPUtime=1779.76 cores=0,2,4,6
/proc/10560/task/10562/stat : 10562 (java) R 10558 10560 8709 0 -1 4202560 2679 0 1 0 177947 29 0 0 20 0 19 0 254175224 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527470108944 140527320680492 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10560/tid=10563] ppid=10558 vsize=9624976 CPUtime=0.81 cores=0,2,4,6
/proc/10560/task/10563/stat : 10563 (java) S 10558 10560 8709 0 -1 4202560 267 0 0 0 81 0 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527442562088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10564] ppid=10558 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/10560/task/10564/stat : 10564 (java) S 10558 10560 8709 0 -1 4202560 268 0 0 0 76 2 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527441509288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10565] ppid=10558 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/10560/task/10565/stat : 10565 (java) S 10558 10560 8709 0 -1 4202560 254 0 0 0 71 2 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527440456488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10566] ppid=10558 vsize=9624976 CPUtime=0.81 cores=0,2,4,6
/proc/10560/task/10566/stat : 10566 (java) S 10558 10560 8709 0 -1 4202560 255 0 0 0 80 1 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527439403688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10567] ppid=10558 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/10560/task/10567/stat : 10567 (java) S 10558 10560 8709 0 -1 4202560 267 0 0 0 88 2 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527309204008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10560/tid=10568] ppid=10558 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/10560/task/10568/stat : 10568 (java) S 10558 10560 8709 0 -1 4202560 260 0 0 0 79 0 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527308151208 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10569] ppid=10558 vsize=9624976 CPUtime=0.81 cores=0,2,4,6
/proc/10560/task/10569/stat : 10569 (java) S 10558 10560 8709 0 -1 4202560 271 0 0 0 79 2 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527307098408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10570] ppid=10558 vsize=9624976 CPUtime=0.82 cores=0,2,4,6
/proc/10560/task/10570/stat : 10570 (java) S 10558 10560 8709 0 -1 4202560 167 0 0 0 80 2 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527306045608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10571] ppid=10558 vsize=9624976 CPUtime=7.78 cores=0,2,4,6
/proc/10560/task/10571/stat : 10571 (java) S 10558 10560 8709 0 -1 4202560 155 0 0 0 775 3 0 0 20 0 19 0 254175226 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526823533544 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10572] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10572/stat : 10572 (java) S 10558 10560 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254175227 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526822479608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10573] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10573/stat : 10573 (java) S 10558 10560 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254175227 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526821426696 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10574] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10574/stat : 10574 (java) S 10558 10560 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254175229 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526820375184 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10575] ppid=10558 vsize=9624976 CPUtime=1.06 cores=0,2,4,6
/proc/10560/task/10575/stat : 10575 (java) S 10558 10560 8709 0 -1 4202560 13633 0 0 0 103 3 0 0 20 0 19 0 254175229 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526819322296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10576] ppid=10558 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/10560/task/10576/stat : 10576 (java) S 10558 10560 8709 0 -1 4202560 7077 0 0 0 33 1 0 0 20 0 19 0 254175229 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526818269496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10577] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10577/stat : 10577 (java) S 10558 10560 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254175229 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526817216888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10578] ppid=10558 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/10560/task/10578/stat : 10578 (java) S 10558 10560 8709 0 -1 4202560 103 0 0 0 32 35 0 0 20 0 19 0 254175229 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526816164296 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=10560/tid=10579] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10579/stat : 10579 (java) S 10558 10560 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254175241 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526815110824 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1794.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 10767
/proc/meminfo: memFree=28258464/32873844 swapFree=6592/6592
[pid=10560] ppid=10558 vsize=9624976 CPUtime=1800.08 cores=0,2,4,6
/proc/10560/stat : 10560 (java) S 10558 10560 8709 0 -1 4202496 26837 0 1 0 179975 33 0 0 20 0 19 0 254175223 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140733719015616 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10560/statm: 2406244 43287 2269 9 0 2396937 0
[pid=10560/tid=10562] ppid=10558 vsize=9624976 CPUtime=1779.76 cores=0,2,4,6
/proc/10560/task/10562/stat : 10562 (java) R 10558 10560 8709 0 -1 4202560 2679 0 1 0 177947 29 0 0 20 0 19 0 254175224 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527470108944 140527320680492 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10560/tid=10563] ppid=10558 vsize=9624976 CPUtime=0.81 cores=0,2,4,6
/proc/10560/task/10563/stat : 10563 (java) S 10558 10560 8709 0 -1 4202560 267 0 0 0 81 0 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527442562088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10564] ppid=10558 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/10560/task/10564/stat : 10564 (java) S 10558 10560 8709 0 -1 4202560 268 0 0 0 76 2 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527441509288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10565] ppid=10558 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/10560/task/10565/stat : 10565 (java) S 10558 10560 8709 0 -1 4202560 254 0 0 0 71 2 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527440456488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10566] ppid=10558 vsize=9624976 CPUtime=0.81 cores=0,2,4,6
/proc/10560/task/10566/stat : 10566 (java) S 10558 10560 8709 0 -1 4202560 255 0 0 0 80 1 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527439403688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10567] ppid=10558 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/10560/task/10567/stat : 10567 (java) S 10558 10560 8709 0 -1 4202560 267 0 0 0 88 2 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527309204008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10560/tid=10568] ppid=10558 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/10560/task/10568/stat : 10568 (java) S 10558 10560 8709 0 -1 4202560 260 0 0 0 79 0 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527308151208 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10569] ppid=10558 vsize=9624976 CPUtime=0.81 cores=0,2,4,6
/proc/10560/task/10569/stat : 10569 (java) S 10558 10560 8709 0 -1 4202560 271 0 0 0 79 2 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527307098408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10570] ppid=10558 vsize=9624976 CPUtime=0.82 cores=0,2,4,6
/proc/10560/task/10570/stat : 10570 (java) S 10558 10560 8709 0 -1 4202560 167 0 0 0 80 2 0 0 20 0 19 0 254175225 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140527306045608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10571] ppid=10558 vsize=9624976 CPUtime=7.78 cores=0,2,4,6
/proc/10560/task/10571/stat : 10571 (java) S 10558 10560 8709 0 -1 4202560 155 0 0 0 775 3 0 0 20 0 19 0 254175226 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526823533544 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10572] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10572/stat : 10572 (java) S 10558 10560 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254175227 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526822479608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10573] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10573/stat : 10573 (java) S 10558 10560 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254175227 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526821426696 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10574] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10574/stat : 10574 (java) S 10558 10560 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254175229 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526820375184 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10560/tid=10575] ppid=10558 vsize=9624976 CPUtime=1.06 cores=0,2,4,6
/proc/10560/task/10575/stat : 10575 (java) S 10558 10560 8709 0 -1 4202560 13633 0 0 0 103 3 0 0 20 0 19 0 254175229 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526819322296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10576] ppid=10558 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/10560/task/10576/stat : 10576 (java) S 10558 10560 8709 0 -1 4202560 7077 0 0 0 33 1 0 0 20 0 19 0 254175229 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526818269496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10560/tid=10577] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10577/stat : 10577 (java) S 10558 10560 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254175229 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526817216888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10560/tid=10578] ppid=10558 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/10560/task/10578/stat : 10578 (java) S 10558 10560 8709 0 -1 4202560 103 0 0 0 32 35 0 0 20 0 19 0 254175229 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526816164296 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=10560/tid=10579] ppid=10558 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10579/stat : 10579 (java) S 10558 10560 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254175241 9855975424 43287 33554432000 1073741824 1073778376 140733719024480 140526815110824 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624976

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10560 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=458048
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=961853
# CPU time returned by wait4() is 1796.42
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.16
CPU time (s): 1800.08
CPU user time (s): 1799.75
CPU system time (s): 0.33
CPU usage (%): 100.33
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.46
system time used= 0.961853
maximum resident set size= 173304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26879
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43772
involuntary context switches= 15061

runsolver used 6.73198 second user time and 14.1828 second system time

The end

Launcher Data 

Begin job on node140 at 2012-05-24 19:28:24
IDJOB=3688149
IDBENCH=2849
IDSOLVER=2269
FILE ID=node140/3688149-1337880504
RUNJOBID= node140-1337871881-8725
PBS_JOBID= 14620064
Free space on /tmp= 71680 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_30.r.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688149-1337880504/watcher-3688149-1337880504 -o /tmp/evaluation-result-3688149-1337880504/solver-3688149-1337880504 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688149-1337880504.opb

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

MD5SUM BENCH= 80d844acb755df30f8eb4d34a1c5fb81
RANDOM SEED=821421059

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28432404 kB
Buffers:          227544 kB
Cached:          3264264 kB
SwapCached:            0 kB
Active:           548536 kB
Inactive:        3110968 kB
Active(anon):     168988 kB
Inactive(anon):        0 kB
Active(file):     379548 kB
Inactive(file):  3110968 kB
Unevictable:        6592 kB
Mlocked:            6592 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               480 kB
Writeback:             0 kB
AnonPages:        297992 kB
Mapped:            22588 kB
Shmem:               200 kB
Slab:             640064 kB
SReclaimable:      82640 kB
SUnreclaim:       557424 kB
KernelStack:        1760 kB
PageTables:         4688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    270336 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= 71680 MiB
End job on node140 at 2012-05-24 19:58:20