Trace number 3710897

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotOPT52 1571.53 1566.37

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir10_area_partials.opb
MD5SUM8e58fdc516472c37b974ebbf77c2a4fa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark52
Best CPU time to get the best result obtained on this benchmark1.16482
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 52
Optimality of the best value was proved YES
Number of variables2091
Total number of constraints7288
Number of constraints which are clauses7288
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint124
Number of terms in the objective function 486
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 486
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 486
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.11	c configuring ORDERS
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=true
0.10/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3710897-1338162939.opb
0.10/0.12	c reading problem ... 
0.50/0.35	c ... done. Wall clock time 0.23s.
0.50/0.35	c declared #vars     2091
0.50/0.35	c #constraints  7288
0.50/0.35	c constraints type 
0.50/0.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1614
0.50/0.35	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5628
0.50/0.35	c org.sat4j.minisat.constraints.cnf.UnitClause => 46
0.50/0.35	c 7288 constraints processed.
0.50/0.37	c SATISFIABLE
0.50/0.37	c OPTIMIZING...
0.50/0.37	c Got one! Elapsed wall clock time (in seconds):0.259
0.50/0.37	o 56
1.69/1.05	c Got one! Elapsed wall clock time (in seconds):0.936
1.69/1.05	o 55
1.91/1.20	c cleaning 2585 clauses out of 5176 with flag 1000/5176
2.65/1.98	c cleaning 4289 clauses out of 8591 with flag 7000/11176
3.55/2.85	c cleaning 5642 clauses out of 11302 with flag 14000/18176
4.46/3.79	c cleaning 6818 clauses out of 13660 with flag 22000/26176
5.72/4.92	c cleaning 7910 clauses out of 15842 with flag 31000/35176
6.92/6.14	c cleaning 8955 clauses out of 17933 with flag 41001/45177
8.22/7.45	c cleaning 9972 clauses out of 19977 with flag 52000/56176
9.72/8.94	c cleaning 10979 clauses out of 22005 with flag 64000/68176
11.22/10.44	c cleaning 12010 clauses out of 24027 with flag 77001/81177
12.93/12.19	c cleaning 12997 clauses out of 26018 with flag 91002/95178
14.63/13.83	c cleaning 14001 clauses out of 28019 with flag 106000/110176
16.53/15.72	c cleaning 14904 clauses out of 30018 with flag 122000/126176
16.84/16.02	c Got one! Elapsed wall clock time (in seconds):15.901
16.84/16.02	o 54
17.14/16.35	c cleaning 10122 clauses out of 20268 with flag 3000/131330
17.85/17.03	c cleaning 8050 clauses out of 16146 with flag 9000/137330
18.65/17.88	c cleaning 7502 clauses out of 15096 with flag 16000/144330
19.65/18.82	c cleaning 7779 clauses out of 15594 with flag 24000/152330
20.85/20.05	c cleaning 8394 clauses out of 16815 with flag 33000/161330
22.17/21.36	c cleaning 9183 clauses out of 18421 with flag 43000/171330
23.48/22.61	c cleaning 10099 clauses out of 20238 with flag 54000/182330
24.79/23.90	c cleaning 11052 clauses out of 22139 with flag 66000/194330
26.23/25.36	c cleaning 12016 clauses out of 24087 with flag 79000/207330
27.93/27.05	c cleaning 12971 clauses out of 26071 with flag 93000/221330
29.63/28.76	c cleaning 14036 clauses out of 28100 with flag 108000/236330
31.43/30.54	c cleaning 14993 clauses out of 30065 with flag 124001/252331
33.44/32.50	c cleaning 16017 clauses out of 32071 with flag 141000/269330
35.44/34.58	c cleaning 17006 clauses out of 34058 with flag 159004/287334
37.66/36.78	c cleaning 17991 clauses out of 36048 with flag 178000/306330
39.96/39.01	c cleaning 19009 clauses out of 38057 with flag 198000/326330
42.27/41.39	c cleaning 19994 clauses out of 40048 with flag 219000/347330
45.07/44.11	c cleaning 20983 clauses out of 42054 with flag 241000/369330
47.77/46.89	c cleaning 22018 clauses out of 44072 with flag 264001/392331
50.68/49.78	c cleaning 23011 clauses out of 46053 with flag 288000/416330
53.99/53.08	c cleaning 24000 clauses out of 48042 with flag 313000/441330
57.12/56.14	c cleaning 25003 clauses out of 50042 with flag 339000/467330
60.13/59.14	c cleaning 25998 clauses out of 52040 with flag 366001/494331
63.13/62.16	c cleaning 27014 clauses out of 54041 with flag 394000/522330
66.73/65.71	c cleaning 27957 clauses out of 56027 with flag 423000/551330
70.64/69.69	c cleaning 28977 clauses out of 58070 with flag 453000/581330
74.55/73.58	c cleaning 30039 clauses out of 60093 with flag 484000/612330
78.26/77.21	c cleaning 30968 clauses out of 62054 with flag 516000/644330
82.26/81.26	c cleaning 32037 clauses out of 64088 with flag 549002/677332
86.96/85.91	c cleaning 32983 clauses out of 66049 with flag 583000/711330
91.17/90.14	c Got one! Elapsed wall clock time (in seconds):90.027
91.17/90.14	o 53
91.97/90.93	c cleaning 36404 clauses out of 72836 with flag 5000/751100
92.89/91.83	c cleaning 21197 clauses out of 42433 with flag 11001/757101
93.80/92.73	c cleaning 14106 clauses out of 28235 with flag 18000/764100
94.91/93.83	c cleaning 11045 clauses out of 22129 with flag 26000/772100
96.21/95.11	c cleaning 10023 clauses out of 20084 with flag 35000/781100
97.31/96.23	c cleaning 10013 clauses out of 20061 with flag 45000/791100
98.52/97.47	c cleaning 10505 clauses out of 21048 with flag 56000/802100
99.93/98.83	c cleaning 11256 clauses out of 22543 with flag 68000/814100
101.35/100.25	c cleaning 12116 clauses out of 24287 with flag 81000/827100
103.05/101.92	c cleaning 13046 clauses out of 26171 with flag 95000/841100
104.85/103.76	c cleaning 14044 clauses out of 28126 with flag 110001/856101
106.78/105.64	c cleaning 15010 clauses out of 30081 with flag 126000/872100
108.57/107.46	c cleaning 16025 clauses out of 32071 with flag 143000/889100
110.78/109.66	c cleaning 16993 clauses out of 34046 with flag 161000/907100
113.00/111.85	c cleaning 18004 clauses out of 36054 with flag 180001/926101
115.42/114.27	c cleaning 19004 clauses out of 38052 with flag 200003/946103
117.93/116.76	c cleaning 19973 clauses out of 40045 with flag 221000/967100
120.73/119.54	c cleaning 21018 clauses out of 42072 with flag 243000/989100
123.85/122.67	c cleaning 22004 clauses out of 44054 with flag 266000/1012100
126.86/125.69	c cleaning 22989 clauses out of 46050 with flag 290000/1036100
130.07/128.87	c cleaning 23989 clauses out of 48061 with flag 315000/1061100
133.08/131.84	c cleaning 24998 clauses out of 50072 with flag 341000/1087100
136.78/135.56	c cleaning 26017 clauses out of 52074 with flag 368000/1114100
140.49/139.20	c cleaning 27016 clauses out of 54058 with flag 396001/1142101
144.59/143.33	c cleaning 27990 clauses out of 56041 with flag 425000/1171100
148.30/147.06	c cleaning 28980 clauses out of 58051 with flag 455000/1201100
152.11/150.86	c cleaning 30010 clauses out of 60071 with flag 486000/1232100
156.33/155.04	c cleaning 31010 clauses out of 62061 with flag 518000/1264100
160.45/159.11	c cleaning 32010 clauses out of 64051 with flag 551000/1297100
164.45/163.17	c cleaning 33015 clauses out of 66041 with flag 585000/1331100
169.07/167.74	c cleaning 33984 clauses out of 68026 with flag 620000/1366100
173.89/172.53	c cleaning 34982 clauses out of 70042 with flag 656000/1402100
178.72/177.30	c cleaning 36002 clauses out of 72061 with flag 693001/1439101
183.87/182.49	c cleaning 36992 clauses out of 74058 with flag 731000/1477100
190.07/188.61	c cleaning 38017 clauses out of 76066 with flag 770000/1516100
195.19/193.75	c cleaning 39012 clauses out of 78050 with flag 810001/1556101
200.41/198.93	c cleaning 39985 clauses out of 80037 with flag 851000/1597100
205.52/204.01	c cleaning 41011 clauses out of 82052 with flag 893000/1639100
210.62/209.12	c cleaning 42005 clauses out of 84041 with flag 936000/1682100
215.83/214.36	c cleaning 43009 clauses out of 86036 with flag 980000/1726100
221.83/220.34	c cleaning 43981 clauses out of 88027 with flag 1025000/1771100
227.85/226.32	c cleaning 45010 clauses out of 90046 with flag 1071000/1817100
233.77/232.20	c cleaning 45988 clauses out of 92037 with flag 1118001/1864101
240.00/238.47	c cleaning 47002 clauses out of 94048 with flag 1166000/1912100
246.30/244.78	c cleaning 47993 clauses out of 96046 with flag 1215000/1961100
252.92/251.36	c cleaning 48995 clauses out of 98053 with flag 1265000/2011100
260.05/258.46	c cleaning 50017 clauses out of 100063 with flag 1316005/2062105
266.79/265.18	c cleaning 50994 clauses out of 102041 with flag 1368000/2114100
274.20/272.52	c cleaning 51999 clauses out of 104047 with flag 1421000/2167100
281.23/279.53	c cleaning 52988 clauses out of 106048 with flag 1475000/2221100
288.54/286.80	c cleaning 54015 clauses out of 108060 with flag 1530000/2276100
295.85/294.15	c cleaning 54999 clauses out of 110045 with flag 1586000/2332100
303.57/301.86	c cleaning 56004 clauses out of 112046 with flag 1643000/2389100
311.10/309.33	c cleaning 57001 clauses out of 114042 with flag 1701000/2447100
319.22/317.48	c cleaning 57992 clauses out of 116041 with flag 1760000/2506100
327.95/326.10	c cleaning 59011 clauses out of 118049 with flag 1820000/2566100
336.26/334.49	c cleaning 59985 clauses out of 120038 with flag 1881000/2627100
344.56/342.75	c cleaning 60998 clauses out of 122053 with flag 1943000/2689100
353.38/351.57	c cleaning 62006 clauses out of 124055 with flag 2006000/2752100
361.91/360.02	c cleaning 63002 clauses out of 126050 with flag 2070001/2816101
370.53/368.62	c cleaning 63988 clauses out of 128048 with flag 2135001/2881101
379.56/377.69	c cleaning 65006 clauses out of 130059 with flag 2201000/2947100
388.57/386.63	c cleaning 66011 clauses out of 132053 with flag 2268000/3014100
397.68/395.76	c cleaning 66989 clauses out of 134043 with flag 2336001/3082101
407.31/405.38	c cleaning 67970 clauses out of 136053 with flag 2405000/3151100
416.92/414.95	c cleaning 69002 clauses out of 138083 with flag 2475000/3221100
418.84/416.85	c Got one! Elapsed wall clock time (in seconds):416.733
418.84/416.85	o 52
419.54/417.55	c cleaning 44435 clauses out of 88899 with flag 5000/3240918
420.25/418.28	c cleaning 25205 clauses out of 50465 with flag 11001/3246919
421.17/419.10	c cleaning 16118 clauses out of 32262 with flag 18003/3253921
422.07/420.07	c cleaning 12057 clauses out of 24141 with flag 26000/3261918
423.17/421.17	c cleaning 10502 clauses out of 21084 with flag 35000/3270918
424.50/422.47	c cleaning 10280 clauses out of 20583 with flag 45001/3280919
425.81/423.75	c cleaning 10641 clauses out of 21302 with flag 56000/3291918
427.21/425.19	c cleaning 11317 clauses out of 22661 with flag 68000/3303918
428.92/426.86	c cleaning 12152 clauses out of 24344 with flag 81000/3316918
430.72/428.67	c cleaning 13082 clauses out of 26192 with flag 95000/3330918
432.62/430.55	c cleaning 14034 clauses out of 28110 with flag 110000/3345918
434.52/432.48	c cleaning 15009 clauses out of 30076 with flag 126000/3361918
436.65/434.50	c cleaning 16007 clauses out of 32067 with flag 143000/3378918
438.85/436.72	c cleaning 16990 clauses out of 34060 with flag 161000/3396918
441.07/438.98	c cleaning 18017 clauses out of 36070 with flag 180000/3415918
443.46/441.36	c cleaning 19011 clauses out of 38053 with flag 200000/3435918
446.17/444.06	c cleaning 20007 clauses out of 40042 with flag 221000/3456918
448.97/446.84	c cleaning 21002 clauses out of 42035 with flag 243000/3478918
451.70/449.56	c cleaning 21988 clauses out of 44033 with flag 266000/3501918
454.61/452.42	c cleaning 23017 clauses out of 46047 with flag 290002/3525920
457.52/455.35	c cleaning 23986 clauses out of 48028 with flag 315000/3550918
460.62/458.49	c cleaning 24999 clauses out of 50042 with flag 341000/3576918
463.63/461.43	c cleaning 26005 clauses out of 52045 with flag 368002/3603920
466.73/464.50	c cleaning 27013 clauses out of 54038 with flag 396000/3631918
469.94/467.75	c cleaning 27986 clauses out of 56025 with flag 425000/3660918
473.55/471.32	c cleaning 28998 clauses out of 58039 with flag 455000/3690918
477.27/475.02	c cleaning 29996 clauses out of 60042 with flag 486001/3721919
481.09/478.82	c cleaning 30992 clauses out of 62045 with flag 518000/3753918
484.79/482.57	c cleaning 31994 clauses out of 64054 with flag 551001/3786919
488.60/486.34	c cleaning 33000 clauses out of 66059 with flag 585000/3820918
493.20/490.92	c cleaning 34023 clauses out of 68059 with flag 620000/3855918
497.60/495.35	c cleaning 34964 clauses out of 70036 with flag 656000/3891918
502.12/499.87	c cleaning 36018 clauses out of 72072 with flag 693000/3928918
506.45/504.16	c cleaning 36993 clauses out of 74054 with flag 731000/3966918
511.18/508.83	c cleaning 38019 clauses out of 76063 with flag 770002/4005920
516.20/513.89	c cleaning 39000 clauses out of 78042 with flag 810000/4045918
521.55/519.11	c cleaning 40003 clauses out of 80043 with flag 851001/4086919
527.26/524.86	c cleaning 40993 clauses out of 82039 with flag 893000/4128918
532.59/530.18	c cleaning 42012 clauses out of 84046 with flag 936000/4171918
538.00/535.50	c cleaning 42975 clauses out of 86034 with flag 980000/4215918
543.90/541.40	c cleaning 44018 clauses out of 88059 with flag 1025000/4260918
549.42/546.98	c cleaning 44982 clauses out of 90041 with flag 1071000/4306918
555.23/552.70	c cleaning 46014 clauses out of 92059 with flag 1118000/4353918
561.25/558.77	c cleaning 46981 clauses out of 94045 with flag 1166000/4401918
566.77/564.27	c cleaning 48015 clauses out of 96065 with flag 1215001/4450919
572.78/570.27	c cleaning 49011 clauses out of 98050 with flag 1265001/4500919
578.69/576.15	c cleaning 49998 clauses out of 100038 with flag 1316000/4551918
585.11/582.59	c cleaning 50989 clauses out of 102040 with flag 1368000/4603918
592.24/589.68	c cleaning 52013 clauses out of 104051 with flag 1421000/4656918
599.44/596.82	c cleaning 53002 clauses out of 106038 with flag 1475000/4710918
606.38/603.75	c cleaning 53997 clauses out of 108036 with flag 1530000/4765918
613.80/611.12	c cleaning 54995 clauses out of 110040 with flag 1586001/4821919
621.31/618.62	c cleaning 56006 clauses out of 112044 with flag 1643000/4878918
628.24/625.55	c cleaning 57009 clauses out of 114038 with flag 1701000/4936918
635.76/633.08	c cleaning 57972 clauses out of 116029 with flag 1760000/4995918
642.88/640.16	c cleaning 58990 clauses out of 118057 with flag 1820000/5055918
649.70/646.98	c cleaning 60010 clauses out of 120068 with flag 1881001/5116919
657.73/654.98	c cleaning 60988 clauses out of 122057 with flag 1943000/5178918
666.25/663.48	c cleaning 62016 clauses out of 124069 with flag 2006000/5241918
674.56/671.74	c cleaning 63008 clauses out of 126053 with flag 2070000/5305918
682.40/679.59	c cleaning 64010 clauses out of 128049 with flag 2135004/5370922
690.91/688.09	c cleaning 64995 clauses out of 130036 with flag 2201001/5436919
698.83/695.93	c cleaning 66004 clauses out of 132040 with flag 2268000/5503918
707.54/704.62	c cleaning 66986 clauses out of 134038 with flag 2336002/5571920
715.46/712.58	c cleaning 67962 clauses out of 136050 with flag 2405000/5640918
724.38/721.40	c cleaning 69021 clauses out of 138088 with flag 2475000/5710918
733.63/730.69	c cleaning 70023 clauses out of 140067 with flag 2546000/5781918
742.43/739.47	c cleaning 70994 clauses out of 142044 with flag 2618000/5853918
750.75/747.72	c cleaning 71989 clauses out of 144051 with flag 2691001/5926919
760.17/757.18	c cleaning 72997 clauses out of 146063 with flag 2765002/6000920
770.93/767.86	c cleaning 73995 clauses out of 148066 with flag 2840002/6075920
781.16/778.09	c cleaning 74958 clauses out of 150069 with flag 2916000/6151918
790.50/787.31	c cleaning 76025 clauses out of 152111 with flag 2993000/6228918
800.12/796.98	c cleaning 77014 clauses out of 154086 with flag 3071000/6306918
809.55/806.31	c cleaning 78005 clauses out of 156072 with flag 3150000/6385918
818.76/815.57	c cleaning 79022 clauses out of 158067 with flag 3230000/6465918
829.49/826.25	c cleaning 80008 clauses out of 160045 with flag 3311000/6546918
840.21/836.99	c cleaning 80998 clauses out of 162037 with flag 3393000/6628918
851.13/847.89	c cleaning 82000 clauses out of 164039 with flag 3476000/6711918
862.47/859.15	c cleaning 83003 clauses out of 166039 with flag 3560000/6795918
873.79/870.49	c cleaning 83990 clauses out of 168037 with flag 3645001/6880919
885.73/882.32	c cleaning 85011 clauses out of 170046 with flag 3731000/6966918
897.56/894.10	c cleaning 85972 clauses out of 172035 with flag 3818000/7053918
909.17/905.79	c cleaning 86984 clauses out of 174063 with flag 3906000/7141918
920.70/917.28	c cleaning 88010 clauses out of 176081 with flag 3995002/7230920
932.02/928.57	c cleaning 88983 clauses out of 178069 with flag 4085000/7320918
944.64/941.20	c cleaning 90027 clauses out of 180097 with flag 4176011/7411929
957.85/954.37	c cleaning 90993 clauses out of 182061 with flag 4268002/7503920
970.87/967.33	c cleaning 91963 clauses out of 184066 with flag 4361000/7596918
983.80/980.27	c cleaning 93028 clauses out of 186103 with flag 4455000/7690918
996.95/993.31	c cleaning 94021 clauses out of 188075 with flag 4550000/7785918
1009.48/1005.86	c cleaning 94996 clauses out of 190055 with flag 4646001/7881919
1023.00/1019.32	c cleaning 96004 clauses out of 192058 with flag 4743000/7978918
1036.54/1032.84	c cleaning 97005 clauses out of 194056 with flag 4841002/8076920
1049.86/1046.18	c cleaning 98003 clauses out of 196052 with flag 4940003/8175921
1063.49/1059.70	c cleaning 99014 clauses out of 198046 with flag 5040000/8275918
1078.18/1074.37	c cleaning 99979 clauses out of 200032 with flag 5141000/8376918
1091.98/1088.12	c cleaning 100980 clauses out of 202053 with flag 5243000/8478918
1105.90/1102.06	c cleaning 102000 clauses out of 204073 with flag 5346000/8581918
1119.03/1115.15	c cleaning 103000 clauses out of 206073 with flag 5450000/8685918
1133.46/1129.53	c cleaning 104006 clauses out of 208073 with flag 5555000/8790918
1146.58/1142.65	c cleaning 105006 clauses out of 210067 with flag 5661000/8896918
1161.12/1157.15	c cleaning 106013 clauses out of 212061 with flag 5768000/9003918
1176.43/1172.42	c cleaning 106994 clauses out of 214048 with flag 5876000/9111918
1191.87/1187.83	c cleaning 108011 clauses out of 216055 with flag 5985001/9220919
1206.71/1202.65	c cleaning 109005 clauses out of 218046 with flag 6095003/9330921
1220.64/1216.56	c cleaning 109996 clauses out of 220038 with flag 6206000/9441918
1235.36/1231.22	c cleaning 110985 clauses out of 222042 with flag 6318000/9553918
1249.29/1245.20	c cleaning 111992 clauses out of 224057 with flag 6431000/9666918
1263.80/1259.67	c cleaning 112999 clauses out of 226065 with flag 6545000/9780918
1277.71/1273.56	c cleaning 113990 clauses out of 228066 with flag 6660000/9895918
1291.33/1287.14	c cleaning 115015 clauses out of 230076 with flag 6776000/10011918
1307.55/1303.38	c cleaning 116002 clauses out of 232061 with flag 6893000/10128918
1325.57/1321.33	c cleaning 117011 clauses out of 234059 with flag 7011000/10246918
1342.30/1338.00	c cleaning 118010 clauses out of 236050 with flag 7130002/10365920
1360.52/1356.25	c cleaning 118972 clauses out of 238038 with flag 7250000/10485918
1377.84/1373.52	c cleaning 120013 clauses out of 240066 with flag 7371000/10606918
1393.95/1389.61	c cleaning 120990 clauses out of 242053 with flag 7493000/10728918
1412.40/1408.05	c cleaning 121981 clauses out of 244063 with flag 7616000/10851918
1432.71/1428.34	c cleaning 123010 clauses out of 246082 with flag 7740000/10975918
1451.35/1446.99	c cleaning 124020 clauses out of 248076 with flag 7865004/11100922
1468.48/1464.02	c cleaning 124995 clauses out of 250052 with flag 7991000/11226918
1486.11/1481.70	c cleaning 126002 clauses out of 252057 with flag 8118000/11353918
1502.24/1497.72	c cleaning 126988 clauses out of 254055 with flag 8246000/11481918
1524.72/1519.61	c cleaning 119078 clauses out of 238209 with flag 8375000/11610918
1549.25/1544.19	c cleaning 124554 clauses out of 249131 with flag 8505000/11740918
1571.53/1566.35	c starts		: 327
1571.53/1566.35	c conflicts		: 11863480
1571.53/1566.35	c decisions		: 51135837
1571.53/1566.35	c propagations		: 4389241055
1571.53/1566.35	c inspects		: 14910924848
1571.53/1566.35	c shortcuts		: 0
1571.53/1566.35	c learnt literals	: 58
1571.53/1566.35	c learnt binary clauses	: 909
1571.53/1566.35	c learnt ternary clauses	: 4738
1571.53/1566.35	c learnt constraints	: 11863421
1571.53/1566.35	c ignored constraints	: 0
1571.53/1566.35	c root simplifications	: 384
1571.53/1566.35	c removed literals (reason simplification)	: 66274093
1571.53/1566.35	c reason swapping (by a shorter reason)	: 0
1571.53/1566.35	c Calls to reduceDB	: 234
1571.53/1566.35	c number of reductions to clauses (during analyze)	: 0
1571.53/1566.35	c number of learned constraints concerned by reduction	: 0
1571.53/1566.35	c number of learning phase by resolution	: 0
1571.53/1566.35	c number of learning phase by cutting planes	: 0
1571.53/1566.35	c speed (assignments/second)	: 2802848.4514298597
1571.53/1566.35	c non guided choices	375
1571.53/1566.35	c learnt constraints type 
1571.53/1566.35	c constraints type 
1571.53/1566.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1614
1571.53/1566.35	c org.sat4j.minisat.constraints.card.MinWatchCard => 0
1571.53/1566.35	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5628
1571.53/1566.35	c org.sat4j.minisat.constraints.cnf.UnitClause => 46
1571.53/1566.35	c 7288 constraints processed.
1571.53/1566.35	s OPTIMUM FOUND
1571.53/1566.36	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 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 x1996 -x1997 -x1998 x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 
1571.53/1566.36	c objective function=52
1571.53/1566.36	c Total wall clock time (in seconds): 1566.241

