Trace number 3689502

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 RES // CP 2.3.2 SnapshotSAT (TO)104 1800.15 941.628

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-go19.opb
MD5SUMac3a0c512b81d5e532f489853538ca8f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark84
Best CPU time to get the best result obtained on this benchmark1796.78
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables441
Total number of constraints441
Number of constraints which are clauses361
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint5
Number of terms in the objective function 361
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 361
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 361
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3689502-1337882653.opb
0.10/0.11	c reading problem ... 
0.25/0.20	c ... done. Wall clock time 0.09s.
0.25/0.20	c declared #vars     441
0.25/0.20	c #constraints  441
0.25/0.20	c constraints type 
0.25/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 361
0.25/0.20	c ignored satisfied constraints => 80
0.25/0.20	c org.sat4j.minisat.constraints.cnf.UnitClause => 80
0.25/0.20	c 521 constraints processed.
0.25/0.20	c constraints type 
0.25/0.20	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 361
0.25/0.20	c ignored satisfied constraints => 80
0.25/0.20	c org.sat4j.pb.constraints.pb.UnitClausePB => 80
0.25/0.20	c 521 constraints processed.
0.25/0.20	c objective function length is 361 literals
0.25/0.22	c  And the winner is solver1
0.33/0.71	c SATISFIABLE
0.33/0.71	c OPTIMIZING...
0.33/0.71	c Got one! Elapsed wall clock time (in seconds):0.593
0.33/0.71	o 141
0.33/0.72	c  And the winner is solver0
0.38/1.21	c Got one! Elapsed wall clock time (in seconds):1.098
0.38/1.21	o 140
0.38/1.22	c  And the winner is solver0
0.45/1.71	c Got one! Elapsed wall clock time (in seconds):1.6
0.45/1.71	o 139
0.45/1.78	c  And the winner is solver1
0.78/2.22	c Got one! Elapsed wall clock time (in seconds):2.102
0.78/2.22	o 138
0.78/2.27	c  And the winner is solver1
1.17/2.72	c Got one! Elapsed wall clock time (in seconds):2.604
1.17/2.72	o 137
1.17/2.78	c  And the winner is solver1
1.49/3.22	c Got one! Elapsed wall clock time (in seconds):3.106
1.49/3.22	o 136
1.49/3.24	c  And the winner is solver1
1.57/3.72	c Got one! Elapsed wall clock time (in seconds):3.608
1.57/3.72	o 135
1.57/3.78	c  And the winner is solver1
1.79/4.22	c Got one! Elapsed wall clock time (in seconds):4.11
1.79/4.22	o 134
1.79/4.27	c  And the winner is solver1
1.95/4.72	c Got one! Elapsed wall clock time (in seconds):4.611
1.95/4.72	o 133
1.95/4.74	c  And the winner is solver1
2.00/5.23	c Got one! Elapsed wall clock time (in seconds):5.113
2.00/5.23	o 118
2.00/5.29	c cleaning 3162 clauses out of 6324 with flag 1000/6324
2.39/5.43	c  And the winner is solver1
2.48/5.73	c Got one! Elapsed wall clock time (in seconds):5.615
2.48/5.73	o 117
2.67/5.86	c cleaning 4304 clauses out of 8608 with flag 3002/11770
3.31/6.15	c cleaning 5147 clauses out of 10302 with flag 9000/17768
3.69/6.40	c  And the winner is solver1
3.90/6.73	c Got one! Elapsed wall clock time (in seconds):6.616
3.90/6.73	o 116
4.23/6.96	c cleaning 7773 clauses out of 15545 with flag 5002/28158
4.84/7.26	c  And the winner is solver1
4.99/7.73	c Got one! Elapsed wall clock time (in seconds):7.618
4.99/7.73	o 115
4.99/7.79	c cleaning 6861 clauses out of 13724 with flag 1002/34110
5.75/8.12	c cleaning 6430 clauses out of 12861 with flag 7000/40108
6.56/8.50	c cleaning 6716 clauses out of 13431 with flag 14000/47108
6.92/8.71	c  And the winner is solver1
6.92/8.73	c Got one! Elapsed wall clock time (in seconds):8.619
6.92/8.73	o 114
7.09/8.83	c cleaning 5943 clauses out of 11891 with flag 2000/52284
7.86/9.20	c cleaning 5972 clauses out of 11948 with flag 8000/58284
8.65/9.60	c cleaning 6485 clauses out of 12976 with flag 15000/65284
8.98/9.85	c  And the winner is solver1
9.11/10.28	c Got one! Elapsed wall clock time (in seconds):10.168
9.11/10.28	o 113
9.15/10.38	c cleaning 6104 clauses out of 12211 with flag 2001/71004
9.67/10.69	c  And the winner is solver1
9.86/10.78	c Got one! Elapsed wall clock time (in seconds):10.669
9.86/10.78	o 112
10.34/11.04	c cleaning 8256 clauses out of 16511 with flag 5000/81408
11.02/11.47	c  And the winner is solver1
11.02/11.47	c cleaning 7126 clauses out of 14255 with flag 11000/87408
11.31/11.78	c Got one! Elapsed wall clock time (in seconds):11.67
11.31/11.78	o 111
11.73/12.01	c cleaning 6063 clauses out of 12129 with flag 5000/92408
12.24/12.39	c cleaning 6031 clauses out of 12067 with flag 11001/98409
13.15/12.81	c cleaning 6513 clauses out of 13035 with flag 18000/105408
14.03/13.37	c cleaning 7257 clauses out of 14522 with flag 26000/113408
14.91/13.89	c cleaning 8132 clauses out of 16265 with flag 35000/122408
16.19/14.52	c cleaning 9067 clauses out of 18134 with flag 45001/132409
16.89/14.93	c  And the winner is solver1
16.96/15.29	c Got one! Elapsed wall clock time (in seconds):15.173
16.96/15.29	o 110
17.39/15.53	c cleaning 10107 clauses out of 20221 with flag 5000/143563
18.19/16.03	c cleaning 8055 clauses out of 16115 with flag 11001/149564
19.08/16.52	c cleaning 7529 clauses out of 15059 with flag 18000/156563
19.34/16.73	c  And the winner is solver1
19.34/16.79	c Got one! Elapsed wall clock time (in seconds):16.675
19.34/16.79	o 109
19.62/16.96	c cleaning 6501 clauses out of 13004 with flag 4000/162037
20.28/17.39	c cleaning 6252 clauses out of 12503 with flag 10000/168037
21.28/17.93	c cleaning 6627 clauses out of 13253 with flag 17002/175039
21.76/18.22	c  And the winner is solver1
21.76/18.29	c Got one! Elapsed wall clock time (in seconds):18.176
21.76/18.29	o 108
21.82/18.38	c cleaning 5908 clauses out of 11817 with flag 2000/180230
22.48/18.78	c cleaning 5950 clauses out of 11910 with flag 8001/186231
23.33/19.23	c cleaning 6477 clauses out of 12959 with flag 15000/193230
24.33/19.84	c cleaning 7238 clauses out of 14482 with flag 23000/201230
25.36/20.49	c cleaning 8120 clauses out of 16244 with flag 32000/210230
26.59/21.12	c cleaning 9059 clauses out of 18124 with flag 42000/220230
27.84/21.80	c cleaning 10031 clauses out of 20065 with flag 53000/231230
29.17/22.66	c cleaning 11017 clauses out of 22034 with flag 65000/243230
30.63/23.49	c cleaning 12006 clauses out of 24018 with flag 78001/256231
31.05/23.70	c  And the winner is solver1
31.06/23.85	c Got one! Elapsed wall clock time (in seconds):23.74
31.06/23.85	o 107
31.35/24.09	c cleaning 8658 clauses out of 17316 with flag 5002/261535
32.17/24.60	c cleaning 7328 clauses out of 14657 with flag 11001/267534
33.29/25.25	c cleaning 7162 clauses out of 14330 with flag 18002/274535
34.32/25.84	c cleaning 7578 clauses out of 15166 with flag 26000/282533
35.34/26.49	c cleaning 8290 clauses out of 16588 with flag 35000/291533
36.74/27.22	c cleaning 9150 clauses out of 18299 with flag 45001/301534
38.25/28.16	c cleaning 10069 clauses out of 20148 with flag 56000/312533
39.84/29.08	c cleaning 11040 clauses out of 22080 with flag 68001/324534
41.85/30.11	c cleaning 12011 clauses out of 24039 with flag 81000/337533
43.27/30.95	c  And the winner is solver1
43.38/31.37	c Got one! Elapsed wall clock time (in seconds):31.259
43.38/31.37	o 106
43.84/31.69	c cleaning 15387 clauses out of 30773 with flag 5000/356278
44.94/32.37	c cleaning 10692 clauses out of 21388 with flag 11002/362280
45.95/32.98	c cleaning 8847 clauses out of 17694 with flag 18000/369278
47.15/33.65	c cleaning 8424 clauses out of 16847 with flag 26000/377278
48.35/34.34	c cleaning 8711 clauses out of 17423 with flag 35000/386278
50.03/35.32	c cleaning 9354 clauses out of 18712 with flag 45000/396278
51.61/36.25	c cleaning 10173 clauses out of 20358 with flag 56000/407278
53.00/37.07	c  And the winner is solver1
53.18/37.20	c Got one! Elapsed wall clock time (in seconds):37.083
53.18/37.20	o 105
53.60/37.46	c cleaning 12439 clauses out of 24881 with flag 5001/421974
54.55/38.01	c cleaning 9218 clauses out of 18441 with flag 11000/427973
55.60/38.71	c cleaning 8112 clauses out of 16225 with flag 18002/434975
56.58/39.31	c cleaning 8052 clauses out of 16112 with flag 26001/442974
57.55/39.94	c cleaning 8529 clauses out of 17059 with flag 35000/451973
58.72/40.62	c cleaning 9260 clauses out of 18531 with flag 45001/461974
60.31/41.60	c cleaning 10130 clauses out of 20270 with flag 56000/472973
61.68/42.44	c cleaning 11067 clauses out of 22141 with flag 68001/484974
63.24/43.33	c cleaning 12034 clauses out of 24075 with flag 81002/497975
65.00/44.37	c cleaning 13017 clauses out of 26039 with flag 95000/511973
67.19/45.65	c cleaning 14008 clauses out of 28022 with flag 110000/526973
69.76/47.05	c cleaning 15007 clauses out of 30016 with flag 126002/542975
72.11/48.40	c cleaning 15998 clauses out of 32008 with flag 143001/559974
74.86/49.83	c cleaning 17002 clauses out of 34009 with flag 161000/577973
78.02/51.61	c cleaning 18001 clauses out of 36008 with flag 180001/596974
80.74/53.18	c cleaning 19000 clauses out of 38007 with flag 200001/616974
83.85/54.83	c cleaning 19997 clauses out of 40006 with flag 221000/637973
85.97/56.10	c  And the winner is solver1
86.11/56.15	c Got one! Elapsed wall clock time (in seconds):56.035
86.11/56.15	o 104
86.60/56.48	c cleaning 20760 clauses out of 41519 with flag 5000/659483
87.71/57.30	c cleaning 13376 clauses out of 26761 with flag 11002/665485
88.79/57.94	c cleaning 10191 clauses out of 20384 with flag 18001/672484
89.88/58.63	c cleaning 9093 clauses out of 18192 with flag 26000/680483
90.97/59.38	c cleaning 9049 clauses out of 18099 with flag 35000/689483
92.49/60.37	c cleaning 9520 clauses out of 19050 with flag 45000/699483
93.97/61.27	c cleaning 10264 clauses out of 20530 with flag 56000/710483
95.67/62.20	c cleaning 11132 clauses out of 22266 with flag 68000/722483
97.37/63.24	c cleaning 12065 clauses out of 24136 with flag 81002/735485
99.66/64.63	c cleaning 13032 clauses out of 26069 with flag 95000/749483
101.36/65.69	c cleaning 14014 clauses out of 28038 with flag 110001/764484
103.45/66.84	c cleaning 15008 clauses out of 30023 with flag 126000/780483
105.34/67.98	c cleaning 16003 clauses out of 32015 with flag 143000/797483
107.83/69.44	c cleaning 17005 clauses out of 34015 with flag 161003/815486
110.09/70.78	c cleaning 18001 clauses out of 36007 with flag 180000/834483
112.76/72.24	c cleaning 19002 clauses out of 38009 with flag 200003/854486
115.25/73.67	c cleaning 20001 clauses out of 40004 with flag 221000/875483
118.34/75.40	c cleaning 20999 clauses out of 42003 with flag 243000/897483
121.01/76.96	c cleaning 22001 clauses out of 44005 with flag 266001/920484
124.09/78.66	c cleaning 22998 clauses out of 46004 with flag 290001/944484
127.37/80.46	c cleaning 23999 clauses out of 48005 with flag 315000/969483
131.43/82.73	c cleaning 25001 clauses out of 50006 with flag 341000/995483
135.33/84.84	c cleaning 25998 clauses out of 52006 with flag 368001/1022484
139.19/86.99	c cleaning 27002 clauses out of 54008 with flag 396001/1050484
143.46/89.28	c cleaning 27999 clauses out of 56005 with flag 425000/1079483
148.47/92.08	c cleaning 28997 clauses out of 58006 with flag 455000/1109483
153.72/94.87	c cleaning 30002 clauses out of 60010 with flag 486001/1140484
159.39/97.87	c cleaning 30999 clauses out of 62007 with flag 518000/1172483
165.26/100.98	c cleaning 32002 clauses out of 64010 with flag 551002/1205485
171.48/104.38	c cleaning 32999 clauses out of 66006 with flag 585000/1239483
178.17/107.85	c cleaning 33999 clauses out of 68008 with flag 620001/1274484
186.03/111.97	c cleaning 35000 clauses out of 70009 with flag 656001/1310484
193.28/115.72	c cleaning 36002 clauses out of 72008 with flag 693000/1347483
200.98/119.85	c cleaning 36998 clauses out of 74007 with flag 731001/1385484
210.03/124.51	c cleaning 38000 clauses out of 76008 with flag 770000/1424483
218.70/129.06	c cleaning 38997 clauses out of 78009 with flag 810001/1464484
225.36/132.53	c cleaning 39999 clauses out of 80011 with flag 851000/1505483
232.20/136.25	c cleaning 41003 clauses out of 82013 with flag 893001/1547484
239.48/140.01	c cleaning 41998 clauses out of 84010 with flag 936001/1590484
245.92/143.42	c cleaning 43001 clauses out of 86011 with flag 980000/1634483
252.20/146.71	c cleaning 43997 clauses out of 88010 with flag 1025000/1679483
258.61/150.24	c cleaning 45004 clauses out of 90014 with flag 1071001/1725484
265.68/153.97	c cleaning 46001 clauses out of 92009 with flag 1118000/1772483
272.74/157.64	c cleaning 47002 clauses out of 94008 with flag 1166000/1820483
280.21/161.57	c cleaning 47997 clauses out of 96007 with flag 1215001/1869484
287.51/165.46	c cleaning 48999 clauses out of 98010 with flag 1265001/1919484
295.56/169.63	c cleaning 50002 clauses out of 100011 with flag 1316001/1970484
303.86/173.97	c cleaning 51002 clauses out of 102009 with flag 1368001/2022484
313.70/179.03	c cleaning 52000 clauses out of 104006 with flag 1421000/2075483
324.41/184.69	c cleaning 53002 clauses out of 106008 with flag 1475002/2129485
335.07/190.13	c cleaning 53997 clauses out of 108004 with flag 1530000/2184483
346.94/196.29	c cleaning 54997 clauses out of 110007 with flag 1586000/2240483
359.64/202.79	c cleaning 55996 clauses out of 112010 with flag 1643000/2297483
371.04/208.71	c cleaning 57003 clauses out of 114015 with flag 1701001/2355484
383.51/215.16	c cleaning 58004 clauses out of 116011 with flag 1760000/2414483
397.39/222.24	c cleaning 58993 clauses out of 118007 with flag 1820000/2474483
408.44/227.94	c cleaning 60004 clauses out of 120016 with flag 1881002/2535485
419.07/233.51	c cleaning 61002 clauses out of 122011 with flag 1943001/2597484
429.93/239.13	c cleaning 61998 clauses out of 124008 with flag 2006000/2660483
442.20/245.47	c cleaning 63001 clauses out of 126011 with flag 2070001/2724484
453.03/251.03	c cleaning 64001 clauses out of 128009 with flag 2135000/2789483
466.48/258.00	c cleaning 64997 clauses out of 130010 with flag 2201002/2855485
478.34/264.14	c cleaning 66002 clauses out of 132011 with flag 2268000/2922483
490.17/270.28	c cleaning 66996 clauses out of 134010 with flag 2336001/2990484
500.62/275.62	c cleaning 68005 clauses out of 136013 with flag 2405000/3059483
511.08/281.11	c cleaning 68993 clauses out of 138008 with flag 2475000/3129483
520.55/286.07	c cleaning 70003 clauses out of 140015 with flag 2546000/3200483
530.41/291.19	c cleaning 71001 clauses out of 142013 with flag 2618001/3272484
539.89/296.01	c cleaning 72001 clauses out of 144012 with flag 2691001/3345484
551.71/302.23	c cleaning 72996 clauses out of 146010 with flag 2765000/3419483
564.79/308.96	c cleaning 74004 clauses out of 148014 with flag 2840000/3494483
578.83/316.13	c cleaning 74999 clauses out of 150010 with flag 2916000/3570483
594.05/323.94	c cleaning 76005 clauses out of 152011 with flag 2993000/3647483
606.65/330.53	c cleaning 76998 clauses out of 154006 with flag 3071000/3725483
618.70/336.75	c cleaning 78000 clauses out of 156009 with flag 3150001/3804484
630.13/342.65	c cleaning 79001 clauses out of 158011 with flag 3230003/3884486
643.17/349.31	c cleaning 79998 clauses out of 160008 with flag 3311001/3965484
655.36/355.71	c cleaning 80998 clauses out of 162009 with flag 3393000/4047483
669.59/363.03	c cleaning 82003 clauses out of 164011 with flag 3476000/4130483
682.21/369.56	c cleaning 82999 clauses out of 166008 with flag 3560000/4214483
696.25/376.76	c cleaning 83999 clauses out of 168011 with flag 3645002/4299485
710.26/384.00	c cleaning 84999 clauses out of 170011 with flag 3731001/4385484
722.07/390.15	c cleaning 85996 clauses out of 172012 with flag 3818001/4472484
735.71/397.17	c cleaning 87005 clauses out of 174015 with flag 3906000/4560483
749.73/404.39	c cleaning 88002 clauses out of 176011 with flag 3995001/4649484
762.11/410.88	c cleaning 89000 clauses out of 178008 with flag 4085000/4739483
774.72/417.32	c cleaning 90001 clauses out of 180008 with flag 4176000/4830483
788.97/424.68	c cleaning 90993 clauses out of 182007 with flag 4268000/4922483
803.18/431.97	c cleaning 92001 clauses out of 184014 with flag 4361000/5015483
816.66/438.98	c cleaning 93005 clauses out of 186013 with flag 4455000/5109483
830.68/446.13	c cleaning 93996 clauses out of 188008 with flag 4550000/5204483
845.10/453.60	c cleaning 95001 clauses out of 190013 with flag 4646001/5300484
861.32/461.85	c cleaning 95998 clauses out of 192011 with flag 4743000/5397483
877.90/470.42	c cleaning 97003 clauses out of 194014 with flag 4841001/5495484
893.52/478.49	c cleaning 97997 clauses out of 196011 with flag 4940001/5594484
910.54/487.12	c cleaning 98999 clauses out of 198014 with flag 5040001/5694484
925.17/494.61	c cleaning 100002 clauses out of 200014 with flag 5141000/5795483
939.14/501.94	c cleaning 100998 clauses out of 202014 with flag 5243002/5897485
953.35/509.20	c cleaning 102000 clauses out of 204014 with flag 5346000/6000483
969.37/517.40	c cleaning 103002 clauses out of 206014 with flag 5450000/6104483
985.20/525.55	c cleaning 103998 clauses out of 208012 with flag 5555000/6209483
1000.58/533.55	c cleaning 104997 clauses out of 210014 with flag 5661000/6315483
1017.58/542.27	c cleaning 106003 clauses out of 212017 with flag 5768000/6422483
1038.80/553.09	c cleaning 107001 clauses out of 214014 with flag 5876000/6530483
1057.43/562.55	c cleaning 108003 clauses out of 216013 with flag 5985000/6639483
1073.80/570.95	c cleaning 108994 clauses out of 218010 with flag 6095000/6749483
1091.41/579.97	c cleaning 109998 clauses out of 220016 with flag 6206000/6860483
1110.02/589.42	c cleaning 111007 clauses out of 222018 with flag 6318000/6972483
1127.85/598.60	c cleaning 112002 clauses out of 224012 with flag 6431001/7085484
1149.11/609.40	c cleaning 113001 clauses out of 226011 with flag 6545002/7199485
1168.91/619.55	c cleaning 113998 clauses out of 228008 with flag 6660000/7314483
1186.73/628.62	c cleaning 114995 clauses out of 230010 with flag 6776000/7430483
1207.55/639.30	c cleaning 116000 clauses out of 232017 with flag 6893002/7547485
1227.50/649.57	c cleaning 117007 clauses out of 234015 with flag 7011000/7665483
1245.71/658.86	c cleaning 118003 clauses out of 236009 with flag 7130001/7784484
1265.54/668.97	c cleaning 119001 clauses out of 238006 with flag 7250001/7904484
1287.53/680.10	c cleaning 120000 clauses out of 240004 with flag 7371000/8025483
1307.48/690.47	c cleaning 121001 clauses out of 242005 with flag 7493001/8147484
1327.09/700.43	c cleaning 121994 clauses out of 244004 with flag 7616001/8270484
1347.32/710.76	c cleaning 123001 clauses out of 246010 with flag 7740001/8394484
1368.52/721.58	c cleaning 123996 clauses out of 248010 with flag 7865002/8519485
1386.67/730.95	c cleaning 125003 clauses out of 250013 with flag 7991001/8645484
1407.08/741.36	c cleaning 126001 clauses out of 252009 with flag 8118000/8772483
1426.49/751.30	c cleaning 126996 clauses out of 254008 with flag 8246000/8900483
1450.52/763.47	c cleaning 128002 clauses out of 256013 with flag 8375001/9029484
1474.85/775.95	c cleaning 129003 clauses out of 258011 with flag 8505001/9159484
1497.87/787.70	c cleaning 129992 clauses out of 260008 with flag 8636001/9290484
1521.87/799.81	c cleaning 131003 clauses out of 262017 with flag 8768002/9422485
1545.68/811.94	c cleaning 132000 clauses out of 264012 with flag 8901000/9555483
1566.84/822.82	c cleaning 133003 clauses out of 266012 with flag 9035000/9689483
1589.44/834.34	c cleaning 134000 clauses out of 268009 with flag 9170000/9824483
1612.65/846.16	c cleaning 134994 clauses out of 270009 with flag 9306000/9960483
1637.06/858.59	c cleaning 136002 clauses out of 272015 with flag 9443000/10097483
1662.01/871.36	c cleaning 137003 clauses out of 274013 with flag 9581000/10235483
1686.40/883.71	c cleaning 138001 clauses out of 276013 with flag 9720003/10374486
1712.21/896.81	c cleaning 138997 clauses out of 278011 with flag 9860002/10514485
1736.62/909.25	c cleaning 140000 clauses out of 280013 with flag 10001001/10655484
1760.32/921.33	c cleaning 140994 clauses out of 282012 with flag 10143000/10797483
1782.53/932.66	c cleaning 142008 clauses out of 284019 with flag 10286001/10940484
1800.15/941.61	c starts		: 45
1800.15/941.61	c conflicts		: 4976
1800.15/941.61	c decisions		: 24955
1800.15/941.61	c propagations		: 112782
1800.15/941.61	c inspects		: 44433254
1800.15/941.61	c shortcuts		: 0
1800.15/941.61	c learnt literals	: 0
1800.15/941.61	c learnt binary clauses	: 0
1800.15/941.61	c learnt ternary clauses	: 0
1800.15/941.61	c learnt constraints	: 4974
1800.15/941.61	c ignored constraints	: 0
1800.15/941.61	c root simplifications	: 0
1800.15/941.61	c removed literals (reason simplification)	: 0
1800.15/941.61	c reason swapping (by a shorter reason)	: 0
1800.15/941.61	c Calls to reduceDB	: 0
1800.15/941.61	c number of reductions to clauses (during analyze)	: 0
1800.15/941.61	c number of learned constraints concerned by reduction	: 0
1800.15/941.61	c number of learning phase by resolution	: 0
1800.15/941.61	c number of learning phase by cutting planes	: 0
1800.15/941.62	c speed (assignments/second)	: 119.99387167543712
1800.15/941.62	c non guided choices	0
1800.15/941.62	c learnt constraints type 
1800.15/941.62	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 679
1800.15/941.62	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4295
1800.15/941.62	c constraints type 
1800.15/941.62	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 361
1800.15/941.62	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.15/941.62	c ignored satisfied constraints => 80
1800.15/941.62	c org.sat4j.minisat.constraints.cnf.UnitClause => 80
1800.15/941.62	c 522 constraints processed.
1800.15/941.62	c constraints type 
1800.15/941.62	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 361
1800.15/941.62	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.15/941.62	c ignored satisfied constraints => 80
1800.15/941.62	c org.sat4j.pb.constraints.pb.UnitClausePB => 80
1800.15/941.62	c 522 constraints processed.
1800.15/941.62	s SATISFIABLE
1800.15/941.62	v -x1 x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 x10 -x11 x12 -x13 -x14 x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 x52 -x53 x54 x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 x78 x79 -x80 x81 -x82 x83 -x84 -x85 -x86 x87 x88 x89 -x90 x91 -x92 -x93 x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 x119 x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 x129 x130 x131 -x132 -x133 x134 x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 x155 -x156 -x157 -x158 x159 -x160 -x161 x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 x180 -x181 x182 -x183 -x184 x185 x186 x187 x188 x189 -x190 x191 x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 x256 -x257 -x258 -x259 x260 -x261 -x262 x263 -x264 -x265 x266 x267 -x268 x269 x270 -x271 x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 x299 x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 x309 -x310 -x311 x312 -x313 x314 -x315 x316 x317 -x318 x319 x320 -x321 x322 x323 -x324 x325 -x326 -x327 x328 -x329 -x330 x331 -x332 -x333 x334 -x335 -x336 -x337 x338 x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 
1800.15/941.62	c objective function=104
1800.15/941.62	c Total wall clock time (in seconds): 941.507

