Trace number 3710638

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)47882 1800.55 1794.65

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
MD5SUMc3720ea5d84e92b781414b36064971fe
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark43606
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 46478
Optimality of the best value was proved NO
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 279536
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 279536
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
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-3710638-1338142497.opb
0.09/0.12	c reading problem ... 
0.90/0.51	c ... done. Wall clock time 0.385s.
0.90/0.51	c declared #vars     1344
0.90/0.51	c #constraints  16376
0.90/0.51	c constraints type 
0.90/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
0.90/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
0.90/0.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
0.90/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7392
0.90/0.51	c 16376 constraints processed.
1.15/0.62	c SATISFIABLE
1.15/0.62	c OPTIMIZING...
1.15/0.62	c Got one! Elapsed wall clock time (in seconds):0.504
1.15/0.62	o 55172
1.42/0.74	c Got one! Elapsed wall clock time (in seconds):0.616
1.42/0.74	o 54725
1.70/0.91	c Got one! Elapsed wall clock time (in seconds):0.79
1.70/0.91	o 54325
1.81/1.02	c Got one! Elapsed wall clock time (in seconds):0.903
1.81/1.02	o 53306
1.81/1.10	c Got one! Elapsed wall clock time (in seconds):0.981
1.81/1.10	o 53080
2.30/1.30	c Got one! Elapsed wall clock time (in seconds):1.181
2.30/1.30	o 51981
2.60/1.67	c Got one! Elapsed wall clock time (in seconds):1.549
2.60/1.67	o 51968
2.82/1.80	c Got one! Elapsed wall clock time (in seconds):1.676
2.82/1.80	o 51444
2.93/1.99	c cleaning 4187 clauses out of 8374 with flag 1001/8374
3.60/2.53	c Got one! Elapsed wall clock time (in seconds):2.406
3.60/2.53	o 49997
3.83/2.71	c cleaning 4636 clauses out of 9271 with flag 1000/13458
4.93/3.81	c cleaning 5311 clauses out of 10635 with flag 7000/19458
6.05/4.99	c cleaning 6152 clauses out of 12326 with flag 14002/26460
7.59/6.42	c cleaning 7071 clauses out of 14172 with flag 22000/34458
9.29/8.13	c cleaning 8047 clauses out of 16102 with flag 31001/43459
11.11/9.92	c cleaning 9017 clauses out of 18054 with flag 41000/53458
11.71/10.50	c Got one! Elapsed wall clock time (in seconds):10.381
11.71/10.50	o 49977
11.81/10.69	c cleaning 7021 clauses out of 14086 with flag 1000/58507
12.91/11.73	c cleaning 6507 clauses out of 13065 with flag 7000/64507
13.52/12.32	c Got one! Elapsed wall clock time (in seconds):12.197
13.52/12.32	o 49730
13.92/12.70	c cleaning 5987 clauses out of 12023 with flag 2000/69972
15.22/14.10	c cleaning 6012 clauses out of 12037 with flag 8001/75973
16.43/15.24	c cleaning 6505 clauses out of 13026 with flag 15002/82974
17.93/16.78	c cleaning 7247 clauses out of 14521 with flag 23002/90974
19.34/18.12	c Got one! Elapsed wall clock time (in seconds):18.001
19.34/18.12	o 49604
20.24/19.08	c cleaning 9560 clauses out of 19126 with flag 5000/102826
21.45/20.27	c cleaning 7773 clauses out of 15566 with flag 11000/108826
22.86/21.63	c cleaning 7394 clauses out of 14794 with flag 18001/115827
24.27/23.09	c cleaning 7666 clauses out of 15399 with flag 26000/123826
26.07/24.80	c cleaning 8359 clauses out of 16734 with flag 35001/132827
27.98/26.78	c cleaning 9176 clauses out of 18374 with flag 45000/142826
30.28/29.04	c cleaning 10095 clauses out of 20198 with flag 56000/153826
33.29/32.06	c cleaning 11043 clauses out of 22103 with flag 68000/165826
36.01/34.79	c Got one! Elapsed wall clock time (in seconds):34.667
36.01/34.79	o 49216
37.11/35.90	c cleaning 14337 clauses out of 28676 with flag 5000/183442
38.45/37.16	c cleaning 10160 clauses out of 20339 with flag 11000/189442
38.87/37.53	c Got one! Elapsed wall clock time (in seconds):37.405
38.87/37.53	o 49107
39.57/38.25	c cleaning 7675 clauses out of 15385 with flag 3001/194648
40.77/39.47	c cleaning 6808 clauses out of 13711 with flag 9002/200649
42.18/40.86	c cleaning 6885 clauses out of 13901 with flag 16000/207647
43.48/42.11	c Got one! Elapsed wall clock time (in seconds):41.986
43.48/42.11	o 48814
44.48/43.15	c cleaning 9546 clauses out of 19136 with flag 5000/219767
45.88/44.52	c cleaning 7732 clauses out of 15590 with flag 11000/225767
47.29/45.90	c cleaning 7414 clauses out of 14859 with flag 18001/232768
48.89/47.57	c cleaning 7691 clauses out of 15444 with flag 26000/240767
50.99/49.68	c cleaning 8337 clauses out of 16753 with flag 35000/249767
53.50/52.12	c cleaning 9195 clauses out of 18416 with flag 45000/259767
55.62/54.20	c cleaning 10104 clauses out of 20221 with flag 56000/270767
58.04/56.61	c cleaning 11027 clauses out of 22118 with flag 68001/282768
60.85/59.41	c cleaning 12033 clauses out of 24090 with flag 81000/295767
63.86/62.44	c cleaning 13011 clauses out of 26058 with flag 95001/309768
67.38/65.91	c cleaning 14014 clauses out of 28046 with flag 110000/324767
71.48/70.05	c cleaning 15012 clauses out of 30032 with flag 126000/340767
75.99/74.54	c cleaning 15992 clauses out of 32021 with flag 143001/357768
81.90/80.41	c cleaning 16998 clauses out of 34028 with flag 161000/375767
87.42/85.97	c cleaning 18002 clauses out of 36030 with flag 180000/394767
92.04/90.59	c cleaning 19009 clauses out of 38030 with flag 200002/414769
96.97/95.40	c cleaning 19981 clauses out of 40019 with flag 221000/435767
102.78/101.29	c cleaning 21019 clauses out of 42038 with flag 243000/457767
109.59/108.04	c cleaning 22005 clauses out of 44019 with flag 266000/480767
117.22/115.66	c cleaning 22997 clauses out of 46014 with flag 290000/504767
123.03/121.46	c cleaning 24001 clauses out of 48018 with flag 315001/529768
131.28/129.66	c cleaning 24992 clauses out of 50017 with flag 341001/555768
141.24/139.50	c cleaning 26007 clauses out of 52027 with flag 368003/582770
148.77/147.03	c cleaning 26964 clauses out of 54018 with flag 396001/610768
149.29/147.55	c Got one! Elapsed wall clock time (in seconds):147.428
149.29/147.55	o 47908
149.79/148.07	c cleaning 16033 clauses out of 32081 with flag 3000/615795
151.42/149.62	c cleaning 10990 clauses out of 22049 with flag 9001/621796
152.73/150.99	c cleaning 8999 clauses out of 18059 with flag 16001/628796
154.35/152.57	c cleaning 8502 clauses out of 17060 with flag 24001/636796
156.18/154.31	c cleaning 8770 clauses out of 17557 with flag 33000/645795
158.70/156.89	c cleaning 9388 clauses out of 18789 with flag 43002/655797
161.62/159.75	c cleaning 10182 clauses out of 20401 with flag 54002/666797
164.32/162.44	c cleaning 11097 clauses out of 22218 with flag 66001/678796
167.64/165.78	c cleaning 12042 clauses out of 24120 with flag 79000/691795
171.17/169.27	c cleaning 13027 clauses out of 26079 with flag 93001/705796
175.19/173.27	c cleaning 14019 clauses out of 28051 with flag 108000/720795
178.93/176.99	c cleaning 15008 clauses out of 30035 with flag 124003/736798
182.95/180.90	c cleaning 15973 clauses out of 32025 with flag 141001/753796
187.57/185.53	c cleaning 16989 clauses out of 34051 with flag 159000/771795
192.40/190.37	c cleaning 17997 clauses out of 36062 with flag 178000/790795
198.90/196.86	c cleaning 18995 clauses out of 38065 with flag 198000/810795
205.82/203.71	c cleaning 20000 clauses out of 40070 with flag 219000/831795
213.23/211.14	c cleaning 20983 clauses out of 42070 with flag 241000/853795
220.04/217.95	c cleaning 22014 clauses out of 44090 with flag 264003/876798
225.67/223.58	c cleaning 23037 clauses out of 46076 with flag 288003/900798
231.68/229.59	c cleaning 24005 clauses out of 48038 with flag 313002/925797
238.80/236.64	c cleaning 24998 clauses out of 50032 with flag 339001/951796
247.32/245.11	c cleaning 25991 clauses out of 52033 with flag 366000/978795
256.34/254.15	c cleaning 27007 clauses out of 54042 with flag 394000/1006795
265.76/263.57	c cleaning 27986 clauses out of 56036 with flag 423001/1035796
276.59/274.36	c cleaning 28997 clauses out of 58051 with flag 453002/1065797
286.00/283.79	c cleaning 30005 clauses out of 60052 with flag 484000/1096795
295.74/293.46	c cleaning 31004 clauses out of 62052 with flag 516005/1128800
306.88/304.53	c cleaning 31977 clauses out of 64043 with flag 549000/1161795
317.92/315.52	c cleaning 33011 clauses out of 66066 with flag 583000/1195795
331.35/328.98	c cleaning 34007 clauses out of 68055 with flag 618000/1230795
346.67/344.26	c cleaning 34995 clauses out of 70048 with flag 654000/1266795
361.99/359.50	c cleaning 35969 clauses out of 72053 with flag 691000/1303795
367.46/364.90	c Got one! Elapsed wall clock time (in seconds):364.776
367.46/364.90	o 47882
368.66/366.17	c cleaning 27801 clauses out of 55628 with flag 5001/1323339
369.97/367.49	c cleaning 16901 clauses out of 33827 with flag 11001/1329339
371.30/368.78	c cleaning 11921 clauses out of 23925 with flag 18000/1336338
372.91/370.35	c cleaning 9991 clauses out of 20005 with flag 26001/1344339
374.95/372.32	c cleaning 9497 clauses out of 19015 with flag 35002/1353340
377.17/374.58	c cleaning 9726 clauses out of 19517 with flag 45001/1363339
379.67/377.09	c cleaning 10375 clauses out of 20790 with flag 56000/1374338
382.59/379.94	c cleaning 11199 clauses out of 22415 with flag 68000/1386338
385.21/382.50	c cleaning 12099 clauses out of 24217 with flag 81001/1399339
387.83/385.14	c cleaning 13053 clauses out of 26117 with flag 95000/1413338
391.24/388.54	c cleaning 13992 clauses out of 28067 with flag 110003/1428341
395.47/392.74	c cleaning 15016 clauses out of 30077 with flag 126005/1444343
399.80/397.03	c cleaning 16018 clauses out of 32056 with flag 143000/1461338
404.40/401.69	c cleaning 16966 clauses out of 34038 with flag 161000/1479338
409.52/406.74	c cleaning 18010 clauses out of 36073 with flag 180001/1498339
415.33/412.56	c cleaning 19011 clauses out of 38064 with flag 200002/1518340
421.43/418.66	c cleaning 20011 clauses out of 40051 with flag 221000/1539338
428.23/425.49	c cleaning 21001 clauses out of 42040 with flag 243000/1561338
435.16/432.37	c cleaning 21971 clauses out of 44039 with flag 266000/1584338
443.09/440.29	c cleaning 23007 clauses out of 46068 with flag 290000/1608338
450.70/447.88	c cleaning 24025 clauses out of 48062 with flag 315001/1633339
460.76/457.85	c cleaning 25004 clauses out of 50036 with flag 341000/1659338
470.87/467.99	c cleaning 26008 clauses out of 52032 with flag 368000/1686338
482.19/479.20	c cleaning 26995 clauses out of 54025 with flag 396001/1714339
493.91/490.94	c cleaning 27993 clauses out of 56031 with flag 425002/1743340
505.36/502.31	c cleaning 28996 clauses out of 58036 with flag 455000/1773338
516.99/513.96	c cleaning 29975 clauses out of 60040 with flag 486000/1804338
529.70/526.62	c cleaning 30986 clauses out of 62065 with flag 518000/1836338
543.15/540.08	c cleaning 32024 clauses out of 64079 with flag 551000/1869338
557.30/554.17	c cleaning 33014 clauses out of 66057 with flag 585002/1903340
572.12/568.95	c cleaning 34000 clauses out of 68041 with flag 620000/1938338
586.73/583.55	c cleaning 34998 clauses out of 70042 with flag 656001/1974339
598.14/595.00	c cleaning 36010 clauses out of 72043 with flag 693000/2011338
609.36/606.12	c cleaning 37010 clauses out of 74033 with flag 731000/2049338
622.07/618.80	c cleaning 37987 clauses out of 76023 with flag 770000/2088338
636.39/633.16	c cleaning 38993 clauses out of 78036 with flag 810000/2128338
653.23/649.91	c cleaning 40012 clauses out of 80046 with flag 851003/2169341
667.80/664.46	c cleaning 40994 clauses out of 82033 with flag 893002/2211340
684.23/680.86	c cleaning 41995 clauses out of 84039 with flag 936002/2254340
699.66/696.22	c cleaning 43011 clauses out of 86043 with flag 980001/2298339
719.71/716.29	c cleaning 43966 clauses out of 88031 with flag 1025000/2343338
740.45/736.99	c cleaning 45017 clauses out of 90067 with flag 1071002/2389340
762.18/758.63	c cleaning 46006 clauses out of 92050 with flag 1118002/2436340
785.21/781.61	c cleaning 46984 clauses out of 94045 with flag 1166003/2484341
808.19/804.52	c cleaning 48012 clauses out of 96060 with flag 1215002/2533340
832.37/828.62	c cleaning 49011 clauses out of 98047 with flag 1265001/2583339
856.60/852.85	c cleaning 49989 clauses out of 100037 with flag 1316002/2634340
875.96/872.14	c cleaning 51011 clauses out of 102047 with flag 1368001/2686339
896.10/892.27	c cleaning 51946 clauses out of 104035 with flag 1421000/2739338
915.22/911.33	c cleaning 53022 clauses out of 106089 with flag 1475000/2793338
936.46/932.60	c cleaning 53996 clauses out of 108070 with flag 1530003/2848341
959.55/955.59	c cleaning 55003 clauses out of 110073 with flag 1586002/2904340
982.31/978.29	c cleaning 56015 clauses out of 112068 with flag 1643000/2961338
1002.15/998.04	c cleaning 56997 clauses out of 114053 with flag 1701000/3019338
1024.92/1020.80	c cleaning 58016 clauses out of 116056 with flag 1760000/3078338
1049.34/1045.17	c cleaning 58997 clauses out of 118041 with flag 1820001/3138339
1079.39/1075.13	c cleaning 60015 clauses out of 120044 with flag 1881001/3199339
1108.65/1104.36	c cleaning 60994 clauses out of 122028 with flag 1943000/3261338
1138.11/1133.71	c cleaning 61989 clauses out of 124034 with flag 2006000/3324338
1174.45/1170.09	c cleaning 62990 clauses out of 126046 with flag 2070001/3388339
1206.49/1202.00	c cleaning 63998 clauses out of 128055 with flag 2135000/3453338
1236.95/1232.45	c cleaning 64987 clauses out of 130058 with flag 2201001/3519339
1270.61/1266.09	c cleaning 65979 clauses out of 132070 with flag 2268000/3586338
1308.25/1303.62	c cleaning 67033 clauses out of 134091 with flag 2336000/3654338
1346.34/1341.62	c cleaning 67993 clauses out of 136060 with flag 2405002/3723340
1386.82/1382.09	c cleaning 69003 clauses out of 138068 with flag 2475003/3793341
1428.38/1423.51	c cleaning 69995 clauses out of 140062 with flag 2546000/3864338
1471.72/1466.86	c cleaning 70996 clauses out of 142068 with flag 2618001/3936339
1507.56/1502.67	c cleaning 72001 clauses out of 144072 with flag 2691001/4009339
1544.70/1539.79	c cleaning 72992 clauses out of 146072 with flag 2765002/4083340
1583.61/1578.58	c cleaning 74020 clauses out of 148078 with flag 2840000/4158338
1622.40/1617.28	c cleaning 74974 clauses out of 150059 with flag 2916001/4234339
1663.16/1657.91	c cleaning 76021 clauses out of 152087 with flag 2993003/4311341
1711.19/1705.92	c cleaning 77008 clauses out of 154063 with flag 3071000/4389338
1754.87/1749.53	c cleaning 78009 clauses out of 156057 with flag 3150002/4468340
1788.19/1782.82	c cleaning 78986 clauses out of 158046 with flag 3230000/4548338
1800.02/1794.61	c starts		: 286
1800.02/1794.61	c conflicts		: 4579620
1800.02/1794.61	c decisions		: 6124121
1800.02/1794.61	c propagations		: 462835249
1800.02/1794.61	c inspects		: 19161608195
1800.02/1794.61	c shortcuts		: 0
1800.02/1794.61	c learnt literals	: 0
1800.02/1794.61	c learnt binary clauses	: 0
1800.02/1794.61	c learnt ternary clauses	: 2
1800.02/1794.61	c learnt constraints	: 4579620
1800.02/1794.61	c ignored constraints	: 0
1800.02/1794.61	c root simplifications	: 286
1800.02/1794.61	c removed literals (reason simplification)	: 71723935
1800.02/1794.61	c reason swapping (by a shorter reason)	: 0
1800.02/1794.61	c Calls to reduceDB	: 159
1800.02/1794.61	c number of reductions to clauses (during analyze)	: 0
1800.02/1794.61	c number of learned constraints concerned by reduction	: 0
1800.02/1794.61	c number of learning phase by resolution	: 0
1800.02/1794.61	c number of learning phase by cutting planes	: 0
1800.02/1794.61	c speed (assignments/second)	: 257976.5012967512
1800.02/1794.61	c non guided choices	320
1800.02/1794.63	c learnt constraints type 
1800.02/1794.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 110388
1800.02/1794.63	c constraints type 
1800.02/1794.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
1800.02/1794.63	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
1800.02/1794.63	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
1800.02/1794.63	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7393
1800.02/1794.63	c 16377 constraints processed.
1800.02/1794.63	s SATISFIABLE
1800.02/1794.64	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 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 x1028 x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 x1086 x1087 x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 x1213 -x1214 x1215 -x1216 x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 x1279 x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 x1339 -x1340 x1341 -x1342 x1343 -x1344 
1800.02/1794.64	c objective function=47882
1800.02/1794.64	c Total wall clock time (in seconds): 1794.518

