Trace number 3688771

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.31 1792.15

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_4.opb
MD5SUM3258ae2375db1ca5a9ce9d305f00baf0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark160.333
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1228
Sum of products size (including duplicates)2456
Number of different products614
Sum of products size1228

Quality of the solution as a function of time


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

Solver Data 

0.01/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.09	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.2.v20120418
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		501472288
0.01/0.09	c Max memory 		7480803328
0.01/0.09	c Total memory 		504102912
0.01/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3688771-1337888021.opb
0.10/0.11	c reading problem ... 
0.10/0.22	c ... done. Wall clock time 0.108s.
0.10/0.22	c declared #vars     100
0.10/0.22	c internal #vars     714
0.10/0.22	c #constraints  1380
0.10/0.22	c constraints type 
0.10/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 614
0.10/0.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 102
0.10/0.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50
0.10/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 614
0.10/0.22	c 1380 constraints processed.
0.10/0.22	c objective function length is 50 literals
0.48/0.31	c SATISFIABLE
0.48/0.31	c OPTIMIZING...
0.48/0.31	c Got one! Elapsed wall clock time (in seconds):0.196
0.48/0.31	o -10
0.80/0.57	c cleaning 2553 clauses out of 5106 with flag 5016/5106
1.09/0.78	c cleaning 4270 clauses out of 8539 with flag 11002/11092
1.43/1.02	c cleaning 5629 clauses out of 11273 with flag 18006/18096
1.63/1.29	c cleaning 6818 clauses out of 13638 with flag 26000/26090
2.05/1.61	c cleaning 7911 clauses out of 15821 with flag 35001/35091
2.36/1.98	c cleaning 8951 clauses out of 17912 with flag 45003/45093
2.77/2.39	c cleaning 9974 clauses out of 19960 with flag 56002/56092
3.28/2.84	c cleaning 10980 clauses out of 21984 with flag 68000/68090
3.79/3.37	c cleaning 12000 clauses out of 24005 with flag 81001/81091
4.39/3.90	c cleaning 13002 clauses out of 26004 with flag 95000/95090
5.00/4.54	c cleaning 13985 clauses out of 28002 with flag 110000/110090
5.72/5.21	c cleaning 15002 clauses out of 30017 with flag 126000/126090
6.42/5.95	c cleaning 16002 clauses out of 32017 with flag 143002/143092
7.23/6.72	c cleaning 16996 clauses out of 34015 with flag 161002/161092
8.04/7.60	c cleaning 18010 clauses out of 36021 with flag 180004/180094
9.06/8.54	c cleaning 18992 clauses out of 38007 with flag 200000/200090
9.97/9.45	c cleaning 20001 clauses out of 40015 with flag 221000/221090
10.99/10.45	c cleaning 21008 clauses out of 42015 with flag 243001/243091
12.09/11.54	c cleaning 21998 clauses out of 44006 with flag 266000/266090
13.31/12.72	c cleaning 22999 clauses out of 46010 with flag 290002/290092
14.51/13.92	c cleaning 24000 clauses out of 48020 with flag 315011/315101
15.84/15.27	c cleaning 24994 clauses out of 50010 with flag 341001/341091
17.36/16.76	c cleaning 26007 clauses out of 52015 with flag 368000/368090
18.80/18.13	c cleaning 27004 clauses out of 54008 with flag 396000/396090
20.41/19.73	c cleaning 28002 clauses out of 56010 with flag 425006/425096
22.23/21.50	c cleaning 28987 clauses out of 58002 with flag 455000/455090
23.94/23.28	c cleaning 30008 clauses out of 60015 with flag 486000/486090
26.05/25.37	c cleaning 31003 clauses out of 62007 with flag 518000/518090
28.17/27.42	c cleaning 31999 clauses out of 64004 with flag 551000/551090
30.09/29.37	c cleaning 32995 clauses out of 66005 with flag 585000/585090
32.71/31.91	c cleaning 33994 clauses out of 68012 with flag 620002/620092
35.23/34.40	c cleaning 35001 clauses out of 70016 with flag 656000/656090
37.17/36.39	c cleaning 36001 clauses out of 72017 with flag 693002/693092
39.78/38.90	c cleaning 37005 clauses out of 74014 with flag 731000/731090
42.30/41.48	c cleaning 37997 clauses out of 76009 with flag 770000/770090
45.01/44.15	c cleaning 38992 clauses out of 78014 with flag 810002/810092
47.32/46.47	c cleaning 40005 clauses out of 80020 with flag 851000/851090
50.44/49.52	c cleaning 41007 clauses out of 82015 with flag 893000/893090
53.15/52.28	c cleaning 42004 clauses out of 84008 with flag 936000/936090
56.78/55.85	c cleaning 42996 clauses out of 86004 with flag 980000/980090
60.50/59.53	c cleaning 44001 clauses out of 88011 with flag 1025003/1025093
64.42/63.44	c cleaning 44997 clauses out of 90007 with flag 1071000/1071090
68.33/67.37	c cleaning 45995 clauses out of 92012 with flag 1118002/1118092
71.84/70.87	c cleaning 47001 clauses out of 94017 with flag 1166002/1166092
75.56/74.55	c cleaning 48009 clauses out of 96017 with flag 1215003/1215093
79.88/78.86	c cleaning 49003 clauses out of 98005 with flag 1265000/1265090
84.71/83.67	c cleaning 50002 clauses out of 100003 with flag 1316001/1316091
90.57/89.47	c cleaning 50991 clauses out of 102002 with flag 1368002/1368092
95.49/94.36	c cleaning 51996 clauses out of 104010 with flag 1421001/1421091
100.31/99.18	c cleaning 52999 clauses out of 106015 with flag 1475002/1475092
104.54/103.34	c cleaning 54001 clauses out of 108014 with flag 1530000/1530090
108.27/107.07	c cleaning 55003 clauses out of 110013 with flag 1586000/1586090
114.00/112.79	c cleaning 55992 clauses out of 112010 with flag 1643000/1643090
118.61/117.37	c cleaning 57009 clauses out of 114018 with flag 1701000/1701090
123.73/122.44	c cleaning 58003 clauses out of 116011 with flag 1760002/1760092
129.46/128.14	c cleaning 58991 clauses out of 118006 with flag 1820000/1820090
134.83/133.48	c cleaning 60000 clauses out of 120015 with flag 1881000/1881090
140.36/138.96	c cleaning 61002 clauses out of 122015 with flag 1943000/1943090
146.00/144.56	c cleaning 62000 clauses out of 124013 with flag 2006000/2006090
151.72/150.26	c cleaning 62987 clauses out of 126013 with flag 2070000/2070090
157.45/155.93	c cleaning 64001 clauses out of 128026 with flag 2135000/2135090
163.30/161.77	c cleaning 65001 clauses out of 130026 with flag 2201001/2201091
169.44/167.81	c cleaning 66012 clauses out of 132026 with flag 2268002/2268092
174.69/173.09	c cleaning 66999 clauses out of 134012 with flag 2336000/2336090
180.63/178.94	c cleaning 68002 clauses out of 136013 with flag 2405000/2405090
186.85/185.18	c cleaning 68994 clauses out of 138012 with flag 2475001/2475091
192.77/191.03	c cleaning 69998 clauses out of 140021 with flag 2546004/2546094
199.49/197.78	c cleaning 71001 clauses out of 142023 with flag 2618004/2618094
202.64/200.84	c Got one! Elapsed wall clock time (in seconds):200.728
202.64/200.84	o -11
203.94/202.11	c cleaning 58933 clauses out of 117865 with flag 5000/2664937
204.87/203.03	c cleaning 32466 clauses out of 64932 with flag 11000/2670937
205.28/203.44	c cleaning 19733 clauses out of 39466 with flag 18000/2677937
205.68/203.84	c cleaning 13864 clauses out of 27734 with flag 26001/2685938
206.13/204.22	c cleaning 11435 clauses out of 22877 with flag 35008/2694945
206.56/204.61	c cleaning 10708 clauses out of 21435 with flag 45001/2704938
206.95/205.01	c cleaning 10860 clauses out of 21726 with flag 56000/2715937
207.36/205.44	c cleaning 11431 clauses out of 22867 with flag 68001/2727938
207.86/205.94	c cleaning 12213 clauses out of 24436 with flag 81001/2740938
208.48/206.56	c cleaning 13111 clauses out of 26222 with flag 95000/2754937
209.09/207.15	c cleaning 14048 clauses out of 28111 with flag 110000/2769937
209.82/207.84	c cleaning 15027 clauses out of 30066 with flag 126003/2785940
210.54/208.56	c cleaning 16016 clauses out of 32036 with flag 143000/2802937
211.36/209.34	c cleaning 17011 clauses out of 34023 with flag 161003/2820940
212.28/210.21	c cleaning 17995 clauses out of 36009 with flag 180000/2839937
213.30/211.29	c cleaning 18995 clauses out of 38015 with flag 200001/2859938
214.52/212.41	c cleaning 20006 clauses out of 40019 with flag 221000/2880937
215.62/213.50	c cleaning 20996 clauses out of 42013 with flag 243000/2902937
216.73/214.68	c cleaning 22009 clauses out of 44019 with flag 266002/2925939
218.14/216.02	c cleaning 22996 clauses out of 46008 with flag 290000/2949937
219.66/217.55	c cleaning 24000 clauses out of 48012 with flag 315000/2974937
221.28/219.14	c cleaning 24997 clauses out of 50012 with flag 341000/3000937
222.70/220.56	c cleaning 26006 clauses out of 52018 with flag 368003/3027940
224.22/222.07	c cleaning 27005 clauses out of 54009 with flag 396000/3055937
225.93/223.79	c cleaning 27997 clauses out of 56005 with flag 425001/3084938
227.75/225.56	c cleaning 28997 clauses out of 58007 with flag 455000/3114937
228.07/225.82	c Got one! Elapsed wall clock time (in seconds):225.709
228.07/225.82	o -12
228.37/226.15	c cleaning 19825 clauses out of 39659 with flag 5002/3125586
228.69/226.41	c cleaning 12915 clauses out of 25833 with flag 11001/3131585
228.90/226.68	c cleaning 9954 clauses out of 19918 with flag 18001/3138585
229.19/226.98	c cleaning 8976 clauses out of 17963 with flag 26000/3146584
229.60/227.32	c cleaning 8989 clauses out of 17987 with flag 35000/3155584
229.90/227.68	c cleaning 9495 clauses out of 19000 with flag 45002/3165586
230.42/228.10	c cleaning 10243 clauses out of 20503 with flag 56000/3176584
230.84/228.54	c cleaning 11124 clauses out of 22260 with flag 68000/3188584
231.37/229.03	c cleaning 12060 clauses out of 24137 with flag 81001/3201585
231.87/229.58	c cleaning 13038 clauses out of 26079 with flag 95003/3215587
232.50/230.18	c cleaning 14013 clauses out of 28040 with flag 110002/3230586
233.22/230.86	c cleaning 15011 clauses out of 30027 with flag 126002/3246586
233.92/231.57	c cleaning 16001 clauses out of 32015 with flag 143001/3263585
234.83/232.41	c cleaning 17005 clauses out of 34013 with flag 161000/3281584
235.66/233.24	c cleaning 17994 clauses out of 36008 with flag 180000/3300584
236.50/234.09	c cleaning 19007 clauses out of 38014 with flag 200000/3320584
237.51/235.03	c cleaning 20003 clauses out of 40007 with flag 221000/3341584
238.52/236.10	c cleaning 21003 clauses out of 42005 with flag 243001/3363585
239.65/237.10	c cleaning 22001 clauses out of 44001 with flag 266000/3386584
240.86/238.35	c cleaning 22993 clauses out of 46001 with flag 290001/3410585
242.18/239.65	c cleaning 23995 clauses out of 48007 with flag 315000/3435584
243.60/241.07	c cleaning 25005 clauses out of 50015 with flag 341003/3461587
245.11/242.51	c cleaning 26000 clauses out of 52007 with flag 368000/3488584
246.53/243.98	c cleaning 26996 clauses out of 54009 with flag 396002/3516586
248.24/245.63	c cleaning 27996 clauses out of 56011 with flag 425000/3545584
250.05/247.41	c cleaning 29004 clauses out of 58016 with flag 455001/3575585
251.87/249.22	c cleaning 29999 clauses out of 60012 with flag 486001/3606585
253.78/251.18	c cleaning 31006 clauses out of 62013 with flag 518001/3638585
255.88/253.27	c cleaning 32000 clauses out of 64006 with flag 551000/3671584
257.99/255.39	c cleaning 33001 clauses out of 66009 with flag 585003/3705587
260.31/257.62	c cleaning 33994 clauses out of 68005 with flag 620000/3740584
262.74/260.06	c cleaning 34995 clauses out of 70013 with flag 656002/3776586
265.26/262.55	c cleaning 36006 clauses out of 72017 with flag 693001/3813585
267.77/265.10	c cleaning 36999 clauses out of 74013 with flag 731003/3851587
270.57/267.87	c cleaning 38003 clauses out of 76012 with flag 770001/3890585
273.38/270.69	c cleaning 39002 clauses out of 78009 with flag 810001/3930585
276.00/273.27	c cleaning 39994 clauses out of 80006 with flag 851000/3971584
278.62/275.82	c cleaning 40998 clauses out of 82012 with flag 893000/4013584
281.34/278.50	c cleaning 42004 clauses out of 84014 with flag 936000/4056584
284.26/281.46	c cleaning 42998 clauses out of 86010 with flag 980000/4100584
287.08/284.21	c cleaning 43996 clauses out of 88012 with flag 1025000/4145584
290.18/287.38	c cleaning 44996 clauses out of 90017 with flag 1071001/4191585
293.59/290.73	c cleaning 45997 clauses out of 92020 with flag 1118000/4238584
296.60/293.75	c cleaning 47000 clauses out of 94027 with flag 1166004/4286588
299.91/297.08	c cleaning 47999 clauses out of 96023 with flag 1215000/4335584
303.41/300.57	c cleaning 49007 clauses out of 98027 with flag 1265003/4385587
307.73/304.86	c cleaning 50010 clauses out of 100029 with flag 1316012/4436596
312.14/309.29	c cleaning 51000 clauses out of 102007 with flag 1368000/4488584
315.86/312.94	c cleaning 51991 clauses out of 104007 with flag 1421000/4541584
319.68/316.71	c cleaning 53000 clauses out of 106017 with flag 1475001/4595585
323.38/320.45	c cleaning 53996 clauses out of 108016 with flag 1530000/4650584
327.09/324.14	c cleaning 55006 clauses out of 110021 with flag 1586001/4706585
330.82/327.83	c cleaning 55998 clauses out of 112016 with flag 1643002/4763586
336.55/333.58	c cleaning 57000 clauses out of 114017 with flag 1701001/4821585
344.18/341.10	c cleaning 58002 clauses out of 116018 with flag 1760002/4880586
350.42/347.33	c cleaning 59008 clauses out of 118016 with flag 1820002/4940586
354.86/351.79	c cleaning 59999 clauses out of 120006 with flag 1881000/5001584
359.50/356.35	c cleaning 61000 clauses out of 122008 with flag 1943001/5063585
364.30/361.15	c cleaning 61995 clauses out of 124007 with flag 2006000/5126584
370.04/366.83	c cleaning 63006 clauses out of 126012 with flag 2070000/5190584
375.36/372.10	c cleaning 63992 clauses out of 128007 with flag 2135001/5255585
381.38/378.10	c cleaning 65003 clauses out of 130014 with flag 2201000/5321584
386.71/383.43	c cleaning 66003 clauses out of 132015 with flag 2268004/5388588
393.64/390.34	c cleaning 66996 clauses out of 134008 with flag 2336000/5456584
401.80/398.43	c cleaning 68000 clauses out of 136012 with flag 2405000/5525584
409.83/406.47	c cleaning 68998 clauses out of 138012 with flag 2475000/5595584
416.54/413.10	c cleaning 70000 clauses out of 140014 with flag 2546000/5666584
423.17/419.74	c cleaning 71004 clauses out of 142014 with flag 2618000/5738584
429.72/426.29	c cleaning 71998 clauses out of 144010 with flag 2691000/5811584
437.34/433.87	c cleaning 73005 clauses out of 146013 with flag 2765001/5885585
444.98/441.44	c cleaning 73998 clauses out of 148008 with flag 2840001/5960585
451.01/447.42	c cleaning 74999 clauses out of 150010 with flag 2916001/6036585
459.34/455.70	c cleaning 75992 clauses out of 152010 with flag 2993000/6113584
468.18/464.55	c cleaning 76999 clauses out of 154018 with flag 3071000/6191584
476.20/472.58	c cleaning 78005 clauses out of 156020 with flag 3150001/6270585
484.43/480.75	c cleaning 78996 clauses out of 158014 with flag 3230000/6350584
491.77/488.06	c cleaning 80001 clauses out of 160022 with flag 3311004/6431588
500.29/496.59	c cleaning 81002 clauses out of 162020 with flag 3393003/6513587
510.04/506.20	c cleaning 82005 clauses out of 164016 with flag 3476001/6596585
520.38/516.55	c cleaning 83002 clauses out of 166012 with flag 3560002/6680586
528.63/524.77	c cleaning 83996 clauses out of 168008 with flag 3645000/6765584
538.74/534.81	c cleaning 85001 clauses out of 170012 with flag 3731000/6851584
548.62/544.69	c cleaning 85996 clauses out of 172012 with flag 3818001/6938585
557.93/553.96	c cleaning 86996 clauses out of 174015 with flag 3906000/7026584
568.37/564.31	c cleaning 88000 clauses out of 176019 with flag 3995000/7115584
578.99/574.92	c cleaning 89001 clauses out of 178019 with flag 4085000/7205584
590.01/585.98	c cleaning 90001 clauses out of 180019 with flag 4176001/7296585
601.35/597.27	c cleaning 91000 clauses out of 182017 with flag 4268000/7388584
613.49/609.36	c cleaning 91998 clauses out of 184020 with flag 4361003/7481587
624.73/620.56	c cleaning 92999 clauses out of 186020 with flag 4455001/7575585
635.87/631.60	c cleaning 94004 clauses out of 188020 with flag 4550000/7670584
647.48/643.21	c cleaning 95005 clauses out of 190017 with flag 4646001/7766585
657.22/652.94	c cleaning 95996 clauses out of 192012 with flag 4743001/7863585
668.36/664.03	c cleaning 97003 clauses out of 194016 with flag 4841001/7961585
680.78/676.48	c cleaning 97999 clauses out of 196013 with flag 4940001/8060585
692.02/687.68	c cleaning 99000 clauses out of 198014 with flag 5040001/8160585
706.03/701.57	c cleaning 99998 clauses out of 200013 with flag 5141000/8261584
716.84/712.33	c cleaning 100995 clauses out of 202015 with flag 5243000/8363584
729.27/724.70	c cleaning 102000 clauses out of 204020 with flag 5346000/8466584
744.21/739.62	c cleaning 103002 clauses out of 206021 with flag 5450001/8570585
756.86/752.28	c cleaning 104001 clauses out of 208018 with flag 5555000/8675584
769.44/764.76	c cleaning 104999 clauses out of 210018 with flag 5661001/8781585
785.47/780.70	c cleaning 105998 clauses out of 212018 with flag 5768000/8888584
801.93/797.13	c cleaning 107000 clauses out of 214022 with flag 5876002/8996586
815.89/811.02	c cleaning 108003 clauses out of 216023 with flag 5985003/9105587
828.92/824.03	c cleaning 108999 clauses out of 218017 with flag 6095000/9215584
843.69/838.71	c cleaning 109993 clauses out of 220018 with flag 6206000/9326584
858.04/853.01	c cleaning 111003 clauses out of 222025 with flag 6318000/9438584
875.27/870.25	c cleaning 112003 clauses out of 224023 with flag 6431001/9551585
892.63/887.59	c cleaning 112998 clauses out of 226020 with flag 6545001/9665585
907.66/902.51	c cleaning 114004 clauses out of 228021 with flag 6660000/9780584
926.61/921.44	c cleaning 115003 clauses out of 230018 with flag 6776001/9896585
943.78/938.52	c cleaning 116003 clauses out of 232016 with flag 6893002/10013586
961.77/956.40	c cleaning 116998 clauses out of 234011 with flag 7011000/10131584
981.13/975.78	c cleaning 117999 clauses out of 236014 with flag 7130001/10250585
995.35/990.00	c cleaning 118995 clauses out of 238014 with flag 7250000/10370584
1010.30/1004.86	c cleaning 119997 clauses out of 240019 with flag 7371000/10491584
1033.03/1027.57	c cleaning 121000 clauses out of 242024 with flag 7493002/10613586
1061.99/1056.41	c cleaning 122001 clauses out of 244024 with flag 7616002/10736586
1079.06/1073.50	c cleaning 122998 clauses out of 246022 with flag 7740001/10860585
1096.52/1090.85	c cleaning 124007 clauses out of 248026 with flag 7865003/10985587
1114.95/1109.15	c cleaning 124995 clauses out of 250016 with flag 7991000/11111584
1133.16/1127.33	c cleaning 125999 clauses out of 252021 with flag 8118000/11238584
1152.02/1146.17	c cleaning 126999 clauses out of 254023 with flag 8246001/11366585
1171.17/1165.26	c cleaning 128006 clauses out of 256023 with flag 8375000/11495584
1190.00/1184.06	c cleaning 128999 clauses out of 258018 with flag 8505001/11625585
1210.62/1204.60	c cleaning 129998 clauses out of 260018 with flag 8636000/11756584
1233.45/1227.40	c cleaning 130996 clauses out of 262020 with flag 8768000/11888584
1252.76/1246.79	c cleaning 131999 clauses out of 264024 with flag 8901000/12021584
1272.51/1266.45	c cleaning 133001 clauses out of 266025 with flag 9035000/12155584
1293.84/1287.75	c cleaning 134002 clauses out of 268024 with flag 9170000/12290584
1317.95/1311.89	c cleaning 134999 clauses out of 270022 with flag 9306000/12426584
1328.85/1322.78	c Got one! Elapsed wall clock time (in seconds):1322.664
1328.85/1322.78	o -13
1332.55/1326.41	c cleaning 115229 clauses out of 230469 with flag 5001/12522030
1333.77/1327.65	c cleaning 60613 clauses out of 121240 with flag 11001/12528030
1334.39/1328.25	c cleaning 33808 clauses out of 67627 with flag 18001/12535030
1334.81/1328.65	c cleaning 20901 clauses out of 41819 with flag 26001/12543030
1335.23/1329.00	c cleaning 14948 clauses out of 29917 with flag 35000/12552029
1335.55/1329.38	c cleaning 12472 clauses out of 24972 with flag 45003/12562032
1335.98/1329.80	c cleaning 11740 clauses out of 23497 with flag 56000/12573029
1336.50/1330.22	c cleaning 11868 clauses out of 23757 with flag 68000/12585029
1337.02/1330.71	c cleaning 12438 clauses out of 24889 with flag 81000/12598029
1337.55/1331.22	c cleaning 13223 clauses out of 26451 with flag 95000/12612029
1338.17/1331.83	c cleaning 14106 clauses out of 28228 with flag 110000/12627029
1338.79/1332.48	c cleaning 15059 clauses out of 30124 with flag 126002/12643031
1339.52/1333.17	c cleaning 16026 clauses out of 32066 with flag 143003/12660032
1340.33/1333.94	c cleaning 17014 clauses out of 34038 with flag 161001/12678030
1341.25/1334.85	c cleaning 18009 clauses out of 36025 with flag 180002/12697031
1342.36/1335.95	c cleaning 19000 clauses out of 38014 with flag 200000/12717029
1343.48/1337.08	c cleaning 20004 clauses out of 40015 with flag 221001/12738030
1344.82/1338.37	c cleaning 21004 clauses out of 42011 with flag 243001/12760030
1346.14/1339.66	c cleaning 21996 clauses out of 44006 with flag 266000/12783029
1347.55/1341.03	c cleaning 23001 clauses out of 46010 with flag 290000/12807029
1349.27/1342.76	c cleaning 24002 clauses out of 48011 with flag 315002/12832031
1351.08/1344.52	c cleaning 25002 clauses out of 50008 with flag 341001/12858030
1352.70/1346.18	c cleaning 26001 clauses out of 52005 with flag 368000/12885029
1354.43/1347.83	c cleaning 26991 clauses out of 54005 with flag 396001/12913030
1356.45/1349.86	c cleaning 28001 clauses out of 56013 with flag 425000/12942029
1357.96/1351.37	c cleaning 29005 clauses out of 58012 with flag 455000/12972029
1359.87/1353.25	c cleaning 30000 clauses out of 60007 with flag 486000/13003029
1361.90/1355.22	c cleaning 30995 clauses out of 62009 with flag 518002/13035031
1363.70/1357.05	c cleaning 32003 clauses out of 64014 with flag 551002/13068031
1366.02/1359.38	c cleaning 33000 clauses out of 66010 with flag 585001/13102030
1368.75/1362.01	c cleaning 34000 clauses out of 68009 with flag 620000/13137029
1371.26/1364.50	c cleaning 34988 clauses out of 70009 with flag 656000/13173029
1373.97/1367.27	c cleaning 36002 clauses out of 72021 with flag 693000/13210029
1376.99/1370.24	c cleaning 37009 clauses out of 74019 with flag 731000/13248029
1379.92/1373.16	c cleaning 38002 clauses out of 76010 with flag 770000/13287029
1383.74/1376.90	c cleaning 38994 clauses out of 78008 with flag 810000/13327029
1387.27/1380.42	c cleaning 40003 clauses out of 80014 with flag 851000/13368029
1390.37/1383.50	c cleaning 41004 clauses out of 82011 with flag 893000/13410029
1394.18/1387.36	c cleaning 42000 clauses out of 84007 with flag 936000/13453029
1397.61/1390.73	c cleaning 42994 clauses out of 86011 with flag 980004/13497033
1401.23/1394.30	c cleaning 43996 clauses out of 88013 with flag 1025000/13542029
1405.16/1398.26	c cleaning 44997 clauses out of 90017 with flag 1071000/13588029
1408.39/1401.47	c cleaning 46001 clauses out of 92020 with flag 1118000/13635029
1412.89/1405.92	c cleaning 46998 clauses out of 94019 with flag 1166000/13683029
1417.11/1410.11	c cleaning 48003 clauses out of 96022 with flag 1215001/13732030
1421.63/1414.64	c cleaning 49000 clauses out of 98018 with flag 1265000/13782029
1425.65/1418.63	c cleaning 49997 clauses out of 100020 with flag 1316002/13833031
1430.87/1423.83	c cleaning 50998 clauses out of 102021 with flag 1368000/13885029
1436.88/1429.83	c cleaning 52005 clauses out of 104023 with flag 1421000/13938029
1441.99/1434.96	c cleaning 53000 clauses out of 106019 with flag 1475001/13992030
1447.49/1440.48	c cleaning 54005 clauses out of 108021 with flag 1530003/14047032
1452.83/1445.75	c cleaning 54994 clauses out of 110013 with flag 1586000/14103029
1459.14/1452.02	c cleaning 56002 clauses out of 112019 with flag 1643000/14160029
1463.94/1456.84	c cleaning 56999 clauses out of 114017 with flag 1701000/14218029
1471.15/1464.08	c cleaning 58000 clauses out of 116018 with flag 1760000/14277029
1479.17/1472.03	c cleaning 58997 clauses out of 118019 with flag 1820001/14337030
1486.08/1478.99	c cleaning 60009 clauses out of 120023 with flag 1881002/14398031
1493.89/1486.77	c cleaning 60995 clauses out of 122013 with flag 1943001/14460030
1501.50/1494.34	c cleaning 61997 clauses out of 124019 with flag 2006002/14523031
1509.44/1502.23	c cleaning 62994 clauses out of 126021 with flag 2070001/14587030
1519.04/1511.86	c cleaning 64001 clauses out of 128026 with flag 2135000/14652029
1529.65/1522.47	c cleaning 65003 clauses out of 130026 with flag 2201001/14718030
1537.97/1530.79	c cleaning 66000 clauses out of 132025 with flag 2268003/14785032
1548.20/1540.97	c cleaning 67005 clauses out of 134022 with flag 2336000/14853029
1559.42/1552.18	c cleaning 68000 clauses out of 136017 with flag 2405000/14922029
1570.62/1563.39	c cleaning 69001 clauses out of 138018 with flag 2475001/14992030
1579.74/1572.42	c cleaning 69995 clauses out of 140016 with flag 2546000/15063029
1587.56/1580.24	c cleaning 71002 clauses out of 142021 with flag 2618000/15135029
1593.87/1586.53	c cleaning 71999 clauses out of 144019 with flag 2691000/15208029
1599.28/1591.91	c cleaning 72998 clauses out of 146020 with flag 2765000/15282029
1606.23/1598.85	c cleaning 74006 clauses out of 148022 with flag 2840000/15357029
1612.15/1604.78	c cleaning 74998 clauses out of 150016 with flag 2916000/15433029
1617.88/1610.42	c cleaning 75999 clauses out of 152019 with flag 2993001/15510030
1623.70/1616.24	c cleaning 77000 clauses out of 154020 with flag 3071001/15588030
1629.72/1622.29	c cleaning 78006 clauses out of 156022 with flag 3150003/15667032
1636.77/1629.21	c cleaning 78997 clauses out of 158013 with flag 3230000/15747029
1642.89/1635.38	c cleaning 79983 clauses out of 160016 with flag 3311000/15828029
1648.62/1641.05	c cleaning 81008 clauses out of 162033 with flag 3393000/15910029
1653.52/1645.96	c cleaning 82009 clauses out of 164026 with flag 3476001/15993030
1660.54/1652.98	c cleaning 82998 clauses out of 166016 with flag 3560000/16077029
1667.46/1659.82	c cleaning 84003 clauses out of 168020 with flag 3645002/16162031
1678.57/1670.97	c cleaning 85000 clauses out of 170017 with flag 3731002/16248031
1688.98/1681.34	c cleaning 85998 clauses out of 172015 with flag 3818000/16335029
1700.91/1693.23	c cleaning 86998 clauses out of 174020 with flag 3906003/16423032
1714.74/1707.07	c cleaning 88004 clauses out of 176021 with flag 3995002/16512031
1726.77/1719.08	c cleaning 88996 clauses out of 178016 with flag 4085001/16602030
1736.00/1728.29	c cleaning 90003 clauses out of 180019 with flag 4176000/16693029
1747.52/1739.76	c cleaning 91000 clauses out of 182017 with flag 4268001/16785030
1759.15/1751.34	c cleaning 91995 clauses out of 184016 with flag 4361000/16878029
1770.66/1762.85	c cleaning 93002 clauses out of 186021 with flag 4455000/16972029
1783.49/1775.69	c cleaning 94002 clauses out of 188019 with flag 4550000/17067029
1795.83/1787.92	c cleaning 95005 clauses out of 190018 with flag 4646001/17163030
1800.06/1792.11	c starts		: 352
1800.06/1792.11	c conflicts		: 17211344
1800.06/1792.11	c decisions		: 24508022
1800.06/1792.11	c propagations		: 167835507
1800.06/1792.11	c inspects		: 20547431656
1800.06/1792.11	c shortcuts		: 0
1800.06/1792.11	c learnt literals	: 0
1800.06/1792.11	c learnt binary clauses	: 3
1800.06/1792.11	c learnt ternary clauses	: 5437
1800.06/1792.11	c learnt constraints	: 17211345
1800.06/1792.11	c ignored constraints	: 0
1800.06/1792.11	c root simplifications	: 0
1800.06/1792.11	c removed literals (reason simplification)	: 0
1800.06/1792.11	c reason swapping (by a shorter reason)	: 0
1800.06/1792.11	c Calls to reduceDB	: 318
1800.06/1792.11	c number of reductions to clauses (during analyze)	: 0
1800.06/1792.11	c number of learned constraints concerned by reduction	: 0
1800.06/1792.11	c number of learning phase by resolution	: 0
1800.06/1792.11	c number of learning phase by cutting planes	: 0
1800.06/1792.11	c speed (assignments/second)	: 93664.11442239383
1800.06/1792.11	c non guided choices	0
1800.06/1792.14	c learnt constraints type 
1800.06/1792.14	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3
1800.06/1792.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 143608
1800.06/1792.14	c constraints type 
1800.06/1792.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 614
1800.06/1792.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 103
1800.06/1792.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50
1800.06/1792.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 614
1800.06/1792.14	c 1381 constraints processed.
1800.06/1792.14	s SATISFIABLE
1800.06/1792.14	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 x23 -x24 x25 x26 -x27 -x28 -x29 -x30 x31 x32 -x33 -x34 x35 x36 x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 x77 -x78 x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 x94 x95 x96 -x97 -x98 x99 -x100 
1800.06/1792.14	c objective function=-13
1800.06/1792.14	c Total wall clock time (in seconds): 1792.03

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-3688771-1337888021/watcher-3688771-1337888021 -o /tmp/evaluation-result-3688771-1337888021/solver-3688771-1337888021 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688771-1337888021.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.09 2.03 3/194 13754
/proc/meminfo: memFree=27672044/32873844 swapFree=7364/7364
[pid=13754] ppid=13752 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/13754/stat : 13754 (java) D 13752 13754 12001 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254928186 9515008 182 33554432000 1073741824 1073778376 140737230201440 140737230192472 251032059573 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/13754/statm: 2323 182 140 9 0 71 0

