Trace number 3687549

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)-24 1800.01 1787.07

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
MD5SUM7f40f8d513f22fc9adca96d8fdf626e2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -24
Optimality of the best value was proved NO
Number of variables1835
Total number of constraints2112
Number of constraints which are clauses1906
Number of constraints which are cardinality constraints (but not clauses)86
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint3
Maximum length of a constraint882
Number of terms in the objective function 120
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 120
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 900
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.08/0.08	c version 2.3.2.v20120418
0.08/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.08	c java.vm.version	19.1-b02
0.08/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.08	c sun.arch.data.model	64
0.08/0.08	c java.version		1.6.0_24
0.08/0.08	c os.name		Linux
0.08/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.08	c os.arch		amd64
0.08/0.08	c Free memory 		501472288
0.08/0.08	c Max memory 		7480803328
0.08/0.08	c Total memory 		504102912
0.08/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3687549-1337872108.opb
0.10/0.10	c reading problem ... 
0.54/0.33	c ... done. Wall clock time 0.226s.
0.54/0.33	c declared #vars     1835
0.54/0.33	c #constraints  2149
0.54/0.33	c constraints type 
0.54/0.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1941
0.54/0.33	c org.sat4j.minisat.constraints.card.MinWatchCard => 208
0.54/0.33	c 2149 constraints processed.
0.54/0.33	c objective function length is 120 literals
0.81/0.45	c SATISFIABLE
0.81/0.45	c OPTIMIZING...
0.81/0.45	c Got one! Elapsed wall clock time (in seconds):0.35
0.81/0.45	o -14
0.81/0.49	c Got one! Elapsed wall clock time (in seconds):0.384
0.81/0.49	o -16
1.43/0.87	c Got one! Elapsed wall clock time (in seconds):0.764
1.43/0.87	o -18
1.56/0.98	c cleaning 3201 clauses out of 6406 with flag 1003/6406
2.14/1.49	c cleaning 4601 clauses out of 9202 with flag 7000/12403
2.74/2.00	c cleaning 5796 clauses out of 11602 with flag 14001/19404
3.35/2.66	c cleaning 6894 clauses out of 13805 with flag 22000/27403
4.30/3.53	c cleaning 7938 clauses out of 15914 with flag 31003/36406
4.91/4.11	c Got one! Elapsed wall clock time (in seconds):4.006
4.91/4.11	o -19
5.31/4.52	c Got one! Elapsed wall clock time (in seconds):4.413
5.31/4.52	o -20
5.44/4.62	c cleaning 9286 clauses out of 18617 with flag 1002/47047
6.04/5.20	c cleaning 7560 clauses out of 15329 with flag 7000/53045
6.67/5.83	c cleaning 7294 clauses out of 14770 with flag 14001/60046
7.08/6.29	c cleaning 7712 clauses out of 15475 with flag 22000/68045
7.60/6.73	c cleaning 8378 clauses out of 16763 with flag 31000/77045
8.00/7.15	c cleaning 9189 clauses out of 18385 with flag 41000/87045
8.41/7.60	c cleaning 10089 clauses out of 20196 with flag 52000/98045
9.01/8.12	c cleaning 11052 clauses out of 22107 with flag 64000/110045
9.52/8.68	c cleaning 12026 clauses out of 24056 with flag 77001/123046
10.24/9.31	c cleaning 13010 clauses out of 26029 with flag 91000/137045
10.95/10.02	c cleaning 14008 clauses out of 28019 with flag 106000/152045
11.65/10.77	c cleaning 15004 clauses out of 30011 with flag 122000/168045
12.87/11.96	c cleaning 16001 clauses out of 32008 with flag 139001/185046
13.97/13.01	c cleaning 16998 clauses out of 34007 with flag 157001/203046
15.08/14.13	c cleaning 17998 clauses out of 36008 with flag 176000/222045
16.11/15.14	c cleaning 19004 clauses out of 38010 with flag 196000/242045
17.82/16.82	c cleaning 19997 clauses out of 40006 with flag 217000/263045
19.25/18.21	c cleaning 21000 clauses out of 42009 with flag 239000/285045
20.86/19.86	c cleaning 21998 clauses out of 44009 with flag 262000/308045
22.59/21.54	c cleaning 23001 clauses out of 46011 with flag 286000/332045
24.30/23.27	c cleaning 24000 clauses out of 48011 with flag 311001/357046
26.12/25.00	c cleaning 25001 clauses out of 50011 with flag 337001/383046
27.96/26.84	c cleaning 26000 clauses out of 52009 with flag 364000/410045
30.09/28.96	c cleaning 27002 clauses out of 54010 with flag 392001/438046
32.29/31.18	c cleaning 28000 clauses out of 56007 with flag 421000/467045
34.71/33.57	c cleaning 29003 clauses out of 58009 with flag 451002/497047
38.62/37.44	c cleaning 29982 clauses out of 60005 with flag 482001/528046
43.76/42.59	c cleaning 30983 clauses out of 62024 with flag 514002/560047
48.12/46.86	c cleaning 32016 clauses out of 64039 with flag 547000/593045
50.64/49.34	c cleaning 33007 clauses out of 66023 with flag 581000/627045
53.38/52.09	c cleaning 34000 clauses out of 68016 with flag 616000/662045
56.09/54.77	c cleaning 35006 clauses out of 70017 with flag 652001/698046
58.90/57.54	c cleaning 36004 clauses out of 72010 with flag 689000/735045
62.51/61.17	c cleaning 37000 clauses out of 74006 with flag 727000/773045
66.04/64.65	c cleaning 38002 clauses out of 76007 with flag 766001/812046
69.77/68.32	c cleaning 39002 clauses out of 78004 with flag 806000/852045
74.08/72.66	c cleaning 39999 clauses out of 80003 with flag 847001/893046
77.90/76.42	c cleaning 41000 clauses out of 82005 with flag 889002/935047
81.93/80.43	c cleaning 41996 clauses out of 84003 with flag 932000/978045
86.36/84.88	c cleaning 43001 clauses out of 86007 with flag 976000/1022045
90.68/89.15	c cleaning 43996 clauses out of 88007 with flag 1021001/1067046
100.08/98.55	c cleaning 44991 clauses out of 90011 with flag 1067001/1113046
113.56/111.97	c cleaning 45922 clauses out of 92022 with flag 1114003/1160048
128.87/127.13	c cleaning 47006 clauses out of 94098 with flag 1162001/1208046
151.43/149.64	c cleaning 47972 clauses out of 96094 with flag 1211003/1257048
165.94/164.02	c cleaning 49034 clauses out of 98119 with flag 1261000/1307045
171.89/169.93	c cleaning 50028 clauses out of 100085 with flag 1312000/1358045
178.04/176.01	c cleaning 51020 clauses out of 102057 with flag 1364000/1410045
181.06/179.05	c Got one! Elapsed wall clock time (in seconds):178.946
181.06/179.05	o -21
181.97/179.91	c cleaning 39156 clauses out of 78481 with flag 5002/1437489
182.80/180.77	c cleaning 22636 clauses out of 45323 with flag 11000/1443487
183.62/181.58	c cleaning 14658 clauses out of 29687 with flag 18000/1450487
184.64/182.54	c cleaning 11464 clauses out of 23029 with flag 26000/1458487
185.44/183.34	c cleaning 10238 clauses out of 20565 with flag 35000/1467487
186.55/184.48	c cleaning 10111 clauses out of 20329 with flag 45002/1477489
187.69/185.56	c cleaning 10478 clauses out of 21216 with flag 56000/1488487
189.33/187.10	c cleaning 11309 clauses out of 22740 with flag 68002/1500489
191.05/188.82	c cleaning 12041 clauses out of 24429 with flag 81000/1513487
192.75/190.51	c cleaning 13181 clauses out of 26392 with flag 95004/1527491
194.36/192.10	c cleaning 14063 clauses out of 28209 with flag 110002/1542489
196.19/193.92	c cleaning 14995 clauses out of 30144 with flag 126000/1558487
198.40/196.16	c cleaning 16033 clauses out of 32151 with flag 143002/1575489
200.61/198.36	c cleaning 17010 clauses out of 34117 with flag 161001/1593488
203.12/200.88	c cleaning 17996 clauses out of 36107 with flag 180001/1612488
205.36/203.07	c cleaning 19052 clauses out of 38110 with flag 200000/1632487
206.88/204.51	c cleaning 20021 clauses out of 40058 with flag 221000/1653487
208.59/206.21	c cleaning 21016 clauses out of 42039 with flag 243002/1675489
211.61/209.28	c cleaning 21940 clauses out of 44021 with flag 266000/1698487
215.23/212.89	c Got one! Elapsed wall clock time (in seconds):212.788
215.23/212.89	o -22
215.77/213.38	c cleaning 24471 clauses out of 49009 with flag 5002/1725415
216.40/213.96	c cleaning 15187 clauses out of 30536 with flag 11000/1731413
216.93/214.49	c cleaning 11045 clauses out of 22349 with flag 18000/1738413
217.83/215.30	c cleaning 9531 clauses out of 19304 with flag 26000/1746413
218.73/216.24	c cleaning 9252 clauses out of 18776 with flag 35003/1755416
219.54/217.05	c cleaning 9679 clauses out of 19521 with flag 45000/1765413
220.64/218.11	c cleaning 10281 clauses out of 20844 with flag 56002/1776415
222.24/219.79	c cleaning 11172 clauses out of 22563 with flag 68002/1788415
223.75/221.23	c cleaning 12095 clauses out of 24389 with flag 81000/1801413
225.66/223.19	c cleaning 13031 clauses out of 26296 with flag 95002/1815415
226.78/224.23	c Got one! Elapsed wall clock time (in seconds):224.122
226.78/224.23	o -23
227.21/224.60	c cleaning 12929 clauses out of 25861 with flag 5000/1828011
227.52/224.92	c cleaning 9442 clauses out of 18933 with flag 11001/1834012
227.83/225.27	c cleaning 8236 clauses out of 16490 with flag 18000/1841011
228.54/225.90	c cleaning 8083 clauses out of 16254 with flag 26000/1849011
229.27/226.69	c cleaning 8564 clauses out of 17171 with flag 35000/1858011
230.19/227.52	c cleaning 9248 clauses out of 18609 with flag 45002/1868013
231.00/228.38	c cleaning 10098 clauses out of 20359 with flag 56000/1879011
232.42/229.71	c cleaning 11076 clauses out of 22261 with flag 68000/1891011
233.83/231.15	c cleaning 12077 clauses out of 24185 with flag 81000/1904011
235.57/232.85	c cleaning 13033 clauses out of 26109 with flag 95001/1918012
237.19/234.49	c cleaning 14022 clauses out of 28076 with flag 110001/1933012
239.20/236.41	c cleaning 15004 clauses out of 30055 with flag 126002/1949013
241.50/238.75	c cleaning 16000 clauses out of 32049 with flag 143000/1966011
244.12/241.31	c cleaning 16999 clauses out of 34050 with flag 161001/1984012
245.54/242.76	c cleaning 18019 clauses out of 36050 with flag 180000/2003011
246.85/244.07	c cleaning 19011 clauses out of 38032 with flag 200001/2023012
248.16/245.39	c cleaning 20005 clauses out of 40020 with flag 221000/2044011
249.66/246.80	c cleaning 21008 clauses out of 42015 with flag 243000/2066011
251.27/248.42	c cleaning 22001 clauses out of 44008 with flag 266001/2089012
252.87/250.04	c cleaning 22999 clauses out of 46006 with flag 290000/2113011
254.48/251.60	c cleaning 23998 clauses out of 48007 with flag 315000/2138011
256.19/253.34	c cleaning 25004 clauses out of 50009 with flag 341000/2164011
257.91/255.05	c cleaning 25998 clauses out of 52005 with flag 368000/2191011
260.24/257.36	c cleaning 27002 clauses out of 54008 with flag 396001/2219012
262.35/259.44	c cleaning 28000 clauses out of 56006 with flag 425001/2248012
264.37/261.49	c cleaning 29000 clauses out of 58006 with flag 455001/2278012
267.18/264.28	c cleaning 29991 clauses out of 60006 with flag 486001/2309012
270.40/267.45	c cleaning 31003 clauses out of 62014 with flag 518000/2341011
273.24/270.21	c cleaning 32001 clauses out of 64013 with flag 551002/2374013
276.15/273.14	c cleaning 33000 clauses out of 66010 with flag 585000/2408011
279.08/276.03	c cleaning 33999 clauses out of 68011 with flag 620001/2443012
281.90/278.86	c cleaning 35005 clauses out of 70012 with flag 656001/2479012
285.02/281.92	c cleaning 36000 clauses out of 72006 with flag 693000/2516011
288.44/285.39	c cleaning 36998 clauses out of 74006 with flag 731000/2554011
292.14/289.09	c cleaning 38004 clauses out of 76009 with flag 770001/2593012
296.26/293.10	c cleaning 38997 clauses out of 78006 with flag 810002/2633013
300.28/297.20	c cleaning 39995 clauses out of 80007 with flag 851000/2674011
304.72/301.55	c cleaning 41006 clauses out of 82013 with flag 893001/2716012
309.37/306.15	c cleaning 42001 clauses out of 84008 with flag 936002/2759013
314.58/311.36	c cleaning 43000 clauses out of 86007 with flag 980002/2803013
319.59/316.37	c cleaning 43999 clauses out of 88006 with flag 1025001/2848012
325.21/321.90	c cleaning 45001 clauses out of 90007 with flag 1071001/2894012
331.62/328.37	c cleaning 45999 clauses out of 92005 with flag 1118000/2941011
337.24/333.98	c cleaning 46999 clauses out of 94006 with flag 1166000/2989011
342.56/339.20	c cleaning 47999 clauses out of 96007 with flag 1215000/3038011
348.28/344.96	c cleaning 49000 clauses out of 98009 with flag 1265001/3088012
357.69/354.31	c cleaning 50000 clauses out of 100009 with flag 1316001/3139012
366.05/362.60	c cleaning 50997 clauses out of 102008 with flag 1368000/3191011
372.08/368.66	c cleaning 52001 clauses out of 104013 with flag 1421002/3244013
379.21/375.71	c cleaning 53000 clauses out of 106011 with flag 1475001/3298012
387.16/383.66	c cleaning 54002 clauses out of 108011 with flag 1530001/3353012
397.41/393.82	c cleaning 54966 clauses out of 110008 with flag 1586000/3409011
408.76/405.18	c cleaning 56000 clauses out of 112042 with flag 1643000/3466011
426.58/422.99	c cleaning 57003 clauses out of 114045 with flag 1701003/3524014
440.74/437.05	c cleaning 57967 clauses out of 116040 with flag 1760001/3583012
462.67/458.93	c cleaning 58972 clauses out of 118072 with flag 1820000/3643011
469.43/465.60	c Got one! Elapsed wall clock time (in seconds):465.496
469.43/465.60	o -24
470.24/466.47	c cleaning 48763 clauses out of 97679 with flag 5001/3681590
470.94/467.15	c cleaning 27371 clauses out of 54915 with flag 11000/3687589
471.68/467.82	c cleaning 17122 clauses out of 34544 with flag 18000/3694589
472.29/468.45	c cleaning 12526 clauses out of 25422 with flag 26000/3702589
472.89/469.09	c cleaning 10725 clauses out of 21897 with flag 35001/3711590
473.69/469.87	c cleaning 10384 clauses out of 21172 with flag 45001/3721590
474.61/470.76	c cleaning 10834 clauses out of 21787 with flag 56000/3732589
475.73/471.82	c cleaning 11420 clauses out of 22953 with flag 68000/3744589
477.13/473.20	c cleaning 12196 clauses out of 24534 with flag 81001/3757590
478.93/475.03	c cleaning 13141 clauses out of 26337 with flag 95000/3771589
480.74/476.89	c cleaning 14053 clauses out of 28198 with flag 110002/3786591
482.55/478.61	c cleaning 15021 clauses out of 30143 with flag 126000/3802589
484.57/480.62	c cleaning 16008 clauses out of 32122 with flag 143000/3819589
486.67/482.80	c cleaning 17008 clauses out of 34114 with flag 161000/3837589
489.08/485.15	c cleaning 17994 clauses out of 36107 with flag 180001/3856590
492.32/488.38	c cleaning 18991 clauses out of 38113 with flag 200001/3876590
495.55/491.57	c cleaning 20006 clauses out of 40122 with flag 221001/3897590
498.99/494.93	c cleaning 20922 clauses out of 42117 with flag 243002/3919591
501.91/497.85	c cleaning 22051 clauses out of 44193 with flag 266000/3942589
505.33/501.26	c cleaning 22984 clauses out of 46142 with flag 290000/3966589
509.25/505.10	c cleaning 24067 clauses out of 48161 with flag 315003/3991592
515.16/511.08	c cleaning 24911 clauses out of 50094 with flag 341003/4017592
522.69/518.56	c cleaning 25809 clauses out of 52181 with flag 368001/4044590
532.12/527.96	c cleaning 26973 clauses out of 54375 with flag 396004/4072593
537.77/533.55	c cleaning 28162 clauses out of 56400 with flag 425002/4101591
543.98/539.70	c cleaning 29078 clauses out of 58238 with flag 455002/4131591
548.61/544.38	c cleaning 30032 clauses out of 60159 with flag 486001/4162590
556.16/551.80	c cleaning 30941 clauses out of 62126 with flag 518000/4194589
563.69/559.34	c cleaning 32054 clauses out of 64191 with flag 551006/4227595
572.64/568.24	c cleaning 33019 clauses out of 66131 with flag 585000/4261589
580.20/575.71	c cleaning 33975 clauses out of 68114 with flag 620002/4296591
588.85/584.31	c cleaning 34989 clauses out of 70139 with flag 656002/4332591
597.49/592.96	c cleaning 36004 clauses out of 72151 with flag 693003/4369592
606.11/601.59	c cleaning 36983 clauses out of 74145 with flag 731001/4407590
615.16/610.57	c cleaning 37973 clauses out of 76162 with flag 770001/4446590
623.79/619.11	c cleaning 39089 clauses out of 78189 with flag 810001/4486590
627.61/622.93	c cleaning 40042 clauses out of 80099 with flag 851000/4527589
631.74/627.03	c cleaning 41029 clauses out of 82058 with flag 893001/4569590
635.96/631.29	c cleaning 42010 clauses out of 84030 with flag 936002/4612591
640.18/635.42	c cleaning 43002 clauses out of 86018 with flag 980000/4656589
645.09/640.31	c cleaning 44007 clauses out of 88018 with flag 1025002/4701591
650.41/645.62	c cleaning 45000 clauses out of 90009 with flag 1071000/4747589
655.72/650.99	c cleaning 46001 clauses out of 92009 with flag 1118000/4794589
660.93/656.16	c cleaning 47003 clauses out of 94008 with flag 1166000/4842589
666.85/662.10	c cleaning 47999 clauses out of 96005 with flag 1215000/4891589
673.46/668.69	c cleaning 48996 clauses out of 98006 with flag 1265000/4941589
679.00/674.17	c cleaning 50003 clauses out of 100011 with flag 1316001/4992590
683.82/678.92	c cleaning 50998 clauses out of 102008 with flag 1368001/5044590
689.33/684.41	c cleaning 52001 clauses out of 104010 with flag 1421001/5097590
698.65/693.77	c cleaning 52984 clauses out of 106016 with flag 1475008/5151597
707.07/702.11	c cleaning 54001 clauses out of 108024 with flag 1530000/5206589
718.50/713.51	c cleaning 54956 clauses out of 110023 with flag 1586000/5262589
737.53/732.57	c cleaning 55988 clauses out of 112067 with flag 1643000/5319589
753.99/748.97	c cleaning 56920 clauses out of 114079 with flag 1701000/5377589
768.80/763.70	c cleaning 58032 clauses out of 116161 with flag 1760002/5436591
781.63/776.60	c cleaning 59054 clauses out of 118127 with flag 1820000/5496589
790.64/785.57	c cleaning 59976 clauses out of 120073 with flag 1881000/5557589
805.08/799.94	c cleaning 60933 clauses out of 122097 with flag 1943000/5619589
821.72/816.51	c cleaning 62004 clauses out of 124165 with flag 2006001/5682590
838.98/833.76	c cleaning 62991 clauses out of 126160 with flag 2070000/5746589
859.13/853.83	c cleaning 63993 clauses out of 128169 with flag 2135000/5811589
878.67/873.30	c cleaning 64955 clauses out of 130178 with flag 2201002/5877591
898.89/893.59	c cleaning 66009 clauses out of 132221 with flag 2268000/5944589
915.13/909.79	c cleaning 67027 clauses out of 134213 with flag 2336001/6012590
931.04/925.60	c cleaning 67993 clauses out of 136185 with flag 2405000/6081589
952.27/946.86	c cleaning 68931 clauses out of 138192 with flag 2475000/6151589
978.37/972.72	c cleaning 69937 clauses out of 140261 with flag 2546000/6222589
1005.54/999.71	c cleaning 71058 clauses out of 142326 with flag 2618002/6294591
1027.85/1022.06	c cleaning 72061 clauses out of 144267 with flag 2691001/6367590
1048.29/1042.42	c cleaning 73034 clauses out of 146207 with flag 2765002/6441591
1069.40/1063.59	c cleaning 74023 clauses out of 148172 with flag 2840001/6516590
1091.24/1085.32	c cleaning 74981 clauses out of 150148 with flag 2916000/6592589
1118.48/1112.53	c cleaning 75962 clauses out of 152167 with flag 2993000/6669589
1142.64/1136.66	c cleaning 77095 clauses out of 154205 with flag 3071000/6747589
1154.91/1148.81	c cleaning 78048 clauses out of 156110 with flag 3150000/6826589
1171.14/1165.05	c cleaning 78938 clauses out of 158063 with flag 3230001/6906590
1191.38/1185.29	c cleaning 80024 clauses out of 160125 with flag 3311001/6987590
1210.83/1204.60	c cleaning 80949 clauses out of 162100 with flag 3393000/7069589
1227.46/1221.22	c cleaning 82050 clauses out of 164152 with flag 3476001/7152590
1255.19/1248.91	c cleaning 82973 clauses out of 166106 with flag 3560005/7236594
1299.77/1293.39	c cleaning 84053 clauses out of 168130 with flag 3645002/7321591
1323.54/1317.05	c cleaning 84952 clauses out of 170075 with flag 3731000/7407589
1360.99/1354.34	c cleaning 85939 clauses out of 172124 with flag 3818001/7494590
1401.94/1394.61	c cleaning 87029 clauses out of 174184 with flag 3906000/7582589
1429.81/1422.17	c cleaning 87916 clauses out of 176155 with flag 3995000/7671589
1450.85/1442.92	c cleaning 89094 clauses out of 178239 with flag 4085000/7761589
1479.60/1471.31	c cleaning 90043 clauses out of 180148 with flag 4176003/7852592
1516.49/1507.87	c cleaning 90944 clauses out of 182102 with flag 4268000/7944589
1555.11/1545.90	c cleaning 91984 clauses out of 184158 with flag 4361000/8037589
1584.38/1574.83	c cleaning 93067 clauses out of 186174 with flag 4455000/8131589
1611.02/1601.09	c cleaning 94035 clauses out of 188110 with flag 4550003/8226592
1639.37/1628.97	c cleaning 94834 clauses out of 190073 with flag 4646001/8322590
1676.47/1665.44	c cleaning 95922 clauses out of 192241 with flag 4743003/8419592
1716.22/1704.51	c cleaning 96980 clauses out of 194317 with flag 4841001/8517590
1758.90/1746.55	c cleaning 97986 clauses out of 196338 with flag 4940002/8616591
1800.01/1787.01	c starts		: 308
1800.01/1787.01	c conflicts		: 8714228
1800.01/1787.01	c decisions		: 15611744
1800.01/1787.01	c propagations		: 602607993
1800.01/1787.01	c inspects		: 19069683694
1800.01/1787.01	c shortcuts		: 0
1800.01/1787.01	c learnt literals	: 0
1800.01/1787.01	c learnt binary clauses	: 3942
1800.01/1787.01	c learnt ternary clauses	: 13460
1800.01/1787.01	c learnt constraints	: 8714228
1800.01/1787.01	c ignored constraints	: 0
1800.01/1787.01	c root simplifications	: 0
1800.01/1787.01	c removed literals (reason simplification)	: 0
1800.01/1787.01	c reason swapping (by a shorter reason)	: 0
1800.01/1787.01	c Calls to reduceDB	: 233
1800.01/1787.01	c number of reductions to clauses (during analyze)	: 0
1800.01/1787.01	c number of learned constraints concerned by reduction	: 0
1800.01/1787.01	c number of learning phase by resolution	: 0
1800.01/1787.01	c number of learning phase by cutting planes	: 0
1800.01/1787.01	c speed (assignments/second)	: 337279.5896504786
1800.01/1787.01	c non guided choices	4609
1800.01/1787.05	c learnt constraints type 
1800.01/1787.05	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3942
1800.01/1787.05	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 192078
1800.01/1787.05	c constraints type 
1800.01/1787.05	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1941
1800.01/1787.05	c org.sat4j.minisat.constraints.card.MinWatchCard => 209
1800.01/1787.05	c 2150 constraints processed.
1800.01/1787.05	s SATISFIABLE
1800.01/1787.06	v -x1 -x2 -x3 -x4 x5 x6 -x7 -x8 -x9 x10 -x11 x12 -x13 x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 x24 x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 x44 x45 x46 x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 
1800.01/1787.06	c objective function=-24
1800.01/1787.06	c Total wall clock time (in seconds): 1786.953

