Trace number 3711288

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)33 1800.64 1793.65

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_15_errors.opb
MD5SUMb155444c97f18a8f3025da7494a3d01e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark49.9814
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.12	c configuring ORDERS
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=true
0.08/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3711288-1338183647.opb
0.08/0.13	c reading problem ... 
0.69/0.46	c ... done. Wall clock time 0.336s.
0.69/0.46	c declared #vars     584
0.69/0.46	c internal #vars     2990
0.69/0.46	c #constraints  5064
0.69/0.46	c constraints type 
0.69/0.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2104
0.69/0.46	c org.sat4j.minisat.constraints.cnf.UnitClauses => 32
0.69/0.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 436
0.69/0.46	c ignored satisfied constraints => 602
0.69/0.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 20
0.69/0.46	c org.sat4j.minisat.constraints.cnf.UnitClause => 66
0.69/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2406
0.69/0.46	c 5666 constraints processed.
1.80/1.13	c cleaning 2497 clauses out of 5002 with flag 5002/5002
2.26/1.50	c SATISFIABLE
2.26/1.50	c OPTIMIZING...
2.26/1.50	c Got one! Elapsed wall clock time (in seconds):1.372
2.26/1.50	o 49
2.59/1.81	c Got one! Elapsed wall clock time (in seconds):1.685
2.59/1.81	o 47
2.79/2.03	c cleaning 6338 clauses out of 12700 with flag 2000/15197
3.19/2.41	c cleaning 6183 clauses out of 12365 with flag 8003/21200
3.63/2.86	c cleaning 6582 clauses out of 13179 with flag 15000/28197
4.04/3.28	c cleaning 7291 clauses out of 14598 with flag 23001/36198
4.44/3.66	c cleaning 8150 clauses out of 16307 with flag 32001/45198
5.14/4.34	c cleaning 9073 clauses out of 18156 with flag 42000/55197
6.45/5.63	c cleaning 10037 clauses out of 20083 with flag 53000/66197
6.95/6.18	c cleaning 11024 clauses out of 22052 with flag 65006/78203
8.36/7.54	c cleaning 12010 clauses out of 24025 with flag 78003/91200
9.16/8.36	c Got one! Elapsed wall clock time (in seconds):8.23
9.16/8.36	o 45
9.36/8.55	c cleaning 11290 clauses out of 22593 with flag 5000/101778
9.67/8.85	c cleaning 8647 clauses out of 17303 with flag 11000/107778
10.07/9.20	c cleaning 7823 clauses out of 15656 with flag 18000/114778
10.67/9.84	c cleaning 7913 clauses out of 15834 with flag 26001/122779
10.97/10.18	c cleaning 8456 clauses out of 16921 with flag 35001/131779
11.47/10.69	c Got one! Elapsed wall clock time (in seconds):10.563
11.47/10.69	o 44
11.98/11.10	c cleaning 11207 clauses out of 22443 with flag 5001/145757
12.38/11.52	c cleaning 8613 clauses out of 17235 with flag 11000/151756
12.58/11.74	c cleaning 7808 clauses out of 15623 with flag 18001/158757
13.08/12.22	c cleaning 7901 clauses out of 15815 with flag 26001/166757
13.78/12.94	c cleaning 8452 clauses out of 16913 with flag 35000/175756
14.48/13.60	c cleaning 9225 clauses out of 18461 with flag 45000/185756
15.08/14.29	c cleaning 10116 clauses out of 20239 with flag 56003/196759
15.88/15.04	c cleaning 11052 clauses out of 22122 with flag 68002/208758
17.29/16.47	c cleaning 12023 clauses out of 24068 with flag 81000/221756
18.09/17.22	c Got one! Elapsed wall clock time (in seconds):17.093
18.09/17.22	o 43
18.09/17.26	c cleaning 8885 clauses out of 17778 with flag 1000/227489
18.33/17.47	c cleaning 7438 clauses out of 14894 with flag 7001/233490
18.65/17.79	c cleaning 7221 clauses out of 14457 with flag 14002/240491
19.25/18.37	c cleaning 7613 clauses out of 15237 with flag 22003/248492
20.05/19.17	c cleaning 8301 clauses out of 16622 with flag 31001/257490
20.65/19.72	c cleaning 9155 clauses out of 18321 with flag 41001/267490
21.36/20.41	c cleaning 10077 clauses out of 20166 with flag 52001/278490
21.97/21.03	c cleaning 11042 clauses out of 22089 with flag 64001/290490
22.88/21.90	c cleaning 12021 clauses out of 24048 with flag 77002/303491
24.29/23.32	c cleaning 13011 clauses out of 26025 with flag 91000/317489
26.62/25.68	c cleaning 14000 clauses out of 28015 with flag 106001/332490
29.03/28.05	c cleaning 15004 clauses out of 30015 with flag 122001/348490
30.15/29.15	c cleaning 15995 clauses out of 32010 with flag 139000/365489
31.05/30.02	c cleaning 17000 clauses out of 34016 with flag 157001/383490
32.65/31.61	c cleaning 18005 clauses out of 36016 with flag 176001/402490
35.84/34.83	c cleaning 18997 clauses out of 38010 with flag 196000/422489
38.16/37.12	c cleaning 19995 clauses out of 40014 with flag 217001/443490
38.36/37.38	c Got one! Elapsed wall clock time (in seconds):37.249
38.36/37.38	o 42
38.77/37.71	c cleaning 15424 clauses out of 30860 with flag 5001/454331
39.08/38.07	c cleaning 10710 clauses out of 21435 with flag 11000/460330
39.49/38.41	c cleaning 8858 clauses out of 17726 with flag 18001/467331
39.79/38.73	c cleaning 8429 clauses out of 16868 with flag 26001/475331
41.09/40.02	c cleaning 8710 clauses out of 17440 with flag 35002/484332
43.00/41.93	c cleaning 9352 clauses out of 18731 with flag 45003/494333
43.20/42.11	c Got one! Elapsed wall clock time (in seconds):41.986
43.20/42.11	o 41
43.30/42.28	c cleaning 7655 clauses out of 15317 with flag 5000/500271
43.60/42.54	c cleaning 6827 clauses out of 13663 with flag 11001/506272
43.90/42.80	c cleaning 6914 clauses out of 13836 with flag 18001/513272
44.21/43.11	c cleaning 7456 clauses out of 14921 with flag 26000/521271
44.51/43.49	c cleaning 8227 clauses out of 16466 with flag 35001/530272
45.11/44.01	c cleaning 9113 clauses out of 18238 with flag 45000/540271
45.61/44.52	c cleaning 10053 clauses out of 20126 with flag 56001/551272
46.13/45.08	c cleaning 11027 clauses out of 22072 with flag 68000/563271
46.93/45.86	c cleaning 12016 clauses out of 24046 with flag 81001/576272
47.74/46.68	c cleaning 13011 clauses out of 26031 with flag 95002/590273
48.75/47.68	c cleaning 14004 clauses out of 28019 with flag 110001/605272
50.66/49.52	c cleaning 14995 clauses out of 30014 with flag 126000/621271
52.25/51.18	c cleaning 16000 clauses out of 32020 with flag 143001/638272
53.75/52.62	c cleaning 17009 clauses out of 34019 with flag 161000/656271
56.46/55.35	c cleaning 18001 clauses out of 36010 with flag 180000/675271
57.66/56.51	c cleaning 18999 clauses out of 38009 with flag 200000/695271
59.36/58.20	c cleaning 19999 clauses out of 40010 with flag 221000/716271
61.67/60.58	c cleaning 21000 clauses out of 42011 with flag 243000/738271
66.18/65.01	c cleaning 21994 clauses out of 44012 with flag 266001/761272
70.08/68.98	c cleaning 23006 clauses out of 46017 with flag 290000/785271
71.90/70.71	c cleaning 24002 clauses out of 48013 with flag 315002/810273
74.03/72.82	c cleaning 25007 clauses out of 50014 with flag 341005/836276
75.95/74.74	c cleaning 25996 clauses out of 52003 with flag 368001/863272
78.26/77.06	c cleaning 27000 clauses out of 54007 with flag 396001/891272
84.26/83.02	c cleaning 27989 clauses out of 56007 with flag 425001/920272
86.57/85.34	c cleaning 29001 clauses out of 58019 with flag 455002/950273
89.47/88.26	c cleaning 30004 clauses out of 60016 with flag 486000/981271
94.17/92.97	c cleaning 30996 clauses out of 62012 with flag 518000/1013271
96.79/95.55	c cleaning 31997 clauses out of 64017 with flag 551001/1046272
100.21/98.99	c cleaning 33004 clauses out of 66019 with flag 585000/1080271
103.52/102.23	c cleaning 34004 clauses out of 68017 with flag 620002/1115273
107.93/106.70	c cleaning 35009 clauses out of 70017 with flag 656006/1151277
112.48/111.18	c cleaning 35993 clauses out of 72005 with flag 693003/1188274
116.91/115.58	c cleaning 36995 clauses out of 74012 with flag 731003/1226274
120.53/119.18	c cleaning 38000 clauses out of 76015 with flag 770001/1265272
123.54/122.19	c cleaning 38998 clauses out of 78016 with flag 810002/1305273
127.26/125.85	c cleaning 39999 clauses out of 80016 with flag 851000/1346271
132.16/130.72	c cleaning 41006 clauses out of 82017 with flag 893000/1388271
135.68/134.28	c cleaning 41996 clauses out of 84011 with flag 936000/1431271
141.87/140.45	c cleaning 42997 clauses out of 86016 with flag 980001/1475272
142.60/141.15	c Got one! Elapsed wall clock time (in seconds):141.023
142.60/141.15	o 40
142.80/141.34	c cleaning 24110 clauses out of 48234 with flag 1002/1480487
143.01/141.58	c cleaning 15057 clauses out of 30122 with flag 7000/1486485
143.22/141.79	c cleaning 11021 clauses out of 22065 with flag 14000/1493485
143.52/142.04	c cleaning 9516 clauses out of 19046 with flag 22002/1501487
143.82/142.30	c cleaning 9257 clauses out of 18528 with flag 31000/1510485
144.14/142.64	c cleaning 9630 clauses out of 19272 with flag 41001/1520486
146.05/144.57	c cleaning 10316 clauses out of 20642 with flag 52001/1531486
147.46/145.90	c cleaning 11153 clauses out of 22327 with flag 64002/1543487
148.66/147.17	c cleaning 12078 clauses out of 24173 with flag 77001/1556486
149.57/148.05	c cleaning 13035 clauses out of 26095 with flag 91001/1570486
150.58/149.01	c cleaning 14020 clauses out of 28061 with flag 106002/1585487
151.69/150.11	c cleaning 15005 clauses out of 30040 with flag 122001/1601486
152.70/151.17	c cleaning 16007 clauses out of 32037 with flag 139003/1618488
153.52/151.90	c cleaning 17009 clauses out of 34028 with flag 157001/1636486
154.31/152.76	c cleaning 18003 clauses out of 36018 with flag 176000/1655485
155.52/154.00	c cleaning 19001 clauses out of 38016 with flag 196001/1675486
156.83/155.28	c cleaning 20000 clauses out of 40014 with flag 217000/1696485
160.93/159.37	c cleaning 20985 clauses out of 42014 with flag 239000/1718485
165.94/164.39	c cleaning 22006 clauses out of 44031 with flag 262002/1741487
169.66/168.02	c cleaning 23007 clauses out of 46023 with flag 286000/1765485
172.38/170.79	c cleaning 23990 clauses out of 48016 with flag 311000/1790485
174.18/172.59	c cleaning 24999 clauses out of 50026 with flag 337000/1816485
176.59/174.91	c cleaning 26000 clauses out of 52027 with flag 364000/1843485
178.80/177.13	c cleaning 26994 clauses out of 54027 with flag 392000/1871485
180.70/179.00	c cleaning 28005 clauses out of 56034 with flag 421001/1900486
183.23/181.58	c cleaning 28999 clauses out of 58028 with flag 451000/1930485
185.74/184.06	c cleaning 29999 clauses out of 60029 with flag 482000/1961485
188.25/186.59	c cleaning 31005 clauses out of 62034 with flag 514004/1993489
188.65/186.91	c Got one! Elapsed wall clock time (in seconds):186.787
188.65/186.91	o 39
188.86/187.15	c cleaning 18252 clauses out of 36522 with flag 2001/1998982
189.27/187.52	c cleaning 12127 clauses out of 24271 with flag 8002/2004983
189.78/188.09	c cleaning 9553 clauses out of 19142 with flag 15000/2011981
190.39/188.68	c cleaning 8787 clauses out of 17590 with flag 23001/2019982
190.80/189.09	c cleaning 8899 clauses out of 17806 with flag 32004/2028985
192.02/190.22	c cleaning 9440 clauses out of 18903 with flag 42000/2038981
193.53/191.74	c cleaning 10223 clauses out of 20464 with flag 53001/2049982
194.05/192.26	c cleaning 11113 clauses out of 22241 with flag 65001/2061982
194.67/192.86	c cleaning 12054 clauses out of 24128 with flag 78001/2074982
195.47/193.63	c cleaning 13030 clauses out of 26075 with flag 92002/2088983
196.68/194.88	c cleaning 14021 clauses out of 28044 with flag 107001/2103982
197.59/195.77	c cleaning 14998 clauses out of 30022 with flag 123000/2119981
199.49/197.64	c cleaning 15997 clauses out of 32025 with flag 140001/2136982
202.11/200.24	c cleaning 16996 clauses out of 34027 with flag 158000/2154981
204.92/203.03	c cleaning 17996 clauses out of 36031 with flag 177000/2173981
207.32/205.40	c cleaning 19011 clauses out of 38036 with flag 197001/2193982
208.14/206.28	c cleaning 20004 clauses out of 40024 with flag 218000/2214981
209.54/207.60	c cleaning 20997 clauses out of 42020 with flag 240000/2236981
210.86/208.90	c cleaning 22001 clauses out of 44025 with flag 263002/2259983
212.07/210.13	c cleaning 23001 clauses out of 46022 with flag 287000/2283981
213.39/211.41	c cleaning 24004 clauses out of 48021 with flag 312000/2308981
215.41/213.41	c cleaning 25005 clauses out of 50020 with flag 338003/2334984
216.62/214.68	c Got one! Elapsed wall clock time (in seconds):214.551
216.62/214.68	o 38
216.81/214.85	c cleaning 18653 clauses out of 37323 with flag 5000/2347292
217.01/215.06	c cleaning 12329 clauses out of 24672 with flag 11002/2353294
217.23/215.29	c cleaning 9664 clauses out of 19342 with flag 18001/2360293
217.54/215.55	c cleaning 8835 clauses out of 17677 with flag 26000/2368292
217.84/215.84	c cleaning 8914 clauses out of 17843 with flag 35001/2377293
218.14/216.18	c cleaning 9457 clauses out of 18929 with flag 45001/2387293
218.54/216.51	c cleaning 10231 clauses out of 20472 with flag 56001/2398293
219.05/217.04	c cleaning 11109 clauses out of 22240 with flag 68000/2410292
219.65/217.64	c cleaning 12062 clauses out of 24133 with flag 81002/2423294
220.65/218.69	c cleaning 13024 clauses out of 26070 with flag 95001/2437293
222.97/220.94	c cleaning 14012 clauses out of 28045 with flag 110000/2452292
223.97/221.98	c cleaning 15008 clauses out of 30033 with flag 126000/2468292
225.18/223.17	c cleaning 16003 clauses out of 32027 with flag 143002/2485294
226.28/224.29	c cleaning 17004 clauses out of 34023 with flag 161001/2503293
227.61/225.57	c cleaning 17999 clauses out of 36020 with flag 180002/2522294
229.12/227.06	c cleaning 19003 clauses out of 38020 with flag 200001/2542293
231.52/229.47	c cleaning 20003 clauses out of 40017 with flag 221001/2563293
232.95/230.85	c cleaning 20998 clauses out of 42016 with flag 243003/2585295
234.55/232.49	c cleaning 21997 clauses out of 44015 with flag 266000/2608292
235.99/233.88	c cleaning 23001 clauses out of 46020 with flag 290002/2632294
237.80/235.65	c cleaning 24009 clauses out of 48017 with flag 315000/2657292
241.12/238.95	c cleaning 24970 clauses out of 50009 with flag 341001/2683293
245.23/243.07	c cleaning 25977 clauses out of 52038 with flag 368000/2710292
249.45/247.23	c cleaning 27015 clauses out of 54061 with flag 396000/2738292
253.88/251.63	c cleaning 28012 clauses out of 56047 with flag 425001/2767293
259.19/256.98	c cleaning 29002 clauses out of 58037 with flag 455003/2797295
264.49/262.24	c cleaning 29992 clauses out of 60032 with flag 486000/2828292
270.20/267.98	c cleaning 31001 clauses out of 62041 with flag 518001/2860293
276.81/274.53	c cleaning 31990 clauses out of 64039 with flag 551000/2893292
283.84/281.60	c cleaning 33002 clauses out of 66049 with flag 585000/2927292
291.35/289.07	c cleaning 33989 clauses out of 68047 with flag 620000/2962292
297.56/295.22	c cleaning 35030 clauses out of 70059 with flag 656001/2998293
300.98/298.67	c cleaning 36000 clauses out of 72028 with flag 693000/3035292
307.09/304.79	c cleaning 37008 clauses out of 74029 with flag 731001/3073293
310.58/308.25	c cleaning 38005 clauses out of 76023 with flag 770003/3112295
313.71/311.39	c cleaning 39002 clauses out of 78016 with flag 810001/3152293
317.41/315.05	c cleaning 39983 clauses out of 80014 with flag 851001/3193293
325.52/323.13	c cleaning 41003 clauses out of 82031 with flag 893001/3235293
330.45/328.01	c cleaning 42007 clauses out of 84029 with flag 936002/3278294
334.16/331.78	c cleaning 43007 clauses out of 86022 with flag 980002/3322294
339.48/337.02	c cleaning 44001 clauses out of 88015 with flag 1025002/3367294
344.81/342.31	c cleaning 44995 clauses out of 90013 with flag 1071001/3413293
351.05/348.58	c cleaning 45993 clauses out of 92017 with flag 1118000/3460292
358.06/355.57	c cleaning 47003 clauses out of 94025 with flag 1166001/3508293
365.30/362.76	c cleaning 47987 clauses out of 96022 with flag 1215001/3557293
375.01/372.40	c cleaning 48982 clauses out of 98034 with flag 1265000/3607292
387.53/384.97	c cleaning 50020 clauses out of 100052 with flag 1316000/3658292
391.98/389.33	c cleaning 51006 clauses out of 102033 with flag 1368001/3710293
396.70/394.01	c cleaning 52010 clauses out of 104032 with flag 1421006/3763298
400.92/398.22	c cleaning 52998 clauses out of 106018 with flag 1475002/3817294
406.22/403.56	c cleaning 54004 clauses out of 108020 with flag 1530002/3872294
412.63/409.91	c cleaning 55000 clauses out of 110014 with flag 1586000/3928292
417.98/415.20	c cleaning 55996 clauses out of 112014 with flag 1643000/3985292
426.88/424.12	c cleaning 56990 clauses out of 114018 with flag 1701000/4043292
437.59/434.88	c cleaning 57986 clauses out of 116028 with flag 1760000/4102292
449.30/446.60	c cleaning 58999 clauses out of 118042 with flag 1820000/4162292
462.42/459.66	c cleaning 60005 clauses out of 120046 with flag 1881003/4223295
476.73/473.95	c cleaning 61004 clauses out of 122040 with flag 1943002/4285294
491.38/488.56	c cleaning 61995 clauses out of 124035 with flag 2006001/4348293
506.80/503.97	c cleaning 63003 clauses out of 126039 with flag 2070000/4412292
523.04/520.19	c cleaning 64004 clauses out of 128036 with flag 2135000/4477292
531.47/528.55	c cleaning 65011 clauses out of 130034 with flag 2201002/4543294
541.99/539.09	c cleaning 65988 clauses out of 132022 with flag 2268001/4610293
547.61/544.64	c cleaning 67006 clauses out of 134035 with flag 2336002/4678294
558.43/555.48	c cleaning 68006 clauses out of 136028 with flag 2405001/4747293
570.54/567.56	c cleaning 68988 clauses out of 138022 with flag 2475001/4817293
589.27/586.20	c cleaning 69996 clauses out of 140033 with flag 2546000/4888292
604.28/601.25	c cleaning 71010 clauses out of 142037 with flag 2618000/4960292
614.60/611.51	c cleaning 72003 clauses out of 144027 with flag 2691000/5033292
625.42/622.37	c cleaning 73000 clauses out of 146026 with flag 2765002/5107294
637.36/634.21	c cleaning 73996 clauses out of 148026 with flag 2840002/5182294
656.59/653.41	c cleaning 74994 clauses out of 150029 with flag 2916001/5258293
680.20/677.02	c cleaning 75978 clauses out of 152034 with flag 2993000/5335292
702.01/698.83	c cleaning 76985 clauses out of 154056 with flag 3071000/5413292
720.24/717.08	c cleaning 78031 clauses out of 156075 with flag 3150004/5492296
734.48/731.27	c cleaning 79011 clauses out of 158041 with flag 3230001/5572293
747.02/743.79	c cleaning 80008 clauses out of 160030 with flag 3311001/5653293
757.63/754.38	c cleaning 81003 clauses out of 162024 with flag 3393003/5735295
769.35/766.02	c cleaning 81999 clauses out of 164019 with flag 3476001/5818293
780.39/777.09	c cleaning 83001 clauses out of 166020 with flag 3560001/5902293
793.02/789.69	c cleaning 84003 clauses out of 168024 with flag 3645006/5987298
825.75/822.39	c cleaning 84994 clauses out of 170017 with flag 3731002/6073294
855.75/852.26	c cleaning 85991 clauses out of 172021 with flag 3818000/6160292
883.88/880.36	c cleaning 87001 clauses out of 174031 with flag 3906001/6248293
913.22/909.63	c cleaning 88002 clauses out of 176030 with flag 3995001/6337293
944.06/940.44	c cleaning 89007 clauses out of 178027 with flag 4085000/6427292
975.69/972.10	c cleaning 89989 clauses out of 180020 with flag 4176000/6518292
997.10/993.42	c Got one! Elapsed wall clock time (in seconds):993.293
997.10/993.42	o 37
997.80/994.20	c cleaning 80292 clauses out of 160589 with flag 5000/6588850
998.72/995.02	c cleaning 43142 clauses out of 86298 with flag 11001/6594851
999.32/995.60	c cleaning 25068 clauses out of 50155 with flag 18000/6601850
999.73/996.02	c cleaning 16536 clauses out of 33087 with flag 26000/6609850
1000.15/996.40	c cleaning 12769 clauses out of 25552 with flag 35001/6618851
1000.48/996.78	c cleaning 11382 clauses out of 22782 with flag 45000/6628850
1000.98/997.23	c cleaning 11189 clauses out of 22401 with flag 56001/6639851
1001.49/997.74	c cleaning 11595 clauses out of 23212 with flag 68001/6651851
1002.11/998.33	c cleaning 12298 clauses out of 24617 with flag 81001/6664851
1002.81/999.00	c cleaning 13155 clauses out of 26320 with flag 95002/6678852
1003.52/999.79	c cleaning 14074 clauses out of 28163 with flag 110000/6693850
1004.56/1000.74	c cleaning 15034 clauses out of 30090 with flag 126001/6709851
1005.68/1001.81	c cleaning 16023 clauses out of 32057 with flag 143002/6726852
1006.70/1002.85	c cleaning 17010 clauses out of 34034 with flag 161002/6744852
1008.00/1004.15	c cleaning 18007 clauses out of 36024 with flag 180002/6763852
1009.82/1005.95	c cleaning 18991 clauses out of 38017 with flag 200002/6783852
1011.24/1007.34	c cleaning 20010 clauses out of 40024 with flag 221000/6804850
1013.34/1009.40	c cleaning 20981 clauses out of 42015 with flag 243001/6826851
1015.45/1011.52	c cleaning 22011 clauses out of 44035 with flag 266002/6849852
1016.76/1012.84	c cleaning 23007 clauses out of 46022 with flag 290000/6873850
1020.88/1016.94	c cleaning 23994 clauses out of 48016 with flag 315001/6898851
1025.50/1021.60	c cleaning 25002 clauses out of 50022 with flag 341001/6924851
1028.21/1024.29	c cleaning 26004 clauses out of 52020 with flag 368001/6951851
1033.32/1029.35	c cleaning 26999 clauses out of 54016 with flag 396001/6979851
1037.85/1033.86	c cleaning 27977 clauses out of 56017 with flag 425001/7008851
1042.56/1038.54	c cleaning 29006 clauses out of 58039 with flag 455000/7038850
1046.46/1042.41	c cleaning 30005 clauses out of 60033 with flag 486000/7069850
1051.98/1047.91	c cleaning 31004 clauses out of 62028 with flag 518000/7101850
1056.79/1052.77	c cleaning 32005 clauses out of 64026 with flag 551002/7134852
1062.41/1058.39	c cleaning 32995 clauses out of 66019 with flag 585000/7168850
1065.91/1061.88	c cleaning 34010 clauses out of 68025 with flag 620001/7203851
1069.81/1065.80	c cleaning 35000 clauses out of 70017 with flag 656003/7239853
1073.93/1069.83	c cleaning 36005 clauses out of 72014 with flag 693000/7276850
1077.87/1073.78	c cleaning 37003 clauses out of 74013 with flag 731004/7314854
1082.18/1078.00	c cleaning 38003 clauses out of 76007 with flag 770001/7353851
1085.90/1081.73	c Got one! Elapsed wall clock time (in seconds):1081.602
1085.90/1081.73	o 36
1086.80/1082.66	c cleaning 40496 clauses out of 80992 with flag 5000/7396839
1087.83/1083.65	c cleaning 23241 clauses out of 46497 with flag 11001/7402840
1088.96/1084.75	c cleaning 15121 clauses out of 30255 with flag 18000/7409839
1090.25/1086.01	c cleaning 11557 clauses out of 23134 with flag 26000/7417839
1091.56/1087.34	c cleaning 10278 clauses out of 20577 with flag 35000/7426839
1093.08/1088.82	c cleaning 10122 clauses out of 20299 with flag 45000/7436839
1094.88/1090.63	c cleaning 10571 clauses out of 21177 with flag 56000/7447839
1096.59/1092.38	c Got one! Elapsed wall clock time (in seconds):1092.251
1096.59/1092.38	o 35
1096.88/1092.67	c cleaning 13798 clauses out of 27604 with flag 5002/7464837
1097.09/1092.89	c cleaning 9894 clauses out of 19804 with flag 11000/7470835
1097.42/1093.14	c cleaning 8446 clauses out of 16910 with flag 18000/7477835
1097.72/1093.44	c cleaning 8226 clauses out of 16464 with flag 26000/7485835
1098.02/1093.73	c cleaning 8611 clauses out of 17238 with flag 35000/7494835
1098.44/1094.12	c cleaning 9303 clauses out of 18627 with flag 45000/7504835
1098.85/1094.53	c cleaning 10152 clauses out of 20326 with flag 56002/7515837
1099.36/1095.01	c cleaning 11076 clauses out of 22172 with flag 68000/7527835
1099.87/1095.51	c cleaning 12037 clauses out of 24096 with flag 81000/7540835
1100.38/1096.09	c cleaning 13022 clauses out of 26059 with flag 95000/7554835
1101.09/1096.79	c cleaning 14008 clauses out of 28038 with flag 110001/7569836
1101.89/1097.50	c cleaning 15008 clauses out of 30031 with flag 126002/7585837
1102.52/1098.19	c cleaning 16002 clauses out of 32023 with flag 143002/7602837
1103.52/1099.17	c cleaning 17002 clauses out of 34019 with flag 161000/7620835
1104.93/1100.50	c cleaning 17999 clauses out of 36017 with flag 180000/7639835
1106.33/1101.94	c cleaning 18997 clauses out of 38018 with flag 200000/7659835
1107.65/1103.29	c cleaning 19999 clauses out of 40021 with flag 221000/7680835
1108.86/1104.46	c cleaning 21003 clauses out of 42025 with flag 243003/7702838
1110.07/1105.61	c cleaning 22002 clauses out of 44019 with flag 266000/7725835
1111.77/1107.30	c cleaning 22995 clauses out of 46017 with flag 290000/7749835
1115.09/1110.64	c cleaning 23986 clauses out of 48024 with flag 315002/7774837
1119.30/1114.87	c cleaning 25009 clauses out of 50037 with flag 341001/7800836
1123.71/1119.22	c cleaning 26009 clauses out of 52030 with flag 368003/7827838
1127.16/1122.67	c cleaning 27006 clauses out of 54021 with flag 396003/7855838
1132.07/1127.53	c cleaning 27967 clauses out of 56012 with flag 425000/7884835
1137.28/1132.73	c cleaning 28987 clauses out of 58045 with flag 455000/7914835
1142.70/1138.14	c cleaning 30022 clauses out of 60059 with flag 486001/7945836
1149.41/1144.81	c cleaning 30982 clauses out of 62038 with flag 518002/7977837
1155.62/1151.06	c cleaning 32002 clauses out of 64054 with flag 551000/8010835
1163.32/1158.72	c cleaning 33013 clauses out of 66052 with flag 585000/8044835
1171.54/1166.94	c cleaning 34003 clauses out of 68039 with flag 620000/8079835
1180.05/1175.45	c cleaning 34994 clauses out of 70036 with flag 656000/8115835
1188.47/1183.81	c cleaning 35999 clauses out of 72042 with flag 693000/8152835
1197.57/1192.97	c cleaning 37003 clauses out of 74043 with flag 731000/8190835
1206.82/1202.11	c cleaning 38014 clauses out of 76041 with flag 770001/8229836
1209.85/1205.17	c cleaning 39005 clauses out of 78026 with flag 810000/8269835
1211.96/1207.27	c Got one! Elapsed wall clock time (in seconds):1207.14
1211.96/1207.27	o 34
1212.27/1207.60	c cleaning 34011 clauses out of 68034 with flag 5000/8298848
1212.60/1207.86	c cleaning 20007 clauses out of 40024 with flag 11001/8304849
1212.92/1208.12	c cleaning 13504 clauses out of 27016 with flag 18000/8311848
1213.13/1208.36	c cleaning 10749 clauses out of 21513 with flag 26001/8319849
1213.45/1208.65	c cleaning 9873 clauses out of 19765 with flag 35002/8328850
1213.78/1208.97	c cleaning 9940 clauses out of 19892 with flag 45002/8338850
1214.19/1209.31	c cleaning 10473 clauses out of 20951 with flag 56001/8349849
1214.60/1209.74	c cleaning 11237 clauses out of 22477 with flag 68000/8361848
1215.12/1210.21	c cleaning 12114 clauses out of 24242 with flag 81002/8374850
1215.52/1210.66	c cleaning 13062 clauses out of 26128 with flag 95002/8388850
1216.14/1211.21	c cleaning 14031 clauses out of 28064 with flag 110000/8403848
1216.74/1211.84	c cleaning 15015 clauses out of 30033 with flag 126000/8419848
1217.54/1212.62	c cleaning 16007 clauses out of 32018 with flag 143000/8436848
1218.36/1213.45	c cleaning 17005 clauses out of 34011 with flag 161000/8454848
1219.16/1214.28	c cleaning 17997 clauses out of 36006 with flag 180000/8473848
1220.17/1215.21	c cleaning 19006 clauses out of 38011 with flag 200002/8493850
1221.17/1216.25	c cleaning 19999 clauses out of 40003 with flag 221000/8514848
1222.28/1217.39	c cleaning 21002 clauses out of 42007 with flag 243003/8536851
1223.59/1218.62	c cleaning 22002 clauses out of 44003 with flag 266001/8559849
1224.90/1219.92	c cleaning 22995 clauses out of 46000 with flag 290000/8583848
1226.41/1221.44	c cleaning 23998 clauses out of 48006 with flag 315001/8608849
1227.81/1222.83	c cleaning 25004 clauses out of 50010 with flag 341003/8634851
1229.32/1224.33	c cleaning 25999 clauses out of 52003 with flag 368000/8661848
1230.92/1225.98	c cleaning 27000 clauses out of 54004 with flag 396000/8689848
1232.74/1227.74	c cleaning 28000 clauses out of 56009 with flag 425005/8718853
1234.25/1229.29	c cleaning 29003 clauses out of 58005 with flag 455001/8748849
1235.98/1230.95	c cleaning 29998 clauses out of 60003 with flag 486002/8779850
1238.08/1233.00	c cleaning 30995 clauses out of 62004 with flag 518001/8811849
1240.19/1235.19	c cleaning 32004 clauses out of 64008 with flag 551000/8844848
1242.80/1237.72	c cleaning 33003 clauses out of 66006 with flag 585002/8878850
1245.12/1240.08	c cleaning 33996 clauses out of 68002 with flag 620001/8913849
1247.74/1242.64	c cleaning 34996 clauses out of 70006 with flag 656001/8949849
1249.85/1244.70	c cleaning 36007 clauses out of 72013 with flag 693004/8986852
1252.88/1247.79	c cleaning 37001 clauses out of 74002 with flag 731000/9024848
1257.10/1251.99	c cleaning 38000 clauses out of 76002 with flag 770001/9063849
1260.73/1255.50	c cleaning 39000 clauses out of 78002 with flag 810001/9103849
1265.34/1260.14	c cleaning 39997 clauses out of 80002 with flag 851001/9144849
1269.96/1264.72	c cleaning 41002 clauses out of 82004 with flag 893000/9186848
1274.17/1268.97	c cleaning 42001 clauses out of 84002 with flag 936000/9229848
1278.50/1273.29	c cleaning 42997 clauses out of 86002 with flag 980001/9273849
1283.23/1277.91	c cleaning 43994 clauses out of 88004 with flag 1025000/9318848
1287.84/1282.52	c cleaning 44998 clauses out of 90011 with flag 1071001/9364849
1292.76/1287.44	c cleaning 10383 clauses out of 20790 with flag 1118002/9411850
1298.99/1293.67	c cleaning 29189 clauses out of 58405 with flag 1166000/9459848
1307.21/1301.85	c cleaning 39092 clauses out of 78216 with flag 1215000/9508848
1317.44/1312.05	c cleaning 44545 clauses out of 89124 with flag 1265000/9558848
1329.26/1323.83	c cleaning 47780 clauses out of 95579 with flag 1316000/9609848
1341.72/1336.23	c cleaning 49874 clauses out of 99799 with flag 1368000/9661848
1355.73/1350.25	c cleaning 51441 clauses out of 102925 with flag 1421000/9714848
1368.74/1363.26	c cleaning 52728 clauses out of 105485 with flag 1475001/9768849
1382.16/1376.63	c cleaning 53868 clauses out of 107757 with flag 1530001/9823849
1395.98/1390.48	c cleaning 54929 clauses out of 109888 with flag 1586000/9879848
1411.00/1405.49	c cleaning 55940 clauses out of 111959 with flag 1643000/9936848
1426.53/1420.93	c cleaning 56963 clauses out of 114021 with flag 1701002/9994850
1442.74/1437.16	c cleaning 58010 clauses out of 116057 with flag 1760001/10053849
1459.35/1453.73	c cleaning 58984 clauses out of 118046 with flag 1820000/10113848
1476.48/1470.85	c cleaning 59992 clauses out of 120063 with flag 1881001/10174849
1494.09/1488.40	c cleaning 60997 clauses out of 122072 with flag 1943002/10236850
1514.79/1509.16	c cleaning 62025 clauses out of 124074 with flag 2006001/10299849
1533.89/1528.28	c cleaning 63002 clauses out of 126049 with flag 2070001/10363849
1553.51/1547.87	c cleaning 63988 clauses out of 128046 with flag 2135000/10428848
1576.53/1570.88	c cleaning 64981 clauses out of 130059 with flag 2201001/10494849
1593.94/1588.26	c cleaning 66034 clauses out of 132080 with flag 2268003/10561851
1603.06/1597.31	c cleaning 67015 clauses out of 134045 with flag 2336002/10629850
1609.19/1603.47	c cleaning 68008 clauses out of 136029 with flag 2405001/10698849
1618.90/1613.14	c cleaning 69003 clauses out of 138020 with flag 2475000/10768848
1641.43/1635.63	c cleaning 70005 clauses out of 140017 with flag 2546000/10839848
1658.68/1652.82	c cleaning 71001 clauses out of 142016 with flag 2618004/10911852
1669.41/1663.55	c Got one! Elapsed wall clock time (in seconds):1663.428
1669.41/1663.55	o 33
1669.91/1664.04	c cleaning 60291 clauses out of 120586 with flag 5001/10961423
1670.34/1664.45	c cleaning 33140 clauses out of 66295 with flag 11001/10967423
1670.86/1664.97	c cleaning 20071 clauses out of 40154 with flag 18000/10974422
1671.37/1665.42	c cleaning 14036 clauses out of 28083 with flag 26000/10982422
1671.87/1665.98	c cleaning 11519 clauses out of 23049 with flag 35002/10991424
1672.78/1666.84	c cleaning 10760 clauses out of 21530 with flag 45002/11001424
1674.00/1668.05	c cleaning 10874 clauses out of 21768 with flag 56000/11012422
1675.33/1669.33	c cleaning 11433 clauses out of 22894 with flag 68000/11024422
1676.75/1670.76	c cleaning 12215 clauses out of 24461 with flag 81000/11037422
1678.55/1672.51	c cleaning 13114 clauses out of 26248 with flag 95002/11051424
1680.76/1674.76	c cleaning 14027 clauses out of 28133 with flag 110001/11066423
1683.06/1677.01	c cleaning 15028 clauses out of 30105 with flag 126000/11082422
1685.67/1679.65	c cleaning 16028 clauses out of 32077 with flag 143000/11099422
1688.61/1682.53	c cleaning 16976 clauses out of 34050 with flag 161001/11117423
1691.71/1685.66	c cleaning 18022 clauses out of 36073 with flag 180000/11136422
1694.32/1688.29	c cleaning 19001 clauses out of 38051 with flag 200000/11156422
1697.33/1691.21	c cleaning 20009 clauses out of 40050 with flag 221000/11177422
1700.25/1694.16	c cleaning 21014 clauses out of 42041 with flag 243000/11199422
1701.45/1695.35	c cleaning 22009 clauses out of 44027 with flag 266000/11222422
1703.16/1697.00	c cleaning 23005 clauses out of 46018 with flag 290000/11246422
1704.98/1698.84	c cleaning 24006 clauses out of 48013 with flag 315000/11271422
1707.10/1700.91	c cleaning 25003 clauses out of 50007 with flag 341000/11297422
1709.22/1703.09	c cleaning 26002 clauses out of 52004 with flag 368000/11324422
1711.53/1705.36	c cleaning 27001 clauses out of 54002 with flag 396000/11352422
1714.24/1708.04	c cleaning 27997 clauses out of 56001 with flag 425000/11381422
1716.94/1710.73	c cleaning 29003 clauses out of 58005 with flag 455001/11411423
1720.65/1714.47	c cleaning 29984 clauses out of 60001 with flag 486000/11442422
1725.58/1719.39	c cleaning 31003 clauses out of 62018 with flag 518001/11474423
1730.68/1724.49	c cleaning 31986 clauses out of 64014 with flag 551000/11507422
1734.78/1728.56	c cleaning 33008 clauses out of 66030 with flag 585002/11541424
1737.59/1731.31	c cleaning 33998 clauses out of 68020 with flag 620000/11576422
1740.60/1734.36	c cleaning 35004 clauses out of 70023 with flag 656001/11612423
1745.44/1739.11	c cleaning 35995 clauses out of 72020 with flag 693002/11649424
1749.96/1743.65	c cleaning 36995 clauses out of 74023 with flag 731000/11687422
1757.17/1750.89	c cleaning 37998 clauses out of 76028 with flag 770000/11726422
1765.78/1759.44	c cleaning 39001 clauses out of 78030 with flag 810000/11766422
1771.79/1765.47	c cleaning 40005 clauses out of 80030 with flag 851001/11807423
1778.00/1771.69	c cleaning 41005 clauses out of 82027 with flag 893003/11849425
1783.12/1776.70	c cleaning 41992 clauses out of 84019 with flag 936000/11892422
1787.85/1781.43	c cleaning 43001 clauses out of 86027 with flag 980000/11936422
1793.16/1786.76	c cleaning 43996 clauses out of 88026 with flag 1025000/11981422
1797.98/1791.50	c cleaning 45001 clauses out of 90030 with flag 1071000/12027422
1800.10/1793.61	c starts		: 338
1800.10/1793.61	c conflicts		: 12041277
1800.10/1793.61	c decisions		: 13252786
1800.10/1793.61	c propagations		: 938982628
1800.10/1793.61	c inspects		: 20514519300
1800.10/1793.61	c shortcuts		: 0
1800.10/1793.61	c learnt literals	: 1
1800.10/1793.61	c learnt binary clauses	: 49
1800.10/1793.61	c learnt ternary clauses	: 139
1800.10/1793.61	c learnt constraints	: 12041276
1800.10/1793.61	c ignored constraints	: 0
1800.10/1793.61	c root simplifications	: 339
1800.10/1793.61	c removed literals (reason simplification)	: 33584691
1800.10/1793.61	c reason swapping (by a shorter reason)	: 0
1800.10/1793.61	c Calls to reduceDB	: 412
1800.10/1793.61	c number of reductions to clauses (during analyze)	: 0
1800.10/1793.61	c number of learned constraints concerned by reduction	: 0
1800.10/1793.61	c number of learning phase by resolution	: 0
1800.10/1793.61	c number of learning phase by cutting planes	: 0
1800.10/1793.61	c speed (assignments/second)	: 523653.2014528712
1800.10/1793.61	c non guided choices	1846
1800.10/1793.63	c learnt constraints type 
1800.10/1793.63	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 45
1800.10/1793.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 58867
1800.10/1793.63	c constraints type 
1800.10/1793.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2104
1800.10/1793.63	c org.sat4j.minisat.constraints.cnf.UnitClauses => 32
1800.10/1793.63	c org.sat4j.minisat.constraints.card.MinWatchCard => 437
1800.10/1793.63	c ignored satisfied constraints => 602
1800.10/1793.63	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 20
1800.10/1793.63	c org.sat4j.minisat.constraints.cnf.UnitClause => 66
1800.10/1793.63	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2406
1800.10/1793.63	c 5667 constraints processed.
1800.10/1793.63	s SATISFIABLE
1800.10/1793.63	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 
1800.10/1793.63	c objective function=33
1800.10/1793.63	c Total wall clock time (in seconds): 1793.508

