Trace number 3710589

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)162 1800.03 1792.15

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e1.opb
MD5SUM0d4648505d14cf43905d3198d6f686c2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark162
Best CPU time to get the best result obtained on this benchmark7.73582
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 162
Optimality of the best value was proved YES
Number of variables444
Total number of constraints1408
Number of constraints which are clauses1408
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 444
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 444
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 444
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.06/0.08	c version 2.3.2.v20120418
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		501472288
0.06/0.08	c Max memory 		7480803328
0.06/0.08	c Total memory 		504102912
0.06/0.08	c Number of processors 	8
0.10/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.11	c configuring ORDERS
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=true
0.10/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3710589-1338144790.opb
0.10/0.12	c reading problem ... 
0.27/0.26	c ... done. Wall clock time 0.149s.
0.27/0.26	c declared #vars     444
0.27/0.26	c #constraints  1408
0.27/0.26	c constraints type 
0.27/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 130
0.27/0.26	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1278
0.27/0.26	c 1408 constraints processed.
0.27/0.27	c SATISFIABLE
0.27/0.27	c OPTIMIZING...
0.27/0.27	c Got one! Elapsed wall clock time (in seconds):0.159
0.27/0.27	o 205
0.48/0.34	c Got one! Elapsed wall clock time (in seconds):0.229
0.48/0.34	o 191
0.48/0.35	c Got one! Elapsed wall clock time (in seconds):0.237
0.48/0.35	o 166
0.48/0.38	c Got one! Elapsed wall clock time (in seconds):0.268
0.48/0.38	o 165
1.11/0.72	c cleaning 2662 clauses out of 5323 with flag 5000/5323
1.48/1.06	c cleaning 4331 clauses out of 8661 with flag 11000/11323
1.68/1.21	c Got one! Elapsed wall clock time (in seconds):1.097
1.68/1.21	o 164
1.79/1.40	c cleaning 4942 clauses out of 9896 with flag 3000/16889
2.20/1.72	c cleaning 5475 clauses out of 10955 with flag 9001/22890
2.55/2.09	c cleaning 6235 clauses out of 12479 with flag 16000/29889
3.05/2.52	c cleaning 7122 clauses out of 14245 with flag 24001/37890
3.56/3.01	c cleaning 8058 clauses out of 16125 with flag 33003/46892
4.06/3.56	c cleaning 9027 clauses out of 18064 with flag 43000/56889
4.66/4.11	c cleaning 10014 clauses out of 20040 with flag 54003/67892
5.37/4.84	c cleaning 11013 clauses out of 22026 with flag 66003/79892
6.27/5.73	c cleaning 12001 clauses out of 24010 with flag 79000/92889
6.98/6.44	c cleaning 13003 clauses out of 26009 with flag 93000/106889
7.78/7.27	c cleaning 13994 clauses out of 28008 with flag 108002/121891
8.79/8.29	c cleaning 15007 clauses out of 30013 with flag 124001/137890
9.99/9.46	c cleaning 16002 clauses out of 32007 with flag 141002/154891
11.35/10.63	c cleaning 17006 clauses out of 34011 with flag 159008/172897
12.67/11.76	c cleaning 17994 clauses out of 35998 with flag 178001/191890
13.89/12.95	c cleaning 18993 clauses out of 38003 with flag 198000/211889
15.21/14.28	c cleaning 19996 clauses out of 40010 with flag 219000/232889
16.61/15.64	c cleaning 21009 clauses out of 42019 with flag 241005/254894
18.04/17.08	c cleaning 21999 clauses out of 44008 with flag 264003/277892
19.54/18.55	c cleaning 23004 clauses out of 46007 with flag 288001/301890
21.06/20.04	c cleaning 23994 clauses out of 48004 with flag 313002/326891
22.88/21.89	c cleaning 25003 clauses out of 50012 with flag 339004/352893
25.09/24.05	c cleaning 25998 clauses out of 52005 with flag 366000/379889
27.01/25.99	c cleaning 26999 clauses out of 54007 with flag 394000/407889
28.93/27.82	c cleaning 27996 clauses out of 56008 with flag 423000/436889
30.84/29.76	c cleaning 28995 clauses out of 58012 with flag 453000/466889
33.06/31.91	c cleaning 30003 clauses out of 60017 with flag 484000/497889
35.18/34.05	c cleaning 30997 clauses out of 62014 with flag 516000/529889
37.20/36.03	c cleaning 32002 clauses out of 64017 with flag 549000/562889
39.42/38.25	c cleaning 33006 clauses out of 66016 with flag 583001/596890
42.13/40.93	c cleaning 33996 clauses out of 68011 with flag 618002/631891
44.84/43.60	c cleaning 34993 clauses out of 70013 with flag 654000/667889
47.47/46.27	c cleaning 35997 clauses out of 72021 with flag 691001/704890
48.59/47.37	c Got one! Elapsed wall clock time (in seconds):47.257
48.59/47.37	o 163
49.08/47.81	c cleaning 29152 clauses out of 58330 with flag 5001/727196
49.50/48.29	c cleaning 17577 clauses out of 35178 with flag 11001/733196
50.10/48.84	c cleaning 12289 clauses out of 24601 with flag 18001/740196
50.71/49.41	c cleaning 10146 clauses out of 20311 with flag 26000/748195
51.32/50.07	c cleaning 9575 clauses out of 19167 with flag 35002/757197
52.03/50.79	c cleaning 9791 clauses out of 19590 with flag 45000/767195
52.94/51.61	c cleaning 10395 clauses out of 20800 with flag 56001/778196
53.73/52.41	c cleaning 11195 clauses out of 22404 with flag 68000/790195
54.64/53.33	c cleaning 12105 clauses out of 24209 with flag 81000/803195
55.65/54.37	c cleaning 13045 clauses out of 26105 with flag 95001/817196
56.86/55.56	c cleaning 14025 clauses out of 28059 with flag 110000/832195
58.08/56.72	c cleaning 15014 clauses out of 30034 with flag 126000/848195
59.30/57.97	c cleaning 16007 clauses out of 32021 with flag 143001/865196
60.60/59.30	c cleaning 17007 clauses out of 34013 with flag 161000/883195
61.81/60.47	c cleaning 18000 clauses out of 36006 with flag 180000/902195
63.11/61.73	c cleaning 18994 clauses out of 38007 with flag 200001/922196
64.33/62.91	c cleaning 19993 clauses out of 40013 with flag 221001/943196
66.14/64.71	c cleaning 21007 clauses out of 42024 with flag 243005/965200
67.45/66.06	c cleaning 22000 clauses out of 44012 with flag 266000/988195
68.95/67.50	c cleaning 23001 clauses out of 46013 with flag 290001/1012196
70.26/68.85	c cleaning 23999 clauses out of 48013 with flag 315002/1037197
71.78/70.36	c cleaning 24993 clauses out of 50012 with flag 341000/1063195
73.59/72.12	c cleaning 26009 clauses out of 52021 with flag 368002/1090197
75.61/74.15	c cleaning 27002 clauses out of 54011 with flag 396001/1118196
77.62/76.11	c cleaning 28000 clauses out of 56008 with flag 425000/1147195
79.65/78.18	c cleaning 28991 clauses out of 58008 with flag 455000/1177195
81.46/79.97	c cleaning 30001 clauses out of 60017 with flag 486000/1208195
83.38/81.87	c cleaning 31008 clauses out of 62016 with flag 518000/1240195
85.39/83.84	c cleaning 32004 clauses out of 64008 with flag 551000/1273195
87.51/85.93	c cleaning 32983 clauses out of 66004 with flag 585000/1307195
90.11/88.50	c cleaning 34011 clauses out of 68022 with flag 620001/1342196
92.35/90.74	c cleaning 34998 clauses out of 70010 with flag 656000/1378195
94.86/93.21	c cleaning 35999 clauses out of 72012 with flag 693000/1415195
98.69/97.01	c cleaning 37000 clauses out of 74013 with flag 731000/1453195
101.21/99.55	c cleaning 38001 clauses out of 76013 with flag 770000/1492195
103.83/102.11	c cleaning 38998 clauses out of 78012 with flag 810000/1532195
106.57/104.81	c cleaning 40002 clauses out of 80014 with flag 851000/1573195
109.27/107.59	c cleaning 40990 clauses out of 82015 with flag 893003/1615198
112.09/110.31	c cleaning 42009 clauses out of 84024 with flag 936002/1658197
114.80/113.06	c cleaning 43003 clauses out of 86015 with flag 980002/1702197
117.73/115.93	c cleaning 43996 clauses out of 88012 with flag 1025002/1747197
120.64/118.89	c cleaning 45007 clauses out of 90014 with flag 1071000/1793195
123.84/122.07	c cleaning 46004 clauses out of 92007 with flag 1118000/1840195
127.16/125.34	c cleaning 46992 clauses out of 94003 with flag 1166000/1888195
130.58/128.74	c cleaning 47996 clauses out of 96011 with flag 1215000/1937195
134.29/132.42	c cleaning 48993 clauses out of 98015 with flag 1265000/1987195
138.01/136.15	c cleaning 49997 clauses out of 100022 with flag 1316000/2038195
141.44/139.60	c cleaning 51004 clauses out of 102025 with flag 1368000/2090195
144.97/143.08	c cleaning 51996 clauses out of 104021 with flag 1421000/2143195
148.70/146.78	c cleaning 53010 clauses out of 106025 with flag 1475000/2197195
152.02/150.00	c cleaning 53988 clauses out of 108015 with flag 1530000/2252195
155.24/153.29	c cleaning 55004 clauses out of 110027 with flag 1586000/2308195
159.77/157.77	c cleaning 56006 clauses out of 112025 with flag 1643002/2365197
164.09/162.07	c cleaning 57000 clauses out of 114017 with flag 1701000/2423195
169.43/167.31	c cleaning 57989 clauses out of 116017 with flag 1760000/2482195
175.15/173.08	c cleaning 58998 clauses out of 118028 with flag 1820000/2542195
181.77/179.61	c cleaning 60012 clauses out of 120036 with flag 1881006/2603201
187.49/185.39	c cleaning 60999 clauses out of 122018 with flag 1943000/2665195
192.51/190.37	c cleaning 62002 clauses out of 124019 with flag 2006000/2728195
197.64/195.45	c cleaning 62997 clauses out of 126017 with flag 2070000/2792195
203.00/200.77	c cleaning 64002 clauses out of 128020 with flag 2135000/2857195
208.63/206.34	c cleaning 65004 clauses out of 130018 with flag 2201000/2923195
214.36/212.01	c cleaning 66009 clauses out of 132017 with flag 2268003/2990198
218.88/216.57	c cleaning 67000 clauses out of 134005 with flag 2336000/3058195
224.62/222.26	c cleaning 68001 clauses out of 136013 with flag 2405008/3127203
226.55/224.10	c Got one! Elapsed wall clock time (in seconds):223.986
226.55/224.10	o 162
227.05/224.61	c cleaning 51054 clauses out of 102123 with flag 5000/3161314
227.57/225.14	c cleaning 28530 clauses out of 57070 with flag 11001/3167315
228.09/225.67	c cleaning 17756 clauses out of 35540 with flag 18001/3174315
228.71/226.24	c cleaning 12881 clauses out of 25783 with flag 26000/3182314
229.41/226.90	c cleaning 10942 clauses out of 21909 with flag 35007/3191321
230.13/227.66	c cleaning 10469 clauses out of 20960 with flag 45000/3201314
231.04/228.54	c cleaning 10743 clauses out of 21493 with flag 56002/3212316
231.96/229.44	c cleaning 11369 clauses out of 22748 with flag 68000/3224314
232.97/230.48	c cleaning 12185 clauses out of 24382 with flag 81003/3237317
234.18/231.65	c cleaning 13089 clauses out of 26194 with flag 95000/3251314
235.29/232.75	c cleaning 14050 clauses out of 28107 with flag 110002/3266316
236.49/233.94	c cleaning 15026 clauses out of 30057 with flag 126002/3282316
237.59/235.02	c cleaning 16005 clauses out of 32031 with flag 143002/3299316
238.70/236.19	c cleaning 17008 clauses out of 34024 with flag 161000/3317314
240.01/237.46	c cleaning 18007 clauses out of 36016 with flag 180000/3336314
241.41/238.83	c cleaning 19003 clauses out of 38009 with flag 200000/3356314
242.82/240.26	c cleaning 19999 clauses out of 40007 with flag 221001/3377315
244.32/241.75	c cleaning 21003 clauses out of 42010 with flag 243003/3399317
245.92/243.30	c cleaning 22000 clauses out of 44005 with flag 266001/3422315
247.62/245.02	c cleaning 22973 clauses out of 46004 with flag 290000/3446314
249.33/246.72	c cleaning 24015 clauses out of 48032 with flag 315001/3471315
251.03/248.49	c cleaning 24999 clauses out of 50016 with flag 341000/3497314
253.26/250.68	c cleaning 26007 clauses out of 52018 with flag 368001/3524315
255.37/252.71	c cleaning 27004 clauses out of 54010 with flag 396000/3552314
257.67/255.06	c cleaning 27993 clauses out of 56006 with flag 425000/3581314
260.27/257.61	c cleaning 29005 clauses out of 58013 with flag 455000/3611314
262.98/260.39	c cleaning 29999 clauses out of 60008 with flag 486000/3642314
265.19/262.54	c cleaning 30997 clauses out of 62009 with flag 518000/3674314
267.00/264.39	c cleaning 32004 clauses out of 64012 with flag 551000/3707314
269.00/266.32	c cleaning 32996 clauses out of 66008 with flag 585000/3741314
271.22/268.54	c cleaning 33998 clauses out of 68012 with flag 620000/3776314
273.35/270.69	c cleaning 35008 clauses out of 70015 with flag 656001/3812315
275.55/272.86	c cleaning 35992 clauses out of 72006 with flag 693000/3849314
277.85/275.15	c cleaning 37005 clauses out of 74015 with flag 731001/3887315
280.15/277.45	c cleaning 37990 clauses out of 76009 with flag 770000/3926314
282.66/279.92	c cleaning 38988 clauses out of 78019 with flag 810000/3966314
285.06/282.37	c cleaning 40001 clauses out of 80031 with flag 851000/4007314
287.37/284.65	c cleaning 41013 clauses out of 82031 with flag 893001/4049315
289.79/287.08	c cleaning 41997 clauses out of 84017 with flag 936000/4092314
292.59/289.82	c cleaning 43009 clauses out of 86021 with flag 980001/4136315
295.31/292.59	c cleaning 44003 clauses out of 88013 with flag 1025002/4181316
298.22/295.42	c cleaning 45003 clauses out of 90008 with flag 1071000/4227314
301.04/298.28	c cleaning 45999 clauses out of 92006 with flag 1118001/4274315
304.05/301.29	c cleaning 47004 clauses out of 94007 with flag 1166001/4322315
307.26/304.42	c cleaning 47991 clauses out of 96002 with flag 1215000/4371314
310.36/307.59	c cleaning 48998 clauses out of 98011 with flag 1265000/4421314
313.59/310.70	c cleaning 50006 clauses out of 100013 with flag 1316000/4472314
317.20/314.34	c cleaning 51005 clauses out of 102009 with flag 1368002/4524316
320.73/317.88	c cleaning 51991 clauses out of 104002 with flag 1421000/4577314
323.95/321.03	c cleaning 52995 clauses out of 106011 with flag 1475000/4631314
327.57/324.65	c cleaning 54009 clauses out of 108018 with flag 1530002/4686316
333.20/330.21	c cleaning 54998 clauses out of 110007 with flag 1586000/4742314
338.12/335.14	c cleaning 56003 clauses out of 112010 with flag 1643001/4799315
344.63/341.63	c cleaning 56999 clauses out of 114006 with flag 1701000/4857314
351.15/348.16	c cleaning 58004 clauses out of 116008 with flag 1760001/4916315
355.97/352.92	c cleaning 58975 clauses out of 118008 with flag 1820005/4976319
361.30/358.26	c cleaning 60007 clauses out of 120028 with flag 1881000/5037314
366.64/363.57	c cleaning 61007 clauses out of 122025 with flag 1943004/5099318
371.44/368.35	c cleaning 61996 clauses out of 124014 with flag 2006000/5162314
377.75/374.69	c cleaning 63003 clauses out of 126018 with flag 2070000/5226314
384.97/381.86	c cleaning 64005 clauses out of 128016 with flag 2135001/5291315
392.20/389.03	c cleaning 64998 clauses out of 130010 with flag 2201000/5357314
400.13/396.97	c cleaning 66006 clauses out of 132013 with flag 2268001/5424315
406.24/403.05	c cleaning 67004 clauses out of 134007 with flag 2336001/5492315
410.67/407.48	c cleaning 68001 clauses out of 136002 with flag 2405000/5561314
415.50/412.21	c cleaning 68986 clauses out of 138001 with flag 2475000/5631314
420.41/417.10	c cleaning 70005 clauses out of 140017 with flag 2546002/5702316
425.13/421.83	c cleaning 71002 clauses out of 142010 with flag 2618000/5774314
429.86/426.53	c cleaning 71996 clauses out of 144008 with flag 2691000/5847314
434.78/431.40	c cleaning 73000 clauses out of 146012 with flag 2765000/5921314
439.49/436.18	c cleaning 73997 clauses out of 148013 with flag 2840001/5996315
445.10/441.74	c cleaning 75001 clauses out of 150016 with flag 2916001/6072315
450.91/447.51	c cleaning 75998 clauses out of 152015 with flag 2993001/6149315
456.44/453.06	c cleaning 76980 clauses out of 154016 with flag 3071000/6227314
462.07/458.67	c cleaning 78017 clauses out of 156036 with flag 3150000/6306314
467.28/463.84	c cleaning 78996 clauses out of 158019 with flag 3230000/6386314
472.92/469.48	c cleaning 80012 clauses out of 160023 with flag 3311000/6467314
478.93/475.41	c cleaning 81000 clauses out of 162014 with flag 3393003/6549317
485.14/481.64	c cleaning 81999 clauses out of 164011 with flag 3476000/6632314
491.64/488.12	c cleaning 82992 clauses out of 166012 with flag 3560000/6716314
498.37/494.88	c cleaning 84005 clauses out of 168022 with flag 3645002/6801316
504.71/501.18	c cleaning 84997 clauses out of 170018 with flag 3731003/6887317
511.43/507.85	c cleaning 86010 clauses out of 172019 with flag 3818001/6974315
518.26/514.64	c cleaning 86989 clauses out of 174008 with flag 3906000/7062314
528.60/524.91	c cleaning 88008 clauses out of 176020 with flag 3995001/7151315
535.73/532.05	c cleaning 88996 clauses out of 178012 with flag 4085001/7241315
543.86/540.17	c cleaning 90002 clauses out of 180015 with flag 4176000/7332314
550.10/546.36	c cleaning 91000 clauses out of 182013 with flag 4268000/7424314
556.53/552.76	c cleaning 91999 clauses out of 184014 with flag 4361001/7517315
563.76/559.98	c cleaning 92994 clauses out of 186014 with flag 4455000/7611314
570.79/566.92	c cleaning 94010 clauses out of 188021 with flag 4550001/7706315
579.01/575.16	c cleaning 94998 clauses out of 190011 with flag 4646001/7802315
589.05/585.16	c cleaning 96005 clauses out of 192012 with flag 4743000/7899314
598.79/594.81	c cleaning 97001 clauses out of 194009 with flag 4841002/7997316
608.54/604.57	c cleaning 97999 clauses out of 196006 with flag 4940000/8096314
620.07/616.03	c cleaning 99002 clauses out of 198007 with flag 5040000/8196314
626.85/622.72	c cleaning 99995 clauses out of 200005 with flag 5141000/8297314
633.77/629.62	c cleaning 100998 clauses out of 202011 with flag 5243001/8399315
640.58/636.49	c cleaning 102006 clauses out of 204012 with flag 5346000/8502314
647.40/643.24	c cleaning 102995 clauses out of 206007 with flag 5450001/8606315
654.52/650.31	c cleaning 103993 clauses out of 208011 with flag 5555000/8711314
661.75/657.53	c cleaning 105003 clauses out of 210019 with flag 5661001/8817315
670.68/666.41	c cleaning 106000 clauses out of 212015 with flag 5768000/8924314
678.61/674.32	c cleaning 106990 clauses out of 214015 with flag 5876000/9032314
689.22/684.97	c cleaning 107999 clauses out of 216025 with flag 5985000/9141314
699.55/695.29	c cleaning 109007 clauses out of 218028 with flag 6095002/9251316
711.29/706.99	c cleaning 110007 clauses out of 220019 with flag 6206000/9362314
722.35/717.98	c cleaning 111002 clauses out of 222013 with flag 6318001/9474315
733.37/728.99	c cleaning 112001 clauses out of 224011 with flag 6431001/9587315
743.72/739.24	c cleaning 112998 clauses out of 226012 with flag 6545003/9701317
754.54/750.10	c cleaning 113997 clauses out of 228013 with flag 6660002/9816316
766.26/761.75	c cleaning 114999 clauses out of 230014 with flag 6776000/9932314
778.11/773.51	c cleaning 116001 clauses out of 232015 with flag 6893000/10049314
787.88/783.29	c cleaning 117007 clauses out of 234014 with flag 7011000/10167314
797.01/792.37	c cleaning 117996 clauses out of 236008 with flag 7130001/10286315
806.18/801.48	c cleaning 119008 clauses out of 238018 with flag 7250007/10406321
815.51/810.80	c cleaning 120002 clauses out of 240003 with flag 7371000/10527314
828.92/824.17	c cleaning 120980 clauses out of 242003 with flag 7493002/10649316
841.56/836.78	c cleaning 122011 clauses out of 244022 with flag 7616001/10772315
851.13/846.21	c cleaning 123003 clauses out of 246010 with flag 7740000/10896314
860.86/855.95	c cleaning 123995 clauses out of 248007 with flag 7865000/11021314
871.22/866.29	c cleaning 124998 clauses out of 250013 with flag 7991001/11147315
883.59/878.56	c cleaning 125999 clauses out of 252014 with flag 8118000/11274314
896.46/891.35	c cleaning 127000 clauses out of 254018 with flag 8246003/11402317
911.00/905.83	c cleaning 128000 clauses out of 256016 with flag 8375001/11531315
920.66/915.49	c cleaning 128997 clauses out of 258015 with flag 8505000/11661314
933.60/928.36	c cleaning 130005 clauses out of 260018 with flag 8636000/11792314
947.26/941.92	c cleaning 130994 clauses out of 262013 with flag 8768000/11924314
961.32/955.93	c cleaning 132006 clauses out of 264020 with flag 8901001/12057315
972.86/967.42	c cleaning 133005 clauses out of 266014 with flag 9035001/12191315
984.90/979.49	c cleaning 134001 clauses out of 268008 with flag 9170000/12326314
995.26/989.75	c cleaning 134999 clauses out of 270008 with flag 9306001/12462315
1005.57/1000.06	c cleaning 136001 clauses out of 272009 with flag 9443001/12599315
1015.99/1010.49	c cleaning 137000 clauses out of 274007 with flag 9581000/12737314
1027.12/1021.53	c cleaning 137998 clauses out of 276007 with flag 9720000/12876314
1037.54/1031.94	c cleaning 138987 clauses out of 278009 with flag 9860000/13016314
1048.06/1042.41	c cleaning 140003 clauses out of 280022 with flag 10001000/13157314
1059.41/1053.80	c cleaning 141003 clauses out of 282019 with flag 10143000/13299314
1071.56/1065.89	c cleaning 142001 clauses out of 284016 with flag 10286000/13442314
1082.19/1076.41	c cleaning 142992 clauses out of 286015 with flag 10430000/13586314
1093.40/1087.67	c cleaning 144003 clauses out of 288023 with flag 10575000/13731314
1105.73/1099.95	c cleaning 145008 clauses out of 290021 with flag 10721001/13877315
1117.66/1111.88	c cleaning 146002 clauses out of 292013 with flag 10868001/14024315
1129.99/1124.15	c cleaning 147000 clauses out of 294010 with flag 11016000/14172314
1143.32/1137.42	c cleaning 147998 clauses out of 296010 with flag 11165000/14321314
1170.15/1164.28	c cleaning 148997 clauses out of 298012 with flag 11315000/14471314
1182.62/1176.65	c cleaning 149999 clauses out of 300015 with flag 11466000/14622314
1196.45/1190.41	c cleaning 151001 clauses out of 302017 with flag 11618001/14774315
1209.16/1203.11	c cleaning 152004 clauses out of 304015 with flag 11771000/14927314
1221.77/1215.75	c cleaning 153003 clauses out of 306013 with flag 11925002/15081316
1235.43/1229.33	c cleaning 153990 clauses out of 308008 with flag 12080000/15236314
1248.07/1241.95	c cleaning 155006 clauses out of 310018 with flag 12236000/15392314
1263.31/1257.17	c cleaning 155991 clauses out of 312012 with flag 12393000/15549314
1275.39/1269.17	c cleaning 157007 clauses out of 314021 with flag 12551000/15707314
1287.42/1281.11	c cleaning 157985 clauses out of 316014 with flag 12710000/15866314
1300.68/1294.36	c cleaning 159009 clauses out of 318029 with flag 12870000/16026314
1314.49/1308.10	c cleaning 159998 clauses out of 320020 with flag 13031000/16187314
1329.56/1323.13	c cleaning 161002 clauses out of 322022 with flag 13193000/16349314
1343.11/1336.67	c cleaning 161982 clauses out of 324020 with flag 13356000/16512314
1359.14/1352.61	c cleaning 163015 clauses out of 326040 with flag 13520002/16676316
1378.13/1371.58	c cleaning 164004 clauses out of 328023 with flag 13685000/16841314
1401.40/1394.76	c cleaning 165003 clauses out of 330019 with flag 13851000/17007314
1422.90/1416.11	c cleaning 166005 clauses out of 332016 with flag 14018000/17174314
1437.57/1430.74	c cleaning 167002 clauses out of 334012 with flag 14186001/17342315
1451.63/1444.78	c cleaning 168000 clauses out of 336011 with flag 14355002/17511316
1465.66/1458.76	c cleaning 168993 clauses out of 338009 with flag 14525000/17681314
1480.09/1473.15	c cleaning 169987 clauses out of 340017 with flag 14696001/17852315
1494.42/1487.44	c cleaning 171002 clauses out of 342029 with flag 14868000/18024314
1509.34/1502.38	c cleaning 172010 clauses out of 344027 with flag 15041000/18197314
1524.79/1517.78	c cleaning 172995 clauses out of 346017 with flag 15215000/18371314
1540.33/1533.22	c cleaning 174003 clauses out of 348022 with flag 15390000/18546314
1555.99/1548.83	c cleaning 175005 clauses out of 350019 with flag 15566000/18722314
1569.95/1562.76	c cleaning 176000 clauses out of 352015 with flag 15743001/18899315
1584.51/1577.27	c cleaning 177002 clauses out of 354014 with flag 15921000/19077314
1609.37/1602.04	c cleaning 177993 clauses out of 356012 with flag 16100000/19256314
1625.79/1618.38	c cleaning 178985 clauses out of 358019 with flag 16280000/19436314
1640.01/1632.60	c cleaning 180011 clauses out of 360034 with flag 16461000/19617314
1655.53/1648.08	c cleaning 181010 clauses out of 362024 with flag 16643001/19799315
1670.35/1662.82	c cleaning 181999 clauses out of 364013 with flag 16826000/19982314
1686.08/1678.54	c cleaning 182982 clauses out of 366014 with flag 17010000/20166314
1707.69/1700.12	c cleaning 184014 clauses out of 368032 with flag 17195000/20351314
1731.59/1723.99	c cleaning 185009 clauses out of 370019 with flag 17381001/20537315
1765.35/1757.67	c cleaning 186006 clauses out of 372011 with flag 17568002/20724316
1795.85/1788.09	c cleaning 187000 clauses out of 374003 with flag 17756000/20912314
1800.03/1792.11	c starts		: 358
1800.03/1792.11	c conflicts		: 20960530
1800.03/1792.11	c decisions		: 46899017
1800.03/1792.11	c propagations		: 254600209
1800.03/1792.11	c inspects		: 8256866001
1800.03/1792.11	c shortcuts		: 0
1800.03/1792.11	c learnt literals	: 0
1800.03/1792.11	c learnt binary clauses	: 1
1800.03/1792.11	c learnt ternary clauses	: 11
1800.03/1792.11	c learnt constraints	: 20960531
1800.03/1792.11	c ignored constraints	: 0
1800.03/1792.11	c root simplifications	: 358
1800.03/1792.11	c removed literals (reason simplification)	: 1863783430
1800.03/1792.11	c reason swapping (by a shorter reason)	: 0
1800.03/1792.11	c Calls to reduceDB	: 284
1800.03/1792.11	c number of reductions to clauses (during analyze)	: 0
1800.03/1792.11	c number of learned constraints concerned by reduction	: 0
1800.03/1792.11	c number of learning phase by resolution	: 0
1800.03/1792.11	c number of learning phase by cutting planes	: 0
1800.03/1792.11	c speed (assignments/second)	: 142088.63174801783
1800.03/1792.11	c non guided choices	193
1800.03/1792.14	c learnt constraints type 
1800.03/1792.14	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1800.03/1792.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 235409
1800.03/1792.14	c constraints type 
1800.03/1792.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 130
1800.03/1792.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.03/1792.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1278
1800.03/1792.14	c 1409 constraints processed.
1800.03/1792.14	s SATISFIABLE
1800.03/1792.14	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 
1800.03/1792.14	c objective function=162
1800.03/1792.14	c Total wall clock time (in seconds): 1792.028