Verifier Data 

OK	-24

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-3687549-1337872108/watcher-3687549-1337872108 -o /tmp/evaluation-result-3687549-1337872108/solver-3687549-1337872108 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687549-1337872108.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.97 1.01 0.40 3/194 25323
/proc/meminfo: memFree=29103388/32873844 swapFree=7364/7364
[pid=25323] ppid=25321 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/25323/stat : 25323 (java) R 25321 25323 24862 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 253335101 23793664 712 33554432000 1073741824 1073778376 140735461798128 140735461787192 254741099880 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25323/statm: 5809 712 526 9 0 128 0

[startup+0.083045 s]
/proc/loadavg: 1.97 1.01 0.40 3/194 25323
/proc/meminfo: memFree=29103388/32873844 swapFree=7364/7364
[pid=25323] ppid=25321 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/25323/stat : 25323 (java) S 25321 25323 24862 0 -1 4202496 4148 0 1 0 7 1 0 0 20 0 18 0 253335101 9787813888 5347 33554432000 1073741824 1073778376 140735461798128 140735461789264 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25323/statm: 2389603 5347 2079 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.100284 s]
/proc/loadavg: 1.97 1.01 0.40 3/194 25323
/proc/meminfo: memFree=29103388/32873844 swapFree=7364/7364
[pid=25323] ppid=25321 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/25323/stat : 25323 (java) S 25321 25323 24862 0 -1 4202496 4378 0 1 0 9 1 0 0 20 0 18 0 253335101 9787813888 6087 33554432000 1073741824 1073778376 140735461798128 140735461789264 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25323/statm: 2389603 6087 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300264 s]
/proc/loadavg: 1.97 1.01 0.40 3/194 25323
/proc/meminfo: memFree=29103388/32873844 swapFree=7364/7364
[pid=25323] ppid=25321 vsize=9558412 CPUtime=0.54 cores=0,2,4,6
/proc/25323/stat : 25323 (java) S 25321 25323 24862 0 -1 4202496 6298 0 1 0 52 2 0 0 20 0 18 0 253335101 9787813888 10140 33554432000 1073741824 1073778376 140735461798128 140735461789264 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25323/statm: 2389603 10140 2219 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558412

