Trace number 3687781

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)419 1800.49 1787.16

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8e1.opb
MD5SUM9711add7b63200e6cedabbc5764a3737
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark343
Best CPU time to get the best result obtained on this benchmark18.6762
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 343
Optimality of the best value was proved NO
Number of variables1040
Total number of constraints3656
Number of constraints which are clauses3656
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 constraint10
Number of terms in the objective function 1040
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 1040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1040
Number of bits of the biggest sum of numbers11
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.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.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.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3687781-1337875522.opb
0.09/0.11	c reading problem ... 
0.26/0.29	c ... done. Wall clock time 0.182s.
0.26/0.29	c declared #vars     1040
0.26/0.29	c #constraints  3656
0.26/0.29	c constraints type 
0.26/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 176
0.26/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3480
0.26/0.29	c 3656 constraints processed.
0.26/0.29	c objective function length is 1040 literals
0.48/0.32	c SATISFIABLE
0.48/0.32	c OPTIMIZING...
0.48/0.32	c Got one! Elapsed wall clock time (in seconds):0.208
0.48/0.32	o 420
1.29/0.86	c cleaning 2503 clauses out of 5005 with flag 5000/5005
1.86/1.34	c cleaning 4251 clauses out of 8503 with flag 11001/11006
2.37/1.89	c cleaning 5618 clauses out of 11251 with flag 18000/18005
3.07/2.53	c cleaning 6817 clauses out of 13634 with flag 26001/26006
3.84/3.27	c cleaning 7903 clauses out of 15818 with flag 35002/35007
4.66/4.06	c cleaning 8955 clauses out of 17914 with flag 45001/45006
5.57/4.98	c cleaning 9979 clauses out of 19959 with flag 56001/56006
6.60/5.97	c cleaning 10980 clauses out of 21980 with flag 68001/68006
7.72/7.05	c cleaning 11993 clauses out of 24001 with flag 81002/81007
8.93/8.29	c cleaning 13002 clauses out of 26006 with flag 95000/95005
10.26/9.55	c cleaning 13990 clauses out of 28004 with flag 110000/110005
11.59/10.87	c cleaning 14996 clauses out of 30014 with flag 126000/126005
13.20/12.41	c cleaning 16002 clauses out of 32018 with flag 143000/143005
14.81/14.03	c cleaning 17010 clauses out of 34019 with flag 161003/161008
16.44/15.62	c cleaning 17988 clauses out of 36006 with flag 180000/180005
18.35/17.51	c cleaning 18996 clauses out of 38019 with flag 200001/200006
20.37/19.51	c cleaning 20006 clauses out of 40023 with flag 221001/221006
22.39/21.50	c cleaning 21000 clauses out of 42017 with flag 243001/243006
24.40/23.55	c cleaning 22001 clauses out of 44016 with flag 266000/266005
26.63/25.76	c cleaning 22998 clauses out of 46015 with flag 290000/290005
29.26/28.38	c cleaning 24000 clauses out of 48018 with flag 315001/315006
32.08/31.10	c cleaning 24990 clauses out of 50018 with flag 341001/341006
34.76/33.77	c cleaning 26010 clauses out of 52028 with flag 368001/368006
37.80/36.72	c cleaning 27003 clauses out of 54018 with flag 396001/396006
40.53/39.44	c cleaning 28000 clauses out of 56015 with flag 425001/425006
43.36/42.20	c cleaning 28997 clauses out of 58014 with flag 455000/455005
46.37/45.23	c cleaning 30007 clauses out of 60018 with flag 486001/486006
49.58/48.49	c cleaning 31006 clauses out of 62012 with flag 518002/518007
53.10/51.95	c cleaning 31991 clauses out of 64004 with flag 551000/551005
56.64/55.48	c cleaning 33002 clauses out of 66013 with flag 585000/585005
60.27/59.06	c cleaning 33991 clauses out of 68011 with flag 620000/620005
64.23/62.90	c cleaning 35011 clauses out of 70022 with flag 656002/656007
68.07/66.74	c cleaning 35988 clauses out of 72009 with flag 693000/693005
72.19/70.84	c cleaning 37009 clauses out of 74022 with flag 731001/731006
76.78/75.34	c cleaning 38006 clauses out of 76012 with flag 770000/770005
81.17/79.60	c cleaning 38986 clauses out of 78006 with flag 810000/810005
85.65/84.08	c cleaning 40002 clauses out of 80020 with flag 851000/851005
90.18/88.57	c cleaning 41002 clauses out of 82019 with flag 893001/893006
94.33/92.68	c cleaning 42003 clauses out of 84017 with flag 936001/936006
98.76/97.09	c cleaning 43005 clauses out of 86013 with flag 980000/980005
103.89/102.11	c cleaning 43989 clauses out of 88008 with flag 1025000/1025005
108.82/107.08	c cleaning 45011 clauses out of 90021 with flag 1071002/1071007
113.74/111.93	c cleaning 45996 clauses out of 92008 with flag 1118000/1118005
119.09/117.29	c cleaning 47003 clauses out of 94012 with flag 1166000/1166005
124.43/122.59	c cleaning 47992 clauses out of 96009 with flag 1215000/1215005
129.25/127.34	c cleaning 48997 clauses out of 98017 with flag 1265000/1265005
134.18/132.24	c cleaning 49999 clauses out of 100021 with flag 1316001/1316006
139.20/137.17	c cleaning 51006 clauses out of 102021 with flag 1368000/1368005
144.86/142.74	c cleaning 52006 clauses out of 104016 with flag 1421001/1421006
150.39/148.23	c cleaning 52995 clauses out of 106011 with flag 1475002/1475007
156.36/154.18	c cleaning 53997 clauses out of 108014 with flag 1530000/1530005
162.38/160.11	c cleaning 55003 clauses out of 110019 with flag 1586002/1586007
168.83/166.58	c cleaning 55997 clauses out of 112015 with flag 1643001/1643006
175.86/173.54	c cleaning 57000 clauses out of 114017 with flag 1701000/1701005
182.73/180.30	c cleaning 58009 clauses out of 116017 with flag 1760000/1760005
189.47/187.02	c cleaning 59004 clauses out of 118008 with flag 1820000/1820005
196.54/194.08	c cleaning 59997 clauses out of 120004 with flag 1881000/1881005
203.91/201.34	c cleaning 61000 clauses out of 122007 with flag 1943000/1943005
211.26/208.66	c cleaning 61985 clauses out of 124007 with flag 2006000/2006005
218.20/215.53	c cleaning 62988 clauses out of 126023 with flag 2070001/2070006
224.03/221.36	c Got one! Elapsed wall clock time (in seconds):221.253
224.03/221.36	o 419
225.13/222.48	c cleaning 62680 clauses out of 125360 with flag 5001/2132331
225.92/223.10	c cleaning 34340 clauses out of 68679 with flag 11000/2138330
226.54/223.73	c cleaning 20670 clauses out of 41339 with flag 18000/2145330
227.29/224.46	c cleaning 14332 clauses out of 28669 with flag 26000/2153330
228.11/225.26	c cleaning 11666 clauses out of 23338 with flag 35001/2162331
228.92/226.05	c cleaning 10832 clauses out of 21671 with flag 45000/2172330
229.85/226.91	c cleaning 10914 clauses out of 21840 with flag 56001/2183331
230.66/227.78	c cleaning 11459 clauses out of 22925 with flag 68000/2195330
231.66/228.78	c cleaning 12226 clauses out of 24466 with flag 81000/2208330
232.78/229.86	c cleaning 13109 clauses out of 26240 with flag 95000/2222330
233.89/230.97	c cleaning 14062 clauses out of 28131 with flag 110000/2237330
235.19/232.23	c cleaning 15030 clauses out of 30069 with flag 126000/2253330
236.60/233.64	c cleaning 16021 clauses out of 32041 with flag 143002/2270332
238.00/235.02	c cleaning 16998 clauses out of 34019 with flag 161001/2288331
239.53/236.53	c cleaning 18011 clauses out of 36021 with flag 180001/2307331
241.15/238.10	c cleaning 18999 clauses out of 38009 with flag 200000/2327330
242.97/239.90	c cleaning 20004 clauses out of 40010 with flag 221000/2348330
244.89/241.80	c cleaning 21003 clauses out of 42006 with flag 243000/2370330
246.81/243.70	c cleaning 22001 clauses out of 44003 with flag 266000/2393330
248.74/245.63	c cleaning 23000 clauses out of 46002 with flag 290000/2417330
250.87/247.71	c cleaning 24001 clauses out of 48002 with flag 315000/2442330
253.29/250.14	c cleaning 25001 clauses out of 50002 with flag 341001/2468331
256.03/252.82	c cleaning 26001 clauses out of 52002 with flag 368002/2495332
258.76/255.53	c cleaning 26990 clauses out of 53999 with flag 396000/2523330
261.89/258.67	c cleaning 28004 clauses out of 56009 with flag 425000/2552330
264.82/261.51	c cleaning 29003 clauses out of 58006 with flag 455001/2582331
267.55/264.23	c cleaning 29995 clauses out of 60002 with flag 486000/2613330
270.57/267.22	c cleaning 31002 clauses out of 62007 with flag 518000/2645330
273.48/270.16	c cleaning 31998 clauses out of 64006 with flag 551001/2678331
276.51/273.11	c cleaning 32998 clauses out of 66007 with flag 585000/2712330
279.53/276.16	c cleaning 33997 clauses out of 68009 with flag 620000/2747330
282.65/279.24	c cleaning 35000 clauses out of 70012 with flag 656000/2783330
285.95/282.55	c cleaning 36001 clauses out of 72012 with flag 693000/2820330
289.87/286.47	c cleaning 37001 clauses out of 74012 with flag 731001/2858331
293.81/290.32	c cleaning 38002 clauses out of 76010 with flag 770000/2897330
297.62/294.11	c cleaning 39001 clauses out of 78009 with flag 810001/2937331
301.45/297.93	c cleaning 39998 clauses out of 80007 with flag 851000/2978330
305.10/301.56	c cleaning 41004 clauses out of 82010 with flag 893001/3020331
308.74/305.16	c cleaning 42003 clauses out of 84006 with flag 936001/3063331
313.26/309.68	c cleaning 42995 clauses out of 86005 with flag 980003/3107333
317.59/313.92	c cleaning 44004 clauses out of 88007 with flag 1025000/3152330
322.41/318.70	c cleaning 44998 clauses out of 90003 with flag 1071000/3198330
326.75/323.05	c cleaning 45997 clauses out of 92005 with flag 1118000/3245330
330.86/327.17	c cleaning 46996 clauses out of 94009 with flag 1166001/3293331
335.40/331.64	c cleaning 48003 clauses out of 96012 with flag 1215000/3342330
340.04/336.22	c cleaning 49002 clauses out of 98014 with flag 1265005/3392335
344.97/341.10	c cleaning 50002 clauses out of 100007 with flag 1316000/3443330
350.60/346.78	c cleaning 51001 clauses out of 102005 with flag 1368000/3495330
355.66/351.78	c cleaning 51999 clauses out of 104005 with flag 1421001/3548331
361.10/357.15	c cleaning 52994 clauses out of 106006 with flag 1475001/3602331
366.96/362.99	c cleaning 53991 clauses out of 108012 with flag 1530001/3657331
372.81/368.77	c cleaning 55005 clauses out of 110021 with flag 1586001/3713331
378.25/374.11	c cleaning 56004 clauses out of 112015 with flag 1643000/3770330
383.60/379.50	c cleaning 56993 clauses out of 114011 with flag 1701000/3828330
389.73/385.53	c cleaning 58008 clauses out of 116019 with flag 1760001/3887331
395.39/391.19	c cleaning 59005 clauses out of 118010 with flag 1820000/3947330
401.13/396.83	c cleaning 60004 clauses out of 120008 with flag 1881003/4008333
406.76/402.49	c cleaning 60993 clauses out of 122001 with flag 1943000/4070330
412.49/408.11	c cleaning 61999 clauses out of 124008 with flag 2006000/4133330
418.53/414.17	c cleaning 62991 clauses out of 126010 with flag 2070001/4197331
425.95/421.55	c cleaning 64005 clauses out of 128021 with flag 2135003/4262333
432.55/428.03	c cleaning 65001 clauses out of 130014 with flag 2201001/4328331
439.27/434.72	c cleaning 66005 clauses out of 132012 with flag 2268000/4395330
445.69/441.17	c cleaning 66997 clauses out of 134008 with flag 2336001/4463331
452.21/447.63	c cleaning 67999 clauses out of 136010 with flag 2405000/4532330
460.07/455.46	c cleaning 68999 clauses out of 138011 with flag 2475000/4602330
467.33/462.67	c cleaning 70007 clauses out of 140013 with flag 2546001/4673331
474.73/469.95	c cleaning 70983 clauses out of 142006 with flag 2618001/4745331
481.19/476.36	c cleaning 72010 clauses out of 144024 with flag 2691002/4818332
488.42/483.59	c cleaning 73001 clauses out of 146012 with flag 2765000/4892330
495.40/490.43	c cleaning 74000 clauses out of 148011 with flag 2840000/4967330
504.64/499.44	c cleaning 74997 clauses out of 150012 with flag 2916001/5043331
513.18/507.88	c cleaning 76007 clauses out of 152016 with flag 2993002/5120332
521.11/515.76	c cleaning 77003 clauses out of 154008 with flag 3071001/5198331
528.96/523.52	c cleaning 77995 clauses out of 156005 with flag 3150001/5277331
537.35/531.80	c cleaning 79000 clauses out of 158009 with flag 3230000/5357330
546.31/540.71	c cleaning 80003 clauses out of 160009 with flag 3311000/5438330
554.04/548.44	c cleaning 80993 clauses out of 162006 with flag 3393000/5520330
562.46/556.88	c cleaning 82000 clauses out of 164013 with flag 3476000/5603330
571.50/565.83	c cleaning 83006 clauses out of 166014 with flag 3560001/5687331
580.86/575.18	c cleaning 84000 clauses out of 168007 with flag 3645000/5772330
590.64/584.86	c cleaning 85001 clauses out of 170007 with flag 3731000/5858330
599.78/593.93	c cleaning 85999 clauses out of 172007 with flag 3818001/5945331
608.62/602.75	c cleaning 87004 clauses out of 174009 with flag 3906002/6033332
619.18/613.21	c cleaning 88002 clauses out of 176004 with flag 3995001/6122331
629.26/623.29	c cleaning 88995 clauses out of 178002 with flag 4085001/6212331
640.63/634.50	c cleaning 90000 clauses out of 180006 with flag 4176000/6303330
651.10/644.91	c cleaning 90995 clauses out of 182006 with flag 4268000/6395330
660.53/654.33	c cleaning 92001 clauses out of 184012 with flag 4361001/6488331
671.77/665.54	c cleaning 93004 clauses out of 186010 with flag 4455000/6582330
682.14/675.87	c cleaning 93999 clauses out of 188007 with flag 4550001/6677331
691.62/685.28	c cleaning 94998 clauses out of 190008 with flag 4646001/6773331
701.79/695.36	c cleaning 96000 clauses out of 192010 with flag 4743001/6870331
713.46/706.75	c cleaning 96999 clauses out of 194010 with flag 4841001/6968331
726.44/719.56	c cleaning 97996 clauses out of 196010 with flag 4940000/7067330
738.35/731.41	c cleaning 99001 clauses out of 198015 with flag 5040001/7167331
749.50/742.47	c cleaning 100004 clauses out of 200016 with flag 5141003/7268333
763.85/756.73	c cleaning 101002 clauses out of 202010 with flag 5243001/7370331
775.84/768.61	c cleaning 102000 clauses out of 204008 with flag 5346001/7473331
789.62/782.35	c cleaning 102996 clauses out of 206007 with flag 5450000/7577330
803.18/795.80	c cleaning 104001 clauses out of 208012 with flag 5555001/7682331
815.26/807.87	c cleaning 105005 clauses out of 210012 with flag 5661002/7788332
828.60/821.10	c cleaning 106002 clauses out of 212006 with flag 5768001/7895331
841.08/833.57	c cleaning 106995 clauses out of 214003 with flag 5876000/8003330
855.64/848.02	c cleaning 107998 clauses out of 216008 with flag 5985000/8112330
870.42/862.71	c cleaning 108997 clauses out of 218010 with flag 6095000/8222330
883.19/875.41	c cleaning 110006 clauses out of 220013 with flag 6206000/8333330
894.77/886.97	c cleaning 111002 clauses out of 222007 with flag 6318000/8445330
908.80/900.97	c cleaning 112002 clauses out of 224007 with flag 6431002/8558332
922.48/914.57	c cleaning 113000 clauses out of 226003 with flag 6545000/8672330
935.71/927.72	c cleaning 113997 clauses out of 228004 with flag 6660001/8787331
949.45/941.41	c cleaning 114996 clauses out of 230007 with flag 6776001/8903331
963.38/955.39	c cleaning 115994 clauses out of 232010 with flag 6893000/9020330
979.62/971.57	c cleaning 117003 clauses out of 234016 with flag 7011000/9138330
994.28/986.19	c cleaning 118004 clauses out of 236015 with flag 7130002/9257332
1008.71/1000.53	c cleaning 119000 clauses out of 238009 with flag 7250000/9377330
1024.94/1016.76	c cleaning 119996 clauses out of 240009 with flag 7371000/9498330
1042.85/1034.53	c cleaning 121001 clauses out of 242013 with flag 7493000/9620330
1060.99/1052.69	c cleaning 122006 clauses out of 244012 with flag 7616000/9743330
1078.83/1070.42	c cleaning 122993 clauses out of 246006 with flag 7740000/9867330
1099.88/1091.14	c cleaning 124002 clauses out of 248013 with flag 7865000/9992330
1119.69/1110.92	c cleaning 125006 clauses out of 250011 with flag 7991000/10118330
1137.23/1128.23	c cleaning 125999 clauses out of 252006 with flag 8118001/10245331
1153.53/1144.45	c cleaning 126999 clauses out of 254008 with flag 8246002/10373332
1170.06/1160.95	c cleaning 127998 clauses out of 256008 with flag 8375001/10502331
1185.54/1176.38	c cleaning 128995 clauses out of 258010 with flag 8505001/10632331
1205.40/1196.14	c cleaning 130007 clauses out of 260014 with flag 8636000/10763330
1224.09/1214.72	c cleaning 131004 clauses out of 262008 with flag 8768001/10895331
1241.95/1232.55	c cleaning 132000 clauses out of 264004 with flag 8901001/11028331
1255.48/1245.91	c cleaning 132994 clauses out of 266005 with flag 9035002/11162332
1270.64/1261.05	c cleaning 133996 clauses out of 268011 with flag 9170002/11297332
1288.13/1278.46	c cleaning 135003 clauses out of 270013 with flag 9306000/11433330
1307.70/1297.83	c cleaning 136001 clauses out of 272011 with flag 9443001/11570331
1323.40/1313.38	c cleaning 137004 clauses out of 274009 with flag 9581000/11708330
1340.28/1330.10	c cleaning 138003 clauses out of 276005 with flag 9720000/11847330
1355.30/1345.05	c cleaning 139002 clauses out of 278003 with flag 9860001/11987331
1372.32/1361.92	c cleaning 139987 clauses out of 280000 with flag 10001000/12128330
1391.70/1381.23	c cleaning 140994 clauses out of 282014 with flag 10143001/12270331
1407.45/1396.81	c cleaning 142004 clauses out of 284019 with flag 10286000/12413330
1424.63/1413.96	c cleaning 143008 clauses out of 286016 with flag 10430001/12557331
1443.99/1433.27	c cleaning 143999 clauses out of 288007 with flag 10575000/12702330
1461.61/1450.75	c cleaning 144995 clauses out of 290008 with flag 10721000/12848330
1481.87/1470.95	c cleaning 146000 clauses out of 292014 with flag 10868001/12995331
1502.68/1491.35	c cleaning 146997 clauses out of 294014 with flag 11016001/13143331
1527.10/1515.50	c cleaning 147999 clauses out of 296016 with flag 11165000/13292330
1552.32/1540.63	c cleaning 149008 clauses out of 298020 with flag 11315003/13442333
1571.56/1559.73	c cleaning 149990 clauses out of 300009 with flag 11466000/13593330
1588.34/1576.44	c cleaning 151001 clauses out of 302019 with flag 11618000/13745330
1607.26/1595.35	c cleaning 152001 clauses out of 304018 with flag 11771000/13898330
1631.38/1619.45	c cleaning 152996 clauses out of 306017 with flag 11925000/14052330
1651.24/1639.19	c cleaning 154002 clauses out of 308021 with flag 12080000/14207330
1676.16/1663.97	c cleaning 154996 clauses out of 310020 with flag 12236001/14363331
1699.20/1686.87	c cleaning 156006 clauses out of 312027 with flag 12393004/14520334
1721.13/1708.68	c cleaning 157004 clauses out of 314017 with flag 12551000/14678330
1746.57/1734.04	c cleaning 157991 clauses out of 316013 with flag 12710000/14837330
1769.51/1756.81	c cleaning 159012 clauses out of 318025 with flag 12870003/14997333
1795.12/1782.31	c cleaning 160001 clauses out of 320010 with flag 13031000/15158330
1800.02/1787.11	c starts		: 342
1800.02/1787.11	c conflicts		: 15209570
1800.02/1787.11	c decisions		: 23648862
1800.02/1787.11	c propagations		: 656430689
1800.02/1787.11	c inspects		: 12691529185
1800.02/1787.11	c shortcuts		: 0
1800.02/1787.11	c learnt literals	: 0
1800.02/1787.11	c learnt binary clauses	: 0
1800.02/1787.11	c learnt ternary clauses	: 0
1800.02/1787.11	c learnt constraints	: 15209571
1800.02/1787.11	c ignored constraints	: 0
1800.02/1787.11	c root simplifications	: 0
1800.02/1787.11	c removed literals (reason simplification)	: 0
1800.02/1787.11	c reason swapping (by a shorter reason)	: 0
1800.02/1787.11	c Calls to reduceDB	: 217
1800.02/1787.11	c number of reductions to clauses (during analyze)	: 0
1800.02/1787.11	c number of learned constraints concerned by reduction	: 0
1800.02/1787.11	c number of learning phase by resolution	: 0
1800.02/1787.11	c number of learning phase by cutting planes	: 0
1800.02/1787.11	c speed (assignments/second)	: 367376.1409305639
1800.02/1787.11	c non guided choices	0
1800.02/1787.14	c learnt constraints type 
1800.02/1787.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 211528
1800.02/1787.14	c constraints type 
1800.02/1787.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 176
1800.02/1787.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.02/1787.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3480
1800.02/1787.14	c 3657 constraints processed.
1800.02/1787.14	s SATISFIABLE
1800.02/1787.15	v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 -x29 x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 -x61 x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 -x93 x94 x95 -x96 x97 -x98 x99 -x100 -x101 x102 x103 -x104 -x105 x106 x107 -x108 -x109 x110 x111 -x112 -x113 x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 -x127 -x128 x129 -x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 -x145 x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 -x161 x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 -x177 x178 x179 -x180 x181 -x182 -x183 x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 -x196 -x197 x198 x199 -x200 x201 -x202 x203 -x204 x205 -x206 x207 -x208 -x209 x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 -x229 x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 -x241 x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 -x273 x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 -x301 x302 x303 -x304 -x305 x306 x307 -x308 -x309 x310 x311 -x312 x313 -x314 -x315 x316 x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 x368 -x369 x370 -x371 x372 -x373 x374 -x375 x376 -x377 x378 -x379 x380 -x381 x382 -x383 x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 x403 -x404 -x405 -x406 -x407 x408 -x409 x410 -x411 x412 -x413 x414 -x415 x416 -x417 x418 -x419 x420 -x421 x422 -x423 x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 x446 -x447 x448 -x449 x450 -x451 x452 -x453 x454 -x455 x456 -x457 x458 -x459 x460 -x461 x462 -x463 x464 -x465 x466 -x467 x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 x482 -x483 x484 -x485 x486 -x487 x488 -x489 x490 x491 -x492 -x493 x494 -x495 x496 -x497 x498 -x499 x500 x501 -x502 -x503 -x504 -x505 x506 -x507 x508 -x509 x510 -x511 x512 -x513 x514 -x515 x516 -x517 x518 -x519 x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 x528 -x529 x530 -x531 x532 -x533 x534 -x535 x536 -x537 x538 -x539 x540 -x541 -x542 x543 -x544 -x545 x546 -x547 x548 -x549 x550 -x551 x552 -x553 x554 -x555 x556 -x557 x558 -x559 x560 x561 -x562 -x563 -x564 -x565 x566 -x567 x568 -x569 x570 -x571 x572 -x573 x574 -x575 x576 -x577 x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 x586 -x587 x588 -x589 x590 -x591 x592 -x593 x594 -x595 x596 -x597 x598 -x599 x600 x601 -x602 -x603 -x604 -x605 x606 -x607 x608 -x609 x610 -x611 x612 -x613 x614 -x615 x616 -x617 x618 -x619 x620 -x621 x622 -x623 x624 -x625 x626 -x627 x628 x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 x648 -x649 x650 -x651 x652 -x653 x654 -x655 x656 -x657 x658 -x659 x660 -x661 x662 -x663 x664 -x665 x666 -x667 x668 x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 x683 -x684 -x685 x686 -x687 x688 -x689 x690 -x691 x692 -x693 x694 -x695 x696 -x697 x698 -x699 x700 -x701 -x702 x703 -x704 -x705 x706 -x707 x708 -x709 x710 -x711 x712 -x713 x714 -x715 x716 -x717 x718 -x719 x720 x721 -x722 -x723 -x724 -x725 x726 -x727 x728 -x729 x730 -x731 -x732 -x733 x734 -x735 x736 -x737 x738 -x739 x740 -x741 x742 -x743 x744 -x745 x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 x768 -x769 x770 -x771 x772 -x773 x774 -x775 x776 -x777 x778 -x779 x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 x802 -x803 x804 -x805 x806 -x807 x808 -x809 x810 -x811 x812 -x813 x814 -x815 x816 -x817 x818 x819 -x820 x821 -x822 -x823 -x824 -x825 x826 -x827 x828 -x829 x830 -x831 x832 -x833 x834 -x835 x836 -x837 x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 x857 -x858 -x859 x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 x868 -x869 x870 -x871 x872 -x873 x874 -x875 x876 -x877 x878 -x879 x880 -x881 x882 -x883 x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 x903 -x904 -x905 x906 -x907 x908 -x909 x910 -x911 x912 -x913 x914 -x915 x916 -x917 x918 -x919 x920 -x921 x922 -x923 x924 -x925 x926 -x927 -x928 x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 x941 -x942 -x943 -x944 -x945 x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 x962 -x963 x964 -x965 x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 x1000 -x1001 x1002 -x1003 x1004 -x1005 x1006 -x1007 x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 x1020 -x1021 x1022 -x1023 x1024 -x1025 x1026 -x1027 x1028 -x1029 x1030 -x1031 x1032 -x1033 x1034 -x1035 x1036 -x1037 x1038 x1039 -x1040 
1800.02/1787.15	c objective function=419
1800.02/1787.15	c Total wall clock time (in seconds): 1787.036