Verifier Data 

OK	104

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-3689502-1337882653/watcher-3689502-1337882653 -o /tmp/evaluation-result-3689502-1337882653/solver-3689502-1337882653 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689502-1337882653.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: 3.78 3.77 3.69 4/197 24805
/proc/meminfo: memFree=25082720/32873844 swapFree=6856/6856
[pid=24805] ppid=24803 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/24805/stat : 24805 (java) R 24803 24805 20503 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 254393759 23793664 716 33554432000 1073741824 1073778376 140736832640592 140736832629656 270109030480 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24805/statm: 5809 716 531 9 0 128 0

[startup+0.101081 s]
/proc/loadavg: 3.78 3.77 3.69 4/197 24805
/proc/meminfo: memFree=25082720/32873844 swapFree=6856/6856
[pid=24805] ppid=24803 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/24805/stat : 24805 (java) S 24803 24805 20503 0 -1 4202496 4366 0 1 0 9 1 0 0 20 0 18 0 254393759 9787813888 6076 33554432000 1073741824 1073778376 140736832640592 140736832631728 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24805/statm: 2389603 6076 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.200199 s]
/proc/loadavg: 3.78 3.77 3.69 4/197 24805
/proc/meminfo: memFree=25082720/32873844 swapFree=6856/6856
[pid=24805] ppid=24803 vsize=9558412 CPUtime=0.25 cores=0,2,4,6
/proc/24805/stat : 24805 (java) S 24803 24805 20503 0 -1 4202496 4684 0 1 0 24 1 0 0 20 0 18 0 254393759 9787813888 6790 33554432000 1073741824 1073778376 140736832640592 140736832631728 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24805/statm: 2389603 6790 2186 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558412

