Trace number 3687659

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)43606 1800.05 1789.16

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
MD5SUMc3720ea5d84e92b781414b36064971fe
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark43606
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 46478
Optimality of the best value was proved NO
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 279536
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 279536
Number of bits of the biggest sum of numbers19
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.01/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.09	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.2.v20120418
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		501472288
0.01/0.09	c Max memory 		7480803328
0.01/0.09	c Total memory 		504102912
0.01/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3687659-1337874380.opb
0.09/0.11	c reading problem ... 
0.92/0.51	c ... done. Wall clock time 0.397s.
0.92/0.51	c declared #vars     1344
0.92/0.51	c #constraints  16376
0.92/0.51	c constraints type 
0.92/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
0.92/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
0.92/0.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
0.92/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7392
0.92/0.51	c 16376 constraints processed.
0.92/0.51	c objective function length is 448 literals
1.14/0.62	c SATISFIABLE
1.14/0.62	c OPTIMIZING...
1.14/0.62	c Got one! Elapsed wall clock time (in seconds):0.509
1.14/0.62	o 52956
1.40/0.70	c Got one! Elapsed wall clock time (in seconds):0.588
1.40/0.70	o 52895
1.40/0.73	c Got one! Elapsed wall clock time (in seconds):0.616
1.40/0.73	o 52339
1.60/0.84	c Got one! Elapsed wall clock time (in seconds):0.729
1.60/0.84	o 51911
1.60/0.86	c Got one! Elapsed wall clock time (in seconds):0.748
1.60/0.86	o 46814
2.31/1.36	c cleaning 3341 clauses out of 6693 with flag 5000/6693
2.59/1.55	c cleaning 4677 clauses out of 9353 with flag 11001/12694
2.79/1.76	c cleaning 5838 clauses out of 11675 with flag 18000/19693
3.11/2.00	c cleaning 6920 clauses out of 13839 with flag 26002/27695
3.36/2.28	c cleaning 7954 clauses out of 15917 with flag 35000/36693
3.71/2.60	c cleaning 8980 clauses out of 17964 with flag 45001/46694
4.16/2.96	c cleaning 9990 clauses out of 19983 with flag 56000/57693
4.58/3.33	c cleaning 10989 clauses out of 21994 with flag 68001/69694
4.98/3.74	c cleaning 11994 clauses out of 24004 with flag 81000/82693
5.38/4.18	c cleaning 13000 clauses out of 26011 with flag 95001/96694
6.00/4.71	c cleaning 14000 clauses out of 28010 with flag 110000/111693
6.62/5.34	c cleaning 15005 clauses out of 30012 with flag 126002/127695
7.12/5.89	c cleaning 16000 clauses out of 32006 with flag 143001/144694
7.72/6.49	c cleaning 16989 clauses out of 34007 with flag 161002/162695
8.43/7.13	c cleaning 18007 clauses out of 36017 with flag 180001/181694
9.04/7.79	c cleaning 18995 clauses out of 38011 with flag 200002/201695
9.84/8.51	c cleaning 20007 clauses out of 40014 with flag 221000/222693
10.75/9.40	c cleaning 20995 clauses out of 42007 with flag 243000/244693
11.55/10.24	c cleaning 22001 clauses out of 44012 with flag 266000/267693
12.36/11.08	c cleaning 23005 clauses out of 46011 with flag 290000/291693
13.28/11.99	c cleaning 23996 clauses out of 48007 with flag 315001/316694
14.31/12.99	c cleaning 25004 clauses out of 50011 with flag 341001/342694
15.53/14.10	c cleaning 25996 clauses out of 52007 with flag 368001/369694
16.65/15.23	c cleaning 27005 clauses out of 54011 with flag 396001/397694
17.76/16.39	c cleaning 27999 clauses out of 56009 with flag 425004/426697
19.08/17.62	c cleaning 28995 clauses out of 58007 with flag 455001/456694
20.39/18.94	c cleaning 30003 clauses out of 60011 with flag 486000/487693
21.70/20.24	c cleaning 30998 clauses out of 62008 with flag 518000/519693
23.01/21.53	c cleaning 32003 clauses out of 64010 with flag 551000/552693
24.41/22.97	c cleaning 33004 clauses out of 66007 with flag 585000/586693
26.01/24.57	c cleaning 34002 clauses out of 68004 with flag 620001/621694
27.86/26.33	c cleaning 35001 clauses out of 70002 with flag 656001/657694
29.46/27.97	c cleaning 35990 clauses out of 72001 with flag 693001/694694
30.99/29.48	c cleaning 37005 clauses out of 74014 with flag 731004/732697
32.92/31.33	c cleaning 37999 clauses out of 76005 with flag 770000/771693
34.84/33.24	c cleaning 38992 clauses out of 78006 with flag 810000/811693
36.87/35.26	c cleaning 39992 clauses out of 80015 with flag 851001/852694
38.79/37.14	c cleaning 41010 clauses out of 82022 with flag 893000/894693
40.92/39.29	c cleaning 41996 clauses out of 84013 with flag 936001/937694
43.13/41.43	c cleaning 43008 clauses out of 86016 with flag 980000/981693
45.16/43.46	c cleaning 44000 clauses out of 88008 with flag 1025000/1026693
47.07/45.34	c cleaning 45000 clauses out of 90008 with flag 1071000/1072693
49.27/47.53	c cleaning 45995 clauses out of 92008 with flag 1118000/1119693
51.49/49.76	c cleaning 46998 clauses out of 94014 with flag 1166001/1167694
53.51/51.71	c cleaning 48000 clauses out of 96015 with flag 1215000/1216693
55.53/53.77	c cleaning 49005 clauses out of 98015 with flag 1265000/1266693
57.77/55.98	c cleaning 50003 clauses out of 100010 with flag 1316000/1317693
59.80/57.94	c cleaning 50995 clauses out of 102007 with flag 1368000/1369693
62.12/60.25	c cleaning 52001 clauses out of 104013 with flag 1421001/1422694
64.44/62.53	c cleaning 53004 clauses out of 106011 with flag 1475000/1476693
66.86/64.95	c cleaning 53996 clauses out of 108007 with flag 1530000/1531693
69.48/67.57	c cleaning 55002 clauses out of 110011 with flag 1586000/1587693
72.32/70.32	c cleaning 55995 clauses out of 112009 with flag 1643000/1644693
74.84/72.88	c cleaning 57000 clauses out of 114015 with flag 1701001/1702694
78.05/76.07	c cleaning 58001 clauses out of 116015 with flag 1760001/1761694
80.98/78.91	c cleaning 58994 clauses out of 118013 with flag 1820000/1821693
83.60/81.58	c cleaning 60002 clauses out of 120019 with flag 1881000/1882693
86.63/84.51	c cleaning 61006 clauses out of 122020 with flag 1943003/1944696
89.48/87.33	c cleaning 62001 clauses out of 124011 with flag 2006000/2007693
92.50/90.35	c cleaning 62997 clauses out of 126010 with flag 2070000/2071693
95.31/93.10	c cleaning 63996 clauses out of 128013 with flag 2135000/2136693
98.26/96.07	c cleaning 65003 clauses out of 130018 with flag 2201001/2202694
101.47/99.21	c cleaning 66006 clauses out of 132014 with flag 2268000/2269693
104.51/102.23	c cleaning 67002 clauses out of 134012 with flag 2336004/2337697
108.62/106.38	c cleaning 68001 clauses out of 136007 with flag 2405001/2406694
111.45/109.19	c cleaning 68997 clauses out of 138006 with flag 2475001/2476694
114.98/112.64	c cleaning 69999 clauses out of 140008 with flag 2546000/2547693
118.44/116.04	c cleaning 70989 clauses out of 142010 with flag 2618001/2619694
121.75/119.32	c cleaning 71998 clauses out of 144020 with flag 2691000/2692693
125.27/122.82	c cleaning 73007 clauses out of 146023 with flag 2765001/2766694
129.30/126.80	c cleaning 74002 clauses out of 148015 with flag 2840000/2841693
133.34/130.88	c cleaning 74995 clauses out of 150014 with flag 2916001/2917694
137.47/134.94	c cleaning 76000 clauses out of 152018 with flag 2993000/2994693
141.70/139.14	c cleaning 76999 clauses out of 154019 with flag 3071001/3072694
146.24/143.69	c cleaning 78008 clauses out of 156021 with flag 3150002/3151695
150.67/148.08	c cleaning 79004 clauses out of 158012 with flag 3230001/3231694
154.60/151.96	c cleaning 80001 clauses out of 160007 with flag 3311000/3312693
158.92/156.24	c cleaning 80999 clauses out of 162006 with flag 3393000/3394693
163.27/160.56	c cleaning 81990 clauses out of 164008 with flag 3476001/3477694
167.98/165.28	c cleaning 82999 clauses out of 166017 with flag 3560000/3561693
172.72/169.93	c cleaning 83997 clauses out of 168018 with flag 3645000/3646693
177.14/174.37	c cleaning 85010 clauses out of 170021 with flag 3731000/3732693
182.37/179.57	c cleaning 86003 clauses out of 172013 with flag 3818002/3819695
187.31/184.42	c cleaning 87002 clauses out of 174008 with flag 3906000/3907693
192.74/189.89	c cleaning 87993 clauses out of 176006 with flag 3995000/3996693
198.07/195.11	c cleaning 88993 clauses out of 178013 with flag 4085000/4086693
203.29/200.32	c cleaning 90002 clauses out of 180020 with flag 4176000/4177693
208.89/205.99	c cleaning 91004 clauses out of 182020 with flag 4268002/4269695
214.24/211.26	c cleaning 91999 clauses out of 184014 with flag 4361000/4362693
219.86/216.82	c cleaning 93002 clauses out of 186015 with flag 4455000/4456693
224.80/221.76	c cleaning 93997 clauses out of 188013 with flag 4550000/4551693
229.63/226.54	c cleaning 95002 clauses out of 190019 with flag 4646003/4647696
236.45/233.31	c cleaning 96003 clauses out of 192016 with flag 4743002/4744695
241.97/238.81	c cleaning 96997 clauses out of 194011 with flag 4841000/4842693
248.31/245.19	c cleaning 98006 clauses out of 196018 with flag 4940004/4941697
254.85/251.67	c cleaning 99003 clauses out of 198010 with flag 5040002/5041695
261.85/258.54	c cleaning 99997 clauses out of 200005 with flag 5141000/5142693
268.78/265.46	c cleaning 100993 clauses out of 202009 with flag 5243001/5244694
275.04/271.67	c cleaning 101997 clauses out of 204015 with flag 5346000/5347693
284.09/280.63	c cleaning 103008 clauses out of 206019 with flag 5450001/5451694
342.07/338.39	c cleaning 103993 clauses out of 208010 with flag 5555000/5556693
436.40/432.32	c cleaning 104998 clauses out of 210018 with flag 5661001/5662694
512.63/508.36	c Got one! Elapsed wall clock time (in seconds):508.243
512.63/508.36	o 46739
514.35/510.05	c Got one! Elapsed wall clock time (in seconds):509.939
514.35/510.05	o 46445
514.95/510.67	c cleaning 98135 clauses out of 196274 with flag 1002/5753948
515.72/511.30	c Got one! Elapsed wall clock time (in seconds):511.19
515.72/511.30	o 45951
516.93/512.58	c cleaning 51877 clauses out of 103764 with flag 4002/5759573
518.24/513.89	c Got one! Elapsed wall clock time (in seconds):513.775
518.24/513.89	o 45819
518.47/514.09	c cleaning 28600 clauses out of 57205 with flag 1000/5764891
518.59/514.19	c Got one! Elapsed wall clock time (in seconds):514.081
518.59/514.19	o 45630
519.59/515.10	c cleaning 16982 clauses out of 33982 with flag 5004/5770268
520.72/516.23	c cleaning 11489 clauses out of 22996 with flag 11000/5776264
521.13/516.65	c Got one! Elapsed wall clock time (in seconds):516.533
521.13/516.65	o 45043
521.25/516.74	c Got one! Elapsed wall clock time (in seconds):516.623
521.25/516.74	o 44983
521.75/517.25	c cleaning 8870 clauses out of 17786 with flag 3000/5782543
522.50/517.90	c Got one! Elapsed wall clock time (in seconds):517.787
522.50/517.90	o 44197
522.61/518.09	c cleaning 6944 clauses out of 13951 with flag 1002/5787578
523.73/519.19	c cleaning 6480 clauses out of 13008 with flag 7003/5793579
525.05/520.43	c cleaning 6722 clauses out of 13525 with flag 14000/5800576
525.05/520.49	c Got one! Elapsed wall clock time (in seconds):520.375
525.05/520.49	o 43829
525.98/521.37	c cleaning 5911 clauses out of 11872 with flag 5000/5805645
527.11/522.47	c cleaning 5948 clauses out of 11963 with flag 11002/5811647
528.41/523.79	c cleaning 6491 clauses out of 13015 with flag 18002/5818647
530.15/525.42	c cleaning 7252 clauses out of 14524 with flag 26002/5826647
530.89/526.11	c Got one! Elapsed wall clock time (in seconds):525.992
530.89/526.11	o 43697
531.19/526.49	c cleaning 6329 clauses out of 12755 with flag 2000/5832130
532.42/527.64	c cleaning 6180 clauses out of 12427 with flag 8001/5838131
532.94/528.20	c Got one! Elapsed wall clock time (in seconds):528.082
532.94/528.20	o 43606
533.34/528.52	c cleaning 5695 clauses out of 11465 with flag 2001/5843349
534.48/529.61	c cleaning 5859 clauses out of 11769 with flag 8000/5849348
535.61/530.73	c cleaning 6418 clauses out of 12910 with flag 15000/5856348
537.35/532.48	c cleaning 7213 clauses out of 14493 with flag 23001/5864349
539.25/534.39	c cleaning 8128 clauses out of 16280 with flag 32001/5873349
541.27/536.30	c cleaning 9024 clauses out of 18151 with flag 42000/5883348
543.78/538.84	c cleaning 9996 clauses out of 20127 with flag 53000/5894348
546.91/541.97	c cleaning 10979 clauses out of 22131 with flag 65000/5906348
550.42/545.47	c cleaning 11972 clauses out of 24153 with flag 78001/5919349
553.76/548.77	c cleaning 12957 clauses out of 26182 with flag 92002/5933350
557.68/552.66	c cleaning 14015 clauses out of 28223 with flag 107000/5948348
562.20/557.14	c cleaning 14997 clauses out of 30209 with flag 123001/5964349
567.24/562.12	c cleaning 16055 clauses out of 32213 with flag 140002/5981350
571.36/566.24	c cleaning 16988 clauses out of 34160 with flag 158004/5999352
576.28/571.10	c cleaning 17940 clauses out of 36168 with flag 177000/6018348
581.33/576.12	c cleaning 19029 clauses out of 38229 with flag 197001/6038349
586.95/581.78	c cleaning 20036 clauses out of 40201 with flag 218002/6059350
592.48/587.25	c cleaning 20956 clauses out of 42163 with flag 240000/6081348
598.40/593.16	c cleaning 22052 clauses out of 44210 with flag 263003/6104351
605.55/600.27	c cleaning 22989 clauses out of 46155 with flag 287000/6128348
613.37/608.04	c cleaning 23982 clauses out of 48167 with flag 312001/6153349
622.29/616.94	c cleaning 24969 clauses out of 50185 with flag 338001/6179349
633.22/627.80	c cleaning 26041 clauses out of 52216 with flag 365001/6206349
642.96/637.51	c cleaning 26974 clauses out of 54175 with flag 393001/6234349
651.80/646.36	c cleaning 28032 clauses out of 56201 with flag 422001/6263349
660.75/655.21	c cleaning 28964 clauses out of 58170 with flag 452002/6293350
670.58/665.02	c cleaning 30045 clauses out of 60205 with flag 483001/6324349
680.80/675.28	c cleaning 30998 clauses out of 62160 with flag 515001/6356349
692.93/687.30	c cleaning 32024 clauses out of 64163 with flag 548002/6389350
704.18/698.54	c cleaning 32952 clauses out of 66138 with flag 582001/6423349
717.90/712.20	c cleaning 34039 clauses out of 68185 with flag 617000/6458348
731.35/725.62	c cleaning 34993 clauses out of 70148 with flag 653002/6494350
746.01/740.21	c cleaning 35957 clauses out of 72153 with flag 690000/6531348
760.54/754.80	c cleaning 36991 clauses out of 74198 with flag 728002/6569350
776.07/770.21	c cleaning 37985 clauses out of 76205 with flag 767000/6608348
790.59/784.73	c cleaning 39082 clauses out of 78222 with flag 807002/6648350
805.41/799.51	c cleaning 39994 clauses out of 80138 with flag 848000/6689348
820.76/814.86	c cleaning 41053 clauses out of 82144 with flag 890000/6731348
823.81/817.85	c cleaning 42042 clauses out of 84092 with flag 933001/6774349
825.55/819.52	c cleaning 43019 clauses out of 86049 with flag 977000/6818348
827.28/821.23	c cleaning 44011 clauses out of 88030 with flag 1022000/6863348
829.09/823.01	c cleaning 45005 clauses out of 90019 with flag 1068000/6909348
830.90/824.83	c cleaning 46001 clauses out of 92015 with flag 1115001/6956349
832.93/826.88	c cleaning 47001 clauses out of 94014 with flag 1163001/7004349
834.86/828.80	c cleaning 48003 clauses out of 96012 with flag 1212000/7053348
837.28/831.17	c cleaning 49005 clauses out of 98009 with flag 1262000/7103348
839.90/833.73	c cleaning 50001 clauses out of 100005 with flag 1313001/7154349
842.53/836.30	c cleaning 50997 clauses out of 102003 with flag 1365000/7206348
845.07/838.80	c cleaning 52001 clauses out of 104006 with flag 1418000/7259348
847.39/841.18	c cleaning 52997 clauses out of 106005 with flag 1472000/7313348
849.82/843.55	c cleaning 53997 clauses out of 108008 with flag 1527000/7368348
852.15/845.88	c cleaning 55003 clauses out of 110011 with flag 1583000/7424348
854.65/848.37	c cleaning 55993 clauses out of 112008 with flag 1640000/7481348
857.46/851.19	c cleaning 57000 clauses out of 114017 with flag 1698002/7539350
860.38/854.02	c cleaning 58008 clauses out of 116016 with flag 1757001/7598349
863.21/856.86	c cleaning 58998 clauses out of 118007 with flag 1817000/7658348
866.22/859.82	c cleaning 60003 clauses out of 120011 with flag 1878002/7719350
869.04/862.66	c cleaning 61002 clauses out of 122007 with flag 1940001/7781349
872.16/865.75	c cleaning 61996 clauses out of 124004 with flag 2003000/7844348
875.27/868.88	c cleaning 62999 clauses out of 126008 with flag 2067000/7908348
878.29/871.88	c cleaning 63995 clauses out of 128009 with flag 2132000/7973348
881.71/875.28	c cleaning 65006 clauses out of 130016 with flag 2198002/8039350
885.45/878.99	c cleaning 66001 clauses out of 132008 with flag 2265000/8106348
889.08/882.57	c cleaning 67000 clauses out of 134008 with flag 2333001/8174349
892.60/886.04	c cleaning 67996 clauses out of 136007 with flag 2402000/8243348
896.15/889.55	c cleaning 69001 clauses out of 138012 with flag 2472001/8313349
899.87/893.23	c cleaning 69998 clauses out of 140010 with flag 2543000/8384348
903.78/897.12	c cleaning 71007 clauses out of 142013 with flag 2615001/8456349
907.50/900.90	c cleaning 71995 clauses out of 144005 with flag 2688000/8529348
911.64/904.90	c cleaning 73006 clauses out of 146012 with flag 2762002/8603350
915.65/908.91	c cleaning 73998 clauses out of 148004 with flag 2837000/8678348
919.88/913.13	c cleaning 74989 clauses out of 150006 with flag 2913000/8754348
924.10/917.32	c cleaning 76000 clauses out of 152017 with flag 2990000/8831348
928.41/921.66	c cleaning 77002 clauses out of 154017 with flag 3068000/8909348
932.84/926.08	c cleaning 77999 clauses out of 156015 with flag 3147000/8988348
937.15/930.35	c cleaning 79004 clauses out of 158017 with flag 3227001/9068349
941.56/934.78	c cleaning 80003 clauses out of 160012 with flag 3308000/9149348
946.08/939.23	c cleaning 80993 clauses out of 162009 with flag 3390000/9231348
950.30/943.43	c cleaning 81993 clauses out of 164016 with flag 3473000/9314348
954.82/947.90	c cleaning 83006 clauses out of 166023 with flag 3557000/9398348
959.65/952.75	c cleaning 83998 clauses out of 168018 with flag 3642001/9483349
964.58/957.64	c cleaning 85004 clauses out of 170020 with flag 3728001/9569349
969.59/962.64	c cleaning 86008 clauses out of 172015 with flag 3815000/9656348
974.93/967.95	c cleaning 86993 clauses out of 174007 with flag 3903000/9744348
980.05/973.06	c cleaning 88002 clauses out of 176014 with flag 3992000/9833348
985.86/978.87	c cleaning 89001 clauses out of 178012 with flag 4082000/9923348
991.60/984.58	c cleaning 89996 clauses out of 180011 with flag 4173000/10014348
996.64/989.50	c cleaning 91004 clauses out of 182015 with flag 4265000/10106348
1001.85/994.73	c cleaning 91991 clauses out of 184012 with flag 4358001/10199349
1007.19/1000.05	c cleaning 93009 clauses out of 186021 with flag 4452001/10293349
1012.54/1005.39	c cleaning 94003 clauses out of 188013 with flag 4547002/10388350
1017.17/1009.91	c cleaning 94991 clauses out of 190008 with flag 4643000/10484348
1022.01/1014.76	c cleaning 96007 clauses out of 192019 with flag 4740002/10581350
1028.06/1020.76	c cleaning 96996 clauses out of 194010 with flag 4838000/10679348
1034.18/1026.87	c cleaning 98002 clauses out of 196015 with flag 4937001/10778349
1040.15/1032.76	c cleaning 99007 clauses out of 198013 with flag 5037001/10878349
1046.27/1038.83	c cleaning 99993 clauses out of 200005 with flag 5138000/10979348
1052.19/1044.77	c cleaning 101003 clauses out of 202013 with flag 5240001/11081349
1057.81/1050.37	c cleaning 101996 clauses out of 204009 with flag 5343000/11184348
1063.55/1056.09	c cleaning 103003 clauses out of 206013 with flag 5447000/11288348
1069.57/1062.10	c cleaning 104005 clauses out of 208012 with flag 5552002/11393350
1076.63/1069.03	c cleaning 104994 clauses out of 210005 with flag 5658000/11499348
1084.06/1076.45	c cleaning 105994 clauses out of 212011 with flag 5765000/11606348
1090.99/1083.35	c cleaning 107002 clauses out of 214017 with flag 5873000/11714348
1097.91/1090.27	c cleaning 108005 clauses out of 216015 with flag 5982000/11823348
1105.03/1097.37	c cleaning 108996 clauses out of 218010 with flag 6092000/11933348
1112.45/1104.72	c cleaning 110005 clauses out of 220016 with flag 6203002/12044350
1120.32/1112.54	c cleaning 110998 clauses out of 222009 with flag 6315000/12156348
1127.95/1120.13	c cleaning 112001 clauses out of 224012 with flag 6428001/12269349
1134.78/1126.90	c cleaning 113000 clauses out of 226010 with flag 6542000/12383348
1143.10/1135.22	c cleaning 114006 clauses out of 228012 with flag 6657002/12498350
1151.54/1143.63	c cleaning 114998 clauses out of 230005 with flag 6773001/12614349
1160.17/1152.26	c cleaning 115993 clauses out of 232006 with flag 6890000/12731348
1169.73/1161.72	c cleaning 117004 clauses out of 234014 with flag 7008001/12849349
1178.56/1170.58	c cleaning 118002 clauses out of 236009 with flag 7127000/12968348
1188.19/1180.18	c cleaning 119000 clauses out of 238008 with flag 7247001/13088349
1197.62/1189.54	c cleaning 120001 clauses out of 240007 with flag 7368000/13209348
1207.37/1199.24	c cleaning 120997 clauses out of 242006 with flag 7490000/13331348
1217.22/1209.02	c cleaning 121995 clauses out of 244009 with flag 7613000/13454348
1225.93/1217.75	c cleaning 123004 clauses out of 246015 with flag 7737001/13578349
1234.88/1226.63	c cleaning 123999 clauses out of 248011 with flag 7862001/13703349
1243.81/1235.59	c cleaning 124998 clauses out of 250011 with flag 7988000/13829348
1253.72/1245.42	c cleaning 126002 clauses out of 252014 with flag 8115001/13956349
1262.66/1254.39	c cleaning 127004 clauses out of 254011 with flag 8243000/14084348
1272.40/1264.03	c cleaning 127990 clauses out of 256007 with flag 8372000/14213348
1282.44/1274.09	c cleaning 129007 clauses out of 258017 with flag 8502000/14343348
1292.40/1283.95	c cleaning 130002 clauses out of 260011 with flag 8633001/14474349
1302.63/1294.16	c cleaning 130991 clauses out of 262008 with flag 8765000/14606348
1313.19/1304.67	c cleaning 132008 clauses out of 264017 with flag 8898000/14739348
1323.76/1315.15	c cleaning 132999 clauses out of 266009 with flag 9032000/14873348
1334.13/1325.46	c cleaning 133997 clauses out of 268010 with flag 9167000/15008348
1344.63/1335.99	c cleaning 135001 clauses out of 270015 with flag 9303002/15144350
1352.60/1343.86	c cleaning 135998 clauses out of 272013 with flag 9440001/15281349
1362.33/1353.57	c cleaning 136999 clauses out of 274014 with flag 9578000/15419348
1372.41/1363.53	c cleaning 137993 clauses out of 276015 with flag 9717000/15558348
1382.35/1373.50	c cleaning 139006 clauses out of 278023 with flag 9857001/15698349
1391.73/1382.77	c cleaning 140000 clauses out of 280016 with flag 9998000/15839348
1401.88/1392.81	c cleaning 141002 clauses out of 282016 with flag 10140000/15981348
1411.75/1402.69	c cleaning 141996 clauses out of 284014 with flag 10283000/16124348
1422.31/1413.18	c cleaning 143001 clauses out of 286018 with flag 10427000/16268348
1432.14/1422.94	c cleaning 144000 clauses out of 288017 with flag 10572000/16413348
1441.70/1432.45	c cleaning 145003 clauses out of 290017 with flag 10718000/16559348
1451.14/1441.81	c cleaning 146003 clauses out of 292014 with flag 10865000/16706348
1461.59/1452.29	c cleaning 146990 clauses out of 294011 with flag 11013000/16854348
1473.66/1464.27	c cleaning 148004 clauses out of 296021 with flag 11162000/17003348
1483.83/1474.31	c cleaning 149000 clauses out of 298018 with flag 11312001/17153349
1494.07/1484.50	c cleaning 150001 clauses out of 300017 with flag 11463000/17304348
1504.41/1494.87	c cleaning 151000 clauses out of 302017 with flag 11615001/17456349
1515.24/1505.62	c cleaning 151997 clauses out of 304016 with flag 11768000/17609348
1524.90/1515.20	c cleaning 153006 clauses out of 306019 with flag 11922000/17763348
1538.45/1528.76	c cleaning 153998 clauses out of 308013 with flag 12077000/17918348
1548.80/1539.04	c cleaning 155002 clauses out of 310016 with flag 12233001/18074349
1559.38/1549.57	c cleaning 155997 clauses out of 312013 with flag 12390000/18231348
1570.90/1561.06	c cleaning 157003 clauses out of 314016 with flag 12548000/18389348
1581.87/1571.92	c cleaning 158007 clauses out of 316013 with flag 12707000/18548348
1592.81/1582.82	c cleaning 159003 clauses out of 318007 with flag 12867001/18708349
1606.89/1596.87	c cleaning 159996 clauses out of 320004 with flag 13028001/18869349
1620.26/1610.16	c cleaning 161002 clauses out of 322008 with flag 13190001/19031349
1632.65/1622.45	c cleaning 162003 clauses out of 324006 with flag 13353001/19194349
1648.41/1638.14	c cleaning 162990 clauses out of 326003 with flag 13517001/19358349
1662.19/1651.80	c cleaning 164002 clauses out of 328012 with flag 13682000/19523348
1676.15/1665.79	c cleaning 165001 clauses out of 330012 with flag 13848002/19689350
1690.19/1679.74	c cleaning 166004 clauses out of 332009 with flag 14015000/19856348
1704.62/1694.17	c cleaning 167000 clauses out of 334006 with flag 14183001/20024349
1718.16/1707.64	c cleaning 167992 clauses out of 336005 with flag 14352000/20193348
1732.49/1721.94	c cleaning 168999 clauses out of 338013 with flag 14522000/20363348
1746.87/1736.20	c cleaning 170002 clauses out of 340014 with flag 14693000/20534348
1758.97/1748.21	c cleaning 170999 clauses out of 342014 with flag 14865002/20706350
1773.84/1763.09	c cleaning 171989 clauses out of 344013 with flag 15038000/20879348
1788.30/1777.42	c cleaning 173009 clauses out of 346026 with flag 15212002/21053350
1800.05/1789.11	c starts		: 367
1800.05/1789.11	c conflicts		: 21228348
1800.05/1789.11	c decisions		: 30459941
1800.05/1789.11	c propagations		: 379168163
1800.05/1789.11	c inspects		: 16210854230
1800.05/1789.11	c shortcuts		: 0
1800.05/1789.11	c learnt literals	: 0
1800.05/1789.11	c learnt binary clauses	: 0
1800.05/1789.11	c learnt ternary clauses	: 3
1800.05/1789.11	c learnt constraints	: 21228348
1800.05/1789.11	c ignored constraints	: 0
1800.05/1789.11	c root simplifications	: 0
1800.05/1789.11	c removed literals (reason simplification)	: 0
1800.05/1789.11	c reason swapping (by a shorter reason)	: 0
1800.05/1789.11	c Calls to reduceDB	: 288
1800.05/1789.11	c number of reductions to clauses (during analyze)	: 0
1800.05/1789.11	c number of learned constraints concerned by reduction	: 0
1800.05/1789.11	c number of learning phase by resolution	: 0
1800.05/1789.11	c number of learning phase by cutting planes	: 0
1800.05/1789.11	c speed (assignments/second)	: 211992.5410602306
1800.05/1789.11	c non guided choices	958
1800.05/1789.15	c learnt constraints type 
1800.05/1789.15	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 348015
1800.05/1789.15	c constraints type 
1800.05/1789.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
1800.05/1789.15	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
1800.05/1789.15	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
1800.05/1789.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7393
1800.05/1789.15	c 16377 constraints processed.
1800.05/1789.15	s SATISFIABLE
1800.05/1789.16	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 
1800.05/1789.16	c objective function=43606
1800.05/1789.16	c Total wall clock time (in seconds): 1789.042