[startup+0.700253 s]
/proc/loadavg: 1.97 1.01 0.40 3/194 25323
/proc/meminfo: memFree=29103388/32873844 swapFree=7364/7364
[pid=25323] ppid=25321 vsize=9624976 CPUtime=1.33 cores=0,2,4,6
/proc/25323/stat : 25323 (java) S 25321 25323 24862 0 -1 4202496 9500 0 1 0 130 3 0 0 20 0 19 0 253335101 9855975424 12354 33554432000 1073741824 1073778376 140735461798128 140735461789264 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25323/statm: 2406244 12354 2246 9 0 2396937 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9624976

[startup+1.5006 s]
/proc/loadavg: 2.05 1.05 0.41 4/213 25342
/proc/meminfo: memFree=29050172/32873844 swapFree=7364/7364
[pid=25323] ppid=25321 vsize=9624976 CPUtime=2.24 cores=0,2,4,6
/proc/25323/stat : 25323 (java) S 25321 25323 24862 0 -1 4202496 9653 0 1 0 221 3 0 0 20 0 19 0 253335101 9855975424 16505 33554432000 1073741824 1073778376 140735461798128 140735461789264 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25323/statm: 2406244 16505 2274 9 0 2396937 0
[pid=25323/tid=25325] ppid=25321 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/25323/task/25325/stat : 25325 (java) S 25321 25323 24862 0 -1 4202560 2465 0 1 0 144 1 0 0 20 0 19 0 253335102 9855975424 16505 33554432000 1073741824 1073778376 140735461798128 139664591532424 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25326] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25326/stat : 25326 (java) R 25321 25323 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 16505 33554432000 1073741824 1073778376 140735461798128 139664553024168 254753682492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25327] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25327/stat : 25327 (java) S 25321 25323 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 16505 33554432000 1073741824 1073778376 140735461798128 139664434391848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25328] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25328/stat : 25328 (java) S 25321 25323 24862 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 16505 33554432000 1073741824 1073778376 140735461798128 139664433339304 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25323/tid=25329] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25329/stat : 25329 (java) S 25321 25323 24862 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 16505 33554432000 1073741824 1073778376 140735461798128 139664432286760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25330] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25330/stat : 25330 (java) S 25321 25323 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 16505 33554432000 1073741824 1073778376 140735461798128 139664431233192 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25331] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25331/stat : 25331 (java) S 25321 25323 24862 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 16505 33554432000 1073741824 1073778376 140735461798128 139664430180648 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25332] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25332/stat : 25332 (java) S 25321 25323 24862 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 16505 33554432000 1073741824 1073778376 140735461798128 139664429128104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25323/tid=25333] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25333/stat : 25333 (java) S 25321 25323 24862 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 16505 33554432000 1073741824 1073778376 140735461798128 139664428075560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25334] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25334/stat : 25334 (java) R 25321 25323 24862 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 253335104 9855975424 16505 33554432000 1073741824 1073778376 140735461798128 139663945746024 139664598367340 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25335] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25335/stat : 25335 (java) S 25321 25323 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253335104 9855975424 16505 33554432000 1073741824 1073778376 140735461798128 139663944693368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25336] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25336/stat : 25336 (java) S 25321 25323 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253335104 9855975424 16505 33554432000 1073741824 1073778376 140735461798128 139663943640712 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25337] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25337/stat : 25337 (java) S 25321 25323 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253335106 9855975424 16505 33554432000 1073741824 1073778376 140735461798128 139663942589456 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25338] ppid=25321 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/25323/task/25338/stat : 25338 (java) S 25321 25323 24862 0 -1 4202560 3009 0 0 0 37 0 0 0 20 0 19 0 253335106 9855975424 16505 33554432000 1073741824 1073778376 140735461798128 139663941535800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25339] ppid=25321 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/25323/task/25339/stat : 25339 (java) S 25321 25323 24862 0 -1 4202560 2928 0 0 0 34 0 0 0 20 0 19 0 253335106 9855975424 16505 33554432000 1073741824 1073778376 140735461798128 139663940483256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25340] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25340/stat : 25340 (java) S 25321 25323 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253335106 9855975424 16505 33554432000 1073741824 1073778376 140735461798128 139663939430904 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25341] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25341/stat : 25341 (java) S 25321 25323 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253335106 9855975424 16505 33554432000 1073741824 1073778376 140735461798128 139663938378568 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25342] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25342/stat : 25342 (java) S 25321 25323 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253335135 9855975424 16505 33554432000 1073741824 1073778376 140735461798128 139663937324328 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 9624976