Verifier Data 

OK	52

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 1.98 5/192 16109
/proc/meminfo: memFree=29699160/32873852 swapFree=7624/7624
[pid=16109] ppid=16107 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/16109/stat : 16109 (java) R 16107 16109 15185 0 -1 4202496 982 0 0 0 0 0 0 0 20 0 1 0 282419332 23793664 708 33554432000 1073741824 1073778376 140733711914848 140733711903912 252253877608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16109/statm: 5809 709 524 9 0 128 0

[startup+0.0126531 s]
/proc/loadavg: 2.00 2.02 1.98 5/192 16109
/proc/meminfo: memFree=29699160/32873852 swapFree=7624/7624
[pid=16109] ppid=16107 vsize=8482100 CPUtime=0 cores=0,2,4,6
/proc/16109/stat : 16109 (java) S 16107 16109 15185 0 -1 4202496 1736 0 1 0 0 0 0 0 20 0 2 0 282419332 8685670400 1927 33554432000 1073741824 1073778376 140733711914848 140733711905984 252266446909 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16109/statm: 2120525 1948 941 9 0 2111634 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8482100

[startup+0.100225 s]
/proc/loadavg: 2.00 2.02 1.98 5/192 16109
/proc/meminfo: memFree=29699160/32873852 swapFree=7624/7624
[pid=16109] ppid=16107 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/16109/stat : 16109 (java) S 16107 16109 15185 0 -1 4202496 4268 0 1 0 9 1 0 0 20 0 18 0 282419332 9787842560 5985 33554432000 1073741824 1073778376 140733711914848 140733711905984 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16109/statm: 2389610 5985 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300221 s]
/proc/loadavg: 2.00 2.02 1.98 5/192 16109
/proc/meminfo: memFree=29699160/32873852 swapFree=7624/7624
[pid=16109] ppid=16107 vsize=9558440 CPUtime=0.5 cores=0,2,4,6
/proc/16109/stat : 16109 (java) S 16107 16109 15185 0 -1 4202496 5486 0 1 0 49 1 0 0 20 0 18 0 282419332 9787842560 8390 33554432000 1073741824 1073778376 140733711914848 140733711905984 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16109/statm: 2389610 8390 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558440

