Trace number 3711184

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)-101 1800.45 1787.05

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_1.opb
MD5SUM162153f0f0e5f8f2e587b9d579ee09dc
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-146
Best CPU time to get the best result obtained on this benchmark1796.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -136
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
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 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12636
Sum of products size (including duplicates)25272
Number of different products6318
Sum of products size12636

Quality of the solution as a function of time


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

Solver Data 

0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.02/0.08	c version 2.3.2.v20120418
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		501472288
0.02/0.08	c Max memory 		7480803328
0.02/0.08	c Total memory 		504102912
0.02/0.08	c Number of processors 	8
0.09/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.11	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3711184-1338173107.opb
0.09/0.12	c reading problem ... 
1.05/0.54	c ... done. Wall clock time 0.422s.
1.05/0.54	c declared #vars     1000
1.05/0.54	c internal #vars     7318
1.05/0.54	c #constraints  14138
1.05/0.54	c constraints type 
1.05/0.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6318
1.05/0.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 1002
1.05/0.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1.05/0.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6318
1.05/0.54	c 14138 constraints processed.
1.36/0.69	c SATISFIABLE
1.36/0.69	c OPTIMIZING...
1.36/0.69	c Got one! Elapsed wall clock time (in seconds):0.577
1.36/0.69	o 0
1.65/0.77	c Got one! Elapsed wall clock time (in seconds):0.651
1.65/0.77	o -1
2.50/1.07	c Got one! Elapsed wall clock time (in seconds):0.949
2.50/1.07	o -70
2.84/1.32	c Got one! Elapsed wall clock time (in seconds):1.199
2.84/1.32	o -71
2.98/1.45	c Got one! Elapsed wall clock time (in seconds):1.331
2.98/1.45	o -76
3.11/1.56	c Got one! Elapsed wall clock time (in seconds):1.441
3.11/1.56	o -77
3.31/1.70	c Got one! Elapsed wall clock time (in seconds):1.585
3.31/1.70	o -78
3.72/2.18	c Got one! Elapsed wall clock time (in seconds):2.06
3.72/2.18	o -83
4.21/2.61	c Got one! Elapsed wall clock time (in seconds):2.497
4.21/2.61	o -84
4.31/2.75	c Got one! Elapsed wall clock time (in seconds):2.63
4.31/2.75	o -85
5.13/3.51	c cleaning 4050 clauses out of 8106 with flag 3004/8106
6.51/4.81	c cleaning 5026 clauses out of 10053 with flag 9001/14103
7.01/5.40	c Got one! Elapsed wall clock time (in seconds):5.285
7.01/5.40	o -86
7.11/5.44	c Got one! Elapsed wall clock time (in seconds):5.328
7.11/5.44	o -87
7.71/6.03	c Got one! Elapsed wall clock time (in seconds):5.913
7.71/6.03	o -88
8.11/6.42	c cleaning 5843 clauses out of 11692 with flag 2000/20768
8.67/6.90	c Got one! Elapsed wall clock time (in seconds):6.783
8.67/6.90	o -89
9.67/7.99	c cleaning 5635 clauses out of 11304 with flag 4000/26223
10.20/8.47	c Got one! Elapsed wall clock time (in seconds):8.353
10.20/8.47	o -90
11.10/9.33	c cleaning 5599 clauses out of 11241 with flag 4000/31795
12.62/10.81	c Got one! Elapsed wall clock time (in seconds):10.693
12.62/10.81	o -91
13.62/11.87	c cleaning 8005 clauses out of 16025 with flag 5000/42178
14.08/12.22	c Got one! Elapsed wall clock time (in seconds):12.1
14.08/12.22	o -92
14.99/13.19	c cleaning 6662 clauses out of 13353 with flag 4002/47511
16.40/14.59	c cleaning 6331 clauses out of 12690 with flag 10001/53510
17.61/15.72	c Got one! Elapsed wall clock time (in seconds):15.599
17.61/15.72	o -93
17.61/15.79	c Got one! Elapsed wall clock time (in seconds):15.67
17.61/15.79	o -94
17.91/16.05	c cleaning 6025 clauses out of 12065 with flag 1000/59216
19.32/17.42	c cleaning 6008 clauses out of 12041 with flag 7001/65217
20.55/18.62	c cleaning 6505 clauses out of 13033 with flag 14001/72217
22.60/20.65	c cleaning 7249 clauses out of 14527 with flag 22000/80216
24.73/22.76	c cleaning 8129 clauses out of 16278 with flag 31000/89216
27.04/25.02	c cleaning 9067 clauses out of 18149 with flag 41000/99216
29.48/27.42	c cleaning 10029 clauses out of 20084 with flag 52002/110218
30.32/28.26	c Got one! Elapsed wall clock time (in seconds):28.141
30.32/28.26	o -95
30.92/28.83	c cleaning 7928 clauses out of 15914 with flag 2000/116077
32.02/29.94	c cleaning 6988 clauses out of 13986 with flag 8000/122077
33.64/31.52	c cleaning 6985 clauses out of 14000 with flag 15002/129079
35.55/33.41	c cleaning 7499 clauses out of 15015 with flag 23002/137079
37.46/35.33	c cleaning 8256 clauses out of 16515 with flag 32001/146078
39.48/37.34	c cleaning 9128 clauses out of 18258 with flag 42000/156077
41.71/39.58	c cleaning 10060 clauses out of 20131 with flag 53001/167078
44.53/42.35	c cleaning 11029 clauses out of 22070 with flag 65000/179077
47.04/44.86	c cleaning 12016 clauses out of 24041 with flag 78000/192077
49.48/47.30	c cleaning 13003 clauses out of 26027 with flag 92002/206079
52.92/50.68	c cleaning 14002 clauses out of 28022 with flag 107000/221077
56.97/54.61	c cleaning 15002 clauses out of 30022 with flag 123002/237079
60.92/58.56	c cleaning 16006 clauses out of 32021 with flag 140003/254080
65.06/62.70	c cleaning 16997 clauses out of 34012 with flag 158000/272077
69.79/67.38	c cleaning 18004 clauses out of 36015 with flag 177000/291077
74.42/71.99	c cleaning 18997 clauses out of 38013 with flag 197002/311079
79.95/77.40	c cleaning 19975 clauses out of 40014 with flag 218000/332077
86.82/84.22	c cleaning 21016 clauses out of 42041 with flag 240002/354079
92.28/89.62	c cleaning 22016 clauses out of 44037 with flag 263014/377091
98.11/95.45	c cleaning 23011 clauses out of 46028 with flag 287021/401098
103.54/100.82	c cleaning 23990 clauses out of 47996 with flag 312000/426077
111.37/108.60	c Got one! Elapsed wall clock time (in seconds):108.483
111.37/108.60	o -96
112.38/109.65	c cleaning 26738 clauses out of 53483 with flag 5005/455554
113.67/110.86	c cleaning 16293 clauses out of 32743 with flag 11003/461552
115.19/112.38	c cleaning 11677 clauses out of 23448 with flag 18001/468550
116.91/114.01	c cleaning 9862 clauses out of 19770 with flag 26000/476549
118.14/115.29	c cleaning 9449 clauses out of 18911 with flag 35003/485552
119.66/116.77	c cleaning 9728 clauses out of 19459 with flag 45000/495549
121.99/119.01	c cleaning 10364 clauses out of 20731 with flag 56000/506549
124.10/121.18	c cleaning 11180 clauses out of 22368 with flag 68001/518550
127.23/124.28	c cleaning 12093 clauses out of 24187 with flag 81000/531549
129.55/126.59	c cleaning 13043 clauses out of 26096 with flag 95002/545551
134.59/131.55	c cleaning 14011 clauses out of 28051 with flag 110000/560549
139.82/136.76	c cleaning 15007 clauses out of 30040 with flag 126000/576549
145.34/142.24	c Got one! Elapsed wall clock time (in seconds):142.124
145.34/142.24	o -97
146.64/143.57	c cleaning 18430 clauses out of 36863 with flag 5001/598379
148.08/144.98	c cleaning 12197 clauses out of 24434 with flag 11002/604380
149.58/146.42	c cleaning 9604 clauses out of 19242 with flag 18007/611385
151.31/148.11	c cleaning 8782 clauses out of 17632 with flag 26001/619379
153.42/150.25	c cleaning 8915 clauses out of 17852 with flag 35003/628381
155.73/152.59	c cleaning 9471 clauses out of 18943 with flag 45009/638387
158.36/155.14	c cleaning 10231 clauses out of 20463 with flag 56000/649378
161.09/157.87	c cleaning 11108 clauses out of 22234 with flag 68002/661380
164.30/161.09	c cleaning 12063 clauses out of 24125 with flag 81001/674379
167.64/164.32	c Got one! Elapsed wall clock time (in seconds):164.199
167.64/164.32	o -98
168.44/165.20	c cleaning 12890 clauses out of 25791 with flag 5001/688108
169.38/166.03	c cleaning 9433 clauses out of 18901 with flag 11001/694108
170.49/167.14	c cleaning 8187 clauses out of 16468 with flag 18001/701108
171.99/168.61	c cleaning 8112 clauses out of 16280 with flag 26000/709107
173.60/170.28	c cleaning 8582 clauses out of 17169 with flag 35001/718108
175.60/172.29	c cleaning 9288 clauses out of 18586 with flag 45000/728107
178.01/174.68	c cleaning 10145 clauses out of 20299 with flag 56001/739108
180.56/177.15	c cleaning 11073 clauses out of 22153 with flag 68000/751107
183.08/179.66	c cleaning 12040 clauses out of 24081 with flag 81001/764108
185.76/182.21	c cleaning 13016 clauses out of 26043 with flag 95003/778110
188.18/184.69	c cleaning 14013 clauses out of 28025 with flag 110001/793108
190.91/187.35	c cleaning 15001 clauses out of 30012 with flag 126001/809108
193.85/190.20	c cleaning 16006 clauses out of 32011 with flag 143001/826108
196.98/193.36	c cleaning 17001 clauses out of 34005 with flag 161001/844108
200.41/196.78	c cleaning 17999 clauses out of 36004 with flag 180001/863108
204.03/200.37	c cleaning 19002 clauses out of 38004 with flag 200000/883107
209.08/205.31	c cleaning 19995 clauses out of 40002 with flag 221000/904107
214.71/210.97	c cleaning 20994 clauses out of 42007 with flag 243000/926107
219.78/215.92	c cleaning 22005 clauses out of 44018 with flag 266005/949112
224.31/220.43	c cleaning 23003 clauses out of 46012 with flag 290004/973111
228.86/224.97	c cleaning 23997 clauses out of 48006 with flag 315001/998108
233.07/229.18	c cleaning 24998 clauses out of 50009 with flag 341001/1024108
237.81/233.89	c cleaning 25997 clauses out of 52011 with flag 368001/1051108
243.45/239.45	c cleaning 26982 clauses out of 54013 with flag 396000/1079107
250.99/246.98	c cleaning 28009 clauses out of 56036 with flag 425005/1108112
256.98/252.89	c cleaning 29007 clauses out of 58023 with flag 455001/1138108
261.94/257.76	c cleaning 30004 clauses out of 60017 with flag 486002/1169109
269.57/265.32	c cleaning 31000 clauses out of 62011 with flag 518000/1201107
275.42/271.19	c cleaning 31995 clauses out of 64012 with flag 551001/1234108
281.06/276.75	c cleaning 33007 clauses out of 66017 with flag 585001/1268108
286.99/282.63	c cleaning 33993 clauses out of 68009 with flag 620000/1303107
293.62/289.26	c Got one! Elapsed wall clock time (in seconds):289.139
293.62/289.26	o -99
295.31/290.92	c cleaning 36757 clauses out of 73525 with flag 5001/1342616
296.65/292.28	c cleaning 21370 clauses out of 42767 with flag 11000/1348615
298.38/293.99	c cleaning 14159 clauses out of 28399 with flag 18002/1355617
300.81/296.39	c cleaning 11096 clauses out of 22238 with flag 26000/1363615
302.83/298.36	c cleaning 10057 clauses out of 20142 with flag 35000/1372615
304.16/299.64	c cleaning 10039 clauses out of 20088 with flag 45003/1382618
306.99/302.45	c cleaning 10521 clauses out of 21054 with flag 56008/1393623
310.62/306.00	c cleaning 11261 clauses out of 22528 with flag 68003/1405618
313.93/309.39	c cleaning 12132 clauses out of 24274 with flag 81010/1418625
317.36/312.73	c cleaning 13059 clauses out of 26135 with flag 95003/1432618
320.89/316.22	c cleaning 14047 clauses out of 28094 with flag 110021/1447636
324.22/319.54	c cleaning 15008 clauses out of 30026 with flag 126000/1463615
327.85/323.12	c cleaning 16003 clauses out of 32019 with flag 143001/1480616
332.68/327.97	c cleaning 16998 clauses out of 34015 with flag 161000/1498615
336.82/332.09	c cleaning 18003 clauses out of 36017 with flag 180000/1517615
341.53/336.72	c cleaning 19004 clauses out of 38015 with flag 200001/1537616
347.26/342.49	c cleaning 20002 clauses out of 40012 with flag 221002/1558617
353.99/349.10	c cleaning 20995 clauses out of 42008 with flag 243000/1580615
361.74/356.89	c cleaning 21997 clauses out of 44014 with flag 266001/1603616
370.67/365.79	c cleaning 22992 clauses out of 46022 with flag 290006/1627621
377.83/372.85	c cleaning 24002 clauses out of 48024 with flag 315000/1652615
382.38/377.33	c cleaning 25011 clauses out of 50022 with flag 341000/1678615
386.91/381.83	c cleaning 26006 clauses out of 52011 with flag 368000/1705615
391.84/386.72	c cleaning 27000 clauses out of 54005 with flag 396000/1733615
396.96/391.88	c cleaning 27998 clauses out of 56006 with flag 425001/1762616
402.37/397.24	c cleaning 28996 clauses out of 58007 with flag 455000/1792615
409.50/404.35	c cleaning 29994 clauses out of 60012 with flag 486001/1823616
416.53/411.39	c cleaning 30999 clauses out of 62017 with flag 518000/1855615
423.97/418.77	c cleaning 32006 clauses out of 64018 with flag 551000/1888615
430.70/425.48	c cleaning 32995 clauses out of 66012 with flag 585000/1922615
437.84/432.56	c cleaning 33999 clauses out of 68017 with flag 620000/1957615
446.68/441.35	c cleaning 35001 clauses out of 70019 with flag 656001/1993616
455.14/449.70	c cleaning 36009 clauses out of 72017 with flag 693000/2030615
460.30/454.83	c Got one! Elapsed wall clock time (in seconds):454.714
460.30/454.83	o -100
461.80/456.36	c cleaning 30959 clauses out of 61934 with flag 5000/2056541
463.16/457.69	c cleaning 18458 clauses out of 36975 with flag 11000/2062541
464.87/459.31	c cleaning 12724 clauses out of 25519 with flag 18002/2069543
467.79/462.23	c cleaning 10372 clauses out of 20795 with flag 26002/2077543
470.71/465.16	c cleaning 9691 clauses out of 19421 with flag 35000/2086541
474.95/469.36	c cleaning 9862 clauses out of 19730 with flag 45000/2096541
479.46/473.82	c cleaning 10430 clauses out of 20868 with flag 56000/2107541
484.78/479.15	c cleaning 11215 clauses out of 22443 with flag 68005/2119546
487.60/481.97	c cleaning 12097 clauses out of 24224 with flag 81001/2132542
490.04/484.35	c cleaning 13044 clauses out of 26126 with flag 95000/2146541
492.57/486.88	c cleaning 14032 clauses out of 28082 with flag 110000/2161541
495.08/489.33	c cleaning 15016 clauses out of 30051 with flag 126001/2177542
498.00/492.29	c cleaning 16012 clauses out of 32035 with flag 143001/2194542
501.84/496.01	c cleaning 17005 clauses out of 34023 with flag 161001/2212542
505.75/499.93	c cleaning 18002 clauses out of 36017 with flag 180000/2231541
509.78/503.96	c cleaning 19000 clauses out of 38016 with flag 200001/2251542
514.19/508.31	c cleaning 19995 clauses out of 40016 with flag 221001/2272542
519.12/513.21	c cleaning 21004 clauses out of 42020 with flag 243000/2294541
524.85/518.98	c cleaning 22003 clauses out of 44016 with flag 266000/2317541
529.01/523.01	c cleaning 22999 clauses out of 46013 with flag 290000/2341541
534.15/528.10	c cleaning 24002 clauses out of 48014 with flag 315000/2366541
539.48/533.48	c cleaning 25001 clauses out of 50012 with flag 341000/2392541
546.02/539.91	c cleaning 26004 clauses out of 52013 with flag 368002/2419543
552.54/546.48	c cleaning 26998 clauses out of 54008 with flag 396001/2447542
561.30/555.16	c cleaning 28002 clauses out of 56018 with flag 425009/2476550
570.20/563.93	c cleaning 28991 clauses out of 58007 with flag 455000/2506541
579.83/573.56	c cleaning 29998 clauses out of 60017 with flag 486001/2537542
590.40/584.08	c cleaning 31002 clauses out of 62018 with flag 518000/2569541
602.25/595.84	c cleaning 32009 clauses out of 64019 with flag 551003/2602544
618.73/612.29	c cleaning 33001 clauses out of 66008 with flag 585001/2636542
629.15/622.57	c cleaning 33996 clauses out of 68007 with flag 620001/2671542
636.48/629.88	c cleaning 34995 clauses out of 70010 with flag 656000/2707541
645.75/639.06	c cleaning 35998 clauses out of 72017 with flag 693002/2744543
655.42/648.65	c cleaning 37007 clauses out of 74021 with flag 731004/2782545
665.88/659.06	c cleaning 37993 clauses out of 76010 with flag 770000/2821541
676.52/669.62	c cleaning 39000 clauses out of 78017 with flag 810000/2861541
686.20/679.21	c cleaning 40004 clauses out of 80018 with flag 851001/2902542
695.75/688.79	c cleaning 41006 clauses out of 82016 with flag 893003/2944544
705.62/698.58	c cleaning 41998 clauses out of 84011 with flag 936004/2987545
715.50/708.33	c cleaning 42998 clauses out of 86010 with flag 980001/3031542
727.30/719.95	c cleaning 44003 clauses out of 88018 with flag 1025007/3076548
737.53/730.02	c cleaning 44997 clauses out of 90008 with flag 1071000/3122541
748.42/740.84	c cleaning 46001 clauses out of 92017 with flag 1118006/3169547
759.61/751.90	c cleaning 46997 clauses out of 94015 with flag 1166005/3217546
774.39/766.62	c cleaning 48002 clauses out of 96017 with flag 1215004/3266545
787.58/779.74	c cleaning 49001 clauses out of 98011 with flag 1265000/3316541
800.04/792.15	c cleaning 50003 clauses out of 100011 with flag 1316001/3367542
810.73/802.73	c cleaning 50994 clauses out of 102007 with flag 1368000/3419541
822.29/814.20	c cleaning 51999 clauses out of 104016 with flag 1421003/3472544
835.87/827.71	c cleaning 52997 clauses out of 106016 with flag 1475002/3526543
848.44/840.24	c cleaning 54003 clauses out of 108017 with flag 1530000/3581541
862.50/854.24	c cleaning 55004 clauses out of 110016 with flag 1586002/3637543
875.88/867.53	c cleaning 56002 clauses out of 112022 with flag 1643012/3694553
895.12/886.54	c cleaning 57002 clauses out of 114011 with flag 1701003/3752544
913.67/905.09	c cleaning 58012 clauses out of 116023 with flag 1760017/3811558
935.28/926.52	c cleaning 58991 clauses out of 117994 with flag 1820000/3871541
955.19/946.39	c cleaning 60000 clauses out of 120003 with flag 1881000/3932541
975.36/966.48	c cleaning 60997 clauses out of 122004 with flag 1943001/3994542
989.27/980.28	c cleaning 61997 clauses out of 124012 with flag 2006006/4057547
1003.68/994.56	c cleaning 62996 clauses out of 126014 with flag 2070005/4121546
1018.79/1009.52	c cleaning 63994 clauses out of 128015 with flag 2135002/4186543
1033.07/1023.70	c cleaning 64998 clauses out of 130021 with flag 2201002/4252543
1048.73/1039.37	c cleaning 66002 clauses out of 132023 with flag 2268002/4319543
1065.03/1055.56	c cleaning 66991 clauses out of 134019 with flag 2336000/4387541
1081.00/1071.42	c cleaning 68005 clauses out of 136028 with flag 2405000/4456541
1087.37/1077.74	c Got one! Elapsed wall clock time (in seconds):1077.625
1087.37/1077.74	o -101
1089.17/1079.54	c cleaning 50624 clauses out of 101256 with flag 5000/4489774
1090.59/1080.98	c cleaning 28311 clauses out of 56633 with flag 11001/4495775
1092.42/1082.71	c cleaning 17595 clauses out of 35322 with flag 18001/4502775
1094.36/1084.61	c cleaning 12851 clauses out of 25726 with flag 26000/4510774
1096.47/1086.76	c cleaning 10913 clauses out of 21889 with flag 35014/4519788
1098.31/1088.57	c cleaning 10472 clauses out of 20963 with flag 45001/4529775
1099.96/1090.18	c cleaning 10744 clauses out of 21491 with flag 56001/4540775
1102.58/1092.77	c cleaning 11372 clauses out of 22746 with flag 68000/4552774
1104.99/1095.19	c cleaning 12181 clauses out of 24378 with flag 81004/4565778
1107.84/1097.96	c cleaning 13095 clauses out of 26195 with flag 95002/4579776
1110.85/1100.97	c cleaning 14045 clauses out of 28098 with flag 110000/4594774
1114.17/1104.22	c cleaning 15026 clauses out of 30063 with flag 126010/4610784
1118.49/1108.52	c cleaning 16014 clauses out of 32027 with flag 143000/4627774
1123.25/1113.26	c cleaning 17006 clauses out of 34014 with flag 161001/4645775
1128.17/1118.15	c cleaning 18000 clauses out of 36008 with flag 180001/4664775
1133.29/1123.20	c cleaning 18999 clauses out of 38008 with flag 200001/4684775
1138.92/1128.88	c cleaning 20000 clauses out of 40009 with flag 221001/4705775
1145.45/1135.32	c cleaning 21000 clauses out of 42008 with flag 243000/4727774
1152.39/1142.28	c cleaning 22002 clauses out of 44009 with flag 266001/4750775
1159.53/1149.37	c cleaning 23000 clauses out of 46007 with flag 290001/4774775
1165.66/1155.41	c cleaning 23996 clauses out of 48006 with flag 315000/4799774
1172.33/1162.03	c cleaning 25006 clauses out of 50026 with flag 341016/4825790
1178.50/1168.19	c cleaning 25998 clauses out of 52005 with flag 368001/4852775
1183.12/1172.79	c cleaning 26998 clauses out of 54006 with flag 396000/4880774
1187.68/1177.28	c cleaning 28000 clauses out of 56009 with flag 425001/4909775
1193.40/1182.96	c cleaning 29001 clauses out of 58010 with flag 455002/4939776
1201.47/1190.92	c cleaning 29993 clauses out of 60010 with flag 486003/4970777
1210.84/1200.28	c cleaning 30997 clauses out of 62022 with flag 518008/5002782
1221.21/1210.56	c cleaning 32000 clauses out of 64022 with flag 551005/5035779
1230.88/1220.10	c cleaning 33005 clauses out of 66019 with flag 585002/5069776
1241.95/1231.11	c cleaning 34000 clauses out of 68017 with flag 620005/5104779
1253.19/1242.35	c cleaning 35001 clauses out of 70015 with flag 656003/5140777
1262.76/1251.83	c cleaning 35993 clauses out of 72011 with flag 693000/5177774
1277.02/1266.02	c cleaning 37022 clauses out of 74051 with flag 731033/5215807
1299.46/1288.45	c cleaning 37993 clauses out of 76003 with flag 770007/5254781
1321.65/1310.57	c cleaning 38985 clauses out of 78010 with flag 810007/5294781
1353.00/1341.80	c cleaning 40003 clauses out of 80018 with flag 851000/5335774
1381.21/1369.94	c cleaning 41000 clauses out of 82015 with flag 893000/5377774
1402.22/1390.81	c cleaning 42004 clauses out of 84017 with flag 936002/5420776
1411.37/1399.96	c cleaning 43000 clauses out of 86011 with flag 980000/5464774
1424.36/1412.87	c cleaning 44000 clauses out of 88013 with flag 1025002/5509776
1435.27/1423.66	c cleaning 45001 clauses out of 90011 with flag 1071000/5555774
1448.15/1436.47	c cleaning 46001 clauses out of 92010 with flag 1118000/5602774
1461.42/1449.70	c cleaning 47002 clauses out of 94009 with flag 1166000/5650774
1475.88/1464.07	c cleaning 48000 clauses out of 96007 with flag 1215000/5699774
1489.73/1477.80	c cleaning 49004 clauses out of 98008 with flag 1265001/5749775
1506.53/1494.51	c cleaning 49999 clauses out of 100003 with flag 1316000/5800774
1523.32/1511.25	c cleaning 51000 clauses out of 102004 with flag 1368000/5852774
1540.74/1528.61	c cleaning 52000 clauses out of 104004 with flag 1421000/5905774
1558.89/1546.75	c cleaning 53001 clauses out of 106004 with flag 1475000/5959774
1571.63/1559.44	c cleaning 53998 clauses out of 108003 with flag 1530000/6014774
1586.79/1574.57	c cleaning 54988 clauses out of 110008 with flag 1586003/6070777
1602.98/1590.64	c cleaning 55998 clauses out of 112017 with flag 1643000/6127774
1619.17/1606.70	c cleaning 56998 clauses out of 114019 with flag 1701000/6185774
1635.90/1623.49	c cleaning 58011 clauses out of 116021 with flag 1760000/6244774
1648.80/1636.20	c cleaning 59007 clauses out of 118029 with flag 1820019/6304793
1694.30/1681.68	c cleaning 59991 clauses out of 120004 with flag 1881001/6365775
1735.60/1722.85	c cleaning 60989 clauses out of 122016 with flag 1943004/6427778
1784.21/1771.30	c cleaning 62006 clauses out of 124024 with flag 2006001/6490775
1800.01/1787.01	c starts		: 302
1800.01/1787.01	c conflicts		: 6508725
1800.01/1787.01	c decisions		: 21562995
1800.01/1787.01	c propagations		: 445267824
1800.01/1787.01	c inspects		: 6849431205
1800.01/1787.01	c shortcuts		: 0
1800.01/1787.01	c learnt literals	: 0
1800.01/1787.01	c learnt binary clauses	: 49
1800.01/1787.01	c learnt ternary clauses	: 100746
1800.01/1787.01	c learnt constraints	: 6508725
1800.01/1787.01	c ignored constraints	: 0
1800.01/1787.01	c root simplifications	: 302
1800.01/1787.01	c removed literals (reason simplification)	: 671196815
1800.01/1787.01	c reason swapping (by a shorter reason)	: 0
1800.01/1787.01	c Calls to reduceDB	: 245
1800.01/1787.01	c number of reductions to clauses (during analyze)	: 0
1800.01/1787.01	c number of learned constraints concerned by reduction	: 0
1800.01/1787.01	c number of learning phase by resolution	: 0
1800.01/1787.01	c number of learning phase by cutting planes	: 0
1800.01/1787.01	c speed (assignments/second)	: 249246.32274944204
1800.01/1787.01	c non guided choices	15638
1800.01/1787.03	c learnt constraints type 
1800.01/1787.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 49
1800.01/1787.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 79942
1800.01/1787.03	c constraints type 
1800.01/1787.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6318
1800.01/1787.03	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1800.01/1787.03	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1800.01/1787.03	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6318
1800.01/1787.03	c 14139 constraints processed.
1800.01/1787.03	s SATISFIABLE
1800.01/1787.04	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 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 x479 x480 x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 x550 -x551 x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 x615 x616 x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 x774 x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 x794 x795 -x796 x797 x798 x799 x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 x863 -x864 x865 -x866 -x867 x868 x869 x870 -x871 -x872 x873 -x874 x875 -x876 x877 -x878 x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 x940 x941 -x942 -x943 x944 x945 -x946 -x947 -x948 x949 -x950 -x951 x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 x994 x995 -x996 -x997 -x998 -x999 -x1000 
1800.01/1787.04	c objective function=-101
1800.01/1787.04	c Total wall clock time (in seconds): 1786.921

