Trace number 3687817

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)23 1800.72 1793.85

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
MD5SUM4b56e6775cc4a081c8696ef0fa81b784
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark0.076988
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 20
Optimality of the best value was proved YES
Number of variables81
Total number of constraints81
Number of constraints which are clauses81
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 81
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 81
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 81
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.08	c version 2.3.2.v20120418
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		501472288
0.06/0.08	c Max memory 		7480803328
0.06/0.08	c Total memory 		504102912
0.06/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3687817-1337875535.opb
0.10/0.10	c reading problem ... 
0.10/0.13	c ... done. Wall clock time 0.025s.
0.10/0.13	c declared #vars     81
0.10/0.13	c #constraints  81
0.10/0.13	c constraints type 
0.10/0.13	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 81
0.10/0.13	c 81 constraints processed.
0.10/0.13	c objective function length is 81 literals
0.10/0.13	c SATISFIABLE
0.10/0.13	c OPTIMIZING...
0.10/0.13	c Got one! Elapsed wall clock time (in seconds):0.029
0.10/0.13	o 27
0.10/0.14	c Got one! Elapsed wall clock time (in seconds):0.035
0.10/0.14	o 26
0.48/0.36	c cleaning 2506 clauses out of 5012 with flag 5001/5012
0.93/0.51	c cleaning 4252 clauses out of 8505 with flag 11000/11011
1.04/0.66	c cleaning 5627 clauses out of 11253 with flag 18000/18011
1.25/0.83	c cleaning 6810 clauses out of 13627 with flag 26001/26012
1.49/1.02	c cleaning 7906 clauses out of 15816 with flag 35000/35011
1.69/1.25	c cleaning 8954 clauses out of 17911 with flag 45001/45012
2.00/1.51	c cleaning 9977 clauses out of 19957 with flag 56001/56012
2.31/1.81	c cleaning 10987 clauses out of 21981 with flag 68002/68013
2.42/1.94	c Got one! Elapsed wall clock time (in seconds):1.837
2.42/1.94	o 25
2.62/2.13	c cleaning 11529 clauses out of 23064 with flag 5000/80083
2.82/2.33	c cleaning 8766 clauses out of 17535 with flag 11000/86083
3.02/2.52	c cleaning 7885 clauses out of 15769 with flag 18000/93083
3.22/2.74	c cleaning 7942 clauses out of 15886 with flag 26002/101085
3.53/3.00	c cleaning 8471 clauses out of 16943 with flag 35001/110084
3.73/3.26	c cleaning 9233 clauses out of 18471 with flag 45000/120083
4.03/3.52	c cleaning 10116 clauses out of 20238 with flag 56000/131083
4.35/3.85	c cleaning 11056 clauses out of 22122 with flag 68000/143083
4.65/4.13	c cleaning 12031 clauses out of 24066 with flag 81000/156083
4.96/4.49	c cleaning 13014 clauses out of 26036 with flag 95001/170084
5.36/4.88	c cleaning 14009 clauses out of 28022 with flag 110001/185084
5.86/5.39	c cleaning 15003 clauses out of 30014 with flag 126002/201085
6.46/5.91	c cleaning 16001 clauses out of 32010 with flag 143001/218084
6.86/6.37	c cleaning 17002 clauses out of 34009 with flag 161001/236084
7.36/6.86	c cleaning 18002 clauses out of 36006 with flag 180000/255083
7.96/7.41	c cleaning 19003 clauses out of 38007 with flag 200003/275086
8.46/8.00	c cleaning 19999 clauses out of 40001 with flag 221000/296083
9.27/8.72	c cleaning 20999 clauses out of 42005 with flag 243003/318086
9.97/9.42	c cleaning 22000 clauses out of 44003 with flag 266000/341083
10.68/10.18	c cleaning 23002 clauses out of 46004 with flag 290001/365084
11.58/11.02	c cleaning 24000 clauses out of 48003 with flag 315002/390085
12.29/11.78	c cleaning 24992 clauses out of 50001 with flag 341000/416083
13.11/12.55	c cleaning 26003 clauses out of 52010 with flag 368001/443084
14.21/13.62	c cleaning 27003 clauses out of 54006 with flag 396000/471083
15.31/14.77	c cleaning 28000 clauses out of 56003 with flag 425000/500083
16.72/16.13	c cleaning 29000 clauses out of 58005 with flag 455002/530085
17.93/17.34	c cleaning 30002 clauses out of 60007 with flag 486004/561087
19.14/18.58	c cleaning 31000 clauses out of 62003 with flag 518002/593085
20.35/19.76	c cleaning 31994 clauses out of 64001 with flag 551000/626083
21.56/20.97	c cleaning 32996 clauses out of 66007 with flag 585000/660083
22.78/22.16	c cleaning 34002 clauses out of 68011 with flag 620000/695083
23.98/23.31	c cleaning 35001 clauses out of 70009 with flag 656000/731083
25.19/24.51	c cleaning 36000 clauses out of 72009 with flag 693001/768084
26.50/25.82	c cleaning 36998 clauses out of 74008 with flag 731000/806083
27.82/27.11	c cleaning 38002 clauses out of 76010 with flag 770000/845083
29.13/28.47	c cleaning 39001 clauses out of 78008 with flag 810000/885083
30.66/29.90	c cleaning 39997 clauses out of 80007 with flag 851000/926083
32.17/31.44	c cleaning 41004 clauses out of 82010 with flag 893000/968083
33.68/32.96	c cleaning 42000 clauses out of 84006 with flag 936000/1011083
35.39/34.60	c cleaning 42995 clauses out of 86006 with flag 980000/1055083
36.79/36.03	c cleaning 44001 clauses out of 88012 with flag 1025001/1100084
38.20/37.49	c cleaning 45000 clauses out of 90010 with flag 1071000/1146083
40.00/39.22	c cleaning 45998 clauses out of 92010 with flag 1118000/1193083
41.83/41.05	c cleaning 47004 clauses out of 94012 with flag 1166000/1241083
43.83/43.04	c cleaning 48001 clauses out of 96008 with flag 1215000/1290083
45.85/45.02	c cleaning 48997 clauses out of 98007 with flag 1265000/1340083
47.76/46.92	c cleaning 49999 clauses out of 100010 with flag 1316000/1391083
49.89/49.02	c cleaning 51001 clauses out of 102011 with flag 1368000/1443083
52.11/51.26	c cleaning 52000 clauses out of 104010 with flag 1421000/1496083
54.53/53.68	c cleaning 53002 clauses out of 106010 with flag 1475000/1550083
57.06/56.11	c cleaning 54000 clauses out of 108009 with flag 1530001/1605084
59.45/58.55	c cleaning 54997 clauses out of 110008 with flag 1586000/1661083
62.47/61.52	c cleaning 56001 clauses out of 112011 with flag 1643000/1718083
65.49/64.58	c cleaning 56999 clauses out of 114010 with flag 1701000/1776083
68.51/67.59	c cleaning 58003 clauses out of 116011 with flag 1760000/1835083
71.42/70.46	c cleaning 59000 clauses out of 118009 with flag 1820001/1895084
74.34/73.34	c cleaning 60000 clauses out of 120008 with flag 1881000/1956083
77.15/76.15	c cleaning 60999 clauses out of 122008 with flag 1943000/2018083
79.99/78.97	c cleaning 61999 clauses out of 124009 with flag 2006000/2081083
82.99/81.97	c cleaning 63003 clauses out of 126010 with flag 2070000/2145083
86.22/85.12	c cleaning 64003 clauses out of 128007 with flag 2135000/2210083
89.54/88.40	c cleaning 65000 clauses out of 130004 with flag 2201000/2276083
92.45/91.35	c cleaning 65995 clauses out of 132004 with flag 2268000/2343083
95.85/94.79	c cleaning 67001 clauses out of 134009 with flag 2336000/2411083
98.86/97.74	c cleaning 68002 clauses out of 136009 with flag 2405001/2480084
101.97/100.85	c cleaning 69001 clauses out of 138006 with flag 2475000/2550083
105.19/104.03	c cleaning 70002 clauses out of 140005 with flag 2546000/2621083
108.51/107.32	c cleaning 70999 clauses out of 142005 with flag 2618002/2693085
112.53/111.36	c cleaning 72002 clauses out of 144005 with flag 2691001/2766084
116.46/115.20	c cleaning 73000 clauses out of 146002 with flag 2765000/2840083
120.80/119.53	c cleaning 74001 clauses out of 148003 with flag 2840001/2915084
125.12/123.89	c cleaning 74998 clauses out of 150001 with flag 2916000/2991083
128.74/127.49	c cleaning 75998 clauses out of 152006 with flag 2993003/3068086
132.56/131.21	c cleaning 77001 clauses out of 154005 with flag 3071000/3146083
136.38/135.04	c cleaning 77997 clauses out of 156004 with flag 3150000/3225083
140.10/138.79	c cleaning 79000 clauses out of 158007 with flag 3230000/3305083
144.84/143.42	c cleaning 79998 clauses out of 160008 with flag 3311001/3386084
148.87/147.47	c cleaning 81003 clauses out of 162010 with flag 3393001/3468084
153.08/151.70	c cleaning 81999 clauses out of 164006 with flag 3476000/3551083
157.63/156.18	c cleaning 83003 clauses out of 166008 with flag 3560001/3635084
162.83/161.33	c cleaning 83999 clauses out of 168004 with flag 3645000/3720083
167.77/166.29	c cleaning 84999 clauses out of 170005 with flag 3731000/3806083
172.99/171.47	c cleaning 85998 clauses out of 172007 with flag 3818001/3893084
178.11/176.55	c cleaning 87004 clauses out of 174009 with flag 3906001/3981084
183.43/181.84	c cleaning 88000 clauses out of 176004 with flag 3995000/4070083
188.75/187.13	c cleaning 89000 clauses out of 178006 with flag 4085002/4160085
194.39/192.77	c cleaning 90000 clauses out of 180004 with flag 4176000/4251083
200.13/198.45	c cleaning 90996 clauses out of 182004 with flag 4268000/4343083
206.26/204.56	c cleaning 91999 clauses out of 184008 with flag 4361000/4436083
211.99/210.22	c cleaning 93002 clauses out of 186010 with flag 4455001/4530084
217.50/215.76	c cleaning 94002 clauses out of 188009 with flag 4550002/4625085
223.32/221.52	c cleaning 95003 clauses out of 190006 with flag 4646001/4721084
229.66/227.86	c cleaning 95999 clauses out of 192002 with flag 4743000/4818083
236.09/234.27	c cleaning 96994 clauses out of 194003 with flag 4841000/4916083
241.92/240.02	c cleaning 97998 clauses out of 196009 with flag 4940000/5015083
249.04/247.11	c cleaning 99003 clauses out of 198011 with flag 5040000/5115083
256.31/254.37	c cleaning 99999 clauses out of 200009 with flag 5141001/5216084
263.05/261.00	c cleaning 101001 clauses out of 202010 with flag 5243001/5318084
270.55/268.51	c cleaning 101998 clauses out of 204008 with flag 5346000/5421083
278.69/276.66	c cleaning 103000 clauses out of 206010 with flag 5450000/5525083
286.30/284.22	c cleaning 104001 clauses out of 208012 with flag 5555002/5630085
293.84/291.79	c cleaning 105002 clauses out of 210009 with flag 5661000/5736083
301.78/299.61	c cleaning 105999 clauses out of 212008 with flag 5768001/5843084
309.60/307.46	c cleaning 106999 clauses out of 214009 with flag 5876001/5951084
317.52/315.30	c cleaning 108000 clauses out of 216009 with flag 5985000/6060083
324.94/322.77	c cleaning 108999 clauses out of 218011 with flag 6095002/6170085
332.85/330.60	c cleaning 110002 clauses out of 220011 with flag 6206001/6281084
340.47/338.29	c cleaning 111000 clauses out of 222008 with flag 6318000/6393083
348.48/346.23	c cleaning 112003 clauses out of 224009 with flag 6431001/6506084
357.20/354.93	c cleaning 112997 clauses out of 226006 with flag 6545001/6620084
365.40/363.16	c cleaning 114000 clauses out of 228009 with flag 6660001/6735084
373.85/371.55	c cleaning 114999 clauses out of 230008 with flag 6776000/6851083
382.07/379.77	c cleaning 115998 clauses out of 232009 with flag 6893000/6968083
390.99/388.70	c cleaning 117000 clauses out of 234011 with flag 7011000/7086083
400.31/397.95	c cleaning 117997 clauses out of 236012 with flag 7130001/7205084
409.75/407.30	c cleaning 119002 clauses out of 238016 with flag 7250002/7325085
419.37/416.95	c cleaning 119999 clauses out of 240013 with flag 7371001/7446084
431.61/429.14	c cleaning 121002 clauses out of 242014 with flag 7493001/7568084
444.25/441.74	c cleaning 122002 clauses out of 244011 with flag 7616000/7691083
456.27/453.71	c cleaning 123003 clauses out of 246010 with flag 7740001/7815084
468.39/465.82	c cleaning 123996 clauses out of 248006 with flag 7865000/7940083
479.90/477.32	c cleaning 125003 clauses out of 250010 with flag 7991000/8066083
489.23/486.62	c cleaning 125999 clauses out of 252007 with flag 8118000/8193083
500.14/497.57	c cleaning 127001 clauses out of 254010 with flag 8246002/8321085
510.54/507.97	c cleaning 127995 clauses out of 256008 with flag 8375001/8450084
521.88/519.24	c cleaning 129005 clauses out of 258013 with flag 8505001/8580084
533.90/531.26	c cleaning 130002 clauses out of 260008 with flag 8636001/8711084
546.43/543.77	c cleaning 131000 clauses out of 262005 with flag 8768000/8843083
558.55/555.88	c cleaning 131997 clauses out of 264006 with flag 8901001/8976084
571.18/568.49	c cleaning 133002 clauses out of 266009 with flag 9035001/9110084
585.29/582.59	c cleaning 133999 clauses out of 268007 with flag 9170001/9245084
598.34/595.52	c cleaning 134999 clauses out of 270007 with flag 9306000/9381083
610.56/607.78	c cleaning 135999 clauses out of 272009 with flag 9443001/9518084
617.48/614.60	c Got one! Elapsed wall clock time (in seconds):614.496
617.48/614.60	o 24
620.68/617.86	c cleaning 129752 clauses out of 259508 with flag 5000/9641582
621.91/619.01	c cleaning 67875 clauses out of 135756 with flag 11000/9647582
622.33/619.44	c cleaning 37440 clauses out of 74881 with flag 18000/9654582
622.63/619.71	c cleaning 22719 clauses out of 45441 with flag 26000/9662582
622.84/619.92	c cleaning 15859 clauses out of 31722 with flag 35000/9671582
623.04/620.13	c cleaning 12931 clauses out of 25865 with flag 45002/9681584
623.27/620.37	c cleaning 11963 clauses out of 23932 with flag 56000/9692582
623.61/620.65	c cleaning 11980 clauses out of 23970 with flag 68001/9704583
623.93/620.95	c cleaning 12489 clauses out of 24989 with flag 81000/9717582
624.23/621.29	c cleaning 13246 clauses out of 26500 with flag 95000/9731582
624.64/621.67	c cleaning 14123 clauses out of 28255 with flag 110001/9746583
625.06/622.08	c cleaning 15060 clauses out of 30132 with flag 126001/9762583
625.57/622.51	c cleaning 16033 clauses out of 32071 with flag 143000/9779582
626.09/623.03	c cleaning 17015 clauses out of 34038 with flag 161000/9797582
626.61/623.56	c cleaning 18006 clauses out of 36023 with flag 180000/9816582
627.24/624.20	c cleaning 18996 clauses out of 38017 with flag 200000/9836582
627.96/624.88	c cleaning 19999 clauses out of 40022 with flag 221001/9857583
628.77/625.64	c cleaning 21006 clauses out of 42023 with flag 243001/9879583
629.59/626.43	c cleaning 22003 clauses out of 44016 with flag 266000/9902582
629.81/626.61	c Got one! Elapsed wall clock time (in seconds):626.51
629.81/626.61	o 23
630.01/626.82	c cleaning 17022 clauses out of 34052 with flag 5001/9914621
630.12/626.99	c cleaning 11510 clauses out of 23030 with flag 11001/9920621
630.33/627.15	c cleaning 9255 clauses out of 18519 with flag 18000/9927620
630.55/627.31	c cleaning 8623 clauses out of 17264 with flag 26000/9935620
630.67/627.48	c cleaning 8807 clauses out of 17641 with flag 35000/9944620
630.89/627.68	c cleaning 9409 clauses out of 18834 with flag 45000/9954620
631.09/627.89	c cleaning 10209 clauses out of 20425 with flag 56000/9965620
631.40/628.17	c cleaning 11105 clauses out of 22216 with flag 68000/9977620
631.72/628.47	c cleaning 12050 clauses out of 24111 with flag 81000/9990620
632.14/628.86	c cleaning 13026 clauses out of 26063 with flag 95002/10004622
632.55/629.25	c cleaning 14016 clauses out of 28035 with flag 110000/10019620
632.96/629.67	c cleaning 15002 clauses out of 30020 with flag 126001/10035621
633.48/630.13	c cleaning 15998 clauses out of 32017 with flag 143000/10052620
634.00/630.64	c cleaning 17001 clauses out of 34019 with flag 161000/10070620
634.51/631.17	c cleaning 18004 clauses out of 36018 with flag 180000/10089620
635.11/631.74	c cleaning 19003 clauses out of 38014 with flag 200000/10109620
635.72/632.34	c cleaning 20004 clauses out of 40011 with flag 221000/10130620
636.36/632.95	c cleaning 21004 clauses out of 42007 with flag 243000/10152620
637.08/633.66	c cleaning 22000 clauses out of 44004 with flag 266001/10175621
637.77/634.34	c cleaning 23000 clauses out of 46003 with flag 290000/10199620
638.58/635.10	c cleaning 24001 clauses out of 48003 with flag 315000/10224620
639.49/636.00	c cleaning 25002 clauses out of 50003 with flag 341001/10250621
640.30/636.88	c cleaning 25997 clauses out of 52001 with flag 368001/10277621
641.30/637.85	c cleaning 26999 clauses out of 54004 with flag 396001/10305621
642.22/638.78	c cleaning 28001 clauses out of 56005 with flag 425001/10334621
643.26/639.78	c cleaning 28998 clauses out of 58003 with flag 455000/10364620
644.38/640.82	c cleaning 29996 clauses out of 60005 with flag 486000/10395620
645.40/641.82	c cleaning 31006 clauses out of 62012 with flag 518003/10427623
646.52/642.93	c cleaning 32000 clauses out of 64003 with flag 551000/10460620
647.73/644.10	c cleaning 33000 clauses out of 66003 with flag 585000/10494620
648.94/645.38	c cleaning 34000 clauses out of 68004 with flag 620001/10529621
650.34/646.78	c cleaning 34998 clauses out of 70003 with flag 656000/10565620
651.85/648.28	c cleaning 35998 clauses out of 72005 with flag 693000/10602620
653.39/649.74	c cleaning 37004 clauses out of 74009 with flag 731002/10640622
654.99/651.37	c cleaning 38000 clauses out of 76003 with flag 770000/10679620
656.80/653.15	c cleaning 38997 clauses out of 78003 with flag 810000/10719620
658.62/654.91	c cleaning 40001 clauses out of 80008 with flag 851002/10760622
660.43/656.74	c cleaning 41001 clauses out of 82006 with flag 893001/10802621
662.45/658.72	c cleaning 41999 clauses out of 84005 with flag 936001/10845621
664.36/660.65	c cleaning 42999 clauses out of 86005 with flag 980000/10889620
666.46/662.74	c cleaning 44000 clauses out of 88007 with flag 1025001/10934621
668.57/664.89	c cleaning 44998 clauses out of 90006 with flag 1071000/10980620
670.69/666.98	c cleaning 46005 clauses out of 92009 with flag 1118001/11027621
673.01/669.24	c cleaning 46993 clauses out of 94003 with flag 1166000/11075620
674.93/671.17	c cleaning 48001 clauses out of 96010 with flag 1215000/11124620
677.05/673.20	c cleaning 49002 clauses out of 98009 with flag 1265000/11174620
679.06/675.28	c cleaning 50000 clauses out of 100008 with flag 1316001/11225621
681.38/677.56	c cleaning 51003 clauses out of 102007 with flag 1368000/11277620
683.58/679.71	c cleaning 51999 clauses out of 104004 with flag 1421000/11330620
685.88/682.01	c cleaning 53000 clauses out of 106005 with flag 1475000/11384620
688.10/684.27	c cleaning 53999 clauses out of 108007 with flag 1530002/11439622
690.51/686.65	c cleaning 54996 clauses out of 110006 with flag 1586000/11495620
693.04/689.15	c cleaning 56000 clauses out of 112010 with flag 1643000/11552620
695.24/691.36	c cleaning 57001 clauses out of 114010 with flag 1701000/11610620
697.86/693.96	c cleaning 57998 clauses out of 116009 with flag 1760000/11669620
700.69/696.74	c cleaning 59001 clauses out of 118012 with flag 1820001/11729621
703.60/699.61	c cleaning 60004 clauses out of 120011 with flag 1881001/11790621
706.31/702.36	c cleaning 60998 clauses out of 122006 with flag 1943000/11852620
709.22/705.28	c cleaning 61997 clauses out of 124008 with flag 2006000/11915620
712.23/708.27	c cleaning 63003 clauses out of 126012 with flag 2070001/11979621
715.35/711.36	c cleaning 63999 clauses out of 128008 with flag 2135000/12044620
718.48/714.45	c cleaning 65001 clauses out of 130010 with flag 2201001/12110621
721.39/717.37	c cleaning 66000 clauses out of 132008 with flag 2268000/12177620
724.40/720.32	c cleaning 67002 clauses out of 134009 with flag 2336001/12245621
727.71/723.66	c cleaning 68002 clauses out of 136007 with flag 2405001/12314621
730.82/726.72	c cleaning 68999 clauses out of 138004 with flag 2475000/12384620
734.55/730.42	c cleaning 69995 clauses out of 140005 with flag 2546000/12455620
738.75/734.63	c cleaning 71006 clauses out of 142011 with flag 2618001/12527621
742.45/738.30	c cleaning 72000 clauses out of 144008 with flag 2691004/12600624
746.68/742.58	c cleaning 72998 clauses out of 146005 with flag 2765001/12674621
750.21/746.03	c cleaning 73998 clauses out of 148007 with flag 2840001/12749621
753.82/749.67	c cleaning 75000 clauses out of 150008 with flag 2916000/12825620
758.24/754.00	c cleaning 76003 clauses out of 152009 with flag 2993001/12902621
762.07/757.84	c cleaning 76998 clauses out of 154005 with flag 3071000/12980620
766.49/762.30	c cleaning 78004 clauses out of 156007 with flag 3150000/13059620
770.90/766.68	c cleaning 79002 clauses out of 158005 with flag 3230002/13139622
775.90/771.64	c cleaning 80000 clauses out of 160003 with flag 3311002/13220622
780.41/776.12	c cleaning 80995 clauses out of 162001 with flag 3393000/13302620
785.24/780.99	c cleaning 82001 clauses out of 164006 with flag 3476000/13385620
790.43/786.17	c cleaning 82998 clauses out of 166005 with flag 3560000/13469620
795.85/791.56	c cleaning 84002 clauses out of 168008 with flag 3645001/13554621
801.15/796.81	c cleaning 84999 clauses out of 170006 with flag 3731001/13640621
806.97/802.62	c cleaning 86000 clauses out of 172006 with flag 3818000/13727620
812.19/807.84	c cleaning 86999 clauses out of 174008 with flag 3906002/13815622
817.99/813.64	c cleaning 88001 clauses out of 176007 with flag 3995000/13904620
823.52/819.10	c cleaning 88999 clauses out of 178007 with flag 4085001/13994621
828.72/824.39	c cleaning 90001 clauses out of 180009 with flag 4176002/14085622
834.84/830.48	c cleaning 91000 clauses out of 182010 with flag 4268004/14177624
840.65/836.24	c cleaning 92001 clauses out of 184007 with flag 4361001/14270621
846.46/842.03	c cleaning 92998 clauses out of 186008 with flag 4455003/14364623
852.78/848.39	c cleaning 94002 clauses out of 188008 with flag 4550001/14459621
859.60/855.10	c cleaning 94996 clauses out of 190005 with flag 4646000/14555620
866.01/861.52	c cleaning 95999 clauses out of 192010 with flag 4743001/14652621
872.92/868.44	c cleaning 96996 clauses out of 194010 with flag 4841000/14750620
879.95/875.43	c cleaning 98005 clauses out of 196014 with flag 4940000/14849620
886.78/882.20	c cleaning 99004 clauses out of 198010 with flag 5040001/14949621
893.18/888.60	c cleaning 99996 clauses out of 200005 with flag 5141000/15050620
899.80/895.23	c cleaning 101001 clauses out of 202010 with flag 5243001/15152621
906.01/901.46	c cleaning 102001 clauses out of 204012 with flag 5346004/15255624
911.93/907.35	c cleaning 102999 clauses out of 206007 with flag 5450000/15359620
918.93/914.34	c cleaning 103999 clauses out of 208008 with flag 5555000/15464620
926.84/922.25	c cleaning 105002 clauses out of 210010 with flag 5661001/15570621
935.84/931.28	c cleaning 106001 clauses out of 212008 with flag 5768001/15677621
944.06/939.41	c cleaning 107001 clauses out of 214007 with flag 5876001/15785621
953.28/948.65	c cleaning 107997 clauses out of 216005 with flag 5985000/15894620
963.09/958.43	c cleaning 109005 clauses out of 218009 with flag 6095001/16004621
971.00/966.30	c cleaning 109996 clauses out of 220003 with flag 6206000/16115620
978.83/974.18	c cleaning 111002 clauses out of 222009 with flag 6318002/16227622
988.07/983.31	c cleaning 111999 clauses out of 224005 with flag 6431000/16340620
997.88/993.16	c cleaning 112997 clauses out of 226006 with flag 6545000/16454620
1008.10/1003.34	c cleaning 114000 clauses out of 228010 with flag 6660001/16569621
1016.91/1012.14	c cleaning 114998 clauses out of 230009 with flag 6776000/16685620
1025.34/1020.53	c cleaning 116000 clauses out of 232011 with flag 6893000/16802620
1034.47/1029.66	c cleaning 117004 clauses out of 234011 with flag 7011000/16920620
1042.88/1038.06	c cleaning 118002 clauses out of 236008 with flag 7130001/17039621
1051.21/1046.35	c cleaning 118999 clauses out of 238006 with flag 7250001/17159621
1059.61/1054.73	c cleaning 119995 clauses out of 240007 with flag 7371001/17280621
1069.04/1064.12	c cleaning 121000 clauses out of 242012 with flag 7493001/17402621
1078.68/1073.70	c cleaning 122004 clauses out of 244013 with flag 7616002/17525622
1087.68/1082.72	c cleaning 122998 clauses out of 246007 with flag 7740000/17649620
1097.60/1092.69	c cleaning 124001 clauses out of 248010 with flag 7865001/17774621
1107.11/1102.20	c cleaning 125000 clauses out of 250008 with flag 7991000/17900620
1116.23/1111.20	c cleaning 126002 clauses out of 252009 with flag 8118001/18027621
1125.26/1120.22	c cleaning 127001 clauses out of 254007 with flag 8246001/18155621
1135.08/1130.06	c cleaning 128000 clauses out of 256005 with flag 8375000/18284620
1145.29/1140.23	c cleaning 128997 clauses out of 258005 with flag 8505000/18414620
1156.01/1150.95	c cleaning 130000 clauses out of 260008 with flag 8636000/18545620
1168.44/1163.38	c cleaning 131000 clauses out of 262008 with flag 8768000/18677620
1180.47/1175.32	c cleaning 131998 clauses out of 264008 with flag 8901000/18810620
1192.89/1187.75	c cleaning 133002 clauses out of 266011 with flag 9035001/18944621
1204.52/1199.40	c cleaning 134000 clauses out of 268008 with flag 9170000/19079620
1216.25/1211.05	c cleaning 134996 clauses out of 270008 with flag 9306000/19215620
1227.26/1222.08	c cleaning 135999 clauses out of 272012 with flag 9443000/19352620
1240.67/1235.49	c cleaning 137005 clauses out of 274013 with flag 9581000/19490620
1252.02/1246.79	c cleaning 137999 clauses out of 276008 with flag 9720000/19629620
1264.74/1259.42	c cleaning 139003 clauses out of 278011 with flag 9860002/19769622
1277.57/1272.24	c cleaning 140000 clauses out of 280007 with flag 10001001/19910621
1290.70/1285.38	c cleaning 140999 clauses out of 282007 with flag 10143001/20052621
1304.43/1299.09	c cleaning 141997 clauses out of 284008 with flag 10286001/20195621
1318.23/1312.86	c cleaning 143000 clauses out of 286010 with flag 10430000/20339620
1331.35/1325.99	c cleaning 144003 clauses out of 288012 with flag 10575002/20484622
1346.06/1340.61	c cleaning 144996 clauses out of 290008 with flag 10721001/20630621
1362.09/1356.65	c cleaning 146003 clauses out of 292011 with flag 10868000/20777620
1377.83/1372.35	c cleaning 147002 clauses out of 294009 with flag 11016001/20925621
1391.85/1386.36	c cleaning 147994 clauses out of 296007 with flag 11165001/21074621
1406.18/1400.67	c cleaning 149006 clauses out of 298013 with flag 11315001/21224621
1421.02/1415.42	c cleaning 149999 clauses out of 300006 with flag 11466000/21375620
1438.34/1432.76	c cleaning 150999 clauses out of 302007 with flag 11618000/21527620
1453.88/1448.24	c cleaning 152004 clauses out of 304010 with flag 11771002/21680622
1469.62/1463.90	c cleaning 153001 clauses out of 306005 with flag 11925001/21834621
1486.15/1480.40	c cleaning 153999 clauses out of 308003 with flag 12080000/21989620
1501.09/1495.38	c cleaning 154994 clauses out of 310004 with flag 12236000/22145620
1519.24/1513.47	c cleaning 156002 clauses out of 312010 with flag 12393000/22302620
1536.16/1530.31	c cleaning 157002 clauses out of 314009 with flag 12551001/22460621
1553.38/1547.55	c cleaning 157995 clauses out of 316006 with flag 12710000/22619620
1571.20/1565.35	c cleaning 159003 clauses out of 318011 with flag 12870000/22779620
1586.93/1581.02	c cleaning 159997 clauses out of 320008 with flag 13031000/22940620
1601.26/1595.33	c cleaning 161003 clauses out of 322013 with flag 13193002/23102622
1615.30/1609.32	c cleaning 162003 clauses out of 324008 with flag 13356000/23265620
1629.62/1623.67	c cleaning 162996 clauses out of 326005 with flag 13520000/23429620
1646.22/1640.21	c cleaning 164000 clauses out of 328010 with flag 13685001/23594621
1663.24/1657.29	c cleaning 165000 clauses out of 330010 with flag 13851001/23760621
1680.67/1674.66	c cleaning 166004 clauses out of 332009 with flag 14018000/23927620
1698.39/1692.30	c cleaning 166998 clauses out of 334005 with flag 14186000/24095620
1718.41/1712.38	c cleaning 167999 clauses out of 336007 with flag 14355000/24264620
1738.64/1732.52	c cleaning 169004 clauses out of 338008 with flag 14525000/24434620
1759.75/1753.60	c cleaning 170001 clauses out of 340006 with flag 14696002/24605622
1779.50/1773.37	c cleaning 171000 clauses out of 342003 with flag 14868000/24777620
1798.04/1791.89	c cleaning 171995 clauses out of 344003 with flag 15041000/24950620
1800.06/1793.81	c starts		: 380
1800.06/1793.81	c conflicts		: 24986348
1800.06/1793.81	c decisions		: 39190847
1800.06/1793.81	c propagations		: 269087700
1800.06/1793.81	c inspects		: 23532153807
1800.06/1793.81	c shortcuts		: 0
1800.06/1793.81	c learnt literals	: 0
1800.06/1793.81	c learnt binary clauses	: 0
1800.06/1793.81	c learnt ternary clauses	: 0
1800.06/1793.81	c learnt constraints	: 24986349
1800.06/1793.81	c ignored constraints	: 0
1800.06/1793.81	c root simplifications	: 0
1800.06/1793.81	c removed literals (reason simplification)	: 0
1800.06/1793.81	c reason swapping (by a shorter reason)	: 0
1800.06/1793.81	c Calls to reduceDB	: 329
1800.06/1793.81	c number of reductions to clauses (during analyze)	: 0
1800.06/1793.81	c number of learned constraints concerned by reduction	: 0
1800.06/1793.81	c number of learning phase by resolution	: 0
1800.06/1793.81	c number of learning phase by cutting planes	: 0
1800.06/1793.81	c speed (assignments/second)	: 150020.17754590153
1800.06/1793.81	c non guided choices	0
1800.06/1793.84	c learnt constraints type 
1800.06/1793.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 208047
1800.06/1793.84	c constraints type 
1800.06/1793.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 81
1800.06/1793.84	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/1793.84	c 82 constraints processed.
1800.06/1793.84	s SATISFIABLE
1800.06/1793.84	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 
1800.06/1793.84	c objective function=23
1800.06/1793.84	c Total wall clock time (in seconds): 1793.739