[startup+0.700208 s]
/proc/loadavg: 2.00 2.02 1.98 5/192 16109
/proc/meminfo: memFree=29699160/32873852 swapFree=7624/7624
[pid=16109] ppid=16107 vsize=9625004 CPUtime=1.35 cores=0,2,4,6
/proc/16109/stat : 16109 (java) S 16107 16109 15185 0 -1 4202496 9186 0 1 0 133 2 0 0 20 0 19 0 282419332 9856004096 12246 33554432000 1073741824 1073778376 140733711914848 140733711905984 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16109/statm: 2406251 12246 2252 9 0 2396937 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9625004

[startup+1.50062 s]
/proc/loadavg: 2.00 2.02 1.98 3/211 16128
/proc/meminfo: memFree=29658404/32873852 swapFree=7624/7624
[pid=16109] ppid=16107 vsize=9625004 CPUtime=2.22 cores=0,2,4,6
/proc/16109/stat : 16109 (java) S 16107 16109 15185 0 -1 4202496 9450 0 1 0 220 2 0 0 20 0 19 0 282419332 9856004096 14345 33554432000 1073741824 1073778376 140733711914848 140733711905984 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16109/statm: 2406251 14345 2283 9 0 2396937 0
[pid=16109/tid=16111] ppid=16107 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/16109/task/16111/stat : 16111 (java) R 16107 16109 15185 0 -1 4202560 2529 0 1 0 144 1 0 0 20 0 19 0 282419332 9856004096 14345 33554432000 1073741824 1073778376 140733711914848 140573105381768 140572954905251 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16112] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16112/stat : 16112 (java) S 16107 16109 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 14345 33554432000 1073741824 1073778376 140733711914848 140573077834152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16113] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16113/stat : 16113 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 14345 33554432000 1073741824 1073778376 140733711914848 140573076781608 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16114] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16114/stat : 16114 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 14345 33554432000 1073741824 1073778376 140733711914848 140573075728552 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16115] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16115/stat : 16115 (java) S 16107 16109 15185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 14345 33554432000 1073741824 1073778376 140733711914848 140573074676008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16116] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16116/stat : 16116 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 14345 33554432000 1073741824 1073778376 140733711914848 140573073623976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16117] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16117/stat : 16117 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 14345 33554432000 1073741824 1073778376 140733711914848 140572943232040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16118] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16118/stat : 16118 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 14345 33554432000 1073741824 1073778376 140733711914848 140572942178984 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16119] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16119/stat : 16119 (java) S 16107 16109 15185 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 14345 33554432000 1073741824 1073778376 140733711914848 140572941126440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16120] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16120/stat : 16120 (java) S 16107 16109 15185 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 282419334 9856004096 14345 33554432000 1073741824 1073778376 140733711914848 140572458178920 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16121] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16121/stat : 16121 (java) S 16107 16109 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282419335 9856004096 14345 33554432000 1073741824 1073778376 140733711914848 140572457125240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16122] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16122/stat : 16122 (java) S 16107 16109 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282419335 9856004096 14345 33554432000 1073741824 1073778376 140733711914848 140572456072072 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16123] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16123/stat : 16123 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419337 9856004096 14345 33554432000 1073741824 1073778376 140733711914848 140572455020816 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16124] ppid=16107 vsize=9625004 CPUtime=0.36 cores=0,2,4,6
/proc/16109/task/16124/stat : 16124 (java) S 16107 16109 15185 0 -1 4202560 2706 0 0 0 36 0 0 0 20 0 19 0 282419337 9856004096 14345 33554432000 1073741824 1073778376 140733711914848 140572453968696 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16125] ppid=16107 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/16109/task/16125/stat : 16125 (java) S 16107 16109 15185 0 -1 4202560 2977 0 0 0 34 0 0 0 20 0 19 0 282419337 9856004096 14345 33554432000 1073741824 1073778376 140733711914848 140572452916152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16126] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16126/stat : 16126 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419337 9856004096 14345 33554432000 1073741824 1073778376 140733711914848 140572451863288 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16127] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16127/stat : 16127 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419337 9856004096 14345 33554432000 1073741824 1073778376 140733711914848 140572450810952 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16128] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16128/stat : 16128 (java) S 16107 16109 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282419367 9856004096 14345 33554432000 1073741824 1073778376 140733711914848 140572449756200 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9625004