[startup+0.0417869 s]
/proc/loadavg: 2.04 2.09 2.03 3/194 13754
/proc/meminfo: memFree=27672044/32873844 swapFree=7364/7364
[pid=13754] ppid=13752 vsize=9225560 CPUtime=0.01 cores=1,3,5,7
/proc/13754/stat : 13754 (java) S 13752 13754 12001 0 -1 4202496 2987 0 1 0 1 0 0 0 20 0 13 0 254928186 9446973440 3684 33554432000 1073741824 1073778376 140733538723280 140733538714416 251035418685 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13754/statm: 2306390 3684 1676 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560

[startup+0.100324 s]
/proc/loadavg: 2.04 2.09 2.03 3/194 13754
/proc/meminfo: memFree=27672044/32873844 swapFree=7364/7364
[pid=13754] ppid=13752 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/13754/stat : 13754 (java) S 13752 13754 12001 0 -1 4202496 4253 0 1 0 8 2 0 0 20 0 18 0 254928186 9787813888 5451 33554432000 1073741824 1073778376 140733538723280 140733538714416 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13754/statm: 2389603 5452 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300333 s]
/proc/loadavg: 2.04 2.09 2.03 3/194 13754
/proc/meminfo: memFree=27672044/32873844 swapFree=7364/7364
[pid=13754] ppid=13752 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/13754/stat : 13754 (java) S 13752 13754 12001 0 -1 4202496 6608 0 1 0 46 2 0 0 20 0 19 0 254928186 9855975424 8046 33554432000 1073741824 1073778376 140733538723280 140733538714416 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13754/statm: 2406244 8046 2224 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9624976

