Trace number 3688759

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)-13 1800.08 1784.54

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_3.opb
MD5SUM29cda419af6adbdf14450bbe70fbdfc2
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-15
Best CPU time to get the best result obtained on this benchmark1797.54
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6180
Sum of products size (including duplicates)12360
Number of different products3090
Sum of products size6180

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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3688759-1337887817.opb
0.08/0.12	c reading problem ... 
0.72/0.41	c ... done. Wall clock time 0.283s.
0.72/0.41	c declared #vars     200
0.72/0.41	c internal #vars     3290
0.72/0.41	c #constraints  6482
0.72/0.41	c constraints type 
0.72/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3090
0.72/0.41	c org.sat4j.minisat.constraints.card.MinWatchCard => 202
0.72/0.41	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
0.72/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3090
0.72/0.41	c 6482 constraints processed.
0.72/0.41	c objective function length is 100 literals
1.50/0.78	c SATISFIABLE
1.50/0.78	c OPTIMIZING...
1.50/0.78	c Got one! Elapsed wall clock time (in seconds):0.654
1.50/0.78	o -7
2.11/1.27	c cleaning 2860 clauses out of 5729 with flag 5000/5729
2.69/1.75	c cleaning 4424 clauses out of 8869 with flag 11000/11729
3.66/2.28	c cleaning 5713 clauses out of 11445 with flag 18000/18729
4.93/3.02	c cleaning 6863 clauses out of 13732 with flag 26000/26729
5.77/3.83	c cleaning 7935 clauses out of 15869 with flag 35000/35729
6.68/4.71	c cleaning 8969 clauses out of 17939 with flag 45005/45734
7.70/5.77	c cleaning 9979 clauses out of 19976 with flag 56011/56740
9.01/7.06	c cleaning 11008 clauses out of 22016 with flag 68030/68759
10.04/8.05	c cleaning 11988 clauses out of 23979 with flag 81001/81730
10.14/8.11	c Got one! Elapsed wall clock time (in seconds):7.991
10.14/8.11	o -8
10.57/8.56	c cleaning 8852 clauses out of 17752 with flag 5008/87491
10.97/8.99	c cleaning 7446 clauses out of 14902 with flag 11010/93493
11.10/9.06	c Got one! Elapsed wall clock time (in seconds):8.935
11.10/9.06	o -9
11.49/9.41	c cleaning 6590 clauses out of 13195 with flag 5002/99232
12.11/10.00	c cleaning 6292 clauses out of 12603 with flag 11000/105230
12.61/10.59	c cleaning 6659 clauses out of 13323 with flag 18012/112242
13.61/11.53	c cleaning 7350 clauses out of 14700 with flag 26048/120278
14.52/12.40	c cleaning 8145 clauses out of 16311 with flag 35009/129239
15.23/13.19	c cleaning 9084 clauses out of 18168 with flag 45011/139241
16.24/14.14	c cleaning 10041 clauses out of 20081 with flag 56008/150238
17.34/15.22	c cleaning 10997 clauses out of 22045 with flag 68013/162243
18.57/16.44	c cleaning 12007 clauses out of 24035 with flag 81000/175230
19.80/17.67	c cleaning 13023 clauses out of 26045 with flag 95017/189247
21.02/18.85	c cleaning 14003 clauses out of 28007 with flag 110002/204232
22.45/20.27	c cleaning 15003 clauses out of 30006 with flag 126004/220234
23.36/21.19	c cleaning 15993 clauses out of 31999 with flag 143000/237230
24.38/22.19	c cleaning 17005 clauses out of 34010 with flag 161004/255234
26.20/23.90	c cleaning 18009 clauses out of 36017 with flag 180016/274246
27.72/25.43	c cleaning 18994 clauses out of 37994 with flag 200002/294232
29.55/27.24	c cleaning 20006 clauses out of 40015 with flag 221017/315247
31.48/29.19	c cleaning 20996 clauses out of 41992 with flag 243000/337230
32.91/30.51	c cleaning 21991 clauses out of 43997 with flag 266001/360231
34.33/31.98	c cleaning 23001 clauses out of 46005 with flag 290000/384230
36.65/34.22	c cleaning 24006 clauses out of 48015 with flag 315011/409241
39.77/37.33	c cleaning 24998 clauses out of 50000 with flag 341002/435232
41.91/39.47	c cleaning 25996 clauses out of 52001 with flag 368001/462231
44.42/41.98	c cleaning 27006 clauses out of 54015 with flag 396011/490241
46.54/44.01	c cleaning 27998 clauses out of 56001 with flag 425003/519233
48.47/45.99	c cleaning 28996 clauses out of 58001 with flag 455001/549231
50.69/48.13	c cleaning 29992 clauses out of 60004 with flag 486000/580230
54.01/51.48	c cleaning 30990 clauses out of 62012 with flag 518000/612230
57.35/54.78	c cleaning 32014 clauses out of 64030 with flag 551008/645238
60.99/58.38	c cleaning 32995 clauses out of 66024 with flag 585016/679246
64.62/61.92	c cleaning 34000 clauses out of 68019 with flag 620006/714236
68.26/65.56	c cleaning 35011 clauses out of 70044 with flag 656031/750261
71.40/68.64	c cleaning 35999 clauses out of 72002 with flag 693000/787230
74.85/72.07	c cleaning 37003 clauses out of 74013 with flag 731010/825240
78.58/75.75	c cleaning 38002 clauses out of 76009 with flag 770009/864239
82.61/79.79	c cleaning 38994 clauses out of 78004 with flag 810006/904236
86.54/83.64	c cleaning 40002 clauses out of 80007 with flag 851003/945233
90.86/87.95	c cleaning 41016 clauses out of 82038 with flag 893036/987266
96.92/93.97	c cleaning 41985 clauses out of 83996 with flag 936010/1030240
100.55/97.50	c cleaning 42999 clauses out of 86004 with flag 980003/1074233
103.60/100.57	c cleaning 43991 clauses out of 88003 with flag 1025001/1119231
107.04/103.94	c cleaning 45002 clauses out of 90012 with flag 1071001/1165231
111.98/108.88	c cleaning 46000 clauses out of 92022 with flag 1118013/1212243
115.61/112.45	c cleaning 46993 clauses out of 94011 with flag 1166002/1260232
120.54/117.33	c cleaning 47985 clauses out of 96016 with flag 1215000/1309230
125.43/122.14	c cleaning 49014 clauses out of 98036 with flag 1265005/1359235
131.26/127.96	c cleaning 50007 clauses out of 100019 with flag 1316002/1410232
135.52/132.12	c cleaning 50997 clauses out of 102014 with flag 1368004/1462234
141.40/137.97	c cleaning 52009 clauses out of 104027 with flag 1421014/1515244
148.16/144.68	c cleaning 53001 clauses out of 106017 with flag 1475013/1569243
152.93/149.34	c cleaning 53994 clauses out of 108003 with flag 1530000/1624230
155.27/151.67	c Got one! Elapsed wall clock time (in seconds):151.547
155.27/151.67	o -10
156.26/152.61	c cleaning 48611 clauses out of 97222 with flag 5009/1667443
156.88/153.24	c cleaning 27302 clauses out of 54603 with flag 11001/1673435
157.51/153.89	c cleaning 17150 clauses out of 34300 with flag 18000/1680434
158.22/154.51	c cleaning 12576 clauses out of 25151 with flag 26001/1688435
158.94/155.29	c cleaning 10788 clauses out of 21576 with flag 35002/1697436
159.86/156.11	c cleaning 10378 clauses out of 20787 with flag 45001/1707435
160.58/156.86	c cleaning 10700 clauses out of 21409 with flag 56001/1718435
161.39/157.67	c cleaning 11351 clauses out of 22711 with flag 68003/1730437
162.32/158.50	c cleaning 12174 clauses out of 24358 with flag 81001/1743435
163.13/159.40	c cleaning 13093 clauses out of 26188 with flag 95005/1757439
164.05/160.29	c cleaning 14009 clauses out of 28090 with flag 110000/1772434
165.28/161.41	c cleaning 15039 clauses out of 30089 with flag 126008/1788442
166.40/162.53	c cleaning 16013 clauses out of 32044 with flag 143002/1805436
167.42/163.58	c cleaning 17008 clauses out of 34032 with flag 161003/1823437
168.73/164.81	c cleaning 17994 clauses out of 36021 with flag 180000/1842434
170.06/166.17	c cleaning 18997 clauses out of 38027 with flag 200000/1862434
171.46/167.59	c cleaning 20010 clauses out of 40030 with flag 221000/1883434
172.89/168.95	c cleaning 21005 clauses out of 42020 with flag 243000/1905434
174.41/170.46	c cleaning 21994 clauses out of 44015 with flag 266000/1928434
175.93/171.98	c cleaning 23004 clauses out of 46021 with flag 290000/1952434
177.57/173.51	c cleaning 24006 clauses out of 48018 with flag 315001/1977435
179.38/175.37	c cleaning 25001 clauses out of 50018 with flag 341007/2003441
181.61/177.54	c cleaning 25999 clauses out of 52013 with flag 368003/2030437
183.74/179.66	c cleaning 26996 clauses out of 54011 with flag 396000/2058434
186.16/182.00	c cleaning 28007 clauses out of 56020 with flag 425005/2087439
188.49/184.38	c cleaning 28998 clauses out of 58011 with flag 455003/2117437
190.52/186.36	c cleaning 29999 clauses out of 60010 with flag 486000/2148434
193.15/188.96	c cleaning 30988 clauses out of 62012 with flag 518001/2180435
196.49/192.29	c cleaning 32018 clauses out of 64042 with flag 551019/2213453
199.60/195.32	c cleaning 32991 clauses out of 66005 with flag 585000/2247434
202.63/198.34	c cleaning 34020 clauses out of 68040 with flag 620026/2282460
204.98/200.60	c cleaning 34987 clauses out of 69996 with flag 656002/2318436
207.42/203.09	c cleaning 35994 clauses out of 72009 with flag 693002/2355436
209.97/205.53	c cleaning 36998 clauses out of 74016 with flag 731003/2393437
212.69/208.25	c cleaning 38005 clauses out of 76017 with flag 770002/2432436
216.50/212.00	c cleaning 39000 clauses out of 78013 with flag 810003/2472437
219.73/215.29	c cleaning 39999 clauses out of 80010 with flag 851000/2513434
223.36/218.86	c cleaning 41004 clauses out of 82012 with flag 893001/2555435
226.90/222.31	c cleaning 42003 clauses out of 84007 with flag 936000/2598434
230.53/225.95	c cleaning 42993 clauses out of 86008 with flag 980004/2642438
231.45/226.85	c Got one! Elapsed wall clock time (in seconds):226.731
231.45/226.85	o -11
232.09/227.47	c cleaning 31379 clauses out of 62772 with flag 5004/2662195
232.72/228.00	c cleaning 18684 clauses out of 37391 with flag 11002/2668193
233.14/228.44	c cleaning 12845 clauses out of 25705 with flag 18000/2675191
233.57/228.89	c cleaning 10420 clauses out of 20862 with flag 26002/2683193
234.09/229.38	c cleaning 9713 clauses out of 19444 with flag 35004/2692195
234.71/229.96	c cleaning 9866 clauses out of 19731 with flag 45004/2702195
235.32/230.53	c cleaning 10431 clauses out of 20866 with flag 56005/2713196
235.95/231.17	c cleaning 11215 clauses out of 22432 with flag 68002/2725193
236.75/231.90	c cleaning 12104 clauses out of 24216 with flag 81001/2738192
237.46/232.68	c cleaning 13056 clauses out of 26119 with flag 95008/2752199
238.42/233.57	c cleaning 14024 clauses out of 28057 with flag 110002/2767193
239.35/234.47	c cleaning 15015 clauses out of 30032 with flag 126001/2783192
240.49/235.52	c cleaning 16009 clauses out of 32018 with flag 143002/2800193
241.63/236.64	c cleaning 16991 clauses out of 34007 with flag 161000/2818191
242.74/237.78	c cleaning 17997 clauses out of 36016 with flag 180000/2837191
244.07/239.02	c cleaning 19007 clauses out of 38022 with flag 200003/2857194
245.49/240.46	c cleaning 19995 clauses out of 40012 with flag 221000/2878191
247.02/241.93	c cleaning 21004 clauses out of 42017 with flag 243000/2900191
248.53/243.40	c cleaning 21990 clauses out of 44013 with flag 266000/2923191
250.05/244.96	c cleaning 23000 clauses out of 46023 with flag 290000/2947191
251.60/246.49	c cleaning 24011 clauses out of 48027 with flag 315004/2972195
253.52/248.34	c cleaning 25006 clauses out of 50012 with flag 341000/2998191
255.67/250.43	c cleaning 25994 clauses out of 52006 with flag 368000/3025191
257.99/252.73	c cleaning 27001 clauses out of 54013 with flag 396001/3053192
260.23/254.97	c cleaning 28006 clauses out of 56011 with flag 425000/3082191
262.44/257.13	c cleaning 28998 clauses out of 58005 with flag 455000/3112191
264.88/259.60	c cleaning 30003 clauses out of 60009 with flag 486002/3143193
267.50/262.13	c cleaning 30997 clauses out of 62011 with flag 518007/3175198
270.13/264.77	c cleaning 31986 clauses out of 64007 with flag 551000/3208191
272.45/267.00	c cleaning 33009 clauses out of 66025 with flag 585004/3242195
275.37/269.96	c cleaning 34003 clauses out of 68012 with flag 620000/3277191
278.71/273.27	c cleaning 34999 clauses out of 70009 with flag 656000/3313191
282.23/276.71	c cleaning 35997 clauses out of 72013 with flag 693003/3350194
285.28/279.79	c cleaning 37000 clauses out of 74014 with flag 731001/3388192
288.44/282.89	c cleaning 38016 clauses out of 76035 with flag 770022/3427213
291.45/285.88	c cleaning 38987 clauses out of 77997 with flag 810000/3467191
294.78/289.12	c cleaning 40009 clauses out of 80018 with flag 851008/3508199
299.25/293.54	c cleaning 40987 clauses out of 82004 with flag 893003/3550194
302.89/297.19	c cleaning 42000 clauses out of 84014 with flag 936000/3593191
308.32/302.51	c cleaning 43020 clauses out of 86048 with flag 980034/3637225
312.77/306.96	c cleaning 43991 clauses out of 87999 with flag 1025005/3682196
316.31/310.49	c cleaning 45006 clauses out of 90023 with flag 1071020/3728211
320.49/314.60	c cleaning 46001 clauses out of 92014 with flag 1118017/3775208
324.42/318.40	c cleaning 46997 clauses out of 93999 with flag 1166003/3823194
329.56/323.56	c cleaning 48004 clauses out of 96008 with flag 1215009/3872200
333.85/327.74	c cleaning 48992 clauses out of 98005 with flag 1265010/3922201
337.57/331.44	c cleaning 50006 clauses out of 100012 with flag 1316009/3973200
342.38/336.29	c cleaning 50998 clauses out of 101997 with flag 1368000/4025191
347.01/340.82	c cleaning 51997 clauses out of 104002 with flag 1421003/4078194
352.16/345.95	c cleaning 53002 clauses out of 106007 with flag 1475005/4132196
356.90/350.68	c cleaning 53987 clauses out of 108000 with flag 1530000/4187191
361.34/355.00	c cleaning 54998 clauses out of 110014 with flag 1586001/4243192
365.66/359.39	c cleaning 56003 clauses out of 112015 with flag 1643000/4300191
370.70/364.36	c cleaning 56997 clauses out of 114012 with flag 1701000/4358191
376.93/370.54	c cleaning 57998 clauses out of 116016 with flag 1760001/4417192
383.36/376.95	c cleaning 58997 clauses out of 118017 with flag 1820000/4477191
389.32/382.87	c cleaning 59996 clauses out of 120020 with flag 1881000/4538191
396.03/389.51	c cleaning 61007 clauses out of 122026 with flag 1943002/4600193
401.05/394.59	c cleaning 62000 clauses out of 124017 with flag 2006000/4663191
407.20/400.63	c cleaning 62986 clauses out of 126017 with flag 2070000/4727191
412.83/406.29	c cleaning 64013 clauses out of 128036 with flag 2135005/4792196
419.16/412.54	c cleaning 65005 clauses out of 130021 with flag 2201003/4858194
425.39/418.79	c cleaning 65995 clauses out of 132014 with flag 2268001/4925192
430.74/424.06	c cleaning 66996 clauses out of 134018 with flag 2336000/4993191
437.39/430.65	c cleaning 67997 clauses out of 136022 with flag 2405000/5062191
444.46/437.64	c cleaning 69006 clauses out of 138030 with flag 2475005/5132196
452.82/445.93	c cleaning 69989 clauses out of 140019 with flag 2546000/5203191
459.58/452.65	c cleaning 71006 clauses out of 142030 with flag 2618000/5275191
466.90/459.99	c cleaning 72010 clauses out of 144025 with flag 2691001/5348192
473.35/466.31	c cleaning 72994 clauses out of 146015 with flag 2765001/5422192
481.38/474.37	c cleaning 73998 clauses out of 148020 with flag 2840000/5497191
489.53/482.43	c cleaning 74992 clauses out of 150022 with flag 2916000/5573191
497.97/490.80	c cleaning 76005 clauses out of 152031 with flag 2993001/5650192
505.53/498.35	c cleaning 76998 clauses out of 154027 with flag 3071002/5728193
515.16/507.90	c cleaning 78004 clauses out of 156030 with flag 3150003/5807194
523.03/515.71	c cleaning 78996 clauses out of 158023 with flag 3230000/5887191
531.19/523.86	c cleaning 80009 clauses out of 160034 with flag 3311007/5968198
540.15/532.73	c cleaning 81004 clauses out of 162018 with flag 3393000/6050191
551.56/544.02	c cleaning 81997 clauses out of 164020 with flag 3476006/6133197
560.21/552.67	c cleaning 83009 clauses out of 166021 with flag 3560004/6217195
568.73/561.12	c cleaning 84000 clauses out of 168008 with flag 3645000/6302191
578.10/570.46	c cleaning 84997 clauses out of 170008 with flag 3731000/6388191
588.79/581.02	c cleaning 86000 clauses out of 172012 with flag 3818001/6475192
598.50/590.67	c cleaning 86992 clauses out of 174011 with flag 3906000/6563191
612.12/604.22	c cleaning 88005 clauses out of 176034 with flag 3995015/6652206
623.35/615.49	c cleaning 89003 clauses out of 178015 with flag 4085001/6742192
636.36/628.39	c cleaning 89992 clauses out of 180013 with flag 4176002/6833193
649.12/641.01	c cleaning 91009 clauses out of 182026 with flag 4268007/6925198
658.95/650.81	c cleaning 91997 clauses out of 184010 with flag 4361000/7018191
670.18/662.04	c cleaning 93000 clauses out of 186014 with flag 4455001/7112192
680.00/671.89	c cleaning 93999 clauses out of 188013 with flag 4550000/7207191
694.85/686.66	c cleaning 94988 clauses out of 190014 with flag 4646000/7303191
705.06/696.79	c cleaning 96006 clauses out of 192026 with flag 4743000/7400191
718.50/710.11	c cleaning 97010 clauses out of 194027 with flag 4841007/7498198
731.72/723.29	c cleaning 98004 clauses out of 196024 with flag 4940014/7597205
745.21/736.60	c cleaning 98988 clauses out of 198006 with flag 5040000/7697191
757.24/748.58	c cleaning 99998 clauses out of 200018 with flag 5141000/7798191
767.53/758.74	c cleaning 101006 clauses out of 202023 with flag 5243003/7900194
778.98/770.13	c cleaning 101991 clauses out of 204022 with flag 5346008/8003199
791.26/782.36	c cleaning 103015 clauses out of 206035 with flag 5450012/8107203
804.23/795.20	c cleaning 104004 clauses out of 208017 with flag 5555009/8212200
818.80/809.75	c cleaning 105002 clauses out of 210006 with flag 5661002/8318193
835.45/826.39	c cleaning 105988 clauses out of 212002 with flag 5768000/8425191
852.89/843.67	c cleaning 106996 clauses out of 214014 with flag 5876000/8533191
868.65/859.33	c cleaning 107996 clauses out of 216019 with flag 5985001/8642192
883.47/874.05	c cleaning 109006 clauses out of 218031 with flag 6095009/8752200
897.35/887.81	c cleaning 109999 clauses out of 220019 with flag 6206003/8863194
910.68/901.12	c cleaning 110997 clauses out of 222017 with flag 6318000/8975191
926.79/917.18	c cleaning 112002 clauses out of 224021 with flag 6431001/9088192
942.79/933.04	c cleaning 112991 clauses out of 226019 with flag 6545001/9202192
955.69/945.86	c cleaning 113999 clauses out of 228030 with flag 6660003/9317194
969.66/959.71	c cleaning 115001 clauses out of 230030 with flag 6776002/9433193
982.23/972.27	c cleaning 116005 clauses out of 232027 with flag 6893000/9550191
995.08/985.07	c cleaning 117003 clauses out of 234022 with flag 7011000/9668191
1012.03/1001.94	c cleaning 117993 clauses out of 236019 with flag 7130000/9787191
1024.52/1014.32	c cleaning 118992 clauses out of 238026 with flag 7250000/9907191
1038.27/1028.06	c cleaning 120005 clauses out of 240036 with flag 7371002/10028193
1054.92/1044.60	c cleaning 121016 clauses out of 242037 with flag 7493008/10150199
1070.90/1060.54	c cleaning 121994 clauses out of 244015 with flag 7616002/10273193
1089.16/1078.75	c cleaning 123004 clauses out of 246022 with flag 7740003/10397194
1116.42/1105.98	c cleaning 123984 clauses out of 248015 with flag 7865000/10522191
1141.54/1130.94	c cleaning 125004 clauses out of 250033 with flag 7991002/10648193
1164.76/1154.02	c cleaning 126000 clauses out of 252032 with flag 8118005/10775196
1181.50/1170.65	c cleaning 127016 clauses out of 254038 with flag 8246011/10903202
1204.48/1193.58	c cleaning 127999 clauses out of 256011 with flag 8375000/11032191
1219.15/1208.09	c cleaning 128994 clauses out of 258013 with flag 8505001/11162192
1237.21/1226.07	c cleaning 129993 clauses out of 260018 with flag 8636000/11293191
1255.12/1243.88	c cleaning 131004 clauses out of 262027 with flag 8768002/11425193
1272.54/1261.14	c cleaning 132000 clauses out of 264021 with flag 8901000/11558191
1295.35/1283.84	c cleaning 133003 clauses out of 266021 with flag 9035000/11692191
1315.31/1303.72	c cleaning 134002 clauses out of 268018 with flag 9170000/11827191
1332.09/1320.44	c cleaning 135006 clauses out of 270018 with flag 9306002/11963193
1351.37/1339.63	c cleaning 136000 clauses out of 272010 with flag 9443000/12100191
1373.09/1361.36	c cleaning 136989 clauses out of 274010 with flag 9581000/12238191
1398.07/1386.23	c cleaning 138003 clauses out of 276021 with flag 9720000/12377191
1422.48/1410.56	c cleaning 139000 clauses out of 278021 with flag 9860003/12517194
1441.95/1429.92	c cleaning 139994 clauses out of 280022 with flag 10001004/12658195
1466.90/1454.82	c cleaning 141012 clauses out of 282024 with flag 10143000/12800191
1487.89/1475.72	c cleaning 141992 clauses out of 284014 with flag 10286002/12943193
1507.58/1495.35	c cleaning 142999 clauses out of 286020 with flag 10430000/13087191
1526.16/1513.83	c cleaning 144005 clauses out of 288022 with flag 10575001/13232192
1549.36/1536.99	c cleaning 145001 clauses out of 290018 with flag 10721002/13378193
1559.62/1547.11	c Got one! Elapsed wall clock time (in seconds):1546.988
1559.62/1547.11	o -12
1562.23/1549.70	c cleaning 118320 clauses out of 236639 with flag 5000/13469815
1563.40/1550.88	c cleaning 62159 clauses out of 124320 with flag 11001/13475816
1564.22/1551.62	c cleaning 34573 clauses out of 69160 with flag 18000/13482815
1564.85/1552.22	c cleaning 21289 clauses out of 42587 with flag 26000/13490815
1565.39/1552.79	c cleaning 15130 clauses out of 30298 with flag 35000/13499815
1566.02/1553.35	c cleaning 12561 clauses out of 25168 with flag 45000/13509815
1566.65/1553.98	c cleaning 11787 clauses out of 23607 with flag 56000/13520815
1567.37/1554.65	c cleaning 11905 clauses out of 23820 with flag 68000/13532815
1568.21/1555.41	c cleaning 12458 clauses out of 24917 with flag 81002/13545817
1568.94/1556.17	c cleaning 13225 clauses out of 26457 with flag 95000/13559815
1569.87/1557.02	c cleaning 14113 clauses out of 28233 with flag 110001/13574816
1570.91/1558.00	c cleaning 15057 clauses out of 30119 with flag 126000/13590815
1572.14/1559.20	c cleaning 16030 clauses out of 32063 with flag 143001/13607816
1573.27/1560.35	c cleaning 17019 clauses out of 34037 with flag 161005/13625820
1574.64/1561.66	c cleaning 18004 clauses out of 36017 with flag 180004/13644819
1575.97/1562.93	c cleaning 18996 clauses out of 38009 with flag 200000/13664815
1577.21/1564.17	c cleaning 19997 clauses out of 40013 with flag 221000/13685815
1578.64/1565.54	c cleaning 21004 clauses out of 42023 with flag 243007/13707822
1579.97/1566.89	c cleaning 22001 clauses out of 44012 with flag 266000/13730815
1581.51/1568.36	c cleaning 23006 clauses out of 46011 with flag 290000/13754815
1583.24/1570.04	c cleaning 24000 clauses out of 48006 with flag 315001/13779816
1584.98/1571.72	c cleaning 24994 clauses out of 50008 with flag 341003/13805818
1586.70/1573.48	c cleaning 25991 clauses out of 52011 with flag 368000/13832815
1588.75/1575.40	c cleaning 27002 clauses out of 54020 with flag 396000/13860815
1590.68/1577.39	c cleaning 28004 clauses out of 56018 with flag 425000/13889815
1592.71/1579.31	c cleaning 29001 clauses out of 58015 with flag 455001/13919816
1595.05/1581.61	c cleaning 29998 clauses out of 60013 with flag 486000/13950815
1597.58/1584.18	c cleaning 31007 clauses out of 62015 with flag 518000/13982815
1600.20/1586.73	c cleaning 31986 clauses out of 64008 with flag 551000/14015815
1602.76/1589.24	c cleaning 33009 clauses out of 66023 with flag 585001/14049816
1605.49/1591.96	c cleaning 34008 clauses out of 68016 with flag 620003/14084818
1608.31/1594.79	c cleaning 34999 clauses out of 70006 with flag 656001/14120816
1611.24/1597.65	c cleaning 35995 clauses out of 72006 with flag 693000/14157815
1614.38/1600.71	c cleaning 37001 clauses out of 74011 with flag 731000/14195815
1617.50/1603.87	c cleaning 37997 clauses out of 76010 with flag 770000/14234815
1620.92/1607.24	c cleaning 39005 clauses out of 78013 with flag 810000/14274815
1624.45/1610.71	c cleaning 39999 clauses out of 80008 with flag 851000/14315815
1628.07/1614.37	c cleaning 41000 clauses out of 82010 with flag 893001/14357816
1632.21/1618.40	c cleaning 41998 clauses out of 84013 with flag 936004/14400819
1636.45/1622.60	c cleaning 42994 clauses out of 86011 with flag 980000/14444815
1640.88/1627.00	c cleaning 43999 clauses out of 88017 with flag 1025000/14489815
1645.11/1631.25	c cleaning 45005 clauses out of 90019 with flag 1071001/14535816
1649.84/1635.98	c cleaning 45999 clauses out of 92013 with flag 1118000/14582815
1655.10/1641.14	c cleaning 47008 clauses out of 94018 with flag 1166004/14630819
1660.33/1646.37	c cleaning 47999 clauses out of 96006 with flag 1215000/14679815
1665.68/1651.62	c cleaning 48999 clauses out of 98010 with flag 1265003/14729818
1671.44/1657.38	c cleaning 50000 clauses out of 100010 with flag 1316002/14780817
1677.76/1663.62	c cleaning 50995 clauses out of 102010 with flag 1368002/14832817
1683.83/1669.68	c cleaning 52007 clauses out of 104015 with flag 1421002/14885817
1690.26/1676.09	c cleaning 53000 clauses out of 106007 with flag 1475001/14939816
1696.89/1682.63	c cleaning 53996 clauses out of 108006 with flag 1530000/14994815
1703.35/1689.05	c cleaning 54998 clauses out of 110011 with flag 1586001/15050816
1709.76/1695.42	c cleaning 56001 clauses out of 112012 with flag 1643000/15107815
1716.99/1702.60	c cleaning 57001 clauses out of 114013 with flag 1701002/15165817
1723.53/1709.17	c cleaning 57998 clauses out of 116017 with flag 1760007/15224822
1728.57/1714.11	c cleaning 58987 clauses out of 118012 with flag 1820000/15284815
1735.30/1720.82	c cleaning 60010 clauses out of 120026 with flag 1881001/15345816
1741.84/1727.34	c cleaning 60997 clauses out of 122018 with flag 1943003/15407818
1748.37/1733.86	c cleaning 62004 clauses out of 124018 with flag 2006000/15470815
1756.20/1741.66	c cleaning 62993 clauses out of 126019 with flag 2070005/15534820
1762.64/1748.01	c cleaning 64009 clauses out of 128022 with flag 2135001/15599816
1763.27/1748.67	c Got one! Elapsed wall clock time (in seconds):1748.542
1763.27/1748.67	o -13
1763.87/1749.25	c cleaning 38396 clauses out of 76791 with flag 5001/15612594
1764.42/1749.77	c cleaning 22159 clauses out of 44394 with flag 11000/15618593
1764.95/1750.24	c cleaning 14605 clauses out of 29235 with flag 18000/15625593
1765.47/1750.71	c cleaning 11281 clauses out of 22636 with flag 26006/15633599
1766.00/1751.20	c cleaning 10146 clauses out of 20350 with flag 35001/15642594
1766.51/1751.75	c cleaning 10078 clauses out of 20203 with flag 45000/15652593
1767.15/1752.34	c cleaning 10556 clauses out of 21128 with flag 56003/15663596
1767.88/1753.00	c cleaning 11282 clauses out of 22573 with flag 68004/15675597
1768.62/1753.70	c cleaning 12147 clauses out of 24294 with flag 81007/15688600
1769.46/1754.50	c cleaning 13071 clauses out of 26150 with flag 95010/15702603
1770.27/1755.30	c cleaning 14032 clauses out of 28070 with flag 110001/15717594
1771.19/1756.22	c cleaning 15014 clauses out of 30039 with flag 126002/15733595
1772.23/1757.26	c cleaning 16003 clauses out of 32025 with flag 143002/15750595
1773.26/1758.29	c cleaning 17004 clauses out of 34020 with flag 161000/15768593
1774.38/1759.34	c cleaning 17999 clauses out of 36016 with flag 180000/15787593
1775.51/1760.43	c cleaning 19009 clauses out of 38019 with flag 200002/15807595
1776.84/1761.78	c cleaning 19997 clauses out of 40008 with flag 221000/15828593
1778.28/1763.16	c cleaning 21003 clauses out of 42012 with flag 243001/15850594
1779.92/1764.73	c cleaning 22002 clauses out of 44008 with flag 266000/15873593
1781.56/1766.31	c cleaning 22999 clauses out of 46006 with flag 290000/15897593
1783.17/1767.92	c cleaning 24006 clauses out of 48013 with flag 315006/15922599
1784.91/1769.67	c cleaning 24996 clauses out of 50001 with flag 341000/15948593
1786.85/1771.58	c cleaning 25992 clauses out of 52005 with flag 368000/15975593
1788.89/1773.54	c cleaning 26999 clauses out of 54013 with flag 396000/16003593
1791.12/1775.73	c cleaning 28001 clauses out of 56015 with flag 425001/16032594
1793.25/1777.86	c cleaning 28998 clauses out of 58013 with flag 455000/16062593
1795.68/1780.21	c cleaning 29999 clauses out of 60016 with flag 486001/16093594
1798.20/1782.70	c cleaning 31004 clauses out of 62021 with flag 518005/16125598
1800.08/1784.51	c starts		: 354
1800.08/1784.51	c conflicts		: 16150150
1800.08/1784.51	c decisions		: 27944220
1800.08/1784.51	c propagations		: 180114437
1800.08/1784.51	c inspects		: 15151878733
1800.08/1784.51	c shortcuts		: 0
1800.08/1784.51	c learnt literals	: 0
1800.08/1784.51	c learnt binary clauses	: 7
1800.08/1784.51	c learnt ternary clauses	: 16783
1800.08/1784.51	c learnt constraints	: 16150150
1800.08/1784.51	c ignored constraints	: 0
1800.08/1784.51	c root simplifications	: 0
1800.08/1784.51	c removed literals (reason simplification)	: 0
1800.08/1784.51	c reason swapping (by a shorter reason)	: 0
1800.08/1784.51	c Calls to reduceDB	: 333
1800.08/1784.51	c number of reductions to clauses (during analyze)	: 0
1800.08/1784.51	c number of learned constraints concerned by reduction	: 0
1800.08/1784.51	c number of learning phase by resolution	: 0
1800.08/1784.51	c number of learning phase by cutting planes	: 0
1800.08/1784.51	c speed (assignments/second)	: 100955.64529915727
1800.08/1784.51	c non guided choices	0
1800.08/1784.53	c learnt constraints type 
1800.08/1784.53	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 7
1800.08/1784.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 55832
1800.08/1784.53	c constraints type 
1800.08/1784.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3090
1800.08/1784.53	c org.sat4j.minisat.constraints.card.MinWatchCard => 203
1800.08/1784.53	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
1800.08/1784.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3090
1800.08/1784.53	c 6483 constraints processed.
1800.08/1784.53	s SATISFIABLE
1800.08/1784.54	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 
1800.08/1784.54	c objective function=-13
1800.08/1784.54	c Total wall clock time (in seconds): 1784.412