Verifier Data

OK	23

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.92 2/194 12695
/proc/meminfo: memFree=27818572/32873844 swapFree=7364/7364
[pid=12695] ppid=12693 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/12695/stat : 12695 (java) R 12693 12695 12001 0 -1 4202496 1003 0 0 0 0 0 0 0 20 0 1 0 253679579 23793664 731 33554432000 1073741824 1073778376 140736752717936 140736752707000 140103329902591 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12695/statm: 5809 743 547 9 0 128 0

[startup+0.0755091 s]
/proc/loadavg: 2.00 2.00 1.92 2/194 12695
/proc/meminfo: memFree=27818572/32873844 swapFree=7364/7364
[pid=12695] ppid=12693 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/12695/stat : 12695 (java) S 12693 12695 12001 0 -1 4202496 3411 0 1 0 5 1 0 0 20 0 18 0 253679579 9787813888 4620 33554432000 1073741824 1073778376 140736752717936 140736752709072 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12695/statm: 2389603 4620 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.100263 s]
/proc/loadavg: 2.00 2.00 1.92 2/194 12695
/proc/meminfo: memFree=27818572/32873844 swapFree=7364/7364
[pid=12695] ppid=12693 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/12695/stat : 12695 (java) S 12693 12695 12001 0 -1 4202496 4374 0 1 0 9 1 0 0 20 0 18 0 253679579 9787813888 6085 33554432000 1073741824 1073778376 140736752717936 140736752709072 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12695/statm: 2389603 6085 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300216 s]
/proc/loadavg: 2.00 2.00 1.92 2/194 12695
/proc/meminfo: memFree=27818572/32873844 swapFree=7364/7364
[pid=12695] ppid=12693 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/12695/stat : 12695 (java) S 12693 12695 12001 0 -1 4202496 6520 0 1 0 46 2 0 0 20 0 19 0 253679579 9855975424 7497 33554432000 1073741824 1073778376 140736752717936 140736752709072 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12695/statm: 2406244 7497 2215 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9624976