[startup+0.300296 s]
/proc/loadavg: 3.78 3.77 3.69 4/197 24805
/proc/meminfo: memFree=25082720/32873844 swapFree=6856/6856
[pid=24805] ppid=24803 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/24805/stat : 24805 (java) S 24803 24805 20503 0 -1 4202496 5012 0 1 0 30 3 0 0 20 0 19 0 254393759 10060460032 7520 33554432000 1073741824 1073778376 140736832640592 140736832631728 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24805/statm: 2456167 7520 2213 9 0 2446860 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 9824668

[startup+0.700254 s]
/proc/loadavg: 3.78 3.77 3.69 4/197 24805
/proc/meminfo: memFree=25082720/32873844 swapFree=6856/6856
[pid=24805] ppid=24803 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/24805/stat : 24805 (java) S 24803 24805 20503 0 -1 4202496 5012 0 1 0 30 3 0 0 20 0 19 0 254393759 10060460032 7520 33554432000 1073741824 1073778376 140736832640592 140736832631728 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24805/statm: 2456167 7520 2213 9 0 2446860 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 9824668

[startup+1.50069 s]
/proc/loadavg: 3.63 3.74 3.68 3/216 24830
/proc/meminfo: memFree=25056984/32873844 swapFree=6856/6856
[pid=24805] ppid=24803 vsize=9824668 CPUtime=0.45 cores=0,2,4,6
/proc/24805/stat : 24805 (java) S 24803 24805 20503 0 -1 4202496 5224 0 1 0 39 6 0 0 20 0 19 0 254393759 10060460032 9664 33554432000 1073741824 1073778376 140736832640592 140736832631728 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24805/statm: 2456167 9664 2231 9 0 2446860 0
[pid=24805/tid=24807] ppid=24803 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/24805/task/24807/stat : 24807 (java) S 24803 24805 20503 0 -1 4202560 2474 0 1 0 18 1 0 0 20 0 19 0 254393760 10060460032 9664 33554432000 1073741824 1073778376 140736832640592 139894047892472 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24808] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24808/stat : 24808 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393761 10060460032 9664 33554432000 1073741824 1073778376 140736832640592 139894009383336 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24809] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24809/stat : 24809 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393761 10060460032 9664 33554432000 1073741824 1073778376 140736832640592 139894008330792 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24810] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24810/stat : 24810 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393761 10060460032 9664 33554432000 1073741824 1073778376 140736832640592 139894007277736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24811] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24811/stat : 24811 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393761 10060460032 9664 33554432000 1073741824 1073778376 140736832640592 139894006225192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24812] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24812/stat : 24812 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393761 10060460032 9664 33554432000 1073741824 1073778376 140736832640592 139894005173160 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24813] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24813/stat : 24813 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393761 10060460032 9664 33554432000 1073741824 1073778376 140736832640592 139894004120616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24814] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24814/stat : 24814 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393761 10060460032 9664 33554432000 1073741824 1073778376 140736832640592 139894003067560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24815] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24815/stat : 24815 (java) S 24803 24805 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254393761 10060460032 9664 33554432000 1073741824 1073778376 140736832640592 139894002015016 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24816] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24816/stat : 24816 (java) S 24803 24805 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254393762 10060460032 9664 33554432000 1073741824 1073778376 140736832640592 139893871176040 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24817] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24817/stat : 24817 (java) S 24803 24805 20503 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254393762 10060460032 9664 33554432000 1073741824 1073778376 140736832640592 139893870122360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24818] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24818/stat : 24818 (java) S 24803 24805 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254393762 10060460032 9664 33554432000 1073741824 1073778376 140736832640592 139893869069192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24819] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24819/stat : 24819 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393765 10060460032 9664 33554432000 1073741824 1073778376 140736832640592 139893868017936 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24820] ppid=24803 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/24805/task/24820/stat : 24820 (java) S 24803 24805 20503 0 -1 4202560 547 0 0 0 6 0 0 0 20 0 19 0 254393765 10060460032 9664 33554432000 1073741824 1073778376 140736832640592 139893866965816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24821] ppid=24803 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/24805/task/24821/stat : 24821 (java) S 24803 24805 20503 0 -1 4202560 886 0 0 0 6 0 0 0 20 0 19 0 254393765 10060460032 9664 33554432000 1073741824 1073778376 140736832640592 139893865913272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24822] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24822/stat : 24822 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393765 10060460032 9664 33554432000 1073741824 1073778376 140736832640592 139893864860408 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24823] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24823/stat : 24823 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393765 10060460032 9664 33554432000 1073741824 1073778376 140736832640592 139892856187976 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24830] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24830/stat : 24830 (java) S 24803 24805 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254393831 10060460032 9664 33554432000 1073741824 1073778376 140736832640592 139892854080808 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9824668

