Trace number 3711173

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)-25 1800.72 1792.55

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_3.opb
MD5SUM4ec3492215da9d1ca4e43111c42870de
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28
Best CPU time to get the best result obtained on this benchmark1797.3
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2488
Sum of products size (including duplicates)4976
Number of different products1244
Sum of products size2488

Quality of the solution as a function of time


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

Solver Data 

0.05/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.05/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.07	c See www.sat4j.org for details.
0.05/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.05/0.08	c version 2.3.2.v20120418
0.05/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.08	c java.vm.version	19.1-b02
0.05/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.08	c sun.arch.data.model	64
0.05/0.08	c java.version		1.6.0_24
0.05/0.08	c os.name		Linux
0.05/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.08	c os.arch		amd64
0.05/0.08	c Free memory 		501472288
0.05/0.08	c Max memory 		7480803328
0.05/0.08	c Total memory 		504102912
0.05/0.08	c Number of processors 	8
0.10/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.11	c configuring ORDERS
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=true
0.10/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3711173-1338172058.opb
0.10/0.12	c reading problem ... 
0.24/0.28	c ... done. Wall clock time 0.169s.
0.24/0.28	c declared #vars     200
0.24/0.28	c internal #vars     1444
0.24/0.28	c #constraints  2790
0.24/0.28	c constraints type 
0.24/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1244
0.24/0.29	c org.sat4j.minisat.constraints.card.MinWatchCard => 202
0.24/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
0.24/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1244
0.24/0.29	c 2790 constraints processed.
0.45/0.31	c SATISFIABLE
0.45/0.31	c OPTIMIZING...
0.45/0.31	c Got one! Elapsed wall clock time (in seconds):0.193
0.45/0.31	o 0
0.45/0.32	c Got one! Elapsed wall clock time (in seconds):0.209
0.45/0.33	o -1
0.45/0.37	c Got one! Elapsed wall clock time (in seconds):0.256
0.45/0.37	o -15
0.73/0.40	c Got one! Elapsed wall clock time (in seconds):0.269
0.73/0.40	o -17
0.73/0.40	c Got one! Elapsed wall clock time (in seconds):0.286
0.73/0.40	o -18
0.73/0.43	c Got one! Elapsed wall clock time (in seconds):0.318
0.73/0.43	o -19
0.73/0.46	c Got one! Elapsed wall clock time (in seconds):0.341
0.73/0.46	o -20
0.97/0.52	c Got one! Elapsed wall clock time (in seconds):0.404
0.97/0.52	o -22
1.34/0.87	c cleaning 2999 clauses out of 5999 with flag 5000/5999
1.83/1.24	c cleaning 4500 clauses out of 9000 with flag 11000/11999
2.23/1.66	c cleaning 5745 clauses out of 11500 with flag 18000/18999
2.75/2.13	c cleaning 6876 clauses out of 13755 with flag 26000/26999
3.38/2.71	c cleaning 7927 clauses out of 15879 with flag 35000/35999
3.89/3.25	c cleaning 8967 clauses out of 17952 with flag 45000/45999
4.60/3.90	c cleaning 9991 clauses out of 19987 with flag 56002/57001
5.40/4.70	c cleaning 10995 clauses out of 21998 with flag 68004/69003
6.22/5.53	c cleaning 11998 clauses out of 23999 with flag 81000/81999
6.43/5.74	c Got one! Elapsed wall clock time (in seconds):5.626
6.43/5.74	o -23
6.53/5.87	c cleaning 8598 clauses out of 17212 with flag 2001/87210
6.93/6.23	c cleaning 7300 clauses out of 14616 with flag 8003/93212
7.43/6.70	c cleaning 7151 clauses out of 14313 with flag 15000/100209
7.93/7.22	c cleaning 7576 clauses out of 15162 with flag 23000/108209
8.54/7.81	c cleaning 8290 clauses out of 16586 with flag 32000/117209
9.04/8.36	c cleaning 9138 clauses out of 18296 with flag 42000/127209
9.74/9.06	c cleaning 10077 clauses out of 20161 with flag 53003/138212
10.56/9.84	c cleaning 11034 clauses out of 22083 with flag 65002/150211
11.46/10.71	c cleaning 12018 clauses out of 24049 with flag 78002/163211
12.47/11.75	c cleaning 13011 clauses out of 26029 with flag 92000/177209
13.39/12.64	c cleaning 14001 clauses out of 28018 with flag 107000/192209
14.61/13.80	c cleaning 15002 clauses out of 30017 with flag 123000/208209
15.92/15.11	c cleaning 16003 clauses out of 32015 with flag 140000/225209
17.22/16.42	c cleaning 16998 clauses out of 34012 with flag 158000/243209
18.82/18.06	c cleaning 18002 clauses out of 36015 with flag 177001/262210
20.03/19.28	c cleaning 18997 clauses out of 38012 with flag 197000/282209
21.44/20.65	c cleaning 20004 clauses out of 40016 with flag 218001/303210
23.16/22.34	c cleaning 20998 clauses out of 42014 with flag 240003/325212
25.08/24.23	c cleaning 21998 clauses out of 44014 with flag 263001/348210
27.21/26.34	c cleaning 23001 clauses out of 46015 with flag 287000/372209
29.34/28.40	c cleaning 24003 clauses out of 48014 with flag 312000/397209
31.06/30.12	c cleaning 24997 clauses out of 50011 with flag 338000/423209
33.08/32.11	c cleaning 26002 clauses out of 52015 with flag 365001/450210
35.10/34.15	c cleaning 27001 clauses out of 54013 with flag 393001/478210
37.11/36.18	c cleaning 27995 clauses out of 56014 with flag 422003/507212
39.14/38.18	c cleaning 29001 clauses out of 58016 with flag 452000/537209
41.66/40.68	c cleaning 30005 clauses out of 60017 with flag 483002/568211
44.08/43.02	c cleaning 31004 clauses out of 62015 with flag 515005/600214
46.29/45.21	c cleaning 31997 clauses out of 64006 with flag 548000/633209
48.72/47.68	c cleaning 32996 clauses out of 66009 with flag 582000/667209
51.24/50.12	c cleaning 33997 clauses out of 68014 with flag 617001/702210
53.76/52.68	c cleaning 34998 clauses out of 70016 with flag 653000/738209
56.88/55.77	c cleaning 36000 clauses out of 72021 with flag 690003/775212
59.81/58.67	c cleaning 37001 clauses out of 74018 with flag 728000/813209
63.93/62.74	c cleaning 38001 clauses out of 76017 with flag 767000/852209
67.94/66.71	c cleaning 39003 clauses out of 78016 with flag 807000/892209
70.65/69.42	c cleaning 40002 clauses out of 80014 with flag 848001/933210
73.96/72.73	c cleaning 41003 clauses out of 82011 with flag 890000/975209
77.17/75.92	c cleaning 41997 clauses out of 84008 with flag 933000/1018209
80.99/79.73	c cleaning 42997 clauses out of 86011 with flag 977000/1062209
84.63/83.35	c cleaning 44000 clauses out of 88014 with flag 1022000/1107209
88.96/87.63	c cleaning 45000 clauses out of 90014 with flag 1068000/1153209
92.69/91.31	c cleaning 45994 clauses out of 92014 with flag 1115000/1200209
97.51/96.18	c cleaning 47005 clauses out of 94023 with flag 1163003/1248212
102.16/100.79	c cleaning 47996 clauses out of 96017 with flag 1212002/1297211
106.27/104.81	c cleaning 49006 clauses out of 98019 with flag 1262000/1347209
109.89/108.42	c cleaning 49995 clauses out of 100013 with flag 1313000/1398209
113.95/112.48	c cleaning 50999 clauses out of 102018 with flag 1365000/1450209
118.07/116.52	c cleaning 52003 clauses out of 104019 with flag 1418000/1503209
121.81/120.24	c cleaning 52994 clauses out of 106018 with flag 1472002/1557211
126.61/125.07	c cleaning 54006 clauses out of 108024 with flag 1527002/1612211
129.95/128.39	c Got one! Elapsed wall clock time (in seconds):128.271
129.95/128.39	o -24
130.65/129.05	c cleaning 53700 clauses out of 107412 with flag 5000/1665605
131.20/129.55	c cleaning 29846 clauses out of 59713 with flag 11001/1671606
131.71/130.00	c cleaning 18427 clauses out of 36867 with flag 18001/1678606
132.21/130.52	c cleaning 13213 clauses out of 26439 with flag 26000/1686605
132.84/131.10	c cleaning 11104 clauses out of 22226 with flag 35000/1695605
133.47/131.73	c cleaning 10551 clauses out of 21122 with flag 45000/1705605
134.18/132.46	c cleaning 10779 clauses out of 21571 with flag 56000/1716605
135.01/133.25	c cleaning 11385 clauses out of 22792 with flag 68000/1728605
136.02/134.21	c cleaning 12198 clauses out of 24407 with flag 81000/1741605
136.93/135.15	c cleaning 13094 clauses out of 26209 with flag 95000/1755605
137.97/136.20	c cleaning 14051 clauses out of 28115 with flag 110000/1770605
139.19/137.36	c cleaning 15025 clauses out of 30066 with flag 126002/1786607
140.52/138.69	c cleaning 16007 clauses out of 32039 with flag 143000/1803605
141.92/140.07	c cleaning 17011 clauses out of 34034 with flag 161002/1821607
143.42/141.57	c cleaning 18001 clauses out of 36023 with flag 180002/1840607
145.13/143.21	c cleaning 19000 clauses out of 38021 with flag 200001/1860606
146.84/144.98	c cleaning 19999 clauses out of 40020 with flag 221000/1881605
148.74/146.85	c cleaning 21001 clauses out of 42022 with flag 243001/1903606
150.85/148.93	c cleaning 22006 clauses out of 44021 with flag 266001/1926606
152.95/151.00	c cleaning 23003 clauses out of 46016 with flag 290002/1950607
155.16/153.25	c cleaning 23995 clauses out of 48011 with flag 315000/1975605
157.17/155.25	c cleaning 25000 clauses out of 50016 with flag 341000/2001605
158.89/156.92	c cleaning 25996 clauses out of 52016 with flag 368000/2028605
160.50/158.56	c cleaning 27003 clauses out of 54022 with flag 396002/2056607
160.72/158.70	c Got one! Elapsed wall clock time (in seconds):158.583
160.72/158.70	o -25
160.92/158.94	c cleaning 16396 clauses out of 32808 with flag 4000/2062396
161.34/159.30	c cleaning 11193 clauses out of 22412 with flag 10000/2068396
161.74/159.71	c cleaning 9099 clauses out of 18219 with flag 17000/2075396
162.16/160.15	c cleaning 8551 clauses out of 17120 with flag 25000/2083396
162.69/160.67	c cleaning 8778 clauses out of 17572 with flag 34003/2092399
163.29/161.21	c cleaning 9388 clauses out of 18791 with flag 44000/2102396
163.91/161.86	c cleaning 10193 clauses out of 20403 with flag 55000/2113396
164.63/162.53	c cleaning 11101 clauses out of 22213 with flag 67003/2125399
165.53/163.45	c cleaning 12048 clauses out of 24109 with flag 80000/2138396
166.65/164.55	c cleaning 13023 clauses out of 26062 with flag 94001/2152397
167.86/165.74	c cleaning 14013 clauses out of 28039 with flag 109001/2167397
169.16/167.04	c cleaning 15008 clauses out of 30028 with flag 125003/2183399
170.18/168.02	c cleaning 16002 clauses out of 32017 with flag 142000/2200396
171.28/169.13	c cleaning 16999 clauses out of 34015 with flag 160000/2218396
172.50/170.34	c cleaning 17998 clauses out of 36018 with flag 179002/2237398
173.83/171.61	c cleaning 18998 clauses out of 38019 with flag 199001/2257397
175.23/173.02	c cleaning 20002 clauses out of 40020 with flag 220000/2278396
176.45/174.26	c cleaning 21002 clauses out of 42020 with flag 242002/2300398
177.97/175.73	c cleaning 21995 clauses out of 44019 with flag 265003/2323399
179.58/177.32	c cleaning 23000 clauses out of 46022 with flag 289001/2347397
181.28/179.09	c cleaning 23999 clauses out of 48021 with flag 314000/2372396
183.12/180.89	c cleaning 24997 clauses out of 50023 with flag 340001/2398397
184.93/182.69	c cleaning 26001 clauses out of 52026 with flag 367001/2425397
186.84/184.54	c cleaning 27009 clauses out of 54026 with flag 395002/2453398
188.96/186.63	c cleaning 27997 clauses out of 56015 with flag 424000/2482396
191.26/188.93	c cleaning 29001 clauses out of 58020 with flag 454002/2512398
193.78/191.41	c cleaning 29998 clauses out of 60018 with flag 485001/2543397
196.28/193.95	c cleaning 30999 clauses out of 62020 with flag 517001/2575397
199.09/196.70	c cleaning 32000 clauses out of 64022 with flag 550002/2608398
201.80/199.41	c cleaning 33000 clauses out of 66020 with flag 584000/2642396
204.32/201.94	c cleaning 34003 clauses out of 68020 with flag 619000/2677396
207.43/205.03	c cleaning 34998 clauses out of 70019 with flag 655002/2713398
210.94/208.55	c cleaning 36001 clauses out of 72020 with flag 692001/2750397
214.57/212.17	c cleaning 36995 clauses out of 74018 with flag 730000/2788396
218.20/215.70	c cleaning 37999 clauses out of 76024 with flag 769001/2827397
221.91/219.49	c cleaning 39006 clauses out of 78029 with flag 809005/2867401
225.84/223.33	c cleaning 39996 clauses out of 80018 with flag 850000/2908396
230.30/227.71	c cleaning 41001 clauses out of 82023 with flag 892001/2950397
234.73/232.13	c cleaning 42003 clauses out of 84023 with flag 935002/2993398
237.56/234.90	c cleaning 43003 clauses out of 86019 with flag 979001/3037397
240.98/238.36	c cleaning 44001 clauses out of 88015 with flag 1024000/3082396
246.59/244.00	c cleaning 44997 clauses out of 90014 with flag 1070000/3128396
252.42/249.72	c cleaning 46000 clauses out of 92017 with flag 1117000/3175396
256.34/253.67	c cleaning 47003 clauses out of 94018 with flag 1165001/3223397
260.85/258.13	c cleaning 47997 clauses out of 96014 with flag 1214000/3272396
264.28/261.58	c cleaning 49002 clauses out of 98017 with flag 1264000/3322396
269.10/266.32	c cleaning 49999 clauses out of 100017 with flag 1315002/3373398
273.53/270.74	c cleaning 51000 clauses out of 102016 with flag 1367000/3425396
278.04/275.25	c cleaning 51995 clauses out of 104017 with flag 1420001/3478397
283.37/280.51	c cleaning 52995 clauses out of 106021 with flag 1474000/3532396
288.88/286.09	c cleaning 53999 clauses out of 108028 with flag 1529002/3587398
294.51/291.60	c cleaning 55005 clauses out of 110027 with flag 1585000/3643396
299.54/296.64	c cleaning 56001 clauses out of 112022 with flag 1642000/3700396
305.06/302.11	c cleaning 57000 clauses out of 114021 with flag 1700000/3758396
310.78/307.86	c cleaning 58002 clauses out of 116022 with flag 1759001/3817397
315.99/313.01	c cleaning 59001 clauses out of 118019 with flag 1819000/3877396
321.82/318.80	c cleaning 59998 clauses out of 120018 with flag 1880000/3938396
327.04/324.02	c cleaning 61003 clauses out of 122020 with flag 1942000/4000396
333.77/330.72	c cleaning 62000 clauses out of 124017 with flag 2005000/4063396
340.62/337.52	c cleaning 62999 clauses out of 126018 with flag 2069001/4127397
349.43/346.31	c cleaning 64001 clauses out of 128018 with flag 2134000/4192396
357.28/354.11	c cleaning 65000 clauses out of 130018 with flag 2200001/4258397
365.63/362.45	c cleaning 65999 clauses out of 132017 with flag 2267000/4325396
374.26/371.08	c cleaning 67001 clauses out of 134019 with flag 2335001/4393397
383.32/380.00	c cleaning 67999 clauses out of 136018 with flag 2404001/4462397
388.95/385.61	c cleaning 68993 clauses out of 138018 with flag 2474000/4532396
395.07/391.73	c cleaning 70007 clauses out of 140026 with flag 2545001/4603397
400.91/397.52	c cleaning 71003 clauses out of 142018 with flag 2617000/4675396
408.42/405.04	c cleaning 71996 clauses out of 144015 with flag 2690000/4748396
415.37/411.99	c cleaning 73003 clauses out of 146019 with flag 2764000/4822396
421.80/418.31	c cleaning 74004 clauses out of 148017 with flag 2839001/4897397
428.83/425.31	c cleaning 74993 clauses out of 150012 with flag 2915000/4973396
436.85/433.38	c cleaning 75997 clauses out of 152019 with flag 2992000/5050396
445.36/441.84	c cleaning 76997 clauses out of 154023 with flag 3070001/5128397
452.88/449.33	c cleaning 78008 clauses out of 156026 with flag 3149001/5207397
460.02/456.49	c cleaning 78998 clauses out of 158018 with flag 3229001/5287397
468.33/464.78	c cleaning 79999 clauses out of 160020 with flag 3310001/5368397
476.67/473.02	c cleaning 81000 clauses out of 162021 with flag 3392001/5450397
484.77/481.11	c cleaning 81988 clauses out of 164020 with flag 3475000/5533396
497.30/493.62	c cleaning 82997 clauses out of 166036 with flag 3559004/5617400
508.55/504.81	c cleaning 83994 clauses out of 168035 with flag 3644000/5702396
518.66/514.90	c cleaning 85004 clauses out of 170042 with flag 3730001/5788397
530.08/526.37	c cleaning 86002 clauses out of 172037 with flag 3817000/5875396
541.31/537.56	c cleaning 86998 clauses out of 174035 with flag 3905000/5963396
550.53/546.72	c cleaning 88008 clauses out of 176037 with flag 3994000/6052396
561.38/557.60	c cleaning 89002 clauses out of 178029 with flag 4084000/6142396
571.70/567.83	c cleaning 90008 clauses out of 180031 with flag 4175004/6233400
582.43/578.56	c cleaning 90994 clauses out of 182019 with flag 4267000/6325396
593.78/589.80	c cleaning 91998 clauses out of 184025 with flag 4360000/6418396
605.11/601.18	c cleaning 93000 clauses out of 186027 with flag 4454000/6512396
617.13/613.14	c cleaning 93996 clauses out of 188027 with flag 4549000/6607396
627.69/623.70	c cleaning 95003 clauses out of 190031 with flag 4645000/6703396
636.03/631.99	c cleaning 96007 clauses out of 192031 with flag 4742003/6800399
645.84/641.79	c cleaning 97000 clauses out of 194021 with flag 4840000/6898396
655.28/651.11	c cleaning 97996 clauses out of 196021 with flag 4939000/6997396
664.52/660.31	c cleaning 99004 clauses out of 198025 with flag 5039000/7097396
675.22/670.92	c cleaning 100007 clauses out of 200024 with flag 5140003/7198399
688.46/684.16	c cleaning 100999 clauses out of 202014 with flag 5242000/7300396
700.23/695.80	c cleaning 102001 clauses out of 204015 with flag 5345000/7403396
709.96/705.54	c cleaning 103000 clauses out of 206017 with flag 5449003/7507399
725.39/720.90	c cleaning 103999 clauses out of 208015 with flag 5554001/7612397
742.45/737.99	c cleaning 105003 clauses out of 210016 with flag 5660001/7718397
755.62/751.02	c cleaning 105997 clauses out of 212012 with flag 5767000/7825396
769.35/764.74	c cleaning 106999 clauses out of 214015 with flag 5875000/7933396
780.79/776.16	c cleaning 108004 clauses out of 216016 with flag 5984000/8042396
802.53/797.86	c cleaning 108997 clauses out of 218012 with flag 6094000/8152396
815.80/811.04	c cleaning 110000 clauses out of 220015 with flag 6205000/8263396
834.33/829.58	c cleaning 110997 clauses out of 222015 with flag 6317000/8375396
853.18/848.31	c cleaning 112003 clauses out of 224019 with flag 6430001/8488397
873.44/868.52	c cleaning 112996 clauses out of 226017 with flag 6544002/8602398
894.12/889.15	c cleaning 114003 clauses out of 228021 with flag 6659002/8717398
918.39/913.30	c cleaning 114993 clauses out of 230016 with flag 6775000/8833396
940.28/935.18	c cleaning 116005 clauses out of 232024 with flag 6892001/8950397
954.30/949.18	c cleaning 117000 clauses out of 234020 with flag 7010002/9068398
972.85/967.65	c cleaning 118003 clauses out of 236023 with flag 7129005/9187401
992.42/987.17	c cleaning 118998 clauses out of 238015 with flag 7249000/9307396
1012.69/1007.31	c cleaning 120001 clauses out of 240017 with flag 7370000/9428396
1032.33/1026.93	c cleaning 121000 clauses out of 242017 with flag 7492001/9550397
1053.98/1048.54	c cleaning 122000 clauses out of 244017 with flag 7615001/9673397
1075.14/1069.61	c cleaning 122994 clauses out of 246016 with flag 7739000/9797396
1098.78/1093.29	c cleaning 123995 clauses out of 248022 with flag 7864000/9922396
1123.41/1117.88	c cleaning 125003 clauses out of 250027 with flag 7990000/10048396
1137.80/1132.18	c cleaning 126005 clauses out of 252026 with flag 8117002/10175398
1150.53/1144.83	c cleaning 127003 clauses out of 254020 with flag 8245001/10303397
1163.47/1157.77	c cleaning 128003 clauses out of 256016 with flag 8374000/10432396
1178.79/1173.06	c cleaning 129000 clauses out of 258013 with flag 8504000/10562396
1202.75/1196.91	c cleaning 129997 clauses out of 260015 with flag 8635002/10693398
1217.08/1211.23	c cleaning 131001 clauses out of 262017 with flag 8767001/10825397
1235.14/1229.23	c cleaning 131998 clauses out of 264015 with flag 8900000/10958396
1253.93/1247.91	c cleaning 132999 clauses out of 266017 with flag 9034000/11092396
1267.76/1261.75	c cleaning 134003 clauses out of 268020 with flag 9169002/11227398
1286.70/1280.64	c cleaning 134998 clauses out of 270017 with flag 9305002/11363398
1304.77/1298.69	c cleaning 135996 clauses out of 272017 with flag 9442000/11500396
1319.32/1313.18	c cleaning 136999 clauses out of 274022 with flag 9580001/11638397
1334.35/1328.11	c cleaning 138002 clauses out of 276022 with flag 9719000/11777396
1350.28/1344.09	c cleaning 139004 clauses out of 278021 with flag 9859001/11917397
1368.53/1362.27	c cleaning 140002 clauses out of 280016 with flag 10000000/12058396
1384.90/1378.56	c cleaning 140995 clauses out of 282015 with flag 10142001/12200397
1402.58/1396.14	c cleaning 142004 clauses out of 284019 with flag 10285000/12343396
1423.35/1416.86	c cleaning 143001 clauses out of 286016 with flag 10429001/12487397
1444.13/1437.58	c cleaning 143995 clauses out of 288014 with flag 10574000/12632396
1466.58/1459.93	c cleaning 145000 clauses out of 290020 with flag 10720001/12778397
1487.36/1480.62	c cleaning 145996 clauses out of 292021 with flag 10867002/12925398
1510.81/1504.07	c cleaning 147001 clauses out of 294023 with flag 11015000/13073396
1534.73/1527.87	c cleaning 147998 clauses out of 296022 with flag 11164000/13222396
1559.18/1552.28	c cleaning 148998 clauses out of 298024 with flag 11314000/13372396
1577.64/1570.63	c cleaning 150002 clauses out of 300026 with flag 11465000/13523396
1604.57/1597.55	c cleaning 151006 clauses out of 302027 with flag 11617003/13675399
1629.83/1622.78	c cleaning 152001 clauses out of 304018 with flag 11770000/13828396
1660.49/1653.37	c cleaning 152996 clauses out of 306018 with flag 11924001/13982397
1687.92/1680.71	c cleaning 154001 clauses out of 308023 with flag 12079002/14137398
1717.20/1709.94	c cleaning 155000 clauses out of 310023 with flag 12235003/14293399
1745.18/1737.89	c cleaning 156002 clauses out of 312022 with flag 12392002/14450398
1774.08/1766.68	c cleaning 157002 clauses out of 314020 with flag 12550002/14608398
1800.03/1792.51	c starts		: 336
1800.03/1792.51	c conflicts		: 14760164
1800.03/1792.51	c decisions		: 17394116
1800.03/1792.51	c propagations		: 167278277
1800.03/1792.51	c inspects		: 13554724587
1800.03/1792.51	c shortcuts		: 0
1800.03/1792.51	c learnt literals	: 0
1800.03/1792.51	c learnt binary clauses	: 0
1800.03/1792.51	c learnt ternary clauses	: 10866
1800.03/1792.51	c learnt constraints	: 14760164
1800.03/1792.51	c ignored constraints	: 0
1800.03/1792.51	c root simplifications	: 336
1800.03/1792.51	c removed literals (reason simplification)	: 580157796
1800.03/1792.51	c reason swapping (by a shorter reason)	: 0
1800.03/1792.51	c Calls to reduceDB	: 238
1800.03/1792.51	c number of reductions to clauses (during analyze)	: 0
1800.03/1792.51	c number of learned constraints concerned by reduction	: 0
1800.03/1792.51	c number of learning phase by resolution	: 0
1800.03/1792.51	c number of learning phase by cutting planes	: 0
1800.03/1792.51	c speed (assignments/second)	: 93335.84623307754
1800.03/1792.51	c non guided choices	2655
1800.03/1792.54	c learnt constraints type 
1800.03/1792.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 308867
1800.03/1792.54	c constraints type 
1800.03/1792.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1244
1800.03/1792.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 203
1800.03/1792.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
1800.03/1792.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1244
1800.03/1792.54	c 2791 constraints processed.
1800.03/1792.54	s SATISFIABLE
1800.03/1792.54	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 x45 -x46 -x47 x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 x60 -x61 -x62 x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 x77 -x78 -x79 x80 x81 x82 -x83 -x84 x85 -x86 x87 x88 -x89 -x90 -x91 x92 x93 -x94 -x95 x96 -x97 x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 x147 -x148 x149 x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 x159 -x160 -x161 x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 x170 -x171 x172 x173 x174 -x175 x176 -x177 x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 x194 -x195 -x196 x197 -x198 x199 -x200 
1800.03/1792.54	c objective function=-25
1800.03/1792.54	c Total wall clock time (in seconds): 1792.427