[startup+0.700219 s]
/proc/loadavg: 2.00 2.00 1.92 2/194 12695
/proc/meminfo: memFree=27818572/32873844 swapFree=7364/7364
[pid=12695] ppid=12693 vsize=9624976 CPUtime=1.15 cores=0,2,4,6
/proc/12695/stat : 12695 (java) S 12693 12695 12001 0 -1 4202496 13803 0 1 0 112 3 0 0 20 0 19 0 253679579 9855975424 14402 33554432000 1073741824 1073778376 140736752717936 140736752709072 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12695/statm: 2406244 14402 2252 9 0 2396937 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9624976

[startup+1.50065 s]
/proc/loadavg: 2.00 2.00 1.92 3/213 12714
/proc/meminfo: memFree=27769872/32873844 swapFree=7364/7364
[pid=12695] ppid=12693 vsize=9624976 CPUtime=2 cores=0,2,4,6
/proc/12695/stat : 12695 (java) S 12693 12695 12001 0 -1 4202496 13833 0 1 0 197 3 0 0 20 0 19 0 253679579 9855975424 14940 33554432000 1073741824 1073778376 140736752717936 140736752709072 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12695/statm: 2406244 14940 2263 9 0 2396937 0
[pid=12695/tid=12697] ppid=12693 vsize=9624976 CPUtime=1.41 cores=0,2,4,6
/proc/12695/task/12697/stat : 12697 (java) R 12693 12695 12001 0 -1 4202560 2451 0 1 0 141 0 0 0 20 0 19 0 253679580 9855975424 14940 33554432000 1073741824 1073778376 140736752717936 140103321940216 140103192747647 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12698] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12698/stat : 12698 (java) S 12693 12695 12001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 14940 33554432000 1073741824 1073778376 140736752717936 140103311001768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12699] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12699/stat : 12699 (java) S 12693 12695 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 14940 33554432000 1073741824 1073778376 140736752717936 140103164573992 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12700] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12700/stat : 12700 (java) S 12693 12695 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 14940 33554432000 1073741824 1073778376 140736752717936 140103163521448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12701] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12701/stat : 12701 (java) S 12693 12695 12001 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 14940 33554432000 1073741824 1073778376 140736752717936 140103162468904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12702] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12702/stat : 12702 (java) S 12693 12695 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 14940 33554432000 1073741824 1073778376 140736752717936 140103161416360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12703] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12703/stat : 12703 (java) S 12693 12695 12001 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 14940 33554432000 1073741824 1073778376 140736752717936 140103160363816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12704] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12704/stat : 12704 (java) S 12693 12695 12001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 14940 33554432000 1073741824 1073778376 140736752717936 140103159311272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12705] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12705/stat : 12705 (java) S 12693 12695 12001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 14940 33554432000 1073741824 1073778376 140736752717936 140103158258728 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12706] ppid=12693 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/12695/task/12706/stat : 12706 (java) S 12693 12695 12001 0 -1 4202560 32 0 0 0 4 0 0 0 20 0 19 0 253679581 9855975424 14940 33554432000 1073741824 1073778376 140736752717936 140103146059880 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12707] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12707/stat : 12707 (java) S 12693 12695 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679582 9855975424 14940 33554432000 1073741824 1073778376 140736752717936 140103145006200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12708] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12708/stat : 12708 (java) S 12693 12695 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679582 9855975424 14940 33554432000 1073741824 1073778376 140736752717936 140103143953544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12709] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12709/stat : 12709 (java) S 12693 12695 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679584 9855975424 14940 33554432000 1073741824 1073778376 140736752717936 140103142902288 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12710] ppid=12693 vsize=9624976 CPUtime=0.27 cores=0,2,4,6
/proc/12695/task/12710/stat : 12710 (java) S 12693 12695 12001 0 -1 4202560 7646 0 0 0 25 2 0 0 20 0 19 0 253679584 9855975424 14940 33554432000 1073741824 1073778376 140736752717936 140103141849656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12711] ppid=12693 vsize=9624976 CPUtime=0.2 cores=0,2,4,6
/proc/12695/task/12711/stat : 12711 (java) S 12693 12695 12001 0 -1 4202560 2467 0 0 0 20 0 0 0 20 0 19 0 253679584 9855975424 14940 33554432000 1073741824 1073778376 140736752717936 140103140797112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12712] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12712/stat : 12712 (java) S 12693 12695 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679584 9855975424 14940 33554432000 1073741824 1073778376 140736752717936 140103139744760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12713] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12713/stat : 12713 (java) S 12693 12695 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679584 9855975424 14940 33554432000 1073741824 1073778376 140736752717936 140103138692424 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12714] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12714/stat : 12714 (java) S 12693 12695 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679593 9855975424 14940 33554432000 1073741824 1073778376 140736752717936 140103137637160 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 9624976

