Trace number 3710660

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)214 1800.09 1789.25

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb
MD5SUM7903a80129c7e51df900bcb9ac0a6f39
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark190
Best CPU time to get the best result obtained on this benchmark1796.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 185
Optimality of the best value was proved NO
Number of variables475
Total number of constraints475
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints475
Minimum length of a constraint3
Maximum length of a constraint19
Number of terms in the objective function 475
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 475
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 475
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.07/0.13	c read org.sat4j.minisat.orders.VarOrderHeap
0.07/0.13	c configuring ORDERS
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
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
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=true
0.07/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3710660-1338138816.opb
0.07/0.13	c reading problem ... 
0.23/0.24	c ... done. Wall clock time 0.108s.
0.23/0.24	c declared #vars     475
0.23/0.24	c #constraints  475
0.23/0.24	c constraints type 
0.23/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 475
0.23/0.24	c 475 constraints processed.
0.23/0.25	c SATISFIABLE
0.23/0.25	c OPTIMIZING...
0.23/0.25	c Got one! Elapsed wall clock time (in seconds):0.12
0.23/0.25	o 222
0.23/0.26	c Got one! Elapsed wall clock time (in seconds):0.134
0.23/0.26	o 220
1.16/0.72	c cleaning 2497 clauses out of 5000 with flag 5000/5000
1.52/1.06	c cleaning 4245 clauses out of 8504 with flag 11001/11001
1.96/1.46	c cleaning 5625 clauses out of 11258 with flag 18000/18000
2.47/1.95	c cleaning 6812 clauses out of 13633 with flag 26000/26000
3.02/2.48	c cleaning 7909 clauses out of 15821 with flag 35000/35000
3.63/3.08	c cleaning 8949 clauses out of 17913 with flag 45001/45001
4.34/3.72	c cleaning 9977 clauses out of 19963 with flag 56000/56000
5.04/4.47	c cleaning 10989 clauses out of 21986 with flag 68000/68000
5.94/5.32	c cleaning 11994 clauses out of 23998 with flag 81001/81001
6.85/6.24	c cleaning 12996 clauses out of 26004 with flag 95001/95001
7.87/7.21	c cleaning 13996 clauses out of 28007 with flag 110000/110000
8.89/8.22	c cleaning 14997 clauses out of 30011 with flag 126000/126000
9.90/9.26	c cleaning 16001 clauses out of 32014 with flag 143000/143000
11.12/10.46	c cleaning 17001 clauses out of 34013 with flag 161000/161000
12.44/11.77	c cleaning 18002 clauses out of 36013 with flag 180001/180001
13.75/13.04	c cleaning 19001 clauses out of 38011 with flag 200001/200001
15.06/14.37	c cleaning 19998 clauses out of 40009 with flag 221000/221000
16.49/15.76	c cleaning 21000 clauses out of 42011 with flag 243000/243000
18.09/17.33	c cleaning 22001 clauses out of 44011 with flag 266000/266000
19.63/18.83	c cleaning 22998 clauses out of 46010 with flag 290000/290000
21.44/20.66	c cleaning 23999 clauses out of 48012 with flag 315000/315000
23.57/22.74	c cleaning 25001 clauses out of 50014 with flag 341001/341001
25.62/24.73	c cleaning 26000 clauses out of 52012 with flag 368000/368000
27.85/26.90	c cleaning 27001 clauses out of 54012 with flag 396000/396000
28.67/27.78	c Got one! Elapsed wall clock time (in seconds):27.653
28.67/27.78	o 219
29.07/28.12	c cleaning 22890 clauses out of 45789 with flag 5001/414778
29.38/28.49	c cleaning 14443 clauses out of 28898 with flag 11000/420777
29.89/28.93	c cleaning 10719 clauses out of 21455 with flag 18000/427777
30.40/29.44	c cleaning 9360 clauses out of 18736 with flag 26000/435777
31.01/30.03	c cleaning 9181 clauses out of 18377 with flag 35001/444778
31.61/30.68	c cleaning 9595 clauses out of 19196 with flag 45001/454778
32.41/31.44	c cleaning 10288 clauses out of 20600 with flag 56000/465777
33.32/32.34	c cleaning 11151 clauses out of 22312 with flag 68000/477777
34.14/33.19	c cleaning 12074 clauses out of 24161 with flag 81000/490777
35.27/34.24	c cleaning 13037 clauses out of 26087 with flag 95000/504777
36.37/35.37	c cleaning 14018 clauses out of 28050 with flag 110000/519777
37.50/36.41	c cleaning 15009 clauses out of 30034 with flag 126002/535779
38.61/37.59	c Got one! Elapsed wall clock time (in seconds):37.455
38.61/37.59	o 218
39.01/37.91	c cleaning 18320 clauses out of 36651 with flag 5000/557405
39.33/38.29	c cleaning 12158 clauses out of 24331 with flag 11000/563405
39.73/38.68	c cleaning 9579 clauses out of 19174 with flag 18001/570406
40.24/39.15	c cleaning 8790 clauses out of 17595 with flag 26001/578406
40.77/39.67	c cleaning 8899 clauses out of 17804 with flag 35000/587405
41.37/40.21	c cleaning 9447 clauses out of 18906 with flag 45001/597406
42.00/40.89	c cleaning 10227 clauses out of 20460 with flag 56002/608407
42.81/41.69	c cleaning 11111 clauses out of 22231 with flag 68000/620405
43.74/42.56	c cleaning 12055 clauses out of 24121 with flag 81001/633406
44.75/43.57	c cleaning 13029 clauses out of 26066 with flag 95001/647406
45.85/44.67	c cleaning 14010 clauses out of 28036 with flag 110000/662405
46.97/45.77	c cleaning 15006 clauses out of 30026 with flag 126000/678405
48.28/47.02	c cleaning 16002 clauses out of 32020 with flag 143000/695405
49.80/48.53	c cleaning 17002 clauses out of 34019 with flag 161001/713406
51.02/49.77	c cleaning 18003 clauses out of 36016 with flag 180000/732405
52.64/51.31	c cleaning 18998 clauses out of 38014 with flag 200001/752406
54.27/52.96	c cleaning 19995 clauses out of 40016 with flag 221001/773406
55.78/54.45	c cleaning 21005 clauses out of 42021 with flag 243001/795406
57.50/56.11	c cleaning 21999 clauses out of 44015 with flag 266000/818405
59.21/57.84	c cleaning 23002 clauses out of 46018 with flag 290002/842407
61.13/59.71	c cleaning 23998 clauses out of 48014 with flag 315000/867405
62.95/61.59	c cleaning 24999 clauses out of 50017 with flag 341001/893406
64.65/63.27	c cleaning 26001 clauses out of 52018 with flag 368001/920406
66.56/65.14	c cleaning 27005 clauses out of 54018 with flag 396002/948407
68.68/67.21	c cleaning 27999 clauses out of 56011 with flag 425000/977405
71.52/70.08	c cleaning 28999 clauses out of 58013 with flag 455001/1007406
73.97/72.41	c cleaning 29997 clauses out of 60013 with flag 486000/1038405
76.39/74.89	c cleaning 31001 clauses out of 62017 with flag 518001/1070406
78.70/77.16	c cleaning 32001 clauses out of 64016 with flag 551001/1103406
81.71/80.19	c cleaning 33002 clauses out of 66015 with flag 585001/1137406
84.82/83.28	c cleaning 33994 clauses out of 68012 with flag 620000/1172405
87.86/86.29	c cleaning 35002 clauses out of 70019 with flag 656001/1208406
91.39/89.72	c cleaning 36000 clauses out of 72017 with flag 693001/1245406
94.72/93.02	c cleaning 36999 clauses out of 74017 with flag 731001/1283406
98.23/96.50	c cleaning 38003 clauses out of 76017 with flag 770000/1322405
101.06/99.38	c cleaning 39000 clauses out of 78014 with flag 810000/1362405
104.19/102.49	c cleaning 40004 clauses out of 80015 with flag 851001/1403406
107.70/105.91	c cleaning 40997 clauses out of 82011 with flag 893001/1445406
111.11/109.36	c cleaning 42000 clauses out of 84013 with flag 936000/1488405
114.54/112.74	c cleaning 43002 clauses out of 86014 with flag 980001/1532406
118.96/117.13	c cleaning 43997 clauses out of 88012 with flag 1025001/1577406
123.21/121.37	c cleaning 45002 clauses out of 90014 with flag 1071000/1623405
127.57/125.60	c cleaning 46000 clauses out of 92013 with flag 1118001/1670406
132.08/130.14	c cleaning 46996 clauses out of 94012 with flag 1166000/1718405
136.92/134.93	c cleaning 47999 clauses out of 96017 with flag 1215001/1767406
140.94/138.96	c cleaning 49001 clauses out of 98018 with flag 1265001/1817406
145.56/143.55	c cleaning 50001 clauses out of 100016 with flag 1316000/1868405
150.24/148.16	c cleaning 50999 clauses out of 102016 with flag 1368001/1920406
154.98/152.84	c cleaning 52002 clauses out of 104018 with flag 1421002/1973407
159.20/157.06	c cleaning 53000 clauses out of 106015 with flag 1475001/2027406
163.42/161.27	c cleaning 54001 clauses out of 108016 with flag 1530002/2082407
168.36/166.18	c cleaning 55001 clauses out of 110013 with flag 1586000/2138405
173.30/171.05	c cleaning 55999 clauses out of 112012 with flag 1643000/2195405
179.92/177.60	c cleaning 56998 clauses out of 114014 with flag 1701001/2253406
184.66/182.38	c cleaning 58002 clauses out of 116016 with flag 1760001/2312406
190.39/188.04	c cleaning 58997 clauses out of 118013 with flag 1820000/2372405
196.63/194.28	c cleaning 59998 clauses out of 120016 with flag 1881000/2433405
202.57/200.15	c cleaning 61002 clauses out of 122019 with flag 1943001/2495406
208.62/206.14	c cleaning 61995 clauses out of 124016 with flag 2006000/2558405
214.45/211.92	c cleaning 63003 clauses out of 126021 with flag 2070000/2622405
219.79/217.26	c cleaning 64002 clauses out of 128019 with flag 2135001/2687406
226.50/223.92	c cleaning 64996 clauses out of 130017 with flag 2201001/2753406
233.75/231.11	c cleaning 66003 clauses out of 132020 with flag 2268000/2820405
240.09/237.49	c cleaning 67004 clauses out of 134018 with flag 2336001/2888406
247.72/245.07	c cleaning 67997 clauses out of 136014 with flag 2405001/2957406
254.06/251.35	c cleaning 69004 clauses out of 138016 with flag 2475000/3027405
260.02/257.26	c cleaning 69999 clauses out of 140012 with flag 2546000/3098405
266.03/263.21	c cleaning 71002 clauses out of 142014 with flag 2618001/3170406
272.67/269.84	c cleaning 72002 clauses out of 144013 with flag 2691002/3243407
279.03/276.14	c cleaning 72995 clauses out of 146010 with flag 2765001/3317406
287.26/284.39	c cleaning 74001 clauses out of 148016 with flag 2840002/3392407
294.15/291.13	c cleaning 75004 clauses out of 150013 with flag 2916000/3468405
302.47/299.43	c cleaning 75999 clauses out of 152011 with flag 2993002/3545407
311.42/308.37	c cleaning 76998 clauses out of 154010 with flag 3071000/3623405
318.67/315.54	c cleaning 77996 clauses out of 156012 with flag 3150000/3702405
327.61/324.50	c cleaning 79001 clauses out of 158016 with flag 3230000/3782405
336.78/333.58	c cleaning 79996 clauses out of 160016 with flag 3311001/3863406
346.13/342.88	c cleaning 81000 clauses out of 162019 with flag 3393000/3945405
353.77/350.43	c cleaning 82000 clauses out of 164020 with flag 3476001/4028406
362.91/359.56	c cleaning 82998 clauses out of 166020 with flag 3560001/4112406
374.36/370.94	c cleaning 84000 clauses out of 168021 with flag 3645000/4197405
384.18/380.73	c cleaning 85002 clauses out of 170022 with flag 3731001/4283406
395.12/391.67	c cleaning 86002 clauses out of 172019 with flag 3818000/4370405
406.81/403.24	c cleaning 87000 clauses out of 174017 with flag 3906000/4458405
414.74/411.11	c cleaning 88004 clauses out of 176017 with flag 3995000/4547405
421.88/418.26	c cleaning 88999 clauses out of 178013 with flag 4085000/4637405
429.82/426.16	c cleaning 89996 clauses out of 180014 with flag 4176000/4728405
437.59/433.89	c cleaning 91001 clauses out of 182018 with flag 4268000/4820405
446.91/443.13	c cleaning 92003 clauses out of 184018 with flag 4361001/4913406
456.25/452.42	c cleaning 93000 clauses out of 186015 with flag 4455001/5007406
466.50/462.66	c cleaning 94000 clauses out of 188015 with flag 4550001/5102406
475.31/471.39	c cleaning 95000 clauses out of 190015 with flag 4646001/5198406
491.46/487.43	c cleaning 95993 clauses out of 192014 with flag 4743000/5295405
507.49/503.37	c cleaning 97000 clauses out of 194022 with flag 4841001/5393406
520.05/515.81	c cleaning 98004 clauses out of 196021 with flag 4940000/5492405
531.40/527.12	c cleaning 99001 clauses out of 198018 with flag 5040001/5592406
543.24/538.81	c cleaning 100001 clauses out of 200016 with flag 5141000/5693405
555.80/551.38	c cleaning 100998 clauses out of 202015 with flag 5243000/5795405
568.58/564.00	c cleaning 101999 clauses out of 204017 with flag 5346000/5898405
579.01/574.43	c cleaning 103004 clauses out of 206019 with flag 5450001/6002406
592.55/587.97	c cleaning 103996 clauses out of 208014 with flag 5555000/6107405
605.92/601.26	c cleaning 104999 clauses out of 210018 with flag 5661000/6213405
619.99/615.21	c cleaning 105998 clauses out of 212019 with flag 5768000/6320405
633.35/628.52	c cleaning 107004 clauses out of 214021 with flag 5876000/6428405
646.92/642.03	c cleaning 108000 clauses out of 216017 with flag 5985000/6537405
661.44/656.52	c cleaning 108995 clauses out of 218017 with flag 6095000/6647405
673.99/669.08	c cleaning 110004 clauses out of 220022 with flag 6206000/6758405
683.82/678.88	c cleaning 111002 clauses out of 222018 with flag 6318000/6870405
695.08/690.08	c cleaning 111999 clauses out of 224016 with flag 6431000/6983405
706.45/701.38	c cleaning 113003 clauses out of 226018 with flag 6545001/7097406
718.30/713.14	c cleaning 114000 clauses out of 228016 with flag 6660002/7212407
721.78/716.53	c Got one! Elapsed wall clock time (in seconds):716.396
721.78/716.53	o 217
722.88/717.68	c cleaning 80171 clauses out of 160356 with flag 5000/7258747
723.70/718.44	c cleaning 43086 clauses out of 86185 with flag 11000/7264747
724.31/719.02	c cleaning 25046 clauses out of 50099 with flag 18000/7271747
724.94/719.62	c cleaning 16521 clauses out of 33054 with flag 26001/7279748
725.56/720.26	c cleaning 12760 clauses out of 25532 with flag 35000/7288747
726.28/720.95	c cleaning 11379 clauses out of 22774 with flag 45002/7298749
727.11/721.71	c cleaning 11192 clauses out of 22394 with flag 56001/7309748
727.91/722.58	c cleaning 11593 clauses out of 23202 with flag 68001/7321748
728.93/723.52	c cleaning 12298 clauses out of 24609 with flag 81001/7334748
729.94/724.55	c cleaning 13149 clauses out of 26311 with flag 95001/7348748
731.05/725.65	c cleaning 14076 clauses out of 28162 with flag 110001/7363748
732.26/726.85	c cleaning 15034 clauses out of 30085 with flag 126000/7379747
733.47/728.08	c cleaning 16022 clauses out of 32053 with flag 143002/7396749
734.79/729.32	c cleaning 17009 clauses out of 34029 with flag 161000/7414747
736.11/730.60	c cleaning 18006 clauses out of 36021 with flag 180001/7433748
737.52/732.02	c cleaning 19000 clauses out of 38014 with flag 200000/7453747
739.04/733.55	c cleaning 20000 clauses out of 40014 with flag 221000/7474747
740.76/735.22	c cleaning 21000 clauses out of 42015 with flag 243001/7496748
742.47/736.97	c cleaning 21997 clauses out of 44015 with flag 266001/7519748
744.49/738.90	c cleaning 23002 clauses out of 46018 with flag 290001/7543748
746.40/740.83	c cleaning 24001 clauses out of 48016 with flag 315001/7568748
748.42/742.85	c cleaning 24997 clauses out of 50015 with flag 341001/7594748
750.65/745.07	c cleaning 26005 clauses out of 52018 with flag 368001/7621748
753.17/747.58	c cleaning 26999 clauses out of 54014 with flag 396002/7649749
755.70/750.00	c cleaning 27999 clauses out of 56013 with flag 425000/7678747
758.22/752.50	c cleaning 28996 clauses out of 58015 with flag 455001/7708748
760.45/754.75	c cleaning 30002 clauses out of 60018 with flag 486000/7739747
763.38/757.66	c cleaning 30999 clauses out of 62017 with flag 518001/7771748
766.79/761.06	c cleaning 32003 clauses out of 64017 with flag 551000/7804747
770.12/764.39	c cleaning 32999 clauses out of 66015 with flag 585001/7838748
773.44/767.65	c cleaning 34002 clauses out of 68015 with flag 620000/7873747
776.47/770.67	c cleaning 34996 clauses out of 70013 with flag 656000/7909747
779.68/773.84	c cleaning 35998 clauses out of 72017 with flag 693000/7946747
783.51/777.63	c cleaning 36999 clauses out of 74019 with flag 731000/7984747
787.11/781.21	c cleaning 38001 clauses out of 76020 with flag 770000/8023747
791.42/785.58	c cleaning 39003 clauses out of 78019 with flag 810000/8063747
796.03/790.17	c cleaning 39997 clauses out of 80016 with flag 851000/8104747
800.55/794.61	c cleaning 41001 clauses out of 82020 with flag 893001/8146748
805.09/799.11	c cleaning 41998 clauses out of 84019 with flag 936001/8189748
809.10/803.14	c cleaning 43006 clauses out of 86022 with flag 980002/8233749
813.83/807.82	c cleaning 44003 clauses out of 88015 with flag 1025001/8278748
818.34/812.30	c cleaning 44999 clauses out of 90011 with flag 1071000/8324747
823.07/817.08	c cleaning 45996 clauses out of 92012 with flag 1118000/8371747
828.10/822.02	c cleaning 46998 clauses out of 94016 with flag 1166000/8419747
833.22/827.19	c cleaning 47997 clauses out of 96018 with flag 1215000/8468747
838.93/832.84	c cleaning 49003 clauses out of 98022 with flag 1265001/8518748
844.57/838.46	c cleaning 50001 clauses out of 100018 with flag 1316000/8569747
850.29/844.15	c cleaning 51002 clauses out of 102018 with flag 1368001/8621748
856.11/849.92	c cleaning 52002 clauses out of 104016 with flag 1421001/8674748
861.64/855.41	c cleaning 52995 clauses out of 106013 with flag 1475000/8728747
867.47/861.22	c cleaning 54002 clauses out of 108019 with flag 1530001/8783748
873.10/866.80	c cleaning 54997 clauses out of 110016 with flag 1586000/8839747
879.32/873.01	c cleaning 56003 clauses out of 112019 with flag 1643000/8896747
885.65/879.33	c cleaning 56998 clauses out of 114017 with flag 1701001/8954748
890.38/884.03	c cleaning 58005 clauses out of 116018 with flag 1760000/9013747
895.69/889.38	c cleaning 59000 clauses out of 118013 with flag 1820000/9073747
901.31/894.94	c cleaning 60000 clauses out of 120013 with flag 1881000/9134747
907.14/900.76	c cleaning 61000 clauses out of 122014 with flag 1943001/9196748
914.35/907.94	c cleaning 62003 clauses out of 124013 with flag 2006000/9259747
920.59/914.13	c cleaning 62996 clauses out of 126010 with flag 2070000/9323747
926.91/920.41	c cleaning 63997 clauses out of 128015 with flag 2135001/9388748
933.46/926.93	c cleaning 64999 clauses out of 130018 with flag 2201001/9454748
940.28/933.77	c cleaning 65997 clauses out of 132018 with flag 2268000/9521747
947.40/940.89	c cleaning 66997 clauses out of 134021 with flag 2336000/9589747
955.03/948.47	c cleaning 68005 clauses out of 136024 with flag 2405000/9658747
962.25/955.66	c cleaning 69002 clauses out of 138019 with flag 2475000/9728747
969.99/963.40	c cleaning 69997 clauses out of 140017 with flag 2546000/9799747
977.93/971.26	c cleaning 71000 clauses out of 142020 with flag 2618000/9871747
986.65/979.95	c cleaning 72004 clauses out of 144022 with flag 2691002/9944749
997.29/990.56	c cleaning 73000 clauses out of 146017 with flag 2765001/10018748
1005.61/998.87	c cleaning 74000 clauses out of 148017 with flag 2840001/10093748
1011.72/1004.94	c cleaning 75003 clauses out of 150016 with flag 2916000/10169747
1018.26/1011.44	c cleaning 76001 clauses out of 152014 with flag 2993001/10246748
1025.18/1018.33	c cleaning 76996 clauses out of 154013 with flag 3071001/10324748
1033.01/1026.19	c cleaning 78000 clauses out of 156016 with flag 3150000/10403747
1041.65/1034.74	c cleaning 78997 clauses out of 158017 with flag 3230001/10483748
1049.81/1042.86	c cleaning 80005 clauses out of 160019 with flag 3311000/10564747
1059.34/1052.39	c cleaning 81002 clauses out of 162014 with flag 3393000/10646747
1068.72/1061.67	c cleaning 81992 clauses out of 164012 with flag 3476000/10729747
1070.87/1063.72	c Got one! Elapsed wall clock time (in seconds):1063.588
1070.87/1063.72	o 216
1071.57/1064.41	c cleaning 56067 clauses out of 112148 with flag 5000/10759875
1072.20/1065.00	c cleaning 31036 clauses out of 62082 with flag 11001/10765876
1072.71/1065.54	c cleaning 19015 clauses out of 38045 with flag 18000/10772875
1073.33/1066.12	c cleaning 13506 clauses out of 27030 with flag 26000/10780875
1073.93/1066.77	c cleaning 11253 clauses out of 22525 with flag 35001/10789876
1074.74/1067.52	c cleaning 10629 clauses out of 21271 with flag 45000/10799875
1075.56/1068.33	c cleaning 10810 clauses out of 21642 with flag 56000/10810875
1076.47/1069.21	c cleaning 11410 clauses out of 22834 with flag 68002/10822877
1077.48/1070.21	c cleaning 12205 clauses out of 24423 with flag 81001/10835876
1078.48/1071.27	c cleaning 13100 clauses out of 26218 with flag 95001/10849876
1079.71/1072.48	c cleaning 14047 clauses out of 28117 with flag 110000/10864875
1081.02/1073.78	c cleaning 15026 clauses out of 30070 with flag 126000/10880875
1082.42/1075.17	c cleaning 16014 clauses out of 32044 with flag 143000/10897875
1083.93/1076.61	c cleaning 17009 clauses out of 34031 with flag 161001/10915876
1085.55/1078.25	c cleaning 18000 clauses out of 36021 with flag 180000/10934875
1087.15/1079.89	c cleaning 19000 clauses out of 38021 with flag 200000/10954875
1088.96/1081.63	c cleaning 20004 clauses out of 40021 with flag 221000/10975875
1090.78/1083.47	c cleaning 21000 clauses out of 42018 with flag 243001/10997876
1092.68/1085.38	c cleaning 22002 clauses out of 44018 with flag 266001/11020876
1094.78/1087.42	c cleaning 22997 clauses out of 46015 with flag 290000/11044875
1096.89/1089.56	c cleaning 23998 clauses out of 48018 with flag 315000/11069875
1099.11/1091.77	c cleaning 25005 clauses out of 50020 with flag 341000/11095875
1101.22/1093.85	c cleaning 25998 clauses out of 52015 with flag 368000/11122875
1103.53/1096.12	c cleaning 27003 clauses out of 54017 with flag 396000/11150875
1105.83/1098.40	c cleaning 28000 clauses out of 56015 with flag 425001/11179876
1108.24/1100.84	c cleaning 28996 clauses out of 58014 with flag 455000/11209875
1110.85/1103.45	c cleaning 30001 clauses out of 60019 with flag 486001/11240876
1113.75/1106.36	c cleaning 31001 clauses out of 62018 with flag 518001/11272876
1116.96/1109.59	c cleaning 32001 clauses out of 64017 with flag 551001/11305876
1120.28/1112.80	c cleaning 33001 clauses out of 66015 with flag 585000/11339875
1123.19/1115.77	c cleaning 33997 clauses out of 68015 with flag 620001/11374876
1126.71/1119.22	c cleaning 34999 clauses out of 70018 with flag 656001/11410876
1130.22/1122.76	c cleaning 35997 clauses out of 72018 with flag 693000/11447875
1133.64/1126.18	c cleaning 37001 clauses out of 74022 with flag 731001/11485876
1137.25/1129.75	c cleaning 38003 clauses out of 76020 with flag 770000/11524875
1140.56/1133.07	c cleaning 39002 clauses out of 78018 with flag 810001/11564876
1143.99/1136.45	c cleaning 40000 clauses out of 80016 with flag 851001/11605876
1147.91/1140.32	c cleaning 41002 clauses out of 82016 with flag 893001/11647876
1151.63/1144.06	c cleaning 41996 clauses out of 84014 with flag 936001/11690876
1155.83/1148.20	c cleaning 42999 clauses out of 86017 with flag 980000/11734875
1159.75/1152.16	c cleaning 44002 clauses out of 88019 with flag 1025001/11779876
1163.87/1156.22	c cleaning 44996 clauses out of 90016 with flag 1071000/11825875
1168.19/1160.50	c cleaning 46002 clauses out of 92021 with flag 1118001/11872876
1172.41/1164.74	c cleaning 46999 clauses out of 94018 with flag 1166000/11920875
1176.53/1168.84	c cleaning 47999 clauses out of 96020 with flag 1215001/11969876
1181.13/1173.44	c cleaning 49007 clauses out of 98021 with flag 1265001/12019876
1185.86/1178.18	c cleaning 49999 clauses out of 100013 with flag 1316000/12070875
1191.32/1183.54	c cleaning 51000 clauses out of 102016 with flag 1368002/12122877
1196.85/1189.03	c cleaning 52002 clauses out of 104014 with flag 1421000/12175875
1202.38/1194.55	c cleaning 52997 clauses out of 106012 with flag 1475000/12229875
1208.18/1200.38	c cleaning 53995 clauses out of 108016 with flag 1530001/12284876
1214.50/1206.67	c cleaning 55004 clauses out of 110022 with flag 1586002/12340877
1219.64/1211.74	c cleaning 56004 clauses out of 112017 with flag 1643001/12397876
1224.75/1216.85	c cleaning 57002 clauses out of 114014 with flag 1701002/12455877
1230.48/1222.58	c cleaning 57994 clauses out of 116010 with flag 1760000/12514875
1235.99/1228.09	c cleaning 59002 clauses out of 118017 with flag 1820001/12574876
1241.81/1233.86	c cleaning 59998 clauses out of 120014 with flag 1881000/12635875
1248.44/1240.44	c cleaning 60999 clauses out of 122017 with flag 1943001/12697876
1254.77/1246.74	c cleaning 62001 clauses out of 124017 with flag 2006000/12760875
1261.19/1253.18	c cleaning 62999 clauses out of 126016 with flag 2070000/12824875
1267.63/1259.54	c cleaning 63999 clauses out of 128018 with flag 2135001/12889876
1274.45/1266.38	c cleaning 65001 clauses out of 130019 with flag 2201001/12955876
1281.98/1273.86	c cleaning 66001 clauses out of 132018 with flag 2268001/13022876
1289.39/1281.21	c cleaning 66994 clauses out of 134016 with flag 2336000/13090875
1297.51/1289.35	c cleaning 68001 clauses out of 136022 with flag 2405000/13159875
1306.64/1298.44	c cleaning 69002 clauses out of 138021 with flag 2475000/13229875
1315.09/1306.84	c cleaning 70001 clauses out of 140019 with flag 2546000/13300875
1323.92/1315.68	c cleaning 71003 clauses out of 142018 with flag 2618000/13372875
1333.15/1324.87	c cleaning 71997 clauses out of 144015 with flag 2691000/13445875
1341.67/1333.32	c cleaning 72998 clauses out of 146018 with flag 2765000/13519875
1351.59/1343.28	c cleaning 74001 clauses out of 148020 with flag 2840000/13594875
1361.24/1352.81	c cleaning 75001 clauses out of 150019 with flag 2916000/13670875
1370.51/1362.02	c cleaning 76002 clauses out of 152019 with flag 2993001/13747876
1381.74/1373.20	c cleaning 77000 clauses out of 154016 with flag 3071000/13825875
1392.70/1384.19	c cleaning 78002 clauses out of 156017 with flag 3150001/13904876
1404.87/1396.25	c cleaning 78998 clauses out of 158015 with flag 3230001/13984876
1416.50/1407.87	c cleaning 80001 clauses out of 160017 with flag 3311001/14065876
1427.87/1419.15	c cleaning 80999 clauses out of 162017 with flag 3393002/14147877
1440.41/1431.64	c cleaning 81997 clauses out of 164016 with flag 3476000/14230875
1450.98/1442.15	c cleaning 82997 clauses out of 166020 with flag 3560001/14314876
1461.79/1452.98	c cleaning 84000 clauses out of 168022 with flag 3645000/14399875
1472.40/1463.50	c cleaning 85004 clauses out of 170023 with flag 3731001/14485876
1482.82/1473.95	c cleaning 85997 clauses out of 172018 with flag 3818000/14572875
1493.77/1484.81	c cleaning 86997 clauses out of 174021 with flag 3906000/14660875
1506.81/1497.89	c cleaning 88001 clauses out of 176024 with flag 3995000/14749875
1519.57/1510.52	c cleaning 89002 clauses out of 178023 with flag 4085000/14839875
1531.23/1522.12	c cleaning 89999 clauses out of 180021 with flag 4176000/14930875
1542.25/1533.16	c cleaning 91001 clauses out of 182023 with flag 4268001/15022876
1554.08/1544.98	c cleaning 91998 clauses out of 184021 with flag 4361000/15115875
1562.99/1553.80	c cleaning 93010 clauses out of 186025 with flag 4455002/15209877
1566.22/1557.02	c Got one! Elapsed wall clock time (in seconds):1556.888
1566.22/1557.02	o 215
1567.12/1557.99	c cleaning 70883 clauses out of 141784 with flag 5000/15258646
1567.74/1558.55	c cleaning 38444 clauses out of 76901 with flag 11000/15264646
1568.25/1559.03	c cleaning 22719 clauses out of 45457 with flag 18000/15271646
1568.78/1559.55	c cleaning 15365 clauses out of 30738 with flag 26000/15279646
1569.39/1560.15	c cleaning 12180 clauses out of 24373 with flag 35000/15288646
1570.11/1560.85	c cleaning 11091 clauses out of 22194 with flag 45001/15298647
1570.81/1561.59	c cleaning 11044 clauses out of 22103 with flag 56001/15309647
1571.73/1562.43	c cleaning 11523 clauses out of 23059 with flag 68001/15321647
1572.66/1563.34	c cleaning 12260 clauses out of 24535 with flag 81000/15334646
1573.58/1564.22	c cleaning 13127 clauses out of 26276 with flag 95001/15348647
1574.60/1565.26	c cleaning 14069 clauses out of 28149 with flag 110001/15363647
1575.73/1566.38	c cleaning 15035 clauses out of 30079 with flag 126000/15379646
1576.95/1567.55	c cleaning 16015 clauses out of 32046 with flag 143002/15396648
1578.27/1568.82	c cleaning 17009 clauses out of 34029 with flag 161000/15414646
1579.69/1570.24	c cleaning 18002 clauses out of 36020 with flag 180000/15433646
1581.12/1571.65	c cleaning 19003 clauses out of 38019 with flag 200001/15453647
1581.95/1572.49	c Got one! Elapsed wall clock time (in seconds):1572.355
1581.95/1572.49	o 214
1582.35/1572.82	c cleaning 17650 clauses out of 35316 with flag 5000/15469947
1582.68/1573.19	c cleaning 11826 clauses out of 23666 with flag 11000/15475947
1583.22/1573.60	c cleaning 9413 clauses out of 18840 with flag 18000/15482947
1583.64/1574.04	c cleaning 8709 clauses out of 17429 with flag 26002/15490949
1584.16/1574.58	c cleaning 8849 clauses out of 17718 with flag 35000/15499947
1584.78/1575.15	c cleaning 9427 clauses out of 18869 with flag 45000/15509947
1585.39/1575.77	c cleaning 10216 clauses out of 20444 with flag 56002/15520949
1586.10/1576.45	c cleaning 11106 clauses out of 22227 with flag 68001/15532948
1586.92/1577.21	c cleaning 12055 clauses out of 24120 with flag 81000/15545947
1587.74/1578.06	c cleaning 13022 clauses out of 26065 with flag 95000/15559947
1588.65/1578.99	c cleaning 14014 clauses out of 28043 with flag 110000/15574947
1589.81/1580.01	c cleaning 15011 clauses out of 30029 with flag 126000/15590947
1591.04/1581.29	c cleaning 16004 clauses out of 32020 with flag 143002/15607949
1592.57/1582.74	c cleaning 17001 clauses out of 34014 with flag 161000/15625947
1594.20/1584.33	c cleaning 17998 clauses out of 36013 with flag 180000/15644947
1595.90/1586.04	c cleaning 19003 clauses out of 38015 with flag 200000/15664947
1597.71/1587.80	c cleaning 19997 clauses out of 40012 with flag 221000/15685947
1599.64/1589.71	c cleaning 21002 clauses out of 42016 with flag 243001/15707948
1601.56/1591.67	c cleaning 21998 clauses out of 44013 with flag 266000/15730947
1603.56/1593.68	c cleaning 22999 clauses out of 46015 with flag 290000/15754947
1605.77/1595.89	c cleaning 24000 clauses out of 48016 with flag 315000/15779947
1608.07/1598.15	c cleaning 25000 clauses out of 50017 with flag 341001/15805948
1610.08/1600.11	c cleaning 26002 clauses out of 52017 with flag 368001/15832948
1612.10/1602.19	c cleaning 27002 clauses out of 54014 with flag 396000/15860947
1614.32/1604.38	c cleaning 28000 clauses out of 56013 with flag 425001/15889948
1616.74/1606.77	c cleaning 29001 clauses out of 58012 with flag 455000/15919947
1619.06/1609.05	c cleaning 29999 clauses out of 60011 with flag 486000/15950947
1621.61/1611.59	c cleaning 31001 clauses out of 62012 with flag 518000/15982947
1624.41/1614.37	c cleaning 31999 clauses out of 64012 with flag 551001/16015948
1627.23/1617.13	c cleaning 33000 clauses out of 66013 with flag 585001/16049948
1630.24/1620.13	c cleaning 33998 clauses out of 68013 with flag 620001/16084948
1633.26/1623.13	c cleaning 35000 clauses out of 70015 with flag 656001/16120948
1635.97/1625.89	c cleaning 35999 clauses out of 72015 with flag 693001/16157948
1639.40/1629.28	c cleaning 36997 clauses out of 74015 with flag 731000/16195947
1642.69/1632.58	c cleaning 38003 clauses out of 76018 with flag 770000/16234947
1646.62/1636.44	c cleaning 39005 clauses out of 78015 with flag 810000/16274947
1650.53/1640.32	c cleaning 40001 clauses out of 80010 with flag 851000/16315947
1654.54/1644.37	c cleaning 40998 clauses out of 82009 with flag 893000/16357947
1658.66/1648.41	c cleaning 41997 clauses out of 84012 with flag 936001/16400948
1662.97/1652.79	c cleaning 42999 clauses out of 86015 with flag 980001/16444948
1667.30/1657.03	c cleaning 43999 clauses out of 88016 with flag 1025001/16489948
1671.42/1661.15	c cleaning 44999 clauses out of 90016 with flag 1071000/16535947
1675.75/1665.41	c cleaning 45994 clauses out of 92018 with flag 1118001/16582948
1680.37/1670.00	c cleaning 47006 clauses out of 94025 with flag 1166002/16630949
1684.19/1673.80	c cleaning 48003 clauses out of 96018 with flag 1215001/16679948
1688.71/1678.38	c cleaning 48998 clauses out of 98014 with flag 1265000/16729947
1693.65/1683.28	c cleaning 50000 clauses out of 100016 with flag 1316000/16780947
1698.68/1688.21	c cleaning 51001 clauses out of 102016 with flag 1368000/16832947
1703.60/1693.19	c cleaning 51998 clauses out of 104015 with flag 1421000/16885947
1708.52/1698.04	c cleaning 53002 clauses out of 106018 with flag 1475001/16939948
1714.15/1703.60	c cleaning 54000 clauses out of 108015 with flag 1530000/16994947
1719.90/1709.32	c cleaning 55000 clauses out of 110015 with flag 1586000/17050947
1725.22/1714.64	c cleaning 55998 clauses out of 112015 with flag 1643000/17107947
1731.35/1720.78	c cleaning 57003 clauses out of 114018 with flag 1701001/17165948
1737.27/1726.64	c cleaning 57999 clauses out of 116015 with flag 1760001/17224948
1742.78/1732.11	c cleaning 58999 clauses out of 118015 with flag 1820000/17284947
1748.70/1738.04	c cleaning 59999 clauses out of 120016 with flag 1881000/17345947
1754.33/1743.66	c cleaning 61002 clauses out of 122017 with flag 1943000/17407947
1760.66/1749.94	c cleaning 61996 clauses out of 124015 with flag 2006000/17470947
1767.50/1756.77	c cleaning 63005 clauses out of 126019 with flag 2070000/17534947
1773.72/1762.94	c cleaning 64000 clauses out of 128014 with flag 2135000/17599947
1780.83/1770.06	c cleaning 64996 clauses out of 130014 with flag 2201000/17665947
1787.65/1776.81	c cleaning 66001 clauses out of 132018 with flag 2268000/17732947
1795.18/1784.32	c cleaning 66995 clauses out of 134018 with flag 2336001/17800948
1800.09/1789.21	c starts		: 357
1800.09/1789.21	c conflicts		: 17854514
1800.09/1789.21	c decisions		: 22608952
1800.09/1789.21	c propagations		: 424989087
1800.09/1789.21	c inspects		: 15059322921
1800.09/1789.21	c shortcuts		: 0
1800.09/1789.21	c learnt literals	: 0
1800.09/1789.21	c learnt binary clauses	: 0
1800.09/1789.21	c learnt ternary clauses	: 0
1800.09/1789.21	c learnt constraints	: 17854515
1800.09/1789.21	c ignored constraints	: 0
1800.09/1789.21	c root simplifications	: 357
1800.09/1789.21	c removed literals (reason simplification)	: 106584
1800.09/1789.21	c reason swapping (by a shorter reason)	: 0
1800.09/1789.21	c Calls to reduceDB	: 396
1800.09/1789.21	c number of reductions to clauses (during analyze)	: 0
1800.09/1789.21	c number of learned constraints concerned by reduction	: 0
1800.09/1789.21	c number of learning phase by resolution	: 0
1800.09/1789.21	c number of learning phase by cutting planes	: 0
1800.09/1789.21	c speed (assignments/second)	: 237561.19648937066
1800.09/1789.21	c non guided choices	774
1800.09/1789.24	c learnt constraints type 
1800.09/1789.24	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 120824
1800.09/1789.24	c constraints type 
1800.09/1789.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.09/1789.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 475
1800.09/1789.24	c 476 constraints processed.
1800.09/1789.24	s SATISFIABLE
1800.09/1789.24	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 
1800.09/1789.24	c objective function=214
1800.09/1789.24	c Total wall clock time (in seconds): 1789.11