Verifier Data 

OK	-101

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-3711184-1338173107/watcher-3711184-1338173107 -o /tmp/evaluation-result-3711184-1338173107/solver-3711184-1338173107 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711184-1338173107.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.05 2.00 3/194 24831
/proc/meminfo: memFree=30732660/32873648 swapFree=7112/7112
[pid=24831] ppid=24829 vsize=268 CPUtime=0 cores=1,3,5,7
/proc/24831/stat : 24831 (java) R 24829 24831 21838 0 -1 4194304 256 0 0 0 0 0 0 0 20 0 1 0 283436568 274432 5 33554432000 1073741824 1073778376 140736192176160 140737219083944 242158144240 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24831/statm: 68 23 17 9 0 25 0

[startup+0.0481791 s]
/proc/loadavg: 2.04 2.05 2.00 3/194 24831
/proc/meminfo: memFree=30732660/32873648 swapFree=7112/7112
[pid=24831] ppid=24829 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/24831/stat : 24831 (java) S 24829 24831 21838 0 -1 4202496 3089 0 1 0 2 0 0 0 20 0 13 0 283436568 9446973440 3785 33554432000 1073741824 1073778376 140736192176160 140736192167296 242170757181 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24831/statm: 2306390 3786 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100254 s]
/proc/loadavg: 2.04 2.05 2.00 3/194 24831
/proc/meminfo: memFree=30732660/32873648 swapFree=7112/7112
[pid=24831] ppid=24829 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/24831/stat : 24831 (java) S 24829 24831 21838 0 -1 4202496 4320 0 1 0 8 1 0 0 20 0 18 0 283436568 9787842560 6037 33554432000 1073741824 1073778376 140736192176160 140736192167296 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24831/statm: 2389610 6037 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300165 s]
/proc/loadavg: 2.04 2.05 2.00 3/194 24831
/proc/meminfo: memFree=30732660/32873648 swapFree=7112/7112
[pid=24831] ppid=24829 vsize=9558440 CPUtime=0.46 cores=1,3,5,7
/proc/24831/stat : 24831 (java) S 24829 24831 21838 0 -1 4202496 6110 0 1 0 45 1 0 0 20 0 18 0 283436568 9787842560 9304 33554432000 1073741824 1073778376 140736192176160 140736192167296 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24831/statm: 2389610 9304 2235 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558440