[startup+3.10064 s]
/proc/loadavg: 2.00 2.00 1.92 3/213 12714
/proc/meminfo: memFree=27767204/32873844 swapFree=7364/7364
[pid=12695] ppid=12693 vsize=9624976 CPUtime=3.63 cores=0,2,4,6
/proc/12695/stat : 12695 (java) S 12693 12695 12001 0 -1 4202496 13851 0 1 0 359 4 0 0 20 0 19 0 253679579 9855975424 14951 33554432000 1073741824 1073778376 140736752717936 140736752709072 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12695/statm: 2406244 14951 2263 9 0 2396937 0
[pid=12695/tid=12697] ppid=12693 vsize=9624976 CPUtime=2.93 cores=0,2,4,6
/proc/12695/task/12697/stat : 12697 (java) R 12693 12695 12001 0 -1 4202560 2458 0 1 0 293 0 0 0 20 0 19 0 253679580 9855975424 14951 33554432000 1073741824 1073778376 140736752717936 140103321940376 140103192629479 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12698] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12698/stat : 12698 (java) S 12693 12695 12001 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 14951 33554432000 1073741824 1073778376 140736752717936 140103311001768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12699] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12699/stat : 12699 (java) S 12693 12695 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 14951 33554432000 1073741824 1073778376 140736752717936 140103164573992 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12700] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12700/stat : 12700 (java) S 12693 12695 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 14951 33554432000 1073741824 1073778376 140736752717936 140103163521448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12701] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12701/stat : 12701 (java) S 12693 12695 12001 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 14951 33554432000 1073741824 1073778376 140736752717936 140103162468904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12702] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12702/stat : 12702 (java) S 12693 12695 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 14951 33554432000 1073741824 1073778376 140736752717936 140103161416360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12703] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12703/stat : 12703 (java) S 12693 12695 12001 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 14951 33554432000 1073741824 1073778376 140736752717936 140103160363816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12704] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12704/stat : 12704 (java) S 12693 12695 12001 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 14951 33554432000 1073741824 1073778376 140736752717936 140103159311272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12705] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12705/stat : 12705 (java) S 12693 12695 12001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 14951 33554432000 1073741824 1073778376 140736752717936 140103158258728 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12706] ppid=12693 vsize=9624976 CPUtime=0.1 cores=0,2,4,6
/proc/12695/task/12706/stat : 12706 (java) S 12693 12695 12001 0 -1 4202560 32 0 0 0 10 0 0 0 20 0 19 0 253679581 9855975424 14951 33554432000 1073741824 1073778376 140736752717936 140103146059880 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12707] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12707/stat : 12707 (java) S 12693 12695 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679582 9855975424 14951 33554432000 1073741824 1073778376 140736752717936 140103145006200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12708] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12708/stat : 12708 (java) S 12693 12695 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679582 9855975424 14951 33554432000 1073741824 1073778376 140736752717936 140103143953544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12709] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12709/stat : 12709 (java) S 12693 12695 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679584 9855975424 14951 33554432000 1073741824 1073778376 140736752717936 140103142902288 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12710] ppid=12693 vsize=9624976 CPUtime=0.27 cores=0,2,4,6
/proc/12695/task/12710/stat : 12710 (java) S 12693 12695 12001 0 -1 4202560 7646 0 0 0 25 2 0 0 20 0 19 0 253679584 9855975424 14951 33554432000 1073741824 1073778376 140736752717936 140103141849656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12711] ppid=12693 vsize=9624976 CPUtime=0.2 cores=0,2,4,6
/proc/12695/task/12711/stat : 12711 (java) S 12693 12695 12001 0 -1 4202560 2467 0 0 0 20 0 0 0 20 0 19 0 253679584 9855975424 14951 33554432000 1073741824 1073778376 140736752717936 140103140797112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12712] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12712/stat : 12712 (java) S 12693 12695 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679584 9855975424 14951 33554432000 1073741824 1073778376 140736752717936 140103139744760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12713] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12713/stat : 12713 (java) S 12693 12695 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679584 9855975424 14951 33554432000 1073741824 1073778376 140736752717936 140103138692424 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12714] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12714/stat : 12714 (java) S 12693 12695 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679593 9855975424 14951 33554432000 1073741824 1073778376 140736752717936 140103137637160 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 9624976