Verifier Data 

OK	214

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-3710660-1338138816/watcher-3710660-1338138816 -o /tmp/evaluation-result-3710660-1338138816/solver-3710660-1338138816 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710660-1338138816.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.12 1.49 3/173 23699
/proc/meminfo: memFree=28722764/32873624 swapFree=7104/7104
[pid=23699] ppid=23695 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/23699/stat : 23699 (java) D 23695 23699 21372 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 280007113 2560000 46 33554432000 1073741824 1073778376 140733757601056 140733757598184 227503336743 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/23699/statm: 625 46 37 9 0 29 0

[startup+0.02015 s]
/proc/loadavg: 1.00 1.12 1.49 3/173 23699
/proc/meminfo: memFree=28722764/32873624 swapFree=7104/7104
[pid=23699] ppid=23695 vsize=96268 CPUtime=0 cores=1,3,5,7
/proc/23699/stat : 23699 (java) S 23695 23699 21372 0 -1 4202496 1290 0 0 0 0 0 0 0 20 0 2 0 280007113 98578432 989 33554432000 1073741824 1073778376 140737049611376 140737049602512 227515859005 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23699/statm: 24067 989 755 9 0 16773 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96268

[startup+0.100173 s]
/proc/loadavg: 1.00 1.12 1.49 3/173 23699
/proc/meminfo: memFree=28722764/32873624 swapFree=7104/7104
[pid=23699] ppid=23695 vsize=9558440 CPUtime=0.07 cores=1,3,5,7
/proc/23699/stat : 23699 (java) S 23695 23699 21372 0 -1 4202496 3904 0 1 0 6 1 0 0 20 0 18 0 280007113 9787842560 5111 33554432000 1073741824 1073778376 140737049611376 140737049602512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23699/statm: 2389610 5118 2065 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558440