Verifier Data

OK	162

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-3710589-1338144790/watcher-3710589-1338144790 -o /tmp/evaluation-result-3710589-1338144790/solver-3710589-1338144790 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710589-1338144790.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.10 3.59 3.05 2/194 31050
/proc/meminfo: memFree=30789856/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/31050/stat : 31050 (java) R 31048 31050 28151 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 280603872 23793664 714 33554432000 1073741824 1073778376 140736481755824 140736481744888 213410429008 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 5809 715 529 9 0 128 0

[startup+0.0800059 s]
/proc/loadavg: 2.10 3.59 3.05 2/194 31050
/proc/meminfo: memFree=30789856/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9558440 CPUtime=0.06 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 3489 0 1 0 5 1 0 0 20 0 18 0 280603872 9787842560 4696 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2389610 4696 1779 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440

[startup+0.100238 s]
/proc/loadavg: 2.10 3.59 3.05 2/194 31050
/proc/meminfo: memFree=30789856/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 4244 0 1 0 9 1 0 0 20 0 18 0 280603872 9787842560 5961 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2389610 5961 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300218 s]
/proc/loadavg: 2.10 3.59 3.05 2/194 31050
/proc/meminfo: memFree=30789856/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 5911 0 1 0 46 2 0 0 20 0 19 0 280603872 9856004096 8589 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2406251 8592 2229 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9625004