Verifier Data

OK	47882

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-3710638-1338142497/watcher-3710638-1338142497 -o /tmp/evaluation-result-3710638-1338142497/solver-3710638-1338142497 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710638-1338142497.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: 1.97 2.01 2.00 3/194 3439
/proc/meminfo: memFree=28572240/32873648 swapFree=6864/6864
[pid=3439] ppid=3437 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/3439/stat : 3439 (java) R 3437 3439 32120 0 -1 4202496 242 0 0 0 0 0 0 0 20 0 1 0 280375171 9515008 175 33554432000 1073741824 1073778376 140736451916304 140736451913432 270707540880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3439/statm: 2323 175 133 9 0 71 0

[startup+0.0141979 s]
/proc/loadavg: 1.97 2.01 2.00 3/194 3439
/proc/meminfo: memFree=28572240/32873648 swapFree=6864/6864
[pid=3439] ppid=3437 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/3439/stat : 3439 (java) S 3437 3439 32120 0 -1 4202496 1274 0 0 0 0 0 0 0 20 0 2 0 280375171 98570240 974 33554432000 1073741824 1073778376 140735866026160 140735866017296 270710898749 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3439/statm: 24065 974 740 9 0 16771 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96260

[startup+0.100163 s]
/proc/loadavg: 1.97 2.01 2.00 3/194 3439
/proc/meminfo: memFree=28572240/32873648 swapFree=6864/6864
[pid=3439] ppid=3437 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/3439/stat : 3439 (java) S 3437 3439 32120 0 -1 4202496 4278 0 1 0 8 1 0 0 20 0 18 0 280375171 9787842560 5484 33554432000 1073741824 1073778376 140735866026160 140735866017296 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3439/statm: 2389610 5484 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.30016 s]
/proc/loadavg: 1.97 2.01 2.00 3/194 3439
/proc/meminfo: memFree=28572240/32873648 swapFree=6864/6864
[pid=3439] ppid=3437 vsize=9558440 CPUtime=0.49 cores=1,3,5,7
/proc/3439/stat : 3439 (java) S 3437 3439 32120 0 -1 4202496 6287 0 1 0 47 2 0 0 20 0 18 0 280375171 9787842560 10099 33554432000 1073741824 1073778376 140735866026160 140735866017296 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3439/statm: 2389610 10100 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558440