[startup+0.300169 s]
/proc/loadavg: 1.00 1.12 1.49 3/173 23699
/proc/meminfo: memFree=28722764/32873624 swapFree=7104/7104
[pid=23699] ppid=23695 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/23699/stat : 23699 (java) S 23695 23699 21372 0 -1 4202496 6885 0 1 0 47 1 0 0 20 0 19 0 280007113 9856004096 9338 33554432000 1073741824 1073778376 140737049611376 140737049602512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23699/statm: 2406251 9338 2231 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9625004

[startup+0.70018 s]
/proc/loadavg: 1.00 1.12 1.49 3/173 23699
/proc/meminfo: memFree=28722764/32873624 swapFree=7104/7104
[pid=23699] ppid=23695 vsize=9625004 CPUtime=1.16 cores=1,3,5,7
/proc/23699/stat : 23699 (java) S 23695 23699 21372 0 -1 4202496 9224 0 1 0 115 1 0 0 20 0 19 0 280007113 9856004096 11589 33554432000 1073741824 1073778376 140737049611376 140737049602512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23699/statm: 2406251 11589 2249 9 0 2396937 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9625004

[startup+1.50073 s]
/proc/loadavg: 1.00 1.12 1.49 3/211 23737
/proc/meminfo: memFree=28627036/32873624 swapFree=7104/7104
[pid=23699] ppid=23695 vsize=9625004 CPUtime=2.07 cores=1,3,5,7
/proc/23699/stat : 23699 (java) S 23695 23699 21372 0 -1 4202496 9311 0 1 0 204 3 0 0 20 0 19 0 280007113 9856004096 17275 33554432000 1073741824 1073778376 140737049611376 140737049602512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23699/statm: 2406251 17275 2277 9 0 2396937 0
[pid=23699/tid=23702] ppid=23695 vsize=9625004 CPUtime=1.4 cores=1,3,5,7
/proc/23699/task/23702/stat : 23702 (java) R 23695 23699 21372 0 -1 4202560 2511 0 1 0 140 0 0 0 20 0 19 0 280007115 9856004096 17275 33554432000 1073741824 1073778376 140737049611376 140236354113800 140236202446698 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23699/tid=23704] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23704/stat : 23704 (java) S 23695 23699 21372 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 17275 33554432000 1073741824 1073778376 140737049611376 140236326566568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23699/tid=23706] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23706/stat : 23706 (java) S 23695 23699 21372 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 17275 33554432000 1073741824 1073778376 140737049611376 140236325514024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23699/tid=23708] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23708/stat : 23708 (java) S 23695 23699 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 17275 33554432000 1073741824 1073778376 140737049611376 140236324461480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23710] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23710/stat : 23710 (java) S 23695 23699 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 17275 33554432000 1073741824 1073778376 140737049611376 140236323408936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23699/tid=23712] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23712/stat : 23712 (java) S 23695 23699 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 17275 33554432000 1073741824 1073778376 140737049611376 140236322355368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23699/tid=23715] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23715/stat : 23715 (java) S 23695 23699 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 17275 33554432000 1073741824 1073778376 140737049611376 140236321302824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23717] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23717/stat : 23717 (java) S 23695 23699 21372 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 17275 33554432000 1073741824 1073778376 140737049611376 140236190951848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23699/tid=23719] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23719/stat : 23719 (java) S 23695 23699 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 17275 33554432000 1073741824 1073778376 140737049611376 140236189899304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23699/tid=23720] ppid=23695 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/23699/task/23720/stat : 23720 (java) S 23695 23699 21372 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 19 0 280007117 9856004096 17275 33554432000 1073741824 1073778376 140737049611376 140235706952296 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23722] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23722/stat : 23722 (java) S 23695 23699 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 17275 33554432000 1073741824 1073778376 140737049611376 140235705898616 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23724] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23724/stat : 23724 (java) S 23695 23699 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 17275 33554432000 1073741824 1073778376 140737049611376 140235704845960 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23726] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23726/stat : 23726 (java) S 23695 23699 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 17275 33554432000 1073741824 1073778376 140737049611376 140235703794704 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23728] ppid=23695 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/23699/task/23728/stat : 23728 (java) S 23695 23699 21372 0 -1 4202560 2265 0 0 0 27 0 0 0 20 0 19 0 280007120 9856004096 17275 33554432000 1073741824 1073778376 140737049611376 140235702741048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23730] ppid=23695 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/23699/task/23730/stat : 23730 (java) S 23695 23699 21372 0 -1 4202560 3266 0 0 0 28 0 0 0 20 0 19 0 280007120 9856004096 17275 33554432000 1073741824 1073778376 140737049611376 140235701688504 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23732] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23732/stat : 23732 (java) S 23695 23699 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 17275 33554432000 1073741824 1073778376 140737049611376 140235700636152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23734] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23734/stat : 23734 (java) S 23695 23699 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 17275 33554432000 1073741824 1073778376 140737049611376 140235699583816 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23736] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23736/stat : 23736 (java) S 23695 23699 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280007138 9856004096 17275 33554432000 1073741824 1073778376 140737049611376 140235698529576 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 9625004