Verifier Data 

OK	-25

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-3711173-1338172058/watcher-3711173-1338172058 -o /tmp/evaluation-result-3711173-1338172058/solver-3711173-1338172058 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711173-1338172058.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.14 2.06 2.02 3/195 31484
/proc/meminfo: memFree=28924872/32873844 swapFree=6856/6856
[pid=31484] ppid=31482 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/31484/stat : 31484 (java) R 31482 31484 29719 0 -1 4202496 1081 0 0 0 0 0 0 0 20 0 1 0 283330695 23793664 808 33554432000 1073741824 1073778376 140734632157568 140734632146632 140621590962880 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31484/statm: 5809 830 625 9 0 128 0

[startup+0.059336 s]
/proc/loadavg: 2.14 2.06 2.02 3/195 31484
/proc/meminfo: memFree=28924872/32873844 swapFree=6856/6856
[pid=31484] ppid=31482 vsize=9558440 CPUtime=0.05 cores=0,2,4,6
/proc/31484/stat : 31484 (java) S 31482 31484 29719 0 -1 4202496 3260 0 1 0 4 1 0 0 20 0 18 0 283330695 9787842560 3956 33554432000 1073741824 1073778376 140734632157568 140734632148704 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31484/statm: 2389610 3958 1764 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558440