Verifier Data 

OK	-13

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

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 24077
/proc/meminfo: memFree=28885284/32873844 swapFree=6584/6584
[pid=24077] ppid=24075 vsize=9160 CPUtime=0 cores=1,3,5,7
/proc/24077/stat : 24077 (java) R 24075 24077 21531 0 -1 4202496 189 0 0 0 0 0 0 0 20 0 1 0 254907008 9379840 126 33554432000 1073741824 1073778376 140735812773280 140735812770408 273588651120 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24077/statm: 2372 131 100 9 0 120 0

[startup+0.0273339 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 24077
/proc/meminfo: memFree=28885284/32873844 swapFree=6584/6584
[pid=24077] ppid=24075 vsize=9014776 CPUtime=0 cores=1,3,5,7
/proc/24077/stat : 24077 (java) S 24075 24077 21531 0 -1 4202496 2166 0 1 0 0 0 0 0 20 0 10 0 254907008 9231130624 2357 33554432000 1073741824 1073778376 140733340248128 140733340239264 273592385597 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24077/statm: 2253694 2882 1044 9 0 2244803 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9014776

[startup+0.100306 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 24077
/proc/meminfo: memFree=28885284/32873844 swapFree=6584/6584
[pid=24077] ppid=24075 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/24077/stat : 24077 (java) S 24075 24077 21531 0 -1 4202496 4002 0 1 0 7 1 0 0 20 0 18 0 254907008 9787813888 5207 33554432000 1073741824 1073778376 140733340248128 140733340239264 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24077/statm: 2389603 5212 2036 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300252 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 24077
/proc/meminfo: memFree=28885284/32873844 swapFree=6584/6584
[pid=24077] ppid=24075 vsize=9558412 CPUtime=0.43 cores=1,3,5,7
/proc/24077/stat : 24077 (java) S 24075 24077 21531 0 -1 4202496 5968 0 1 0 42 1 0 0 20 0 18 0 254907008 9787813888 8246 33554432000 1073741824 1073778376 140733340248128 140733340239264 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24077/statm: 2389603 8246 2227 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558412

[startup+0.700286 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 24077
/proc/meminfo: memFree=28885284/32873844 swapFree=6584/6584
[pid=24077] ppid=24075 vsize=9624976 CPUtime=1.5 cores=1,3,5,7
/proc/24077/stat : 24077 (java) S 24075 24077 21531 0 -1 4202496 13741 0 1 0 147 3 0 0 20 0 19 0 254907008 9855975424 15198 33554432000 1073741824 1073778376 140733340248128 140733340239264 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24077/statm: 2406244 15198 2250 9 0 2396937 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 9624976

[startup+1.50062 s]
/proc/loadavg: 2.04 2.01 2.00 3/216 24096
/proc/meminfo: memFree=28830820/32873844 swapFree=6584/6584
[pid=24077] ppid=24075 vsize=9624976 CPUtime=2.46 cores=1,3,5,7
/proc/24077/stat : 24077 (java) S 24075 24077 21531 0 -1 4202496 13815 0 1 0 242 4 0 0 20 0 19 0 254907008 9855975424 19859 33554432000 1073741824 1073778376 140733340248128 140733340239264 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24077/statm: 2406244 19859 2283 9 0 2396937 0
[pid=24077/tid=24079] ppid=24075 vsize=9624976 CPUtime=1.43 cores=1,3,5,7
/proc/24077/task/24079/stat : 24079 (java) R 24075 24077 21531 0 -1 4202560 2469 0 1 0 142 1 0 0 20 0 19 0 254907009 9855975424 19859 33554432000 1073741824 1073778376 140733340248128 140574997045656 140574834057656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24080] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24080/stat : 24080 (java) S 24075 24077 21531 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 19859 33554432000 1073741824 1073778376 140733340248128 140574958537128 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24081] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24081/stat : 24081 (java) S 24075 24077 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 19859 33554432000 1073741824 1073778376 140733340248128 140574957484584 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24082] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24082/stat : 24082 (java) S 24075 24077 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 19859 33554432000 1073741824 1073778376 140733340248128 140574956431528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24077/tid=24083] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24083/stat : 24083 (java) S 24075 24077 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 19859 33554432000 1073741824 1073778376 140733340248128 140574955378984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24084] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24084/stat : 24084 (java) S 24075 24077 21531 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 19859 33554432000 1073741824 1073778376 140733340248128 140574954326952 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24077/tid=24085] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24085/stat : 24085 (java) S 24075 24077 21531 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 19859 33554432000 1073741824 1073778376 140733340248128 140574953274408 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24086] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24086/stat : 24086 (java) S 24075 24077 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 19859 33554432000 1073741824 1073778376 140733340248128 140574952221352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24087] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24087/stat : 24087 (java) S 24075 24077 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 19859 33554432000 1073741824 1073778376 140733340248128 140574833240872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24088] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24088/stat : 24088 (java) S 24075 24077 21531 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 254907011 9855975424 19859 33554432000 1073741824 1073778376 140733340248128 140574821042536 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24089] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24089/stat : 24089 (java) S 24075 24077 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254907012 9855975424 19859 33554432000 1073741824 1073778376 140733340248128 140574819988856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24090] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24090/stat : 24090 (java) S 24075 24077 21531 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254907012 9855975424 19859 33554432000 1073741824 1073778376 140733340248128 140574818935688 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24091] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24091/stat : 24091 (java) S 24075 24077 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254907014 9855975424 19859 33554432000 1073741824 1073778376 140733340248128 140574817884432 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24092] ppid=24075 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/24077/task/24092/stat : 24092 (java) S 24075 24077 21531 0 -1 4202560 5956 0 0 0 50 2 0 0 20 0 19 0 254907015 9855975424 19859 33554432000 1073741824 1073778376 140733340248128 140574078266168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24093] ppid=24075 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/24077/task/24093/stat : 24093 (java) S 24075 24077 21531 0 -1 4202560 4135 0 0 0 43 1 0 0 20 0 19 0 254907015 9855975424 19859 33554432000 1073741824 1073778376 140733340248128 140574077213624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24094] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24094/stat : 24094 (java) S 24075 24077 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254907015 9855975424 19859 33554432000 1073741824 1073778376 140733340248128 140574076160760 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24095] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24095/stat : 24095 (java) S 24075 24077 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254907015 9855975424 19859 33554432000 1073741824 1073778376 140733340248128 140574075108424 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24096] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24096/stat : 24096 (java) S 24075 24077 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254907050 9855975424 19859 33554432000 1073741824 1073778376 140733340248128 140574074053672 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 9624976