[startup+0.700197 s]
/proc/loadavg: 2.10 3.59 3.05 2/194 31050
/proc/meminfo: memFree=30789856/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9625004 CPUtime=1.11 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 7334 0 1 0 109 2 0 0 20 0 19 0 280603872 9856004096 9995 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2406251 9995 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 9625004

[startup+1.50064 s]
/proc/loadavg: 2.10 3.59 3.05 5/213 31069
/proc/meminfo: memFree=30751892/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9625004 CPUtime=2 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 7529 0 1 0 197 3 0 0 20 0 19 0 280603872 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2406251 13128 2276 9 0 2396937 0
[pid=31050/tid=31052] ppid=31048 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/31050/task/31052/stat : 31052 (java) R 31048 31050 28151 0 -1 4202560 2498 0 1 0 142 2 0 0 20 0 19 0 280603873 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408916537648 140408739400678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31053] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31053/stat : 31053 (java) S 31048 31050 28151 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408878029608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31054] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31054/stat : 31054 (java) S 31048 31050 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408876976808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31055] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31055/stat : 31055 (java) S 31048 31050 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408875924520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31056] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31056/stat : 31056 (java) S 31048 31050 28151 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408874871720 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31057] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31057/stat : 31057 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408873818408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31058] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31058/stat : 31058 (java) S 31048 31050 28151 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408872765608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31059] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31059/stat : 31059 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408871713320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31060] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31060/stat : 31060 (java) S 31048 31050 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408870660520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31061] ppid=31048 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/31050/task/31061/stat : 31061 (java) S 31048 31050 28151 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 280603875 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408858249960 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31062] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31062/stat : 31062 (java) S 31048 31050 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408738801144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31063] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31063/stat : 31063 (java) S 31048 31050 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408737748744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31064] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31064/stat : 31064 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408736697232 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31065] ppid=31048 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/31050/task/31065/stat : 31065 (java) S 31048 31050 28151 0 -1 4202560 1646 0 0 0 22 0 0 0 20 0 19 0 280603877 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408735643832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31066] ppid=31048 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/31050/task/31066/stat : 31066 (java) S 31048 31050 28151 0 -1 4202560 2123 0 0 0 26 0 0 0 20 0 19 0 280603877 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408734591032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31067] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31067/stat : 31067 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408733538936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31068] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31068/stat : 31068 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603878 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408732486344 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31069] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31069/stat : 31069 (java) S 31048 31050 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280603899 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408731432360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 9625004