[startup+0.100284 s]
/proc/loadavg: 2.14 2.06 2.02 3/195 31484
/proc/meminfo: memFree=28924872/32873844 swapFree=6856/6856
[pid=31484] ppid=31482 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/31484/stat : 31484 (java) S 31482 31484 29719 0 -1 4202496 4329 0 1 0 9 1 0 0 20 0 18 0 283330695 9787842560 5535 33554432000 1073741824 1073778376 140734632157568 140734632148704 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31484/statm: 2389610 5535 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300252 s]
/proc/loadavg: 2.14 2.06 2.02 3/195 31484
/proc/meminfo: memFree=28924872/32873844 swapFree=6856/6856
[pid=31484] ppid=31482 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/31484/stat : 31484 (java) S 31482 31484 29719 0 -1 4202496 6009 0 1 0 43 2 0 0 20 0 19 0 283330695 9856004096 8823 33554432000 1073741824 1073778376 140734632157568 140734632148704 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31484/statm: 2406251 8823 2243 9 0 2396937 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9625004

[startup+0.700254 s]
/proc/loadavg: 2.14 2.06 2.02 3/195 31484
/proc/meminfo: memFree=28924872/32873844 swapFree=6856/6856
[pid=31484] ppid=31482 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/31484/stat : 31484 (java) S 31482 31484 29719 0 -1 4202496 9788 0 1 0 122 3 0 0 20 0 19 0 283330695 9856004096 11232 33554432000 1073741824 1073778376 140734632157568 140734632148704 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31484/statm: 2406251 11232 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 9625004