Verifier Data 

OK	33

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 15973
/proc/meminfo: memFree=30599588/32873844 swapFree=7372/7372
[pid=15973] ppid=15971 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/15973/stat : 15973 (java) D 15971 15973 12979 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 284490832 9515008 183 33554432000 1073741824 1073778376 140736605827504 140736605818536 251032059573 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/15973/statm: 2323 183 140 9 0 71 0

[startup+0.103456 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 15973
/proc/meminfo: memFree=30599588/32873844 swapFree=7372/7372
[pid=15973] ppid=15971 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/15973/stat : 15973 (java) S 15971 15973 12979 0 -1 4202496 4237 0 1 0 7 1 0 0 20 0 18 0 284490832 9787842560 5444 33554432000 1073741824 1073778376 140734998307872 140734998299008 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15973/statm: 2389610 5444 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.200251 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 15973
/proc/meminfo: memFree=30599588/32873844 swapFree=7372/7372
[pid=15973] ppid=15971 vsize=9558440 CPUtime=0.23 cores=0,2,4,6
/proc/15973/stat : 15973 (java) S 15971 15973 12979 0 -1 4202496 4600 0 1 0 22 1 0 0 20 0 18 0 284490832 9787842560 6318 33554432000 1073741824 1073778376 140734998307872 140734998299008 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15973/statm: 2389610 6318 2207 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558440

[startup+0.300251 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 15973
/proc/meminfo: memFree=30599588/32873844 swapFree=7372/7372
[pid=15973] ppid=15971 vsize=9558440 CPUtime=0.46 cores=0,2,4,6
/proc/15973/stat : 15973 (java) S 15971 15973 12979 0 -1 4202496 5333 0 1 0 44 2 0 0 20 0 18 0 284490832 9787842560 8103 33554432000 1073741824 1073778376 140734998307872 140734998299008 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15973/statm: 2389610 8103 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558440

[startup+0.700228 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 15973
/proc/meminfo: memFree=30599588/32873844 swapFree=7372/7372
[pid=15973] ppid=15971 vsize=9625004 CPUtime=1.34 cores=0,2,4,6
/proc/15973/stat : 15973 (java) S 15971 15973 12979 0 -1 4202496 8310 0 1 0 131 3 0 0 20 0 19 0 284490832 9856004096 13369 33554432000 1073741824 1073778376 140734998307872 140734998299008 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15973/statm: 2406251 13369 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9625004

[startup+1.50066 s]
/proc/loadavg: 2.08 2.02 2.01 3/214 15992
/proc/meminfo: memFree=30554084/32873844 swapFree=7372/7372
[pid=15973] ppid=15971 vsize=9625004 CPUtime=2.26 cores=0,2,4,6
/proc/15973/stat : 15973 (java) S 15971 15973 12979 0 -1 4202496 9043 0 1 0 223 3 0 0 20 0 19 0 284490832 9856004096 16087 33554432000 1073741824 1073778376 140734998307872 140734998299008 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15973/statm: 2406251 16087 2287 9 0 2396937 0
[pid=15973/tid=15975] ppid=15971 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/15973/task/15975/stat : 15975 (java) R 15971 15973 12979 0 -1 4202560 2523 0 1 0 142 2 0 0 20 0 19 0 284490833 9856004096 16087 33554432000 1073741824 1073778376 140734998307872 140634091741240 140633956848830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15976] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15976/stat : 15976 (java) S 15971 15973 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 16087 33554432000 1073741824 1073778376 140734998307872 140634080803240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15977] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15977/stat : 15977 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 16087 33554432000 1073741824 1073778376 140734998307872 140634079750696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15978] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15978/stat : 15978 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 16087 33554432000 1073741824 1073778376 140734998307872 140634078697640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15979] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15979/stat : 15979 (java) S 15971 15973 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 16087 33554432000 1073741824 1073778376 140734998307872 140634077645096 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15980] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15980/stat : 15980 (java) S 15971 15973 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 16087 33554432000 1073741824 1073778376 140734998307872 140634076593064 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15981] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15981/stat : 15981 (java) S 15971 15973 12979 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 16087 33554432000 1073741824 1073778376 140734998307872 140634075540520 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15982] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15982/stat : 15982 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 16087 33554432000 1073741824 1073778376 140734998307872 140633928579752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15983] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15983/stat : 15983 (java) S 15971 15973 12979 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 16087 33554432000 1073741824 1073778376 140734998307872 140633927527208 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15984] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15984/stat : 15984 (java) S 15971 15973 12979 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 284490835 9856004096 16087 33554432000 1073741824 1073778376 140734998307872 140633915328872 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15985] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15985/stat : 15985 (java) S 15971 15973 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284490836 9856004096 16087 33554432000 1073741824 1073778376 140734998307872 140633914275192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15986] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15986/stat : 15986 (java) S 15971 15973 12979 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 284490836 9856004096 16087 33554432000 1073741824 1073778376 140734998307872 140633913222024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15987] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15987/stat : 15987 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490838 9856004096 16087 33554432000 1073741824 1073778376 140734998307872 140633912170768 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15988] ppid=15971 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/15973/task/15988/stat : 15988 (java) R 15971 15973 12979 0 -1 4202560 2769 0 0 0 38 0 0 0 20 0 19 0 284490838 9856004096 16087 33554432000 1073741824 1073778376 140734998307872 140633911118672 251035443637 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15989] ppid=15971 vsize=9625004 CPUtime=0.36 cores=0,2,4,6
/proc/15973/task/15989/stat : 15989 (java) R 15971 15973 12979 0 -1 4202560 2504 0 0 0 36 0 0 0 20 0 19 0 284490838 9856004096 16087 33554432000 1073741824 1073778376 140734998307872 140633910065944 251035423208 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15990] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15990/stat : 15990 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490838 9856004096 16087 33554432000 1073741824 1073778376 140734998307872 140633909013240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15991] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15991/stat : 15991 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490838 9856004096 16087 33554432000 1073741824 1073778376 140734998307872 140633907960904 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15992] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15992/stat : 15992 (java) S 15971 15973 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284490879 9856004096 16087 33554432000 1073741824 1073778376 140734998307872 140633906906152 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 9625004

