Trace number 3687965

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)31749120 1800.07 1772.07

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod013.opb
MD5SUM4cb1be2dcc654132071469b521292770
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark29890560
Best CPU time to get the best result obtained on this benchmark1800.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 32455680
Optimality of the best value was proved NO
Number of variables1488
Total number of constraints62
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints62
Minimum length of a constraint31
Maximum length of a constraint240
Number of terms in the objective function 1488
Biggest coefficient in the objective function 375272767488
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 12937590079727
Number of bits of the sum of numbers in the objective function 44
Biggest number in a constraint 375272767488
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 12937590079727
Number of bits of the biggest sum of numbers44
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.02/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3687965-1337879035.opb
0.08/0.12	c reading problem ... 
0.27/0.24	c ... done. Wall clock time 0.125s.
0.27/0.24	c declared #vars     1488
0.27/0.24	c #constraints  76
0.27/0.24	c constraints type 
0.27/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 76
0.27/0.24	c 76 constraints processed.
0.27/0.24	c objective function length is 1488 literals
0.56/0.30	c SATISFIABLE
0.56/0.30	c OPTIMIZING...
0.56/0.30	c Got one! Elapsed wall clock time (in seconds):0.183
0.56/0.30	o 33049600
1.67/1.15	c cleaning 2506 clauses out of 5011 with flag 5002/5011
2.54/1.90	c cleaning 4251 clauses out of 8505 with flag 11002/11011
3.35/2.78	c cleaning 5626 clauses out of 11252 with flag 18000/18009
4.26/3.62	c cleaning 6809 clauses out of 13627 with flag 26001/26010
5.19/4.58	c cleaning 7905 clauses out of 15817 with flag 35000/35009
6.20/5.59	c cleaning 8952 clauses out of 17913 with flag 45001/45010
7.31/6.66	c cleaning 9979 clauses out of 19961 with flag 56001/56010
8.50/7.85	c cleaning 10974 clauses out of 21981 with flag 68000/68009
9.82/9.12	c cleaning 11998 clauses out of 24007 with flag 81000/81009
11.42/10.73	c cleaning 13000 clauses out of 26012 with flag 95003/95012
13.23/12.59	c cleaning 14004 clauses out of 28009 with flag 110000/110009
15.13/14.41	c cleaning 15002 clauses out of 30005 with flag 126000/126009
17.15/16.49	c cleaning 16000 clauses out of 32005 with flag 143002/143011
19.65/18.98	c cleaning 16994 clauses out of 34004 with flag 161001/161010
22.17/21.44	c cleaning 18004 clauses out of 36009 with flag 180000/180009
24.67/23.96	c cleaning 19000 clauses out of 38005 with flag 200000/200009
26.87/26.11	c cleaning 19997 clauses out of 40005 with flag 221000/221009
29.48/28.72	c cleaning 20991 clauses out of 42008 with flag 243000/243009
32.52/31.75	c cleaning 22006 clauses out of 44019 with flag 266002/266011
35.12/34.39	c cleaning 22990 clauses out of 46011 with flag 290000/290009
38.16/37.35	c cleaning 24006 clauses out of 48022 with flag 315001/315010
42.05/41.22	c cleaning 24999 clauses out of 50015 with flag 341000/341009
46.08/45.24	c cleaning 26004 clauses out of 52017 with flag 368001/368010
49.41/48.51	c cleaning 27001 clauses out of 54015 with flag 396003/396012
52.53/51.68	c cleaning 27998 clauses out of 56011 with flag 425000/425009
55.73/54.86	c cleaning 29002 clauses out of 58014 with flag 455001/455010
59.17/58.25	c cleaning 30000 clauses out of 60011 with flag 486000/486009
63.69/62.74	c cleaning 31005 clauses out of 62011 with flag 518000/518009
68.00/67.06	c cleaning 31985 clauses out of 64006 with flag 551000/551009
72.56/71.57	c cleaning 33003 clauses out of 66021 with flag 585000/585009
76.27/75.28	c cleaning 34004 clauses out of 68018 with flag 620000/620009
80.28/79.25	c cleaning 35005 clauses out of 70014 with flag 656000/656009
84.49/83.49	c cleaning 36001 clauses out of 72009 with flag 693000/693009
88.91/87.85	c cleaning 36999 clauses out of 74018 with flag 731010/731019
93.63/92.53	c cleaning 37993 clauses out of 76009 with flag 770000/770009
97.96/96.86	c cleaning 39005 clauses out of 78017 with flag 810001/810010
102.70/101.54	c cleaning 39998 clauses out of 80012 with flag 851001/851010
107.71/106.53	c cleaning 41002 clauses out of 82015 with flag 893002/893011
113.17/111.91	c cleaning 41994 clauses out of 84013 with flag 936002/936011
118.49/117.25	c cleaning 42995 clauses out of 86017 with flag 980000/980009
124.60/123.40	c cleaning 44007 clauses out of 88022 with flag 1025000/1025009
130.92/129.66	c cleaning 44999 clauses out of 90015 with flag 1071000/1071009
135.44/134.12	c Got one! Elapsed wall clock time (in seconds):134.002
135.44/134.12	o 32844800
136.33/135.04	c cleaning 40475 clauses out of 80968 with flag 5003/1106961
137.24/135.93	c cleaning 23234 clauses out of 46490 with flag 11000/1112958
138.16/136.84	c cleaning 15122 clauses out of 30257 with flag 18001/1119959
139.06/137.70	c cleaning 11556 clauses out of 23135 with flag 26001/1127959
140.07/138.72	c cleaning 10282 clauses out of 20578 with flag 35000/1136958
140.98/139.68	c cleaning 10131 clauses out of 20297 with flag 45001/1146959
142.09/140.77	c cleaning 10579 clauses out of 21166 with flag 56001/1157959
143.38/142.01	c cleaning 11284 clauses out of 22587 with flag 68001/1169959
144.70/143.38	c cleaning 12142 clauses out of 24302 with flag 81000/1182958
146.30/144.98	c cleaning 13074 clauses out of 26162 with flag 95002/1196960
147.82/146.43	c cleaning 14033 clauses out of 28086 with flag 110000/1211958
149.64/148.24	c cleaning 15020 clauses out of 30053 with flag 126000/1227958
151.35/149.94	c cleaning 16005 clauses out of 32033 with flag 143000/1244958
153.45/152.01	c cleaning 17011 clauses out of 34030 with flag 161002/1262960
155.56/154.12	c cleaning 18003 clauses out of 36017 with flag 180000/1281958
157.58/156.14	c cleaning 19004 clauses out of 38014 with flag 200000/1301958
159.80/158.30	c cleaning 19994 clauses out of 40010 with flag 221000/1322958
162.11/160.69	c cleaning 21003 clauses out of 42016 with flag 243000/1344958
164.71/163.28	c cleaning 21998 clauses out of 44013 with flag 266000/1367958
167.52/166.03	c cleaning 23005 clauses out of 46015 with flag 290000/1391958
170.22/168.76	c cleaning 24000 clauses out of 48010 with flag 315000/1416958
173.22/171.79	c cleaning 25000 clauses out of 50012 with flag 341002/1442960
176.35/174.89	c cleaning 25996 clauses out of 52013 with flag 368003/1469961
179.66/178.16	c cleaning 27004 clauses out of 54014 with flag 396000/1497958
182.90/181.37	c cleaning 28006 clauses out of 56012 with flag 425002/1526960
186.32/184.71	c cleaning 28996 clauses out of 58004 with flag 455000/1556958
189.64/188.02	c cleaning 30002 clauses out of 60010 with flag 486002/1587960
193.35/191.79	c cleaning 30995 clauses out of 62008 with flag 518002/1619960
197.65/196.06	c cleaning 31994 clauses out of 64011 with flag 551000/1652958
201.99/200.30	c cleaning 33001 clauses out of 66017 with flag 585000/1686958
206.51/204.84	c cleaning 34002 clauses out of 68017 with flag 620001/1721959
211.11/209.46	c cleaning 35001 clauses out of 70015 with flag 656001/1757959
216.32/214.62	c cleaning 36003 clauses out of 72013 with flag 693000/1794958
222.37/220.67	c cleaning 36994 clauses out of 74010 with flag 731000/1832958
228.50/226.74	c cleaning 38008 clauses out of 76016 with flag 770000/1871958
234.85/233.04	c cleaning 38999 clauses out of 78009 with flag 810001/1911959
240.31/238.41	c cleaning 39993 clauses out of 80009 with flag 851000/1952958
245.84/243.92	c cleaning 41005 clauses out of 82017 with flag 893001/1994959
252.20/250.24	c cleaning 42005 clauses out of 84013 with flag 936002/2037960
257.24/255.25	c cleaning 42990 clauses out of 86006 with flag 980000/2081958
262.38/260.31	c cleaning 44004 clauses out of 88016 with flag 1025000/2126958
267.84/265.71	c cleaning 45005 clauses out of 90016 with flag 1071004/2172962
273.49/271.38	c cleaning 45994 clauses out of 92007 with flag 1118000/2219958
279.45/277.27	c cleaning 46996 clauses out of 94014 with flag 1166001/2267959
285.80/283.52	c cleaning 48003 clauses out of 96018 with flag 1215001/2316959
292.66/290.40	c cleaning 49005 clauses out of 98017 with flag 1265003/2366961
299.51/297.10	c cleaning 50001 clauses out of 100011 with flag 1316002/2417960
306.56/304.10	c cleaning 50999 clauses out of 102009 with flag 1368001/2469959
313.92/311.42	c cleaning 51998 clauses out of 104009 with flag 1421000/2522958
322.28/319.78	c cleaning 52997 clauses out of 106011 with flag 1475000/2576958
330.44/327.86	c cleaning 53998 clauses out of 108016 with flag 1530002/2631960
338.70/336.08	c cleaning 55002 clauses out of 110016 with flag 1586000/2687958
347.97/345.30	c cleaning 56005 clauses out of 112014 with flag 1643000/2744958
357.46/354.62	c cleaning 57005 clauses out of 114010 with flag 1701001/2802959
367.63/364.73	c cleaning 57995 clauses out of 116004 with flag 1760000/2861958
377.56/374.63	c cleaning 58987 clauses out of 118009 with flag 1820000/2921958
388.69/385.70	c cleaning 59998 clauses out of 120022 with flag 1881000/2982958
396.90/393.72	c cleaning 60997 clauses out of 122024 with flag 1943000/3044958
405.47/402.21	c cleaning 62006 clauses out of 124027 with flag 2006000/3107958
414.25/410.98	c cleaning 62995 clauses out of 126021 with flag 2070000/3171958
423.64/420.27	c cleaning 64007 clauses out of 128026 with flag 2135000/3236958
432.73/429.26	c cleaning 65002 clauses out of 130020 with flag 2201001/3302959
442.71/439.18	c cleaning 66010 clauses out of 132020 with flag 2268003/3369961
452.60/448.99	c cleaning 66999 clauses out of 134008 with flag 2336001/3437959
463.52/459.75	c cleaning 67997 clauses out of 136011 with flag 2405003/3506961
473.92/470.05	c cleaning 68995 clauses out of 138011 with flag 2475000/3576958
485.21/481.24	c cleaning 70000 clauses out of 140020 with flag 2546004/3647962
496.38/492.26	c cleaning 70996 clauses out of 142016 with flag 2618000/3719958
507.04/502.76	c cleaning 71998 clauses out of 144020 with flag 2691000/3792958
518.31/513.83	c cleaning 73007 clauses out of 146023 with flag 2765001/3866959
529.32/524.73	c cleaning 73996 clauses out of 148015 with flag 2840000/3941958
541.01/536.27	c cleaning 75004 clauses out of 150020 with flag 2916001/4017959
553.21/548.29	c cleaning 75999 clauses out of 152017 with flag 2993002/4094960
566.46/561.36	c cleaning 76993 clauses out of 154016 with flag 3071000/4172958
579.79/574.47	c cleaning 77998 clauses out of 156023 with flag 3150000/4251958
593.73/588.12	c cleaning 79012 clauses out of 158027 with flag 3230002/4331960
607.51/601.72	c cleaning 80007 clauses out of 160014 with flag 3311001/4412959
620.61/614.64	c cleaning 80994 clauses out of 162006 with flag 3393000/4494958
633.57/627.38	c cleaning 82000 clauses out of 164013 with flag 3476001/4577959
647.54/641.01	c cleaning 83001 clauses out of 166012 with flag 3560000/4661958
661.08/654.35	c cleaning 83995 clauses out of 168011 with flag 3645000/4746958
674.59/667.56	c cleaning 84995 clauses out of 170018 with flag 3731002/4832960
688.14/680.84	c cleaning 86008 clauses out of 172021 with flag 3818000/4919958
702.60/695.07	c cleaning 87003 clauses out of 174014 with flag 3906001/5007959
718.29/710.43	c cleaning 87992 clauses out of 176010 with flag 3995000/5096958
734.68/726.51	c cleaning 89010 clauses out of 178019 with flag 4085001/5186959
752.66/744.26	c cleaning 89995 clauses out of 180009 with flag 4176001/5277959
770.04/761.25	c cleaning 91001 clauses out of 182014 with flag 4268001/5369959
788.94/779.82	c cleaning 92000 clauses out of 184013 with flag 4361001/5462959
804.85/795.47	c cleaning 92997 clauses out of 186014 with flag 4455002/5556960
820.20/810.53	c cleaning 93993 clauses out of 188015 with flag 4550000/5651958
836.11/826.19	c cleaning 95008 clauses out of 190025 with flag 4646003/5747961
852.23/841.96	c cleaning 95997 clauses out of 192014 with flag 4743000/5844958
868.93/858.39	c cleaning 97005 clauses out of 194018 with flag 4841001/5942959
885.21/874.38	c cleaning 98004 clauses out of 196012 with flag 4940000/6041958
901.62/890.41	c cleaning 98998 clauses out of 198008 with flag 5040000/6141958
918.60/907.15	c cleaning 99985 clauses out of 200010 with flag 5141000/6242958
935.21/923.41	c cleaning 101002 clauses out of 202025 with flag 5243000/6344958
952.35/940.24	c cleaning 101998 clauses out of 204023 with flag 5346000/6447958
970.63/958.20	c cleaning 103009 clauses out of 206026 with flag 5450001/6551959
987.28/974.55	c cleaning 103999 clauses out of 208017 with flag 5555001/6656959
1009.68/996.52	c cleaning 105001 clauses out of 210018 with flag 5661001/6762959
1027.08/1013.66	c cleaning 105998 clauses out of 212016 with flag 5768000/6869958
1046.65/1032.86	c cleaning 107009 clauses out of 214020 with flag 5876002/6977960
1048.69/1034.83	c Got one! Elapsed wall clock time (in seconds):1034.715
1048.69/1034.83	o 32618475
1049.88/1035.93	c cleaning 62323 clauses out of 124672 with flag 5000/6995621
1050.91/1036.96	c cleaning 34165 clauses out of 68350 with flag 11001/7001622
1052.34/1038.34	c cleaning 20573 clauses out of 41184 with flag 18000/7008621
1053.16/1039.13	c cleaning 14289 clauses out of 28611 with flag 26000/7016621
1054.17/1040.18	c cleaning 11653 clauses out of 23323 with flag 35001/7025622
1055.51/1041.40	c cleaning 10822 clauses out of 21669 with flag 45000/7035621
1056.95/1042.86	c cleaning 10913 clauses out of 21847 with flag 56000/7046621
1058.38/1044.25	c cleaning 11456 clauses out of 22935 with flag 68001/7058622
1060.24/1046.04	c cleaning 12239 clauses out of 24479 with flag 81001/7071622
1061.98/1047.79	c cleaning 13113 clauses out of 26240 with flag 95001/7085622
1063.73/1049.45	c cleaning 14062 clauses out of 28126 with flag 110000/7100621
1065.69/1051.37	c cleaning 15030 clauses out of 30064 with flag 126000/7116621
1067.93/1053.54	c cleaning 16010 clauses out of 32034 with flag 143000/7133621
1070.25/1055.80	c cleaning 17004 clauses out of 34024 with flag 161000/7151621
1072.74/1058.25	c cleaning 18007 clauses out of 36020 with flag 180000/7170621
1075.50/1060.93	c cleaning 19001 clauses out of 38013 with flag 200000/7190621
1078.58/1063.91	c cleaning 19996 clauses out of 40012 with flag 221000/7211621
1081.25/1066.52	c cleaning 21007 clauses out of 42016 with flag 243000/7233621
1084.02/1069.21	c cleaning 21998 clauses out of 44010 with flag 266001/7256622
1086.77/1071.91	c cleaning 23003 clauses out of 46011 with flag 290000/7280621
1089.83/1074.94	c cleaning 24000 clauses out of 48008 with flag 315000/7305621
1093.21/1078.23	c cleaning 25001 clauses out of 50011 with flag 341003/7331624
1096.66/1081.62	c cleaning 26001 clauses out of 52008 with flag 368001/7358622
1100.24/1085.16	c cleaning 26998 clauses out of 54007 with flag 396001/7386622
1103.64/1088.44	c cleaning 27990 clauses out of 56008 with flag 425000/7415621
1107.76/1092.46	c cleaning 29004 clauses out of 58020 with flag 455002/7445623
1111.62/1096.21	c cleaning 30003 clauses out of 60015 with flag 486001/7476622
1115.71/1100.26	c cleaning 31006 clauses out of 62012 with flag 518001/7508622
1120.11/1104.57	c cleaning 32001 clauses out of 64005 with flag 551000/7541621
1124.60/1108.99	c cleaning 32995 clauses out of 66004 with flag 585000/7575621
1129.38/1113.68	c cleaning 33999 clauses out of 68009 with flag 620000/7610621
1134.20/1118.35	c cleaning 34999 clauses out of 70010 with flag 656000/7646621
1139.09/1123.16	c cleaning 36004 clauses out of 72011 with flag 693000/7683621
1144.35/1128.34	c cleaning 36996 clauses out of 74007 with flag 731000/7721621
1149.62/1133.51	c cleaning 37995 clauses out of 76012 with flag 770001/7760622
1155.60/1139.44	c cleaning 39007 clauses out of 78016 with flag 810000/7800621
1161.58/1145.35	c cleaning 39991 clauses out of 80009 with flag 851000/7841621
1167.68/1151.36	c cleaning 41006 clauses out of 82020 with flag 893002/7883623
1173.78/1157.36	c cleaning 41989 clauses out of 84012 with flag 936000/7926621
1179.86/1163.39	c cleaning 42995 clauses out of 86024 with flag 980001/7970622
1186.16/1169.52	c cleaning 44013 clauses out of 88028 with flag 1025000/8015621
1192.16/1175.49	c cleaning 45001 clauses out of 90017 with flag 1071002/8061623
1198.75/1181.99	c cleaning 45998 clauses out of 92015 with flag 1118001/8108622
1205.87/1188.95	c cleaning 46996 clauses out of 94016 with flag 1166000/8156621
1212.81/1195.79	c cleaning 47998 clauses out of 96020 with flag 1215000/8205621
1219.80/1202.64	c cleaning 49006 clauses out of 98023 with flag 1265001/8255622
1226.71/1209.49	c cleaning 50001 clauses out of 100016 with flag 1316000/8306621
1234.10/1216.69	c cleaning 51000 clauses out of 102016 with flag 1368001/8358622
1242.34/1224.72	c cleaning 52004 clauses out of 104015 with flag 1421000/8411621
1246.65/1228.99	c Got one! Elapsed wall clock time (in seconds):1228.87
1246.65/1228.99	o 31872000
1247.56/1229.86	c cleaning 43488 clauses out of 86985 with flag 5000/8446595
1248.48/1230.78	c cleaning 24738 clauses out of 49498 with flag 11001/8452596
1249.39/1231.66	c cleaning 15871 clauses out of 31759 with flag 18000/8459595
1250.29/1232.50	c cleaning 11929 clauses out of 23891 with flag 26003/8467598
1251.10/1233.39	c cleaning 10471 clauses out of 20960 with flag 35001/8476596
1252.20/1234.40	c cleaning 10232 clauses out of 20489 with flag 45001/8486596
1253.31/1235.53	c cleaning 10616 clauses out of 21256 with flag 56000/8497595
1254.62/1236.84	c cleaning 11312 clauses out of 22642 with flag 68002/8509597
1255.95/1238.14	c cleaning 12152 clauses out of 24328 with flag 81000/8522595
1257.39/1239.56	c cleaning 13079 clauses out of 26176 with flag 95000/8536595
1259.01/1241.16	c cleaning 14042 clauses out of 28098 with flag 110001/8551596
1260.86/1242.91	c cleaning 15025 clauses out of 30057 with flag 126002/8567597
1262.86/1244.95	c cleaning 16008 clauses out of 32030 with flag 143000/8584595
1264.79/1246.87	c cleaning 17004 clauses out of 34022 with flag 161000/8602595
1267.04/1249.03	c cleaning 17996 clauses out of 36018 with flag 180000/8621595
1269.08/1251.07	c cleaning 19005 clauses out of 38023 with flag 200001/8641596
1271.44/1253.38	c cleaning 19999 clauses out of 40017 with flag 221000/8662595
1274.11/1255.92	c cleaning 21000 clauses out of 42018 with flag 243000/8684595
1276.69/1258.43	c cleaning 22000 clauses out of 44018 with flag 266000/8707595
1279.35/1261.03	c cleaning 22999 clauses out of 46019 with flag 290001/8731596
1281.61/1263.21	c cleaning 23999 clauses out of 48019 with flag 315000/8756595
1284.47/1266.07	c cleaning 24994 clauses out of 50020 with flag 341000/8782595
1287.72/1269.21	c cleaning 26005 clauses out of 52027 with flag 368001/8809596
1290.96/1272.41	c cleaning 27002 clauses out of 54021 with flag 396000/8837595
1294.41/1275.83	c cleaning 28003 clauses out of 56019 with flag 425000/8866595
1297.78/1279.12	c cleaning 28995 clauses out of 58016 with flag 455000/8896595
1301.45/1282.71	c cleaning 29999 clauses out of 60021 with flag 486000/8927595
1305.26/1286.46	c cleaning 31006 clauses out of 62027 with flag 518005/8959600
1308.84/1289.92	c cleaning 31984 clauses out of 64017 with flag 551001/8992596
1312.42/1293.40	c cleaning 33009 clauses out of 66032 with flag 585000/9026595
1315.99/1296.98	c cleaning 33998 clauses out of 68023 with flag 620000/9061595
1320.12/1300.96	c cleaning 35005 clauses out of 70025 with flag 656000/9097595
1324.41/1305.15	c cleaning 36004 clauses out of 72020 with flag 693000/9134595
1328.49/1309.20	c cleaning 37001 clauses out of 74016 with flag 731000/9172595
1332.64/1313.28	c cleaning 37996 clauses out of 76016 with flag 770001/9211596
1336.99/1317.58	c cleaning 39003 clauses out of 78020 with flag 810001/9251596
1341.62/1322.06	c cleaning 39996 clauses out of 80016 with flag 851000/9292595
1346.51/1326.81	c cleaning 41006 clauses out of 82020 with flag 893000/9334595
1352.01/1332.26	c cleaning 42004 clauses out of 84016 with flag 936002/9377597
1357.22/1337.33	c cleaning 42997 clauses out of 86011 with flag 980001/9421596
1362.92/1343.00	c cleaning 43997 clauses out of 88013 with flag 1025000/9466595
1368.86/1348.79	c cleaning 44996 clauses out of 90016 with flag 1071000/9512595
1375.29/1355.08	c cleaning 46003 clauses out of 92020 with flag 1118000/9559595
1381.19/1360.85	c cleaning 47004 clauses out of 94018 with flag 1166001/9607596
1387.32/1366.88	c cleaning 47992 clauses out of 96013 with flag 1215000/9656595
1393.63/1373.03	c cleaning 49007 clauses out of 98021 with flag 1265000/9706595
1401.38/1380.61	c cleaning 50000 clauses out of 100016 with flag 1316002/9757597
1408.76/1387.86	c cleaning 50997 clauses out of 102014 with flag 1368000/9809595
1416.26/1395.24	c cleaning 52004 clauses out of 104018 with flag 1421001/9862596
1423.49/1402.34	c cleaning 52997 clauses out of 106013 with flag 1475000/9916595
1430.20/1408.97	c cleaning 54004 clauses out of 108016 with flag 1530000/9971595
1437.52/1416.11	c cleaning 55001 clauses out of 110013 with flag 1586001/10027596
1444.72/1423.22	c cleaning 55996 clauses out of 112012 with flag 1643001/10084596
1451.70/1430.03	c cleaning 56995 clauses out of 114015 with flag 1701000/10142595
1459.35/1437.53	c cleaning 58010 clauses out of 116021 with flag 1760001/10201596
1466.85/1444.97	c cleaning 58996 clauses out of 118010 with flag 1820000/10261595
1475.62/1453.50	c cleaning 60006 clauses out of 120014 with flag 1881000/10322595
1485.04/1462.88	c cleaning 61000 clauses out of 122011 with flag 1943003/10384598
1493.90/1471.51	c cleaning 62001 clauses out of 124010 with flag 2006002/10447597
1502.50/1480.01	c cleaning 63000 clauses out of 126007 with flag 2070000/10511595
1511.22/1488.56	c cleaning 64002 clauses out of 128007 with flag 2135000/10576595
1521.17/1498.22	c cleaning 64994 clauses out of 130005 with flag 2201000/10642595
1530.74/1507.64	c cleaning 65997 clauses out of 132011 with flag 2268000/10709595
1540.21/1516.97	c cleaning 67003 clauses out of 134014 with flag 2336000/10777595
1551.60/1528.15	c cleaning 67990 clauses out of 136011 with flag 2405000/10846595
1562.94/1539.33	c cleaning 69000 clauses out of 138021 with flag 2475000/10916595
1573.23/1549.41	c cleaning 70000 clauses out of 140023 with flag 2546002/10987597
1583.29/1559.37	c cleaning 71005 clauses out of 142021 with flag 2618000/11059595
1593.92/1569.72	c cleaning 72003 clauses out of 144016 with flag 2691000/11132595
1605.25/1580.84	c cleaning 72998 clauses out of 146013 with flag 2765000/11206595
1617.07/1592.48	c cleaning 74006 clauses out of 148018 with flag 2840003/11281598
1629.23/1604.39	c cleaning 74996 clauses out of 150010 with flag 2916001/11357596
1641.46/1616.39	c cleaning 75999 clauses out of 152015 with flag 2993002/11434597
1654.83/1629.46	c cleaning 76997 clauses out of 154017 with flag 3071003/11512598
1667.53/1641.99	c cleaning 78009 clauses out of 156020 with flag 3150003/11591598
1680.76/1654.90	c cleaning 78999 clauses out of 158008 with flag 3230000/11671595
1683.11/1657.24	c Got one! Elapsed wall clock time (in seconds):1657.121
1683.11/1657.24	o 31749120
1684.14/1658.30	c cleaning 49283 clauses out of 98588 with flag 5000/11691174
1685.15/1659.22	c cleaning 27644 clauses out of 55306 with flag 11001/11697175
1686.06/1660.12	c cleaning 17316 clauses out of 34662 with flag 18001/11704175
1686.88/1660.99	c cleaning 12661 clauses out of 25345 with flag 26000/11712174
1688.00/1662.02	c cleaning 10830 clauses out of 21684 with flag 35000/11721174
1689.01/1663.02	c cleaning 10416 clauses out of 20854 with flag 45000/11731174
1690.13/1664.14	c cleaning 10707 clauses out of 21438 with flag 56000/11742174
1691.36/1665.38	c cleaning 11357 clauses out of 22732 with flag 68001/11754175
1693.06/1667.00	c cleaning 12177 clauses out of 24374 with flag 81000/11767174
1694.68/1668.62	c cleaning 13094 clauses out of 26197 with flag 95000/11781174
1696.42/1670.35	c cleaning 14043 clauses out of 28103 with flag 110000/11796174
1698.26/1672.12	c cleaning 15022 clauses out of 30062 with flag 126002/11812176
1700.21/1674.09	c cleaning 16013 clauses out of 32038 with flag 143000/11829174
1702.28/1676.06	c cleaning 17004 clauses out of 34026 with flag 161001/11847175
1704.32/1678.08	c cleaning 18001 clauses out of 36022 with flag 180001/11866175
1706.54/1680.29	c cleaning 19000 clauses out of 38020 with flag 200000/11886174
1708.75/1682.46	c cleaning 20002 clauses out of 40021 with flag 221001/11907175
1711.19/1684.87	c cleaning 20999 clauses out of 42018 with flag 243000/11929174
1713.62/1687.29	c cleaning 22000 clauses out of 44019 with flag 266000/11952174
1716.34/1689.91	c cleaning 23001 clauses out of 46021 with flag 290002/11976176
1719.23/1692.73	c cleaning 23996 clauses out of 48018 with flag 315000/12001174
1722.40/1695.83	c cleaning 25007 clauses out of 50023 with flag 341001/12027175
1725.42/1698.79	c cleaning 26002 clauses out of 52015 with flag 368000/12054174
1728.37/1701.60	c cleaning 26987 clauses out of 54013 with flag 396000/12082174
1731.45/1704.67	c cleaning 28002 clauses out of 56026 with flag 425000/12111174
1734.93/1708.03	c cleaning 29003 clauses out of 58024 with flag 455000/12141174
1738.69/1711.70	c cleaning 30003 clauses out of 60021 with flag 486000/12172174
1742.74/1715.70	c cleaning 31004 clauses out of 62019 with flag 518001/12204175
1746.50/1719.41	c cleaning 31994 clauses out of 64014 with flag 551000/12237174
1750.69/1723.50	c cleaning 32999 clauses out of 66023 with flag 585003/12271177
1754.69/1727.48	c cleaning 33997 clauses out of 68022 with flag 620001/12306175
1759.14/1731.84	c cleaning 35002 clauses out of 70024 with flag 656000/12342174
1763.57/1736.17	c cleaning 36003 clauses out of 72024 with flag 693002/12379176
1768.48/1740.99	c cleaning 37004 clauses out of 74020 with flag 731001/12417175
1773.47/1745.88	c cleaning 37997 clauses out of 76016 with flag 770001/12456175
1778.75/1751.01	c cleaning 39002 clauses out of 78018 with flag 810000/12496174
1784.33/1756.57	c cleaning 39997 clauses out of 80017 with flag 851001/12537175
1789.70/1761.82	c cleaning 41003 clauses out of 82019 with flag 893000/12579174
1795.38/1767.48	c cleaning 41998 clauses out of 84016 with flag 936000/12622174
1800.07/1772.03	c starts		: 329
1800.07/1772.03	c conflicts		: 12659700
1800.07/1772.03	c decisions		: 24250985
1800.07/1772.03	c propagations		: 615240980
1800.07/1772.03	c inspects		: 10947361624
1800.07/1772.03	c shortcuts		: 0
1800.07/1772.03	c learnt literals	: 0
1800.07/1772.03	c learnt binary clauses	: 0
1800.07/1772.03	c learnt ternary clauses	: 0
1800.07/1772.03	c learnt constraints	: 12659700
1800.07/1772.03	c ignored constraints	: 0
1800.07/1772.03	c root simplifications	: 0
1800.07/1772.03	c removed literals (reason simplification)	: 0
1800.07/1772.03	c reason swapping (by a shorter reason)	: 0
1800.07/1772.03	c Calls to reduceDB	: 310
1800.07/1772.03	c number of reductions to clauses (during analyze)	: 0
1800.07/1772.03	c number of learned constraints concerned by reduction	: 0
1800.07/1772.03	c number of learning phase by resolution	: 0
1800.07/1772.03	c number of learning phase by cutting planes	: 0
1800.07/1772.03	c speed (assignments/second)	: 347246.95163249364
1800.07/1772.03	c non guided choices	2
1800.07/1772.06	c learnt constraints type 
1800.07/1772.06	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 79737
1800.07/1772.06	c constraints type 
1800.07/1772.06	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 77
1800.07/1772.06	c 77 constraints processed.
1800.07/1772.06	s SATISFIABLE
1800.07/1772.06	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 x402 x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 x582 x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 x1402 x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 x1488 
1800.07/1772.06	c objective function=31749120
1800.07/1772.06	c Total wall clock time (in seconds): 1771.943