[startup+3.1007 s]
/proc/loadavg: 3.63 3.74 3.68 1/193 24839
/proc/meminfo: memFree=28925276/32873844 swapFree=6856/6856
[pid=24805] ppid=24803 vsize=9824668 CPUtime=1.49 cores=0,2,4,6
/proc/24805/stat : 24805 (java) S 24803 24805 20503 0 -1 4202496 13377 0 1 0 135 14 0 0 20 0 19 0 254393759 10060460032 18163 33554432000 1073741824 1073778376 140736832640592 140736832631728 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24805/statm: 2456167 18163 2247 9 0 2446860 0
[pid=24805/tid=24807] ppid=24803 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/24805/task/24807/stat : 24807 (java) S 24803 24805 20503 0 -1 4202560 2475 0 1 0 18 1 0 0 20 0 19 0 254393760 10060460032 18163 33554432000 1073741824 1073778376 140736832640592 139894047892472 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24808] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24808/stat : 24808 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393761 10060460032 18163 33554432000 1073741824 1073778376 140736832640592 139894009383336 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24809] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24809/stat : 24809 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393761 10060460032 18163 33554432000 1073741824 1073778376 140736832640592 139894008330792 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24810] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24810/stat : 24810 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393761 10060460032 18163 33554432000 1073741824 1073778376 140736832640592 139894007277736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24811] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24811/stat : 24811 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393761 10060460032 18163 33554432000 1073741824 1073778376 140736832640592 139894006225192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24812] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24812/stat : 24812 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393761 10060460032 18163 33554432000 1073741824 1073778376 140736832640592 139894005173160 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24813] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24813/stat : 24813 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393761 10060460032 18163 33554432000 1073741824 1073778376 140736832640592 139894004120616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24814] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24814/stat : 24814 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393761 10060460032 18163 33554432000 1073741824 1073778376 140736832640592 139894003067560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24815] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24815/stat : 24815 (java) S 24803 24805 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254393761 10060460032 18163 33554432000 1073741824 1073778376 140736832640592 139894002015016 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24816] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24816/stat : 24816 (java) S 24803 24805 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254393762 10060460032 18163 33554432000 1073741824 1073778376 140736832640592 139893871176040 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24817] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24817/stat : 24817 (java) S 24803 24805 20503 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254393762 10060460032 18163 33554432000 1073741824 1073778376 140736832640592 139893870122360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24818] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24818/stat : 24818 (java) S 24803 24805 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254393762 10060460032 18163 33554432000 1073741824 1073778376 140736832640592 139893869069192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24819] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24819/stat : 24819 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393765 10060460032 18163 33554432000 1073741824 1073778376 140736832640592 139893868017936 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24820] ppid=24803 vsize=9824668 CPUtime=0.47 cores=0,2,4,6
/proc/24805/task/24820/stat : 24820 (java) S 24803 24805 20503 0 -1 4202560 5766 0 0 0 45 2 0 0 20 0 19 0 254393765 10060460032 18163 33554432000 1073741824 1073778376 140736832640592 139893866965816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24821] ppid=24803 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/24805/task/24821/stat : 24821 (java) S 24803 24805 20503 0 -1 4202560 3790 0 0 0 35 0 0 0 20 0 19 0 254393765 10060460032 18163 33554432000 1073741824 1073778376 140736832640592 139893865913272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24822] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24822/stat : 24822 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393765 10060460032 18163 33554432000 1073741824 1073778376 140736832640592 139893864860408 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24823] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24823/stat : 24823 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393765 10060460032 18163 33554432000 1073741824 1073778376 140736832640592 139892856187976 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24839] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24839/stat : 24839 (java) S 24803 24805 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254393931 10060460032 18163 33554432000 1073741824 1073778376 140736832640592 139892851975720 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9824668
heavy processes:

[startup+6.30078 s]
/proc/loadavg: 3.63 3.74 3.68 1/192 24888
/proc/meminfo: memFree=28846692/32873844 swapFree=6856/6856
[pid=24805] ppid=24803 vsize=9824668 CPUtime=3.69 cores=0,2,4,6
/proc/24805/stat : 24805 (java) S 24803 24805 20503 0 -1 4202496 14046 0 1 0 343 26 0 0 20 0 22 0 254393759 10060460032 38581 33554432000 1073741824 1073778376 140736832640592 140736832631728 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24805/statm: 2456167 38581 2276 9 0 2446860 0
[pid=24805/tid=24807] ppid=24803 vsize=9824668 CPUtime=0.2 cores=0,2,4,6
/proc/24805/task/24807/stat : 24807 (java) S 24803 24805 20503 0 -1 4202560 2478 0 1 0 19 1 0 0 20 0 22 0 254393760 10060460032 38581 33554432000 1073741824 1073778376 140736832640592 139894047892472 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24808] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24808/stat : 24808 (java) S 24803 24805 20503 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254393761 10060460032 38581 33554432000 1073741824 1073778376 140736832640592 139894009383336 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24809] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24809/stat : 24809 (java) S 24803 24805 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254393761 10060460032 38581 33554432000 1073741824 1073778376 140736832640592 139894008330792 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24810] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24810/stat : 24810 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393761 10060460032 38581 33554432000 1073741824 1073778376 140736832640592 139894007277736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24811] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24811/stat : 24811 (java) S 24803 24805 20503 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254393761 10060460032 38581 33554432000 1073741824 1073778376 140736832640592 139894006225192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24812] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24812/stat : 24812 (java) S 24803 24805 20503 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 254393761 10060460032 38581 33554432000 1073741824 1073778376 140736832640592 139894005173160 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24813] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24813/stat : 24813 (java) S 24803 24805 20503 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 254393761 10060460032 38581 33554432000 1073741824 1073778376 140736832640592 139894004120616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24814] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24814/stat : 24814 (java) S 24803 24805 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254393761 10060460032 38581 33554432000 1073741824 1073778376 140736832640592 139894003067560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24815] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24815/stat : 24815 (java) S 24803 24805 20503 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254393761 10060460032 38581 33554432000 1073741824 1073778376 140736832640592 139894002015016 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24816] ppid=24803 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/24805/task/24816/stat : 24816 (java) S 24803 24805 20503 0 -1 4202560 35 0 0 0 7 0 0 0 20 0 22 0 254393762 10060460032 38581 33554432000 1073741824 1073778376 140736832640592 139893871176040 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24817] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24817/stat : 24817 (java) S 24803 24805 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254393762 10060460032 38581 33554432000 1073741824 1073778376 140736832640592 139893870122360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24818] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24818/stat : 24818 (java) S 24803 24805 20503 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254393762 10060460032 38581 33554432000 1073741824 1073778376 140736832640592 139893869069192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24819] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24819/stat : 24819 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393765 10060460032 38581 33554432000 1073741824 1073778376 140736832640592 139893868017936 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24820] ppid=24803 vsize=9824668 CPUtime=0.63 cores=0,2,4,6
/proc/24805/task/24820/stat : 24820 (java) S 24803 24805 20503 0 -1 4202560 5770 0 0 0 61 2 0 0 20 0 22 0 254393765 10060460032 38581 33554432000 1073741824 1073778376 140736832640592 139893866965816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24821] ppid=24803 vsize=9824668 CPUtime=0.59 cores=0,2,4,6
/proc/24805/task/24821/stat : 24821 (java) S 24803 24805 20503 0 -1 4202560 4287 0 0 0 59 0 0 0 20 0 22 0 254393765 10060460032 38581 33554432000 1073741824 1073778376 140736832640592 139893865913272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24822] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24822/stat : 24822 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393765 10060460032 38581 33554432000 1073741824 1073778376 140736832640592 139893864860408 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24823] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24823/stat : 24823 (java) S 24803 24805 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254393765 10060460032 38581 33554432000 1073741824 1073778376 140736832640592 139892856187976 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24839] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24839/stat : 24839 (java) S 24803 24805 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254393931 10060460032 38581 33554432000 1073741824 1073778376 140736832640592 139892851975720 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 9824668
heavy processes:

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