[startup+0.700295 s]
/proc/loadavg: 2.04 2.09 2.03 3/194 13754
/proc/meminfo: memFree=27672044/32873844 swapFree=7364/7364
[pid=13754] ppid=13752 vsize=9624976 CPUtime=1.09 cores=1,3,5,7
/proc/13754/stat : 13754 (java) S 13752 13754 12001 0 -1 4202496 7469 0 1 0 107 2 0 0 20 0 19 0 254928186 9855975424 10636 33554432000 1073741824 1073778376 140733538723280 140733538714416 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13754/statm: 2406244 10636 2266 9 0 2396937 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 9624976

[startup+1.50078 s]
/proc/loadavg: 2.04 2.09 2.03 3/213 13773
/proc/meminfo: memFree=27633528/32873844 swapFree=7364/7364
[pid=13754] ppid=13752 vsize=9624976 CPUtime=1.95 cores=1,3,5,7
/proc/13754/stat : 13754 (java) S 13752 13754 12001 0 -1 4202496 7495 0 1 0 193 2 0 0 20 0 19 0 254928186 9855975424 11681 33554432000 1073741824 1073778376 140733538723280 140733538714416 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13754/statm: 2406244 11681 2267 9 0 2396937 0
[pid=13754/tid=13756] ppid=13752 vsize=9624976 CPUtime=1.4 cores=1,3,5,7
/proc/13754/task/13756/stat : 13756 (java) R 13752 13754 12001 0 -1 4202560 2459 0 1 0 139 1 0 0 20 0 19 0 254928187 9855975424 11681 33554432000 1073741824 1073778376 140733538723280 140601977782520 140601811468784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13757] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13757/stat : 13757 (java) S 13752 13754 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 11681 33554432000 1073741824 1073778376 140733538723280 140601939274536 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13758] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13758/stat : 13758 (java) S 13752 13754 12001 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 11681 33554432000 1073741824 1073778376 140733538723280 140601938221736 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13754/tid=13759] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13759/stat : 13759 (java) S 13752 13754 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 11681 33554432000 1073741824 1073778376 140733538723280 140601937169448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13754/tid=13760] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13760/stat : 13760 (java) S 13752 13754 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 11681 33554432000 1073741824 1073778376 140733538723280 140601936116648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13761] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13761/stat : 13761 (java) S 13752 13754 12001 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 11681 33554432000 1073741824 1073778376 140733538723280 140601935063336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13754/tid=13762] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13762/stat : 13762 (java) S 13752 13754 12001 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 11681 33554432000 1073741824 1073778376 140733538723280 140601934010536 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13763] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13763/stat : 13763 (java) S 13752 13754 12001 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 11681 33554432000 1073741824 1073778376 140733538723280 140601932958248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13764] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13764/stat : 13764 (java) S 13752 13754 12001 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 11681 33554432000 1073741824 1073778376 140733538723280 140601931905448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13765] ppid=13752 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/13754/task/13765/stat : 13765 (java) S 13752 13754 12001 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 19 0 254928189 9855975424 11681 33554432000 1073741824 1073778376 140733538723280 140601801530088 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13766] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13766/stat : 13766 (java) S 13752 13754 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254928190 9855975424 11681 33554432000 1073741824 1073778376 140733538723280 140601800476152 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13767] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13767/stat : 13767 (java) S 13752 13754 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254928190 9855975424 11681 33554432000 1073741824 1073778376 140733538723280 140601799423752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13768] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13768/stat : 13768 (java) S 13752 13754 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254928192 9855975424 11681 33554432000 1073741824 1073778376 140733538723280 140601798372240 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13769] ppid=13752 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/13754/task/13769/stat : 13769 (java) S 13752 13754 12001 0 -1 4202560 1381 0 0 0 23 0 0 0 20 0 19 0 254928192 9855975424 11681 33554432000 1073741824 1073778376 140733538723280 140601797318840 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13770] ppid=13752 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/13754/task/13770/stat : 13770 (java) S 13752 13754 12001 0 -1 4202560 2396 0 0 0 20 0 0 0 20 0 19 0 254928192 9855975424 11681 33554432000 1073741824 1073778376 140733538723280 140601796266040 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13771] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13771/stat : 13771 (java) S 13752 13754 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254928192 9855975424 11681 33554432000 1073741824 1073778376 140733538723280 140600921811576 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13772] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13772/stat : 13772 (java) S 13752 13754 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254928192 9855975424 11681 33554432000 1073741824 1073778376 140733538723280 140600920758984 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13773] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13773/stat : 13773 (java) S 13752 13754 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254928209 9855975424 11681 33554432000 1073741824 1073778376 140733538723280 140600919705000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 9624976