[startup+3.10061 s]
/proc/loadavg: 2.04 2.01 2.00 4/216 24096
/proc/meminfo: memFree=28800108/32873844 swapFree=6584/6584
[pid=24077] ppid=24075 vsize=9624976 CPUtime=5.07 cores=1,3,5,7
/proc/24077/stat : 24077 (java) S 24075 24077 21531 0 -1 4202496 19922 0 1 0 501 6 0 0 20 0 19 0 254907008 9855975424 25024 33554432000 1073741824 1073778376 140733340248128 140733340239264 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24077/statm: 2406244 25024 2283 9 0 2396937 0
[pid=24077/tid=24079] ppid=24075 vsize=9624976 CPUtime=2.95 cores=1,3,5,7
/proc/24077/task/24079/stat : 24079 (java) R 24075 24077 21531 0 -1 4202560 2471 0 1 0 294 1 0 0 20 0 19 0 254907009 9855975424 25024 33554432000 1073741824 1073778376 140733340248128 140574997045720 140574834023994 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24077/tid=24080] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24080/stat : 24080 (java) S 24075 24077 21531 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 25024 33554432000 1073741824 1073778376 140733340248128 140574958537128 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24081] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24081/stat : 24081 (java) S 24075 24077 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 25024 33554432000 1073741824 1073778376 140733340248128 140574957484584 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24082] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24082/stat : 24082 (java) S 24075 24077 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 25024 33554432000 1073741824 1073778376 140733340248128 140574956431528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24083] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24083/stat : 24083 (java) S 24075 24077 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 25024 33554432000 1073741824 1073778376 140733340248128 140574955378984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24084] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24084/stat : 24084 (java) S 24075 24077 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 25024 33554432000 1073741824 1073778376 140733340248128 140574954326952 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24085] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24085/stat : 24085 (java) S 24075 24077 21531 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 25024 33554432000 1073741824 1073778376 140733340248128 140574953274408 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24086] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24086/stat : 24086 (java) S 24075 24077 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 25024 33554432000 1073741824 1073778376 140733340248128 140574952221352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24087] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24087/stat : 24087 (java) S 24075 24077 21531 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 25024 33554432000 1073741824 1073778376 140733340248128 140574833240872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24088] ppid=24075 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/24077/task/24088/stat : 24088 (java) S 24075 24077 21531 0 -1 4202560 33 0 0 0 7 0 0 0 20 0 19 0 254907011 9855975424 25024 33554432000 1073741824 1073778376 140733340248128 140574821042536 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24089] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24089/stat : 24089 (java) S 24075 24077 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254907012 9855975424 25024 33554432000 1073741824 1073778376 140733340248128 140574819988856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24090] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24090/stat : 24090 (java) S 24075 24077 21531 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254907012 9855975424 25024 33554432000 1073741824 1073778376 140733340248128 140574818935688 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24091] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24091/stat : 24091 (java) S 24075 24077 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254907014 9855975424 25024 33554432000 1073741824 1073778376 140733340248128 140574817884432 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24092] ppid=24075 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/24077/task/24092/stat : 24092 (java) S 24075 24077 21531 0 -1 4202560 12023 0 0 0 145 2 0 0 20 0 19 0 254907015 9855975424 25024 33554432000 1073741824 1073778376 140733340248128 140574078266168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24093] ppid=24075 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/24077/task/24093/stat : 24093 (java) S 24075 24077 21531 0 -1 4202560 4135 0 0 0 46 2 0 0 20 0 19 0 254907015 9855975424 25024 33554432000 1073741824 1073778376 140733340248128 140574077213624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24094] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24094/stat : 24094 (java) S 24075 24077 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254907015 9855975424 25024 33554432000 1073741824 1073778376 140733340248128 140574076160760 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24095] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24095/stat : 24095 (java) S 24075 24077 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254907015 9855975424 25024 33554432000 1073741824 1073778376 140733340248128 140574075108424 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24096] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24096/stat : 24096 (java) S 24075 24077 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254907050 9855975424 25024 33554432000 1073741824 1073778376 140733340248128 140574074053672 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 9624976