[startup+3.10062 s]
/proc/loadavg: 2.08 2.02 2.01 3/214 15992
/proc/meminfo: memFree=30539252/32873844 swapFree=7372/7372
[pid=15973] ppid=15971 vsize=9625004 CPUtime=3.94 cores=0,2,4,6
/proc/15973/stat : 15973 (java) S 15971 15973 12979 0 -1 4202496 9065 0 1 0 391 3 0 0 20 0 19 0 284490832 9856004096 17126 33554432000 1073741824 1073778376 140734998307872 140734998299008 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15973/statm: 2406251 17126 2287 9 0 2396937 0
[pid=15973/tid=15975] ppid=15971 vsize=9625004 CPUtime=2.99 cores=0,2,4,6
/proc/15973/task/15975/stat : 15975 (java) R 15971 15973 12979 0 -1 4202560 2524 0 1 0 297 2 0 0 20 0 19 0 284490833 9856004096 17126 33554432000 1073741824 1073778376 140734998307872 140634091741608 140633956791532 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15976] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15976/stat : 15976 (java) S 15971 15973 12979 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 17126 33554432000 1073741824 1073778376 140734998307872 140634080803240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15977] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15977/stat : 15977 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 17126 33554432000 1073741824 1073778376 140734998307872 140634079750696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15978] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15978/stat : 15978 (java) S 15971 15973 12979 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 17126 33554432000 1073741824 1073778376 140734998307872 140634078697640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15979] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15979/stat : 15979 (java) S 15971 15973 12979 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 17126 33554432000 1073741824 1073778376 140734998307872 140634077645096 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15980] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15980/stat : 15980 (java) S 15971 15973 12979 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 17126 33554432000 1073741824 1073778376 140734998307872 140634076593064 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15981] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15981/stat : 15981 (java) S 15971 15973 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 17126 33554432000 1073741824 1073778376 140734998307872 140634075540520 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15982] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15982/stat : 15982 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 17126 33554432000 1073741824 1073778376 140734998307872 140633928579752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15983] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15983/stat : 15983 (java) S 15971 15973 12979 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 17126 33554432000 1073741824 1073778376 140734998307872 140633927527208 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15984] ppid=15971 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/15973/task/15984/stat : 15984 (java) S 15971 15973 12979 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 19 0 284490835 9856004096 17126 33554432000 1073741824 1073778376 140734998307872 140633915328872 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15985] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15985/stat : 15985 (java) S 15971 15973 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284490836 9856004096 17126 33554432000 1073741824 1073778376 140734998307872 140633914275192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15986] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15986/stat : 15986 (java) S 15971 15973 12979 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 284490836 9856004096 17126 33554432000 1073741824 1073778376 140734998307872 140633913222024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15987] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15987/stat : 15987 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490838 9856004096 17126 33554432000 1073741824 1073778376 140734998307872 140633912170768 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15988] ppid=15971 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/15973/task/15988/stat : 15988 (java) S 15971 15973 12979 0 -1 4202560 2770 0 0 0 40 0 0 0 20 0 19 0 284490838 9856004096 17126 33554432000 1073741824 1073778376 140734998307872 140633911118648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15989] ppid=15971 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/15973/task/15989/stat : 15989 (java) S 15971 15973 12979 0 -1 4202560 2505 0 0 0 42 0 0 0 20 0 19 0 284490838 9856004096 17126 33554432000 1073741824 1073778376 140734998307872 140633910066104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15990] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15990/stat : 15990 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490838 9856004096 17126 33554432000 1073741824 1073778376 140734998307872 140633909013240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15991] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15991/stat : 15991 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490838 9856004096 17126 33554432000 1073741824 1073778376 140734998307872 140633907960904 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15992] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15992/stat : 15992 (java) S 15971 15973 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284490879 9856004096 17126 33554432000 1073741824 1073778376 140734998307872 140633906906152 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 9625004