[startup+3.10062 s]
/proc/loadavg: 2.00 2.02 1.98 3/211 16128
/proc/meminfo: memFree=29649840/32873852 swapFree=7624/7624
[pid=16109] ppid=16107 vsize=9625004 CPUtime=3.86 cores=0,2,4,6
/proc/16109/stat : 16109 (java) S 16107 16109 15185 0 -1 4202496 9466 0 1 0 384 2 0 0 20 0 19 0 282419332 9856004096 14870 33554432000 1073741824 1073778376 140733711914848 140733711905984 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16109/statm: 2406251 14870 2283 9 0 2396937 0
[pid=16109/tid=16111] ppid=16107 vsize=9625004 CPUtime=3.03 cores=0,2,4,6
/proc/16109/task/16111/stat : 16111 (java) R 16107 16109 15185 0 -1 4202560 2530 0 1 0 302 1 0 0 20 0 19 0 282419332 9856004096 14870 33554432000 1073741824 1073778376 140733711914848 140573105381800 140572954905309 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16112] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16112/stat : 16112 (java) S 16107 16109 15185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 14870 33554432000 1073741824 1073778376 140733711914848 140573077834152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16113] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16113/stat : 16113 (java) S 16107 16109 15185 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 14870 33554432000 1073741824 1073778376 140733711914848 140573076781608 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16114] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16114/stat : 16114 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 14870 33554432000 1073741824 1073778376 140733711914848 140573075728552 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16115] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16115/stat : 16115 (java) S 16107 16109 15185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 14870 33554432000 1073741824 1073778376 140733711914848 140573074676008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16116] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16116/stat : 16116 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 14870 33554432000 1073741824 1073778376 140733711914848 140573073623976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16117] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16117/stat : 16117 (java) S 16107 16109 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 14870 33554432000 1073741824 1073778376 140733711914848 140572943232040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16118] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16118/stat : 16118 (java) S 16107 16109 15185 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 14870 33554432000 1073741824 1073778376 140733711914848 140572942178984 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16119] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16119/stat : 16119 (java) S 16107 16109 15185 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 14870 33554432000 1073741824 1073778376 140733711914848 140572941126440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16120] ppid=16107 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/16109/task/16120/stat : 16120 (java) S 16107 16109 15185 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 19 0 282419334 9856004096 14870 33554432000 1073741824 1073778376 140733711914848 140572458178920 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16121] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16121/stat : 16121 (java) S 16107 16109 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282419335 9856004096 14870 33554432000 1073741824 1073778376 140733711914848 140572457125240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16122] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16122/stat : 16122 (java) S 16107 16109 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282419335 9856004096 14870 33554432000 1073741824 1073778376 140733711914848 140572456072072 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16123] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16123/stat : 16123 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419337 9856004096 14870 33554432000 1073741824 1073778376 140733711914848 140572455020816 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16124] ppid=16107 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/16109/task/16124/stat : 16124 (java) S 16107 16109 15185 0 -1 4202560 2706 0 0 0 37 0 0 0 20 0 19 0 282419337 9856004096 14870 33554432000 1073741824 1073778376 140733711914848 140572453968696 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16125] ppid=16107 vsize=9625004 CPUtime=0.36 cores=0,2,4,6
/proc/16109/task/16125/stat : 16125 (java) S 16107 16109 15185 0 -1 4202560 2978 0 0 0 36 0 0 0 20 0 19 0 282419337 9856004096 14870 33554432000 1073741824 1073778376 140733711914848 140572452916152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16126] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16126/stat : 16126 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419337 9856004096 14870 33554432000 1073741824 1073778376 140733711914848 140572451863288 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16127] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16127/stat : 16127 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419337 9856004096 14870 33554432000 1073741824 1073778376 140733711914848 140572450810952 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16128] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16128/stat : 16128 (java) S 16107 16109 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282419367 9856004096 14870 33554432000 1073741824 1073778376 140733711914848 140572449756200 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 9625004