[startup+3.10069 s]
/proc/loadavg: 1.00 1.12 1.49 4/211 23737
/proc/meminfo: memFree=28601212/32873624 swapFree=7104/7104
[pid=23699] ppid=23695 vsize=9625004 CPUtime=3.74 cores=1,3,5,7
/proc/23699/stat : 23699 (java) S 23695 23699 21372 0 -1 4202496 9661 0 1 0 370 4 0 0 20 0 19 0 280007113 9856004096 19376 33554432000 1073741824 1073778376 140737049611376 140737049602512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23699/statm: 2406251 19376 2277 9 0 2396937 0
[pid=23699/tid=23702] ppid=23695 vsize=9625004 CPUtime=2.95 cores=1,3,5,7
/proc/23699/task/23702/stat : 23702 (java) R 23695 23699 21372 0 -1 4202560 2513 0 1 0 295 0 0 0 20 0 19 0 280007115 9856004096 19376 33554432000 1073741824 1073778376 140737049611376 140236354113960 140236202472210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23699/tid=23704] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23704/stat : 23704 (java) S 23695 23699 21372 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 19376 33554432000 1073741824 1073778376 140737049611376 140236326566568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23699/tid=23706] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23706/stat : 23706 (java) S 23695 23699 21372 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 19376 33554432000 1073741824 1073778376 140737049611376 140236325514024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23699/tid=23708] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23708/stat : 23708 (java) S 23695 23699 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 19376 33554432000 1073741824 1073778376 140737049611376 140236324461480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23710] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23710/stat : 23710 (java) S 23695 23699 21372 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 19376 33554432000 1073741824 1073778376 140737049611376 140236323408936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23712] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23712/stat : 23712 (java) S 23695 23699 21372 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 19376 33554432000 1073741824 1073778376 140737049611376 140236322355368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23715] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23715/stat : 23715 (java) S 23695 23699 21372 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 19376 33554432000 1073741824 1073778376 140737049611376 140236321302824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23717] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23717/stat : 23717 (java) S 23695 23699 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 19376 33554432000 1073741824 1073778376 140737049611376 140236190951848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23719] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23719/stat : 23719 (java) S 23695 23699 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 19376 33554432000 1073741824 1073778376 140737049611376 140236189899304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23699/tid=23720] ppid=23695 vsize=9625004 CPUtime=0.05 cores=1,3,5,7
/proc/23699/task/23720/stat : 23720 (java) S 23695 23699 21372 0 -1 4202560 35 0 0 0 5 0 0 0 20 0 19 0 280007117 9856004096 19376 33554432000 1073741824 1073778376 140737049611376 140235706952296 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23722] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23722/stat : 23722 (java) S 23695 23699 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 19376 33554432000 1073741824 1073778376 140737049611376 140235705898616 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23724] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23724/stat : 23724 (java) S 23695 23699 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 19376 33554432000 1073741824 1073778376 140737049611376 140235704845960 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23726] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23726/stat : 23726 (java) S 23695 23699 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 19376 33554432000 1073741824 1073778376 140737049611376 140235703794704 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23728] ppid=23695 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/23699/task/23728/stat : 23728 (java) S 23695 23699 21372 0 -1 4202560 2593 0 0 0 32 0 0 0 20 0 19 0 280007120 9856004096 19376 33554432000 1073741824 1073778376 140737049611376 140235702741048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23730] ppid=23695 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/23699/task/23730/stat : 23730 (java) S 23695 23699 21372 0 -1 4202560 3266 0 0 0 28 0 0 0 20 0 19 0 280007120 9856004096 19376 33554432000 1073741824 1073778376 140737049611376 140235701688504 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23732] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23732/stat : 23732 (java) S 23695 23699 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 19376 33554432000 1073741824 1073778376 140737049611376 140235700636152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23734] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23734/stat : 23734 (java) S 23695 23699 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 19376 33554432000 1073741824 1073778376 140737049611376 140235699583816 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23736] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23736/stat : 23736 (java) S 23695 23699 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280007138 9856004096 19376 33554432000 1073741824 1073778376 140737049611376 140235698529576 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 9625004