[startup+1.5006 s]
/proc/loadavg: 2.14 2.06 2.02 3/214 31503
/proc/meminfo: memFree=28871708/32873844 swapFree=6856/6856
[pid=31484] ppid=31482 vsize=9625004 CPUtime=2.13 cores=0,2,4,6
/proc/31484/stat : 31484 (java) S 31482 31484 29719 0 -1 4202496 9906 0 1 0 210 3 0 0 20 0 19 0 283330695 9856004096 14882 33554432000 1073741824 1073778376 140734632157568 140734632148704 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31484/statm: 2406251 14882 2288 9 0 2396937 0
[pid=31484/tid=31486] ppid=31482 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/31484/task/31486/stat : 31486 (java) R 31482 31484 29719 0 -1 4202560 2567 0 1 0 143 2 0 0 20 0 19 0 283330696 9856004096 14882 33554432000 1073741824 1073778376 140734632157568 140621585383848 140621525531781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31484/tid=31487] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31487/stat : 31487 (java) S 31482 31484 29719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 14882 33554432000 1073741824 1073778376 140734632157568 140621429385768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31484/tid=31488] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31488/stat : 31488 (java) S 31482 31484 29719 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 14882 33554432000 1073741824 1073778376 140734632157568 140621428332968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31489] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31489/stat : 31489 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 14882 33554432000 1073741824 1073778376 140734632157568 140621427280168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31484/tid=31490] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31490/stat : 31490 (java) S 31482 31484 29719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 14882 33554432000 1073741824 1073778376 140734632157568 140621426227368 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31491] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31491/stat : 31491 (java) S 31482 31484 29719 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 14882 33554432000 1073741824 1073778376 140734632157568 140621425175592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31492] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31492/stat : 31492 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 14882 33554432000 1073741824 1073778376 140734632157568 140621424122792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31493] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31493/stat : 31493 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 14882 33554432000 1073741824 1073778376 140734632157568 140621423069992 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31494] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31494/stat : 31494 (java) S 31482 31484 29719 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 14882 33554432000 1073741824 1073778376 140734632157568 140621422017192 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31495] ppid=31482 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/31484/task/31495/stat : 31495 (java) S 31482 31484 29719 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 283330698 9856004096 14882 33554432000 1073741824 1073778376 140734632157568 140621409606120 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31484/tid=31496] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31496/stat : 31496 (java) S 31482 31484 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283330698 9856004096 14882 33554432000 1073741824 1073778376 140734632157568 140621408552184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31497] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31497/stat : 31497 (java) S 31482 31484 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283330698 9856004096 14882 33554432000 1073741824 1073778376 140734632157568 140621407499272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31498] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31498/stat : 31498 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330701 9856004096 14882 33554432000 1073741824 1073778376 140734632157568 140621406447760 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31499] ppid=31482 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/31484/task/31499/stat : 31499 (java) S 31482 31484 29719 0 -1 4202560 3630 0 0 0 30 0 0 0 20 0 19 0 283330701 9856004096 14882 33554432000 1073741824 1073778376 140734632157568 140621405395896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31500] ppid=31482 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/31484/task/31500/stat : 31500 (java) S 31482 31484 29719 0 -1 4202560 2458 0 0 0 30 0 0 0 20 0 19 0 283330701 9856004096 14882 33554432000 1073741824 1073778376 140734632157568 140621404343096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31501] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31501/stat : 31501 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330701 9856004096 14882 33554432000 1073741824 1073778376 140734632157568 140621403290488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31502] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31502/stat : 31502 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330701 9856004096 14882 33554432000 1073741824 1073778376 140734632157568 140621402237896 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31503] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31503/stat : 31503 (java) S 31482 31484 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283330725 9856004096 14882 33554432000 1073741824 1073778376 140734632157568 140621401183400 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 9625004