[startup+6.3007 s]
/proc/loadavg: 2.00 2.02 1.98 3/211 16128
/proc/meminfo: memFree=29646248/32873852 swapFree=7624/7624
[pid=16109] ppid=16107 vsize=9625004 CPUtime=7.12 cores=0,2,4,6
/proc/16109/stat : 16109 (java) S 16107 16109 15185 0 -1 4202496 10038 0 1 0 709 3 0 0 20 0 19 0 282419332 9856004096 15051 33554432000 1073741824 1073778376 140733711914848 140733711905984 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16109/statm: 2406251 15051 2283 9 0 2396937 0
[pid=16109/tid=16111] ppid=16107 vsize=9625004 CPUtime=6.17 cores=0,2,4,6
/proc/16109/task/16111/stat : 16111 (java) R 16107 16109 15185 0 -1 4202560 2533 0 1 0 616 1 0 0 20 0 19 0 282419332 9856004096 15051 33554432000 1073741824 1073778376 140733711914848 140573105381800 140572954905562 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16112] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16112/stat : 16112 (java) S 16107 16109 15185 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 15051 33554432000 1073741824 1073778376 140733711914848 140573077834152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16113] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16113/stat : 16113 (java) S 16107 16109 15185 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 15051 33554432000 1073741824 1073778376 140733711914848 140573076781608 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16114] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16114/stat : 16114 (java) S 16107 16109 15185 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 15051 33554432000 1073741824 1073778376 140733711914848 140573075728552 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16115] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16115/stat : 16115 (java) S 16107 16109 15185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 15051 33554432000 1073741824 1073778376 140733711914848 140573074676008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16116] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16116/stat : 16116 (java) S 16107 16109 15185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 15051 33554432000 1073741824 1073778376 140733711914848 140573073623976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16117] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16117/stat : 16117 (java) S 16107 16109 15185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 15051 33554432000 1073741824 1073778376 140733711914848 140572943232040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16118] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16118/stat : 16118 (java) S 16107 16109 15185 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 15051 33554432000 1073741824 1073778376 140733711914848 140572942178984 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16119] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16119/stat : 16119 (java) S 16107 16109 15185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282419333 9856004096 15051 33554432000 1073741824 1073778376 140733711914848 140572941126440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16120] ppid=16107 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/16109/task/16120/stat : 16120 (java) S 16107 16109 15185 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 19 0 282419334 9856004096 15051 33554432000 1073741824 1073778376 140733711914848 140572458178920 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16121] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16121/stat : 16121 (java) S 16107 16109 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282419335 9856004096 15051 33554432000 1073741824 1073778376 140733711914848 140572457125240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16122] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16122/stat : 16122 (java) S 16107 16109 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282419335 9856004096 15051 33554432000 1073741824 1073778376 140733711914848 140572456072072 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16123] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16123/stat : 16123 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419337 9856004096 15051 33554432000 1073741824 1073778376 140733711914848 140572455020816 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16124] ppid=16107 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/16109/task/16124/stat : 16124 (java) S 16107 16109 15185 0 -1 4202560 2706 0 0 0 37 0 0 0 20 0 19 0 282419337 9856004096 15051 33554432000 1073741824 1073778376 140733711914848 140572453968696 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16125] ppid=16107 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/16109/task/16125/stat : 16125 (java) S 16107 16109 15185 0 -1 4202560 3539 0 0 0 41 0 0 0 20 0 19 0 282419337 9856004096 15051 33554432000 1073741824 1073778376 140733711914848 140572452916152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16126] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16126/stat : 16126 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419337 9856004096 15051 33554432000 1073741824 1073778376 140733711914848 140572451863288 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16127] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16127/stat : 16127 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419337 9856004096 15051 33554432000 1073741824 1073778376 140733711914848 140572450810952 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16128] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16128/stat : 16128 (java) S 16107 16109 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282419367 9856004096 15051 33554432000 1073741824 1073778376 140733711914848 140572449756200 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.12
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