[startup+3.10065 s]
/proc/loadavg: 2.04 2.09 2.03 3/213 13773
/proc/meminfo: memFree=27630860/32873844 swapFree=7364/7364
[pid=13754] ppid=13752 vsize=9624976 CPUtime=3.58 cores=1,3,5,7
/proc/13754/stat : 13754 (java) S 13752 13754 12001 0 -1 4202496 7525 0 1 0 355 3 0 0 20 0 19 0 254928186 9855975424 12726 33554432000 1073741824 1073778376 140733538723280 140733538714416 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13754/statm: 2406244 12726 2267 9 0 2396937 0
[pid=13754/tid=13756] ppid=13752 vsize=9624976 CPUtime=2.94 cores=1,3,5,7
/proc/13754/task/13756/stat : 13756 (java) R 13752 13754 12001 0 -1 4202560 2463 0 1 0 293 1 0 0 20 0 19 0 254928187 9855975424 12726 33554432000 1073741824 1073778376 140733538723280 140601977782680 140601811468552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13757] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13757/stat : 13757 (java) S 13752 13754 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 12726 33554432000 1073741824 1073778376 140733538723280 140601939274536 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13758] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13758/stat : 13758 (java) S 13752 13754 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 12726 33554432000 1073741824 1073778376 140733538723280 140601938221736 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13754/tid=13759] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13759/stat : 13759 (java) S 13752 13754 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 12726 33554432000 1073741824 1073778376 140733538723280 140601937169448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13760] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13760/stat : 13760 (java) S 13752 13754 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 12726 33554432000 1073741824 1073778376 140733538723280 140601936116648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13761] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13761/stat : 13761 (java) S 13752 13754 12001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 12726 33554432000 1073741824 1073778376 140733538723280 140601935063336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13754/tid=13762] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13762/stat : 13762 (java) S 13752 13754 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 12726 33554432000 1073741824 1073778376 140733538723280 140601934010536 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13763] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13763/stat : 13763 (java) S 13752 13754 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 12726 33554432000 1073741824 1073778376 140733538723280 140601932958248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13764] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13764/stat : 13764 (java) S 13752 13754 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 12726 33554432000 1073741824 1073778376 140733538723280 140601931905448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13765] ppid=13752 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/13754/task/13765/stat : 13765 (java) S 13752 13754 12001 0 -1 4202560 31 0 0 0 9 0 0 0 20 0 19 0 254928189 9855975424 12726 33554432000 1073741824 1073778376 140733538723280 140601801530088 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13766] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13766/stat : 13766 (java) S 13752 13754 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254928190 9855975424 12726 33554432000 1073741824 1073778376 140733538723280 140601800476152 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13767] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13767/stat : 13767 (java) S 13752 13754 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254928190 9855975424 12726 33554432000 1073741824 1073778376 140733538723280 140601799423752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13768] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13768/stat : 13768 (java) S 13752 13754 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254928192 9855975424 12726 33554432000 1073741824 1073778376 140733538723280 140601798372240 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13769] ppid=13752 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/13754/task/13769/stat : 13769 (java) S 13752 13754 12001 0 -1 4202560 1381 0 0 0 23 0 0 0 20 0 19 0 254928192 9855975424 12726 33554432000 1073741824 1073778376 140733538723280 140601797318840 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13770] ppid=13752 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/13754/task/13770/stat : 13770 (java) S 13752 13754 12001 0 -1 4202560 2396 0 0 0 21 0 0 0 20 0 19 0 254928192 9855975424 12726 33554432000 1073741824 1073778376 140733538723280 140601796266040 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13771] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13771/stat : 13771 (java) S 13752 13754 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254928192 9855975424 12726 33554432000 1073741824 1073778376 140733538723280 140600921811576 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13772] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13772/stat : 13772 (java) S 13752 13754 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254928192 9855975424 12726 33554432000 1073741824 1073778376 140733538723280 140600920758984 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13773] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13773/stat : 13773 (java) S 13752 13754 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254928209 9855975424 12726 33554432000 1073741824 1073778376 140733538723280 140600919705000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 9624976