[startup+0.700159 s]
/proc/loadavg: 1.97 2.01 2.00 3/194 3439
/proc/meminfo: memFree=28572240/32873648 swapFree=6864/6864
[pid=3439] ppid=3437 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/3439/stat : 3439 (java) S 3437 3439 32120 0 -1 4202496 9261 0 1 0 138 4 0 0 20 0 19 0 280375171 9856004096 27158 33554432000 1073741824 1073778376 140735866026160 140735866017296 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3439/statm: 2406251 27158 2262 9 0 2396937 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 9625004

[startup+1.5007 s]
/proc/loadavg: 1.97 2.01 2.00 3/213 3458
/proc/meminfo: memFree=28469848/32873648 swapFree=6864/6864
[pid=3439] ppid=3437 vsize=9625004 CPUtime=2.5 cores=1,3,5,7
/proc/3439/stat : 3439 (java) S 3437 3439 32120 0 -1 4202496 12936 0 1 0 246 4 0 0 20 0 19 0 280375171 9856004096 30287 33554432000 1073741824 1073778376 140735866026160 140735866017296 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3439/statm: 2406251 30287 2265 9 0 2396937 0
[pid=3439/tid=3441] ppid=3437 vsize=9625004 CPUtime=1.47 cores=1,3,5,7
/proc/3439/task/3441/stat : 3441 (java) R 3437 3439 32120 0 -1 4202560 2555 0 1 0 144 3 0 0 20 0 19 0 280375172 9856004096 30287 33554432000 1073741824 1073778376 140735866026160 140281184108992 140281031299716 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 30287 33554432000 1073741824 1073778376 140735866026160 140281156569256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 30287 33554432000 1073741824 1073778376 140735866026160 140281155516712 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3444] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3444/stat : 3444 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 30287 33554432000 1073741824 1073778376 140735866026160 140281154464168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3445] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3445/stat : 3445 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 30287 33554432000 1073741824 1073778376 140735866026160 140281153411624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3439/tid=3446] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3446/stat : 3446 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 30287 33554432000 1073741824 1073778376 140735866026160 140281152359080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3447] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3447/stat : 3447 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 30287 33554432000 1073741824 1073778376 140735866026160 140281151306536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3439/tid=3448] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3448/stat : 3448 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 30287 33554432000 1073741824 1073778376 140735866026160 140281150253992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3449] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3449/stat : 3449 (java) S 3437 3439 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 30287 33554432000 1073741824 1073778376 140735866026160 140281149201448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280375175 9856004096 30287 33554432000 1073741824 1073778376 140735866026160 140280537778280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 32120 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 280375175 9856004096 30287 33554432000 1073741824 1073778376 140735866026160 140280536724600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280375175 9856004096 30287 33554432000 1073741824 1073778376 140735866026160 140280535671944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375177 9856004096 30287 33554432000 1073741824 1073778376 140735866026160 140280534620688 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3454] ppid=3437 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/3439/task/3454/stat : 3454 (java) S 3437 3439 32120 0 -1 4202560 3730 0 0 0 39 0 0 0 20 0 19 0 280375177 9856004096 30287 33554432000 1073741824 1073778376 140735866026160 140280533568056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3455] ppid=3437 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/3439/task/3455/stat : 3455 (java) S 3437 3439 32120 0 -1 4202560 5455 0 0 0 59 1 0 0 20 0 19 0 280375177 9856004096 30287 33554432000 1073741824 1073778376 140735866026160 140280532515512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3456] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3456/stat : 3456 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375177 9856004096 30287 33554432000 1073741824 1073778376 140735866026160 140280531463160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3457] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3457/stat : 3457 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375177 9856004096 30287 33554432000 1073741824 1073778376 140735866026160 140280530410824 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3458] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3458/stat : 3458 (java) S 3437 3439 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280375223 9856004096 30287 33554432000 1073741824 1073778376 140735866026160 140280529355560 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 9625004