Verifier Data 

OK	31749120

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 23446
/proc/meminfo: memFree=27162860/32873648 swapFree=6848/6848
[pid=23446] ppid=23444 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/23446/stat : 23446 (java) D 23444 23446 22635 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 254030335 2560000 47 33554432000 1073741824 1073778376 140735267253824 140735267250952 213183982887 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/23446/statm: 625 47 37 9 0 29 0

[startup+0.0580259 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 23446
/proc/meminfo: memFree=27162860/32873648 swapFree=6848/6848
[pid=23446] ppid=23444 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/23446/stat : 23446 (java) S 23444 23446 22635 0 -1 4202496 3052 0 1 0 2 0 0 0 20 0 13 0 254030335 9446973440 3750 33554432000 1073741824 1073778376 140735640982384 140735640973520 213196505149 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23446/statm: 2306390 3750 1704 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.101147 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 23446
/proc/meminfo: memFree=27162860/32873648 swapFree=6848/6848
[pid=23446] ppid=23444 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/23446/stat : 23446 (java) S 23444 23446 22635 0 -1 4202496 4168 0 1 0 7 1 0 0 20 0 18 0 254030335 9787813888 5360 33554432000 1073741824 1073778376 140735640982384 140735640973520 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23446/statm: 2389603 5362 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300174 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 23446
/proc/meminfo: memFree=27162860/32873648 swapFree=6848/6848
[pid=23446] ppid=23444 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/23446/stat : 23446 (java) S 23444 23446 22635 0 -1 4202496 8696 0 1 0 54 2 0 0 20 0 19 0 254030335 9855975424 9693 33554432000 1073741824 1073778376 140735640982384 140735640973520 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23446/statm: 2406244 9697 2230 9 0 2396937 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9624976

[startup+0.700273 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 23446
/proc/meminfo: memFree=27162860/32873648 swapFree=6848/6848
[pid=23446] ppid=23444 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/23446/stat : 23446 (java) S 23444 23446 22635 0 -1 4202496 10424 0 1 0 121 3 0 0 20 0 19 0 254030335 9855975424 13646 33554432000 1073741824 1073778376 140735640982384 140735640973520 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23446/statm: 2406244 13646 2240 9 0 2396937 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 9624976

[startup+1.50069 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 23465
/proc/meminfo: memFree=27108004/32873648 swapFree=6848/6848
[pid=23446] ppid=23444 vsize=9624976 CPUtime=2.11 cores=1,3,5,7
/proc/23446/stat : 23446 (java) S 23444 23446 22635 0 -1 4202496 10499 0 1 0 207 4 0 0 20 0 19 0 254030335 9855975424 20353 33554432000 1073741824 1073778376 140735640982384 140735640973520 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23446/statm: 2406244 20353 2272 9 0 2396937 0
[pid=23446/tid=23448] ppid=23444 vsize=9624976 CPUtime=1.43 cores=1,3,5,7
/proc/23446/task/23448/stat : 23448 (java) R 23444 23446 22635 0 -1 4202560 2470 0 1 0 142 1 0 0 20 0 19 0 254030337 9855975424 20353 33554432000 1073741824 1073778376 140735640982384 140311658340728 140311498607000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23446/tid=23449] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23449/stat : 23449 (java) S 23444 23446 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 20353 33554432000 1073741824 1073778376 140735640982384 140311619832104 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23446/tid=23450] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23450/stat : 23450 (java) S 23444 23446 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 20353 33554432000 1073741824 1073778376 140735640982384 140311618779304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23446/tid=23451] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23451/stat : 23451 (java) S 23444 23446 22635 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 20353 33554432000 1073741824 1073778376 140735640982384 140311617727016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23446/tid=23452] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23452/stat : 23452 (java) S 23444 23446 22635 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 20353 33554432000 1073741824 1073778376 140735640982384 140311616674216 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23446/tid=23453] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23453/stat : 23453 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 20353 33554432000 1073741824 1073778376 140735640982384 140311498058536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23454] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23454/stat : 23454 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 20353 33554432000 1073741824 1073778376 140735640982384 140311497005736 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23446/tid=23455] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23455/stat : 23455 (java) S 23444 23446 22635 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 20353 33554432000 1073741824 1073778376 140735640982384 140311495953448 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23456] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23456/stat : 23456 (java) S 23444 23446 22635 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254030339 9855975424 20353 33554432000 1073741824 1073778376 140735640982384 140311494900648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23457] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23457/stat : 23457 (java) S 23444 23446 22635 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 254030340 9855975424 20353 33554432000 1073741824 1073778376 140735640982384 140311482489064 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23458] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23458/stat : 23458 (java) S 23444 23446 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254030340 9855975424 20353 33554432000 1073741824 1073778376 140735640982384 140310877299704 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23459] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23459/stat : 23459 (java) S 23444 23446 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254030340 9855975424 20353 33554432000 1073741824 1073778376 140735640982384 140310876247304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23460] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23460/stat : 23460 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030343 9855975424 20353 33554432000 1073741824 1073778376 140735640982384 140310875195792 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23461] ppid=23444 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/23446/task/23461/stat : 23461 (java) S 23444 23446 22635 0 -1 4202560 3310 0 0 0 28 0 0 0 20 0 19 0 254030343 9855975424 20353 33554432000 1073741824 1073778376 140735640982384 140310874143416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23462] ppid=23444 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/23446/task/23462/stat : 23462 (java) S 23444 23446 22635 0 -1 4202560 3474 0 0 0 31 1 0 0 20 0 19 0 254030343 9855975424 20353 33554432000 1073741824 1073778376 140735640982384 140310873090616 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23463] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23463/stat : 23463 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030343 9855975424 20353 33554432000 1073741824 1073778376 140735640982384 140310872038520 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23464] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23464/stat : 23464 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030343 9855975424 20353 33554432000 1073741824 1073778376 140735640982384 140310870985928 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23465] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23465/stat : 23465 (java) S 23444 23446 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254030362 9855975424 20353 33554432000 1073741824 1073778376 140735640982384 140310869930920 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 9624976