/proc/16109/task/16119/stat : 16119 (java) S 16107 16109 15185 0 -1 4202560 41 0 0 0 70 2 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572941126440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16120] ppid=16107 vsize=9625004 CPUtime=6.47 cores=0,2,4,6
/proc/16109/task/16120/stat : 16120 (java) S 16107 16109 15185 0 -1 4202560 163 0 0 0 645 2 0 0 20 0 19 0 282419334 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572458178920 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16121] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16121/stat : 16121 (java) S 16107 16109 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282419335 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572457125240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16122] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16122/stat : 16122 (java) S 16107 16109 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282419335 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572456072072 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16123] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16123/stat : 16123 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572455020816 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16124] ppid=16107 vsize=9625004 CPUtime=0.8 cores=0,2,4,6
/proc/16109/task/16124/stat : 16124 (java) S 16107 16109 15185 0 -1 4202560 9353 0 0 0 79 1 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572453968696 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16125] ppid=16107 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/16109/task/16125/stat : 16125 (java) S 16107 16109 15185 0 -1 4202560 4988 0 0 0 62 0 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572452916152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16126] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16126/stat : 16126 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572451863288 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16127] ppid=16107 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/16109/task/16127/stat : 16127 (java) S 16107 16109 15185 0 -1 4202560 89 0 0 0 13 17 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572450810952 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16128] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16128/stat : 16128 (java) S 16107 16109 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282419367 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572449756200 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1569.93
Current children cumulated vsize (KiB) 9625004