[startup+3.10058 s]
/proc/loadavg: 1.97 2.01 2.00 3/213 3458
/proc/meminfo: memFree=28442416/32873648 swapFree=6864/6864
[pid=3439] ppid=3437 vsize=9625004 CPUtime=4.23 cores=1,3,5,7
/proc/3439/stat : 3439 (java) S 3437 3439 32120 0 -1 4202496 13316 0 1 0 418 5 0 0 20 0 19 0 280375171 9856004096 34992 33554432000 1073741824 1073778376 140735866026160 140735866017296 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3439/statm: 2406251 34992 2292 9 0 2396937 0
[pid=3439/tid=3441] ppid=3437 vsize=9625004 CPUtime=3.02 cores=1,3,5,7
/proc/3439/task/3441/stat : 3441 (java) R 3437 3439 32120 0 -1 4202560 2561 0 1 0 299 3 0 0 20 0 19 0 280375172 9856004096 34992 33554432000 1073741824 1073778376 140735866026160 140281184117032 140281031454340 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 32120 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 34992 33554432000 1073741824 1073778376 140735866026160 140281156569256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 34992 33554432000 1073741824 1073778376 140735866026160 140281155516712 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3444] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3444/stat : 3444 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 34992 33554432000 1073741824 1073778376 140735866026160 140281154464168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3445] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3445/stat : 3445 (java) S 3437 3439 32120 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 34992 33554432000 1073741824 1073778376 140735866026160 140281153411624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3446] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3446/stat : 3446 (java) S 3437 3439 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 34992 33554432000 1073741824 1073778376 140735866026160 140281152359080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3447] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3447/stat : 3447 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 34992 33554432000 1073741824 1073778376 140735866026160 140281151306536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3448] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3448/stat : 3448 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 34992 33554432000 1073741824 1073778376 140735866026160 140281150253992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3449] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3449/stat : 3449 (java) S 3437 3439 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 34992 33554432000 1073741824 1073778376 140735866026160 140281149201448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 32120 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 280375175 9856004096 34992 33554432000 1073741824 1073778376 140735866026160 140280537778280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280375175 9856004096 34992 33554432000 1073741824 1073778376 140735866026160 140280536724600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280375175 9856004096 34992 33554432000 1073741824 1073778376 140735866026160 140280535671944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375177 9856004096 34992 33554432000 1073741824 1073778376 140735866026160 140280534620688 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3454] ppid=3437 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/3439/task/3454/stat : 3454 (java) S 3437 3439 32120 0 -1 4202560 4044 0 0 0 48 0 0 0 20 0 19 0 280375177 9856004096 34992 33554432000 1073741824 1073778376 140735866026160 140280533568056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3455] ppid=3437 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/3439/task/3455/stat : 3455 (java) S 3437 3439 32120 0 -1 4202560 5462 0 0 0 62 1 0 0 20 0 19 0 280375177 9856004096 34992 33554432000 1073741824 1073778376 140735866026160 140280532515512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3456] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3456/stat : 3456 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375177 9856004096 34992 33554432000 1073741824 1073778376 140735866026160 140280531463160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3457] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3457/stat : 3457 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375177 9856004096 34992 33554432000 1073741824 1073778376 140735866026160 140280530410824 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3458] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3458/stat : 3458 (java) S 3437 3439 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280375223 9856004096 34992 33554432000 1073741824 1073778376 140735866026160 140280529355560 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 9625004