[startup+6.30068 s]
/proc/loadavg: 2.04 2.01 2.00 3/216 24096
/proc/meminfo: memFree=28796936/32873844 swapFree=6584/6584
[pid=24077] ppid=24075 vsize=9624976 CPUtime=8.31 cores=1,3,5,7
/proc/24077/stat : 24077 (java) S 24075 24077 21531 0 -1 4202496 19953 0 1 0 824 7 0 0 20 0 19 0 254907008 9855975424 24924 33554432000 1073741824 1073778376 140733340248128 140733340239264 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24077/statm: 2406244 24924 2283 9 0 2396937 0
[pid=24077/tid=24079] ppid=24075 vsize=9624976 CPUtime=6.05 cores=1,3,5,7
/proc/24077/task/24079/stat : 24079 (java) R 24075 24077 21531 0 -1 4202560 2475 0 1 0 604 1 0 0 20 0 19 0 254907009 9855975424 24924 33554432000 1073741824 1073778376 140733340248128 140574997045656 140574834057651 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24080] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24080/stat : 24080 (java) S 24075 24077 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 24924 33554432000 1073741824 1073778376 140733340248128 140574958537128 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24081] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24081/stat : 24081 (java) S 24075 24077 21531 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 24924 33554432000 1073741824 1073778376 140733340248128 140574957484584 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24082] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24082/stat : 24082 (java) S 24075 24077 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 24924 33554432000 1073741824 1073778376 140733340248128 140574956431528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24083] ppid=24075 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24077/task/24083/stat : 24083 (java) S 24075 24077 21531 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 254907010 9855975424 24924 33554432000 1073741824 1073778376 140733340248128 140574955378984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24084] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24084/stat : 24084 (java) S 24075 24077 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 24924 33554432000 1073741824 1073778376 140733340248128 140574954326952 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24085] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24085/stat : 24085 (java) S 24075 24077 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 24924 33554432000 1073741824 1073778376 140733340248128 140574953274408 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24086] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24086/stat : 24086 (java) S 24075 24077 21531 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 24924 33554432000 1073741824 1073778376 140733340248128 140574952221352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24077/tid=24087] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24087/stat : 24087 (java) S 24075 24077 21531 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254907010 9855975424 24924 33554432000 1073741824 1073778376 140733340248128 140574833240872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24077/tid=24088] ppid=24075 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/24077/task/24088/stat : 24088 (java) S 24075 24077 21531 0 -1 4202560 36 0 0 0 14 0 0 0 20 0 19 0 254907011 9855975424 24924 33554432000 1073741824 1073778376 140733340248128 140574821042536 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24089] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24089/stat : 24089 (java) S 24075 24077 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254907012 9855975424 24924 33554432000 1073741824 1073778376 140733340248128 140574819988856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24090] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24090/stat : 24090 (java) S 24075 24077 21531 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254907012 9855975424 24924 33554432000 1073741824 1073778376 140733340248128 140574818935688 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24091] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24091/stat : 24091 (java) S 24075 24077 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254907014 9855975424 24924 33554432000 1073741824 1073778376 140733340248128 140574817884432 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24092] ppid=24075 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/24077/task/24092/stat : 24092 (java) S 24075 24077 21531 0 -1 4202560 12023 0 0 0 145 2 0 0 20 0 19 0 254907015 9855975424 24924 33554432000 1073741824 1073778376 140733340248128 140574078266168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24093] ppid=24075 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/24077/task/24093/stat : 24093 (java) S 24075 24077 21531 0 -1 4202560 4135 0 0 0 46 2 0 0 20 0 19 0 254907015 9855975424 24924 33554432000 1073741824 1073778376 140733340248128 140574077213624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24094] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24094/stat : 24094 (java) S 24075 24077 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254907015 9855975424 24924 33554432000 1073741824 1073778376 140733340248128 140574076160760 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24095] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24095/stat : 24095 (java) S 24075 24077 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254907015 9855975424 24924 33554432000 1073741824 1073778376 140733340248128 140574075108424 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24096] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24096/stat : 24096 (java) S 24075 24077 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254907050 9855975424 24924 33554432000 1073741824 1073778376 140733340248128 140574074053672 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.31
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=24077/tid=24092] ppid=24075 vsize=9624976 CPUtime=1.56 cores=1,3,5,7
/proc/24077/task/24092/stat : 24092 (java) S 24075 24077 21531 0 -1 4202560 12031 0 0 0 154 2 0 0 20 0 19 0 254907015 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574078266168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24093] ppid=24075 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/24077/task/24093/stat : 24093 (java) S 24075 24077 21531 0 -1 4202560 4135 0 0 0 47 2 0 0 20 0 19 0 254907015 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574077213624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24094] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24094/stat : 24094 (java) S 24075 24077 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254907015 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574076160760 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24095] ppid=24075 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/24077/task/24095/stat : 24095 (java) S 24075 24077 21531 0 -1 4202560 98 0 0 0 45 32 0 0 20 0 19 0 254907015 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574075108424 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24096] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24096/stat : 24096 (java) S 24075 24077 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254907050 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574074053672 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1736.84
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/215 24282
/proc/meminfo: memFree=27798060/32873844 swapFree=6584/6584
[pid=24077] ppid=24075 vsize=9624976 CPUtime=1797.8 cores=1,3,5,7
/proc/24077/stat : 24077 (java) S 24075 24077 21531 0 -1 4202496 23297 0 1 0 179700 80 0 0 20 0 19 0 254907008 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140733340239264 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24077/statm: 2406244 95349 2284 9 0 2396937 0
[pid=24077/tid=24079] ppid=24075 vsize=9624976 CPUtime=1751.77 cores=1,3,5,7
/proc/24077/task/24079/stat : 24079 (java) R 24075 24077 21531 0 -1 4202560 2841 0 1 0 175147 30 0 0 20 0 19 0 254907009 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574997045536 140574833934907 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24080] ppid=24075 vsize=9624976 CPUtime=2.21 cores=1,3,5,7
/proc/24077/task/24080/stat : 24080 (java) S 24075 24077 21531 0 -1 4202560 323 0 0 0 217 4 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574958537128 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24081] ppid=24075 vsize=9624976 CPUtime=2.25 cores=1,3,5,7
/proc/24077/task/24081/stat : 24081 (java) S 24075 24077 21531 0 -1 4202560 374 0 0 0 221 4 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574957484584 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24082] ppid=24075 vsize=9624976 CPUtime=2.25 cores=1,3,5,7
/proc/24077/task/24082/stat : 24082 (java) S 24075 24077 21531 0 -1 4202560 296 0 0 0 220 5 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574956431528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24077/tid=24083] ppid=24075 vsize=9624976 CPUtime=2.31 cores=1,3,5,7
/proc/24077/task/24083/stat : 24083 (java) S 24075 24077 21531 0 -1 4202560 483 0 0 0 226 5 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574955378984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24084] ppid=24075 vsize=9624976 CPUtime=2.32 cores=1,3,5,7
/proc/24077/task/24084/stat : 24084 (java) S 24075 24077 21531 0 -1 4202560 339 0 0 0 227 5 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574954326952 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24085] ppid=24075 vsize=9624976 CPUtime=2.23 cores=1,3,5,7
/proc/24077/task/24085/stat : 24085 (java) S 24075 24077 21531 0 -1 4202560 325 0 0 0 218 5 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574953274408 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24077/tid=24086] ppid=24075 vsize=9624976 CPUtime=2.19 cores=1,3,5,7
/proc/24077/task/24086/stat : 24086 (java) S 24075 24077 21531 0 -1 4202560 417 0 0 0 215 4 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574952221352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24087] ppid=24075 vsize=9624976 CPUtime=2.26 cores=1,3,5,7
/proc/24077/task/24087/stat : 24087 (java) S 24075 24077 21531 0 -1 4202560 292 0 0 0 222 4 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574833240872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24088] ppid=24075 vsize=9624976 CPUtime=20.71 cores=1,3,5,7
/proc/24077/task/24088/stat : 24088 (java) S 24075 24077 21531 0 -1 4202560 152 0 0 0 2067 4 0 0 20 0 19 0 254907011 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574821042536 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24089] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24089/stat : 24089 (java) S 24075 24077 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254907012 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574819988856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24090] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24090/stat : 24090 (java) S 24075 24077 21531 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254907012 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574818935688 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24091] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24091/stat : 24091 (java) S 24075 24077 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254907014 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574817884432 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24092] ppid=24075 vsize=9624976 CPUtime=1.56 cores=1,3,5,7
/proc/24077/task/24092/stat : 24092 (java) S 24075 24077 21531 0 -1 4202560 12031 0 0 0 154 2 0 0 20 0 19 0 254907015 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574078266168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24093] ppid=24075 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/24077/task/24093/stat : 24093 (java) S 24075 24077 21531 0 -1 4202560 4135 0 0 0 47 2 0 0 20 0 19 0 254907015 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574077213624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24094] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24094/stat : 24094 (java) S 24075 24077 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254907015 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574076160760 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24095] ppid=24075 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/24077/task/24095/stat : 24095 (java) S 24075 24077 21531 0 -1 4202560 102 0 0 0 46 33 0 0 20 0 19 0 254907015 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574075108424 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24096] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24096/stat : 24096 (java) S 24075 24077 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254907050 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574074053672 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/216 24285
/proc/meminfo: memFree=27770428/32873844 swapFree=6584/6584
[pid=24077] ppid=24075 vsize=9624976 CPUtime=1800.08 cores=1,3,5,7
/proc/24077/stat : 24077 (java) S 24075 24077 21531 0 -1 4202496 23298 0 1 0 179928 80 0 0 20 0 19 0 254907008 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140733340239264 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24077/statm: 2406244 95349 2284 9 0 2396937 0
[pid=24077/tid=24079] ppid=24075 vsize=9624976 CPUtime=1753.88 cores=1,3,5,7
/proc/24077/task/24079/stat : 24079 (java) R 24075 24077 21531 0 -1 4202560 2842 0 1 0 175358 30 0 0 20 0 19 0 254907009 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574997045536 140574834057608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24080] ppid=24075 vsize=9624976 CPUtime=2.21 cores=1,3,5,7
/proc/24077/task/24080/stat : 24080 (java) S 24075 24077 21531 0 -1 4202560 323 0 0 0 217 4 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574958537128 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24077/tid=24081] ppid=24075 vsize=9624976 CPUtime=2.27 cores=1,3,5,7
/proc/24077/task/24081/stat : 24081 (java) S 24075 24077 21531 0 -1 4202560 374 0 0 0 223 4 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574957484584 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24082] ppid=24075 vsize=9624976 CPUtime=2.26 cores=1,3,5,7
/proc/24077/task/24082/stat : 24082 (java) S 24075 24077 21531 0 -1 4202560 296 0 0 0 221 5 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574956431528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24077/tid=24083] ppid=24075 vsize=9624976 CPUtime=2.34 cores=1,3,5,7
/proc/24077/task/24083/stat : 24083 (java) S 24075 24077 21531 0 -1 4202560 483 0 0 0 229 5 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574955378984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24084] ppid=24075 vsize=9624976 CPUtime=2.32 cores=1,3,5,7
/proc/24077/task/24084/stat : 24084 (java) S 24075 24077 21531 0 -1 4202560 339 0 0 0 227 5 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574954326952 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24085] ppid=24075 vsize=9624976 CPUtime=2.24 cores=1,3,5,7
/proc/24077/task/24085/stat : 24085 (java) S 24075 24077 21531 0 -1 4202560 325 0 0 0 219 5 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574953274408 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24077/tid=24086] ppid=24075 vsize=9624976 CPUtime=2.2 cores=1,3,5,7
/proc/24077/task/24086/stat : 24086 (java) S 24075 24077 21531 0 -1 4202560 417 0 0 0 216 4 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574952221352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24087] ppid=24075 vsize=9624976 CPUtime=2.29 cores=1,3,5,7
/proc/24077/task/24087/stat : 24087 (java) S 24075 24077 21531 0 -1 4202560 292 0 0 0 225 4 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574833240872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24088] ppid=24075 vsize=9624976 CPUtime=20.76 cores=1,3,5,7
/proc/24077/task/24088/stat : 24088 (java) S 24075 24077 21531 0 -1 4202560 152 0 0 0 2072 4 0 0 20 0 19 0 254907011 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574821042536 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24089] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24089/stat : 24089 (java) S 24075 24077 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254907012 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574819988856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24090] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24090/stat : 24090 (java) S 24075 24077 21531 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254907012 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574818935688 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24091] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24091/stat : 24091 (java) S 24075 24077 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254907014 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574817884432 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24092] ppid=24075 vsize=9624976 CPUtime=1.56 cores=1,3,5,7
/proc/24077/task/24092/stat : 24092 (java) S 24075 24077 21531 0 -1 4202560 12031 0 0 0 154 2 0 0 20 0 19 0 254907015 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574078266168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24093] ppid=24075 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/24077/task/24093/stat : 24093 (java) S 24075 24077 21531 0 -1 4202560 4135 0 0 0 47 2 0 0 20 0 19 0 254907015 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574077213624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24094] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24094/stat : 24094 (java) S 24075 24077 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254907015 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574076160760 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24095] ppid=24075 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/24077/task/24095/stat : 24095 (java) S 24075 24077 21531 0 -1 4202560 102 0 0 0 46 33 0 0 20 0 19 0 254907015 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574075108424 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24096] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24096/stat : 24096 (java) S 24075 24077 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254907050 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574074053672 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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+1784.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/216 24285
/proc/meminfo: memFree=27770428/32873844 swapFree=6584/6584
[pid=24077] ppid=24075 vsize=9624976 CPUtime=1800.08 cores=1,3,5,7
/proc/24077/stat : 24077 (java) S 24075 24077 21531 0 -1 4202496 23298 0 1 0 179928 80 0 0 20 0 19 0 254907008 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140733340239264 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24077/statm: 2406244 95349 2284 9 0 2396937 0
[pid=24077/tid=24079] ppid=24075 vsize=9624976 CPUtime=1753.88 cores=1,3,5,7
/proc/24077/task/24079/stat : 24079 (java) R 24075 24077 21531 0 -1 4202560 2842 0 1 0 175358 30 0 0 20 0 19 0 254907009 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574997045536 140574834057608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24080] ppid=24075 vsize=9624976 CPUtime=2.21 cores=1,3,5,7
/proc/24077/task/24080/stat : 24080 (java) S 24075 24077 21531 0 -1 4202560 323 0 0 0 217 4 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574958537128 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24077/tid=24081] ppid=24075 vsize=9624976 CPUtime=2.27 cores=1,3,5,7
/proc/24077/task/24081/stat : 24081 (java) S 24075 24077 21531 0 -1 4202560 374 0 0 0 223 4 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574957484584 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24082] ppid=24075 vsize=9624976 CPUtime=2.26 cores=1,3,5,7
/proc/24077/task/24082/stat : 24082 (java) S 24075 24077 21531 0 -1 4202560 296 0 0 0 221 5 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574956431528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24077/tid=24083] ppid=24075 vsize=9624976 CPUtime=2.34 cores=1,3,5,7
/proc/24077/task/24083/stat : 24083 (java) S 24075 24077 21531 0 -1 4202560 483 0 0 0 229 5 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574955378984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24084] ppid=24075 vsize=9624976 CPUtime=2.32 cores=1,3,5,7
/proc/24077/task/24084/stat : 24084 (java) S 24075 24077 21531 0 -1 4202560 339 0 0 0 227 5 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574954326952 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24085] ppid=24075 vsize=9624976 CPUtime=2.24 cores=1,3,5,7
/proc/24077/task/24085/stat : 24085 (java) S 24075 24077 21531 0 -1 4202560 325 0 0 0 219 5 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574953274408 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24077/tid=24086] ppid=24075 vsize=9624976 CPUtime=2.2 cores=1,3,5,7
/proc/24077/task/24086/stat : 24086 (java) S 24075 24077 21531 0 -1 4202560 417 0 0 0 216 4 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574952221352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24087] ppid=24075 vsize=9624976 CPUtime=2.29 cores=1,3,5,7
/proc/24077/task/24087/stat : 24087 (java) S 24075 24077 21531 0 -1 4202560 292 0 0 0 225 4 0 0 20 0 19 0 254907010 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574833240872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24088] ppid=24075 vsize=9624976 CPUtime=20.76 cores=1,3,5,7
/proc/24077/task/24088/stat : 24088 (java) S 24075 24077 21531 0 -1 4202560 152 0 0 0 2072 4 0 0 20 0 19 0 254907011 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574821042536 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24089] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24089/stat : 24089 (java) S 24075 24077 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254907012 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574819988856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24090] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24090/stat : 24090 (java) S 24075 24077 21531 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254907012 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574818935688 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24091] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24091/stat : 24091 (java) S 24075 24077 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254907014 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574817884432 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24077/tid=24092] ppid=24075 vsize=9624976 CPUtime=1.56 cores=1,3,5,7
/proc/24077/task/24092/stat : 24092 (java) S 24075 24077 21531 0 -1 4202560 12031 0 0 0 154 2 0 0 20 0 19 0 254907015 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574078266168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24093] ppid=24075 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/24077/task/24093/stat : 24093 (java) S 24075 24077 21531 0 -1 4202560 4135 0 0 0 47 2 0 0 20 0 19 0 254907015 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574077213624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24094] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24094/stat : 24094 (java) S 24075 24077 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254907015 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574076160760 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24077/tid=24095] ppid=24075 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/24077/task/24095/stat : 24095 (java) S 24075 24077 21531 0 -1 4202560 102 0 0 0 46 33 0 0 20 0 19 0 254907015 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574075108424 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24077/tid=24096] ppid=24075 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24077/task/24096/stat : 24096 (java) S 24075 24077 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254907050 9855975424 95349 33554432000 1073741824 1073778376 140733340248128 140574074053672 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624976