Verifier Data 

OK	43606

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-3687659-1337874380/watcher-3687659-1337874380 -o /tmp/evaluation-result-3687659-1337874380/solver-3687659-1337874380 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687659-1337874380.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: 2.12 2.10 1.89 3/192 24459
/proc/meminfo: memFree=27922772/32873852 swapFree=7616/7616
[pid=24459] ppid=24457 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/24459/stat : 24459 (java) D 24457 24459 23289 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253563484 9515008 182 33554432000 1073741824 1073778376 140735569643184 140735569634216 252263087797 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/24459/statm: 2323 182 140 9 0 71 0

[startup+0.0372241 s]
/proc/loadavg: 2.12 2.10 1.89 3/192 24459
/proc/meminfo: memFree=27922772/32873852 swapFree=7616/7616
[pid=24459] ppid=24457 vsize=9092432 CPUtime=0.01 cores=1,3,5,7
/proc/24459/stat : 24459 (java) S 24457 24459 23289 0 -1 4202496 2901 0 1 0 1 0 0 0 20 0 11 0 253563484 9310650368 3601 33554432000 1073741824 1073778376 140735483747840 140735483738976 252266446909 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24459/statm: 2273108 3601 1631 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432

[startup+0.100311 s]
/proc/loadavg: 2.12 2.10 1.89 3/192 24459
/proc/meminfo: memFree=27922772/32873852 swapFree=7616/7616
[pid=24459] ppid=24457 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/24459/stat : 24459 (java) S 24457 24459 23289 0 -1 4202496 4289 0 1 0 8 1 0 0 20 0 18 0 253563484 9787813888 5482 33554432000 1073741824 1073778376 140735483747840 140735483738976 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24459/statm: 2389603 5482 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300301 s]
/proc/loadavg: 2.12 2.10 1.89 3/192 24459
/proc/meminfo: memFree=27922772/32873852 swapFree=7616/7616
[pid=24459] ppid=24457 vsize=9558412 CPUtime=0.49 cores=1,3,5,7
/proc/24459/stat : 24459 (java) S 24457 24459 23289 0 -1 4202496 6321 0 1 0 47 2 0 0 20 0 18 0 253563484 9787813888 9899 33554432000 1073741824 1073778376 140735483747840 140735483738976 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24459/statm: 2389603 9899 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558412