[startup+0.70017 s]
/proc/loadavg: 2.04 2.05 2.00 3/194 24831
/proc/meminfo: memFree=30732660/32873648 swapFree=7112/7112
[pid=24831] ppid=24829 vsize=9625004 CPUtime=1.65 cores=1,3,5,7
/proc/24831/stat : 24831 (java) S 24829 24831 21838 0 -1 4202496 23330 0 1 0 160 5 0 0 20 0 19 0 283436568 9856004096 34488 33554432000 1073741824 1073778376 140736192176160 140736192167296 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24831/statm: 2406251 34488 2255 9 0 2396937 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 9625004

[startup+1.50066 s]
/proc/loadavg: 2.04 2.05 2.00 3/213 24850
/proc/meminfo: memFree=30601348/32873648 swapFree=7112/7112
[pid=24831] ppid=24829 vsize=9625004 CPUtime=3.11 cores=1,3,5,7
/proc/24831/stat : 24831 (java) S 24829 24831 21838 0 -1 4202496 24485 0 1 0 305 6 0 0 20 0 19 0 283436568 9856004096 35151 33554432000 1073741824 1073778376 140736192176160 140736192167296 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24831/statm: 2406251 35151 2266 9 0 2396937 0
[pid=24831/tid=24833] ppid=24829 vsize=9625004 CPUtime=1.47 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (java) R 24829 24831 21838 0 -1 4202560 2580 0 1 0 144 3 0 0 20 0 19 0 283436568 9856004096 35151 33554432000 1073741824 1073778376 140736192176160 140652867740104 140652741047504 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436569 9856004096 35151 33554432000 1073741824 1073778376 140736192176160 140652711757992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24835] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24835/stat : 24835 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 35151 33554432000 1073741824 1073778376 140736192176160 140652710705448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24831/tid=24836] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24836/stat : 24836 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 35151 33554432000 1073741824 1073778376 140736192176160 140652709652904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24837] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24837/stat : 24837 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 35151 33554432000 1073741824 1073778376 140736192176160 140652708600360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24838] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24838/stat : 24838 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 35151 33554432000 1073741824 1073778376 140736192176160 140652707547816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24839] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24839/stat : 24839 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 35151 33554432000 1073741824 1073778376 140736192176160 140652706495272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24840] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24840/stat : 24840 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 35151 33554432000 1073741824 1073778376 140736192176160 140652705442728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24841] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24841/stat : 24841 (java) S 24829 24831 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 35151 33554432000 1073741824 1073778376 140736192176160 140652704390184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24842] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24842/stat : 24842 (java) S 24829 24831 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283436571 9856004096 35151 33554432000 1073741824 1073778376 140736192176160 140652691978344 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24843] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24843/stat : 24843 (java) S 24829 24831 21838 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 283436571 9856004096 35151 33554432000 1073741824 1073778376 140736192176160 140652690924664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24844] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24844/stat : 24844 (java) S 24829 24831 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283436571 9856004096 35151 33554432000 1073741824 1073778376 140736192176160 140652689872008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24845] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24845/stat : 24845 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436573 9856004096 35151 33554432000 1073741824 1073778376 140736192176160 140652688820752 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24846] ppid=24829 vsize=9625004 CPUtime=0.84 cores=1,3,5,7
/proc/24831/task/24846/stat : 24846 (java) S 24829 24831 21838 0 -1 4202560 12801 0 0 0 82 2 0 0 20 0 19 0 283436573 9856004096 35151 33554432000 1073741824 1073778376 140736192176160 140652687768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24847] ppid=24829 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/24831/task/24847/stat : 24847 (java) S 24829 24831 21838 0 -1 4202560 7904 0 0 0 75 2 0 0 20 0 19 0 283436573 9856004096 35151 33554432000 1073741824 1073778376 140736192176160 140652686715576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24848] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24848/stat : 24848 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436573 9856004096 35151 33554432000 1073741824 1073778376 140736192176160 140652685663224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24849] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24849/stat : 24849 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436573 9856004096 35151 33554432000 1073741824 1073778376 140736192176160 140652684610888 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24831/tid=24850] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24850/stat : 24850 (java) S 24829 24831 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283436623 9856004096 35151 33554432000 1073741824 1073778376 140736192176160 140652683555624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 9625004