[startup+6.30072 s]
/proc/loadavg: 1.97 2.01 2.00 3/213 3458
/proc/meminfo: memFree=28439920/32873648 swapFree=6864/6864
[pid=3439] ppid=3437 vsize=9625004 CPUtime=7.49 cores=1,3,5,7
/proc/3439/stat : 3439 (java) S 3437 3439 32120 0 -1 4202496 13356 0 1 0 744 5 0 0 20 0 19 0 280375171 9856004096 34953 33554432000 1073741824 1073778376 140735866026160 140735866017296 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3439/statm: 2406251 34953 2292 9 0 2396937 0
[pid=3439/tid=3441] ppid=3437 vsize=9625004 CPUtime=6.18 cores=1,3,5,7
/proc/3439/task/3441/stat : 3441 (java) R 3437 3439 32120 0 -1 4202560 2562 0 1 0 615 3 0 0 20 0 19 0 280375172 9856004096 34953 33554432000 1073741824 1073778376 140735866026160 140281184117040 140281031362146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 32120 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 34953 33554432000 1073741824 1073778376 140735866026160 140281156569256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 32120 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 34953 33554432000 1073741824 1073778376 140735866026160 140281155516712 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3439/tid=3444] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3444/stat : 3444 (java) S 3437 3439 32120 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 34953 33554432000 1073741824 1073778376 140735866026160 140281154464168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3445] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3445/stat : 3445 (java) S 3437 3439 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 34953 33554432000 1073741824 1073778376 140735866026160 140281153411624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3446] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3446/stat : 3446 (java) S 3437 3439 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 34953 33554432000 1073741824 1073778376 140735866026160 140281152359080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3439/tid=3447] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3447/stat : 3447 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 34953 33554432000 1073741824 1073778376 140735866026160 140281151306536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3448] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3448/stat : 3448 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 34953 33554432000 1073741824 1073778376 140735866026160 140281150253992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3449] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3449/stat : 3449 (java) S 3437 3439 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280375173 9856004096 34953 33554432000 1073741824 1073778376 140735866026160 140281149201448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=9625004 CPUtime=0.05 cores=1,3,5,7
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 32120 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 19 0 280375175 9856004096 34953 33554432000 1073741824 1073778376 140735866026160 140280537778280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280375175 9856004096 34953 33554432000 1073741824 1073778376 140735866026160 140280536724600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280375175 9856004096 34953 33554432000 1073741824 1073778376 140735866026160 140280535671944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375177 9856004096 34953 33554432000 1073741824 1073778376 140735866026160 140280534620688 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3454] ppid=3437 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/3439/task/3454/stat : 3454 (java) S 3437 3439 32120 0 -1 4202560 4044 0 0 0 48 0 0 0 20 0 19 0 280375177 9856004096 34953 33554432000 1073741824 1073778376 140735866026160 140280533568056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3455] ppid=3437 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/3439/task/3455/stat : 3455 (java) S 3437 3439 32120 0 -1 4202560 5489 0 0 0 67 1 0 0 20 0 19 0 280375177 9856004096 34953 33554432000 1073741824 1073778376 140735866026160 140280532515512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3456] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3456/stat : 3456 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375177 9856004096 34953 33554432000 1073741824 1073778376 140735866026160 140280531463160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3457] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3457/stat : 3457 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375177 9856004096 34953 33554432000 1073741824 1073778376 140735866026160 140280530410824 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3458] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3458/stat : 3458 (java) S 3437 3439 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280375223 9856004096 34953 33554432000 1073741824 1073778376 140735866026160 140280529355560 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.49
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=3439/tid=3447] ppid=3437 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/3439/task/3447/stat : 3447 (java) S 3437 3439 32120 0 -1 4202560 205 0 0 0 67 3 0 0 20 0 19 0 280375173 9856004096 70284 33554432000 1073741824 1073778376 140735866026160 140281151306536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3448] ppid=3437 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/3439/task/3448/stat : 3448 (java) S 3437 3439 32120 0 -1 4202560 77 0 0 0 65 1 0 0 20 0 19 0 280375173 9856004096 70284 33554432000 1073741824 1073778376 140735866026160 140281150253992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3449] ppid=3437 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/3439/task/3449/stat : 3449 (java) S 3437 3439 32120 0 -1 4202560 75 0 0 0 54 2 0 0 20 0 19 0 280375173 9856004096 70284 33554432000 1073741824 1073778376 140735866026160 140281149201448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=9625004 CPUtime=4.46 cores=1,3,5,7
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 32120 0 -1 4202560 132 0 0 0 443 3 0 0 20 0 19 0 280375175 9856004096 70284 33554432000 1073741824 1073778376 140735866026160 140280537778280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280375175 9856004096 70284 33554432000 1073741824 1073778376 140735866026160 140280536724600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280375175 9856004096 70284 33554432000 1073741824 1073778376 140735866026160 140280535671944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375177 9856004096 70284 33554432000 1073741824 1073778376 140735866026160 140280534620688 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3454] ppid=3437 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/3439/task/3454/stat : 3454 (java) S 3437 3439 32120 0 -1 4202560 4044 0 0 0 48 0 0 0 20 0 19 0 280375177 9856004096 70284 33554432000 1073741824 1073778376 140735866026160 140280533568056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3455] ppid=3437 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/3439/task/3455/stat : 3455 (java) S 3437 3439 32120 0 -1 4202560 5502 0 0 0 70 1 0 0 20 0 19 0 280375177 9856004096 70284 33554432000 1073741824 1073778376 140735866026160 140280532515512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3456] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3456/stat : 3456 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375177 9856004096 70284 33554432000 1073741824 1073778376 140735866026160 140280531463160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3457] ppid=3437 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/3439/task/3457/stat : 3457 (java) S 3437 3439 32120 0 -1 4202560 95 0 0 0 26 28 0 0 20 0 19 0 280375177 9856004096 70284 33554432000 1073741824 1073778376 140735866026160 140280530410824 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3458] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3458/stat : 3458 (java) S 3437 3439 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280375223 9856004096 70284 33554432000 1073741824 1073778376 140735866026160 140280529355560 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1667.58
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 3760
/proc/meminfo: memFree=28690772/32873648 swapFree=6864/6864
[pid=3439] ppid=3437 vsize=9625004 CPUtime=1727.66 cores=1,3,5,7
/proc/3439/stat : 3439 (java) S 3437 3439 32120 0 -1 4202496 14964 0 1 0 172710 56 0 0 20 0 19 0 280375171 9856004096 74966 33554432000 1073741824 1073778376 140735866026160 140735866017296 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3439/statm: 2406251 74966 2293 9 0 2396937 0
[pid=3439/tid=3441] ppid=3437 vsize=9625004 CPUtime=1716.25 cores=1,3,5,7
/proc/3439/task/3441/stat : 3441 (java) R 3437 3439 32120 0 -1 4202560 2734 0 1 0 171594 31 0 0 20 0 19 0 280375172 9856004096 74966 33554432000 1073741824 1073778376 140735866026160 140281184117040 140281031320318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 32120 0 -1 4202560 259 0 0 0 67 2 0 0 20 0 19 0 280375173 9856004096 74966 33554432000 1073741824 1073778376 140735866026160 140281156569256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 32120 0 -1 4202560 207 0 0 0 67 2 0 0 20 0 19 0 280375173 9856004096 74966 33554432000 1073741824 1073778376 140735866026160 140281155516712 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3439/tid=3444] ppid=3437 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/3439/task/3444/stat : 3444 (java) S 3437 3439 32120 0 -1 4202560 120 0 0 0 58 3 0 0 20 0 19 0 280375173 9856004096 74966 33554432000 1073741824 1073778376 140735866026160 140281154464168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3439/tid=3445] ppid=3437 vsize=9625004 CPUtime=0.73 cores=1,3,5,7
/proc/3439/task/3445/stat : 3445 (java) S 3437 3439 32120 0 -1 4202560 240 0 0 0 70 3 0 0 20 0 19 0 280375173 9856004096 74966 33554432000 1073741824 1073778376 140735866026160 140281153411624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3446] ppid=3437 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/3439/task/3446/stat : 3446 (java) S 3437 3439 32120 0 -1 4202560 86 0 0 0 61 2 0 0 20 0 19 0 280375173 9856004096 74966 33554432000 1073741824 1073778376 140735866026160 140281152359080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3447] ppid=3437 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/3439/task/3447/stat : 3447 (java) S 3437 3439 32120 0 -1 4202560 205 0 0 0 68 3 0 0 20 0 19 0 280375173 9856004096 74966 33554432000 1073741824 1073778376 140735866026160 140281151306536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3448] ppid=3437 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/3439/task/3448/stat : 3448 (java) S 3437 3439 32120 0 -1 4202560 77 0 0 0 65 1 0 0 20 0 19 0 280375173 9856004096 74966 33554432000 1073741824 1073778376 140735866026160 140281150253992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3449] ppid=3437 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/3439/task/3449/stat : 3449 (java) S 3437 3439 32120 0 -1 4202560 75 0 0 0 55 2 0 0 20 0 19 0 280375173 9856004096 74966 33554432000 1073741824 1073778376 140735866026160 140281149201448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=9625004 CPUtime=4.51 cores=1,3,5,7
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 32120 0 -1 4202560 134 0 0 0 448 3 0 0 20 0 19 0 280375175 9856004096 74966 33554432000 1073741824 1073778376 140735866026160 140280537778280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280375175 9856004096 74966 33554432000 1073741824 1073778376 140735866026160 140280536724600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280375175 9856004096 74966 33554432000 1073741824 1073778376 140735866026160 140280535671944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375177 9856004096 74966 33554432000 1073741824 1073778376 140735866026160 140280534620688 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3454] ppid=3437 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/3439/task/3454/stat : 3454 (java) S 3437 3439 32120 0 -1 4202560 4044 0 0 0 48 0 0 0 20 0 19 0 280375177 9856004096 74966 33554432000 1073741824 1073778376 140735866026160 140280533568056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3455] ppid=3437 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/3439/task/3455/stat : 3455 (java) S 3437 3439 32120 0 -1 4202560 5502 0 0 0 70 1 0 0 20 0 19 0 280375177 9856004096 74966 33554432000 1073741824 1073778376 140735866026160 140280532515512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3456] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3456/stat : 3456 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375177 9856004096 74966 33554432000 1073741824 1073778376 140735866026160 140280531463160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3457] ppid=3437 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/3439/task/3457/stat : 3457 (java) S 3437 3439 32120 0 -1 4202560 99 0 0 0 27 30 0 0 20 0 19 0 280375177 9856004096 74966 33554432000 1073741824 1073778376 140735866026160 140280530410824 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3458] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3458/stat : 3458 (java) S 3437 3439 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280375223 9856004096 74966 33554432000 1073741824 1073778376 140735866026160 140280529355560 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1727.66
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 3761
/proc/meminfo: memFree=28677660/32873648 swapFree=6864/6864
[pid=3439] ppid=3437 vsize=9625004 CPUtime=1787.69 cores=1,3,5,7
/proc/3439/stat : 3439 (java) S 3437 3439 32120 0 -1 4202496 14977 0 1 0 178712 57 0 0 20 0 19 0 280375171 9856004096 74972 33554432000 1073741824 1073778376 140735866026160 140735866017296 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3439/statm: 2406251 74972 2293 9 0 2396937 0
[pid=3439/tid=3441] ppid=3437 vsize=9625004 CPUtime=1776.19 cores=1,3,5,7
/proc/3439/task/3441/stat : 3441 (java) R 3437 3439 32120 0 -1 4202560 2735 0 1 0 177588 31 0 0 20 0 19 0 280375172 9856004096 74972 33554432000 1073741824 1073778376 140735866026160 140281184117040 140281031399398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 32120 0 -1 4202560 259 0 0 0 69 2 0 0 20 0 19 0 280375173 9856004096 74972 33554432000 1073741824 1073778376 140735866026160 140281156569256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 32120 0 -1 4202560 210 0 0 0 68 2 0 0 20 0 19 0 280375173 9856004096 74972 33554432000 1073741824 1073778376 140735866026160 140281155516712 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3439/tid=3444] ppid=3437 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/3439/task/3444/stat : 3444 (java) S 3437 3439 32120 0 -1 4202560 120 0 0 0 58 3 0 0 20 0 19 0 280375173 9856004096 74972 33554432000 1073741824 1073778376 140735866026160 140281154464168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3439/tid=3445] ppid=3437 vsize=9625004 CPUtime=0.73 cores=1,3,5,7
/proc/3439/task/3445/stat : 3445 (java) S 3437 3439 32120 0 -1 4202560 243 0 0 0 70 3 0 0 20 0 19 0 280375173 9856004096 74972 33554432000 1073741824 1073778376 140735866026160 140281153411624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3446] ppid=3437 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/3439/task/3446/stat : 3446 (java) S 3437 3439 32120 0 -1 4202560 86 0 0 0 61 2 0 0 20 0 19 0 280375173 9856004096 74972 33554432000 1073741824 1073778376 140735866026160 140281152359080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3447] ppid=3437 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/3439/task/3447/stat : 3447 (java) S 3437 3439 32120 0 -1 4202560 205 0 0 0 68 3 0 0 20 0 19 0 280375173 9856004096 74972 33554432000 1073741824 1073778376 140735866026160 140281151306536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3448] ppid=3437 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/3439/task/3448/stat : 3448 (java) S 3437 3439 32120 0 -1 4202560 77 0 0 0 66 1 0 0 20 0 19 0 280375173 9856004096 74972 33554432000 1073741824 1073778376 140735866026160 140281150253992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3449] ppid=3437 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/3439/task/3449/stat : 3449 (java) S 3437 3439 32120 0 -1 4202560 75 0 0 0 55 2 0 0 20 0 19 0 280375173 9856004096 74972 33554432000 1073741824 1073778376 140735866026160 140281149201448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=9625004 CPUtime=4.56 cores=1,3,5,7
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 32120 0 -1 4202560 136 0 0 0 453 3 0 0 20 0 19 0 280375175 9856004096 74972 33554432000 1073741824 1073778376 140735866026160 140280537778280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280375175 9856004096 74972 33554432000 1073741824 1073778376 140735866026160 140280536724600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280375175 9856004096 74972 33554432000 1073741824 1073778376 140735866026160 140280535671944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375177 9856004096 74972 33554432000 1073741824 1073778376 140735866026160 140280534620688 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3454] ppid=3437 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/3439/task/3454/stat : 3454 (java) S 3437 3439 32120 0 -1 4202560 4044 0 0 0 48 0 0 0 20 0 19 0 280375177 9856004096 74972 33554432000 1073741824 1073778376 140735866026160 140280533568056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3455] ppid=3437 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/3439/task/3455/stat : 3455 (java) S 3437 3439 32120 0 -1 4202560 5502 0 0 0 70 1 0 0 20 0 19 0 280375177 9856004096 74972 33554432000 1073741824 1073778376 140735866026160 140280532515512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3456] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3456/stat : 3456 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375177 9856004096 74972 33554432000 1073741824 1073778376 140735866026160 140280531463160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3457] ppid=3437 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/3439/task/3457/stat : 3457 (java) S 3437 3439 32120 0 -1 4202560 103 0 0 0 28 31 0 0 20 0 19 0 280375177 9856004096 74972 33554432000 1073741824 1073778376 140735866026160 140280530410824 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3458] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3458/stat : 3458 (java) S 3437 3439 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280375223 9856004096 74972 33554432000 1073741824 1073778376 140735866026160 140280529355560 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1787.69
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 3761
/proc/meminfo: memFree=28673568/32873648 swapFree=6864/6864
[pid=3439] ppid=3437 vsize=9625004 CPUtime=1800.02 cores=1,3,5,7
/proc/3439/stat : 3439 (java) S 3437 3439 32120 0 -1 4202496 14981 0 1 0 179945 57 0 0 20 0 19 0 280375171 9856004096 74973 33554432000 1073741824 1073778376 140735866026160 140735866017296 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3439/statm: 2406251 74973 2293 9 0 2396937 0
[pid=3439/tid=3441] ppid=3437 vsize=9625004 CPUtime=1788.44 cores=1,3,5,7
/proc/3439/task/3441/stat : 3441 (java) R 3437 3439 32120 0 -1 4202560 2736 0 1 0 178812 32 0 0 20 0 19 0 280375172 9856004096 74973 33554432000 1073741824 1073778376 140735866026160 140281184117040 140281031412100 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 32120 0 -1 4202560 259 0 0 0 69 2 0 0 20 0 19 0 280375173 9856004096 74973 33554432000 1073741824 1073778376 140735866026160 140281156569256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 32120 0 -1 4202560 210 0 0 0 68 2 0 0 20 0 19 0 280375173 9856004096 74973 33554432000 1073741824 1073778376 140735866026160 140281155516712 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3439/tid=3444] ppid=3437 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/3439/task/3444/stat : 3444 (java) S 3437 3439 32120 0 -1 4202560 120 0 0 0 59 3 0 0 20 0 19 0 280375173 9856004096 74973 33554432000 1073741824 1073778376 140735866026160 140281154464168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3439/tid=3445] ppid=3437 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/3439/task/3445/stat : 3445 (java) S 3437 3439 32120 0 -1 4202560 244 0 0 0 71 3 0 0 20 0 19 0 280375173 9856004096 74973 33554432000 1073741824 1073778376 140735866026160 140281153411624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3446] ppid=3437 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/3439/task/3446/stat : 3446 (java) S 3437 3439 32120 0 -1 4202560 86 0 0 0 62 2 0 0 20 0 19 0 280375173 9856004096 74973 33554432000 1073741824 1073778376 140735866026160 140281152359080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3447] ppid=3437 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/3439/task/3447/stat : 3447 (java) S 3437 3439 32120 0 -1 4202560 205 0 0 0 68 3 0 0 20 0 19 0 280375173 9856004096 74973 33554432000 1073741824 1073778376 140735866026160 140281151306536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3448] ppid=3437 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/3439/task/3448/stat : 3448 (java) S 3437 3439 32120 0 -1 4202560 77 0 0 0 66 1 0 0 20 0 19 0 280375173 9856004096 74973 33554432000 1073741824 1073778376 140735866026160 140281150253992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3449] ppid=3437 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/3439/task/3449/stat : 3449 (java) S 3437 3439 32120 0 -1 4202560 75 0 0 0 55 2 0 0 20 0 19 0 280375173 9856004096 74973 33554432000 1073741824 1073778376 140735866026160 140281149201448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=9625004 CPUtime=4.61 cores=1,3,5,7
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 32120 0 -1 4202560 138 0 0 0 457 4 0 0 20 0 19 0 280375175 9856004096 74973 33554432000 1073741824 1073778376 140735866026160 140280537778280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280375175 9856004096 74973 33554432000 1073741824 1073778376 140735866026160 140280536724600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280375175 9856004096 74973 33554432000 1073741824 1073778376 140735866026160 140280535671944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375177 9856004096 74973 33554432000 1073741824 1073778376 140735866026160 140280534620688 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3454] ppid=3437 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/3439/task/3454/stat : 3454 (java) S 3437 3439 32120 0 -1 4202560 4044 0 0 0 48 0 0 0 20 0 19 0 280375177 9856004096 74973 33554432000 1073741824 1073778376 140735866026160 140280533568056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3455] ppid=3437 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/3439/task/3455/stat : 3455 (java) S 3437 3439 32120 0 -1 4202560 5502 0 0 0 70 1 0 0 20 0 19 0 280375177 9856004096 74973 33554432000 1073741824 1073778376 140735866026160 140280532515512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3456] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3456/stat : 3456 (java) S 3437 3439 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280375177 9856004096 74973 33554432000 1073741824 1073778376 140735866026160 140280531463160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3439/tid=3457] ppid=3437 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/3439/task/3457/stat : 3457 (java) S 3437 3439 32120 0 -1 4202560 103 0 0 0 29 32 0 0 20 0 19 0 280375177 9856004096 74973 33554432000 1073741824 1073778376 140735866026160 140280530410824 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3439/tid=3458] ppid=3437 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3439/task/3458/stat : 3458 (java) S 3437 3439 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280375223 9856004096 74973 33554432000 1073741824 1073778376 140735866026160 140280529355560 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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): 1794.65
CPU time (s): 1800.55
CPU user time (s): 1799.54
CPU system time (s): 1.01285
CPU usage (%): 100.329
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 1.01285
maximum resident set size= 300012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15012
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42404
involuntary context switches= 13719