/proc/24805/statm: 2456167 202165 2280 9 0 2446860 0
[pid=24805/tid=24807] ppid=24803 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/24805/task/24807/stat : 24807 (java) S 24803 24805 20503 0 -1 4202560 2611 0 1 0 23 2 0 0 20 0 22 0 254393760 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894047892472 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24808] ppid=24803 vsize=9824668 CPUtime=0.61 cores=0,2,4,6
/proc/24805/task/24808/stat : 24808 (java) S 24803 24805 20503 0 -1 4202560 103 0 0 0 58 3 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894009383336 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24809] ppid=24803 vsize=9824668 CPUtime=0.61 cores=0,2,4,6
/proc/24805/task/24809/stat : 24809 (java) S 24803 24805 20503 0 -1 4202560 72 0 0 0 59 2 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894008330792 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24810] ppid=24803 vsize=9824668 CPUtime=0.55 cores=0,2,4,6
/proc/24805/task/24810/stat : 24810 (java) S 24803 24805 20503 0 -1 4202560 51 0 0 0 53 2 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894007277736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24811] ppid=24803 vsize=9824668 CPUtime=0.59 cores=0,2,4,6
/proc/24805/task/24811/stat : 24811 (java) S 24803 24805 20503 0 -1 4202560 108 0 0 0 58 1 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894006225192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24812] ppid=24803 vsize=9824668 CPUtime=0.62 cores=0,2,4,6
/proc/24805/task/24812/stat : 24812 (java) S 24803 24805 20503 0 -1 4202560 126 0 0 0 62 0 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894005173160 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24813] ppid=24803 vsize=9824668 CPUtime=0.53 cores=0,2,4,6
/proc/24805/task/24813/stat : 24813 (java) S 24803 24805 20503 0 -1 4202560 84 0 0 0 51 2 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894004120616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24814] ppid=24803 vsize=9824668 CPUtime=0.64 cores=0,2,4,6
/proc/24805/task/24814/stat : 24814 (java) S 24803 24805 20503 0 -1 4202560 245 0 0 0 62 2 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894003067560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24815] ppid=24803 vsize=9824668 CPUtime=0.62 cores=0,2,4,6
/proc/24805/task/24815/stat : 24815 (java) S 24803 24805 20503 0 -1 4202560 96 0 0 0 60 2 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894002015016 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24816] ppid=24803 vsize=9824668 CPUtime=70.17 cores=0,2,4,6
/proc/24805/task/24816/stat : 24816 (java) S 24803 24805 20503 0 -1 4202560 546 0 0 0 6863 154 0 0 20 0 22 0 254393762 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893871176040 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24817] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24817/stat : 24817 (java) S 24803 24805 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254393762 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893870122360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24818] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24818/stat : 24818 (java) S 24803 24805 20503 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 254393762 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893869069192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24819] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24819/stat : 24819 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393765 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893868017936 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24820] ppid=24803 vsize=9824668 CPUtime=0.74 cores=0,2,4,6
/proc/24805/task/24820/stat : 24820 (java) S 24803 24805 20503 0 -1 4202560 5772 0 0 0 72 2 0 0 20 0 22 0 254393765 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893866965816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24821] ppid=24803 vsize=9824668 CPUtime=0.91 cores=0,2,4,6
/proc/24805/task/24821/stat : 24821 (java) S 24803 24805 20503 0 -1 4202560 4968 0 0 0 89 2 0 0 20 0 22 0 254393765 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893865913272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24822] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24822/stat : 24822 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393765 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893864860408 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24823] ppid=24803 vsize=9824668 CPUtime=0.21 cores=0,2,4,6
/proc/24805/task/24823/stat : 24823 (java) S 24803 24805 20503 0 -1 4202560 52 0 0 0 12 9 0 0 20 0 22 0 254393765 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139892856187976 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24839] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24839/stat : 24839 (java) S 24803 24805 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254393931 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139892851975720 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24959] ppid=24803 vsize=9824668 CPUtime=766.01 cores=0,2,4,6
/proc/24805/task/24959/stat : 24959 (java) R 24803 24805 20503 0 -1 4202560 24 0 0 0 76589 12 0 0 20 0 22 0 254399375 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139892853027280 139893880619027 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24960] ppid=24803 vsize=9824668 CPUtime=767.7 cores=0,2,4,6
/proc/24805/task/24960/stat : 24960 (java) R 24803 24805 20503 0 -1 4202560 13 0 0 0 76758 12 0 0 20 0 22 0 254399375 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139892855129904 139893880508612 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24961] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24961/stat : 24961 (java) S 24803 24805 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254399375 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139892854080424 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1683.61
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+941.601 s]
/proc/loadavg: 4.10 3.94 3.80 5/219 25029
/proc/meminfo: memFree=27370556/32873844 swapFree=6856/6856
[pid=24805] ppid=24803 vsize=9824668 CPUtime=1800.15 cores=0,2,4,6
/proc/24805/stat : 24805 (java) S 24803 24805 20503 0 -1 4202496 16577 0 1 0 179781 234 0 0 20 0 22 0 254393759 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 140736832631728 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24805/statm: 2456167 202165 2280 9 0 2446860 0
[pid=24805/tid=24807] ppid=24803 vsize=9824668 CPUtime=0.26 cores=0,2,4,6
/proc/24805/task/24807/stat : 24807 (java) S 24803 24805 20503 0 -1 4202560 2615 0 1 0 24 2 0 0 20 0 22 0 254393760 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894047892472 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24808] ppid=24803 vsize=9824668 CPUtime=0.61 cores=0,2,4,6
/proc/24805/task/24808/stat : 24808 (java) S 24803 24805 20503 0 -1 4202560 103 0 0 0 58 3 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894009383336 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24809] ppid=24803 vsize=9824668 CPUtime=0.61 cores=0,2,4,6
/proc/24805/task/24809/stat : 24809 (java) S 24803 24805 20503 0 -1 4202560 72 0 0 0 59 2 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894008330792 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24810] ppid=24803 vsize=9824668 CPUtime=0.55 cores=0,2,4,6
/proc/24805/task/24810/stat : 24810 (java) S 24803 24805 20503 0 -1 4202560 51 0 0 0 53 2 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894007277736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24811] ppid=24803 vsize=9824668 CPUtime=0.59 cores=0,2,4,6
/proc/24805/task/24811/stat : 24811 (java) S 24803 24805 20503 0 -1 4202560 108 0 0 0 58 1 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894006225192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24812] ppid=24803 vsize=9824668 CPUtime=0.62 cores=0,2,4,6
/proc/24805/task/24812/stat : 24812 (java) S 24803 24805 20503 0 -1 4202560 126 0 0 0 62 0 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894005173160 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24813] ppid=24803 vsize=9824668 CPUtime=0.53 cores=0,2,4,6
/proc/24805/task/24813/stat : 24813 (java) S 24803 24805 20503 0 -1 4202560 84 0 0 0 51 2 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894004120616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24814] ppid=24803 vsize=9824668 CPUtime=0.64 cores=0,2,4,6
/proc/24805/task/24814/stat : 24814 (java) S 24803 24805 20503 0 -1 4202560 245 0 0 0 62 2 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894003067560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24815] ppid=24803 vsize=9824668 CPUtime=0.62 cores=0,2,4,6
/proc/24805/task/24815/stat : 24815 (java) S 24803 24805 20503 0 -1 4202560 96 0 0 0 60 2 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894002015016 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24816] ppid=24803 vsize=9824668 CPUtime=72.24 cores=0,2,4,6
/proc/24805/task/24816/stat : 24816 (java) S 24803 24805 20503 0 -1 4202560 550 0 0 0 7070 154 0 0 20 0 22 0 254393762 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893871176040 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24817] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24817/stat : 24817 (java) S 24803 24805 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254393762 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893870122360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24818] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24818/stat : 24818 (java) S 24803 24805 20503 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 254393762 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893869069192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24819] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24819/stat : 24819 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393765 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893868017936 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24820] ppid=24803 vsize=9824668 CPUtime=0.74 cores=0,2,4,6
/proc/24805/task/24820/stat : 24820 (java) S 24803 24805 20503 0 -1 4202560 5772 0 0 0 72 2 0 0 20 0 22 0 254393765 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893866965816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24821] ppid=24803 vsize=9824668 CPUtime=0.91 cores=0,2,4,6
/proc/24805/task/24821/stat : 24821 (java) S 24803 24805 20503 0 -1 4202560 4968 0 0 0 89 2 0 0 20 0 22 0 254393765 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893865913272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24822] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24822/stat : 24822 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393765 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893864860408 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24823] ppid=24803 vsize=9824668 CPUtime=0.23 cores=0,2,4,6
/proc/24805/task/24823/stat : 24823 (java) S 24803 24805 20503 0 -1 4202560 56 0 0 0 12 11 0 0 20 0 22 0 254393765 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139892856187976 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24839] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24839/stat : 24839 (java) S 24803 24805 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254393931 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139892851975720 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24959] ppid=24803 vsize=9824668 CPUtime=823.09 cores=0,2,4,6
/proc/24805/task/24959/stat : 24959 (java) R 24803 24805 20503 0 -1 4202560 25 0 0 0 82296 13 0 0 20 0 22 0 254399375 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139892853027280 139893880179874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24960] ppid=24803 vsize=9824668 CPUtime=824.78 cores=0,2,4,6
/proc/24805/task/24960/stat : 24960 (java) R 24803 24805 20503 0 -1 4202560 13 0 0 0 82465 13 0 0 20 0 22 0 254399375 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139892855130144 139893880703376 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24961] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24961/stat : 24961 (java) S 24803 24805 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254399375 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139892854080424 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 9824668

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

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