[startup+3.10072 s]
/proc/loadavg: 2.12 2.06 2.01 3/213 24850
/proc/meminfo: memFree=30598932/32873648 swapFree=7112/7112
[pid=24831] ppid=24829 vsize=9625004 CPUtime=4.72 cores=1,3,5,7
/proc/24831/stat : 24831 (java) S 24829 24831 21838 0 -1 4202496 24490 0 1 0 466 6 0 0 20 0 19 0 283436568 9856004096 36688 33554432000 1073741824 1073778376 140736192176160 140736192167296 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24831/statm: 2406251 36688 2266 9 0 2396937 0
[pid=24831/tid=24833] ppid=24829 vsize=9625004 CPUtime=3.07 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (java) R 24829 24831 21838 0 -1 4202560 2584 0 1 0 304 3 0 0 20 0 19 0 283436568 9856004096 36688 33554432000 1073741824 1073778376 140736192176160 140652867740792 140652740887214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436569 9856004096 36688 33554432000 1073741824 1073778376 140736192176160 140652711757992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24835] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24835/stat : 24835 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 36688 33554432000 1073741824 1073778376 140736192176160 140652710705448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24831/tid=24836] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24836/stat : 24836 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 36688 33554432000 1073741824 1073778376 140736192176160 140652709652904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24837] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24837/stat : 24837 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 36688 33554432000 1073741824 1073778376 140736192176160 140652708600360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24838] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24838/stat : 24838 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 36688 33554432000 1073741824 1073778376 140736192176160 140652707547816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24839] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24839/stat : 24839 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 36688 33554432000 1073741824 1073778376 140736192176160 140652706495272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24840] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24840/stat : 24840 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 36688 33554432000 1073741824 1073778376 140736192176160 140652705442728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24841] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24841/stat : 24841 (java) S 24829 24831 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 36688 33554432000 1073741824 1073778376 140736192176160 140652704390184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24842] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24842/stat : 24842 (java) S 24829 24831 21838 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283436571 9856004096 36688 33554432000 1073741824 1073778376 140736192176160 140652691978344 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24831/tid=24843] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24843/stat : 24843 (java) S 24829 24831 21838 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 283436571 9856004096 36688 33554432000 1073741824 1073778376 140736192176160 140652690924664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24844] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24844/stat : 24844 (java) S 24829 24831 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283436571 9856004096 36688 33554432000 1073741824 1073778376 140736192176160 140652689872008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24845] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24845/stat : 24845 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436573 9856004096 36688 33554432000 1073741824 1073778376 140736192176160 140652688820752 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24846] ppid=24829 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/24831/task/24846/stat : 24846 (java) S 24829 24831 21838 0 -1 4202560 12801 0 0 0 83 2 0 0 20 0 19 0 283436573 9856004096 36688 33554432000 1073741824 1073778376 140736192176160 140652687768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24847] ppid=24829 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/24831/task/24847/stat : 24847 (java) S 24829 24831 21838 0 -1 4202560 7904 0 0 0 75 2 0 0 20 0 19 0 283436573 9856004096 36688 33554432000 1073741824 1073778376 140736192176160 140652686715576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24848] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24848/stat : 24848 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436573 9856004096 36688 33554432000 1073741824 1073778376 140736192176160 140652685663224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24849] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24849/stat : 24849 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436573 9856004096 36688 33554432000 1073741824 1073778376 140736192176160 140652684610888 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24831/tid=24850] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24850/stat : 24850 (java) S 24829 24831 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283436623 9856004096 36688 33554432000 1073741824 1073778376 140736192176160 140652683555624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 9625004