[startup+3.10067 s]
/proc/loadavg: 2.05 1.05 0.41 3/213 25342
/proc/meminfo: memFree=29043532/32873844 swapFree=7364/7364
[pid=25323] ppid=25321 vsize=9624976 CPUtime=3.9 cores=0,2,4,6
/proc/25323/stat : 25323 (java) S 25321 25323 24862 0 -1 4202496 10013 0 1 0 387 3 0 0 20 0 19 0 253335101 9855975424 17048 33554432000 1073741824 1073778376 140735461798128 140735461789264 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25323/statm: 2406244 17048 2274 9 0 2396937 0
[pid=25323/tid=25325] ppid=25321 vsize=9624976 CPUtime=3.01 cores=0,2,4,6
/proc/25323/task/25325/stat : 25325 (java) R 25321 25323 24862 0 -1 4202560 2467 0 1 0 300 1 0 0 20 0 19 0 253335102 9855975424 17048 33554432000 1073741824 1073778376 140735461798128 139664591532264 139664435008836 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25326] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25326/stat : 25326 (java) S 25321 25323 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 17048 33554432000 1073741824 1073778376 140735461798128 139664553024168 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25327] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25327/stat : 25327 (java) S 25321 25323 24862 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 17048 33554432000 1073741824 1073778376 140735461798128 139664434391848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25328] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25328/stat : 25328 (java) S 25321 25323 24862 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 17048 33554432000 1073741824 1073778376 140735461798128 139664433339304 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25329] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25329/stat : 25329 (java) S 25321 25323 24862 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 17048 33554432000 1073741824 1073778376 140735461798128 139664432286760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25330] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25330/stat : 25330 (java) S 25321 25323 24862 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 17048 33554432000 1073741824 1073778376 140735461798128 139664431233192 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25331] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25331/stat : 25331 (java) S 25321 25323 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 17048 33554432000 1073741824 1073778376 140735461798128 139664430180648 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25332] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25332/stat : 25332 (java) S 25321 25323 24862 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 17048 33554432000 1073741824 1073778376 140735461798128 139664429128104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25333] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25333/stat : 25333 (java) S 25321 25323 24862 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 17048 33554432000 1073741824 1073778376 140735461798128 139664428075560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25334] ppid=25321 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/25323/task/25334/stat : 25334 (java) S 25321 25323 24862 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 253335104 9855975424 17048 33554432000 1073741824 1073778376 140735461798128 139663945747048 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25335] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25335/stat : 25335 (java) S 25321 25323 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253335104 9855975424 17048 33554432000 1073741824 1073778376 140735461798128 139663944693368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25336] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25336/stat : 25336 (java) S 25321 25323 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253335104 9855975424 17048 33554432000 1073741824 1073778376 140735461798128 139663943640712 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25337] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25337/stat : 25337 (java) S 25321 25323 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253335106 9855975424 17048 33554432000 1073741824 1073778376 140735461798128 139663942589456 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25338] ppid=25321 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/25323/task/25338/stat : 25338 (java) S 25321 25323 24862 0 -1 4202560 3356 0 0 0 42 0 0 0 20 0 19 0 253335106 9855975424 17048 33554432000 1073741824 1073778376 140735461798128 139663941535800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25339] ppid=25321 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/25323/task/25339/stat : 25339 (java) S 25321 25323 24862 0 -1 4202560 2929 0 0 0 34 0 0 0 20 0 19 0 253335106 9855975424 17048 33554432000 1073741824 1073778376 140735461798128 139663940483256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25323/tid=25340] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25340/stat : 25340 (java) S 25321 25323 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253335106 9855975424 17048 33554432000 1073741824 1073778376 140735461798128 139663939430904 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25341] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25341/stat : 25341 (java) S 25321 25323 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253335106 9855975424 17048 33554432000 1073741824 1073778376 140735461798128 139663938378568 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25342] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25342/stat : 25342 (java) S 25321 25323 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253335135 9855975424 17048 33554432000 1073741824 1073778376 140735461798128 139663937324328 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 9624976