[startup+6.3007 s]
/proc/loadavg: 2.08 2.02 2.01 3/214 15992
/proc/meminfo: memFree=30538880/32873844 swapFree=7372/7372
[pid=15973] ppid=15971 vsize=9625004 CPUtime=7.15 cores=0,2,4,6
/proc/15973/stat : 15973 (java) S 15971 15973 12979 0 -1 4202496 9091 0 1 0 712 3 0 0 20 0 19 0 284490832 9856004096 17130 33554432000 1073741824 1073778376 140734998307872 140734998299008 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15973/statm: 2406251 17130 2287 9 0 2396937 0
[pid=15973/tid=15975] ppid=15971 vsize=9625004 CPUtime=6.1 cores=0,2,4,6
/proc/15973/task/15975/stat : 15975 (java) R 15971 15973 12979 0 -1 4202560 2530 0 1 0 608 2 0 0 20 0 19 0 284490833 9856004096 17130 33554432000 1073741824 1073778376 140734998307872 140634091741608 140633956794545 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15976] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15976/stat : 15976 (java) S 15971 15973 12979 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 17130 33554432000 1073741824 1073778376 140734998307872 140634080803240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15977] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15977/stat : 15977 (java) S 15971 15973 12979 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 17130 33554432000 1073741824 1073778376 140734998307872 140634079750696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15978] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15978/stat : 15978 (java) S 15971 15973 12979 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 17130 33554432000 1073741824 1073778376 140734998307872 140634078697640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15979] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15979/stat : 15979 (java) S 15971 15973 12979 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 17130 33554432000 1073741824 1073778376 140734998307872 140634077645096 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15980] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15980/stat : 15980 (java) S 15971 15973 12979 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 17130 33554432000 1073741824 1073778376 140734998307872 140634076593064 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15981] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15981/stat : 15981 (java) S 15971 15973 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 17130 33554432000 1073741824 1073778376 140734998307872 140634075540520 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15982] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15982/stat : 15982 (java) S 15971 15973 12979 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 17130 33554432000 1073741824 1073778376 140734998307872 140633928579752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15983] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15983/stat : 15983 (java) S 15971 15973 12979 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 284490834 9856004096 17130 33554432000 1073741824 1073778376 140734998307872 140633927527208 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15984] ppid=15971 vsize=9625004 CPUtime=0.13 cores=0,2,4,6
/proc/15973/task/15984/stat : 15984 (java) S 15971 15973 12979 0 -1 4202560 34 0 0 0 13 0 0 0 20 0 19 0 284490835 9856004096 17130 33554432000 1073741824 1073778376 140734998307872 140633915328872 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15985] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15985/stat : 15985 (java) S 15971 15973 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284490836 9856004096 17130 33554432000 1073741824 1073778376 140734998307872 140633914275192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15986] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15986/stat : 15986 (java) S 15971 15973 12979 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 284490836 9856004096 17130 33554432000 1073741824 1073778376 140734998307872 140633913222024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15987] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15987/stat : 15987 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490838 9856004096 17130 33554432000 1073741824 1073778376 140734998307872 140633912170768 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15988] ppid=15971 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/15973/task/15988/stat : 15988 (java) S 15971 15973 12979 0 -1 4202560 2770 0 0 0 40 0 0 0 20 0 19 0 284490838 9856004096 17130 33554432000 1073741824 1073778376 140734998307872 140633911118648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15989] ppid=15971 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/15973/task/15989/stat : 15989 (java) S 15971 15973 12979 0 -1 4202560 2505 0 0 0 42 0 0 0 20 0 19 0 284490838 9856004096 17130 33554432000 1073741824 1073778376 140734998307872 140633910066104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15990] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15990/stat : 15990 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490838 9856004096 17130 33554432000 1073741824 1073778376 140734998307872 140633909013240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15991] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15991/stat : 15991 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490838 9856004096 17130 33554432000 1073741824 1073778376 140734998307872 140633907960904 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15992] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15992/stat : 15992 (java) S 15971 15973 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284490879 9856004096 17130 33554432000 1073741824 1073778376 140734998307872 140633906906152 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=15973/tid=15981] ppid=15971 vsize=9625004 CPUtime=1.02 cores=0,2,4,6
/proc/15973/task/15981/stat : 15981 (java) S 15971 15973 12979 0 -1 4202560 251 0 0 0 99 3 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634075540520 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15982] ppid=15971 vsize=9625004 CPUtime=1.01 cores=0,2,4,6
/proc/15973/task/15982/stat : 15982 (java) S 15971 15973 12979 0 -1 4202560 85 0 0 0 99 2 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633928579752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15983] ppid=15971 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/15973/task/15983/stat : 15983 (java) S 15971 15973 12979 0 -1 4202560 72 0 0 0 94 2 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633927527208 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15984] ppid=15971 vsize=9625004 CPUtime=11.67 cores=0,2,4,6
/proc/15973/task/15984/stat : 15984 (java) S 15971 15973 12979 0 -1 4202560 145 0 0 0 1164 3 0 0 20 0 19 0 284490835 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633915328872 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15985] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15985/stat : 15985 (java) S 15971 15973 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284490836 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633914275192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15986] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15986/stat : 15986 (java) S 15971 15973 12979 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 284490836 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633913222024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15987] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15987/stat : 15987 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633912170768 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15988] ppid=15971 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/15973/task/15988/stat : 15988 (java) S 15971 15973 12979 0 -1 4202560 2770 0 0 0 41 0 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633911118648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15989] ppid=15971 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/15973/task/15989/stat : 15989 (java) S 15971 15973 12979 0 -1 4202560 3033 0 0 0 52 2 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633910066104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15990] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15990/stat : 15990 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633909013240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15991] ppid=15971 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/15973/task/15991/stat : 15991 (java) S 15971 15973 12979 0 -1 4202560 98 0 0 0 18 22 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633907960904 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15992] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15992/stat : 15992 (java) S 15971 15973 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284490879 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633906906152 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1728.58
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/214 16089
/proc/meminfo: memFree=30788452/32873844 swapFree=7372/7372
[pid=15973] ppid=15971 vsize=9625004 CPUtime=1788.76 cores=0,2,4,6
/proc/15973/stat : 15973 (java) S 15971 15973 12979 0 -1 4202496 11505 0 1 0 178831 45 0 0 20 0 19 0 284490832 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140734998299008 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15973/statm: 2406251 44150 2288 9 0 2396937 0
[pid=15973/tid=15975] ppid=15971 vsize=9625004 CPUtime=1767.44 cores=0,2,4,6
/proc/15973/task/15975/stat : 15975 (java) R 15971 15973 12979 0 -1 4202560 2941 0 1 0 176713 31 0 0 20 0 19 0 284490833 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634091741672 140633956220966 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15976] ppid=15971 vsize=9625004 CPUtime=1.05 cores=0,2,4,6
/proc/15973/task/15976/stat : 15976 (java) S 15971 15973 12979 0 -1 4202560 48 0 0 0 103 2 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634080803240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15977] ppid=15971 vsize=9625004 CPUtime=1.08 cores=0,2,4,6
/proc/15973/task/15977/stat : 15977 (java) S 15971 15973 12979 0 -1 4202560 151 0 0 0 105 3 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634079750696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15978] ppid=15971 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/15973/task/15978/stat : 15978 (java) S 15971 15973 12979 0 -1 4202560 362 0 0 0 92 3 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634078697640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15979] ppid=15971 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/15973/task/15979/stat : 15979 (java) S 15971 15973 12979 0 -1 4202560 169 0 0 0 94 1 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634077645096 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15980] ppid=15971 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/15973/task/15980/stat : 15980 (java) S 15971 15973 12979 0 -1 4202560 190 0 0 0 94 2 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634076593064 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15981] ppid=15971 vsize=9625004 CPUtime=1.05 cores=0,2,4,6
/proc/15973/task/15981/stat : 15981 (java) S 15971 15973 12979 0 -1 4202560 251 0 0 0 102 3 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634075540520 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15982] ppid=15971 vsize=9625004 CPUtime=1.04 cores=0,2,4,6
/proc/15973/task/15982/stat : 15982 (java) S 15971 15973 12979 0 -1 4202560 85 0 0 0 102 2 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633928579752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15983] ppid=15971 vsize=9625004 CPUtime=0.99 cores=0,2,4,6
/proc/15973/task/15983/stat : 15983 (java) S 15971 15973 12979 0 -1 4202560 72 0 0 0 97 2 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633927527208 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15984] ppid=15971 vsize=9625004 CPUtime=12.09 cores=0,2,4,6
/proc/15973/task/15984/stat : 15984 (java) S 15971 15973 12979 0 -1 4202560 149 0 0 0 1206 3 0 0 20 0 19 0 284490835 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633915328872 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15985] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15985/stat : 15985 (java) S 15971 15973 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284490836 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633914275192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15986] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15986/stat : 15986 (java) S 15971 15973 12979 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 284490836 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633913222024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15987] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15987/stat : 15987 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633912170768 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15988] ppid=15971 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/15973/task/15988/stat : 15988 (java) S 15971 15973 12979 0 -1 4202560 2770 0 0 0 41 0 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633911118648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15989] ppid=15971 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/15973/task/15989/stat : 15989 (java) S 15971 15973 12979 0 -1 4202560 3033 0 0 0 52 2 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633910066104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15990] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15990/stat : 15990 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633909013240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15991] ppid=15971 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/15973/task/15991/stat : 15991 (java) S 15971 15973 12979 0 -1 4202560 102 0 0 0 19 23 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633907960904 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15992] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15992/stat : 15992 (java) S 15971 15973 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284490879 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633906906152 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1788.76
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.6 s]
/proc/loadavg: 1.96 1.98 1.99 3/214 16089
/proc/meminfo: memFree=30788328/32873844 swapFree=7372/7372
[pid=15973] ppid=15971 vsize=9625004 CPUtime=1800.1 cores=0,2,4,6
/proc/15973/stat : 15973 (java) S 15971 15973 12979 0 -1 4202496 11507 0 1 0 179965 45 0 0 20 0 19 0 284490832 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140734998299008 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15973/statm: 2406251 44150 2288 9 0 2396937 0
[pid=15973/tid=15975] ppid=15971 vsize=9625004 CPUtime=1778.65 cores=0,2,4,6
/proc/15973/task/15975/stat : 15975 (java) R 15971 15973 12979 0 -1 4202560 2943 0 1 0 177833 32 0 0 20 0 19 0 284490833 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634091741552 140633956849294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15976] ppid=15971 vsize=9625004 CPUtime=1.06 cores=0,2,4,6
/proc/15973/task/15976/stat : 15976 (java) S 15971 15973 12979 0 -1 4202560 48 0 0 0 104 2 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634080803240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15977] ppid=15971 vsize=9625004 CPUtime=1.09 cores=0,2,4,6
/proc/15973/task/15977/stat : 15977 (java) S 15971 15973 12979 0 -1 4202560 151 0 0 0 106 3 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634079750696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15978] ppid=15971 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/15973/task/15978/stat : 15978 (java) S 15971 15973 12979 0 -1 4202560 362 0 0 0 93 3 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634078697640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15979] ppid=15971 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/15973/task/15979/stat : 15979 (java) S 15971 15973 12979 0 -1 4202560 169 0 0 0 94 1 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634077645096 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15980] ppid=15971 vsize=9625004 CPUtime=0.97 cores=0,2,4,6
/proc/15973/task/15980/stat : 15980 (java) S 15971 15973 12979 0 -1 4202560 190 0 0 0 95 2 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634076593064 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15981] ppid=15971 vsize=9625004 CPUtime=1.05 cores=0,2,4,6
/proc/15973/task/15981/stat : 15981 (java) S 15971 15973 12979 0 -1 4202560 251 0 0 0 102 3 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634075540520 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15982] ppid=15971 vsize=9625004 CPUtime=1.04 cores=0,2,4,6
/proc/15973/task/15982/stat : 15982 (java) S 15971 15973 12979 0 -1 4202560 85 0 0 0 102 2 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633928579752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15983] ppid=15971 vsize=9625004 CPUtime=1 cores=0,2,4,6
/proc/15973/task/15983/stat : 15983 (java) S 15971 15973 12979 0 -1 4202560 72 0 0 0 98 2 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633927527208 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15984] ppid=15971 vsize=9625004 CPUtime=12.17 cores=0,2,4,6
/proc/15973/task/15984/stat : 15984 (java) S 15971 15973 12979 0 -1 4202560 149 0 0 0 1214 3 0 0 20 0 19 0 284490835 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633915328872 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15985] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15985/stat : 15985 (java) S 15971 15973 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284490836 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633914275192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15986] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15986/stat : 15986 (java) S 15971 15973 12979 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 284490836 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633913222024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15987] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15987/stat : 15987 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633912170768 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15988] ppid=15971 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/15973/task/15988/stat : 15988 (java) S 15971 15973 12979 0 -1 4202560 2770 0 0 0 41 0 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633911118648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15989] ppid=15971 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/15973/task/15989/stat : 15989 (java) S 15971 15973 12979 0 -1 4202560 3033 0 0 0 52 2 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633910066104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15990] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15990/stat : 15990 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633909013240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15991] ppid=15971 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/15973/task/15991/stat : 15991 (java) S 15971 15973 12979 0 -1 4202560 102 0 0 0 19 23 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633907960904 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15992] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15992/stat : 15992 (java) S 15971 15973 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284490879 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633906906152 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1793.6 s]
/proc/loadavg: 1.96 1.98 1.99 3/214 16089
/proc/meminfo: memFree=30788328/32873844 swapFree=7372/7372
[pid=15973] ppid=15971 vsize=9625004 CPUtime=1800.1 cores=0,2,4,6
/proc/15973/stat : 15973 (java) S 15971 15973 12979 0 -1 4202496 11507 0 1 0 179965 45 0 0 20 0 19 0 284490832 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140734998299008 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15973/statm: 2406251 44150 2288 9 0 2396937 0
[pid=15973/tid=15975] ppid=15971 vsize=9625004 CPUtime=1778.65 cores=0,2,4,6
/proc/15973/task/15975/stat : 15975 (java) R 15971 15973 12979 0 -1 4202560 2943 0 1 0 177833 32 0 0 20 0 19 0 284490833 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634091741552 140633956849294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15976] ppid=15971 vsize=9625004 CPUtime=1.06 cores=0,2,4,6
/proc/15973/task/15976/stat : 15976 (java) S 15971 15973 12979 0 -1 4202560 48 0 0 0 104 2 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634080803240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15977] ppid=15971 vsize=9625004 CPUtime=1.09 cores=0,2,4,6
/proc/15973/task/15977/stat : 15977 (java) S 15971 15973 12979 0 -1 4202560 151 0 0 0 106 3 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634079750696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15978] ppid=15971 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/15973/task/15978/stat : 15978 (java) S 15971 15973 12979 0 -1 4202560 362 0 0 0 93 3 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634078697640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15979] ppid=15971 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/15973/task/15979/stat : 15979 (java) S 15971 15973 12979 0 -1 4202560 169 0 0 0 94 1 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634077645096 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15980] ppid=15971 vsize=9625004 CPUtime=0.97 cores=0,2,4,6
/proc/15973/task/15980/stat : 15980 (java) S 15971 15973 12979 0 -1 4202560 190 0 0 0 95 2 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634076593064 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15981] ppid=15971 vsize=9625004 CPUtime=1.05 cores=0,2,4,6
/proc/15973/task/15981/stat : 15981 (java) S 15971 15973 12979 0 -1 4202560 251 0 0 0 102 3 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140634075540520 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15982] ppid=15971 vsize=9625004 CPUtime=1.04 cores=0,2,4,6
/proc/15973/task/15982/stat : 15982 (java) S 15971 15973 12979 0 -1 4202560 85 0 0 0 102 2 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633928579752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15983] ppid=15971 vsize=9625004 CPUtime=1 cores=0,2,4,6
/proc/15973/task/15983/stat : 15983 (java) S 15971 15973 12979 0 -1 4202560 72 0 0 0 98 2 0 0 20 0 19 0 284490834 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633927527208 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15984] ppid=15971 vsize=9625004 CPUtime=12.17 cores=0,2,4,6
/proc/15973/task/15984/stat : 15984 (java) S 15971 15973 12979 0 -1 4202560 149 0 0 0 1214 3 0 0 20 0 19 0 284490835 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633915328872 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15985] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15985/stat : 15985 (java) S 15971 15973 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284490836 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633914275192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15986] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15986/stat : 15986 (java) S 15971 15973 12979 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 284490836 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633913222024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15987] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15987/stat : 15987 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633912170768 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15988] ppid=15971 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/15973/task/15988/stat : 15988 (java) S 15971 15973 12979 0 -1 4202560 2770 0 0 0 41 0 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633911118648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15989] ppid=15971 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/15973/task/15989/stat : 15989 (java) S 15971 15973 12979 0 -1 4202560 3033 0 0 0 52 2 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633910066104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15990] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15990/stat : 15990 (java) S 15971 15973 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633909013240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15991] ppid=15971 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/15973/task/15991/stat : 15991 (java) S 15971 15973 12979 0 -1 4202560 102 0 0 0 19 23 0 0 20 0 19 0 284490838 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633907960904 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15992] ppid=15971 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15992/stat : 15992 (java) S 15971 15973 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284490879 9856004096 44150 33554432000 1073741824 1073778376 140734998307872 140633906906152 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1793.65
CPU time (s): 1800.64
CPU user time (s): 1799.72
CPU system time (s): 0.92086
CPU usage (%): 100.39
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.92086
maximum resident set size= 176732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11542
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49124
involuntary context switches= 30460