[startup+3.10069 s]
/proc/loadavg: 2.14 2.06 2.02 3/214 31503
/proc/meminfo: memFree=28864820/32873844 swapFree=6856/6856
[pid=31484] ppid=31482 vsize=9625004 CPUtime=3.78 cores=0,2,4,6
/proc/31484/stat : 31484 (java) S 31482 31484 29719 0 -1 4202496 9969 0 1 0 374 4 0 0 20 0 19 0 283330695 9856004096 15928 33554432000 1073741824 1073778376 140734632157568 140734632148704 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31484/statm: 2406251 15928 2288 9 0 2396937 0
[pid=31484/tid=31486] ppid=31482 vsize=9625004 CPUtime=3 cores=0,2,4,6
/proc/31484/task/31486/stat : 31486 (java) R 31482 31484 29719 0 -1 4202560 2570 0 1 0 298 2 0 0 20 0 19 0 283330696 9856004096 15928 33554432000 1073741824 1073778376 140734632157568 140621585383728 140621525705464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31487] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31487/stat : 31487 (java) S 31482 31484 29719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 15928 33554432000 1073741824 1073778376 140734632157568 140621429385768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31484/tid=31488] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31488/stat : 31488 (java) S 31482 31484 29719 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 15928 33554432000 1073741824 1073778376 140734632157568 140621428332968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31489] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31489/stat : 31489 (java) S 31482 31484 29719 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 15928 33554432000 1073741824 1073778376 140734632157568 140621427280168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31484/tid=31490] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31490/stat : 31490 (java) S 31482 31484 29719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 15928 33554432000 1073741824 1073778376 140734632157568 140621426227368 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31491] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31491/stat : 31491 (java) S 31482 31484 29719 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 15928 33554432000 1073741824 1073778376 140734632157568 140621425175592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31484/tid=31492] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31492/stat : 31492 (java) S 31482 31484 29719 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 15928 33554432000 1073741824 1073778376 140734632157568 140621424122792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31493] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31493/stat : 31493 (java) S 31482 31484 29719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 15928 33554432000 1073741824 1073778376 140734632157568 140621423069992 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31494] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31494/stat : 31494 (java) S 31482 31484 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 15928 33554432000 1073741824 1073778376 140734632157568 140621422017192 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31495] ppid=31482 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/31484/task/31495/stat : 31495 (java) S 31482 31484 29719 0 -1 4202560 33 0 0 0 5 0 0 0 20 0 19 0 283330698 9856004096 15928 33554432000 1073741824 1073778376 140734632157568 140621409606120 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31496] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31496/stat : 31496 (java) S 31482 31484 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283330698 9856004096 15928 33554432000 1073741824 1073778376 140734632157568 140621408552184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31497] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31497/stat : 31497 (java) S 31482 31484 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283330698 9856004096 15928 33554432000 1073741824 1073778376 140734632157568 140621407499272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31498] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31498/stat : 31498 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330701 9856004096 15928 33554432000 1073741824 1073778376 140734632157568 140621406447760 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31499] ppid=31482 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/31484/task/31499/stat : 31499 (java) S 31482 31484 29719 0 -1 4202560 3630 0 0 0 30 0 0 0 20 0 19 0 283330701 9856004096 15928 33554432000 1073741824 1073778376 140734632157568 140621405395896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31500] ppid=31482 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/31484/task/31500/stat : 31500 (java) S 31482 31484 29719 0 -1 4202560 2498 0 0 0 33 0 0 0 20 0 19 0 283330701 9856004096 15928 33554432000 1073741824 1073778376 140734632157568 140621404343096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31501] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31501/stat : 31501 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330701 9856004096 15928 33554432000 1073741824 1073778376 140734632157568 140621403290488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31502] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31502/stat : 31502 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330701 9856004096 15928 33554432000 1073741824 1073778376 140734632157568 140621402237896 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31503] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31503/stat : 31503 (java) S 31482 31484 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283330725 9856004096 15928 33554432000 1073741824 1073778376 140734632157568 140621401183400 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 9625004