[startup+3.10062 s]
/proc/loadavg: 2.10 3.59 3.05 3/213 31069
/proc/meminfo: memFree=30744880/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9625004 CPUtime=3.66 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 8361 0 1 0 363 3 0 0 20 0 19 0 280603872 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2406251 13758 2276 9 0 2396937 0
[pid=31050/tid=31052] ppid=31048 vsize=9625004 CPUtime=2.99 cores=0,2,4,6
/proc/31050/task/31052/stat : 31052 (java) R 31048 31050 28151 0 -1 4202560 2501 0 1 0 297 2 0 0 20 0 19 0 280603873 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408916537648 140408739328222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31053] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31053/stat : 31053 (java) S 31048 31050 28151 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408878029608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31054] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31054/stat : 31054 (java) S 31048 31050 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408876976808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31055] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31055/stat : 31055 (java) S 31048 31050 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408875924520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31056] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31056/stat : 31056 (java) S 31048 31050 28151 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408874871720 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31057] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31057/stat : 31057 (java) S 31048 31050 28151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408873818408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31058] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31058/stat : 31058 (java) S 31048 31050 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408872765608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31059] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31059/stat : 31059 (java) S 31048 31050 28151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408871713320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31060] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31060/stat : 31060 (java) S 31048 31050 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408870660520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31061] ppid=31048 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/31050/task/31061/stat : 31061 (java) S 31048 31050 28151 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 19 0 280603875 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408858249960 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31062] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31062/stat : 31062 (java) S 31048 31050 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408738801144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31063] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31063/stat : 31063 (java) S 31048 31050 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408737748744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31064] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31064/stat : 31064 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408736697232 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31065] ppid=31048 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/31050/task/31065/stat : 31065 (java) S 31048 31050 28151 0 -1 4202560 1646 0 0 0 22 0 0 0 20 0 19 0 280603877 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408735643832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31066] ppid=31048 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/31050/task/31066/stat : 31066 (java) S 31048 31050 28151 0 -1 4202560 2940 0 0 0 31 0 0 0 20 0 19 0 280603877 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408734591032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31067] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31067/stat : 31067 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408733538936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31068] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31068/stat : 31068 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603878 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408732486344 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31069] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31069/stat : 31069 (java) S 31048 31050 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280603899 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408731432360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 9625004