Child status: 143

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

Real time (s): 1784.54
CPU time (s): 1800.08
CPU user time (s): 1799.28
CPU system time (s): 0.8
CPU usage (%): 100.871
Max. virtual memory (cumulated for all children) (KiB): 9626596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.74
system time used= 1.21381
maximum resident set size= 381516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23330
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47224
involuntary context switches= 31366

runsolver used 6.01009 second user time and 14.6728 second system time

The end

Launcher Data 

Begin job on node132 at 2012-05-24 21:30:17
IDJOB=3688759
IDBENCH=48267
IDSOLVER=2269
FILE ID=node132/3688759-1337887817
RUNJOBID= node132-1337871880-21548
PBS_JOBID= 14620072
Free space on /tmp= 71636 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_3.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688759-1337887817/watcher-3688759-1337887817 -o /tmp/evaluation-result-3688759-1337887817/solver-3688759-1337887817 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688759-1337887817.opb

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

MD5SUM BENCH= 29cda419af6adbdf14450bbe70fbdfc2
RANDOM SEED=414228331

node132.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.832
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.66
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.832
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28886076 kB
Buffers:          220992 kB
Cached:          2707360 kB
SwapCached:            0 kB
Active:           952024 kB
Inactive:        2269872 kB
Active(anon):     295644 kB
Inactive(anon):        0 kB
Active(file):     656380 kB
Inactive(file):  2269872 kB
Unevictable:        6584 kB
Mlocked:            6584 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               504 kB
Writeback:             0 kB
AnonPages:        299628 kB
Mapped:            22580 kB
Shmem:               212 kB
Slab:             628356 kB
SReclaimable:      70736 kB
SUnreclaim:       557620 kB
KernelStack:        1624 kB
PageTables:         4788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     695980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    268288 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= 71636 MiB
End job on node132 at 2012-05-24 22:00:03