Verifier Data 

OK	419

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-3687781-1337875522/watcher-3687781-1337875522 -o /tmp/evaluation-result-3687781-1337875522/solver-3687781-1337875522 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687781-1337875522.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: 1.91 1.97 1.91 5/193 23954
/proc/meminfo: memFree=28927324/32873648 swapFree=7372/7372
[pid=23954] ppid=23952 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/23954/stat : 23954 (runsolver) D 23952 23954 23489 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 253678206 12095488 51 33554432000 4194304 5436572 140733460876992 140733460873288 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/23954/statm: 2953 51 31 304 0 2645 0

[startup+0.0077771 s]
/proc/loadavg: 1.91 1.97 1.91 5/193 23954
/proc/meminfo: memFree=28927324/32873648 swapFree=7372/7372
[pid=23954] ppid=23952 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/23954/stat : 23954 (java) D 23952 23954 23489 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 253678206 2560000 46 33554432000 1073741824 1073778376 140734886252832 140734886249960 217401355559 0 0 4096 0 18446744072100588836 0 0 17 6 0 0 0 0 0
/proc/23954/statm: 625 46 37 9 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2500

[startup+0.100198 s]
/proc/loadavg: 1.91 1.97 1.91 5/193 23954
/proc/meminfo: memFree=28927324/32873648 swapFree=7372/7372
[pid=23954] ppid=23952 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/23954/stat : 23954 (java) S 23952 23954 23489 0 -1 4202496 4302 0 1 0 9 0 0 0 20 0 18 0 253678206 9787813888 5502 33554432000 1073741824 1073778376 140736041077600 140736041068736 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23954/statm: 2389603 5503 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300151 s]
/proc/loadavg: 1.91 1.97 1.91 5/193 23954
/proc/meminfo: memFree=28927324/32873648 swapFree=7372/7372
[pid=23954] ppid=23952 vsize=9558412 CPUtime=0.48 cores=0,2,4,6
/proc/23954/stat : 23954 (java) S 23952 23954 23489 0 -1 4202496 5400 0 1 0 47 1 0 0 20 0 18 0 253678206 9787813888 8309 33554432000 1073741824 1073778376 140736041077600 140736041068736 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23954/statm: 2389603 8309 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412