[startup+6.30066 s]
/proc/loadavg: 1.08 1.13 1.49 4/211 23737
/proc/meminfo: memFree=28571912/32873624 swapFree=7104/7104
[pid=23699] ppid=23695 vsize=9625004 CPUtime=6.97 cores=1,3,5,7
/proc/23699/stat : 23699 (java) S 23695 23699 21372 0 -1 4202496 9709 0 1 0 692 5 0 0 20 0 19 0 280007113 9856004096 22968 33554432000 1073741824 1073778376 140737049611376 140737049602512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23699/statm: 2406251 22968 2277 9 0 2396937 0
[pid=23699/tid=23702] ppid=23695 vsize=9625004 CPUtime=6.07 cores=1,3,5,7
/proc/23699/task/23702/stat : 23702 (java) R 23695 23699 21372 0 -1 4202560 2520 0 1 0 606 1 0 0 20 0 19 0 280007115 9856004096 22968 33554432000 1073741824 1073778376 140737049611376 140236354113960 140236202400166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23699/tid=23704] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23704/stat : 23704 (java) S 23695 23699 21372 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 22968 33554432000 1073741824 1073778376 140737049611376 140236326566568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23706] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23706/stat : 23706 (java) S 23695 23699 21372 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 22968 33554432000 1073741824 1073778376 140737049611376 140236325514024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23699/tid=23708] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23708/stat : 23708 (java) S 23695 23699 21372 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 22968 33554432000 1073741824 1073778376 140737049611376 140236324461480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23710] ppid=23695 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/23699/task/23710/stat : 23710 (java) S 23695 23699 21372 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 280007116 9856004096 22968 33554432000 1073741824 1073778376 140737049611376 140236323408936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23699/tid=23712] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23712/stat : 23712 (java) S 23695 23699 21372 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 22968 33554432000 1073741824 1073778376 140737049611376 140236322355368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23715] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23715/stat : 23715 (java) S 23695 23699 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 22968 33554432000 1073741824 1073778376 140737049611376 140236321302824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23717] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23717/stat : 23717 (java) S 23695 23699 21372 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 22968 33554432000 1073741824 1073778376 140737049611376 140236190951848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23719] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23719/stat : 23719 (java) S 23695 23699 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 22968 33554432000 1073741824 1073778376 140737049611376 140236189899304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23699/tid=23720] ppid=23695 vsize=9625004 CPUtime=0.11 cores=1,3,5,7
/proc/23699/task/23720/stat : 23720 (java) S 23695 23699 21372 0 -1 4202560 37 0 0 0 11 0 0 0 20 0 19 0 280007117 9856004096 22968 33554432000 1073741824 1073778376 140737049611376 140235706952296 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23722] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23722/stat : 23722 (java) S 23695 23699 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 22968 33554432000 1073741824 1073778376 140737049611376 140235705898616 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23724] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23724/stat : 23724 (java) S 23695 23699 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 22968 33554432000 1073741824 1073778376 140737049611376 140235704845960 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23726] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23726/stat : 23726 (java) S 23695 23699 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 22968 33554432000 1073741824 1073778376 140737049611376 140235703794704 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23728] ppid=23695 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/23699/task/23728/stat : 23728 (java) S 23695 23699 21372 0 -1 4202560 2593 0 0 0 32 0 0 0 20 0 19 0 280007120 9856004096 22968 33554432000 1073741824 1073778376 140737049611376 140235702741048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23730] ppid=23695 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/23699/task/23730/stat : 23730 (java) S 23695 23699 21372 0 -1 4202560 3266 0 0 0 28 0 0 0 20 0 19 0 280007120 9856004096 22968 33554432000 1073741824 1073778376 140737049611376 140235701688504 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23732] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23732/stat : 23732 (java) S 23695 23699 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 22968 33554432000 1073741824 1073778376 140737049611376 140235700636152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23734] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23734/stat : 23734 (java) S 23695 23699 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 22968 33554432000 1073741824 1073778376 140737049611376 140235699583816 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23736] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23736/stat : 23736 (java) S 23695 23699 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280007138 9856004096 22968 33554432000 1073741824 1073778376 140737049611376 140235698529576 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=23699/tid=23728] ppid=23695 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23699/task/23728/stat : 23728 (java) S 23695 23699 21372 0 -1 4202560 2603 0 0 0 34 0 0 0 20 0 19 0 280007120 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235702741048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23730] ppid=23695 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/23699/task/23730/stat : 23730 (java) S 23695 23699 21372 0 -1 4202560 3266 0 0 0 28 0 0 0 20 0 19 0 280007120 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235701688504 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23732] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23732/stat : 23732 (java) S 23695 23699 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235700636152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23734] ppid=23695 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/23699/task/23734/stat : 23734 (java) S 23695 23699 21372 0 -1 4202560 95 0 0 0 17 18 0 0 20 0 19 0 280007120 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235699583816 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23736] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23736/stat : 23736 (java) S 23695 23699 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280007138 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235698529576 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1672.64
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.89 4/211 23751
/proc/meminfo: memFree=27908512/32873624 swapFree=7104/7104
[pid=23699] ppid=23695 vsize=9625004 CPUtime=1732.97 cores=1,3,5,7
/proc/23699/stat : 23699 (java) S 23695 23699 21372 0 -1 4202496 13052 0 1 0 173236 61 0 0 20 0 19 0 280007113 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140737049602512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23699/statm: 2406251 102002 2278 9 0 2396937 0
[pid=23699/tid=23702] ppid=23695 vsize=9625004 CPUtime=1698.12 cores=1,3,5,7
/proc/23699/task/23702/stat : 23702 (java) R 23695 23699 21372 0 -1 4202560 2942 0 1 0 169785 27 0 0 20 0 19 0 280007115 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236354113840 140236202472354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23704] ppid=23695 vsize=9625004 CPUtime=1.71 cores=1,3,5,7
/proc/23699/task/23704/stat : 23704 (java) S 23695 23699 21372 0 -1 4202560 314 0 0 0 167 4 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236326566568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23706] ppid=23695 vsize=9625004 CPUtime=1.78 cores=1,3,5,7
/proc/23699/task/23706/stat : 23706 (java) S 23695 23699 21372 0 -1 4202560 425 0 0 0 173 5 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236325514024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23699/tid=23708] ppid=23695 vsize=9625004 CPUtime=1.64 cores=1,3,5,7
/proc/23699/task/23708/stat : 23708 (java) S 23695 23699 21372 0 -1 4202560 397 0 0 0 160 4 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236324461480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23699/tid=23710] ppid=23695 vsize=9625004 CPUtime=1.71 cores=1,3,5,7
/proc/23699/task/23710/stat : 23710 (java) S 23695 23699 21372 0 -1 4202560 198 0 0 0 166 5 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236323408936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23712] ppid=23695 vsize=9625004 CPUtime=1.8 cores=1,3,5,7
/proc/23699/task/23712/stat : 23712 (java) S 23695 23699 21372 0 -1 4202560 299 0 0 0 176 4 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236322355368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23715] ppid=23695 vsize=9625004 CPUtime=1.65 cores=1,3,5,7
/proc/23699/task/23715/stat : 23715 (java) S 23695 23699 21372 0 -1 4202560 292 0 0 0 162 3 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236321302824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23717] ppid=23695 vsize=9625004 CPUtime=1.75 cores=1,3,5,7
/proc/23699/task/23717/stat : 23717 (java) S 23695 23699 21372 0 -1 4202560 416 0 0 0 170 5 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236190951848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23699/tid=23719] ppid=23695 vsize=9625004 CPUtime=1.74 cores=1,3,5,7
/proc/23699/task/23719/stat : 23719 (java) S 23695 23699 21372 0 -1 4202560 464 0 0 0 170 4 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236189899304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23699/tid=23720] ppid=23695 vsize=9625004 CPUtime=15.65 cores=1,3,5,7
/proc/23699/task/23720/stat : 23720 (java) S 23695 23699 21372 0 -1 4202560 155 0 0 0 1562 3 0 0 20 0 19 0 280007117 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235706952296 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23722] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23722/stat : 23722 (java) S 23695 23699 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235705898616 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23724] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23724/stat : 23724 (java) S 23695 23699 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235704845960 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23726] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23726/stat : 23726 (java) S 23695 23699 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235703794704 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23728] ppid=23695 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23699/task/23728/stat : 23728 (java) S 23695 23699 21372 0 -1 4202560 2603 0 0 0 34 0 0 0 20 0 19 0 280007120 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235702741048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23730] ppid=23695 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/23699/task/23730/stat : 23730 (java) S 23695 23699 21372 0 -1 4202560 3266 0 0 0 28 0 0 0 20 0 19 0 280007120 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235701688504 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23732] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23732/stat : 23732 (java) S 23695 23699 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235700636152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23734] ppid=23695 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/23699/task/23734/stat : 23734 (java) S 23695 23699 21372 0 -1 4202560 99 0 0 0 18 18 0 0 20 0 19 0 280007120 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235699583816 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23736] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23736/stat : 23736 (java) S 23695 23699 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280007138 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235698529576 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1732.97
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.90 4/211 23752
/proc/meminfo: memFree=27863336/32873624 swapFree=7104/7104
[pid=23699] ppid=23695 vsize=9625004 CPUtime=1793.18 cores=1,3,5,7
/proc/23699/stat : 23699 (java) S 23695 23699 21372 0 -1 4202496 13069 0 1 0 179256 62 0 0 20 0 19 0 280007113 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140737049602512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23699/statm: 2406251 102002 2278 9 0 2396937 0
[pid=23699/tid=23702] ppid=23695 vsize=9625004 CPUtime=1757.43 cores=1,3,5,7
/proc/23699/task/23702/stat : 23702 (java) R 23695 23699 21372 0 -1 4202560 2951 0 1 0 175715 28 0 0 20 0 19 0 280007115 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236354113840 140236202526012 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23704] ppid=23695 vsize=9625004 CPUtime=1.75 cores=1,3,5,7
/proc/23699/task/23704/stat : 23704 (java) S 23695 23699 21372 0 -1 4202560 314 0 0 0 171 4 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236326566568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23706] ppid=23695 vsize=9625004 CPUtime=1.82 cores=1,3,5,7
/proc/23699/task/23706/stat : 23706 (java) S 23695 23699 21372 0 -1 4202560 425 0 0 0 177 5 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236325514024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23699/tid=23708] ppid=23695 vsize=9625004 CPUtime=1.67 cores=1,3,5,7
/proc/23699/task/23708/stat : 23708 (java) S 23695 23699 21372 0 -1 4202560 397 0 0 0 163 4 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236324461480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23699/tid=23710] ppid=23695 vsize=9625004 CPUtime=1.74 cores=1,3,5,7
/proc/23699/task/23710/stat : 23710 (java) S 23695 23699 21372 0 -1 4202560 198 0 0 0 169 5 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236323408936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23712] ppid=23695 vsize=9625004 CPUtime=1.83 cores=1,3,5,7
/proc/23699/task/23712/stat : 23712 (java) S 23695 23699 21372 0 -1 4202560 299 0 0 0 179 4 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236322355368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23715] ppid=23695 vsize=9625004 CPUtime=1.68 cores=1,3,5,7
/proc/23699/task/23715/stat : 23715 (java) S 23695 23699 21372 0 -1 4202560 292 0 0 0 165 3 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236321302824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23717] ppid=23695 vsize=9625004 CPUtime=1.79 cores=1,3,5,7
/proc/23699/task/23717/stat : 23717 (java) S 23695 23699 21372 0 -1 4202560 416 0 0 0 174 5 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236190951848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23719] ppid=23695 vsize=9625004 CPUtime=1.78 cores=1,3,5,7
/proc/23699/task/23719/stat : 23719 (java) S 23695 23699 21372 0 -1 4202560 464 0 0 0 174 4 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236189899304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23699/tid=23720] ppid=23695 vsize=9625004 CPUtime=16.12 cores=1,3,5,7
/proc/23699/task/23720/stat : 23720 (java) S 23695 23699 21372 0 -1 4202560 159 0 0 0 1609 3 0 0 20 0 19 0 280007117 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235706952296 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23722] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23722/stat : 23722 (java) S 23695 23699 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235705898616 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23724] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23724/stat : 23724 (java) S 23695 23699 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235704845960 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23726] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23726/stat : 23726 (java) S 23695 23699 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235703794704 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23728] ppid=23695 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23699/task/23728/stat : 23728 (java) S 23695 23699 21372 0 -1 4202560 2603 0 0 0 34 0 0 0 20 0 19 0 280007120 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235702741048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23730] ppid=23695 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/23699/task/23730/stat : 23730 (java) S 23695 23699 21372 0 -1 4202560 3266 0 0 0 28 0 0 0 20 0 19 0 280007120 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235701688504 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23732] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23732/stat : 23732 (java) S 23695 23699 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235700636152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23734] ppid=23695 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/23699/task/23734/stat : 23734 (java) S 23695 23699 21372 0 -1 4202560 103 0 0 0 19 19 0 0 20 0 19 0 280007120 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235699583816 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23736] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23736/stat : 23736 (java) S 23695 23699 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280007138 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235698529576 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1793.18
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.2 s]
/proc/loadavg: 2.00 1.99 1.90 3/211 23752
/proc/meminfo: memFree=27863336/32873624 swapFree=7104/7104
[pid=23699] ppid=23695 vsize=9625004 CPUtime=1800.09 cores=1,3,5,7
/proc/23699/stat : 23699 (java) S 23695 23699 21372 0 -1 4202496 13070 0 1 0 179947 62 0 0 20 0 19 0 280007113 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140737049602512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23699/statm: 2406251 102002 2278 9 0 2396937 0
[pid=23699/tid=23702] ppid=23695 vsize=9625004 CPUtime=1764.26 cores=1,3,5,7
/proc/23699/task/23702/stat : 23702 (java) R 23695 23699 21372 0 -1 4202560 2952 0 1 0 176398 28 0 0 20 0 19 0 280007115 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236354113840 140236202399471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23704] ppid=23695 vsize=9625004 CPUtime=1.75 cores=1,3,5,7
/proc/23699/task/23704/stat : 23704 (java) S 23695 23699 21372 0 -1 4202560 314 0 0 0 171 4 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236326566568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23699/tid=23706] ppid=23695 vsize=9625004 CPUtime=1.83 cores=1,3,5,7
/proc/23699/task/23706/stat : 23706 (java) S 23695 23699 21372 0 -1 4202560 425 0 0 0 178 5 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236325514024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23699/tid=23708] ppid=23695 vsize=9625004 CPUtime=1.67 cores=1,3,5,7
/proc/23699/task/23708/stat : 23708 (java) S 23695 23699 21372 0 -1 4202560 397 0 0 0 163 4 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236324461480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23699/tid=23710] ppid=23695 vsize=9625004 CPUtime=1.74 cores=1,3,5,7
/proc/23699/task/23710/stat : 23710 (java) S 23695 23699 21372 0 -1 4202560 198 0 0 0 169 5 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236323408936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23712] ppid=23695 vsize=9625004 CPUtime=1.83 cores=1,3,5,7
/proc/23699/task/23712/stat : 23712 (java) S 23695 23699 21372 0 -1 4202560 299 0 0 0 179 4 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236322355368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23715] ppid=23695 vsize=9625004 CPUtime=1.68 cores=1,3,5,7
/proc/23699/task/23715/stat : 23715 (java) S 23695 23699 21372 0 -1 4202560 292 0 0 0 165 3 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236321302824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23699/tid=23717] ppid=23695 vsize=9625004 CPUtime=1.8 cores=1,3,5,7
/proc/23699/task/23717/stat : 23717 (java) S 23695 23699 21372 0 -1 4202560 416 0 0 0 175 5 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236190951848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23719] ppid=23695 vsize=9625004 CPUtime=1.78 cores=1,3,5,7
/proc/23699/task/23719/stat : 23719 (java) S 23695 23699 21372 0 -1 4202560 464 0 0 0 174 4 0 0 20 0 19 0 280007116 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140236189899304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23720] ppid=23695 vsize=9625004 CPUtime=16.17 cores=1,3,5,7
/proc/23699/task/23720/stat : 23720 (java) S 23695 23699 21372 0 -1 4202560 159 0 0 0 1614 3 0 0 20 0 19 0 280007117 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235706952296 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23722] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23722/stat : 23722 (java) S 23695 23699 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235705898616 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23724] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23724/stat : 23724 (java) S 23695 23699 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235704845960 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23726] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23726/stat : 23726 (java) S 23695 23699 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235703794704 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23728] ppid=23695 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23699/task/23728/stat : 23728 (java) S 23695 23699 21372 0 -1 4202560 2603 0 0 0 34 0 0 0 20 0 19 0 280007120 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235702741048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23730] ppid=23695 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/23699/task/23730/stat : 23730 (java) S 23695 23699 21372 0 -1 4202560 3266 0 0 0 28 0 0 0 20 0 19 0 280007120 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235701688504 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23732] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23732/stat : 23732 (java) S 23695 23699 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235700636152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23699/tid=23734] ppid=23695 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/23699/task/23734/stat : 23734 (java) S 23695 23699 21372 0 -1 4202560 103 0 0 0 19 19 0 0 20 0 19 0 280007120 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235699583816 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23699/tid=23736] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23736/stat : 23736 (java) S 23695 23699 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280007138 9856004096 102002 33554432000 1073741824 1073778376 140737049611376 140235698529576 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23699 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=879136
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=983850
# CPU time returned by wait4() is 1795.86
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1789.25
CPU time (s): 1800.09
CPU user time (s): 1799.47
CPU system time (s): 0.62
CPU usage (%): 100.606
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.88
system time used= 0.98385
maximum resident set size= 408164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13111
page faults= 1
swaps= 0
block input operations= 16
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48898
involuntary context switches= 33007