[startup+6.30066 s]
/proc/loadavg: 2.10 3.56 3.04 3/213 31069
/proc/meminfo: memFree=30740428/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9625004 CPUtime=6.88 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 8377 0 1 0 684 4 0 0 20 0 19 0 280603872 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2406251 15139 2276 9 0 2396937 0
[pid=31050/tid=31052] ppid=31048 vsize=9625004 CPUtime=6.12 cores=0,2,4,6
/proc/31050/task/31052/stat : 31052 (java) R 31048 31050 28151 0 -1 4202560 2506 0 1 0 610 2 0 0 20 0 19 0 280603873 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408916537648 140408739368583 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31053] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31053/stat : 31053 (java) S 31048 31050 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408878029608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31054] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31054/stat : 31054 (java) S 31048 31050 28151 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408876976808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31055] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31055/stat : 31055 (java) S 31048 31050 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408875924520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31056] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31056/stat : 31056 (java) S 31048 31050 28151 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408874871720 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31057] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31057/stat : 31057 (java) S 31048 31050 28151 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408873818408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31058] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31058/stat : 31058 (java) S 31048 31050 28151 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408872765608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31059] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31059/stat : 31059 (java) S 31048 31050 28151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408871713320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31060] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31060/stat : 31060 (java) S 31048 31050 28151 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408870660520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31061] ppid=31048 vsize=9625004 CPUtime=0.11 cores=0,2,4,6
/proc/31050/task/31061/stat : 31061 (java) S 31048 31050 28151 0 -1 4202560 33 0 0 0 11 0 0 0 20 0 19 0 280603875 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408858249960 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31062] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31062/stat : 31062 (java) S 31048 31050 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408738801144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31063] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31063/stat : 31063 (java) S 31048 31050 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408737748744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31064] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31064/stat : 31064 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408736697232 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31065] ppid=31048 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/31050/task/31065/stat : 31065 (java) S 31048 31050 28151 0 -1 4202560 1646 0 0 0 22 0 0 0 20 0 19 0 280603877 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408735643832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31066] ppid=31048 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/31050/task/31066/stat : 31066 (java) S 31048 31050 28151 0 -1 4202560 2940 0 0 0 31 0 0 0 20 0 19 0 280603877 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408734591032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31067] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31067/stat : 31067 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408733538936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31068] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31068/stat : 31068 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603878 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408732486344 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31069] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31069/stat : 31069 (java) S 31048 31050 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280603899 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408731432360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=31050/tid=31065] ppid=31048 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/31050/task/31065/stat : 31065 (java) S 31048 31050 28151 0 -1 4202560 8257 0 0 0 57 2 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408735643832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31066] ppid=31048 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/31050/task/31066/stat : 31066 (java) S 31048 31050 28151 0 -1 4202560 2941 0 0 0 34 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408734591032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31067] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31067/stat : 31067 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408733538936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31068] ppid=31048 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/31050/task/31068/stat : 31068 (java) S 31048 31050 28151 0 -1 4202560 98 0 0 0 19 20 0 0 20 0 19 0 280603878 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408732486344 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31069] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31069/stat : 31069 (java) S 31048 31050 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280603899 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408731432360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1729.99
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 2.12 3/213 31165
/proc/meminfo: memFree=30187244/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9625004 CPUtime=1790.15 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 18014 0 1 0 178962 53 0 0 20 0 19 0 280603872 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2406251 90589 2279 9 0 2396937 0
[pid=31050/tid=31052] ppid=31048 vsize=9625004 CPUtime=1762.03 cores=0,2,4,6
/proc/31050/task/31052/stat : 31052 (java) R 31048 31050 28151 0 -1 4202560 2820 0 1 0 176173 30 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408916537648 140408739521904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31053] ppid=31048 vsize=9625004 CPUtime=1.16 cores=0,2,4,6
/proc/31050/task/31053/stat : 31053 (java) S 31048 31050 28151 0 -1 4202560 371 0 0 0 113 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408878029608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31054] ppid=31048 vsize=9625004 CPUtime=1.35 cores=0,2,4,6
/proc/31050/task/31054/stat : 31054 (java) S 31048 31050 28151 0 -1 4202560 454 0 0 0 131 4 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408876976808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31055] ppid=31048 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/31050/task/31055/stat : 31055 (java) S 31048 31050 28151 0 -1 4202560 222 0 0 0 122 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408875924520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31056] ppid=31048 vsize=9625004 CPUtime=1.16 cores=0,2,4,6
/proc/31050/task/31056/stat : 31056 (java) S 31048 31050 28151 0 -1 4202560 298 0 0 0 112 4 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408874871720 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31057] ppid=31048 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/31050/task/31057/stat : 31057 (java) S 31048 31050 28151 0 -1 4202560 382 0 0 0 122 4 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408873818408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31058] ppid=31048 vsize=9625004 CPUtime=1.19 cores=0,2,4,6
/proc/31050/task/31058/stat : 31058 (java) S 31048 31050 28151 0 -1 4202560 275 0 0 0 116 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408872765608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31059] ppid=31048 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/31050/task/31059/stat : 31059 (java) S 31048 31050 28151 0 -1 4202560 282 0 0 0 122 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408871713320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31060] ppid=31048 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/31050/task/31060/stat : 31060 (java) S 31048 31050 28151 0 -1 4202560 265 0 0 0 130 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408870660520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31061] ppid=31048 vsize=9625004 CPUtime=12.54 cores=0,2,4,6
/proc/31050/task/31061/stat : 31061 (java) S 31048 31050 28151 0 -1 4202560 163 0 0 0 1251 3 0 0 20 0 19 0 280603875 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408858249960 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31062] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31062/stat : 31062 (java) S 31048 31050 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408738801144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31063] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31063/stat : 31063 (java) S 31048 31050 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408737748744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31064] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31064/stat : 31064 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408736697232 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31065] ppid=31048 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/31050/task/31065/stat : 31065 (java) S 31048 31050 28151 0 -1 4202560 8257 0 0 0 57 2 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408735643832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31066] ppid=31048 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/31050/task/31066/stat : 31066 (java) S 31048 31050 28151 0 -1 4202560 2941 0 0 0 34 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408734591032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31067] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31067/stat : 31067 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408733538936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31068] ppid=31048 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/31050/task/31068/stat : 31068 (java) S 31048 31050 28151 0 -1 4202560 102 0 0 0 20 21 0 0 20 0 19 0 280603878 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408732486344 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31069] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31069/stat : 31069 (java) S 31048 31050 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280603899 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408731432360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1790.15
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.1 s]
/proc/loadavg: 1.99 1.99 2.12 3/213 31165
/proc/meminfo: memFree=30187244/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 18017 0 1 0 179950 53 0 0 20 0 19 0 280603872 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2406251 90589 2279 9 0 2396937 0
[pid=31050/tid=31052] ppid=31048 vsize=9625004 CPUtime=1771.64 cores=0,2,4,6
/proc/31050/task/31052/stat : 31052 (java) R 31048 31050 28151 0 -1 4202560 2821 0 1 0 177134 30 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408916537648 140408739388406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31053] ppid=31048 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/31050/task/31053/stat : 31053 (java) S 31048 31050 28151 0 -1 4202560 371 0 0 0 114 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408878029608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31054] ppid=31048 vsize=9625004 CPUtime=1.36 cores=0,2,4,6
/proc/31050/task/31054/stat : 31054 (java) S 31048 31050 28151 0 -1 4202560 454 0 0 0 132 4 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408876976808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31055] ppid=31048 vsize=9625004 CPUtime=1.27 cores=0,2,4,6
/proc/31050/task/31055/stat : 31055 (java) S 31048 31050 28151 0 -1 4202560 222 0 0 0 124 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408875924520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31056] ppid=31048 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/31050/task/31056/stat : 31056 (java) S 31048 31050 28151 0 -1 4202560 298 0 0 0 113 4 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408874871720 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31057] ppid=31048 vsize=9625004 CPUtime=1.27 cores=0,2,4,6
/proc/31050/task/31057/stat : 31057 (java) S 31048 31050 28151 0 -1 4202560 382 0 0 0 123 4 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408873818408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31058] ppid=31048 vsize=9625004 CPUtime=1.2 cores=0,2,4,6
/proc/31050/task/31058/stat : 31058 (java) S 31048 31050 28151 0 -1 4202560 275 0 0 0 117 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408872765608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31059] ppid=31048 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/31050/task/31059/stat : 31059 (java) S 31048 31050 28151 0 -1 4202560 282 0 0 0 123 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408871713320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31060] ppid=31048 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/31050/task/31060/stat : 31060 (java) S 31048 31050 28151 0 -1 4202560 265 0 0 0 130 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408870660520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31061] ppid=31048 vsize=9625004 CPUtime=12.68 cores=0,2,4,6
/proc/31050/task/31061/stat : 31061 (java) S 31048 31050 28151 0 -1 4202560 165 0 0 0 1265 3 0 0 20 0 19 0 280603875 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408858249960 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31062] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31062/stat : 31062 (java) S 31048 31050 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408738801144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31063] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31063/stat : 31063 (java) S 31048 31050 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408737748744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31064] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31064/stat : 31064 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408736697232 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31065] ppid=31048 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/31050/task/31065/stat : 31065 (java) S 31048 31050 28151 0 -1 4202560 8257 0 0 0 57 2 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408735643832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31066] ppid=31048 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/31050/task/31066/stat : 31066 (java) S 31048 31050 28151 0 -1 4202560 2941 0 0 0 34 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408734591032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31067] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31067/stat : 31067 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408733538936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31068] ppid=31048 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/31050/task/31068/stat : 31068 (java) S 31048 31050 28151 0 -1 4202560 102 0 0 0 20 21 0 0 20 0 19 0 280603878 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408732486344 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31069] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31069/stat : 31069 (java) S 31048 31050 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280603899 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408731432360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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+1792.1 s]
/proc/loadavg: 1.99 1.99 2.12 3/213 31165
/proc/meminfo: memFree=30187244/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 18017 0 1 0 179950 53 0 0 20 0 19 0 280603872 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2406251 90589 2279 9 0 2396937 0
[pid=31050/tid=31052] ppid=31048 vsize=9625004 CPUtime=1771.64 cores=0,2,4,6
/proc/31050/task/31052/stat : 31052 (java) R 31048 31050 28151 0 -1 4202560 2821 0 1 0 177134 30 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408916537648 140408739388406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31053] ppid=31048 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/31050/task/31053/stat : 31053 (java) S 31048 31050 28151 0 -1 4202560 371 0 0 0 114 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408878029608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31054] ppid=31048 vsize=9625004 CPUtime=1.36 cores=0,2,4,6
/proc/31050/task/31054/stat : 31054 (java) S 31048 31050 28151 0 -1 4202560 454 0 0 0 132 4 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408876976808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31055] ppid=31048 vsize=9625004 CPUtime=1.27 cores=0,2,4,6
/proc/31050/task/31055/stat : 31055 (java) S 31048 31050 28151 0 -1 4202560 222 0 0 0 124 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408875924520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31056] ppid=31048 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/31050/task/31056/stat : 31056 (java) S 31048 31050 28151 0 -1 4202560 298 0 0 0 113 4 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408874871720 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31057] ppid=31048 vsize=9625004 CPUtime=1.27 cores=0,2,4,6
/proc/31050/task/31057/stat : 31057 (java) S 31048 31050 28151 0 -1 4202560 382 0 0 0 123 4 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408873818408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31058] ppid=31048 vsize=9625004 CPUtime=1.2 cores=0,2,4,6
/proc/31050/task/31058/stat : 31058 (java) S 31048 31050 28151 0 -1 4202560 275 0 0 0 117 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408872765608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31059] ppid=31048 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/31050/task/31059/stat : 31059 (java) S 31048 31050 28151 0 -1 4202560 282 0 0 0 123 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408871713320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31060] ppid=31048 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/31050/task/31060/stat : 31060 (java) S 31048 31050 28151 0 -1 4202560 265 0 0 0 130 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408870660520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31061] ppid=31048 vsize=9625004 CPUtime=12.68 cores=0,2,4,6
/proc/31050/task/31061/stat : 31061 (java) S 31048 31050 28151 0 -1 4202560 165 0 0 0 1265 3 0 0 20 0 19 0 280603875 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408858249960 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31062] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31062/stat : 31062 (java) S 31048 31050 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408738801144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31063] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31063/stat : 31063 (java) S 31048 31050 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408737748744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31064] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31064/stat : 31064 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408736697232 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31065] ppid=31048 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/31050/task/31065/stat : 31065 (java) S 31048 31050 28151 0 -1 4202560 8257 0 0 0 57 2 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408735643832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31066] ppid=31048 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/31050/task/31066/stat : 31066 (java) S 31048 31050 28151 0 -1 4202560 2941 0 0 0 34 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408734591032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31067] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31067/stat : 31067 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408733538936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31068] ppid=31048 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/31050/task/31068/stat : 31068 (java) S 31048 31050 28151 0 -1 4202560 102 0 0 0 20 21 0 0 20 0 19 0 280603878 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408732486344 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31069] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31069/stat : 31069 (java) S 31048 31050 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280603899 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408731432360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31050 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=68108
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=972852
# CPU time returned by wait4() is 1796.04
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1792.15
CPU time (s): 1800.03
CPU user time (s): 1799.5
CPU system time (s): 0.53
CPU usage (%): 100.44
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.07
system time used= 0.972852
maximum resident set size= 362512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18057
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45712
involuntary context switches= 31680