[startup+6.30069 s]
/proc/loadavg: 2.03 2.09 2.03 3/212 13773
/proc/meminfo: memFree=27626764/32873844 swapFree=7364/7364
[pid=13754] ppid=13752 vsize=9624976 CPUtime=6.83 cores=1,3,5,7
/proc/13754/stat : 13754 (java) S 13752 13754 12001 0 -1 4202496 7567 0 1 0 680 3 0 0 20 0 19 0 254928186 9855975424 13614 33554432000 1073741824 1073778376 140733538723280 140733538714416 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13754/statm: 2406244 13614 2267 9 0 2396937 0
[pid=13754/tid=13756] ppid=13752 vsize=9624976 CPUtime=6.03 cores=1,3,5,7
/proc/13754/task/13756/stat : 13756 (java) R 13752 13754 12001 0 -1 4202560 2469 0 1 0 602 1 0 0 20 0 19 0 254928187 9855975424 13614 33554432000 1073741824 1073778376 140733538723280 140601977782560 140601811532819 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13757] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13757/stat : 13757 (java) S 13752 13754 12001 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 13614 33554432000 1073741824 1073778376 140733538723280 140601939274536 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13758] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13758/stat : 13758 (java) S 13752 13754 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 13614 33554432000 1073741824 1073778376 140733538723280 140601938221736 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13759] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13759/stat : 13759 (java) S 13752 13754 12001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 13614 33554432000 1073741824 1073778376 140733538723280 140601937169448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13754/tid=13760] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13760/stat : 13760 (java) S 13752 13754 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 13614 33554432000 1073741824 1073778376 140733538723280 140601936116648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13761] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13761/stat : 13761 (java) S 13752 13754 12001 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 13614 33554432000 1073741824 1073778376 140733538723280 140601935063336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13762] ppid=13752 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/13754/task/13762/stat : 13762 (java) S 13752 13754 12001 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 19 0 254928188 9855975424 13614 33554432000 1073741824 1073778376 140733538723280 140601934010536 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13763] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13763/stat : 13763 (java) S 13752 13754 12001 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 13614 33554432000 1073741824 1073778376 140733538723280 140601932958248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13764] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13764/stat : 13764 (java) S 13752 13754 12001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254928188 9855975424 13614 33554432000 1073741824 1073778376 140733538723280 140601931905448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13765] ppid=13752 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/13754/task/13765/stat : 13765 (java) S 13752 13754 12001 0 -1 4202560 32 0 0 0 17 0 0 0 20 0 19 0 254928189 9855975424 13614 33554432000 1073741824 1073778376 140733538723280 140601801530088 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13766] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13766/stat : 13766 (java) S 13752 13754 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254928190 9855975424 13614 33554432000 1073741824 1073778376 140733538723280 140601800476152 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13767] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13767/stat : 13767 (java) S 13752 13754 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254928190 9855975424 13614 33554432000 1073741824 1073778376 140733538723280 140601799423752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13768] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13768/stat : 13768 (java) S 13752 13754 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254928192 9855975424 13614 33554432000 1073741824 1073778376 140733538723280 140601798372240 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13769] ppid=13752 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/13754/task/13769/stat : 13769 (java) S 13752 13754 12001 0 -1 4202560 1381 0 0 0 23 0 0 0 20 0 19 0 254928192 9855975424 13614 33554432000 1073741824 1073778376 140733538723280 140601797318840 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13770] ppid=13752 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/13754/task/13770/stat : 13770 (java) S 13752 13754 12001 0 -1 4202560 2396 0 0 0 22 0 0 0 20 0 19 0 254928192 9855975424 13614 33554432000 1073741824 1073778376 140733538723280 140601796266040 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13771] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13771/stat : 13771 (java) S 13752 13754 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254928192 9855975424 13614 33554432000 1073741824 1073778376 140733538723280 140600921811576 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13772] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13772/stat : 13772 (java) S 13752 13754 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254928192 9855975424 13614 33554432000 1073741824 1073778376 140733538723280 140600920758984 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13773] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13773/stat : 13773 (java) S 13752 13754 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254928209 9855975424 13614 33554432000 1073741824 1073778376 140733538723280 140600919705000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.83
Current children cumulated vsize (KiB) 9624976