[startup+1565.5 s]
/proc/loadavg: 1.98 1.98 1.99 3/211 16164
/proc/meminfo: memFree=29503856/32873852 swapFree=7624/7624
[pid=16109] ppid=16107 vsize=9625004 CPUtime=1570.73 cores=0,2,4,6
/proc/16109/stat : 16109 (java) S 16107 16109 15185 0 -1 4202496 19338 0 1 0 157037 36 0 0 20 0 19 0 282419332 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140733711905984 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16109/statm: 2406251 36355 2285 9 0 2396937 0
[pid=16109/tid=16111] ppid=16107 vsize=9625004 CPUtime=1553.15 cores=0,2,4,6
/proc/16109/task/16111/stat : 16111 (java) R 16107 16109 15185 0 -1 4202560 2769 0 1 0 155287 28 0 0 20 0 19 0 282419332 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140573105379904 140572954905463 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16112] ppid=16107 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/16109/task/16112/stat : 16112 (java) S 16107 16109 15185 0 -1 4202560 190 0 0 0 68 2 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140573077834152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16113] ppid=16107 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/16109/task/16113/stat : 16113 (java) S 16107 16109 15185 0 -1 4202560 248 0 0 0 67 2 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140573076781608 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16114] ppid=16107 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/16109/task/16114/stat : 16114 (java) S 16107 16109 15185 0 -1 4202560 57 0 0 0 64 2 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140573075728552 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16115] ppid=16107 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/16109/task/16115/stat : 16115 (java) S 16107 16109 15185 0 -1 4202560 53 0 0 0 63 0 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140573074676008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16116] ppid=16107 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/16109/task/16116/stat : 16116 (java) S 16107 16109 15185 0 -1 4202560 42 0 0 0 66 0 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140573073623976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16117] ppid=16107 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/16109/task/16117/stat : 16117 (java) S 16107 16109 15185 0 -1 4202560 114 0 0 0 67 2 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572943232040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16118] ppid=16107 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/16109/task/16118/stat : 16118 (java) S 16107 16109 15185 0 -1 4202560 48 0 0 0 66 3 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572942178984 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16119] ppid=16107 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/16109/task/16119/stat : 16119 (java) S 16107 16109 15185 0 -1 4202560 41 0 0 0 70 2 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572941126440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16120] ppid=16107 vsize=9625004 CPUtime=6.47 cores=0,2,4,6
/proc/16109/task/16120/stat : 16120 (java) S 16107 16109 15185 0 -1 4202560 163 0 0 0 645 2 0 0 20 0 19 0 282419334 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572458178920 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16121] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16121/stat : 16121 (java) S 16107 16109 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282419335 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572457125240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16122] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16122/stat : 16122 (java) S 16107 16109 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282419335 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572456072072 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16123] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16123/stat : 16123 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572455020816 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16124] ppid=16107 vsize=9625004 CPUtime=0.8 cores=0,2,4,6
/proc/16109/task/16124/stat : 16124 (java) S 16107 16109 15185 0 -1 4202560 9353 0 0 0 79 1 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572453968696 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16125] ppid=16107 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/16109/task/16125/stat : 16125 (java) S 16107 16109 15185 0 -1 4202560 4988 0 0 0 62 0 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572452916152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16126] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16126/stat : 16126 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572451863288 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16127] ppid=16107 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/16109/task/16127/stat : 16127 (java) S 16107 16109 15185 0 -1 4202560 89 0 0 0 13 17 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572450810952 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16128] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16128/stat : 16128 (java) S 16107 16109 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282419367 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572449756200 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1570.73
Current children cumulated vsize (KiB) 9625004

[startup+1565.9 s]
/proc/loadavg: 1.98 1.98 1.99 3/211 16164
/proc/meminfo: memFree=29503856/32873852 swapFree=7624/7624
[pid=16109] ppid=16107 vsize=9625004 CPUtime=1571.13 cores=0,2,4,6
/proc/16109/stat : 16109 (java) S 16107 16109 15185 0 -1 4202496 19338 0 1 0 157077 36 0 0 20 0 19 0 282419332 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140733711905984 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16109/statm: 2406251 36355 2285 9 0 2396937 0
[pid=16109/tid=16111] ppid=16107 vsize=9625004 CPUtime=1553.55 cores=0,2,4,6
/proc/16109/task/16111/stat : 16111 (java) R 16107 16109 15185 0 -1 4202560 2769 0 1 0 155327 28 0 0 20 0 19 0 282419332 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140573105379904 140572954905468 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16112] ppid=16107 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/16109/task/16112/stat : 16112 (java) S 16107 16109 15185 0 -1 4202560 190 0 0 0 68 2 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140573077834152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16113] ppid=16107 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/16109/task/16113/stat : 16113 (java) S 16107 16109 15185 0 -1 4202560 248 0 0 0 67 2 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140573076781608 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16114] ppid=16107 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/16109/task/16114/stat : 16114 (java) S 16107 16109 15185 0 -1 4202560 57 0 0 0 64 2 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140573075728552 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16115] ppid=16107 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/16109/task/16115/stat : 16115 (java) S 16107 16109 15185 0 -1 4202560 53 0 0 0 63 0 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140573074676008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16116] ppid=16107 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/16109/task/16116/stat : 16116 (java) S 16107 16109 15185 0 -1 4202560 42 0 0 0 66 0 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140573073623976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16117] ppid=16107 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/16109/task/16117/stat : 16117 (java) S 16107 16109 15185 0 -1 4202560 114 0 0 0 67 2 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572943232040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16118] ppid=16107 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/16109/task/16118/stat : 16118 (java) S 16107 16109 15185 0 -1 4202560 48 0 0 0 66 3 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572942178984 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16119] ppid=16107 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/16109/task/16119/stat : 16119 (java) S 16107 16109 15185 0 -1 4202560 41 0 0 0 70 2 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572941126440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16120] ppid=16107 vsize=9625004 CPUtime=6.47 cores=0,2,4,6
/proc/16109/task/16120/stat : 16120 (java) S 16107 16109 15185 0 -1 4202560 163 0 0 0 645 2 0 0 20 0 19 0 282419334 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572458178920 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16121] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16121/stat : 16121 (java) S 16107 16109 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282419335 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572457125240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16122] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16122/stat : 16122 (java) S 16107 16109 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282419335 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572456072072 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16123] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16123/stat : 16123 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572455020816 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16124] ppid=16107 vsize=9625004 CPUtime=0.8 cores=0,2,4,6
/proc/16109/task/16124/stat : 16124 (java) S 16107 16109 15185 0 -1 4202560 9353 0 0 0 79 1 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572453968696 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16125] ppid=16107 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/16109/task/16125/stat : 16125 (java) S 16107 16109 15185 0 -1 4202560 4988 0 0 0 62 0 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572452916152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16126] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16126/stat : 16126 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572451863288 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16127] ppid=16107 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/16109/task/16127/stat : 16127 (java) S 16107 16109 15185 0 -1 4202560 89 0 0 0 13 17 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572450810952 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16128] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16128/stat : 16128 (java) S 16107 16109 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282419367 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572449756200 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1571.13
Current children cumulated vsize (KiB) 9625004