[startup+6.30057 s]
/proc/loadavg: 2.12 2.06 2.01 3/213 24850
/proc/meminfo: memFree=30568852/32873648 swapFree=7112/7112
[pid=24831] ppid=24829 vsize=9625004 CPUtime=8.01 cores=1,3,5,7
/proc/24831/stat : 24831 (java) S 24829 24831 21838 0 -1 4202496 24563 0 1 0 794 7 0 0 20 0 19 0 283436568 9856004096 43086 33554432000 1073741824 1073778376 140736192176160 140736192167296 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24831/statm: 2406251 43086 2291 9 0 2396937 0
[pid=24831/tid=24833] ppid=24829 vsize=9625004 CPUtime=6.19 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (java) R 24829 24831 21838 0 -1 4202560 2592 0 1 0 616 3 0 0 20 0 19 0 283436568 9856004096 43086 33554432000 1073741824 1073778376 140736192176160 140652867740136 140652741140244 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (java) S 24829 24831 21838 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 283436569 9856004096 43086 33554432000 1073741824 1073778376 140736192176160 140652711757992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24835] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24835/stat : 24835 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 43086 33554432000 1073741824 1073778376 140736192176160 140652710705448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24836] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24836/stat : 24836 (java) S 24829 24831 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 43086 33554432000 1073741824 1073778376 140736192176160 140652709652904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24837] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24837/stat : 24837 (java) S 24829 24831 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 43086 33554432000 1073741824 1073778376 140736192176160 140652708600360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24831/tid=24838] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24838/stat : 24838 (java) S 24829 24831 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 43086 33554432000 1073741824 1073778376 140736192176160 140652707547816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24839] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24839/stat : 24839 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 43086 33554432000 1073741824 1073778376 140736192176160 140652706495272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24840] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24840/stat : 24840 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 43086 33554432000 1073741824 1073778376 140736192176160 140652705442728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24841] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24841/stat : 24841 (java) S 24829 24831 21838 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283436570 9856004096 43086 33554432000 1073741824 1073778376 140736192176160 140652704390184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24842] ppid=24829 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/24831/task/24842/stat : 24842 (java) S 24829 24831 21838 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 283436571 9856004096 43086 33554432000 1073741824 1073778376 140736192176160 140652691978344 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24831/tid=24843] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24843/stat : 24843 (java) S 24829 24831 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283436571 9856004096 43086 33554432000 1073741824 1073778376 140736192176160 140652690924664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24844] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24844/stat : 24844 (java) S 24829 24831 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283436571 9856004096 43086 33554432000 1073741824 1073778376 140736192176160 140652689872008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24845] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24845/stat : 24845 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436573 9856004096 43086 33554432000 1073741824 1073778376 140736192176160 140652688820752 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24846] ppid=24829 vsize=9625004 CPUtime=0.88 cores=1,3,5,7
/proc/24831/task/24846/stat : 24846 (java) S 24829 24831 21838 0 -1 4202560 12805 0 0 0 86 2 0 0 20 0 19 0 283436573 9856004096 43086 33554432000 1073741824 1073778376 140736192176160 140652687768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24847] ppid=24829 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/24831/task/24847/stat : 24847 (java) S 24829 24831 21838 0 -1 4202560 7905 0 0 0 78 2 0 0 20 0 19 0 283436573 9856004096 43086 33554432000 1073741824 1073778376 140736192176160 140652686715576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24848] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24848/stat : 24848 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436573 9856004096 43086 33554432000 1073741824 1073778376 140736192176160 140652685663224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24849] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24849/stat : 24849 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436573 9856004096 43086 33554432000 1073741824 1073778376 140736192176160 140652684610888 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24831/tid=24850] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24850/stat : 24850 (java) S 24829 24831 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283436623 9856004096 43086 33554432000 1073741824 1073778376 140736192176160 140652683555624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.01
Current children cumulated vsize (KiB) 9625004