[startup+0.700211 s]
/proc/loadavg: 1.91 1.97 1.91 5/193 23954
/proc/meminfo: memFree=28927324/32873648 swapFree=7372/7372
[pid=23954] ppid=23952 vsize=9624976 CPUtime=1.18 cores=0,2,4,6
/proc/23954/stat : 23954 (java) S 23952 23954 23489 0 -1 4202496 8705 0 1 0 117 1 0 0 20 0 19 0 253678206 9855975424 11020 33554432000 1073741824 1073778376 140736041077600 140736041068736 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23954/statm: 2406244 11020 2241 9 0 2396937 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 9624976

[startup+1.50069 s]
/proc/loadavg: 1.91 1.97 1.91 3/212 23973
/proc/meminfo: memFree=28873128/32873648 swapFree=7372/7372
[pid=23954] ppid=23952 vsize=9624976 CPUtime=2.07 cores=0,2,4,6
/proc/23954/stat : 23954 (java) S 23952 23954 23489 0 -1 4202496 8860 0 1 0 204 3 0 0 20 0 19 0 253678206 9855975424 18637 33554432000 1073741824 1073778376 140736041077600 140736041068736 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23954/statm: 2406244 18637 2271 9 0 2396937 0
[pid=23954/tid=23956] ppid=23952 vsize=9624976 CPUtime=1.43 cores=0,2,4,6
/proc/23954/task/23956/stat : 23956 (java) R 23952 23954 23489 0 -1 4202560 2467 0 1 0 142 1 0 0 20 0 19 0 253678207 9855975424 18637 33554432000 1073741824 1073778376 140736041077600 139984278651288 139984141605907 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23954/tid=23957] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23957/stat : 23957 (java) S 23952 23954 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253678208 9855975424 18637 33554432000 1073741824 1073778376 140736041077600 139984267713320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23954/tid=23958] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23958/stat : 23958 (java) S 23952 23954 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678208 9855975424 18637 33554432000 1073741824 1073778376 140736041077600 139984266660520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23959] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23959/stat : 23959 (java) S 23952 23954 23489 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 253678208 9855975424 18637 33554432000 1073741824 1073778376 140736041077600 139984265608232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23954/tid=23960] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23960/stat : 23960 (java) S 23952 23954 23489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253678208 9855975424 18637 33554432000 1073741824 1073778376 140736041077600 139984264555432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23954/tid=23961] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23961/stat : 23961 (java) S 23952 23954 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678208 9855975424 18637 33554432000 1073741824 1073778376 140736041077600 139984263502120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23962] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23962/stat : 23962 (java) S 23952 23954 23489 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253678208 9855975424 18637 33554432000 1073741824 1073778376 140736041077600 139984262449320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23963] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23963/stat : 23963 (java) S 23952 23954 23489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253678208 9855975424 18637 33554432000 1073741824 1073778376 140736041077600 139984261397032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23954/tid=23964] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23964/stat : 23964 (java) S 23952 23954 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253678208 9855975424 18637 33554432000 1073741824 1073778376 140736041077600 139984260344232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23954/tid=23965] ppid=23952 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23954/task/23965/stat : 23965 (java) S 23952 23954 23489 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 253678209 9855975424 18637 33554432000 1073741824 1073778376 140736041077600 139984102304488 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23966] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23966/stat : 23966 (java) S 23952 23954 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253678210 9855975424 18637 33554432000 1073741824 1073778376 140736041077600 139984101250552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23967] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23967/stat : 23967 (java) S 23952 23954 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253678210 9855975424 18637 33554432000 1073741824 1073778376 140736041077600 139984100198152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23968] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23968/stat : 23968 (java) S 23952 23954 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678212 9855975424 18637 33554432000 1073741824 1073778376 140736041077600 139984099146640 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23969] ppid=23952 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/23954/task/23969/stat : 23969 (java) S 23952 23954 23489 0 -1 4202560 2539 0 0 0 31 0 0 0 20 0 19 0 253678212 9855975424 18637 33554432000 1073741824 1073778376 140736041077600 139984098093240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23970] ppid=23952 vsize=9624976 CPUtime=0.23 cores=0,2,4,6
/proc/23954/task/23970/stat : 23970 (java) S 23952 23954 23489 0 -1 4202560 2576 0 0 0 23 0 0 0 20 0 19 0 253678212 9855975424 18637 33554432000 1073741824 1073778376 140736041077600 139984097040440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23971] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23971/stat : 23971 (java) S 23952 23954 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678212 9855975424 18637 33554432000 1073741824 1073778376 140736041077600 139984095988344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23972] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23972/stat : 23972 (java) S 23952 23954 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678212 9855975424 18637 33554432000 1073741824 1073778376 140736041077600 139984094935752 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23973] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23973/stat : 23973 (java) S 23952 23954 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253678236 9855975424 18637 33554432000 1073741824 1073778376 140736041077600 139984093881768 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 9624976