[startup+6.30062 s]
/proc/loadavg: 2.13 2.06 2.02 3/214 31503
/proc/meminfo: memFree=28860100/32873844 swapFree=6856/6856
[pid=31484] ppid=31482 vsize=9625004 CPUtime=7.03 cores=0,2,4,6
/proc/31484/stat : 31484 (java) S 31482 31484 29719 0 -1 4202496 9988 0 1 0 699 4 0 0 20 0 19 0 283330695 9856004096 17240 33554432000 1073741824 1073778376 140734632157568 140734632148704 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31484/statm: 2406251 17240 2288 9 0 2396937 0
[pid=31484/tid=31486] ppid=31482 vsize=9625004 CPUtime=6.08 cores=0,2,4,6
/proc/31484/task/31486/stat : 31486 (java) R 31482 31484 29719 0 -1 4202560 2577 0 1 0 606 2 0 0 20 0 19 0 283330696 9856004096 17240 33554432000 1073741824 1073778376 140734632157568 140621585383728 140621525815175 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31484/tid=31487] ppid=31482 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/31484/task/31487/stat : 31487 (java) S 31482 31484 29719 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 283330697 9856004096 17240 33554432000 1073741824 1073778376 140734632157568 140621429385768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31488] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31488/stat : 31488 (java) S 31482 31484 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 17240 33554432000 1073741824 1073778376 140734632157568 140621428332968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31484/tid=31489] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31489/stat : 31489 (java) S 31482 31484 29719 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 17240 33554432000 1073741824 1073778376 140734632157568 140621427280168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31484/tid=31490] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31490/stat : 31490 (java) S 31482 31484 29719 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 17240 33554432000 1073741824 1073778376 140734632157568 140621426227368 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31484/tid=31491] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31491/stat : 31491 (java) S 31482 31484 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 17240 33554432000 1073741824 1073778376 140734632157568 140621425175592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31484/tid=31492] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31492/stat : 31492 (java) S 31482 31484 29719 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 17240 33554432000 1073741824 1073778376 140734632157568 140621424122792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31484/tid=31493] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31493/stat : 31493 (java) S 31482 31484 29719 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 17240 33554432000 1073741824 1073778376 140734632157568 140621423069992 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31494] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31494/stat : 31494 (java) S 31482 31484 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283330697 9856004096 17240 33554432000 1073741824 1073778376 140734632157568 140621422017192 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31495] ppid=31482 vsize=9625004 CPUtime=0.13 cores=0,2,4,6
/proc/31484/task/31495/stat : 31495 (java) S 31482 31484 29719 0 -1 4202560 34 0 0 0 13 0 0 0 20 0 19 0 283330698 9856004096 17240 33554432000 1073741824 1073778376 140734632157568 140621409606120 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31496] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31496/stat : 31496 (java) S 31482 31484 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283330698 9856004096 17240 33554432000 1073741824 1073778376 140734632157568 140621408552184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31497] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31497/stat : 31497 (java) S 31482 31484 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283330698 9856004096 17240 33554432000 1073741824 1073778376 140734632157568 140621407499272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31498] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31498/stat : 31498 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330701 9856004096 17240 33554432000 1073741824 1073778376 140734632157568 140621406447760 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31499] ppid=31482 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/31484/task/31499/stat : 31499 (java) S 31482 31484 29719 0 -1 4202560 3630 0 0 0 30 0 0 0 20 0 19 0 283330701 9856004096 17240 33554432000 1073741824 1073778376 140734632157568 140621405395896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31500] ppid=31482 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/31484/task/31500/stat : 31500 (java) S 31482 31484 29719 0 -1 4202560 2498 0 0 0 33 0 0 0 20 0 19 0 283330701 9856004096 17240 33554432000 1073741824 1073778376 140734632157568 140621404343096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31501] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31501/stat : 31501 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330701 9856004096 17240 33554432000 1073741824 1073778376 140734632157568 140621403290488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31502] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31502/stat : 31502 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330701 9856004096 17240 33554432000 1073741824 1073778376 140734632157568 140621402237896 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31484/tid=31503] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31503/stat : 31503 (java) S 31482 31484 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283330725 9856004096 17240 33554432000 1073741824 1073778376 140734632157568 140621401183400 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=31484/tid=31492] ppid=31482 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/31484/task/31492/stat : 31492 (java) S 31482 31484 29719 0 -1 4202560 290 0 0 0 123 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621424122792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31493] ppid=31482 vsize=9625004 CPUtime=1.24 cores=0,2,4,6
/proc/31484/task/31493/stat : 31493 (java) S 31482 31484 29719 0 -1 4202560 180 0 0 0 120 4 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621423069992 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31494] ppid=31482 vsize=9625004 CPUtime=1.16 cores=0,2,4,6
/proc/31484/task/31494/stat : 31494 (java) S 31482 31484 29719 0 -1 4202560 243 0 0 0 113 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621422017192 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31495] ppid=31482 vsize=9625004 CPUtime=9.57 cores=0,2,4,6
/proc/31484/task/31495/stat : 31495 (java) S 31482 31484 29719 0 -1 4202560 150 0 0 0 955 2 0 0 20 0 19 0 283330698 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621409606120 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31484/tid=31496] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31496/stat : 31496 (java) S 31482 31484 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283330698 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621408552184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31497] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31497/stat : 31497 (java) S 31482 31484 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283330698 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621407499272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31498] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31498/stat : 31498 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621406447760 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31499] ppid=31482 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/31484/task/31499/stat : 31499 (java) S 31482 31484 29719 0 -1 4202560 3630 0 0 0 30 0 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621405395896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31500] ppid=31482 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/31484/task/31500/stat : 31500 (java) S 31482 31484 29719 0 -1 4202560 2529 0 0 0 35 0 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621404343096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31501] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31501/stat : 31501 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621403290488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31502] ppid=31482 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/31484/task/31502/stat : 31502 (java) S 31482 31484 29719 0 -1 4202560 99 0 0 0 17 26 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621402237896 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31484/tid=31503] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31503/stat : 31503 (java) S 31482 31484 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283330725 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621401183400 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1729.68
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 31518
/proc/meminfo: memFree=28377736/32873844 swapFree=6856/6856
[pid=31484] ppid=31482 vsize=9625004 CPUtime=1789.83 cores=0,2,4,6
/proc/31484/stat : 31484 (java) S 31482 31484 29719 0 -1 4202496 12909 0 1 0 178929 54 0 0 20 0 19 0 283330695 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140734632148704 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31484/statm: 2406251 78260 2289 9 0 2396937 0
[pid=31484/tid=31486] ppid=31482 vsize=9625004 CPUtime=1769.42 cores=0,2,4,6
/proc/31484/task/31486/stat : 31486 (java) R 31482 31484 29719 0 -1 4202560 2837 0 1 0 176909 33 0 0 20 0 19 0 283330696 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621585383728 140621525704960 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31487] ppid=31482 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/31484/task/31487/stat : 31487 (java) S 31482 31484 29719 0 -1 4202560 406 0 0 0 120 5 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621429385768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31484/tid=31488] ppid=31482 vsize=9625004 CPUtime=1.3 cores=0,2,4,6
/proc/31484/task/31488/stat : 31488 (java) S 31482 31484 29719 0 -1 4202560 296 0 0 0 127 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621428332968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31484/tid=31489] ppid=31482 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/31484/task/31489/stat : 31489 (java) S 31482 31484 29719 0 -1 4202560 280 0 0 0 114 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621427280168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31484/tid=31490] ppid=31482 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/31484/task/31490/stat : 31490 (java) S 31482 31484 29719 0 -1 4202560 330 0 0 0 123 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621426227368 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31491] ppid=31482 vsize=9625004 CPUtime=1.18 cores=0,2,4,6
/proc/31484/task/31491/stat : 31491 (java) S 31482 31484 29719 0 -1 4202560 452 0 0 0 115 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621425175592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31492] ppid=31482 vsize=9625004 CPUtime=1.28 cores=0,2,4,6
/proc/31484/task/31492/stat : 31492 (java) S 31482 31484 29719 0 -1 4202560 290 0 0 0 125 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621424122792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31484/tid=31493] ppid=31482 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/31484/task/31493/stat : 31493 (java) S 31482 31484 29719 0 -1 4202560 180 0 0 0 122 4 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621423069992 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31494] ppid=31482 vsize=9625004 CPUtime=1.18 cores=0,2,4,6
/proc/31484/task/31494/stat : 31494 (java) S 31482 31484 29719 0 -1 4202560 243 0 0 0 115 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621422017192 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31495] ppid=31482 vsize=9625004 CPUtime=9.75 cores=0,2,4,6
/proc/31484/task/31495/stat : 31495 (java) S 31482 31484 29719 0 -1 4202560 152 0 0 0 972 3 0 0 20 0 19 0 283330698 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621409606120 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31484/tid=31496] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31496/stat : 31496 (java) S 31482 31484 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283330698 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621408552184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31497] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31497/stat : 31497 (java) S 31482 31484 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283330698 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621407499272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31498] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31498/stat : 31498 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621406447760 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31499] ppid=31482 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/31484/task/31499/stat : 31499 (java) S 31482 31484 29719 0 -1 4202560 3630 0 0 0 30 0 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621405395896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31500] ppid=31482 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/31484/task/31500/stat : 31500 (java) S 31482 31484 29719 0 -1 4202560 2529 0 0 0 35 0 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621404343096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31501] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31501/stat : 31501 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621403290488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31502] ppid=31482 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/31484/task/31502/stat : 31502 (java) S 31482 31484 29719 0 -1 4202560 103 0 0 0 19 26 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621402237896 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31503] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31503/stat : 31503 (java) S 31482 31484 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283330725 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621401183400 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1789.83
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 31634
/proc/meminfo: memFree=28601460/32873844 swapFree=6856/6856
[pid=31484] ppid=31482 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6
/proc/31484/stat : 31484 (java) S 31482 31484 29719 0 -1 4202496 12909 0 1 0 179949 54 0 0 20 0 19 0 283330695 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140734632148704 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31484/statm: 2406251 78260 2289 9 0 2396937 0
[pid=31484/tid=31486] ppid=31482 vsize=9625004 CPUtime=1779.62 cores=0,2,4,6
/proc/31484/task/31486/stat : 31486 (java) R 31482 31484 29719 0 -1 4202560 2837 0 1 0 177928 34 0 0 20 0 19 0 283330696 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621585383728 140621525640612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31487] ppid=31482 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/31484/task/31487/stat : 31487 (java) S 31482 31484 29719 0 -1 4202560 406 0 0 0 120 5 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621429385768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31484/tid=31488] ppid=31482 vsize=9625004 CPUtime=1.3 cores=0,2,4,6
/proc/31484/task/31488/stat : 31488 (java) S 31482 31484 29719 0 -1 4202560 296 0 0 0 127 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621428332968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31484/tid=31489] ppid=31482 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/31484/task/31489/stat : 31489 (java) S 31482 31484 29719 0 -1 4202560 280 0 0 0 114 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621427280168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31484/tid=31490] ppid=31482 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/31484/task/31490/stat : 31490 (java) S 31482 31484 29719 0 -1 4202560 330 0 0 0 123 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621426227368 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31491] ppid=31482 vsize=9625004 CPUtime=1.18 cores=0,2,4,6
/proc/31484/task/31491/stat : 31491 (java) S 31482 31484 29719 0 -1 4202560 452 0 0 0 115 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621425175592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31492] ppid=31482 vsize=9625004 CPUtime=1.28 cores=0,2,4,6
/proc/31484/task/31492/stat : 31492 (java) S 31482 31484 29719 0 -1 4202560 290 0 0 0 125 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621424122792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31484/tid=31493] ppid=31482 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/31484/task/31493/stat : 31493 (java) S 31482 31484 29719 0 -1 4202560 180 0 0 0 122 4 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621423069992 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31494] ppid=31482 vsize=9625004 CPUtime=1.18 cores=0,2,4,6
/proc/31484/task/31494/stat : 31494 (java) S 31482 31484 29719 0 -1 4202560 243 0 0 0 115 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621422017192 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31495] ppid=31482 vsize=9625004 CPUtime=9.75 cores=0,2,4,6
/proc/31484/task/31495/stat : 31495 (java) S 31482 31484 29719 0 -1 4202560 152 0 0 0 972 3 0 0 20 0 19 0 283330698 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621409606120 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31484/tid=31496] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31496/stat : 31496 (java) S 31482 31484 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283330698 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621408552184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31497] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31497/stat : 31497 (java) S 31482 31484 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283330698 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621407499272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31498] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31498/stat : 31498 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621406447760 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31499] ppid=31482 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/31484/task/31499/stat : 31499 (java) S 31482 31484 29719 0 -1 4202560 3630 0 0 0 30 0 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621405395896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31500] ppid=31482 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/31484/task/31500/stat : 31500 (java) S 31482 31484 29719 0 -1 4202560 2529 0 0 0 35 0 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621404343096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31501] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31501/stat : 31501 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621403290488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31502] ppid=31482 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/31484/task/31502/stat : 31502 (java) S 31482 31484 29719 0 -1 4202560 103 0 0 0 19 26 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621402237896 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31503] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31503/stat : 31503 (java) S 31482 31484 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283330725 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621401183400 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1792.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 31634
/proc/meminfo: memFree=28601460/32873844 swapFree=6856/6856
[pid=31484] ppid=31482 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6
/proc/31484/stat : 31484 (java) S 31482 31484 29719 0 -1 4202496 12909 0 1 0 179949 54 0 0 20 0 19 0 283330695 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140734632148704 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31484/statm: 2406251 78260 2289 9 0 2396937 0
[pid=31484/tid=31486] ppid=31482 vsize=9625004 CPUtime=1779.62 cores=0,2,4,6
/proc/31484/task/31486/stat : 31486 (java) R 31482 31484 29719 0 -1 4202560 2837 0 1 0 177928 34 0 0 20 0 19 0 283330696 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621585383728 140621525640612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31487] ppid=31482 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/31484/task/31487/stat : 31487 (java) S 31482 31484 29719 0 -1 4202560 406 0 0 0 120 5 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621429385768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31484/tid=31488] ppid=31482 vsize=9625004 CPUtime=1.3 cores=0,2,4,6
/proc/31484/task/31488/stat : 31488 (java) S 31482 31484 29719 0 -1 4202560 296 0 0 0 127 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621428332968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31484/tid=31489] ppid=31482 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/31484/task/31489/stat : 31489 (java) S 31482 31484 29719 0 -1 4202560 280 0 0 0 114 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621427280168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31484/tid=31490] ppid=31482 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/31484/task/31490/stat : 31490 (java) S 31482 31484 29719 0 -1 4202560 330 0 0 0 123 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621426227368 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31491] ppid=31482 vsize=9625004 CPUtime=1.18 cores=0,2,4,6
/proc/31484/task/31491/stat : 31491 (java) S 31482 31484 29719 0 -1 4202560 452 0 0 0 115 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621425175592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31492] ppid=31482 vsize=9625004 CPUtime=1.28 cores=0,2,4,6
/proc/31484/task/31492/stat : 31492 (java) S 31482 31484 29719 0 -1 4202560 290 0 0 0 125 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621424122792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31484/tid=31493] ppid=31482 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/31484/task/31493/stat : 31493 (java) S 31482 31484 29719 0 -1 4202560 180 0 0 0 122 4 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621423069992 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31494] ppid=31482 vsize=9625004 CPUtime=1.18 cores=0,2,4,6
/proc/31484/task/31494/stat : 31494 (java) S 31482 31484 29719 0 -1 4202560 243 0 0 0 115 3 0 0 20 0 19 0 283330697 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621422017192 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31495] ppid=31482 vsize=9625004 CPUtime=9.75 cores=0,2,4,6
/proc/31484/task/31495/stat : 31495 (java) S 31482 31484 29719 0 -1 4202560 152 0 0 0 972 3 0 0 20 0 19 0 283330698 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621409606120 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31484/tid=31496] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31496/stat : 31496 (java) S 31482 31484 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283330698 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621408552184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31497] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31497/stat : 31497 (java) S 31482 31484 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283330698 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621407499272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31498] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31498/stat : 31498 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621406447760 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31499] ppid=31482 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/31484/task/31499/stat : 31499 (java) S 31482 31484 29719 0 -1 4202560 3630 0 0 0 30 0 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621405395896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31500] ppid=31482 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/31484/task/31500/stat : 31500 (java) S 31482 31484 29719 0 -1 4202560 2529 0 0 0 35 0 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621404343096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31501] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31501/stat : 31501 (java) S 31482 31484 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621403290488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31484/tid=31502] ppid=31482 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/31484/task/31502/stat : 31502 (java) S 31482 31484 29719 0 -1 4202560 103 0 0 0 19 26 0 0 20 0 19 0 283330701 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621402237896 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31484/tid=31503] ppid=31482 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31484/task/31503/stat : 31503 (java) S 31482 31484 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283330725 9856004096 78260 33554432000 1073741824 1073778376 140734632157568 140621401183400 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1792.55
CPU time (s): 1800.72
CPU user time (s): 1799.68
CPU system time (s): 1.04284
CPU usage (%): 100.456
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 1.04284
maximum resident set size= 315220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12947
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44650
involuntary context switches= 32489