[startup+6.30068 s]
/proc/loadavg: 2.00 2.00 1.92 3/213 12714
/proc/meminfo: memFree=27765032/32873844 swapFree=7364/7364
[pid=12695] ppid=12693 vsize=9624976 CPUtime=6.86 cores=0,2,4,6
/proc/12695/stat : 12695 (java) S 12693 12695 12001 0 -1 4202496 13886 0 1 0 682 4 0 0 20 0 19 0 253679579 9855975424 15264 33554432000 1073741824 1073778376 140736752717936 140736752709072 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12695/statm: 2406244 15264 2263 9 0 2396937 0
[pid=12695/tid=12697] ppid=12693 vsize=9624976 CPUtime=6.03 cores=0,2,4,6
/proc/12695/task/12697/stat : 12697 (java) R 12693 12695 12001 0 -1 4202560 2467 0 1 0 603 0 0 0 20 0 19 0 253679580 9855975424 15264 33554432000 1073741824 1073778376 140736752717936 140103321940376 140103192584543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12698] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12698/stat : 12698 (java) S 12693 12695 12001 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 15264 33554432000 1073741824 1073778376 140736752717936 140103311001768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12699] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12699/stat : 12699 (java) S 12693 12695 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 15264 33554432000 1073741824 1073778376 140736752717936 140103164573992 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12700] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12700/stat : 12700 (java) S 12693 12695 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 15264 33554432000 1073741824 1073778376 140736752717936 140103163521448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12701] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12701/stat : 12701 (java) S 12693 12695 12001 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 15264 33554432000 1073741824 1073778376 140736752717936 140103162468904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12702] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12702/stat : 12702 (java) S 12693 12695 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 15264 33554432000 1073741824 1073778376 140736752717936 140103161416360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12703] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12703/stat : 12703 (java) S 12693 12695 12001 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 15264 33554432000 1073741824 1073778376 140736752717936 140103160363816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12704] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12704/stat : 12704 (java) S 12693 12695 12001 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 15264 33554432000 1073741824 1073778376 140736752717936 140103159311272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12705] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12705/stat : 12705 (java) S 12693 12695 12001 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253679580 9855975424 15264 33554432000 1073741824 1073778376 140736752717936 140103158258728 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12706] ppid=12693 vsize=9624976 CPUtime=0.18 cores=0,2,4,6
/proc/12695/task/12706/stat : 12706 (java) S 12693 12695 12001 0 -1 4202560 33 0 0 0 18 0 0 0 20 0 19 0 253679581 9855975424 15264 33554432000 1073741824 1073778376 140736752717936 140103146059880 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12707] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12707/stat : 12707 (java) S 12693 12695 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679582 9855975424 15264 33554432000 1073741824 1073778376 140736752717936 140103145006200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12708] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12708/stat : 12708 (java) S 12693 12695 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679582 9855975424 15264 33554432000 1073741824 1073778376 140736752717936 140103143953544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12709] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12709/stat : 12709 (java) S 12693 12695 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679584 9855975424 15264 33554432000 1073741824 1073778376 140736752717936 140103142902288 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12710] ppid=12693 vsize=9624976 CPUtime=0.27 cores=0,2,4,6
/proc/12695/task/12710/stat : 12710 (java) S 12693 12695 12001 0 -1 4202560 7646 0 0 0 25 2 0 0 20 0 19 0 253679584 9855975424 15264 33554432000 1073741824 1073778376 140736752717936 140103141849656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12711] ppid=12693 vsize=9624976 CPUtime=0.2 cores=0,2,4,6
/proc/12695/task/12711/stat : 12711 (java) S 12693 12695 12001 0 -1 4202560 2467 0 0 0 20 0 0 0 20 0 19 0 253679584 9855975424 15264 33554432000 1073741824 1073778376 140736752717936 140103140797112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12712] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12712/stat : 12712 (java) S 12693 12695 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679584 9855975424 15264 33554432000 1073741824 1073778376 140736752717936 140103139744760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12713] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12713/stat : 12713 (java) S 12693 12695 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679584 9855975424 15264 33554432000 1073741824 1073778376 140736752717936 140103138692424 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12714] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12714/stat : 12714 (java) S 12693 12695 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679593 9855975424 15264 33554432000 1073741824 1073778376 140736752717936 140103137637160 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.86
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=12695/tid=12703] ppid=12693 vsize=9624976 CPUtime=1.03 cores=0,2,4,6
/proc/12695/task/12703/stat : 12703 (java) S 12693 12695 12001 0 -1 4202560 268 0 0 0 101 2 0 0 20 0 19 0 253679580 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103160363816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12704] ppid=12693 vsize=9624976 CPUtime=0.99 cores=0,2,4,6
/proc/12695/task/12704/stat : 12704 (java) S 12693 12695 12001 0 -1 4202560 259 0 0 0 97 2 0 0 20 0 19 0 253679580 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103159311272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12705] ppid=12693 vsize=9624976 CPUtime=1.02 cores=0,2,4,6
/proc/12695/task/12705/stat : 12705 (java) S 12693 12695 12001 0 -1 4202560 221 0 0 0 102 0 0 0 20 0 19 0 253679580 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103158258728 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12706] ppid=12693 vsize=9624976 CPUtime=10.65 cores=0,2,4,6
/proc/12695/task/12706/stat : 12706 (java) S 12693 12695 12001 0 -1 4202560 147 0 0 0 1062 3 0 0 20 0 19 0 253679581 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103146059880 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12707] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12707/stat : 12707 (java) S 12693 12695 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679582 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103145006200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12708] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12708/stat : 12708 (java) S 12693 12695 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679582 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103143953544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12709] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12709/stat : 12709 (java) S 12693 12695 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679584 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103142902288 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12710] ppid=12693 vsize=9624976 CPUtime=0.27 cores=0,2,4,6
/proc/12695/task/12710/stat : 12710 (java) S 12693 12695 12001 0 -1 4202560 7646 0 0 0 25 2 0 0 20 0 19 0 253679584 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103141849656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12711] ppid=12693 vsize=9624976 CPUtime=0.22 cores=0,2,4,6
/proc/12695/task/12711/stat : 12711 (java) S 12693 12695 12001 0 -1 4202560 2727 0 0 0 22 0 0 0 20 0 19 0 253679584 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103140797112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12712] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12712/stat : 12712 (java) S 12693 12695 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679584 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103139744760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12713] ppid=12693 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/12695/task/12713/stat : 12713 (java) S 12693 12695 12001 0 -1 4202560 97 0 0 0 24 28 0 0 20 0 19 0 253679584 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103138692424 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12714] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12714/stat : 12714 (java) S 12693 12695 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679593 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103137637160 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1668.37
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/213 12730
/proc/meminfo: memFree=27138564/32873844 swapFree=7364/7364
[pid=12695] ppid=12693 vsize=9624976 CPUtime=1728.43 cores=0,2,4,6
/proc/12695/stat : 12695 (java) S 12693 12695 12001 0 -1 4202496 16598 0 1 0 172802 41 0 0 20 0 19 0 253679579 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140736752709072 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12695/statm: 2406244 40562 2264 9 0 2396937 0
[pid=12695/tid=12697] ppid=12693 vsize=9624976 CPUtime=1708.83 cores=0,2,4,6
/proc/12695/task/12697/stat : 12697 (java) R 12693 12695 12001 0 -1 4202560 2782 0 1 0 170855 28 0 0 20 0 19 0 253679580 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103321940256 140103192560562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12698] ppid=12693 vsize=9624976 CPUtime=1 cores=0,2,4,6
/proc/12695/task/12698/stat : 12698 (java) S 12693 12695 12001 0 -1 4202560 273 0 0 0 98 2 0 0 20 0 19 0 253679580 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103311001768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12699] ppid=12693 vsize=9624976 CPUtime=1.03 cores=0,2,4,6
/proc/12695/task/12699/stat : 12699 (java) S 12693 12695 12001 0 -1 4202560 264 0 0 0 101 2 0 0 20 0 19 0 253679580 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103164573992 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12700] ppid=12693 vsize=9624976 CPUtime=0.92 cores=0,2,4,6
/proc/12695/task/12700/stat : 12700 (java) S 12693 12695 12001 0 -1 4202560 267 0 0 0 90 2 0 0 20 0 19 0 253679580 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103163521448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12701] ppid=12693 vsize=9624976 CPUtime=0.98 cores=0,2,4,6
/proc/12695/task/12701/stat : 12701 (java) S 12693 12695 12001 0 -1 4202560 199 0 0 0 98 0 0 0 20 0 19 0 253679580 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103162468904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12702] ppid=12693 vsize=9624976 CPUtime=0.96 cores=0,2,4,6
/proc/12695/task/12702/stat : 12702 (java) S 12693 12695 12001 0 -1 4202560 263 0 0 0 94 2 0 0 20 0 19 0 253679580 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103161416360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12703] ppid=12693 vsize=9624976 CPUtime=1.04 cores=0,2,4,6
/proc/12695/task/12703/stat : 12703 (java) S 12693 12695 12001 0 -1 4202560 268 0 0 0 102 2 0 0 20 0 19 0 253679580 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103160363816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12704] ppid=12693 vsize=9624976 CPUtime=1 cores=0,2,4,6
/proc/12695/task/12704/stat : 12704 (java) S 12693 12695 12001 0 -1 4202560 259 0 0 0 98 2 0 0 20 0 19 0 253679580 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103159311272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12705] ppid=12693 vsize=9624976 CPUtime=1.03 cores=0,2,4,6
/proc/12695/task/12705/stat : 12705 (java) S 12693 12695 12001 0 -1 4202560 221 0 0 0 103 0 0 0 20 0 19 0 253679580 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103158258728 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12706] ppid=12693 vsize=9624976 CPUtime=10.85 cores=0,2,4,6
/proc/12695/task/12706/stat : 12706 (java) S 12693 12695 12001 0 -1 4202560 151 0 0 0 1082 3 0 0 20 0 19 0 253679581 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103146059880 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12707] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12707/stat : 12707 (java) S 12693 12695 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679582 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103145006200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12708] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12708/stat : 12708 (java) S 12693 12695 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679582 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103143953544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12709] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12709/stat : 12709 (java) S 12693 12695 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679584 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103142902288 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12710] ppid=12693 vsize=9624976 CPUtime=0.27 cores=0,2,4,6
/proc/12695/task/12710/stat : 12710 (java) S 12693 12695 12001 0 -1 4202560 7646 0 0 0 25 2 0 0 20 0 19 0 253679584 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103141849656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12711] ppid=12693 vsize=9624976 CPUtime=0.22 cores=0,2,4,6
/proc/12695/task/12711/stat : 12711 (java) S 12693 12695 12001 0 -1 4202560 2727 0 0 0 22 0 0 0 20 0 19 0 253679584 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103140797112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12712] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12712/stat : 12712 (java) S 12693 12695 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679584 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103139744760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12713] ppid=12693 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/12695/task/12713/stat : 12713 (java) S 12693 12695 12001 0 -1 4202560 99 0 0 0 26 28 0 0 20 0 19 0 253679584 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103138692424 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12714] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12714/stat : 12714 (java) S 12693 12695 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679593 9855975424 40562 33554432000 1073741824 1073778376 140736752717936 140103137637160 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1728.43
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/213 12789
/proc/meminfo: memFree=27548544/32873844 swapFree=7364/7364
[pid=12695] ppid=12693 vsize=9624976 CPUtime=1788.54 cores=0,2,4,6
/proc/12695/stat : 12695 (java) S 12693 12695 12001 0 -1 4202496 16610 0 1 0 178811 43 0 0 20 0 19 0 253679579 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140736752709072 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12695/statm: 2406244 41074 2264 9 0 2396937 0
[pid=12695/tid=12697] ppid=12693 vsize=9624976 CPUtime=1768.59 cores=0,2,4,6
/proc/12695/task/12697/stat : 12697 (java) R 12693 12695 12001 0 -1 4202560 2786 0 1 0 176830 29 0 0 20 0 19 0 253679580 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103321940256 140103192560738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12698] ppid=12693 vsize=9624976 CPUtime=1.03 cores=0,2,4,6
/proc/12695/task/12698/stat : 12698 (java) S 12693 12695 12001 0 -1 4202560 273 0 0 0 101 2 0 0 20 0 19 0 253679580 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103311001768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12699] ppid=12693 vsize=9624976 CPUtime=1.04 cores=0,2,4,6
/proc/12695/task/12699/stat : 12699 (java) S 12693 12695 12001 0 -1 4202560 264 0 0 0 102 2 0 0 20 0 19 0 253679580 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103164573992 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12700] ppid=12693 vsize=9624976 CPUtime=0.94 cores=0,2,4,6
/proc/12695/task/12700/stat : 12700 (java) S 12693 12695 12001 0 -1 4202560 267 0 0 0 92 2 0 0 20 0 19 0 253679580 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103163521448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12701] ppid=12693 vsize=9624976 CPUtime=0.98 cores=0,2,4,6
/proc/12695/task/12701/stat : 12701 (java) S 12693 12695 12001 0 -1 4202560 199 0 0 0 98 0 0 0 20 0 19 0 253679580 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103162468904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12702] ppid=12693 vsize=9624976 CPUtime=0.98 cores=0,2,4,6
/proc/12695/task/12702/stat : 12702 (java) S 12693 12695 12001 0 -1 4202560 263 0 0 0 96 2 0 0 20 0 19 0 253679580 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103161416360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12703] ppid=12693 vsize=9624976 CPUtime=1.04 cores=0,2,4,6
/proc/12695/task/12703/stat : 12703 (java) S 12693 12695 12001 0 -1 4202560 268 0 0 0 102 2 0 0 20 0 19 0 253679580 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103160363816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12704] ppid=12693 vsize=9624976 CPUtime=1.03 cores=0,2,4,6
/proc/12695/task/12704/stat : 12704 (java) S 12693 12695 12001 0 -1 4202560 259 0 0 0 101 2 0 0 20 0 19 0 253679580 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103159311272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12705] ppid=12693 vsize=9624976 CPUtime=1.05 cores=0,2,4,6
/proc/12695/task/12705/stat : 12705 (java) S 12693 12695 12001 0 -1 4202560 221 0 0 0 105 0 0 0 20 0 19 0 253679580 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103158258728 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12706] ppid=12693 vsize=9624976 CPUtime=11.06 cores=0,2,4,6
/proc/12695/task/12706/stat : 12706 (java) S 12693 12695 12001 0 -1 4202560 155 0 0 0 1103 3 0 0 20 0 19 0 253679581 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103146059880 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12707] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12707/stat : 12707 (java) S 12693 12695 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679582 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103145006200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12708] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12708/stat : 12708 (java) S 12693 12695 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679582 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103143953544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12709] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12709/stat : 12709 (java) S 12693 12695 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679584 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103142902288 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12710] ppid=12693 vsize=9624976 CPUtime=0.27 cores=0,2,4,6
/proc/12695/task/12710/stat : 12710 (java) S 12693 12695 12001 0 -1 4202560 7646 0 0 0 25 2 0 0 20 0 19 0 253679584 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103141849656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12711] ppid=12693 vsize=9624976 CPUtime=0.22 cores=0,2,4,6
/proc/12695/task/12711/stat : 12711 (java) S 12693 12695 12001 0 -1 4202560 2727 0 0 0 22 0 0 0 20 0 19 0 253679584 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103140797112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12712] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12712/stat : 12712 (java) S 12693 12695 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679584 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103139744760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12713] ppid=12693 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/12695/task/12713/stat : 12713 (java) S 12693 12695 12001 0 -1 4202560 103 0 0 0 26 29 0 0 20 0 19 0 253679584 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103138692424 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12714] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12714/stat : 12714 (java) S 12693 12695 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679593 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103137637160 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1788.54
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.8 s]
/proc/loadavg: 2.00 2.00 1.94 3/213 12789
/proc/meminfo: memFree=27525768/32873844 swapFree=7364/7364
[pid=12695] ppid=12693 vsize=9624976 CPUtime=1800.06 cores=0,2,4,6
/proc/12695/stat : 12695 (java) S 12693 12695 12001 0 -1 4202496 16611 0 1 0 179963 43 0 0 20 0 19 0 253679579 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140736752709072 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12695/statm: 2406244 41074 2264 9 0 2396937 0
[pid=12695/tid=12697] ppid=12693 vsize=9624976 CPUtime=1780.03 cores=0,2,4,6
/proc/12695/task/12697/stat : 12697 (java) R 12693 12695 12001 0 -1 4202560 2787 0 1 0 177973 30 0 0 20 0 19 0 253679580 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103321940256 140103192620143 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12698] ppid=12693 vsize=9624976 CPUtime=1.04 cores=0,2,4,6
/proc/12695/task/12698/stat : 12698 (java) S 12693 12695 12001 0 -1 4202560 273 0 0 0 102 2 0 0 20 0 19 0 253679580 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103311001768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12699] ppid=12693 vsize=9624976 CPUtime=1.04 cores=0,2,4,6
/proc/12695/task/12699/stat : 12699 (java) S 12693 12695 12001 0 -1 4202560 264 0 0 0 102 2 0 0 20 0 19 0 253679580 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103164573992 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12700] ppid=12693 vsize=9624976 CPUtime=0.95 cores=0,2,4,6
/proc/12695/task/12700/stat : 12700 (java) S 12693 12695 12001 0 -1 4202560 267 0 0 0 93 2 0 0 20 0 19 0 253679580 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103163521448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12701] ppid=12693 vsize=9624976 CPUtime=0.98 cores=0,2,4,6
/proc/12695/task/12701/stat : 12701 (java) S 12693 12695 12001 0 -1 4202560 199 0 0 0 98 0 0 0 20 0 19 0 253679580 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103162468904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12702] ppid=12693 vsize=9624976 CPUtime=0.99 cores=0,2,4,6
/proc/12695/task/12702/stat : 12702 (java) S 12693 12695 12001 0 -1 4202560 263 0 0 0 97 2 0 0 20 0 19 0 253679580 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103161416360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12703] ppid=12693 vsize=9624976 CPUtime=1.05 cores=0,2,4,6
/proc/12695/task/12703/stat : 12703 (java) S 12693 12695 12001 0 -1 4202560 268 0 0 0 103 2 0 0 20 0 19 0 253679580 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103160363816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12704] ppid=12693 vsize=9624976 CPUtime=1.04 cores=0,2,4,6
/proc/12695/task/12704/stat : 12704 (java) S 12693 12695 12001 0 -1 4202560 259 0 0 0 102 2 0 0 20 0 19 0 253679580 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103159311272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12705] ppid=12693 vsize=9624976 CPUtime=1.06 cores=0,2,4,6
/proc/12695/task/12705/stat : 12705 (java) S 12693 12695 12001 0 -1 4202560 221 0 0 0 105 1 0 0 20 0 19 0 253679580 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103158258728 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12706] ppid=12693 vsize=9624976 CPUtime=11.12 cores=0,2,4,6
/proc/12695/task/12706/stat : 12706 (java) S 12693 12695 12001 0 -1 4202560 155 0 0 0 1109 3 0 0 20 0 19 0 253679581 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103146059880 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12707] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12707/stat : 12707 (java) S 12693 12695 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679582 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103145006200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12708] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12708/stat : 12708 (java) S 12693 12695 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679582 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103143953544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12709] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12709/stat : 12709 (java) S 12693 12695 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679584 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103142902288 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12695/tid=12710] ppid=12693 vsize=9624976 CPUtime=0.27 cores=0,2,4,6
/proc/12695/task/12710/stat : 12710 (java) S 12693 12695 12001 0 -1 4202560 7646 0 0 0 25 2 0 0 20 0 19 0 253679584 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103141849656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12695/tid=12711] ppid=12693 vsize=9624976 CPUtime=0.22 cores=0,2,4,6
/proc/12695/task/12711/stat : 12711 (java) S 12693 12695 12001 0 -1 4202560 2727 0 0 0 22 0 0 0 20 0 19 0 253679584 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103140797112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12712] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12712/stat : 12712 (java) S 12693 12695 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679584 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103139744760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12695/tid=12713] ppid=12693 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/12695/task/12713/stat : 12713 (java) S 12693 12695 12001 0 -1 4202560 103 0 0 0 26 30 0 0 20 0 19 0 253679584 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103138692424 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12695/tid=12714] ppid=12693 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/12695/task/12714/stat : 12714 (java) S 12693 12695 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679593 9855975424 41074 33554432000 1073741824 1073778376 140736752717936 140103137637160 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 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