[startup+12.7005 s]

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

[pid=24831/tid=24839] ppid=24829 vsize=9625004 CPUtime=1.82 cores=1,3,5,7
/proc/24831/task/24839/stat : 24839 (java) S 24829 24831 21838 0 -1 4202560 549 0 0 0 176 6 0 0 20 0 19 0 283436570 9856004096 159457 33554432000 1073741824 1073778376 140736192176160 140652706495272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24840] ppid=24829 vsize=9625004 CPUtime=1.69 cores=1,3,5,7
/proc/24831/task/24840/stat : 24840 (java) S 24829 24831 21838 0 -1 4202560 441 0 0 0 164 5 0 0 20 0 19 0 283436570 9856004096 159457 33554432000 1073741824 1073778376 140736192176160 140652705442728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24831/tid=24841] ppid=24829 vsize=9625004 CPUtime=1.88 cores=1,3,5,7
/proc/24831/task/24841/stat : 24841 (java) S 24829 24831 21838 0 -1 4202560 327 0 0 0 179 9 0 0 20 0 19 0 283436570 9856004096 159457 33554432000 1073741824 1073778376 140736192176160 140652704390184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24842] ppid=24829 vsize=9625004 CPUtime=12.53 cores=1,3,5,7
/proc/24831/task/24842/stat : 24842 (java) S 24829 24831 21838 0 -1 4202560 405 0 0 0 1250 3 0 0 20 0 19 0 283436571 9856004096 159457 33554432000 1073741824 1073778376 140736192176160 140652691978344 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24831/tid=24843] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24843/stat : 24843 (java) S 24829 24831 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283436571 9856004096 159457 33554432000 1073741824 1073778376 140736192176160 140652690924664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24844] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24844/stat : 24844 (java) S 24829 24831 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283436571 9856004096 159457 33554432000 1073741824 1073778376 140736192176160 140652689872008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24845] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24845/stat : 24845 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436573 9856004096 159457 33554432000 1073741824 1073778376 140736192176160 140652688820752 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24846] ppid=24829 vsize=9625004 CPUtime=0.97 cores=1,3,5,7
/proc/24831/task/24846/stat : 24846 (java) S 24829 24831 21838 0 -1 4202560 12807 0 0 0 95 2 0 0 20 0 19 0 283436573 9856004096 159457 33554432000 1073741824 1073778376 140736192176160 140652687768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24847] ppid=24829 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/24831/task/24847/stat : 24847 (java) S 24829 24831 21838 0 -1 4202560 7911 0 0 0 89 2 0 0 20 0 19 0 283436573 9856004096 159457 33554432000 1073741824 1073778376 140736192176160 140652686715576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24848] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24848/stat : 24848 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436573 9856004096 159457 33554432000 1073741824 1073778376 140736192176160 140652685663224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24849] ppid=24829 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/24831/task/24849/stat : 24849 (java) S 24829 24831 21838 0 -1 4202560 94 0 0 0 17 20 0 0 20 0 19 0 283436573 9856004096 159457 33554432000 1073741824 1073778376 140736192176160 140652684610888 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24831/tid=24850] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24850/stat : 24850 (java) S 24829 24831 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283436623 9856004096 159457 33554432000 1073741824 1073778376 140736192176160 140652683555624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1675
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24946
/proc/meminfo: memFree=29708844/32873648 swapFree=7112/7112
[pid=24831] ppid=24829 vsize=9625004 CPUtime=1735.1 cores=1,3,5,7
/proc/24831/stat : 24831 (java) S 24829 24831 21838 0 -1 4202496 28711 0 1 0 173426 84 0 0 20 0 19 0 283436568 9856004096 159461 33554432000 1073741824 1073778376 140736192176160 140736192167296 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24831/statm: 2406251 159461 2292 9 0 2396937 0
[pid=24831/tid=24833] ppid=24829 vsize=9625004 CPUtime=1705.45 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (java) R 24829 24831 21838 0 -1 4202560 2858 0 1 0 170515 30 0 0 20 0 19 0 283436568 9856004096 159461 33554432000 1073741824 1073778376 140736192176160 140652867739936 140652740587477 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=9625004 CPUtime=1.82 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (java) S 24829 24831 21838 0 -1 4202560 479 0 0 0 175 7 0 0 20 0 19 0 283436569 9856004096 159461 33554432000 1073741824 1073778376 140736192176160 140652711757992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24835] ppid=24829 vsize=9625004 CPUtime=1.89 cores=1,3,5,7
/proc/24831/task/24835/stat : 24835 (java) S 24829 24831 21838 0 -1 4202560 301 0 0 0 183 6 0 0 20 0 19 0 283436570 9856004096 159461 33554432000 1073741824 1073778376 140736192176160 140652710705448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24836] ppid=24829 vsize=9625004 CPUtime=1.97 cores=1,3,5,7
/proc/24831/task/24836/stat : 24836 (java) S 24829 24831 21838 0 -1 4202560 515 0 0 0 188 9 0 0 20 0 19 0 283436570 9856004096 159461 33554432000 1073741824 1073778376 140736192176160 140652709652904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24837] ppid=24829 vsize=9625004 CPUtime=1.86 cores=1,3,5,7
/proc/24831/task/24837/stat : 24837 (java) S 24829 24831 21838 0 -1 4202560 353 0 0 0 180 6 0 0 20 0 19 0 283436570 9856004096 159461 33554432000 1073741824 1073778376 140736192176160 140652708600360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24838] ppid=24829 vsize=9625004 CPUtime=1.85 cores=1,3,5,7
/proc/24831/task/24838/stat : 24838 (java) S 24829 24831 21838 0 -1 4202560 475 0 0 0 178 7 0 0 20 0 19 0 283436570 9856004096 159461 33554432000 1073741824 1073778376 140736192176160 140652707547816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24839] ppid=24829 vsize=9625004 CPUtime=1.83 cores=1,3,5,7
/proc/24831/task/24839/stat : 24839 (java) S 24829 24831 21838 0 -1 4202560 549 0 0 0 177 6 0 0 20 0 19 0 283436570 9856004096 159461 33554432000 1073741824 1073778376 140736192176160 140652706495272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24840] ppid=24829 vsize=9625004 CPUtime=1.71 cores=1,3,5,7
/proc/24831/task/24840/stat : 24840 (java) S 24829 24831 21838 0 -1 4202560 445 0 0 0 166 5 0 0 20 0 19 0 283436570 9856004096 159461 33554432000 1073741824 1073778376 140736192176160 140652705442728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24841] ppid=24829 vsize=9625004 CPUtime=1.92 cores=1,3,5,7
/proc/24831/task/24841/stat : 24841 (java) S 24829 24831 21838 0 -1 4202560 327 0 0 0 183 9 0 0 20 0 19 0 283436570 9856004096 159461 33554432000 1073741824 1073778376 140736192176160 140652704390184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24842] ppid=24829 vsize=9625004 CPUtime=12.64 cores=1,3,5,7
/proc/24831/task/24842/stat : 24842 (java) S 24829 24831 21838 0 -1 4202560 407 0 0 0 1261 3 0 0 20 0 19 0 283436571 9856004096 159461 33554432000 1073741824 1073778376 140736192176160 140652691978344 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24831/tid=24843] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24843/stat : 24843 (java) S 24829 24831 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283436571 9856004096 159461 33554432000 1073741824 1073778376 140736192176160 140652690924664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24844] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24844/stat : 24844 (java) S 24829 24831 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283436571 9856004096 159461 33554432000 1073741824 1073778376 140736192176160 140652689872008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24845] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24845/stat : 24845 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436573 9856004096 159461 33554432000 1073741824 1073778376 140736192176160 140652688820752 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24846] ppid=24829 vsize=9625004 CPUtime=0.97 cores=1,3,5,7
/proc/24831/task/24846/stat : 24846 (java) S 24829 24831 21838 0 -1 4202560 12807 0 0 0 95 2 0 0 20 0 19 0 283436573 9856004096 159461 33554432000 1073741824 1073778376 140736192176160 140652687768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24847] ppid=24829 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/24831/task/24847/stat : 24847 (java) S 24829 24831 21838 0 -1 4202560 7911 0 0 0 89 2 0 0 20 0 19 0 283436573 9856004096 159461 33554432000 1073741824 1073778376 140736192176160 140652686715576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24848] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24848/stat : 24848 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436573 9856004096 159461 33554432000 1073741824 1073778376 140736192176160 140652685663224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24849] ppid=24829 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/24831/task/24849/stat : 24849 (java) S 24829 24831 21838 0 -1 4202560 98 0 0 0 18 22 0 0 20 0 19 0 283436573 9856004096 159461 33554432000 1073741824 1073778376 140736192176160 140652684610888 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24831/tid=24850] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24850/stat : 24850 (java) S 24829 24831 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283436623 9856004096 159461 33554432000 1073741824 1073778376 140736192176160 140652683555624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1735.1
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24946
/proc/meminfo: memFree=29708600/32873648 swapFree=7112/7112
[pid=24831] ppid=24829 vsize=9625004 CPUtime=1795.3 cores=1,3,5,7
/proc/24831/stat : 24831 (java) S 24829 24831 21838 0 -1 4202496 28728 0 1 0 179446 84 0 0 20 0 19 0 283436568 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140736192167296 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24831/statm: 2406251 159468 2292 9 0 2396937 0
[pid=24831/tid=24833] ppid=24829 vsize=9625004 CPUtime=1765.23 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (java) R 24829 24831 21838 0 -1 4202560 2860 0 1 0 176492 31 0 0 20 0 19 0 283436568 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652867739936 140652740967033 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=9625004 CPUtime=1.86 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (java) S 24829 24831 21838 0 -1 4202560 479 0 0 0 179 7 0 0 20 0 19 0 283436569 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652711757992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24835] ppid=24829 vsize=9625004 CPUtime=1.94 cores=1,3,5,7
/proc/24831/task/24835/stat : 24835 (java) S 24829 24831 21838 0 -1 4202560 301 0 0 0 188 6 0 0 20 0 19 0 283436570 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652710705448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24836] ppid=24829 vsize=9625004 CPUtime=2 cores=1,3,5,7
/proc/24831/task/24836/stat : 24836 (java) S 24829 24831 21838 0 -1 4202560 515 0 0 0 191 9 0 0 20 0 19 0 283436570 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652709652904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24837] ppid=24829 vsize=9625004 CPUtime=1.89 cores=1,3,5,7
/proc/24831/task/24837/stat : 24837 (java) S 24829 24831 21838 0 -1 4202560 353 0 0 0 183 6 0 0 20 0 19 0 283436570 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652708600360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24838] ppid=24829 vsize=9625004 CPUtime=1.87 cores=1,3,5,7
/proc/24831/task/24838/stat : 24838 (java) S 24829 24831 21838 0 -1 4202560 475 0 0 0 180 7 0 0 20 0 19 0 283436570 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652707547816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24839] ppid=24829 vsize=9625004 CPUtime=1.85 cores=1,3,5,7
/proc/24831/task/24839/stat : 24839 (java) S 24829 24831 21838 0 -1 4202560 549 0 0 0 179 6 0 0 20 0 19 0 283436570 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652706495272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24840] ppid=24829 vsize=9625004 CPUtime=1.74 cores=1,3,5,7
/proc/24831/task/24840/stat : 24840 (java) S 24829 24831 21838 0 -1 4202560 452 0 0 0 169 5 0 0 20 0 19 0 283436570 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652705442728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24841] ppid=24829 vsize=9625004 CPUtime=1.96 cores=1,3,5,7
/proc/24831/task/24841/stat : 24841 (java) S 24829 24831 21838 0 -1 4202560 327 0 0 0 187 9 0 0 20 0 19 0 283436570 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652704390184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24842] ppid=24829 vsize=9625004 CPUtime=12.8 cores=1,3,5,7
/proc/24831/task/24842/stat : 24842 (java) S 24829 24831 21838 0 -1 4202560 411 0 0 0 1277 3 0 0 20 0 19 0 283436571 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652691978344 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24831/tid=24843] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24843/stat : 24843 (java) S 24829 24831 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283436571 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652690924664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24844] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24844/stat : 24844 (java) S 24829 24831 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283436571 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652689872008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24845] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24845/stat : 24845 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436573 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652688820752 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24846] ppid=24829 vsize=9625004 CPUtime=0.97 cores=1,3,5,7
/proc/24831/task/24846/stat : 24846 (java) S 24829 24831 21838 0 -1 4202560 12807 0 0 0 95 2 0 0 20 0 19 0 283436573 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652687768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24847] ppid=24829 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/24831/task/24847/stat : 24847 (java) S 24829 24831 21838 0 -1 4202560 7911 0 0 0 89 2 0 0 20 0 19 0 283436573 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652686715576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24848] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24848/stat : 24848 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436573 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652685663224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24849] ppid=24829 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/24831/task/24849/stat : 24849 (java) S 24829 24831 21838 0 -1 4202560 102 0 0 0 18 22 0 0 20 0 19 0 283436573 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652684610888 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24831/tid=24850] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24850/stat : 24850 (java) S 24829 24831 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283436623 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652683555624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1795.3
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24946
/proc/meminfo: memFree=29708600/32873648 swapFree=7112/7112
[pid=24831] ppid=24829 vsize=9625004 CPUtime=1800.01 cores=1,3,5,7
/proc/24831/stat : 24831 (java) S 24829 24831 21838 0 -1 4202496 28728 0 1 0 179916 85 0 0 20 0 19 0 283436568 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140736192167296 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24831/statm: 2406251 159468 2292 9 0 2396937 0
[pid=24831/tid=24833] ppid=24829 vsize=9625004 CPUtime=1769.93 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (java) R 24829 24831 21838 0 -1 4202560 2860 0 1 0 176962 31 0 0 20 0 19 0 283436568 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652867739936 140652740967033 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=9625004 CPUtime=1.86 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (java) S 24829 24831 21838 0 -1 4202560 479 0 0 0 179 7 0 0 20 0 19 0 283436569 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652711757992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24835] ppid=24829 vsize=9625004 CPUtime=1.94 cores=1,3,5,7
/proc/24831/task/24835/stat : 24835 (java) S 24829 24831 21838 0 -1 4202560 301 0 0 0 188 6 0 0 20 0 19 0 283436570 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652710705448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24836] ppid=24829 vsize=9625004 CPUtime=2 cores=1,3,5,7
/proc/24831/task/24836/stat : 24836 (java) S 24829 24831 21838 0 -1 4202560 515 0 0 0 191 9 0 0 20 0 19 0 283436570 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652709652904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24837] ppid=24829 vsize=9625004 CPUtime=1.89 cores=1,3,5,7
/proc/24831/task/24837/stat : 24837 (java) S 24829 24831 21838 0 -1 4202560 353 0 0 0 183 6 0 0 20 0 19 0 283436570 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652708600360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24838] ppid=24829 vsize=9625004 CPUtime=1.87 cores=1,3,5,7
/proc/24831/task/24838/stat : 24838 (java) S 24829 24831 21838 0 -1 4202560 475 0 0 0 180 7 0 0 20 0 19 0 283436570 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652707547816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24839] ppid=24829 vsize=9625004 CPUtime=1.85 cores=1,3,5,7
/proc/24831/task/24839/stat : 24839 (java) S 24829 24831 21838 0 -1 4202560 549 0 0 0 179 6 0 0 20 0 19 0 283436570 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652706495272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24840] ppid=24829 vsize=9625004 CPUtime=1.74 cores=1,3,5,7
/proc/24831/task/24840/stat : 24840 (java) S 24829 24831 21838 0 -1 4202560 452 0 0 0 169 5 0 0 20 0 19 0 283436570 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652705442728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24841] ppid=24829 vsize=9625004 CPUtime=1.96 cores=1,3,5,7
/proc/24831/task/24841/stat : 24841 (java) S 24829 24831 21838 0 -1 4202560 327 0 0 0 187 9 0 0 20 0 19 0 283436570 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652704390184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24842] ppid=24829 vsize=9625004 CPUtime=12.8 cores=1,3,5,7
/proc/24831/task/24842/stat : 24842 (java) S 24829 24831 21838 0 -1 4202560 411 0 0 0 1277 3 0 0 20 0 19 0 283436571 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652691978344 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24831/tid=24843] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24843/stat : 24843 (java) S 24829 24831 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283436571 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652690924664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24844] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24844/stat : 24844 (java) S 24829 24831 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283436571 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652689872008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24845] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24845/stat : 24845 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436573 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652688820752 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24846] ppid=24829 vsize=9625004 CPUtime=0.97 cores=1,3,5,7
/proc/24831/task/24846/stat : 24846 (java) S 24829 24831 21838 0 -1 4202560 12807 0 0 0 95 2 0 0 20 0 19 0 283436573 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652687768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24831/tid=24847] ppid=24829 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/24831/task/24847/stat : 24847 (java) S 24829 24831 21838 0 -1 4202560 7911 0 0 0 89 2 0 0 20 0 19 0 283436573 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652686715576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24831/tid=24848] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24848/stat : 24848 (java) S 24829 24831 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283436573 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652685663224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24831/tid=24849] ppid=24829 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/24831/task/24849/stat : 24849 (java) S 24829 24831 21838 0 -1 4202560 102 0 0 0 19 22 0 0 20 0 19 0 283436573 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652684610888 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24831/tid=24850] ppid=24829 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24850/stat : 24850 (java) S 24829 24831 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283436623 9856004096 159468 33554432000 1073741824 1073778376 140736192176160 140652683555624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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