[startup+3.10069 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 23465
/proc/meminfo: memFree=27088324/32873648 swapFree=6848/6848
[pid=23446] ppid=23444 vsize=9624976 CPUtime=3.75 cores=1,3,5,7
/proc/23446/stat : 23446 (java) S 23444 23446 22635 0 -1 4202496 10511 0 1 0 371 4 0 0 20 0 19 0 254030335 9855975424 20873 33554432000 1073741824 1073778376 140735640982384 140735640973520 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23446/statm: 2406244 20873 2272 9 0 2396937 0
[pid=23446/tid=23448] ppid=23444 vsize=9624976 CPUtime=3 cores=1,3,5,7
/proc/23446/task/23448/stat : 23448 (java) R 23444 23446 22635 0 -1 4202560 2471 0 1 0 299 1 0 0 20 0 19 0 254030337 9855975424 20873 33554432000 1073741824 1073778376 140735640982384 140311658340760 140311498607003 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23446/tid=23449] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23449/stat : 23449 (java) S 23444 23446 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 20873 33554432000 1073741824 1073778376 140735640982384 140311619832104 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23446/tid=23450] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23450/stat : 23450 (java) S 23444 23446 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 20873 33554432000 1073741824 1073778376 140735640982384 140311618779304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23451] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23451/stat : 23451 (java) S 23444 23446 22635 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 20873 33554432000 1073741824 1073778376 140735640982384 140311617727016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23446/tid=23452] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23452/stat : 23452 (java) S 23444 23446 22635 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 20873 33554432000 1073741824 1073778376 140735640982384 140311616674216 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23446/tid=23453] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23453/stat : 23453 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 20873 33554432000 1073741824 1073778376 140735640982384 140311498058536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23454] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23454/stat : 23454 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 20873 33554432000 1073741824 1073778376 140735640982384 140311497005736 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23446/tid=23455] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23455/stat : 23455 (java) S 23444 23446 22635 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 20873 33554432000 1073741824 1073778376 140735640982384 140311495953448 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23456] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23456/stat : 23456 (java) S 23444 23446 22635 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254030339 9855975424 20873 33554432000 1073741824 1073778376 140735640982384 140311494900648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23457] ppid=23444 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/23446/task/23457/stat : 23457 (java) S 23444 23446 22635 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 254030340 9855975424 20873 33554432000 1073741824 1073778376 140735640982384 140311482489064 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23446/tid=23458] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23458/stat : 23458 (java) S 23444 23446 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254030340 9855975424 20873 33554432000 1073741824 1073778376 140735640982384 140310877299704 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23459] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23459/stat : 23459 (java) S 23444 23446 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254030340 9855975424 20873 33554432000 1073741824 1073778376 140735640982384 140310876247304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23460] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23460/stat : 23460 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030343 9855975424 20873 33554432000 1073741824 1073778376 140735640982384 140310875195792 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23461] ppid=23444 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/23446/task/23461/stat : 23461 (java) S 23444 23446 22635 0 -1 4202560 3311 0 0 0 30 0 0 0 20 0 19 0 254030343 9855975424 20873 33554432000 1073741824 1073778376 140735640982384 140310874143416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23462] ppid=23444 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/23446/task/23462/stat : 23462 (java) S 23444 23446 22635 0 -1 4202560 3474 0 0 0 33 2 0 0 20 0 19 0 254030343 9855975424 20873 33554432000 1073741824 1073778376 140735640982384 140310873090616 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23463] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23463/stat : 23463 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030343 9855975424 20873 33554432000 1073741824 1073778376 140735640982384 140310872038520 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23464] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23464/stat : 23464 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030343 9855975424 20873 33554432000 1073741824 1073778376 140735640982384 140310870985928 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23465] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23465/stat : 23465 (java) S 23444 23446 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254030362 9855975424 20873 33554432000 1073741824 1073778376 140735640982384 140310869930920 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 9624976