[startup+3.10066 s]
/proc/loadavg: 1.91 1.97 1.91 3/212 23973
/proc/meminfo: memFree=28852160/32873648 swapFree=7372/7372
[pid=23954] ppid=23952 vsize=9624976 CPUtime=3.73 cores=0,2,4,6
/proc/23954/stat : 23954 (java) S 23952 23954 23489 0 -1 4202496 9388 0 1 0 369 4 0 0 20 0 19 0 253678206 9855975424 22272 33554432000 1073741824 1073778376 140736041077600 140736041068736 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23954/statm: 2406244 22272 2271 9 0 2396937 0
[pid=23954/tid=23956] ppid=23952 vsize=9624976 CPUtime=2.99 cores=0,2,4,6
/proc/23954/task/23956/stat : 23956 (java) R 23952 23954 23489 0 -1 4202560 2467 0 1 0 298 1 0 0 20 0 19 0 253678207 9855975424 22272 33554432000 1073741824 1073778376 140736041077600 139984278651168 139984141585817 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23954/tid=23957] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23957/stat : 23957 (java) S 23952 23954 23489 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253678208 9855975424 22272 33554432000 1073741824 1073778376 140736041077600 139984267713320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23954/tid=23958] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23958/stat : 23958 (java) S 23952 23954 23489 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253678208 9855975424 22272 33554432000 1073741824 1073778376 140736041077600 139984266660520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23959] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23959/stat : 23959 (java) S 23952 23954 23489 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 253678208 9855975424 22272 33554432000 1073741824 1073778376 140736041077600 139984265608232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23954/tid=23960] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23960/stat : 23960 (java) S 23952 23954 23489 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 253678208 9855975424 22272 33554432000 1073741824 1073778376 140736041077600 139984264555432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23954/tid=23961] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23961/stat : 23961 (java) S 23952 23954 23489 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253678208 9855975424 22272 33554432000 1073741824 1073778376 140736041077600 139984263502120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23962] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23962/stat : 23962 (java) S 23952 23954 23489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253678208 9855975424 22272 33554432000 1073741824 1073778376 140736041077600 139984262449320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23963] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23963/stat : 23963 (java) S 23952 23954 23489 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253678208 9855975424 22272 33554432000 1073741824 1073778376 140736041077600 139984261397032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23954/tid=23964] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23964/stat : 23964 (java) S 23952 23954 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253678208 9855975424 22272 33554432000 1073741824 1073778376 140736041077600 139984260344232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23954/tid=23965] ppid=23952 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/23954/task/23965/stat : 23965 (java) S 23952 23954 23489 0 -1 4202560 36 0 0 0 3 0 0 0 20 0 19 0 253678209 9855975424 22272 33554432000 1073741824 1073778376 140736041077600 139984102304488 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23954/tid=23966] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23966/stat : 23966 (java) S 23952 23954 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253678210 9855975424 22272 33554432000 1073741824 1073778376 140736041077600 139984101250552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23967] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23967/stat : 23967 (java) S 23952 23954 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253678210 9855975424 22272 33554432000 1073741824 1073778376 140736041077600 139984100198152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23968] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23968/stat : 23968 (java) S 23952 23954 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678212 9855975424 22272 33554432000 1073741824 1073778376 140736041077600 139984099146640 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23969] ppid=23952 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/23954/task/23969/stat : 23969 (java) S 23952 23954 23489 0 -1 4202560 3034 0 0 0 36 0 0 0 20 0 19 0 253678212 9855975424 22272 33554432000 1073741824 1073778376 140736041077600 139984098093240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23970] ppid=23952 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/23954/task/23970/stat : 23970 (java) S 23952 23954 23489 0 -1 4202560 2577 0 0 0 24 0 0 0 20 0 19 0 253678212 9855975424 22272 33554432000 1073741824 1073778376 140736041077600 139984097040440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23971] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23971/stat : 23971 (java) S 23952 23954 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678212 9855975424 22272 33554432000 1073741824 1073778376 140736041077600 139984095988344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23972] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23972/stat : 23972 (java) S 23952 23954 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678212 9855975424 22272 33554432000 1073741824 1073778376 140736041077600 139984094935752 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23973] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23973/stat : 23973 (java) S 23952 23954 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253678236 9855975424 22272 33554432000 1073741824 1073778376 140736041077600 139984093881768 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 9624976