runsolver used 6.02108 second user time and 14.8617 second system time

The end

Launcher Data 

Begin job on node121 at 2012-05-27 19:13:36
IDJOB=3710660
IDBENCH=1952
IDSOLVER=2289
FILE ID=node121/3710660-1338138816
RUNJOBID= node121-1338138816-23673
PBS_JOBID= 14624482
Free space on /tmp= 71712 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710660-1338138816/watcher-3710660-1338138816 -o /tmp/evaluation-result-3710660-1338138816/solver-3710660-1338138816 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710660-1338138816.opb

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

MD5SUM BENCH= 7903a80129c7e51df900bcb9ac0a6f39
RANDOM SEED=1917473025

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
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	: 5438.55
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.042
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:       32873624 kB
MemFree:        28724044 kB
Buffers:          509596 kB
Cached:          2772928 kB
SwapCached:            0 kB
Active:           773908 kB
Inactive:        2520672 kB
Active(anon):      12892 kB
Inactive(anon):        0 kB
Active(file):     761016 kB
Inactive(file):  2520672 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1568 kB
Writeback:             0 kB
AnonPages:         17204 kB
Mapped:            13436 kB
Shmem:               200 kB
Slab:             717584 kB
SReclaimable:     162000 kB
SUnreclaim:       555584 kB
KernelStack:        1376 kB
PageTables:         4036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:      92136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node121 at 2012-05-27 19:43:28