runsolver used 6.71998 second user time and 13.243 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-28 04:27:38
IDJOB=3711173
IDBENCH=48245
IDSOLVER=2289
FILE ID=node144/3711173-1338172058
RUNJOBID= node144-1338157682-29735
PBS_JOBID= 14624532
Free space on /tmp= 71472 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_3.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711173-1338172058/watcher-3711173-1338172058 -o /tmp/evaluation-result-3711173-1338172058/solver-3711173-1338172058 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711173-1338172058.opb

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

MD5SUM BENCH= 4ec3492215da9d1ca4e43111c42870de
RANDOM SEED=373513280

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28925244 kB
Buffers:          382252 kB
Cached:          2640712 kB
SwapCached:            0 kB
Active:           920972 kB
Inactive:        2188696 kB
Active(anon):      88152 kB
Inactive(anon):        0 kB
Active(file):     832820 kB
Inactive(file):  2188696 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1900 kB
Writeback:             0 kB
AnonPages:         92504 kB
Mapped:            22564 kB
Shmem:               200 kB
Slab:             697524 kB
SReclaimable:     139608 kB
SUnreclaim:       557916 kB
KernelStack:        1608 kB
PageTables:         4376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     697908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 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= 71472 MiB
End job on node144 at 2012-05-28 04:57:32