[startup+12.7008 s]

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

[pid=13754/tid=13762] ppid=13752 vsize=9624976 CPUtime=1.18 cores=1,3,5,7
/proc/13754/task/13762/stat : 13762 (java) S 13752 13754 12001 0 -1 4202560 262 0 0 0 116 2 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601934010536 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13754/tid=13763] ppid=13752 vsize=9624976 CPUtime=1.2 cores=1,3,5,7
/proc/13754/task/13763/stat : 13763 (java) S 13752 13754 12001 0 -1 4202560 220 0 0 0 117 3 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601932958248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13764] ppid=13752 vsize=9624976 CPUtime=1.31 cores=1,3,5,7
/proc/13754/task/13764/stat : 13764 (java) S 13752 13754 12001 0 -1 4202560 341 0 0 0 129 2 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601931905448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13765] ppid=13752 vsize=9624976 CPUtime=12.9 cores=1,3,5,7
/proc/13754/task/13765/stat : 13765 (java) S 13752 13754 12001 0 -1 4202560 150 0 0 0 1284 6 0 0 20 0 19 0 254928189 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601801530088 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13766] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13766/stat : 13766 (java) S 13752 13754 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254928190 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601800476152 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13767] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13767/stat : 13767 (java) S 13752 13754 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254928190 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601799423752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13768] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13768/stat : 13768 (java) S 13752 13754 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601798372240 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13769] ppid=13752 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/13754/task/13769/stat : 13769 (java) S 13752 13754 12001 0 -1 4202560 1381 0 0 0 23 0 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601797318840 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13770] ppid=13752 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/13754/task/13770/stat : 13770 (java) S 13752 13754 12001 0 -1 4202560 2502 0 0 0 23 0 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601796266040 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13771] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13771/stat : 13771 (java) S 13752 13754 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140600921811576 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13772] ppid=13752 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/13754/task/13772/stat : 13772 (java) S 13752 13754 12001 0 -1 4202560 99 0 0 0 26 35 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140600920758984 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13773] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13773/stat : 13773 (java) S 13752 13754 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254928209 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140600919705000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1730.1
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 13871
/proc/meminfo: memFree=27418448/32873844 swapFree=7364/7364
[pid=13754] ppid=13752 vsize=9624976 CPUtime=1790.23 cores=1,3,5,7
/proc/13754/stat : 13754 (java) S 13752 13754 12001 0 -1 4202496 10494 0 1 0 178937 86 0 0 20 0 19 0 254928186 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140733538714416 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13754/statm: 2406244 47508 2268 9 0 2396937 0
[pid=13754/tid=13756] ppid=13752 vsize=9624976 CPUtime=1765.57 cores=1,3,5,7
/proc/13754/task/13756/stat : 13756 (java) R 13752 13754 12001 0 -1 4202560 2792 0 1 0 176524 33 0 0 20 0 19 0 254928187 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601977782560 140601811505608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13757] ppid=13752 vsize=9624976 CPUtime=1.29 cores=1,3,5,7
/proc/13754/task/13757/stat : 13757 (java) S 13752 13754 12001 0 -1 4202560 281 0 0 0 126 3 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601939274536 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13758] ppid=13752 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/13754/task/13758/stat : 13758 (java) S 13752 13754 12001 0 -1 4202560 365 0 0 0 127 3 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601938221736 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13759] ppid=13752 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/13754/task/13759/stat : 13759 (java) S 13752 13754 12001 0 -1 4202560 270 0 0 0 121 3 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601937169448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13754/tid=13760] ppid=13752 vsize=9624976 CPUtime=1.28 cores=1,3,5,7
/proc/13754/task/13760/stat : 13760 (java) S 13752 13754 12001 0 -1 4202560 371 0 0 0 126 2 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601936116648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13761] ppid=13752 vsize=9624976 CPUtime=1.36 cores=1,3,5,7
/proc/13754/task/13761/stat : 13761 (java) S 13752 13754 12001 0 -1 4202560 271 0 0 0 134 2 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601935063336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13762] ppid=13752 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/13754/task/13762/stat : 13762 (java) S 13752 13754 12001 0 -1 4202560 262 0 0 0 119 2 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601934010536 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13754/tid=13763] ppid=13752 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/13754/task/13763/stat : 13763 (java) S 13752 13754 12001 0 -1 4202560 220 0 0 0 120 3 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601932958248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13764] ppid=13752 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/13754/task/13764/stat : 13764 (java) S 13752 13754 12001 0 -1 4202560 341 0 0 0 131 2 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601931905448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13765] ppid=13752 vsize=9624976 CPUtime=13.21 cores=1,3,5,7
/proc/13754/task/13765/stat : 13765 (java) S 13752 13754 12001 0 -1 4202560 154 0 0 0 1315 6 0 0 20 0 19 0 254928189 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601801530088 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13766] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13766/stat : 13766 (java) S 13752 13754 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254928190 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601800476152 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13767] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13767/stat : 13767 (java) S 13752 13754 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254928190 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601799423752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13768] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13768/stat : 13768 (java) S 13752 13754 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601798372240 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13769] ppid=13752 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/13754/task/13769/stat : 13769 (java) S 13752 13754 12001 0 -1 4202560 1381 0 0 0 23 0 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601797318840 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13770] ppid=13752 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/13754/task/13770/stat : 13770 (java) S 13752 13754 12001 0 -1 4202560 2502 0 0 0 23 0 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601796266040 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13771] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13771/stat : 13771 (java) S 13752 13754 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140600921811576 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13772] ppid=13752 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/13754/task/13772/stat : 13772 (java) S 13752 13754 12001 0 -1 4202560 103 0 0 0 27 36 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140600920758984 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13773] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13773/stat : 13773 (java) S 13752 13754 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254928209 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140600919705000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1790.23
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 13871
/proc/meminfo: memFree=27418820/32873844 swapFree=7364/7364
[pid=13754] ppid=13752 vsize=9624976 CPUtime=1800.06 cores=1,3,5,7
/proc/13754/stat : 13754 (java) S 13752 13754 12001 0 -1 4202496 10495 0 1 0 179920 86 0 0 20 0 19 0 254928186 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140733538714416 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13754/statm: 2406244 47508 2268 9 0 2396937 0
[pid=13754/tid=13756] ppid=13752 vsize=9624976 CPUtime=1775.31 cores=1,3,5,7
/proc/13754/task/13756/stat : 13756 (java) R 13752 13754 12001 0 -1 4202560 2793 0 1 0 177498 33 0 0 20 0 19 0 254928187 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601977782560 140601811513648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13757] ppid=13752 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/13754/task/13757/stat : 13757 (java) S 13752 13754 12001 0 -1 4202560 281 0 0 0 127 3 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601939274536 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13758] ppid=13752 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/13754/task/13758/stat : 13758 (java) S 13752 13754 12001 0 -1 4202560 365 0 0 0 127 3 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601938221736 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13759] ppid=13752 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/13754/task/13759/stat : 13759 (java) S 13752 13754 12001 0 -1 4202560 270 0 0 0 121 3 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601937169448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13754/tid=13760] ppid=13752 vsize=9624976 CPUtime=1.29 cores=1,3,5,7
/proc/13754/task/13760/stat : 13760 (java) S 13752 13754 12001 0 -1 4202560 371 0 0 0 127 2 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601936116648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13761] ppid=13752 vsize=9624976 CPUtime=1.37 cores=1,3,5,7
/proc/13754/task/13761/stat : 13761 (java) S 13752 13754 12001 0 -1 4202560 271 0 0 0 135 2 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601935063336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13762] ppid=13752 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/13754/task/13762/stat : 13762 (java) S 13752 13754 12001 0 -1 4202560 262 0 0 0 120 2 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601934010536 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13754/tid=13763] ppid=13752 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/13754/task/13763/stat : 13763 (java) S 13752 13754 12001 0 -1 4202560 220 0 0 0 120 3 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601932958248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13764] ppid=13752 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/13754/task/13764/stat : 13764 (java) S 13752 13754 12001 0 -1 4202560 341 0 0 0 131 2 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601931905448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13765] ppid=13752 vsize=9624976 CPUtime=13.27 cores=1,3,5,7
/proc/13754/task/13765/stat : 13765 (java) S 13752 13754 12001 0 -1 4202560 154 0 0 0 1321 6 0 0 20 0 19 0 254928189 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601801530088 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13766] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13766/stat : 13766 (java) S 13752 13754 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254928190 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601800476152 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13767] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13767/stat : 13767 (java) S 13752 13754 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254928190 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601799423752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13768] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13768/stat : 13768 (java) S 13752 13754 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601798372240 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13769] ppid=13752 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/13754/task/13769/stat : 13769 (java) S 13752 13754 12001 0 -1 4202560 1381 0 0 0 23 0 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601797318840 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13770] ppid=13752 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/13754/task/13770/stat : 13770 (java) S 13752 13754 12001 0 -1 4202560 2502 0 0 0 23 0 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601796266040 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13771] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13771/stat : 13771 (java) S 13752 13754 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140600921811576 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13772] ppid=13752 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/13754/task/13772/stat : 13772 (java) S 13752 13754 12001 0 -1 4202560 103 0 0 0 27 36 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140600920758984 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13773] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13773/stat : 13773 (java) S 13752 13754 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254928209 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140600919705000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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+1792.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 13871
/proc/meminfo: memFree=27418820/32873844 swapFree=7364/7364
[pid=13754] ppid=13752 vsize=9624976 CPUtime=1800.06 cores=1,3,5,7
/proc/13754/stat : 13754 (java) S 13752 13754 12001 0 -1 4202496 10495 0 1 0 179920 86 0 0 20 0 19 0 254928186 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140733538714416 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13754/statm: 2406244 47508 2268 9 0 2396937 0
[pid=13754/tid=13756] ppid=13752 vsize=9624976 CPUtime=1775.31 cores=1,3,5,7
/proc/13754/task/13756/stat : 13756 (java) R 13752 13754 12001 0 -1 4202560 2793 0 1 0 177498 33 0 0 20 0 19 0 254928187 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601977782560 140601811513648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13757] ppid=13752 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/13754/task/13757/stat : 13757 (java) S 13752 13754 12001 0 -1 4202560 281 0 0 0 127 3 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601939274536 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13758] ppid=13752 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/13754/task/13758/stat : 13758 (java) S 13752 13754 12001 0 -1 4202560 365 0 0 0 127 3 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601938221736 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13759] ppid=13752 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/13754/task/13759/stat : 13759 (java) S 13752 13754 12001 0 -1 4202560 270 0 0 0 121 3 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601937169448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13754/tid=13760] ppid=13752 vsize=9624976 CPUtime=1.29 cores=1,3,5,7
/proc/13754/task/13760/stat : 13760 (java) S 13752 13754 12001 0 -1 4202560 371 0 0 0 127 2 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601936116648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13761] ppid=13752 vsize=9624976 CPUtime=1.37 cores=1,3,5,7
/proc/13754/task/13761/stat : 13761 (java) S 13752 13754 12001 0 -1 4202560 271 0 0 0 135 2 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601935063336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13762] ppid=13752 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/13754/task/13762/stat : 13762 (java) S 13752 13754 12001 0 -1 4202560 262 0 0 0 120 2 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601934010536 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13754/tid=13763] ppid=13752 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/13754/task/13763/stat : 13763 (java) S 13752 13754 12001 0 -1 4202560 220 0 0 0 120 3 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601932958248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13764] ppid=13752 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/13754/task/13764/stat : 13764 (java) S 13752 13754 12001 0 -1 4202560 341 0 0 0 131 2 0 0 20 0 19 0 254928188 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601931905448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13765] ppid=13752 vsize=9624976 CPUtime=13.27 cores=1,3,5,7
/proc/13754/task/13765/stat : 13765 (java) S 13752 13754 12001 0 -1 4202560 154 0 0 0 1321 6 0 0 20 0 19 0 254928189 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601801530088 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13766] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13766/stat : 13766 (java) S 13752 13754 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254928190 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601800476152 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13767] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13767/stat : 13767 (java) S 13752 13754 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254928190 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601799423752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13768] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13768/stat : 13768 (java) S 13752 13754 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601798372240 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13769] ppid=13752 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/13754/task/13769/stat : 13769 (java) S 13752 13754 12001 0 -1 4202560 1381 0 0 0 23 0 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601797318840 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13754/tid=13770] ppid=13752 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/13754/task/13770/stat : 13770 (java) S 13752 13754 12001 0 -1 4202560 2502 0 0 0 23 0 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140601796266040 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13771] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13771/stat : 13771 (java) S 13752 13754 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140600921811576 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13754/tid=13772] ppid=13752 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/13754/task/13772/stat : 13772 (java) S 13752 13754 12001 0 -1 4202560 103 0 0 0 27 36 0 0 20 0 19 0 254928192 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140600920758984 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13754/tid=13773] ppid=13752 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13754/task/13773/stat : 13773 (java) S 13752 13754 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254928209 9855975424 47508 33554432000 1073741824 1073778376 140733538723280 140600919705000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976