[startup+6.30069 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 23465
/proc/meminfo: memFree=27088168/32873648 swapFree=6848/6848
[pid=23446] ppid=23444 vsize=9624976 CPUtime=7 cores=1,3,5,7
/proc/23446/stat : 23446 (java) S 23444 23446 22635 0 -1 4202496 10534 0 1 0 696 4 0 0 20 0 19 0 254030335 9855975424 22425 33554432000 1073741824 1073778376 140735640982384 140735640973520 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23446/statm: 2406244 22425 2272 9 0 2396937 0
[pid=23446/tid=23448] ppid=23444 vsize=9624976 CPUtime=6.15 cores=1,3,5,7
/proc/23446/task/23448/stat : 23448 (java) R 23444 23446 22635 0 -1 4202560 2476 0 1 0 614 1 0 0 20 0 19 0 254030337 9855975424 22425 33554432000 1073741824 1073778376 140735640982384 140311658340760 140311498665120 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23446/tid=23449] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23449/stat : 23449 (java) S 23444 23446 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 22425 33554432000 1073741824 1073778376 140735640982384 140311619832104 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23446/tid=23450] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23450/stat : 23450 (java) S 23444 23446 22635 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 22425 33554432000 1073741824 1073778376 140735640982384 140311618779304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23451] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23451/stat : 23451 (java) S 23444 23446 22635 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 22425 33554432000 1073741824 1073778376 140735640982384 140311617727016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23446/tid=23452] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23452/stat : 23452 (java) S 23444 23446 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 22425 33554432000 1073741824 1073778376 140735640982384 140311616674216 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23446/tid=23453] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23453/stat : 23453 (java) S 23444 23446 22635 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 22425 33554432000 1073741824 1073778376 140735640982384 140311498058536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23454] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23454/stat : 23454 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 22425 33554432000 1073741824 1073778376 140735640982384 140311497005736 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23455] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23455/stat : 23455 (java) S 23444 23446 22635 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254030338 9855975424 22425 33554432000 1073741824 1073778376 140735640982384 140311495953448 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23456] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23456/stat : 23456 (java) S 23444 23446 22635 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254030339 9855975424 22425 33554432000 1073741824 1073778376 140735640982384 140311494900648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23446/tid=23457] ppid=23444 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/23446/task/23457/stat : 23457 (java) S 23444 23446 22635 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 19 0 254030340 9855975424 22425 33554432000 1073741824 1073778376 140735640982384 140311482489064 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23446/tid=23458] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23458/stat : 23458 (java) S 23444 23446 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254030340 9855975424 22425 33554432000 1073741824 1073778376 140735640982384 140310877299704 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23459] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23459/stat : 23459 (java) S 23444 23446 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254030340 9855975424 22425 33554432000 1073741824 1073778376 140735640982384 140310876247304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23460] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23460/stat : 23460 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030343 9855975424 22425 33554432000 1073741824 1073778376 140735640982384 140310875195792 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23461] ppid=23444 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/23446/task/23461/stat : 23461 (java) S 23444 23446 22635 0 -1 4202560 3319 0 0 0 34 0 0 0 20 0 19 0 254030343 9855975424 22425 33554432000 1073741824 1073778376 140735640982384 140310874143416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23462] ppid=23444 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/23446/task/23462/stat : 23462 (java) S 23444 23446 22635 0 -1 4202560 3475 0 0 0 33 2 0 0 20 0 19 0 254030343 9855975424 22425 33554432000 1073741824 1073778376 140735640982384 140310873090616 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23463] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23463/stat : 23463 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030343 9855975424 22425 33554432000 1073741824 1073778376 140735640982384 140310872038520 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23464] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23464/stat : 23464 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030343 9855975424 22425 33554432000 1073741824 1073778376 140735640982384 140310870985928 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23465] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23465/stat : 23465 (java) S 23444 23446 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254030362 9855975424 22425 33554432000 1073741824 1073778376 140735640982384 140310869930920 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=23446/tid=23461] ppid=23444 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/23446/task/23461/stat : 23461 (java) S 23444 23446 22635 0 -1 4202560 3321 0 0 0 37 0 0 0 20 0 19 0 254030343 9855975424 46194 33554432000 1073741824 1073778376 140735640982384 140310874143416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23462] ppid=23444 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/23446/task/23462/stat : 23462 (java) S 23444 23446 22635 0 -1 4202560 3481 0 0 0 40 2 0 0 20 0 19 0 254030343 9855975424 46194 33554432000 1073741824 1073778376 140735640982384 140310873090616 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23463] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23463/stat : 23463 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030343 9855975424 46194 33554432000 1073741824 1073778376 140735640982384 140310872038520 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23464] ppid=23444 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/23446/task/23464/stat : 23464 (java) S 23444 23446 22635 0 -1 4202560 91 0 0 0 18 22 0 0 20 0 19 0 254030343 9855975424 46194 33554432000 1073741824 1073778376 140735640982384 140310870985928 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23465] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23465/stat : 23465 (java) S 23444 23446 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254030362 9855975424 46194 33554432000 1073741824 1073778376 140735640982384 140310869930920 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1627.2
Current children cumulated vsize (KiB) 9624976

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 23539
/proc/meminfo: memFree=26743968/32873648 swapFree=6848/6848
[pid=23446] ppid=23444 vsize=9624976 CPUtime=1688.31 cores=1,3,5,7
/proc/23446/stat : 23446 (java) S 23444 23446 22635 0 -1 4202496 26882 0 1 0 168740 91 0 0 20 0 19 0 254030335 9855975424 45778 33554432000 1073741824 1073778376 140735640982384 140735640973520 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23446/statm: 2406244 45778 2275 9 0 2396937 0
[pid=23446/tid=23448] ppid=23444 vsize=9624976 CPUtime=1637.74 cores=1,3,5,7
/proc/23446/task/23448/stat : 23448 (java) R 23444 23446 22635 0 -1 4202560 4311 0 1 0 163744 30 0 0 20 0 19 0 254030337 9855975424 45778 33554432000 1073741824 1073778376 140735640982384 140311658340760 140311498607003 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23446/tid=23449] ppid=23444 vsize=9624976 CPUtime=4.57 cores=1,3,5,7
/proc/23446/task/23449/stat : 23449 (java) S 23444 23446 22635 0 -1 4202560 1320 0 0 0 451 6 0 0 20 0 19 0 254030338 9855975424 45778 33554432000 1073741824 1073778376 140735640982384 140311619832104 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23450] ppid=23444 vsize=9624976 CPUtime=4.55 cores=1,3,5,7
/proc/23446/task/23450/stat : 23450 (java) S 23444 23446 22635 0 -1 4202560 1440 0 0 0 449 6 0 0 20 0 19 0 254030338 9855975424 45778 33554432000 1073741824 1073778376 140735640982384 140311618779304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23446/tid=23451] ppid=23444 vsize=9624976 CPUtime=4.46 cores=1,3,5,7
/proc/23446/task/23451/stat : 23451 (java) S 23444 23446 22635 0 -1 4202560 2422 0 0 0 440 6 0 0 20 0 19 0 254030338 9855975424 45778 33554432000 1073741824 1073778376 140735640982384 140311617727016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23446/tid=23452] ppid=23444 vsize=9624976 CPUtime=4.63 cores=1,3,5,7
/proc/23446/task/23452/stat : 23452 (java) S 23444 23446 22635 0 -1 4202560 1550 0 0 0 455 8 0 0 20 0 19 0 254030338 9855975424 45778 33554432000 1073741824 1073778376 140735640982384 140311616674216 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23453] ppid=23444 vsize=9624976 CPUtime=4.5 cores=1,3,5,7
/proc/23446/task/23453/stat : 23453 (java) S 23444 23446 22635 0 -1 4202560 1319 0 0 0 444 6 0 0 20 0 19 0 254030338 9855975424 45778 33554432000 1073741824 1073778376 140735640982384 140311498058536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23454] ppid=23444 vsize=9624976 CPUtime=4.61 cores=1,3,5,7
/proc/23446/task/23454/stat : 23454 (java) S 23444 23446 22635 0 -1 4202560 2207 0 0 0 456 5 0 0 20 0 19 0 254030338 9855975424 45778 33554432000 1073741824 1073778376 140735640982384 140311497005736 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23455] ppid=23444 vsize=9624976 CPUtime=4.43 cores=1,3,5,7
/proc/23446/task/23455/stat : 23455 (java) S 23444 23446 22635 0 -1 4202560 1354 0 0 0 437 6 0 0 20 0 19 0 254030338 9855975424 45778 33554432000 1073741824 1073778376 140735640982384 140311495953448 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23456] ppid=23444 vsize=9624976 CPUtime=4.48 cores=1,3,5,7
/proc/23446/task/23456/stat : 23456 (java) S 23444 23446 22635 0 -1 4202560 1635 0 0 0 442 6 0 0 20 0 19 0 254030339 9855975424 45778 33554432000 1073741824 1073778376 140735640982384 140311494900648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23446/tid=23457] ppid=23444 vsize=9624976 CPUtime=8.85 cores=1,3,5,7
/proc/23446/task/23457/stat : 23457 (java) S 23444 23446 22635 0 -1 4202560 1246 0 0 0 874 11 0 0 20 0 19 0 254030340 9855975424 45778 33554432000 1073741824 1073778376 140735640982384 140311482489064 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23446/tid=23458] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23458/stat : 23458 (java) S 23444 23446 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254030340 9855975424 45778 33554432000 1073741824 1073778376 140735640982384 140310877299704 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23459] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23459/stat : 23459 (java) S 23444 23446 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254030340 9855975424 45778 33554432000 1073741824 1073778376 140735640982384 140310876247304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23460] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23460/stat : 23460 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030343 9855975424 45778 33554432000 1073741824 1073778376 140735640982384 140310875195792 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23461] ppid=23444 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/23446/task/23461/stat : 23461 (java) S 23444 23446 22635 0 -1 4202560 3321 0 0 0 37 0 0 0 20 0 19 0 254030343 9855975424 45778 33554432000 1073741824 1073778376 140735640982384 140310874143416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23462] ppid=23444 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/23446/task/23462/stat : 23462 (java) S 23444 23446 22635 0 -1 4202560 3482 0 0 0 41 2 0 0 20 0 19 0 254030343 9855975424 45778 33554432000 1073741824 1073778376 140735640982384 140310873090616 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23463] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23463/stat : 23463 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030343 9855975424 45778 33554432000 1073741824 1073778376 140735640982384 140310872038520 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23464] ppid=23444 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/23446/task/23464/stat : 23464 (java) S 23444 23446 22635 0 -1 4202560 95 0 0 0 19 23 0 0 20 0 19 0 254030343 9855975424 45778 33554432000 1073741824 1073778376 140735640982384 140310870985928 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23465] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23465/stat : 23465 (java) S 23444 23446 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254030362 9855975424 45778 33554432000 1073741824 1073778376 140735640982384 140310869930920 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1688.31
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/213 23540
/proc/meminfo: memFree=26738456/32873648 swapFree=6848/6848
[pid=23446] ppid=23444 vsize=9624976 CPUtime=1749.46 cores=1,3,5,7
/proc/23446/stat : 23446 (java) S 23444 23446 22635 0 -1 4202496 27281 0 1 0 174852 94 0 0 20 0 19 0 254030335 9855975424 47140 33554432000 1073741824 1073778376 140735640982384 140735640973520 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23446/statm: 2406244 47140 2275 9 0 2396937 0
[pid=23446/tid=23448] ppid=23444 vsize=9624976 CPUtime=1696.43 cores=1,3,5,7
/proc/23446/task/23448/stat : 23448 (java) R 23444 23446 22635 0 -1 4202560 4367 0 1 0 169612 31 0 0 20 0 19 0 254030337 9855975424 47140 33554432000 1073741824 1073778376 140735640982384 140311658339608 140311498676512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23446/tid=23449] ppid=23444 vsize=9624976 CPUtime=4.77 cores=1,3,5,7
/proc/23446/task/23449/stat : 23449 (java) S 23444 23446 22635 0 -1 4202560 1394 0 0 0 471 6 0 0 20 0 19 0 254030338 9855975424 47140 33554432000 1073741824 1073778376 140735640982384 140311619832104 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23450] ppid=23444 vsize=9624976 CPUtime=4.78 cores=1,3,5,7
/proc/23446/task/23450/stat : 23450 (java) S 23444 23446 22635 0 -1 4202560 1493 0 0 0 472 6 0 0 20 0 19 0 254030338 9855975424 47140 33554432000 1073741824 1073778376 140735640982384 140311618779304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23446/tid=23451] ppid=23444 vsize=9624976 CPUtime=4.69 cores=1,3,5,7
/proc/23446/task/23451/stat : 23451 (java) S 23444 23446 22635 0 -1 4202560 2423 0 0 0 463 6 0 0 20 0 19 0 254030338 9855975424 47140 33554432000 1073741824 1073778376 140735640982384 140311617727016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23452] ppid=23444 vsize=9624976 CPUtime=4.84 cores=1,3,5,7
/proc/23446/task/23452/stat : 23452 (java) S 23444 23446 22635 0 -1 4202560 1556 0 0 0 476 8 0 0 20 0 19 0 254030338 9855975424 47140 33554432000 1073741824 1073778376 140735640982384 140311616674216 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23453] ppid=23444 vsize=9624976 CPUtime=4.7 cores=1,3,5,7
/proc/23446/task/23453/stat : 23453 (java) S 23444 23446 22635 0 -1 4202560 1379 0 0 0 463 7 0 0 20 0 19 0 254030338 9855975424 47140 33554432000 1073741824 1073778376 140735640982384 140311498058536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23446/tid=23454] ppid=23444 vsize=9624976 CPUtime=4.79 cores=1,3,5,7
/proc/23446/task/23454/stat : 23454 (java) S 23444 23446 22635 0 -1 4202560 2240 0 0 0 474 5 0 0 20 0 19 0 254030338 9855975424 47140 33554432000 1073741824 1073778376 140735640982384 140311497005736 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23446/tid=23455] ppid=23444 vsize=9624976 CPUtime=4.6 cores=1,3,5,7
/proc/23446/task/23455/stat : 23455 (java) S 23444 23446 22635 0 -1 4202560 1399 0 0 0 454 6 0 0 20 0 19 0 254030338 9855975424 47140 33554432000 1073741824 1073778376 140735640982384 140311495953448 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23446/tid=23456] ppid=23444 vsize=9624976 CPUtime=4.72 cores=1,3,5,7
/proc/23446/task/23456/stat : 23456 (java) S 23444 23446 22635 0 -1 4202560 1685 0 0 0 465 7 0 0 20 0 19 0 254030339 9855975424 47140 33554432000 1073741824 1073778376 140735640982384 140311494900648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23457] ppid=23444 vsize=9624976 CPUtime=9.5 cores=1,3,5,7
/proc/23446/task/23457/stat : 23457 (java) S 23444 23446 22635 0 -1 4202560 1266 0 0 0 939 11 0 0 20 0 19 0 254030340 9855975424 47140 33554432000 1073741824 1073778376 140735640982384 140311482489064 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23458] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23458/stat : 23458 (java) S 23444 23446 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254030340 9855975424 47140 33554432000 1073741824 1073778376 140735640982384 140310877299704 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23459] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23459/stat : 23459 (java) S 23444 23446 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254030340 9855975424 47140 33554432000 1073741824 1073778376 140735640982384 140310876247304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23460] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23460/stat : 23460 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030343 9855975424 47140 33554432000 1073741824 1073778376 140735640982384 140310875195792 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23461] ppid=23444 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/23446/task/23461/stat : 23461 (java) S 23444 23446 22635 0 -1 4202560 3321 0 0 0 37 0 0 0 20 0 19 0 254030343 9855975424 47140 33554432000 1073741824 1073778376 140735640982384 140310874143416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23462] ppid=23444 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/23446/task/23462/stat : 23462 (java) S 23444 23446 22635 0 -1 4202560 3482 0 0 0 41 2 0 0 20 0 19 0 254030343 9855975424 47140 33554432000 1073741824 1073778376 140735640982384 140310873090616 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23463] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23463/stat : 23463 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030343 9855975424 47140 33554432000 1073741824 1073778376 140735640982384 140310872038520 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23464] ppid=23444 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/23446/task/23464/stat : 23464 (java) S 23444 23446 22635 0 -1 4202560 96 0 0 0 20 24 0 0 20 0 19 0 254030343 9855975424 47140 33554432000 1073741824 1073778376 140735640982384 140310870985928 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23465] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23465/stat : 23465 (java) S 23444 23446 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254030362 9855975424 47140 33554432000 1073741824 1073778376 140735640982384 140310869930920 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1749.46
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1772 s]
/proc/loadavg: 1.90 1.98 1.99 3/213 23540
/proc/meminfo: memFree=26723732/32873648 swapFree=6848/6848
[pid=23446] ppid=23444 vsize=9624976 CPUtime=1800.07 cores=1,3,5,7
/proc/23446/stat : 23446 (java) S 23444 23446 22635 0 -1 4202496 28099 0 1 0 179909 98 0 0 20 0 19 0 254030335 9855975424 50106 33554432000 1073741824 1073778376 140735640982384 140735640973520 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23446/statm: 2406244 50106 2275 9 0 2396937 0
[pid=23446/tid=23448] ppid=23444 vsize=9624976 CPUtime=1745.28 cores=1,3,5,7
/proc/23446/task/23448/stat : 23448 (java) R 23444 23446 22635 0 -1 4202560 4406 0 1 0 174496 32 0 0 20 0 19 0 254030337 9855975424 50106 33554432000 1073741824 1073778376 140735640982384 140311658339648 140311498656553 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23449] ppid=23444 vsize=9624976 CPUtime=4.92 cores=1,3,5,7
/proc/23446/task/23449/stat : 23449 (java) S 23444 23446 22635 0 -1 4202560 1399 0 0 0 485 7 0 0 20 0 19 0 254030338 9855975424 50106 33554432000 1073741824 1073778376 140735640982384 140311619832104 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23450] ppid=23444 vsize=9624976 CPUtime=4.96 cores=1,3,5,7
/proc/23446/task/23450/stat : 23450 (java) S 23444 23446 22635 0 -1 4202560 1611 0 0 0 490 6 0 0 20 0 19 0 254030338 9855975424 50106 33554432000 1073741824 1073778376 140735640982384 140311618779304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23451] ppid=23444 vsize=9624976 CPUtime=4.84 cores=1,3,5,7
/proc/23446/task/23451/stat : 23451 (java) S 23444 23446 22635 0 -1 4202560 2567 0 0 0 477 7 0 0 20 0 19 0 254030338 9855975424 50106 33554432000 1073741824 1073778376 140735640982384 140311617727016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23446/tid=23452] ppid=23444 vsize=9624976 CPUtime=4.98 cores=1,3,5,7
/proc/23446/task/23452/stat : 23452 (java) S 23444 23446 22635 0 -1 4202560 1710 0 0 0 490 8 0 0 20 0 19 0 254030338 9855975424 50106 33554432000 1073741824 1073778376 140735640982384 140311616674216 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23446/tid=23453] ppid=23444 vsize=9624976 CPUtime=4.85 cores=1,3,5,7
/proc/23446/task/23453/stat : 23453 (java) S 23444 23446 22635 0 -1 4202560 1429 0 0 0 478 7 0 0 20 0 19 0 254030338 9855975424 50106 33554432000 1073741824 1073778376 140735640982384 140311498058536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23454] ppid=23444 vsize=9624976 CPUtime=4.96 cores=1,3,5,7
/proc/23446/task/23454/stat : 23454 (java) S 23444 23446 22635 0 -1 4202560 2283 0 0 0 490 6 0 0 20 0 19 0 254030338 9855975424 50106 33554432000 1073741824 1073778376 140735640982384 140311497005736 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23446/tid=23455] ppid=23444 vsize=9624976 CPUtime=4.79 cores=1,3,5,7
/proc/23446/task/23455/stat : 23455 (java) S 23444 23446 22635 0 -1 4202560 1438 0 0 0 472 7 0 0 20 0 19 0 254030338 9855975424 50106 33554432000 1073741824 1073778376 140735640982384 140311495953448 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23456] ppid=23444 vsize=9624976 CPUtime=4.88 cores=1,3,5,7
/proc/23446/task/23456/stat : 23456 (java) S 23444 23446 22635 0 -1 4202560 1821 0 0 0 481 7 0 0 20 0 19 0 254030339 9855975424 50106 33554432000 1073741824 1073778376 140735640982384 140311494900648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23457] ppid=23444 vsize=9624976 CPUtime=9.84 cores=1,3,5,7
/proc/23446/task/23457/stat : 23457 (java) S 23444 23446 22635 0 -1 4202560 1352 0 0 0 972 12 0 0 20 0 19 0 254030340 9855975424 50106 33554432000 1073741824 1073778376 140735640982384 140311482489064 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23446/tid=23458] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23458/stat : 23458 (java) S 23444 23446 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254030340 9855975424 50106 33554432000 1073741824 1073778376 140735640982384 140310877299704 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23459] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23459/stat : 23459 (java) S 23444 23446 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254030340 9855975424 50106 33554432000 1073741824 1073778376 140735640982384 140310876247304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23460] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23460/stat : 23460 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030343 9855975424 50106 33554432000 1073741824 1073778376 140735640982384 140310875195792 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23461] ppid=23444 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/23446/task/23461/stat : 23461 (java) S 23444 23446 22635 0 -1 4202560 3321 0 0 0 37 0 0 0 20 0 19 0 254030343 9855975424 50106 33554432000 1073741824 1073778376 140735640982384 140310874143416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23446/tid=23462] ppid=23444 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/23446/task/23462/stat : 23462 (java) S 23444 23446 22635 0 -1 4202560 3482 0 0 0 41 2 0 0 20 0 19 0 254030343 9855975424 50106 33554432000 1073741824 1073778376 140735640982384 140310873090616 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23463] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23463/stat : 23463 (java) S 23444 23446 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254030343 9855975424 50106 33554432000 1073741824 1073778376 140735640982384 140310872038520 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23446/tid=23464] ppid=23444 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23446/task/23464/stat : 23464 (java) S 23444 23446 22635 0 -1 4202560 100 0 0 0 21 24 0 0 20 0 19 0 254030343 9855975424 50106 33554432000 1073741824 1073778376 140735640982384 140310870985928 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23446/tid=23465] ppid=23444 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23465/stat : 23465 (java) S 23444 23446 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254030362 9855975424 50106 33554432000 1073741824 1073778376 140735640982384 140310869930920 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143

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