[startup+6.30222 s]
/proc/loadavg: 2.05 1.05 0.41 3/213 25342
/proc/meminfo: memFree=29031740/32873844 swapFree=7364/7364
[pid=25323] ppid=25321 vsize=9624976 CPUtime=7.2 cores=0,2,4,6
/proc/25323/stat : 25323 (java) S 25321 25323 24862 0 -1 4202496 10034 0 1 0 716 4 0 0 20 0 19 0 253335101 9855975424 18259 33554432000 1073741824 1073778376 140735461798128 140735461789264 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25323/statm: 2406244 18259 2275 9 0 2396937 0
[pid=25323/tid=25325] ppid=25321 vsize=9624976 CPUtime=6.12 cores=0,2,4,6
/proc/25323/task/25325/stat : 25325 (java) S 25321 25323 24862 0 -1 4202560 2472 0 1 0 611 1 0 0 20 0 19 0 253335102 9855975424 18259 33554432000 1073741824 1073778376 140735461798128 139664591532424 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25326] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25326/stat : 25326 (java) S 25321 25323 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 18259 33554432000 1073741824 1073778376 140735461798128 139664553024024 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25323/tid=25327] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25327/stat : 25327 (java) R 25321 25323 24862 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 18259 33554432000 1073741824 1073778376 140735461798128 139664434391976 254750264455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25328] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25328/stat : 25328 (java) R 25321 25323 24862 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 18259 33554432000 1073741824 1073778376 140735461798128 139664433339432 254750264455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25329] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25329/stat : 25329 (java) R 25321 25323 24862 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 18259 33554432000 1073741824 1073778376 140735461798128 139664432286888 254750264455 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25330] ppid=25321 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/25323/task/25330/stat : 25330 (java) R 25321 25323 24862 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 253335102 9855975424 18259 33554432000 1073741824 1073778376 140735461798128 139664431233192 254750264455 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25331] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25331/stat : 25331 (java) R 25321 25323 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 18259 33554432000 1073741824 1073778376 140735461798128 139664430180776 254750264455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25332] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25332/stat : 25332 (java) R 25321 25323 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253335102 9855975424 18259 33554432000 1073741824 1073778376 140735461798128 139664429128232 254750264455 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25333] ppid=25321 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/25323/task/25333/stat : 25333 (java) R 25321 25323 24862 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 253335102 9855975424 18259 33554432000 1073741824 1073778376 140735461798128 139664428075736 139664595708079 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25334] ppid=25321 vsize=9624976 CPUtime=0.08 cores=0,2,4,6
/proc/25323/task/25334/stat : 25334 (java) S 25321 25323 24862 0 -1 4202560 31 0 0 0 8 0 0 0 20 0 19 0 253335104 9855975424 18259 33554432000 1073741824 1073778376 140735461798128 139663945746024 254753682492 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25335] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25335/stat : 25335 (java) S 25321 25323 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253335104 9855975424 18259 33554432000 1073741824 1073778376 140735461798128 139663944693368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25336] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25336/stat : 25336 (java) S 25321 25323 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253335104 9855975424 18259 33554432000 1073741824 1073778376 140735461798128 139663943640712 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25337] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25337/stat : 25337 (java) S 25321 25323 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253335106 9855975424 18259 33554432000 1073741824 1073778376 140735461798128 139663942589456 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25338] ppid=25321 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/25323/task/25338/stat : 25338 (java) S 25321 25323 24862 0 -1 4202560 3357 0 0 0 44 0 0 0 20 0 19 0 253335106 9855975424 18259 33554432000 1073741824 1073778376 140735461798128 139663941535800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25339] ppid=25321 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/25323/task/25339/stat : 25339 (java) S 25321 25323 24862 0 -1 4202560 2929 0 0 0 36 0 0 0 20 0 19 0 253335106 9855975424 18259 33554432000 1073741824 1073778376 140735461798128 139663940483256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25323/tid=25340] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25340/stat : 25340 (java) S 25321 25323 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253335106 9855975424 18259 33554432000 1073741824 1073778376 140735461798128 139663939430904 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25341] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25341/stat : 25341 (java) S 25321 25323 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253335106 9855975424 18259 33554432000 1073741824 1073778376 140735461798128 139663938378568 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25342] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25342/stat : 25342 (java) S 25321 25323 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253335135 9855975424 18259 33554432000 1073741824 1073778376 140735461798128 139663937324328 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.2
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=25323/tid=25338] ppid=25321 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/25323/task/25338/stat : 25338 (java) S 25321 25323 24862 0 -1 4202560 4642 0 0 0 52 1 0 0 20 0 19 0 253335106 9855975424 73058 33554432000 1073741824 1073778376 140735461798128 139663941535800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25339] ppid=25321 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/25323/task/25339/stat : 25339 (java) S 25321 25323 24862 0 -1 4202560 2931 0 0 0 37 0 0 0 20 0 19 0 253335106 9855975424 73058 33554432000 1073741824 1073778376 140735461798128 139663940483256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25323/tid=25340] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25340/stat : 25340 (java) S 25321 25323 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253335106 9855975424 73058 33554432000 1073741824 1073778376 140735461798128 139663939430904 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25341] ppid=25321 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/25323/task/25341/stat : 25341 (java) S 25321 25323 24862 0 -1 4202560 96 0 0 0 25 24 0 0 20 0 19 0 253335106 9855975424 73058 33554432000 1073741824 1073778376 140735461798128 139663938378568 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25342] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25342/stat : 25342 (java) S 25321 25323 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253335135 9855975424 73058 33554432000 1073741824 1073778376 140735461798128 139663937324328 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1673.35
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.43 2.13 1.79 3/213 25416
/proc/meminfo: memFree=28418676/32873844 swapFree=7364/7364
[pid=25323] ppid=25321 vsize=9624976 CPUtime=1734.39 cores=0,2,4,6
/proc/25323/stat : 25323 (java) S 25321 25323 24862 0 -1 4202496 15748 0 1 0 173368 71 0 0 20 0 19 0 253335101 9855975424 76284 33554432000 1073741824 1073778376 140735461798128 140735461789264 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25323/statm: 2406244 76284 2276 9 0 2396937 0
[pid=25323/tid=25325] ppid=25321 vsize=9624976 CPUtime=1706.06 cores=0,2,4,6
/proc/25323/task/25325/stat : 25325 (java) R 25321 25323 24862 0 -1 4202560 2911 0 1 0 170577 29 0 0 20 0 19 0 253335102 9855975424 76284 33554432000 1073741824 1073778376 140735461798128 139664591531344 139664435059494 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25326] ppid=25321 vsize=9624976 CPUtime=2.01 cores=0,2,4,6
/proc/25323/task/25326/stat : 25326 (java) S 25321 25323 24862 0 -1 4202560 727 0 0 0 197 4 0 0 20 0 19 0 253335102 9855975424 76284 33554432000 1073741824 1073778376 140735461798128 139664553024168 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25323/tid=25327] ppid=25321 vsize=9624976 CPUtime=1.96 cores=0,2,4,6
/proc/25323/task/25327/stat : 25327 (java) S 25321 25323 24862 0 -1 4202560 674 0 0 0 189 7 0 0 20 0 19 0 253335102 9855975424 76284 33554432000 1073741824 1073778376 140735461798128 139664434391848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25328] ppid=25321 vsize=9624976 CPUtime=1.91 cores=0,2,4,6
/proc/25323/task/25328/stat : 25328 (java) S 25321 25323 24862 0 -1 4202560 204 0 0 0 186 5 0 0 20 0 19 0 253335102 9855975424 76284 33554432000 1073741824 1073778376 140735461798128 139664433339304 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25329] ppid=25321 vsize=9624976 CPUtime=1.92 cores=0,2,4,6
/proc/25323/task/25329/stat : 25329 (java) S 25321 25323 24862 0 -1 4202560 506 0 0 0 187 5 0 0 20 0 19 0 253335102 9855975424 76284 33554432000 1073741824 1073778376 140735461798128 139664432286760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25330] ppid=25321 vsize=9624976 CPUtime=2.02 cores=0,2,4,6
/proc/25323/task/25330/stat : 25330 (java) S 25321 25323 24862 0 -1 4202560 211 0 0 0 197 5 0 0 20 0 19 0 253335102 9855975424 76284 33554432000 1073741824 1073778376 140735461798128 139664431233192 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25331] ppid=25321 vsize=9624976 CPUtime=2.1 cores=0,2,4,6
/proc/25323/task/25331/stat : 25331 (java) S 25321 25323 24862 0 -1 4202560 503 0 0 0 204 6 0 0 20 0 19 0 253335102 9855975424 76284 33554432000 1073741824 1073778376 140735461798128 139664430180648 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25332] ppid=25321 vsize=9624976 CPUtime=2.04 cores=0,2,4,6
/proc/25323/task/25332/stat : 25332 (java) S 25321 25323 24862 0 -1 4202560 707 0 0 0 198 6 0 0 20 0 19 0 253335102 9855975424 76284 33554432000 1073741824 1073778376 140735461798128 139664429128104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25333] ppid=25321 vsize=9624976 CPUtime=1.81 cores=0,2,4,6
/proc/25323/task/25333/stat : 25333 (java) S 25321 25323 24862 0 -1 4202560 162 0 0 0 177 4 0 0 20 0 19 0 253335102 9855975424 76284 33554432000 1073741824 1073778376 140735461798128 139664428075560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25334] ppid=25321 vsize=9624976 CPUtime=6.9 cores=0,2,4,6
/proc/25323/task/25334/stat : 25334 (java) S 25321 25323 24862 0 -1 4202560 291 0 0 0 687 3 0 0 20 0 19 0 253335104 9855975424 76284 33554432000 1073741824 1073778376 140735461798128 139663945747048 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25335] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25335/stat : 25335 (java) S 25321 25323 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253335104 9855975424 76284 33554432000 1073741824 1073778376 140735461798128 139663944693368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25336] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25336/stat : 25336 (java) S 25321 25323 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253335104 9855975424 76284 33554432000 1073741824 1073778376 140735461798128 139663943640712 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25337] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25337/stat : 25337 (java) S 25321 25323 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253335106 9855975424 76284 33554432000 1073741824 1073778376 140735461798128 139663942589456 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25338] ppid=25321 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/25323/task/25338/stat : 25338 (java) S 25321 25323 24862 0 -1 4202560 4642 0 0 0 52 1 0 0 20 0 19 0 253335106 9855975424 76284 33554432000 1073741824 1073778376 140735461798128 139663941535800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25339] ppid=25321 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/25323/task/25339/stat : 25339 (java) S 25321 25323 24862 0 -1 4202560 2931 0 0 0 37 0 0 0 20 0 19 0 253335106 9855975424 76284 33554432000 1073741824 1073778376 140735461798128 139663940483256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25323/tid=25340] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25340/stat : 25340 (java) S 25321 25323 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253335106 9855975424 76284 33554432000 1073741824 1073778376 140735461798128 139663939430904 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25341] ppid=25321 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/25323/task/25341/stat : 25341 (java) S 25321 25323 24862 0 -1 4202560 98 0 0 0 26 26 0 0 20 0 19 0 253335106 9855975424 76284 33554432000 1073741824 1073778376 140735461798128 139663938378568 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25342] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25342/stat : 25342 (java) S 25321 25323 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253335135 9855975424 76284 33554432000 1073741824 1073778376 140735461798128 139663937324328 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1734.39
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.16 2.10 1.80 3/213 25416
/proc/meminfo: memFree=28296108/32873844 swapFree=7364/7364
[pid=25323] ppid=25321 vsize=9624976 CPUtime=1795.23 cores=0,2,4,6
/proc/25323/stat : 25323 (java) S 25321 25323 24862 0 -1 4202496 15803 0 1 0 179450 73 0 0 20 0 19 0 253335101 9855975424 76029 33554432000 1073741824 1073778376 140735461798128 140735461789264 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25323/statm: 2406244 76029 2276 9 0 2396937 0
[pid=25323/tid=25325] ppid=25321 vsize=9624976 CPUtime=1765.49 cores=0,2,4,6
/proc/25323/task/25325/stat : 25325 (java) R 25321 25323 24862 0 -1 4202560 2942 0 1 0 176519 30 0 0 20 0 19 0 253335102 9855975424 76029 33554432000 1073741824 1073778376 140735461798128 139664591531344 139664434993433 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25326] ppid=25321 vsize=9624976 CPUtime=2.2 cores=0,2,4,6
/proc/25323/task/25326/stat : 25326 (java) S 25321 25323 24862 0 -1 4202560 727 0 0 0 216 4 0 0 20 0 19 0 253335102 9855975424 76029 33554432000 1073741824 1073778376 140735461798128 139664553024168 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25327] ppid=25321 vsize=9624976 CPUtime=2.11 cores=0,2,4,6
/proc/25323/task/25327/stat : 25327 (java) S 25321 25323 24862 0 -1 4202560 674 0 0 0 204 7 0 0 20 0 19 0 253335102 9855975424 76029 33554432000 1073741824 1073778376 140735461798128 139664434391848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25328] ppid=25321 vsize=9624976 CPUtime=2.08 cores=0,2,4,6
/proc/25323/task/25328/stat : 25328 (java) S 25321 25323 24862 0 -1 4202560 204 0 0 0 203 5 0 0 20 0 19 0 253335102 9855975424 76029 33554432000 1073741824 1073778376 140735461798128 139664433339304 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25329] ppid=25321 vsize=9624976 CPUtime=2.04 cores=0,2,4,6
/proc/25323/task/25329/stat : 25329 (java) S 25321 25323 24862 0 -1 4202560 511 0 0 0 198 6 0 0 20 0 19 0 253335102 9855975424 76029 33554432000 1073741824 1073778376 140735461798128 139664432286760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25323/tid=25330] ppid=25321 vsize=9624976 CPUtime=2.16 cores=0,2,4,6
/proc/25323/task/25330/stat : 25330 (java) S 25321 25323 24862 0 -1 4202560 211 0 0 0 211 5 0 0 20 0 19 0 253335102 9855975424 76029 33554432000 1073741824 1073778376 140735461798128 139664431233192 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25331] ppid=25321 vsize=9624976 CPUtime=2.26 cores=0,2,4,6
/proc/25323/task/25331/stat : 25331 (java) S 25321 25323 24862 0 -1 4202560 503 0 0 0 220 6 0 0 20 0 19 0 253335102 9855975424 76029 33554432000 1073741824 1073778376 140735461798128 139664430180648 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25332] ppid=25321 vsize=9624976 CPUtime=2.16 cores=0,2,4,6
/proc/25323/task/25332/stat : 25332 (java) S 25321 25323 24862 0 -1 4202560 716 0 0 0 210 6 0 0 20 0 19 0 253335102 9855975424 76029 33554432000 1073741824 1073778376 140735461798128 139664429128104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25333] ppid=25321 vsize=9624976 CPUtime=1.96 cores=0,2,4,6
/proc/25323/task/25333/stat : 25333 (java) S 25321 25323 24862 0 -1 4202560 162 0 0 0 192 4 0 0 20 0 19 0 253335102 9855975424 76029 33554432000 1073741824 1073778376 140735461798128 139664428075560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25323/tid=25334] ppid=25321 vsize=9624976 CPUtime=6.97 cores=0,2,4,6
/proc/25323/task/25334/stat : 25334 (java) S 25321 25323 24862 0 -1 4202560 297 0 0 0 694 3 0 0 20 0 19 0 253335104 9855975424 76029 33554432000 1073741824 1073778376 140735461798128 139663945747048 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25335] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25335/stat : 25335 (java) S 25321 25323 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253335104 9855975424 76029 33554432000 1073741824 1073778376 140735461798128 139663944693368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25336] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25336/stat : 25336 (java) S 25321 25323 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253335104 9855975424 76029 33554432000 1073741824 1073778376 140735461798128 139663943640712 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25337] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25337/stat : 25337 (java) S 25321 25323 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253335106 9855975424 76029 33554432000 1073741824 1073778376 140735461798128 139663942589456 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25338] ppid=25321 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/25323/task/25338/stat : 25338 (java) S 25321 25323 24862 0 -1 4202560 4642 0 0 0 52 1 0 0 20 0 19 0 253335106 9855975424 76029 33554432000 1073741824 1073778376 140735461798128 139663941535800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25339] ppid=25321 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/25323/task/25339/stat : 25339 (java) S 25321 25323 24862 0 -1 4202560 2931 0 0 0 37 0 0 0 20 0 19 0 253335106 9855975424 76029 33554432000 1073741824 1073778376 140735461798128 139663940483256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25323/tid=25340] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25340/stat : 25340 (java) S 25321 25323 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253335106 9855975424 76029 33554432000 1073741824 1073778376 140735461798128 139663939430904 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25341] ppid=25321 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/25323/task/25341/stat : 25341 (java) S 25321 25323 24862 0 -1 4202560 102 0 0 0 27 26 0 0 20 0 19 0 253335106 9855975424 76029 33554432000 1073741824 1073778376 140735461798128 139663938378568 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25342] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25342/stat : 25342 (java) S 25321 25323 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253335135 9855975424 76029 33554432000 1073741824 1073778376 140735461798128 139663937324328 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1795.23
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787 s]
/proc/loadavg: 2.14 2.10 1.80 3/213 25416
/proc/meminfo: memFree=28292136/32873844 swapFree=7364/7364
[pid=25323] ppid=25321 vsize=9624976 CPUtime=1800.01 cores=0,2,4,6
/proc/25323/stat : 25323 (java) S 25321 25323 24862 0 -1 4202496 15812 0 1 0 179928 73 0 0 20 0 19 0 253335101 9855975424 77021 33554432000 1073741824 1073778376 140735461798128 140735461789264 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25323/statm: 2406244 77021 2276 9 0 2396937 0
[pid=25323/tid=25325] ppid=25321 vsize=9624976 CPUtime=1770.15 cores=0,2,4,6
/proc/25323/task/25325/stat : 25325 (java) R 25321 25323 24862 0 -1 4202560 2944 0 1 0 176985 30 0 0 20 0 19 0 253335102 9855975424 77021 33554432000 1073741824 1073778376 140735461798128 139664591531344 139664435059494 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25326] ppid=25321 vsize=9624976 CPUtime=2.21 cores=0,2,4,6
/proc/25323/task/25326/stat : 25326 (java) S 25321 25323 24862 0 -1 4202560 727 0 0 0 217 4 0 0 20 0 19 0 253335102 9855975424 77021 33554432000 1073741824 1073778376 140735461798128 139664553024168 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25327] ppid=25321 vsize=9624976 CPUtime=2.12 cores=0,2,4,6
/proc/25323/task/25327/stat : 25327 (java) S 25321 25323 24862 0 -1 4202560 676 0 0 0 205 7 0 0 20 0 19 0 253335102 9855975424 77021 33554432000 1073741824 1073778376 140735461798128 139664434391848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25328] ppid=25321 vsize=9624976 CPUtime=2.09 cores=0,2,4,6
/proc/25323/task/25328/stat : 25328 (java) S 25321 25323 24862 0 -1 4202560 204 0 0 0 204 5 0 0 20 0 19 0 253335102 9855975424 77021 33554432000 1073741824 1073778376 140735461798128 139664433339304 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25329] ppid=25321 vsize=9624976 CPUtime=2.05 cores=0,2,4,6
/proc/25323/task/25329/stat : 25329 (java) S 25321 25323 24862 0 -1 4202560 511 0 0 0 199 6 0 0 20 0 19 0 253335102 9855975424 77021 33554432000 1073741824 1073778376 140735461798128 139664432286760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25330] ppid=25321 vsize=9624976 CPUtime=2.17 cores=0,2,4,6
/proc/25323/task/25330/stat : 25330 (java) S 25321 25323 24862 0 -1 4202560 211 0 0 0 212 5 0 0 20 0 19 0 253335102 9855975424 77021 33554432000 1073741824 1073778376 140735461798128 139664431233192 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25323/tid=25331] ppid=25321 vsize=9624976 CPUtime=2.27 cores=0,2,4,6
/proc/25323/task/25331/stat : 25331 (java) S 25321 25323 24862 0 -1 4202560 504 0 0 0 221 6 0 0 20 0 19 0 253335102 9855975424 77021 33554432000 1073741824 1073778376 140735461798128 139664430180648 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25323/tid=25332] ppid=25321 vsize=9624976 CPUtime=2.18 cores=0,2,4,6
/proc/25323/task/25332/stat : 25332 (java) S 25321 25323 24862 0 -1 4202560 718 0 0 0 211 7 0 0 20 0 19 0 253335102 9855975424 77021 33554432000 1073741824 1073778376 140735461798128 139664429128104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25333] ppid=25321 vsize=9624976 CPUtime=1.98 cores=0,2,4,6
/proc/25323/task/25333/stat : 25333 (java) S 25321 25323 24862 0 -1 4202560 164 0 0 0 194 4 0 0 20 0 19 0 253335102 9855975424 77021 33554432000 1073741824 1073778376 140735461798128 139664428075560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25334] ppid=25321 vsize=9624976 CPUtime=6.97 cores=0,2,4,6
/proc/25323/task/25334/stat : 25334 (java) S 25321 25323 24862 0 -1 4202560 297 0 0 0 694 3 0 0 20 0 19 0 253335104 9855975424 77021 33554432000 1073741824 1073778376 140735461798128 139663945747048 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25335] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25335/stat : 25335 (java) S 25321 25323 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253335104 9855975424 77021 33554432000 1073741824 1073778376 140735461798128 139663944693368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25336] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25336/stat : 25336 (java) S 25321 25323 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253335104 9855975424 77021 33554432000 1073741824 1073778376 140735461798128 139663943640712 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25337] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25337/stat : 25337 (java) S 25321 25323 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253335106 9855975424 77021 33554432000 1073741824 1073778376 140735461798128 139663942589456 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25323/tid=25338] ppid=25321 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/25323/task/25338/stat : 25338 (java) S 25321 25323 24862 0 -1 4202560 4642 0 0 0 52 1 0 0 20 0 19 0 253335106 9855975424 77021 33554432000 1073741824 1073778376 140735461798128 139663941535800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25339] ppid=25321 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/25323/task/25339/stat : 25339 (java) S 25321 25323 24862 0 -1 4202560 2931 0 0 0 37 0 0 0 20 0 19 0 253335106 9855975424 77021 33554432000 1073741824 1073778376 140735461798128 139663940483256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25323/tid=25340] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25340/stat : 25340 (java) S 25321 25323 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253335106 9855975424 77021 33554432000 1073741824 1073778376 140735461798128 139663939430904 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25323/tid=25341] ppid=25321 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/25323/task/25341/stat : 25341 (java) S 25321 25323 24862 0 -1 4202560 102 0 0 0 27 27 0 0 20 0 19 0 253335106 9855975424 77021 33554432000 1073741824 1073778376 140735461798128 139663938378568 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25323/tid=25342] ppid=25321 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25323/task/25342/stat : 25342 (java) S 25321 25323 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253335135 9855975424 77021 33554432000 1073741824 1073778376 140735461798128 139663937324328 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25323 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=819146
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=202817
# CPU time returned by wait4() is 1796.02
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1787.07
CPU time (s): 1800.01
CPU user time (s): 1799.28
CPU system time (s): 0.73
CPU usage (%): 100.724
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.82
system time used= 1.20282
maximum resident set size= 438132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15847
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50452
involuntary context switches= 42461