runsolver used 9.14161 second user time and 11.0423 second system time

The end

Launcher Data 

Begin job on node118 at 2012-05-28 07:40:47
IDJOB=3711288
IDBENCH=72485
IDSOLVER=2289
FILE ID=node118/3711288-1338183647
RUNJOBID= node118-1338156758-12995
PBS_JOBID= 14624527
Free space on /tmp= 71668 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_15_errors.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711288-1338183647/watcher-3711288-1338183647 -o /tmp/evaluation-result-3711288-1338183647/solver-3711288-1338183647 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711288-1338183647.opb

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

MD5SUM BENCH= b155444c97f18a8f3025da7494a3d01e
RANDOM SEED=1983402366

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.212
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:       32873844 kB
MemFree:        30600480 kB
Buffers:          385132 kB
Cached:           504596 kB
SwapCached:            0 kB
Active:          1060988 kB
Inactive:         375896 kB
Active(anon):     537256 kB
Inactive(anon):    11320 kB
Active(file):     523732 kB
Inactive(file):   364576 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               992 kB
Writeback:             4 kB
AnonPages:        553628 kB
Mapped:            19776 kB
Shmem:               200 kB
Slab:             695644 kB
SReclaimable:     136948 kB
SUnreclaim:       558696 kB
KernelStack:        1608 kB
PageTables:         5448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1087980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    520192 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= 71672 MiB
End job on node118 at 2012-05-28 08:10:43