[startup+0.700301 s]
/proc/loadavg: 2.12 2.10 1.89 3/192 24459
/proc/meminfo: memFree=27922772/32873852 swapFree=7616/7616
[pid=24459] ppid=24457 vsize=9624976 CPUtime=1.4 cores=1,3,5,7
/proc/24459/stat : 24459 (java) S 24457 24459 23289 0 -1 4202496 9893 0 1 0 137 3 0 0 20 0 19 0 253563484 9855975424 26407 33554432000 1073741824 1073778376 140735483747840 140735483738976 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24459/statm: 2406244 26409 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 9624976

[startup+1.50079 s]
/proc/loadavg: 2.12 2.10 1.89 3/211 24478
/proc/meminfo: memFree=27817344/32873852 swapFree=7616/7616
[pid=24459] ppid=24457 vsize=9624976 CPUtime=2.59 cores=1,3,5,7
/proc/24459/stat : 24459 (java) S 24457 24459 23289 0 -1 4202496 13718 0 1 0 253 6 0 0 20 0 19 0 253563484 9855975424 32940 33554432000 1073741824 1073778376 140735483747840 140735483738976 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24459/statm: 2406244 32940 2279 9 0 2396937 0
[pid=24459/tid=24461] ppid=24457 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/24459/task/24461/stat : 24461 (java) R 24457 24459 23289 0 -1 4202560 2493 0 1 0 141 3 0 0 20 0 19 0 253563485 9855975424 32940 33554432000 1073741824 1073778376 140735483747840 140240457129512 140240295624623 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24459/tid=24462] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24462/stat : 24462 (java) S 24457 24459 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 32940 33554432000 1073741824 1073778376 140735483747840 140240418622120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24459/tid=24463] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24463/stat : 24463 (java) S 24457 24459 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 32940 33554432000 1073741824 1073778376 140735483747840 140240417569576 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24464] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24464/stat : 24464 (java) S 24457 24459 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 32940 33554432000 1073741824 1073778376 140735483747840 140240416517032 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24459/tid=24465] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24465/stat : 24465 (java) S 24457 24459 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 32940 33554432000 1073741824 1073778376 140735483747840 140240415464488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24459/tid=24466] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24466/stat : 24466 (java) S 24457 24459 23289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 32940 33554432000 1073741824 1073778376 140735483747840 140240414410920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24467] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24467/stat : 24467 (java) S 24457 24459 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 32940 33554432000 1073741824 1073778376 140735483747840 140240295553320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24459/tid=24468] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24468/stat : 24468 (java) S 24457 24459 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 32940 33554432000 1073741824 1073778376 140735483747840 140240294500776 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24469] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24469/stat : 24469 (java) S 24457 24459 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 32940 33554432000 1073741824 1073778376 140735483747840 140240293448232 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24470] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24470/stat : 24470 (java) S 24457 24459 23289 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 253563488 9855975424 32940 33554432000 1073741824 1073778376 140735483747840 140240281250408 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24471] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24471/stat : 24471 (java) S 24457 24459 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253563488 9855975424 32940 33554432000 1073741824 1073778376 140735483747840 140240280196728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24472] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24472/stat : 24472 (java) S 24457 24459 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253563488 9855975424 32940 33554432000 1073741824 1073778376 140735483747840 140239674795656 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24473] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24473/stat : 24473 (java) S 24457 24459 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253563490 9855975424 32940 33554432000 1073741824 1073778376 140735483747840 140239673744400 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24474] ppid=24457 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/24459/task/24474/stat : 24474 (java) S 24457 24459 23289 0 -1 4202560 4001 0 0 0 51 2 0 0 20 0 19 0 253563490 9855975424 32940 33554432000 1073741824 1073778376 140735483747840 140239672690744 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24475] ppid=24457 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/24459/task/24475/stat : 24475 (java) S 24457 24459 23289 0 -1 4202560 5973 0 0 0 55 0 0 0 20 0 19 0 253563490 9855975424 32940 33554432000 1073741824 1073778376 140735483747840 140239671638200 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24476] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24476/stat : 24476 (java) S 24457 24459 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253563490 9855975424 32940 33554432000 1073741824 1073778376 140735483747840 140239670585848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24477] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24477/stat : 24477 (java) S 24457 24459 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253563490 9855975424 32940 33554432000 1073741824 1073778376 140735483747840 140239669533512 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24478] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24478/stat : 24478 (java) S 24457 24459 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253563536 9855975424 32940 33554432000 1073741824 1073778376 140735483747840 140239668479272 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 9624976