[startup+1566.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/211 16164
/proc/meminfo: memFree=29503856/32873852 swapFree=7624/7624
[pid=16109] ppid=16107 vsize=9625004 CPUtime=1571.53 cores=0,2,4,6
/proc/16109/stat : 16109 (java) S 16107 16109 15185 0 -1 4202496 19339 0 1 0 157117 36 0 0 20 0 19 0 282419332 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140733711905984 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16109/statm: 2406251 36355 2285 9 0 2396937 0
[pid=16109/tid=16111] ppid=16107 vsize=9625004 CPUtime=1553.95 cores=0,2,4,6
/proc/16109/task/16111/stat : 16111 (java) R 16107 16109 15185 0 -1 4202560 2770 0 1 0 155367 28 0 0 20 0 19 0 282419332 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140573105379904 140572954896510 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16112] ppid=16107 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/16109/task/16112/stat : 16112 (java) S 16107 16109 15185 0 -1 4202560 190 0 0 0 68 2 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140573077834152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16113] ppid=16107 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/16109/task/16113/stat : 16113 (java) S 16107 16109 15185 0 -1 4202560 248 0 0 0 67 2 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140573076781608 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16114] ppid=16107 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/16109/task/16114/stat : 16114 (java) S 16107 16109 15185 0 -1 4202560 57 0 0 0 64 2 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140573075728552 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16115] ppid=16107 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/16109/task/16115/stat : 16115 (java) S 16107 16109 15185 0 -1 4202560 53 0 0 0 63 0 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140573074676008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16116] ppid=16107 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/16109/task/16116/stat : 16116 (java) S 16107 16109 15185 0 -1 4202560 42 0 0 0 66 0 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140573073623976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16117] ppid=16107 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/16109/task/16117/stat : 16117 (java) S 16107 16109 15185 0 -1 4202560 114 0 0 0 67 2 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572943232040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16118] ppid=16107 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/16109/task/16118/stat : 16118 (java) S 16107 16109 15185 0 -1 4202560 48 0 0 0 66 3 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572942178984 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16119] ppid=16107 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/16109/task/16119/stat : 16119 (java) S 16107 16109 15185 0 -1 4202560 41 0 0 0 70 2 0 0 20 0 19 0 282419333 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572941126440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16120] ppid=16107 vsize=9625004 CPUtime=6.47 cores=0,2,4,6
/proc/16109/task/16120/stat : 16120 (java) S 16107 16109 15185 0 -1 4202560 163 0 0 0 645 2 0 0 20 0 19 0 282419334 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572458178920 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16121] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16121/stat : 16121 (java) S 16107 16109 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282419335 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572457125240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16122] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16122/stat : 16122 (java) S 16107 16109 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282419335 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572456072072 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16123] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16123/stat : 16123 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572455020816 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16109/tid=16124] ppid=16107 vsize=9625004 CPUtime=0.8 cores=0,2,4,6
/proc/16109/task/16124/stat : 16124 (java) S 16107 16109 15185 0 -1 4202560 9353 0 0 0 79 1 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572453968696 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16109/tid=16125] ppid=16107 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/16109/task/16125/stat : 16125 (java) S 16107 16109 15185 0 -1 4202560 4988 0 0 0 62 0 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572452916152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16126] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16126/stat : 16126 (java) S 16107 16109 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572451863288 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16109/tid=16127] ppid=16107 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/16109/task/16127/stat : 16127 (java) S 16107 16109 15185 0 -1 4202560 89 0 0 0 13 17 0 0 20 0 19 0 282419337 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572450810952 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16109/tid=16128] ppid=16107 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16109/task/16128/stat : 16128 (java) S 16107 16109 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282419367 9856004096 36355 33554432000 1073741824 1073778376 140733711914848 140572449756200 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1571.53
Current children cumulated vsize (KiB) 9625004

Child status: 30

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16109 and gives
#  childrusage.ru_utime.tv_sec=1567
#  childrusage.ru_utime.tv_usec=144757
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=751885
# CPU time returned by wait4() is 1567.9
# while last known CPU time is 1571.53
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1566.37
CPU time (s): 1571.53
CPU user time (s): 1571.17
CPU system time (s): 0.36
CPU usage (%): 100.329
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1567.14
system time used= 0.751885
maximum resident set size= 154180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19357
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39479
involuntary context switches= 27689

runsolver used 7.2439 second user time and 16.9204 second system time

The end

Launcher Data 

Begin job on node131 at 2012-05-28 01:55:39
IDJOB=3710897
IDBENCH=25029
IDSOLVER=2289
FILE ID=node131/3710897-1338162939
RUNJOBID= node131-1338155741-15201
PBS_JOBID= 14624524
Free space on /tmp= 71724 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710897-1338162939/watcher-3710897-1338162939 -o /tmp/evaluation-result-3710897-1338162939/solver-3710897-1338162939 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710897-1338162939.opb

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

MD5SUM BENCH= 8e58fdc516472c37b974ebbf77c2a4fa
RANDOM SEED=922731395

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        29699424 kB
Buffers:          337488 kB
Cached:          1815920 kB
SwapCached:         2164 kB
Active:           724116 kB
Inactive:        1611980 kB
Active(anon):     183724 kB
Inactive(anon):      808 kB
Active(file):     540392 kB
Inactive(file):  1611172 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099040 kB
Dirty:              7796 kB
Writeback:             0 kB
AnonPages:        192552 kB
Mapped:            22444 kB
Shmem:                 0 kB
Slab:             694512 kB
SReclaimable:     136188 kB
SUnreclaim:       558324 kB
KernelStack:        1592 kB
PageTables:         4636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     827068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    163840 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= 71724 MiB
End job on node131 at 2012-05-28 02:21:45