[startup+6.30056 s]
/proc/loadavg: 1.92 1.97 1.91 3/213 23974
/proc/meminfo: memFree=28825160/32873648 swapFree=7372/7372
[pid=23954] ppid=23952 vsize=9624976 CPUtime=7.02 cores=0,2,4,6
/proc/23954/stat : 23954 (java) S 23952 23954 23489 0 -1 4202496 9438 0 1 0 697 5 0 0 20 0 19 0 253678206 9855975424 28338 33554432000 1073741824 1073778376 140736041077600 140736041068736 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23954/statm: 2406244 28338 2271 9 0 2396937 0
[pid=23954/tid=23956] ppid=23952 vsize=9624976 CPUtime=6.1 cores=0,2,4,6
/proc/23954/task/23956/stat : 23956 (java) R 23952 23954 23489 0 -1 4202560 2472 0 1 0 609 1 0 0 20 0 19 0 253678207 9855975424 28338 33554432000 1073741824 1073778376 140736041077600 139984278651168 139984141605824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23954/tid=23957] ppid=23952 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23954/task/23957/stat : 23957 (java) S 23952 23954 23489 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 253678208 9855975424 28338 33554432000 1073741824 1073778376 140736041077600 139984267713320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23958] ppid=23952 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23954/task/23958/stat : 23958 (java) S 23952 23954 23489 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 253678208 9855975424 28338 33554432000 1073741824 1073778376 140736041077600 139984266660520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23954/tid=23959] ppid=23952 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/23954/task/23959/stat : 23959 (java) S 23952 23954 23489 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 19 0 253678208 9855975424 28338 33554432000 1073741824 1073778376 140736041077600 139984265608232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23960] ppid=23952 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23954/task/23960/stat : 23960 (java) S 23952 23954 23489 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 253678208 9855975424 28338 33554432000 1073741824 1073778376 140736041077600 139984264555432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23954/tid=23961] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23961/stat : 23961 (java) S 23952 23954 23489 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253678208 9855975424 28338 33554432000 1073741824 1073778376 140736041077600 139984263502120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23962] ppid=23952 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23954/task/23962/stat : 23962 (java) S 23952 23954 23489 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 253678208 9855975424 28338 33554432000 1073741824 1073778376 140736041077600 139984262449320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23963] ppid=23952 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23954/task/23963/stat : 23963 (java) S 23952 23954 23489 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 253678208 9855975424 28338 33554432000 1073741824 1073778376 140736041077600 139984261397032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23954/tid=23964] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23964/stat : 23964 (java) S 23952 23954 23489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253678208 9855975424 28338 33554432000 1073741824 1073778376 140736041077600 139984260344232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23965] ppid=23952 vsize=9624976 CPUtime=0.09 cores=0,2,4,6
/proc/23954/task/23965/stat : 23965 (java) S 23952 23954 23489 0 -1 4202560 40 0 0 0 9 0 0 0 20 0 19 0 253678209 9855975424 28338 33554432000 1073741824 1073778376 140736041077600 139984102304488 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23954/tid=23966] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23966/stat : 23966 (java) S 23952 23954 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253678210 9855975424 28338 33554432000 1073741824 1073778376 140736041077600 139984101250552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23967] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23967/stat : 23967 (java) S 23952 23954 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253678210 9855975424 28338 33554432000 1073741824 1073778376 140736041077600 139984100198152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23968] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23968/stat : 23968 (java) S 23952 23954 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678212 9855975424 28338 33554432000 1073741824 1073778376 140736041077600 139984099146640 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23969] ppid=23952 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/23954/task/23969/stat : 23969 (java) S 23952 23954 23489 0 -1 4202560 3034 0 0 0 36 0 0 0 20 0 19 0 253678212 9855975424 28338 33554432000 1073741824 1073778376 140736041077600 139984098093240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23970] ppid=23952 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/23954/task/23970/stat : 23970 (java) S 23952 23954 23489 0 -1 4202560 2577 0 0 0 24 0 0 0 20 0 19 0 253678212 9855975424 28338 33554432000 1073741824 1073778376 140736041077600 139984097040440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23971] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23971/stat : 23971 (java) S 23952 23954 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678212 9855975424 28338 33554432000 1073741824 1073778376 140736041077600 139984095988344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23972] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23972/stat : 23972 (java) S 23952 23954 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678212 9855975424 28338 33554432000 1073741824 1073778376 140736041077600 139984094935752 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23973] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23973/stat : 23973 (java) S 23952 23954 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253678236 9855975424 28338 33554432000 1073741824 1073778376 140736041077600 139984093881768 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=23954/tid=23962] ppid=23952 vsize=9624976 CPUtime=1.98 cores=0,2,4,6
/proc/23954/task/23962/stat : 23962 (java) S 23952 23954 23489 0 -1 4202560 641 0 0 0 182 16 0 0 20 0 19 0 253678208 9855975424 333737 33554432000 1073741824 1073778376 140736041077600 139984262449320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23954/tid=23963] ppid=23952 vsize=9624976 CPUtime=1.96 cores=0,2,4,6
/proc/23954/task/23963/stat : 23963 (java) S 23952 23954 23489 0 -1 4202560 479 0 0 0 180 16 0 0 20 0 19 0 253678208 9855975424 333737 33554432000 1073741824 1073778376 140736041077600 139984261397032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23954/tid=23964] ppid=23952 vsize=9624976 CPUtime=2 cores=0,2,4,6
/proc/23954/task/23964/stat : 23964 (java) S 23952 23954 23489 0 -1 4202560 810 0 0 0 182 18 0 0 20 0 19 0 253678208 9855975424 333737 33554432000 1073741824 1073778376 140736041077600 139984260344232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23954/tid=23965] ppid=23952 vsize=9624976 CPUtime=12 cores=0,2,4,6
/proc/23954/task/23965/stat : 23965 (java) S 23952 23954 23489 0 -1 4202560 1340 0 0 0 1197 3 0 0 20 0 19 0 253678209 9855975424 333737 33554432000 1073741824 1073778376 140736041077600 139984102304488 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23954/tid=23966] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23966/stat : 23966 (java) S 23952 23954 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253678210 9855975424 333737 33554432000 1073741824 1073778376 140736041077600 139984101250552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23967] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23967/stat : 23967 (java) S 23952 23954 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253678210 9855975424 333737 33554432000 1073741824 1073778376 140736041077600 139984100198152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23968] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23968/stat : 23968 (java) S 23952 23954 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678212 9855975424 333737 33554432000 1073741824 1073778376 140736041077600 139984099146640 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23969] ppid=23952 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/23954/task/23969/stat : 23969 (java) S 23952 23954 23489 0 -1 4202560 3213 0 0 0 39 0 0 0 20 0 19 0 253678212 9855975424 333737 33554432000 1073741824 1073778376 140736041077600 139984098093240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23970] ppid=23952 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/23954/task/23970/stat : 23970 (java) S 23952 23954 23489 0 -1 4202560 2577 0 0 0 24 0 0 0 20 0 19 0 253678212 9855975424 333737 33554432000 1073741824 1073778376 140736041077600 139984097040440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23971] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23971/stat : 23971 (java) S 23952 23954 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678212 9855975424 333737 33554432000 1073741824 1073778376 140736041077600 139984095988344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23972] ppid=23952 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/23954/task/23972/stat : 23972 (java) S 23952 23954 23489 0 -1 4202560 97 0 0 0 23 25 0 0 20 0 19 0 253678212 9855975424 333737 33554432000 1073741824 1073778376 140736041077600 139984094935752 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23954/tid=23973] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23973/stat : 23973 (java) S 23952 23954 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253678236 9855975424 333737 33554432000 1073741824 1073778376 140736041077600 139984093881768 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1734.86
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/213 24047
/proc/meminfo: memFree=27347408/32873648 swapFree=7372/7372
[pid=23954] ppid=23952 vsize=9624976 CPUtime=1795.12 cores=0,2,4,6
/proc/23954/stat : 23954 (java) S 23952 23954 23489 0 -1 4202496 17235 0 1 0 179345 167 0 0 20 0 19 0 253678206 9855975424 333739 33554432000 1073741824 1073778376 140736041077600 140736041068736 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23954/statm: 2406244 333739 2272 9 0 2396937 0
[pid=23954/tid=23956] ppid=23952 vsize=9624976 CPUtime=1765.53 cores=0,2,4,6
/proc/23954/task/23956/stat : 23956 (java) R 23952 23954 23489 0 -1 4202560 3409 0 1 0 176522 31 0 0 20 0 19 0 253678207 9855975424 333739 33554432000 1073741824 1073778376 140736041077600 139984278651168 139984141769040 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23957] ppid=23952 vsize=9624976 CPUtime=2.12 cores=0,2,4,6
/proc/23954/task/23957/stat : 23957 (java) S 23952 23954 23489 0 -1 4202560 815 0 0 0 193 19 0 0 20 0 19 0 253678208 9855975424 333739 33554432000 1073741824 1073778376 140736041077600 139984267713320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23958] ppid=23952 vsize=9624976 CPUtime=2.18 cores=0,2,4,6
/proc/23954/task/23958/stat : 23958 (java) S 23952 23954 23489 0 -1 4202560 861 0 0 0 199 19 0 0 20 0 19 0 253678208 9855975424 333739 33554432000 1073741824 1073778376 140736041077600 139984266660520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23954/tid=23959] ppid=23952 vsize=9624976 CPUtime=2.03 cores=0,2,4,6
/proc/23954/task/23959/stat : 23959 (java) S 23952 23954 23489 0 -1 4202560 614 0 0 0 188 15 0 0 20 0 19 0 253678208 9855975424 333739 33554432000 1073741824 1073778376 140736041077600 139984265608232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23960] ppid=23952 vsize=9624976 CPUtime=2.03 cores=0,2,4,6
/proc/23954/task/23960/stat : 23960 (java) S 23952 23954 23489 0 -1 4202560 548 0 0 0 187 16 0 0 20 0 19 0 253678208 9855975424 333739 33554432000 1073741824 1073778376 140736041077600 139984264555432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23961] ppid=23952 vsize=9624976 CPUtime=2.03 cores=0,2,4,6
/proc/23954/task/23961/stat : 23961 (java) S 23952 23954 23489 0 -1 4202560 628 0 0 0 187 16 0 0 20 0 19 0 253678208 9855975424 333739 33554432000 1073741824 1073778376 140736041077600 139984263502120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23962] ppid=23952 vsize=9624976 CPUtime=2 cores=0,2,4,6
/proc/23954/task/23962/stat : 23962 (java) S 23952 23954 23489 0 -1 4202560 641 0 0 0 184 16 0 0 20 0 19 0 253678208 9855975424 333739 33554432000 1073741824 1073778376 140736041077600 139984262449320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23963] ppid=23952 vsize=9624976 CPUtime=1.98 cores=0,2,4,6
/proc/23954/task/23963/stat : 23963 (java) S 23952 23954 23489 0 -1 4202560 479 0 0 0 182 16 0 0 20 0 19 0 253678208 9855975424 333739 33554432000 1073741824 1073778376 140736041077600 139984261397032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23954/tid=23964] ppid=23952 vsize=9624976 CPUtime=2.02 cores=0,2,4,6
/proc/23954/task/23964/stat : 23964 (java) S 23952 23954 23489 0 -1 4202560 810 0 0 0 184 18 0 0 20 0 19 0 253678208 9855975424 333739 33554432000 1073741824 1073778376 140736041077600 139984260344232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23954/tid=23965] ppid=23952 vsize=9624976 CPUtime=12.2 cores=0,2,4,6
/proc/23954/task/23965/stat : 23965 (java) S 23952 23954 23489 0 -1 4202560 1353 0 0 0 1217 3 0 0 20 0 19 0 253678209 9855975424 333739 33554432000 1073741824 1073778376 140736041077600 139984102304488 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23954/tid=23966] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23966/stat : 23966 (java) S 23952 23954 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253678210 9855975424 333739 33554432000 1073741824 1073778376 140736041077600 139984101250552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23967] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23967/stat : 23967 (java) S 23952 23954 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253678210 9855975424 333739 33554432000 1073741824 1073778376 140736041077600 139984100198152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23968] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23968/stat : 23968 (java) S 23952 23954 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678212 9855975424 333739 33554432000 1073741824 1073778376 140736041077600 139984099146640 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23969] ppid=23952 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/23954/task/23969/stat : 23969 (java) S 23952 23954 23489 0 -1 4202560 3213 0 0 0 39 0 0 0 20 0 19 0 253678212 9855975424 333739 33554432000 1073741824 1073778376 140736041077600 139984098093240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23970] ppid=23952 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/23954/task/23970/stat : 23970 (java) S 23952 23954 23489 0 -1 4202560 2577 0 0 0 24 0 0 0 20 0 19 0 253678212 9855975424 333739 33554432000 1073741824 1073778376 140736041077600 139984097040440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23971] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23971/stat : 23971 (java) S 23952 23954 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678212 9855975424 333739 33554432000 1073741824 1073778376 140736041077600 139984095988344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23972] ppid=23952 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/23954/task/23972/stat : 23972 (java) S 23952 23954 23489 0 -1 4202560 101 0 0 0 24 26 0 0 20 0 19 0 253678212 9855975424 333739 33554432000 1073741824 1073778376 140736041077600 139984094935752 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23954/tid=23973] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23973/stat : 23973 (java) S 23952 23954 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253678236 9855975424 333739 33554432000 1073741824 1073778376 140736041077600 139984093881768 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787.1 s]
/proc/loadavg: 1.99 1.98 1.93 3/213 24047
/proc/meminfo: memFree=27345360/32873648 swapFree=7372/7372
[pid=23954] ppid=23952 vsize=9624976 CPUtime=1800.02 cores=0,2,4,6
/proc/23954/stat : 23954 (java) S 23952 23954 23489 0 -1 4202496 17238 0 1 0 179834 168 0 0 20 0 19 0 253678206 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 140736041068736 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23954/statm: 2406244 333729 2272 9 0 2396937 0
[pid=23954/tid=23956] ppid=23952 vsize=9624976 CPUtime=1770.21 cores=0,2,4,6
/proc/23954/task/23956/stat : 23956 (java) R 23952 23954 23489 0 -1 4202560 3410 0 1 0 176990 31 0 0 20 0 19 0 253678207 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984278651168 139984141676492 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23957] ppid=23952 vsize=9624976 CPUtime=2.13 cores=0,2,4,6
/proc/23954/task/23957/stat : 23957 (java) S 23952 23954 23489 0 -1 4202560 815 0 0 0 194 19 0 0 20 0 19 0 253678208 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984267713320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23958] ppid=23952 vsize=9624976 CPUtime=2.19 cores=0,2,4,6
/proc/23954/task/23958/stat : 23958 (java) S 23952 23954 23489 0 -1 4202560 861 0 0 0 200 19 0 0 20 0 19 0 253678208 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984266660520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23954/tid=23959] ppid=23952 vsize=9624976 CPUtime=2.04 cores=0,2,4,6
/proc/23954/task/23959/stat : 23959 (java) S 23952 23954 23489 0 -1 4202560 614 0 0 0 188 16 0 0 20 0 19 0 253678208 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984265608232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23960] ppid=23952 vsize=9624976 CPUtime=2.05 cores=0,2,4,6
/proc/23954/task/23960/stat : 23960 (java) S 23952 23954 23489 0 -1 4202560 548 0 0 0 189 16 0 0 20 0 19 0 253678208 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984264555432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23961] ppid=23952 vsize=9624976 CPUtime=2.05 cores=0,2,4,6
/proc/23954/task/23961/stat : 23961 (java) S 23952 23954 23489 0 -1 4202560 628 0 0 0 189 16 0 0 20 0 19 0 253678208 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984263502120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23962] ppid=23952 vsize=9624976 CPUtime=2.03 cores=0,2,4,6
/proc/23954/task/23962/stat : 23962 (java) S 23952 23954 23489 0 -1 4202560 641 0 0 0 187 16 0 0 20 0 19 0 253678208 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984262449320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23963] ppid=23952 vsize=9624976 CPUtime=1.99 cores=0,2,4,6
/proc/23954/task/23963/stat : 23963 (java) S 23952 23954 23489 0 -1 4202560 479 0 0 0 183 16 0 0 20 0 19 0 253678208 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984261397032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23964] ppid=23952 vsize=9624976 CPUtime=2.03 cores=0,2,4,6
/proc/23954/task/23964/stat : 23964 (java) S 23952 23954 23489 0 -1 4202560 810 0 0 0 185 18 0 0 20 0 19 0 253678208 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984260344232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23954/tid=23965] ppid=23952 vsize=9624976 CPUtime=12.29 cores=0,2,4,6
/proc/23954/task/23965/stat : 23965 (java) S 23952 23954 23489 0 -1 4202560 1355 0 0 0 1226 3 0 0 20 0 19 0 253678209 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984102304488 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23954/tid=23966] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23966/stat : 23966 (java) S 23952 23954 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253678210 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984101250552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23967] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23967/stat : 23967 (java) S 23952 23954 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253678210 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984100198152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23968] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23968/stat : 23968 (java) S 23952 23954 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678212 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984099146640 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23969] ppid=23952 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/23954/task/23969/stat : 23969 (java) S 23952 23954 23489 0 -1 4202560 3213 0 0 0 39 0 0 0 20 0 19 0 253678212 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984098093240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23970] ppid=23952 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/23954/task/23970/stat : 23970 (java) S 23952 23954 23489 0 -1 4202560 2577 0 0 0 24 0 0 0 20 0 19 0 253678212 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984097040440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23971] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23971/stat : 23971 (java) S 23952 23954 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678212 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984095988344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23972] ppid=23952 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/23954/task/23972/stat : 23972 (java) S 23952 23954 23489 0 -1 4202560 101 0 0 0 24 26 0 0 20 0 19 0 253678212 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984094935752 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23954/tid=23973] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23973/stat : 23973 (java) S 23952 23954 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253678236 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984093881768 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1787.1 s]
/proc/loadavg: 1.99 1.98 1.93 3/213 24047
/proc/meminfo: memFree=27345360/32873648 swapFree=7372/7372
[pid=23954] ppid=23952 vsize=9624976 CPUtime=1800.02 cores=0,2,4,6
/proc/23954/stat : 23954 (java) S 23952 23954 23489 0 -1 4202496 17238 0 1 0 179834 168 0 0 20 0 19 0 253678206 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 140736041068736 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23954/statm: 2406244 333729 2272 9 0 2396937 0
[pid=23954/tid=23956] ppid=23952 vsize=9624976 CPUtime=1770.21 cores=0,2,4,6
/proc/23954/task/23956/stat : 23956 (java) R 23952 23954 23489 0 -1 4202560 3410 0 1 0 176990 31 0 0 20 0 19 0 253678207 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984278651168 139984141676492 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23957] ppid=23952 vsize=9624976 CPUtime=2.13 cores=0,2,4,6
/proc/23954/task/23957/stat : 23957 (java) S 23952 23954 23489 0 -1 4202560 815 0 0 0 194 19 0 0 20 0 19 0 253678208 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984267713320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23958] ppid=23952 vsize=9624976 CPUtime=2.19 cores=0,2,4,6
/proc/23954/task/23958/stat : 23958 (java) S 23952 23954 23489 0 -1 4202560 861 0 0 0 200 19 0 0 20 0 19 0 253678208 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984266660520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23954/tid=23959] ppid=23952 vsize=9624976 CPUtime=2.04 cores=0,2,4,6
/proc/23954/task/23959/stat : 23959 (java) S 23952 23954 23489 0 -1 4202560 614 0 0 0 188 16 0 0 20 0 19 0 253678208 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984265608232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23960] ppid=23952 vsize=9624976 CPUtime=2.05 cores=0,2,4,6
/proc/23954/task/23960/stat : 23960 (java) S 23952 23954 23489 0 -1 4202560 548 0 0 0 189 16 0 0 20 0 19 0 253678208 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984264555432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23961] ppid=23952 vsize=9624976 CPUtime=2.05 cores=0,2,4,6
/proc/23954/task/23961/stat : 23961 (java) S 23952 23954 23489 0 -1 4202560 628 0 0 0 189 16 0 0 20 0 19 0 253678208 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984263502120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23962] ppid=23952 vsize=9624976 CPUtime=2.03 cores=0,2,4,6
/proc/23954/task/23962/stat : 23962 (java) S 23952 23954 23489 0 -1 4202560 641 0 0 0 187 16 0 0 20 0 19 0 253678208 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984262449320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23963] ppid=23952 vsize=9624976 CPUtime=1.99 cores=0,2,4,6
/proc/23954/task/23963/stat : 23963 (java) S 23952 23954 23489 0 -1 4202560 479 0 0 0 183 16 0 0 20 0 19 0 253678208 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984261397032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23964] ppid=23952 vsize=9624976 CPUtime=2.03 cores=0,2,4,6
/proc/23954/task/23964/stat : 23964 (java) S 23952 23954 23489 0 -1 4202560 810 0 0 0 185 18 0 0 20 0 19 0 253678208 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984260344232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23954/tid=23965] ppid=23952 vsize=9624976 CPUtime=12.29 cores=0,2,4,6
/proc/23954/task/23965/stat : 23965 (java) S 23952 23954 23489 0 -1 4202560 1355 0 0 0 1226 3 0 0 20 0 19 0 253678209 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984102304488 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23954/tid=23966] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23966/stat : 23966 (java) S 23952 23954 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253678210 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984101250552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23967] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23967/stat : 23967 (java) S 23952 23954 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253678210 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984100198152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23968] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23968/stat : 23968 (java) S 23952 23954 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678212 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984099146640 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23954/tid=23969] ppid=23952 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/23954/task/23969/stat : 23969 (java) S 23952 23954 23489 0 -1 4202560 3213 0 0 0 39 0 0 0 20 0 19 0 253678212 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984098093240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23970] ppid=23952 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/23954/task/23970/stat : 23970 (java) S 23952 23954 23489 0 -1 4202560 2577 0 0 0 24 0 0 0 20 0 19 0 253678212 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984097040440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23971] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23971/stat : 23971 (java) S 23952 23954 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678212 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984095988344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23954/tid=23972] ppid=23952 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/23954/task/23972/stat : 23972 (java) S 23952 23954 23489 0 -1 4202560 101 0 0 0 24 26 0 0 20 0 19 0 253678212 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984094935752 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23954/tid=23973] ppid=23952 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23954/task/23973/stat : 23973 (java) S 23952 23954 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253678236 9855975424 333729 33554432000 1073741824 1073778376 140736041077600 139984093881768 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624976