[startup+941.601 s]
/proc/loadavg: 4.10 3.94 3.80 5/219 25029
/proc/meminfo: memFree=27370556/32873844 swapFree=6856/6856
[pid=24805] ppid=24803 vsize=9824668 CPUtime=1800.15 cores=0,2,4,6
/proc/24805/stat : 24805 (java) S 24803 24805 20503 0 -1 4202496 16577 0 1 0 179781 234 0 0 20 0 22 0 254393759 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 140736832631728 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24805/statm: 2456167 202165 2280 9 0 2446860 0
[pid=24805/tid=24807] ppid=24803 vsize=9824668 CPUtime=0.26 cores=0,2,4,6
/proc/24805/task/24807/stat : 24807 (java) S 24803 24805 20503 0 -1 4202560 2615 0 1 0 24 2 0 0 20 0 22 0 254393760 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894047892472 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24808] ppid=24803 vsize=9824668 CPUtime=0.61 cores=0,2,4,6
/proc/24805/task/24808/stat : 24808 (java) S 24803 24805 20503 0 -1 4202560 103 0 0 0 58 3 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894009383336 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24809] ppid=24803 vsize=9824668 CPUtime=0.61 cores=0,2,4,6
/proc/24805/task/24809/stat : 24809 (java) S 24803 24805 20503 0 -1 4202560 72 0 0 0 59 2 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894008330792 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24810] ppid=24803 vsize=9824668 CPUtime=0.55 cores=0,2,4,6
/proc/24805/task/24810/stat : 24810 (java) S 24803 24805 20503 0 -1 4202560 51 0 0 0 53 2 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894007277736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24811] ppid=24803 vsize=9824668 CPUtime=0.59 cores=0,2,4,6
/proc/24805/task/24811/stat : 24811 (java) S 24803 24805 20503 0 -1 4202560 108 0 0 0 58 1 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894006225192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24812] ppid=24803 vsize=9824668 CPUtime=0.62 cores=0,2,4,6
/proc/24805/task/24812/stat : 24812 (java) S 24803 24805 20503 0 -1 4202560 126 0 0 0 62 0 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894005173160 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24813] ppid=24803 vsize=9824668 CPUtime=0.53 cores=0,2,4,6
/proc/24805/task/24813/stat : 24813 (java) S 24803 24805 20503 0 -1 4202560 84 0 0 0 51 2 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894004120616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24814] ppid=24803 vsize=9824668 CPUtime=0.64 cores=0,2,4,6
/proc/24805/task/24814/stat : 24814 (java) S 24803 24805 20503 0 -1 4202560 245 0 0 0 62 2 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894003067560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24815] ppid=24803 vsize=9824668 CPUtime=0.62 cores=0,2,4,6
/proc/24805/task/24815/stat : 24815 (java) S 24803 24805 20503 0 -1 4202560 96 0 0 0 60 2 0 0 20 0 22 0 254393761 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139894002015016 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24805/tid=24816] ppid=24803 vsize=9824668 CPUtime=72.24 cores=0,2,4,6
/proc/24805/task/24816/stat : 24816 (java) S 24803 24805 20503 0 -1 4202560 550 0 0 0 7070 154 0 0 20 0 22 0 254393762 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893871176040 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24817] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24817/stat : 24817 (java) S 24803 24805 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254393762 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893870122360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24818] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24818/stat : 24818 (java) S 24803 24805 20503 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 254393762 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893869069192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24819] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24819/stat : 24819 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393765 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893868017936 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24820] ppid=24803 vsize=9824668 CPUtime=0.74 cores=0,2,4,6
/proc/24805/task/24820/stat : 24820 (java) S 24803 24805 20503 0 -1 4202560 5772 0 0 0 72 2 0 0 20 0 22 0 254393765 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893866965816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24821] ppid=24803 vsize=9824668 CPUtime=0.91 cores=0,2,4,6
/proc/24805/task/24821/stat : 24821 (java) S 24803 24805 20503 0 -1 4202560 4968 0 0 0 89 2 0 0 20 0 22 0 254393765 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893865913272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24822] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24822/stat : 24822 (java) S 24803 24805 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393765 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139893864860408 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24823] ppid=24803 vsize=9824668 CPUtime=0.23 cores=0,2,4,6
/proc/24805/task/24823/stat : 24823 (java) S 24803 24805 20503 0 -1 4202560 56 0 0 0 12 11 0 0 20 0 22 0 254393765 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139892856187976 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24839] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24839/stat : 24839 (java) S 24803 24805 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254393931 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139892851975720 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24805/tid=24959] ppid=24803 vsize=9824668 CPUtime=823.09 cores=0,2,4,6
/proc/24805/task/24959/stat : 24959 (java) R 24803 24805 20503 0 -1 4202560 25 0 0 0 82296 13 0 0 20 0 22 0 254399375 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139892853027280 139893880179874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24805/tid=24960] ppid=24803 vsize=9824668 CPUtime=824.78 cores=0,2,4,6
/proc/24805/task/24960/stat : 24960 (java) R 24803 24805 20503 0 -1 4202560 13 0 0 0 82465 13 0 0 20 0 22 0 254399375 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139892855130144 139893880703376 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24805/tid=24961] ppid=24803 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24805/task/24961/stat : 24961 (java) S 24803 24805 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254399375 10060460032 202165 33554432000 1073741824 1073778376 140736832640592 139892854080424 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 9824668

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24805 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=468351
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=742583
# CPU time returned by wait4() is 1796.21
# while last known CPU time is 1800.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 941.628
CPU time (s): 1800.15
CPU user time (s): 1797.81
CPU system time (s): 2.34
CPU usage (%): 191.174
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.47
system time used= 2.74258
maximum resident set size= 808776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16608
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26950
involuntary context switches= 23820