Real time (s): 1772.07
CPU time (s): 1800.07
CPU user time (s): 1799.09
CPU system time (s): 0.98
CPU usage (%): 101.58
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.56
system time used= 1.39379
maximum resident set size= 223320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28144
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75478
involuntary context switches= 102370

runsolver used 6.94094 second user time and 13.9519 second system time

The end

Launcher Data 

Begin job on node113 at 2012-05-24 19:03:55
IDJOB=3687965
IDBENCH=2469
IDSOLVER=2269
FILE ID=node113/3687965-1337879035
RUNJOBID= node113-1337871880-22653
PBS_JOBID= 14620091
Free space on /tmp= 71688 MiB

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

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

MD5SUM BENCH= 4cb1be2dcc654132071469b521292770
RANDOM SEED=579258093

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27163620 kB
Buffers:          213060 kB
Cached:          3377440 kB
SwapCached:            0 kB
Active:          1920196 kB
Inactive:        3012416 kB
Active(anon):    1344300 kB
Inactive(anon):        0 kB
Active(file):     575896 kB
Inactive(file):  3012416 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               452 kB
Writeback:             0 kB
AnonPages:       1352584 kB
Mapped:            22508 kB
Shmem:               200 kB
Slab:             633284 kB
SReclaimable:      77656 kB
SUnreclaim:       555628 kB
KernelStack:        1600 kB
PageTables:         6828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1831244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1314816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node113 at 2012-05-24 19:33:29