[startup+3.10075 s]
/proc/loadavg: 2.12 2.10 1.89 3/211 24478
/proc/meminfo: memFree=27794072/32873852 swapFree=7616/7616
[pid=24459] ppid=24457 vsize=9624976 CPUtime=4.37 cores=1,3,5,7
/proc/24459/stat : 24459 (java) S 24457 24459 23289 0 -1 4202496 13772 0 1 0 431 6 0 0 20 0 19 0 253563484 9855975424 34519 33554432000 1073741824 1073778376 140735483747840 140735483738976 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24459/statm: 2406244 34519 2279 9 0 2396937 0
[pid=24459/tid=24461] ppid=24457 vsize=9624976 CPUtime=2.91 cores=1,3,5,7
/proc/24459/task/24461/stat : 24461 (java) R 24457 24459 23289 0 -1 4202560 2498 0 1 0 288 3 0 0 20 0 19 0 253563485 9855975424 34519 33554432000 1073741824 1073778376 140735483747840 140240457130504 140240296222291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24459/tid=24462] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24462/stat : 24462 (java) S 24457 24459 23289 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 34519 33554432000 1073741824 1073778376 140735483747840 140240418622120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24463] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24463/stat : 24463 (java) S 24457 24459 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 34519 33554432000 1073741824 1073778376 140735483747840 140240417569576 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24464] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24464/stat : 24464 (java) S 24457 24459 23289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 34519 33554432000 1073741824 1073778376 140735483747840 140240416517032 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24465] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24465/stat : 24465 (java) S 24457 24459 23289 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 34519 33554432000 1073741824 1073778376 140735483747840 140240415464488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24459/tid=24466] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24466/stat : 24466 (java) S 24457 24459 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 34519 33554432000 1073741824 1073778376 140735483747840 140240414410920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24459/tid=24467] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24467/stat : 24467 (java) S 24457 24459 23289 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 34519 33554432000 1073741824 1073778376 140735483747840 140240295553320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24459/tid=24468] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24468/stat : 24468 (java) S 24457 24459 23289 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 34519 33554432000 1073741824 1073778376 140735483747840 140240294500776 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24459/tid=24469] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24469/stat : 24469 (java) S 24457 24459 23289 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 34519 33554432000 1073741824 1073778376 140735483747840 140240293448232 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24470] ppid=24457 vsize=9624976 CPUtime=0.12 cores=1,3,5,7
/proc/24459/task/24470/stat : 24470 (java) S 24457 24459 23289 0 -1 4202560 35 0 0 0 12 0 0 0 20 0 19 0 253563488 9855975424 34519 33554432000 1073741824 1073778376 140735483747840 140240281250408 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24471] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24471/stat : 24471 (java) S 24457 24459 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253563488 9855975424 34519 33554432000 1073741824 1073778376 140735483747840 140240280196728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24472] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24472/stat : 24472 (java) S 24457 24459 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253563488 9855975424 34519 33554432000 1073741824 1073778376 140735483747840 140239674795656 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24473] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24473/stat : 24473 (java) S 24457 24459 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253563490 9855975424 34519 33554432000 1073741824 1073778376 140735483747840 140239673744400 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24474] ppid=24457 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/24459/task/24474/stat : 24474 (java) S 24457 24459 23289 0 -1 4202560 4001 0 0 0 51 2 0 0 20 0 19 0 253563490 9855975424 34519 33554432000 1073741824 1073778376 140735483747840 140239672690744 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24475] ppid=24457 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/24459/task/24475/stat : 24475 (java) S 24457 24459 23289 0 -1 4202560 5996 0 0 0 69 0 0 0 20 0 19 0 253563490 9855975424 34519 33554432000 1073741824 1073778376 140735483747840 140239671638200 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24476] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24476/stat : 24476 (java) S 24457 24459 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253563490 9855975424 34519 33554432000 1073741824 1073778376 140735483747840 140239670585848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24477] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24477/stat : 24477 (java) S 24457 24459 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253563490 9855975424 34519 33554432000 1073741824 1073778376 140735483747840 140239669533512 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24459/tid=24478] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24478/stat : 24478 (java) S 24457 24459 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253563536 9855975424 34519 33554432000 1073741824 1073778376 140735483747840 140239668479272 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 9624976