Child status: 143
Real time (s): 1787.05
CPU time (s): 1800.45
CPU user time (s): 1799.16
CPU system time (s): 1.2918
CPU usage (%): 100.75
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 1.2918
maximum resident set size= 637992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28762
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44950
involuntary context switches= 24669

runsolver used 5.8911 second user time and 14.9317 second system time

The end

Launcher Data 

Begin job on node126 at 2012-05-28 04:45:07
IDJOB=3711184
IDBENCH=48258
IDSOLVER=2289
FILE ID=node126/3711184-1338173107
RUNJOBID= node126-1338147557-21855
PBS_JOBID= 14624519
Free space on /tmp= 71360 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_1.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-3711184-1338173107/watcher-3711184-1338173107 -o /tmp/evaluation-result-3711184-1338173107/solver-3711184-1338173107 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711184-1338173107.opb

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

MD5SUM BENCH= 162153f0f0e5f8f2e587b9d579ee09dc
RANDOM SEED=1972844690

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30732932 kB
Buffers:          325452 kB
Cached:           585660 kB
SwapCached:        17756 kB
Active:          1141728 kB
Inactive:         188564 kB
Active(anon):     400748 kB
Inactive(anon):    20452 kB
Active(file):     740980 kB
Inactive(file):   168112 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:               892 kB
Writeback:             0 kB
AnonPages:        411112 kB
Mapped:            17952 kB
Shmem:                 0 kB
Slab:             669196 kB
SReclaimable:     113348 kB
SUnreclaim:       555848 kB
KernelStack:        1600 kB
PageTables:         4912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    385024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71356 MiB
End job on node126 at 2012-05-28 05:14:56