Child status: 143
Real time (s): 1792.15
CPU time (s): 1800.31
CPU user time (s): 1799.22
CPU system time (s): 1.09283
CPU usage (%): 100.455
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 1.09283
maximum resident set size= 190192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10538
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46685
involuntary context switches= 49318

runsolver used 6.36203 second user time and 15.4307 second system time

The end

Launcher Data 

Begin job on node118 at 2012-05-24 21:33:41
IDJOB=3688771
IDBENCH=48277
IDSOLVER=2269
FILE ID=node118/3688771-1337888021
RUNJOBID= node118-1337871881-12018
PBS_JOBID= 14620086
Free space on /tmp= 71668 MiB

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

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

MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0
RANDOM SEED=1535735904

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27672308 kB
Buffers:          217772 kB
Cached:          3946624 kB
SwapCached:            0 kB
Active:           694412 kB
Inactive:        3736296 kB
Active(anon):     267676 kB
Inactive(anon):        0 kB
Active(file):     426736 kB
Inactive(file):  3736296 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               444 kB
Writeback:             0 kB
AnonPages:        274148 kB
Mapped:            22532 kB
Shmem:               200 kB
Slab:             630632 kB
SReclaimable:      72920 kB
SUnreclaim:       557712 kB
KernelStack:        1608 kB
PageTables:         4428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     697272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 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= 71668 MiB
End job on node118 at 2012-05-24 22:03:35