[startup+6.30069 s]
/proc/loadavg: 2.11 2.10 1.89 3/211 24478
/proc/meminfo: memFree=27787936/32873852 swapFree=7616/7616
[pid=24459] ppid=24457 vsize=9624976 CPUtime=7.62 cores=1,3,5,7
/proc/24459/stat : 24459 (java) S 24457 24459 23289 0 -1 4202496 13818 0 1 0 755 7 0 0 20 0 19 0 253563484 9855975424 35890 33554432000 1073741824 1073778376 140735483747840 140735483738976 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24459/statm: 2406244 35890 2279 9 0 2396937 0
[pid=24459/tid=24461] ppid=24457 vsize=9624976 CPUtime=5.92 cores=1,3,5,7
/proc/24459/task/24461/stat : 24461 (java) R 24457 24459 23289 0 -1 4202560 2505 0 1 0 589 3 0 0 20 0 19 0 253563485 9855975424 35890 33554432000 1073741824 1073778376 140735483747840 140240457130272 140240296244757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24459/tid=24462] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24462/stat : 24462 (java) S 24457 24459 23289 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 35890 33554432000 1073741824 1073778376 140735483747840 140240418622120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24463] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24463/stat : 24463 (java) S 24457 24459 23289 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 35890 33554432000 1073741824 1073778376 140735483747840 140240417569576 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24459/tid=24464] ppid=24457 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24459/task/24464/stat : 24464 (java) S 24457 24459 23289 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 19 0 253563486 9855975424 35890 33554432000 1073741824 1073778376 140735483747840 140240416517032 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24465] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24465/stat : 24465 (java) S 24457 24459 23289 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 35890 33554432000 1073741824 1073778376 140735483747840 140240415464488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24466] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24466/stat : 24466 (java) S 24457 24459 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 35890 33554432000 1073741824 1073778376 140735483747840 140240414410920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24459/tid=24467] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24467/stat : 24467 (java) S 24457 24459 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 35890 33554432000 1073741824 1073778376 140735483747840 140240295553320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24459/tid=24468] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24468/stat : 24468 (java) S 24457 24459 23289 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253563486 9855975424 35890 33554432000 1073741824 1073778376 140735483747840 140240294500776 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24459/tid=24469] ppid=24457 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24459/task/24469/stat : 24469 (java) S 24457 24459 23289 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 253563486 9855975424 35890 33554432000 1073741824 1073778376 140735483747840 140240293448232 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24470] ppid=24457 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/24459/task/24470/stat : 24470 (java) S 24457 24459 23289 0 -1 4202560 36 0 0 0 26 0 0 0 20 0 19 0 253563488 9855975424 35890 33554432000 1073741824 1073778376 140735483747840 140240281250408 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24471] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24471/stat : 24471 (java) S 24457 24459 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253563488 9855975424 35890 33554432000 1073741824 1073778376 140735483747840 140240280196728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24472] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24472/stat : 24472 (java) S 24457 24459 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253563488 9855975424 35890 33554432000 1073741824 1073778376 140735483747840 140239674795656 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24473] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24473/stat : 24473 (java) S 24457 24459 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253563490 9855975424 35890 33554432000 1073741824 1073778376 140735483747840 140239673744400 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24474] ppid=24457 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/24459/task/24474/stat : 24474 (java) S 24457 24459 23289 0 -1 4202560 4001 0 0 0 51 2 0 0 20 0 19 0 253563490 9855975424 35890 33554432000 1073741824 1073778376 140735483747840 140239672690744 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24475] ppid=24457 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/24459/task/24475/stat : 24475 (java) S 24457 24459 23289 0 -1 4202560 5996 0 0 0 69 0 0 0 20 0 19 0 253563490 9855975424 35890 33554432000 1073741824 1073778376 140735483747840 140239671638200 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24476] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24476/stat : 24476 (java) S 24457 24459 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253563490 9855975424 35890 33554432000 1073741824 1073778376 140735483747840 140239670585848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24477] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24477/stat : 24477 (java) S 24457 24459 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253563490 9855975424 35890 33554432000 1073741824 1073778376 140735483747840 140239669533512 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24459/tid=24478] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24478/stat : 24478 (java) S 24457 24459 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253563536 9855975424 35890 33554432000 1073741824 1073778376 140735483747840 140239668479272 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=24459/tid=24474] ppid=24457 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/24459/task/24474/stat : 24474 (java) S 24457 24459 23289 0 -1 4202560 4001 0 0 0 52 2 0 0 20 0 19 0 253563490 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239672690744 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24475] ppid=24457 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/24459/task/24475/stat : 24475 (java) S 24457 24459 23289 0 -1 4202560 6002 0 0 0 79 0 0 0 20 0 19 0 253563490 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239671638200 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24476] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24476/stat : 24476 (java) S 24457 24459 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253563490 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239670585848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24477] ppid=24457 vsize=9624976 CPUtime=0.57 cores=1,3,5,7
/proc/24459/task/24477/stat : 24477 (java) S 24457 24459 23289 0 -1 4202560 99 0 0 0 28 29 0 0 20 0 19 0 253563490 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239669533512 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24459/tid=24478] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24478/stat : 24478 (java) S 24457 24459 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253563536 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239668479272 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1732.97
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/211 24575
/proc/meminfo: memFree=29104308/32873852 swapFree=7616/7616
[pid=24459] ppid=24457 vsize=9624976 CPUtime=1793.25 cores=1,3,5,7
/proc/24459/stat : 24459 (java) S 24457 24459 23289 0 -1 4202496 17192 0 1 0 179231 94 0 0 20 0 19 0 253563484 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140735483738976 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24459/statm: 2406244 108659 2280 9 0 2396937 0
[pid=24459/tid=24461] ppid=24457 vsize=9624976 CPUtime=1754.82 cores=1,3,5,7
/proc/24459/task/24461/stat : 24461 (java) R 24457 24459 23289 0 -1 4202560 2804 0 1 0 175450 32 0 0 20 0 19 0 253563485 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240457130272 140240296244826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24462] ppid=24457 vsize=9624976 CPUtime=1.71 cores=1,3,5,7
/proc/24459/task/24462/stat : 24462 (java) S 24457 24459 23289 0 -1 4202560 430 0 0 0 166 5 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240418622120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24463] ppid=24457 vsize=9624976 CPUtime=1.55 cores=1,3,5,7
/proc/24459/task/24463/stat : 24463 (java) S 24457 24459 23289 0 -1 4202560 478 0 0 0 149 6 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240417569576 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24464] ppid=24457 vsize=9624976 CPUtime=1.69 cores=1,3,5,7
/proc/24459/task/24464/stat : 24464 (java) S 24457 24459 23289 0 -1 4202560 411 0 0 0 164 5 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240416517032 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24465] ppid=24457 vsize=9624976 CPUtime=1.52 cores=1,3,5,7
/proc/24459/task/24465/stat : 24465 (java) S 24457 24459 23289 0 -1 4202560 306 0 0 0 147 5 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240415464488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24466] ppid=24457 vsize=9624976 CPUtime=1.54 cores=1,3,5,7
/proc/24459/task/24466/stat : 24466 (java) S 24457 24459 23289 0 -1 4202560 295 0 0 0 150 4 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240414410920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24467] ppid=24457 vsize=9624976 CPUtime=1.61 cores=1,3,5,7
/proc/24459/task/24467/stat : 24467 (java) S 24457 24459 23289 0 -1 4202560 292 0 0 0 156 5 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240295553320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24459/tid=24468] ppid=24457 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/24459/task/24468/stat : 24468 (java) S 24457 24459 23289 0 -1 4202560 417 0 0 0 160 7 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240294500776 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24459/tid=24469] ppid=24457 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/24459/task/24469/stat : 24469 (java) S 24457 24459 23289 0 -1 4202560 317 0 0 0 161 6 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240293448232 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24470] ppid=24457 vsize=9624976 CPUtime=18.9 cores=1,3,5,7
/proc/24459/task/24470/stat : 24470 (java) S 24457 24459 23289 0 -1 4202560 157 0 0 0 1886 4 0 0 20 0 19 0 253563488 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240281250408 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24459/tid=24471] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24471/stat : 24471 (java) S 24457 24459 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253563488 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240280196728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24472] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24472/stat : 24472 (java) S 24457 24459 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253563488 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239674795656 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24473] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24473/stat : 24473 (java) S 24457 24459 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253563490 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239673744400 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24474] ppid=24457 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/24459/task/24474/stat : 24474 (java) S 24457 24459 23289 0 -1 4202560 4001 0 0 0 52 2 0 0 20 0 19 0 253563490 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239672690744 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24475] ppid=24457 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/24459/task/24475/stat : 24475 (java) S 24457 24459 23289 0 -1 4202560 6002 0 0 0 79 0 0 0 20 0 19 0 253563490 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239671638200 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24476] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24476/stat : 24476 (java) S 24457 24459 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253563490 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239670585848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24477] ppid=24457 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/24459/task/24477/stat : 24477 (java) S 24457 24459 23289 0 -1 4202560 103 0 0 0 29 30 0 0 20 0 19 0 253563490 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239669533512 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24478] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24478/stat : 24478 (java) S 24457 24459 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253563536 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239668479272 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1793.25
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.1 s]
/proc/loadavg: 1.99 1.98 1.91 3/211 24575
/proc/meminfo: memFree=29104184/32873852 swapFree=7616/7616
[pid=24459] ppid=24457 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/24459/stat : 24459 (java) S 24457 24459 23289 0 -1 4202496 17192 0 1 0 179911 94 0 0 20 0 19 0 253563484 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140735483738976 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24459/statm: 2406244 108659 2280 9 0 2396937 0
[pid=24459/tid=24461] ppid=24457 vsize=9624976 CPUtime=1761.61 cores=1,3,5,7
/proc/24459/task/24461/stat : 24461 (java) R 24457 24459 23289 0 -1 4202560 2804 0 1 0 176129 32 0 0 20 0 19 0 253563485 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240457130272 140240296509040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24462] ppid=24457 vsize=9624976 CPUtime=1.71 cores=1,3,5,7
/proc/24459/task/24462/stat : 24462 (java) S 24457 24459 23289 0 -1 4202560 430 0 0 0 166 5 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240418622120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24463] ppid=24457 vsize=9624976 CPUtime=1.55 cores=1,3,5,7
/proc/24459/task/24463/stat : 24463 (java) S 24457 24459 23289 0 -1 4202560 478 0 0 0 149 6 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240417569576 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24464] ppid=24457 vsize=9624976 CPUtime=1.69 cores=1,3,5,7
/proc/24459/task/24464/stat : 24464 (java) S 24457 24459 23289 0 -1 4202560 411 0 0 0 164 5 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240416517032 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24465] ppid=24457 vsize=9624976 CPUtime=1.52 cores=1,3,5,7
/proc/24459/task/24465/stat : 24465 (java) S 24457 24459 23289 0 -1 4202560 306 0 0 0 147 5 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240415464488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24466] ppid=24457 vsize=9624976 CPUtime=1.54 cores=1,3,5,7
/proc/24459/task/24466/stat : 24466 (java) S 24457 24459 23289 0 -1 4202560 295 0 0 0 150 4 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240414410920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24467] ppid=24457 vsize=9624976 CPUtime=1.61 cores=1,3,5,7
/proc/24459/task/24467/stat : 24467 (java) S 24457 24459 23289 0 -1 4202560 292 0 0 0 156 5 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240295553320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24459/tid=24468] ppid=24457 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/24459/task/24468/stat : 24468 (java) S 24457 24459 23289 0 -1 4202560 417 0 0 0 160 7 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240294500776 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24459/tid=24469] ppid=24457 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/24459/task/24469/stat : 24469 (java) S 24457 24459 23289 0 -1 4202560 317 0 0 0 161 6 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240293448232 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24470] ppid=24457 vsize=9624976 CPUtime=18.9 cores=1,3,5,7
/proc/24459/task/24470/stat : 24470 (java) S 24457 24459 23289 0 -1 4202560 157 0 0 0 1886 4 0 0 20 0 19 0 253563488 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240281250408 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24459/tid=24471] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24471/stat : 24471 (java) S 24457 24459 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253563488 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240280196728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24472] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24472/stat : 24472 (java) S 24457 24459 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253563488 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239674795656 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24473] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24473/stat : 24473 (java) S 24457 24459 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253563490 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239673744400 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24474] ppid=24457 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/24459/task/24474/stat : 24474 (java) S 24457 24459 23289 0 -1 4202560 4001 0 0 0 52 2 0 0 20 0 19 0 253563490 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239672690744 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24475] ppid=24457 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/24459/task/24475/stat : 24475 (java) S 24457 24459 23289 0 -1 4202560 6002 0 0 0 79 0 0 0 20 0 19 0 253563490 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239671638200 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24476] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24476/stat : 24476 (java) S 24457 24459 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253563490 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239670585848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24477] ppid=24457 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/24459/task/24477/stat : 24477 (java) S 24457 24459 23289 0 -1 4202560 103 0 0 0 29 31 0 0 20 0 19 0 253563490 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239669533512 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24478] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24478/stat : 24478 (java) S 24457 24459 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253563536 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239668479272 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1789.1 s]
/proc/loadavg: 1.99 1.98 1.91 3/211 24575
/proc/meminfo: memFree=29104184/32873852 swapFree=7616/7616
[pid=24459] ppid=24457 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/24459/stat : 24459 (java) S 24457 24459 23289 0 -1 4202496 17192 0 1 0 179911 94 0 0 20 0 19 0 253563484 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140735483738976 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24459/statm: 2406244 108659 2280 9 0 2396937 0
[pid=24459/tid=24461] ppid=24457 vsize=9624976 CPUtime=1761.61 cores=1,3,5,7
/proc/24459/task/24461/stat : 24461 (java) R 24457 24459 23289 0 -1 4202560 2804 0 1 0 176129 32 0 0 20 0 19 0 253563485 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240457130272 140240296509040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24462] ppid=24457 vsize=9624976 CPUtime=1.71 cores=1,3,5,7
/proc/24459/task/24462/stat : 24462 (java) S 24457 24459 23289 0 -1 4202560 430 0 0 0 166 5 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240418622120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24463] ppid=24457 vsize=9624976 CPUtime=1.55 cores=1,3,5,7
/proc/24459/task/24463/stat : 24463 (java) S 24457 24459 23289 0 -1 4202560 478 0 0 0 149 6 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240417569576 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24464] ppid=24457 vsize=9624976 CPUtime=1.69 cores=1,3,5,7
/proc/24459/task/24464/stat : 24464 (java) S 24457 24459 23289 0 -1 4202560 411 0 0 0 164 5 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240416517032 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24465] ppid=24457 vsize=9624976 CPUtime=1.52 cores=1,3,5,7
/proc/24459/task/24465/stat : 24465 (java) S 24457 24459 23289 0 -1 4202560 306 0 0 0 147 5 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240415464488 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24466] ppid=24457 vsize=9624976 CPUtime=1.54 cores=1,3,5,7
/proc/24459/task/24466/stat : 24466 (java) S 24457 24459 23289 0 -1 4202560 295 0 0 0 150 4 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240414410920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24467] ppid=24457 vsize=9624976 CPUtime=1.61 cores=1,3,5,7
/proc/24459/task/24467/stat : 24467 (java) S 24457 24459 23289 0 -1 4202560 292 0 0 0 156 5 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240295553320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24459/tid=24468] ppid=24457 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/24459/task/24468/stat : 24468 (java) S 24457 24459 23289 0 -1 4202560 417 0 0 0 160 7 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240294500776 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24459/tid=24469] ppid=24457 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/24459/task/24469/stat : 24469 (java) S 24457 24459 23289 0 -1 4202560 317 0 0 0 161 6 0 0 20 0 19 0 253563486 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240293448232 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24470] ppid=24457 vsize=9624976 CPUtime=18.9 cores=1,3,5,7
/proc/24459/task/24470/stat : 24470 (java) S 24457 24459 23289 0 -1 4202560 157 0 0 0 1886 4 0 0 20 0 19 0 253563488 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240281250408 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24459/tid=24471] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24471/stat : 24471 (java) S 24457 24459 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253563488 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140240280196728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24472] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24472/stat : 24472 (java) S 24457 24459 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253563488 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239674795656 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24473] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24473/stat : 24473 (java) S 24457 24459 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253563490 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239673744400 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24474] ppid=24457 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/24459/task/24474/stat : 24474 (java) S 24457 24459 23289 0 -1 4202560 4001 0 0 0 52 2 0 0 20 0 19 0 253563490 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239672690744 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24475] ppid=24457 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/24459/task/24475/stat : 24475 (java) S 24457 24459 23289 0 -1 4202560 6002 0 0 0 79 0 0 0 20 0 19 0 253563490 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239671638200 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24476] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24476/stat : 24476 (java) S 24457 24459 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253563490 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239670585848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24459/tid=24477] ppid=24457 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/24459/task/24477/stat : 24477 (java) S 24457 24459 23289 0 -1 4202560 103 0 0 0 29 31 0 0 20 0 19 0 253563490 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239669533512 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24459/tid=24478] ppid=24457 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24459/task/24478/stat : 24478 (java) S 24457 24459 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253563536 9855975424 108659 33554432000 1073741824 1073778376 140735483747840 140239668479272 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976