Child status: 143
Real time (s): 1793.85
CPU time (s): 1800.72
CPU user time (s): 1799.8
CPU system time (s): 0.921859
CPU usage (%): 100.383
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.921859
maximum resident set size= 164460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16655
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46933
involuntary context switches= 26737

runsolver used 7.82081 second user time and 12.6441 second system time

The end

Launcher Data

Begin job on node118 at 2012-05-24 18:05:35
IDJOB=3687817
IDBENCH=2213
IDSOLVER=2269
FILE ID=node118/3687817-1337875535
RUNJOBID= node118-1337871881-12017
PBS_JOBID= 14620086
Free space on /tmp= 71668 MiB

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

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

MD5SUM BENCH= 4b56e6775cc4a081c8696ef0fa81b784
RANDOM SEED=997330539

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:        27818572 kB
Buffers:          206288 kB
Cached:          3942600 kB
SwapCached:            0 kB
Active:           561480 kB
Inactive:        3721700 kB
Active(anon):     135740 kB
Inactive(anon):        0 kB
Active(file):     425740 kB
Inactive(file):  3721700 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               496 kB
Writeback:             0 kB
AnonPages:        144792 kB
Mapped:            22468 kB
Shmem:               200 kB
Slab:             630684 kB
SReclaimable:      72732 kB
SUnreclaim:       557952 kB
KernelStack:        1624 kB
PageTables:         4636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     697404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 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 18:35:31