runsolver used 3.9214 second user time and 7.43387 second system time

The end

Launcher Data 

Begin job on node106 at 2012-05-24 20:04:13
IDJOB=3689502
IDBENCH=89865
IDSOLVER=2268
FILE ID=node106/3689502-1337882653
RUNJOBID= node106-1337871881-20519
PBS_JOBID= 14620098
Free space on /tmp= 71656 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-go19.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689502-1337882653/watcher-3689502-1337882653 -o /tmp/evaluation-result-3689502-1337882653/solver-3689502-1337882653 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3689502-1337882653.opb

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

MD5SUM BENCH= ac3a0c512b81d5e532f489853538ca8f
RANDOM SEED=138265575

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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		: 2667.065
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		: 2667.065
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:        25083256 kB
Buffers:          207180 kB
Cached:          2917308 kB
SwapCached:            0 kB
Active:          4603404 kB
Inactive:        2413240 kB
Active(anon):    3894484 kB
Inactive(anon):      124 kB
Active(file):     708920 kB
Inactive(file):  2413116 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               396 kB
Writeback:             0 kB
AnonPages:       3884172 kB
Mapped:            22620 kB
Shmem:               200 kB
Slab:             626888 kB
SReclaimable:      69024 kB
SUnreclaim:       557864 kB
KernelStack:        1808 kB
PageTables:        12124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    4502636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3778560 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= 71664 MiB
End job on node106 at 2012-05-24 20:19:56