runsolver used 6.88995 second user time and 13.6739 second system time

The end

Launcher Data 

Begin job on node145 at 2012-05-24 17:08:28
IDJOB=3687549
IDBENCH=1870
IDSOLVER=2269
FILE ID=node145/3687549-1337872108
RUNJOBID= node145-1337871881-24878
PBS_JOBID= 14620059
Free space on /tmp= 71656 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687549-1337872108/watcher-3687549-1337872108 -o /tmp/evaluation-result-3687549-1337872108/solver-3687549-1337872108 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687549-1337872108.opb

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

MD5SUM BENCH= 7f40f8d513f22fc9adca96d8fdf626e2
RANDOM SEED=1755138457

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29103652 kB
Buffers:          202976 kB
Cached:          2672336 kB
SwapCached:            0 kB
Active:           548368 kB
Inactive:        2454056 kB
Active(anon):     129708 kB
Inactive(anon):        0 kB
Active(file):     418660 kB
Inactive(file):  2454056 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               640 kB
Writeback:             0 kB
AnonPages:        158972 kB
Mapped:            22564 kB
Shmem:               200 kB
Slab:             629956 kB
SReclaimable:      72460 kB
SUnreclaim:       557496 kB
KernelStack:        1760 kB
PageTables:         4452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     695828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71652 MiB
End job on node145 at 2012-05-24 17:38:17