Child status: 143

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

Real time (s): 1789.16
CPU time (s): 1800.05
CPU user time (s): 1799.11
CPU system time (s): 0.94
CPU usage (%): 100.608
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.49
system time used= 1.2828
maximum resident set size= 434752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17222
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45965
involuntary context switches= 35315

runsolver used 6.06108 second user time and 15.9716 second system time

The end

Launcher Data 

Begin job on node131 at 2012-05-24 17:46:20
IDJOB=3687659
IDBENCH=2008
IDSOLVER=2269
FILE ID=node131/3687659-1337874380
RUNJOBID= node131-1337871881-23306
PBS_JOBID= 14620073
Free space on /tmp= 71600 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687659-1337874380/watcher-3687659-1337874380 -o /tmp/evaluation-result-3687659-1337874380/solver-3687659-1337874380 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687659-1337874380.opb

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

MD5SUM BENCH= c3720ea5d84e92b781414b36064971fe
RANDOM SEED=387823464

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        27922672 kB
Buffers:          208820 kB
Cached:          2127124 kB
SwapCached:            0 kB
Active:          2311740 kB
Inactive:        1840312 kB
Active(anon):    1818436 kB
Inactive(anon):        0 kB
Active(file):     493304 kB
Inactive(file):  1840312 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               976 kB
Writeback:             0 kB
AnonPages:       1853964 kB
Mapped:            22480 kB
Shmem:               204 kB
Slab:             628664 kB
SReclaimable:      71152 kB
SUnreclaim:       557512 kB
KernelStack:        1600 kB
PageTables:         7620 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    2840736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1800192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71600 MiB
End job on node131 at 2012-05-24 18:16:11