Child status: 143
Real time (s): 1787.16
CPU time (s): 1800.49
CPU user time (s): 1798.39
CPU system time (s): 2.10168
CPU usage (%): 100.746
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.39
system time used= 2.10168
maximum resident set size= 1335072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17280
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= 44241
involuntary context switches= 22389

runsolver used 6.11207 second user time and 14.8637 second system time

The end

Launcher Data 

Begin job on node122 at 2012-05-24 18:05:22
IDJOB=3687781
IDBENCH=2119
IDSOLVER=2269
FILE ID=node122/3687781-1337875522
RUNJOBID= node122-1337871880-23505
PBS_JOBID= 14620082
Free space on /tmp= 71376 MiB

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

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

MD5SUM BENCH= 9711add7b63200e6cedabbc5764a3737
RANDOM SEED=1372251665

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28927852 kB
Buffers:          187936 kB
Cached:          2924200 kB
SwapCached:            0 kB
Active:          1300420 kB
Inactive:        1875376 kB
Active(anon):      54828 kB
Inactive(anon):    11052 kB
Active(file):    1245592 kB
Inactive(file):  1864324 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               460 kB
Writeback:             0 kB
AnonPages:        107196 kB
Mapped:            22008 kB
Shmem:               200 kB
Slab:             634320 kB
SReclaimable:      78476 kB
SUnreclaim:       555844 kB
KernelStack:        1752 kB
PageTables:         3932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     697020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     63488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71376 MiB
End job on node122 at 2012-05-24 18:35:11