runsolver used 5.78212 second user time and 15.4027 second system time

The end

Launcher Data

Begin job on node125 at 2012-05-27 20:14:57
IDJOB=3710638
IDBENCH=2008
IDSOLVER=2289
FILE ID=node125/3710638-1338142497
RUNJOBID= node125-1338125514-32137
PBS_JOBID= 14624515
Free space on /tmp= 71256 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710638-1338142497/watcher-3710638-1338142497 -o /tmp/evaluation-result-3710638-1338142497/solver-3710638-1338142497 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710638-1338142497.opb

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

MD5SUM BENCH= c3720ea5d84e92b781414b36064971fe
RANDOM SEED=239848705

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28572364 kB
Buffers:          451832 kB
Cached:          2435404 kB
SwapCached:         2308 kB
Active:          1939324 kB
Inactive:        1500172 kB
Active(anon):     544100 kB
Inactive(anon):     9556 kB
Active(file):    1395224 kB
Inactive(file):  1490616 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102612 kB
Dirty:              1760 kB
Writeback:             0 kB
AnonPages:        574656 kB
Mapped:            22460 kB
Shmem:               104 kB
Slab:             703376 kB
SReclaimable:     147152 kB
SUnreclaim:       556224 kB
KernelStack:        1608 kB
PageTables:         5336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1059868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    536576 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= 71256 MiB
End job on node125 at 2012-05-27 20:44:54