runsolver used 6.32404 second user time and 13.451 second system time

The end

Launcher Data

Begin job on node140 at 2012-05-27 20:53:10
IDJOB=3710589
IDBENCH=2105
IDSOLVER=2289
FILE ID=node140/3710589-1338144790
RUNJOBID= node140-1338124688-28167
PBS_JOBID= 14624514
Free space on /tmp= 71336 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e1.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-3710589-1338144790/watcher-3710589-1338144790 -o /tmp/evaluation-result-3710589-1338144790/solver-3710589-1338144790 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710589-1338144790.opb

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

MD5SUM BENCH= 0d4648505d14cf43905d3198d6f686c2
RANDOM SEED=1239073279

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30790384 kB
Buffers:          391592 kB
Cached:           709904 kB
SwapCached:         1492 kB
Active:           965148 kB
Inactive:         258860 kB
Active(anon):     114436 kB
Inactive(anon):     8612 kB
Active(file):     850712 kB
Inactive(file):   250248 kB
Unevictable:        6600 kB
Mlocked:            6600 kB
SwapTotal:      67108856 kB
SwapFree:       67105300 kB
Dirty:              1172 kB
Writeback:             8 kB
AnonPages:        126284 kB
Mapped:            19864 kB
Shmem:                 8 kB
Slab:             719592 kB
SReclaimable:     160912 kB
SUnreclaim:       558680 kB
KernelStack:        1608 kB
PageTables:         4652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     697664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     94208 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= 71332 MiB
End job on node140 at 2012-05-27 21:23:04