Trace number 3710650

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)212 1800.05 1788.66

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
MD5SUM3ddf6338b9f9cf35560b94c856457c56
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark189
Best CPU time to get the best result obtained on this benchmark1789.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 182
Optimality of the best value was proved NO
Number of variables468
Total number of constraints468
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints468
Minimum length of a constraint3
Maximum length of a constraint17
Number of terms in the objective function 468
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 468
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 468
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.01/0.09	c version 2.3.2.v20120418
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		501472288
0.01/0.09	c Max memory 		7480803328
0.01/0.09	c Total memory 		504102912
0.01/0.09	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@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-3710650-1338139084.opb
0.09/0.12	c reading problem ... 
0.24/0.23	c ... done. Wall clock time 0.108s.
0.24/0.23	c declared #vars     468
0.24/0.23	c #constraints  468
0.24/0.23	c constraints type 
0.24/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 468
0.24/0.23	c 468 constraints processed.
0.24/0.24	c SATISFIABLE
0.24/0.24	c OPTIMIZING...
0.24/0.24	c Got one! Elapsed wall clock time (in seconds):0.12
0.24/0.24	o 225
0.24/0.26	c Got one! Elapsed wall clock time (in seconds):0.136
0.24/0.26	o 224
0.95/0.59	c Got one! Elapsed wall clock time (in seconds):0.468
0.95/0.59	o 223
1.09/0.60	c Got one! Elapsed wall clock time (in seconds):0.474
1.09/0.60	o 222
1.23/0.73	c cleaning 2549 clauses out of 5102 with flag 2000/5102
1.23/0.79	c Got one! Elapsed wall clock time (in seconds):0.667
1.23/0.79	o 221
1.46/0.92	c Got one! Elapsed wall clock time (in seconds):0.792
1.46/0.92	o 220
1.46/0.94	c Got one! Elapsed wall clock time (in seconds):0.812
1.46/0.94	o 219
1.46/0.94	c Got one! Elapsed wall clock time (in seconds):0.816
1.46/0.94	o 218
1.58/1.10	c cleaning 4487 clauses out of 8975 with flag 3000/11524
2.02/1.45	c cleaning 5239 clauses out of 10488 with flag 9000/17524
2.43/1.87	c cleaning 6121 clauses out of 12249 with flag 16000/24524
2.98/2.39	c cleaning 7065 clauses out of 14129 with flag 24001/32525
3.50/2.89	c cleaning 8027 clauses out of 16064 with flag 33001/41525
4.20/3.52	c cleaning 9015 clauses out of 18036 with flag 43000/51524
4.92/4.20	c cleaning 10005 clauses out of 20021 with flag 54000/62524
5.63/4.92	c cleaning 11003 clauses out of 22016 with flag 66000/74524
6.45/5.74	c cleaning 12004 clauses out of 24014 with flag 79001/87525
7.40/6.62	c cleaning 13001 clauses out of 26009 with flag 93000/101524
8.51/7.74	c cleaning 14000 clauses out of 28008 with flag 108000/116524
9.64/8.82	c cleaning 14999 clauses out of 30008 with flag 124000/132524
10.84/10.03	c cleaning 15996 clauses out of 32009 with flag 141000/149524
12.05/11.28	c cleaning 17001 clauses out of 34013 with flag 159000/167524
13.38/12.56	c cleaning 17997 clauses out of 36012 with flag 178000/186524
14.69/13.87	c cleaning 19002 clauses out of 38015 with flag 198000/206524
16.22/15.34	c cleaning 20000 clauses out of 40013 with flag 219000/227524
17.85/16.99	c cleaning 20998 clauses out of 42013 with flag 241000/249524
19.57/18.70	c cleaning 22002 clauses out of 44016 with flag 264001/272525
21.17/20.24	c cleaning 23001 clauses out of 46013 with flag 288000/296524
23.00/22.06	c cleaning 24002 clauses out of 48014 with flag 313002/321526
24.92/23.96	c cleaning 24999 clauses out of 50011 with flag 339001/347525
27.07/26.06	c cleaning 25998 clauses out of 52012 with flag 366001/374525
28.91/27.89	c Got one! Elapsed wall clock time (in seconds):27.768
28.91/27.89	o 217
29.41/28.35	c cleaning 27951 clauses out of 55912 with flag 5000/404423
29.82/28.79	c cleaning 16974 clauses out of 33962 with flag 11001/410424
30.32/29.25	c cleaning 11992 clauses out of 23988 with flag 18001/417424
30.43/29.30	c Got one! Elapsed wall clock time (in seconds):29.174
30.43/29.30	o 216
30.63/29.59	c cleaning 8713 clauses out of 17439 with flag 5001/422867
31.03/29.98	c cleaning 7356 clauses out of 14726 with flag 11001/428867
31.56/30.45	c cleaning 7178 clauses out of 14369 with flag 18000/435866
32.07/30.98	c cleaning 7589 clauses out of 15192 with flag 26001/443867
32.69/31.54	c cleaning 8295 clauses out of 16602 with flag 35000/452866
33.41/32.23	c cleaning 9146 clauses out of 18307 with flag 45000/462866
34.12/32.97	c cleaning 10073 clauses out of 20163 with flag 56002/473868
34.95/33.74	c cleaning 11039 clauses out of 22088 with flag 68000/485866
35.87/34.69	c cleaning 12018 clauses out of 24050 with flag 81001/498867
37.09/35.83	c cleaning 13010 clauses out of 26031 with flag 95000/512866
37.51/36.24	c Got one! Elapsed wall clock time (in seconds):36.114
37.51/36.24	o 215
37.80/36.55	c cleaning 12016 clauses out of 24041 with flag 5000/523886
38.21/36.94	c cleaning 9009 clauses out of 18025 with flag 11000/529886
38.75/37.41	c cleaning 8001 clauses out of 16016 with flag 18000/536886
39.25/37.92	c cleaning 8001 clauses out of 16017 with flag 26002/544888
39.86/38.54	c cleaning 8501 clauses out of 17015 with flag 35001/553887
40.45/39.18	c cleaning 9250 clauses out of 18513 with flag 45000/563886
41.26/39.99	c cleaning 10122 clauses out of 20264 with flag 56001/574887
41.38/40.04	c Got one! Elapsed wall clock time (in seconds):39.915
41.38/40.04	o 214
41.68/40.30	c cleaning 7690 clauses out of 15392 with flag 5002/580137
42.01/40.63	c cleaning 6841 clauses out of 13701 with flag 11001/586136
42.40/41.01	c cleaning 6928 clauses out of 13861 with flag 18002/593137
42.80/41.48	c cleaning 7462 clauses out of 14931 with flag 26000/601135
43.31/41.98	c cleaning 8229 clauses out of 16469 with flag 35000/610135
43.91/42.54	c cleaning 9114 clauses out of 18240 with flag 45000/620135
44.52/43.18	c cleaning 10058 clauses out of 20127 with flag 56001/631136
45.33/43.98	c cleaning 11029 clauses out of 22068 with flag 68000/643135
46.13/44.75	c cleaning 12011 clauses out of 24040 with flag 81001/656136
47.04/45.64	c cleaning 13004 clauses out of 26028 with flag 95000/670135
48.08/46.62	c cleaning 14007 clauses out of 28025 with flag 110001/685136
49.19/47.76	c cleaning 15002 clauses out of 30017 with flag 126000/701135
50.60/49.10	c cleaning 16001 clauses out of 32015 with flag 143000/718135
51.81/50.30	c cleaning 16998 clauses out of 34014 with flag 161000/736135
53.02/51.52	c cleaning 18001 clauses out of 36016 with flag 180000/755135
54.45/52.91	c cleaning 18998 clauses out of 38016 with flag 200001/775136
55.86/54.32	c cleaning 20003 clauses out of 40018 with flag 221001/796136
57.68/56.12	c cleaning 21002 clauses out of 42014 with flag 243000/818135
59.81/58.22	c cleaning 21997 clauses out of 44012 with flag 266000/841135
62.02/60.43	c cleaning 23000 clauses out of 46016 with flag 290001/865136
64.24/62.63	c cleaning 24007 clauses out of 48015 with flag 315000/890135
65.86/64.24	c cleaning 24997 clauses out of 50008 with flag 341000/916135
67.77/66.12	c cleaning 26004 clauses out of 52011 with flag 368000/943135
69.90/68.22	c cleaning 27001 clauses out of 54009 with flag 396002/971137
72.21/70.57	c cleaning 27995 clauses out of 56006 with flag 425000/1000135
74.34/72.69	c cleaning 28999 clauses out of 58012 with flag 455001/1030136
76.76/75.06	c cleaning 29997 clauses out of 60012 with flag 486000/1061135
78.98/77.26	c cleaning 31001 clauses out of 62015 with flag 518000/1093135
81.50/79.78	c cleaning 31999 clauses out of 64014 with flag 551000/1126135
84.25/82.42	c cleaning 33002 clauses out of 66016 with flag 585001/1160136
86.86/85.07	c cleaning 33999 clauses out of 68013 with flag 620000/1195135
89.88/88.02	c cleaning 34998 clauses out of 70015 with flag 656001/1231136
93.22/91.31	c cleaning 35999 clauses out of 72017 with flag 693001/1268136
96.25/94.39	c cleaning 37001 clauses out of 74018 with flag 731001/1306136
99.48/97.52	c cleaning 38002 clauses out of 76016 with flag 770000/1345135
102.20/100.29	c cleaning 39004 clauses out of 78015 with flag 810001/1385136
105.01/103.08	c cleaning 39996 clauses out of 80010 with flag 851000/1426135
108.05/106.09	c cleaning 41004 clauses out of 82016 with flag 893002/1468137
111.88/109.81	c cleaning 41997 clauses out of 84010 with flag 936000/1511135
114.92/112.85	c cleaning 43000 clauses out of 86013 with flag 980000/1555135
118.75/116.61	c cleaning 43996 clauses out of 88013 with flag 1025000/1600135
122.07/119.91	c cleaning 45002 clauses out of 90018 with flag 1071001/1646136
126.11/123.94	c cleaning 46002 clauses out of 92016 with flag 1118001/1693136
130.06/127.81	c cleaning 46998 clauses out of 94013 with flag 1166000/1741135
133.70/131.44	c cleaning 47999 clauses out of 96015 with flag 1215000/1790135
138.32/136.04	c cleaning 49001 clauses out of 98016 with flag 1265000/1840135
142.65/140.30	c cleaning 50000 clauses out of 100015 with flag 1316000/1891135
147.24/144.83	c cleaning 51003 clauses out of 102016 with flag 1368001/1943136
153.07/150.67	c cleaning 52004 clauses out of 104013 with flag 1421001/1996136
157.32/154.85	c cleaning 52999 clauses out of 106009 with flag 1475001/2050136
161.84/159.32	c cleaning 53996 clauses out of 108009 with flag 1530000/2105135
166.19/163.60	c cleaning 54999 clauses out of 110013 with flag 1586000/2161135
170.81/168.28	c cleaning 56001 clauses out of 112014 with flag 1643000/2218135
176.36/173.78	c cleaning 56999 clauses out of 114014 with flag 1701001/2276136
182.02/179.34	c cleaning 57998 clauses out of 116016 with flag 1760002/2335137
188.15/185.43	c cleaning 59001 clauses out of 118016 with flag 1820000/2395135
193.50/190.79	c cleaning 60000 clauses out of 120016 with flag 1881001/2456136
199.54/196.74	c cleaning 61002 clauses out of 122017 with flag 1943002/2518137
205.59/202.71	c cleaning 61998 clauses out of 124014 with flag 2006001/2581136
211.52/208.61	c cleaning 62998 clauses out of 126016 with flag 2070001/2645136
217.48/214.57	c cleaning 64002 clauses out of 128017 with flag 2135000/2710135
226.01/223.04	c cleaning 64999 clauses out of 130015 with flag 2201000/2776135
233.82/230.79	c cleaning 66001 clauses out of 132017 with flag 2268001/2843136
242.48/239.37	c cleaning 66997 clauses out of 134015 with flag 2336000/2911135
251.67/248.50	c cleaning 67999 clauses out of 136018 with flag 2405000/2980135
257.84/254.57	c cleaning 69005 clauses out of 138020 with flag 2475001/3050136
264.08/260.71	c cleaning 70004 clauses out of 140016 with flag 2546002/3121137
271.13/267.76	c cleaning 70998 clauses out of 142010 with flag 2618000/3193135
278.61/275.15	c cleaning 71998 clauses out of 144014 with flag 2691002/3266137
285.14/281.62	c cleaning 72996 clauses out of 146014 with flag 2765000/3340135
293.48/289.90	c cleaning 74003 clauses out of 148019 with flag 2840001/3415136
301.36/297.77	c cleaning 74999 clauses out of 150016 with flag 2916001/3491136
310.22/306.58	c cleaning 76000 clauses out of 152016 with flag 2993000/3568135
320.19/316.47	c cleaning 76999 clauses out of 154016 with flag 3071000/3646135
327.73/323.93	c cleaning 78001 clauses out of 156017 with flag 3150000/3725135
335.89/332.03	c cleaning 79001 clauses out of 158016 with flag 3230000/3805135
345.59/341.64	c cleaning 80000 clauses out of 160015 with flag 3311000/3886135
355.85/351.86	c cleaning 81001 clauses out of 162015 with flag 3393000/3968135
363.83/359.73	c cleaning 82002 clauses out of 164014 with flag 3476000/4051135
373.86/369.76	c cleaning 83004 clauses out of 166013 with flag 3560001/4135136
384.44/380.20	c cleaning 83997 clauses out of 168009 with flag 3645001/4220136
395.07/390.85	c cleaning 85001 clauses out of 170013 with flag 3731002/4306137
405.83/401.58	c cleaning 85999 clauses out of 172011 with flag 3818001/4393136
418.80/414.45	c cleaning 86997 clauses out of 174011 with flag 3906000/4481135
426.94/422.51	c cleaning 87996 clauses out of 176014 with flag 3995000/4570135
434.87/430.47	c cleaning 89002 clauses out of 178018 with flag 4085000/4660135
443.72/439.28	c cleaning 90002 clauses out of 180017 with flag 4176001/4751136
446.10/441.50	c Got one! Elapsed wall clock time (in seconds):441.374
446.10/441.50	o 213
446.90/442.34	c cleaning 61499 clauses out of 123006 with flag 5001/4784127
447.53/442.94	c cleaning 33744 clauses out of 67506 with flag 11000/4790126
448.05/443.46	c cleaning 20373 clauses out of 40762 with flag 18000/4797126
448.56/443.99	c cleaning 14188 clauses out of 28390 with flag 26001/4805127
449.18/444.60	c cleaning 11596 clauses out of 23201 with flag 35000/4814126
449.89/445.28	c cleaning 10794 clauses out of 21605 with flag 45000/4824126
450.69/446.00	c cleaning 10898 clauses out of 21811 with flag 56000/4835126
451.51/446.82	c cleaning 11445 clauses out of 22913 with flag 68000/4847126
452.43/447.73	c cleaning 12225 clauses out of 24468 with flag 81000/4860126
453.44/448.71	c cleaning 13115 clauses out of 26243 with flag 95000/4874126
454.46/449.77	c cleaning 14055 clauses out of 28128 with flag 110000/4889126
455.69/450.94	c cleaning 15029 clauses out of 30073 with flag 126000/4905126
456.99/452.22	c cleaning 16016 clauses out of 32044 with flag 143000/4922126
458.21/453.49	c cleaning 17006 clauses out of 34029 with flag 161001/4940127
459.82/455.01	c cleaning 18000 clauses out of 36023 with flag 180001/4959127
461.24/456.48	c cleaning 19006 clauses out of 38022 with flag 200000/4979126
462.94/458.17	c cleaning 19998 clauses out of 40016 with flag 221000/5000126
464.75/459.93	c cleaning 21000 clauses out of 42019 with flag 243001/5022127
466.65/461.89	c cleaning 22000 clauses out of 44019 with flag 266001/5045127
468.67/463.80	c cleaning 23004 clauses out of 46019 with flag 290001/5069127
470.68/465.86	c cleaning 24000 clauses out of 48015 with flag 315001/5094127
472.89/468.00	c cleaning 25001 clauses out of 50014 with flag 341000/5120126
475.22/470.35	c cleaning 25998 clauses out of 52013 with flag 368000/5147126
477.13/472.24	c cleaning 27002 clauses out of 54016 with flag 396001/5175127
479.14/474.26	c cleaning 27998 clauses out of 56013 with flag 425000/5204126
481.26/476.37	c cleaning 29002 clauses out of 58015 with flag 455000/5234126
483.58/478.64	c cleaning 29992 clauses out of 60013 with flag 486000/5265126
485.90/480.93	c cleaning 31004 clauses out of 62021 with flag 518000/5297126
488.50/483.56	c cleaning 32001 clauses out of 64018 with flag 551001/5330127
491.21/486.22	c cleaning 32998 clauses out of 66016 with flag 585000/5364126
494.03/489.08	c cleaning 34000 clauses out of 68018 with flag 620000/5399126
496.95/491.90	c cleaning 34999 clauses out of 70018 with flag 656000/5435126
500.07/495.04	c cleaning 35998 clauses out of 72020 with flag 693001/5472127
503.17/498.14	c cleaning 37005 clauses out of 74021 with flag 731000/5510126
506.78/501.76	c cleaning 37998 clauses out of 76016 with flag 770000/5549126
510.79/505.77	c cleaning 39001 clauses out of 78019 with flag 810001/5589127
515.03/509.96	c cleaning 40001 clauses out of 80018 with flag 851001/5630127
519.34/514.22	c cleaning 40999 clauses out of 82017 with flag 893001/5672127
524.15/519.08	c cleaning 42001 clauses out of 84018 with flag 936001/5715127
529.18/524.03	c cleaning 42996 clauses out of 86016 with flag 980000/5759126
534.30/529.14	c cleaning 44001 clauses out of 88020 with flag 1025000/5804126
539.50/534.39	c cleaning 44998 clauses out of 90019 with flag 1071000/5850126
544.81/539.64	c cleaning 46003 clauses out of 92021 with flag 1118000/5897126
550.02/544.84	c cleaning 46998 clauses out of 94019 with flag 1166001/5945127
554.54/549.37	c cleaning 48000 clauses out of 96020 with flag 1215000/5994126
559.47/554.25	c cleaning 49006 clauses out of 98021 with flag 1265001/6044127
564.50/559.25	c cleaning 50001 clauses out of 100016 with flag 1316002/6095128
569.91/564.62	c cleaning 51002 clauses out of 102013 with flag 1368000/6147126
575.44/570.17	c cleaning 51998 clauses out of 104013 with flag 1421002/6200128
580.86/575.54	c cleaning 52998 clauses out of 106015 with flag 1475002/6254128
586.78/581.42	c cleaning 53998 clauses out of 108016 with flag 1530001/6309127
592.59/587.23	c cleaning 55000 clauses out of 110018 with flag 1586001/6365127
593.12/587.79	c Got one! Elapsed wall clock time (in seconds):587.666
593.12/587.79	o 212
593.65/588.23	c cleaning 33718 clauses out of 67448 with flag 5000/6377557
594.07/588.66	c cleaning 19860 clauses out of 39731 with flag 11001/6383558
594.47/589.06	c cleaning 13431 clauses out of 26872 with flag 18002/6390559
594.99/589.56	c cleaning 10712 clauses out of 21439 with flag 26000/6398557
595.61/590.11	c cleaning 9857 clauses out of 19727 with flag 35000/6407557
596.23/590.75	c cleaning 9928 clauses out of 19870 with flag 45000/6417557
596.84/591.40	c cleaning 10461 clauses out of 20942 with flag 56000/6428557
597.65/592.14	c cleaning 11234 clauses out of 22481 with flag 68000/6440557
598.46/592.99	c cleaning 12116 clauses out of 24248 with flag 81001/6453558
599.36/593.87	c cleaning 13057 clauses out of 26132 with flag 95001/6467558
600.37/594.85	c cleaning 14029 clauses out of 28074 with flag 110000/6482557
601.47/595.94	c cleaning 15014 clauses out of 30045 with flag 126000/6498557
602.68/597.10	c cleaning 16008 clauses out of 32031 with flag 143000/6515557
603.90/598.40	c cleaning 17004 clauses out of 34023 with flag 161000/6533557
605.19/599.69	c cleaning 18000 clauses out of 36019 with flag 180000/6552557
606.60/601.07	c cleaning 19004 clauses out of 38019 with flag 200000/6572557
608.11/602.57	c cleaning 19998 clauses out of 40015 with flag 221000/6593557
609.82/604.23	c cleaning 21001 clauses out of 42018 with flag 243001/6615558
611.52/605.91	c cleaning 21999 clauses out of 44016 with flag 266000/6638557
613.34/607.79	c cleaning 23003 clauses out of 46017 with flag 290000/6662557
615.26/609.69	c cleaning 23996 clauses out of 48014 with flag 315000/6687557
617.38/611.70	c cleaning 25004 clauses out of 50020 with flag 341002/6713559
619.40/613.71	c cleaning 26003 clauses out of 52015 with flag 368001/6740558
621.32/615.61	c cleaning 27002 clauses out of 54012 with flag 396001/6768558
623.45/617.75	c cleaning 28000 clauses out of 56011 with flag 425002/6797559
625.37/619.69	c cleaning 29000 clauses out of 58009 with flag 455000/6827557
627.58/621.85	c cleaning 29999 clauses out of 60010 with flag 486001/6858558
630.00/624.28	c cleaning 30998 clauses out of 62011 with flag 518001/6890558
632.42/626.68	c cleaning 31996 clauses out of 64012 with flag 551000/6923557
635.33/629.59	c cleaning 33004 clauses out of 66016 with flag 585000/6957557
638.66/632.80	c cleaning 33999 clauses out of 68014 with flag 620002/6992559
641.61/635.77	c cleaning 35002 clauses out of 70014 with flag 656001/7028558
644.51/638.61	c cleaning 35998 clauses out of 72012 with flag 693001/7065558
647.24/641.37	c cleaning 36999 clauses out of 74013 with flag 731000/7103557
650.35/644.43	c cleaning 38003 clauses out of 76015 with flag 770001/7142558
653.47/647.54	c cleaning 38998 clauses out of 78012 with flag 810001/7182558
657.00/651.06	c cleaning 40000 clauses out of 80014 with flag 851001/7223558
660.64/654.62	c cleaning 40999 clauses out of 82014 with flag 893001/7265558
663.95/657.98	c cleaning 42002 clauses out of 84015 with flag 936001/7308558
667.66/661.62	c cleaning 43001 clauses out of 86012 with flag 980000/7352557
671.36/665.32	c cleaning 44000 clauses out of 88011 with flag 1025000/7397557
675.29/669.23	c cleaning 44996 clauses out of 90011 with flag 1071000/7443557
679.12/673.07	c cleaning 46000 clauses out of 92015 with flag 1118000/7490557
683.44/677.35	c cleaning 47000 clauses out of 94015 with flag 1166000/7538557
687.96/681.84	c cleaning 48000 clauses out of 96017 with flag 1215002/7587559
692.52/686.35	c cleaning 48996 clauses out of 98016 with flag 1265001/7637558
697.06/690.84	c cleaning 49999 clauses out of 100019 with flag 1316000/7688557
701.28/695.05	c cleaning 51003 clauses out of 102021 with flag 1368001/7740558
705.70/699.44	c cleaning 51999 clauses out of 104018 with flag 1421001/7793558
710.01/703.75	c cleaning 53002 clauses out of 106020 with flag 1475002/7847559
714.43/708.16	c cleaning 53999 clauses out of 108016 with flag 1530000/7902557
719.15/712.81	c cleaning 55002 clauses out of 110017 with flag 1586000/7958557
724.07/717.76	c cleaning 55996 clauses out of 112015 with flag 1643000/8015557
728.91/722.60	c cleaning 57001 clauses out of 114019 with flag 1701000/8073557
734.23/727.81	c cleaning 57997 clauses out of 116018 with flag 1760000/8132557
739.26/732.89	c cleaning 59004 clauses out of 118022 with flag 1820001/8192558
743.99/737.53	c cleaning 60003 clauses out of 120018 with flag 1881001/8253558
749.21/742.79	c cleaning 61002 clauses out of 122017 with flag 1943003/8315560
754.63/748.13	c cleaning 61999 clauses out of 124012 with flag 2006000/8378557
760.05/753.53	c cleaning 62999 clauses out of 126013 with flag 2070000/8442557
765.57/759.08	c cleaning 63998 clauses out of 128014 with flag 2135000/8507557
771.41/764.81	c cleaning 65002 clauses out of 130018 with flag 2201002/8573559
777.73/771.11	c cleaning 65997 clauses out of 132015 with flag 2268001/8640558
784.73/778.14	c cleaning 67002 clauses out of 134017 with flag 2336000/8708557
791.77/785.12	c cleaning 67998 clauses out of 136015 with flag 2405000/8777557
798.41/791.74	c cleaning 69002 clauses out of 138017 with flag 2475000/8847557
805.25/798.54	c cleaning 69997 clauses out of 140017 with flag 2546002/8918559
812.29/805.53	c cleaning 71003 clauses out of 142019 with flag 2618001/8990558
819.72/812.92	c cleaning 72002 clauses out of 144015 with flag 2691000/9063557
828.16/821.34	c cleaning 72996 clauses out of 146013 with flag 2765000/9137557
838.19/831.36	c cleaning 74004 clauses out of 148017 with flag 2840000/9212557
847.56/840.66	c cleaning 74999 clauses out of 150014 with flag 2916001/9288558
856.31/849.34	c cleaning 75999 clauses out of 152014 with flag 2993000/9365557
866.66/859.65	c cleaning 76997 clauses out of 154016 with flag 3071001/9443558
876.60/869.54	c cleaning 77998 clauses out of 156018 with flag 3150000/9522557
887.96/880.81	c cleaning 79005 clauses out of 158021 with flag 3230001/9602558
899.79/892.68	c cleaning 80000 clauses out of 160016 with flag 3311001/9683558
913.75/906.50	c cleaning 80999 clauses out of 162015 with flag 3393000/9765557
925.71/918.49	c cleaning 81997 clauses out of 164016 with flag 3476000/9848557
937.95/930.61	c cleaning 82998 clauses out of 166019 with flag 3560000/9932557
950.56/943.29	c cleaning 84000 clauses out of 168021 with flag 3645000/10017557
964.57/957.27	c cleaning 85008 clauses out of 170021 with flag 3731000/10103557
972.14/964.75	c cleaning 85998 clauses out of 172014 with flag 3818001/10190558
979.86/972.42	c cleaning 87001 clauses out of 174015 with flag 3906000/10278557
987.78/980.37	c cleaning 88002 clauses out of 176015 with flag 3995001/10367558
996.55/989.07	c cleaning 88996 clauses out of 178012 with flag 4085000/10457557
1006.06/998.57	c cleaning 90003 clauses out of 180016 with flag 4176000/10548557
1016.72/1009.12	c cleaning 90999 clauses out of 182013 with flag 4268000/10640557
1028.25/1020.62	c cleaning 91996 clauses out of 184014 with flag 4361000/10733557
1037.82/1030.13	c cleaning 93002 clauses out of 186018 with flag 4455000/10827557
1048.24/1040.52	c cleaning 94000 clauses out of 188017 with flag 4550001/10922558
1060.13/1052.37	c cleaning 95000 clauses out of 190016 with flag 4646000/11018557
1069.46/1061.67	c cleaning 96003 clauses out of 192017 with flag 4743001/11115558
1080.79/1072.99	c cleaning 97001 clauses out of 194015 with flag 4841002/11213559
1095.31/1087.45	c cleaning 98000 clauses out of 196012 with flag 4940000/11312557
1108.77/1100.89	c cleaning 98996 clauses out of 198012 with flag 5040000/11412557
1122.85/1114.76	c cleaning 100001 clauses out of 200016 with flag 5141000/11513557
1134.14/1125.92	c cleaning 100999 clauses out of 202015 with flag 5243000/11615557
1146.80/1138.58	c cleaning 102003 clauses out of 204017 with flag 5346001/11718558
1159.45/1151.12	c cleaning 103000 clauses out of 206014 with flag 5450001/11822558
1172.11/1163.80	c cleaning 103997 clauses out of 208013 with flag 5555000/11927557
1185.78/1177.39	c cleaning 105002 clauses out of 210016 with flag 5661000/12033557
1200.24/1191.70	c cleaning 105998 clauses out of 212015 with flag 5768001/12140558
1213.54/1204.96	c cleaning 107002 clauses out of 214017 with flag 5876001/12248558
1225.57/1216.97	c cleaning 108000 clauses out of 216016 with flag 5985002/12357559
1242.53/1233.84	c cleaning 109001 clauses out of 218015 with flag 6095001/12467558
1258.72/1249.92	c cleaning 109997 clauses out of 220013 with flag 6206000/12578557
1272.50/1263.64	c cleaning 110998 clauses out of 222016 with flag 6318000/12690557
1286.65/1277.78	c cleaning 112002 clauses out of 224018 with flag 6431000/12803557
1301.19/1292.23	c cleaning 112997 clauses out of 226017 with flag 6545001/12917558
1316.23/1307.27	c cleaning 114002 clauses out of 228020 with flag 6660001/13032558
1330.29/1321.24	c cleaning 115003 clauses out of 230018 with flag 6776001/13148558
1346.92/1337.86	c cleaning 115996 clauses out of 232014 with flag 6893000/13265557
1363.50/1354.38	c cleaning 117001 clauses out of 234019 with flag 7011001/13383558
1376.22/1367.05	c cleaning 118000 clauses out of 236018 with flag 7130001/13502558
1389.29/1380.01	c cleaning 119000 clauses out of 238018 with flag 7250001/13622558
1406.07/1396.72	c cleaning 120000 clauses out of 240018 with flag 7371001/13743558
1421.74/1412.35	c cleaning 120999 clauses out of 242017 with flag 7493000/13865557
1437.11/1427.70	c cleaning 122001 clauses out of 244018 with flag 7616000/13988557
1455.13/1445.52	c cleaning 122998 clauses out of 246017 with flag 7740000/14112557
1473.31/1463.65	c cleaning 124003 clauses out of 248021 with flag 7865002/14237559
1490.80/1481.02	c cleaning 124996 clauses out of 250016 with flag 7991000/14363557
1510.27/1500.46	c cleaning 126000 clauses out of 252020 with flag 8118000/14490557
1528.75/1518.84	c cleaning 127001 clauses out of 254020 with flag 8246000/14618557
1548.82/1538.82	c cleaning 127999 clauses out of 256020 with flag 8375001/14747558
1566.31/1556.20	c cleaning 128995 clauses out of 258020 with flag 8505000/14877557
1587.58/1577.45	c cleaning 130003 clauses out of 260025 with flag 8636000/15008557
1605.42/1595.28	c cleaning 131000 clauses out of 262022 with flag 8768000/15140557
1618.10/1607.80	c cleaning 132004 clauses out of 264022 with flag 8901000/15273557
1632.25/1621.92	c cleaning 133000 clauses out of 266019 with flag 9035001/15407558
1648.72/1638.38	c cleaning 133997 clauses out of 268018 with flag 9170000/15542557
1663.63/1653.17	c cleaning 135003 clauses out of 270021 with flag 9306000/15678557
1684.79/1674.26	c cleaning 136003 clauses out of 272019 with flag 9443001/15815558
1704.05/1693.38	c cleaning 136996 clauses out of 274016 with flag 9581001/15953558
1729.96/1719.12	c cleaning 137998 clauses out of 276019 with flag 9720000/16092557
1746.67/1735.71	c cleaning 139003 clauses out of 278021 with flag 9860000/16232557
1769.54/1758.39	c cleaning 139999 clauses out of 280018 with flag 10001000/16373557
1792.53/1781.11	c cleaning 141000 clauses out of 282020 with flag 10143001/16515558
1800.05/1788.62	c starts		: 361
1800.05/1788.62	c conflicts		: 16592512
1800.05/1788.62	c decisions		: 20331965
1800.05/1788.62	c propagations		: 371714217
1800.05/1788.62	c inspects		: 15278841716
1800.05/1788.62	c shortcuts		: 0
1800.05/1788.62	c learnt literals	: 0
1800.05/1788.62	c learnt binary clauses	: 0
1800.05/1788.62	c learnt ternary clauses	: 0
1800.05/1788.62	c learnt constraints	: 16592514
1800.05/1788.62	c ignored constraints	: 0
1800.05/1788.62	c root simplifications	: 361
1800.05/1788.62	c removed literals (reason simplification)	: 65993
1800.05/1788.62	c reason swapping (by a shorter reason)	: 0
1800.05/1788.62	c Calls to reduceDB	: 321
1800.05/1788.62	c number of reductions to clauses (during analyze)	: 0
1800.05/1788.62	c number of learned constraints concerned by reduction	: 0
1800.05/1788.62	c number of learning phase by resolution	: 0
1800.05/1788.62	c number of learning phase by cutting planes	: 0
1800.05/1788.62	c speed (assignments/second)	: 207849.47790796374
1800.05/1788.62	c non guided choices	521
1800.05/1788.65	c learnt constraints type 
1800.05/1788.65	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 218263
1800.05/1788.65	c constraints type 
1800.05/1788.65	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.05/1788.65	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 468
1800.05/1788.65	c 469 constraints processed.
1800.05/1788.65	s SATISFIABLE
1800.05/1788.66	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 
1800.05/1788.66	c objective function=212
1800.05/1788.66	c Total wall clock time (in seconds): 1788.532

Verifier Data 

OK	212

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-3710650-1338139084/watcher-3710650-1338139084 -o /tmp/evaluation-result-3710650-1338139084/solver-3710650-1338139084 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710650-1338139084.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.00 2.00 2.00 3/194 30165
/proc/meminfo: memFree=30583812/32873844 swapFree=6600/6600
[pid=30165] ppid=30163 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (java) D 30163 30165 28151 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 280033298 9515008 182 33554432000 1073741824 1073778376 140733443386224 140733443377256 213419638453 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2323 182 140 9 0 71 0

[startup+0.034395 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 30165
/proc/meminfo: memFree=30583812/32873844 swapFree=6600/6600
[pid=30165] ppid=30163 vsize=9016616 CPUtime=0.01 cores=1,3,5,7
/proc/30165/stat : 30165 (java) S 30163 30165 28151 0 -1 4202496 2799 0 1 0 1 0 0 0 20 0 10 0 280033298 9233014784 3499 33554432000 1073741824 1073778376 140736528865616 140736528856752 213422997565 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30165/statm: 2254154 3507 1559 9 0 2244855 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9016616

[startup+0.100332 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 30165
/proc/meminfo: memFree=30583812/32873844 swapFree=6600/6600
[pid=30165] ppid=30163 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/30165/stat : 30165 (java) S 30163 30165 28151 0 -1 4202496 4232 0 1 0 8 1 0 0 20 0 18 0 280033298 9787842560 5439 33554432000 1073741824 1073778376 140736528865616 140736528856752 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30165/statm: 2389610 5441 2113 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300326 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 30165
/proc/meminfo: memFree=30583812/32873844 swapFree=6600/6600
[pid=30165] ppid=30163 vsize=9625440 CPUtime=0.5 cores=1,3,5,7
/proc/30165/stat : 30165 (java) S 30163 30165 28151 0 -1 4202496 7951 0 1 0 49 1 0 0 20 0 19 0 280033298 9856450560 10003 33554432000 1073741824 1073778376 140736528865616 140736528856752 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30165/statm: 2406251 9894 2235 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625440

[startup+0.700377 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 30165
/proc/meminfo: memFree=30583812/32873844 swapFree=6600/6600
[pid=30165] ppid=30163 vsize=9625004 CPUtime=1.23 cores=1,3,5,7
/proc/30165/stat : 30165 (java) S 30163 30165 28151 0 -1 4202496 9319 0 1 0 121 2 0 0 20 0 19 0 280033298 9856004096 11721 33554432000 1073741824 1073778376 140736528865616 140736528856752 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30165/statm: 2406251 11721 2249 9 0 2396937 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 9625004

[startup+1.5008 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 30184
/proc/meminfo: memFree=30535720/32873844 swapFree=6600/6600
[pid=30165] ppid=30163 vsize=9625004 CPUtime=2.13 cores=1,3,5,7
/proc/30165/stat : 30165 (java) S 30163 30165 28151 0 -1 4202496 9405 0 1 0 210 3 0 0 20 0 19 0 280033298 9856004096 17921 33554432000 1073741824 1073778376 140736528865616 140736528856752 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30165/statm: 2406251 17921 2278 9 0 2396937 0
[pid=30165/tid=30167] ppid=30163 vsize=9625004 CPUtime=1.41 cores=1,3,5,7
/proc/30165/task/30167/stat : 30167 (java) R 30163 30165 28151 0 -1 4202560 2520 0 1 0 140 1 0 0 20 0 19 0 280033299 9856004096 17921 33554432000 1073741824 1073778376 140736528865616 140261658771864 140261502485981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30168] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30168/stat : 30168 (java) S 30163 30165 28151 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280033300 9856004096 17921 33554432000 1073741824 1073778376 140736528865616 140261501954472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30169] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30169/stat : 30169 (java) S 30163 30165 28151 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280033300 9856004096 17921 33554432000 1073741824 1073778376 140736528865616 140261500901928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30170] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30170/stat : 30170 (java) S 30163 30165 28151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280033300 9856004096 17921 33554432000 1073741824 1073778376 140736528865616 140261499848872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30165/tid=30171] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30171/stat : 30171 (java) S 30163 30165 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280033300 9856004096 17921 33554432000 1073741824 1073778376 140736528865616 140261498796328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30165/tid=30172] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30172/stat : 30172 (java) S 30163 30165 28151 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280033300 9856004096 17921 33554432000 1073741824 1073778376 140736528865616 140261497744296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30165/tid=30173] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30173/stat : 30173 (java) S 30163 30165 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280033300 9856004096 17921 33554432000 1073741824 1073778376 140736528865616 140261496691752 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30174] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30174/stat : 30174 (java) S 30163 30165 28151 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280033300 9856004096 17921 33554432000 1073741824 1073778376 140736528865616 140261495638696 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30175] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30175/stat : 30175 (java) S 30163 30165 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280033300 9856004096 17921 33554432000 1073741824 1073778376 140736528865616 140261494586152 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30176] ppid=30163 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/30165/task/30176/stat : 30176 (java) S 30163 30165 28151 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 280033301 9856004096 17921 33554432000 1073741824 1073778376 140736528865616 140261012257128 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30177] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30177/stat : 30177 (java) S 30163 30165 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280033302 9856004096 17921 33554432000 1073741824 1073778376 140736528865616 140261011203448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30178] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30178/stat : 30178 (java) S 30163 30165 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280033302 9856004096 17921 33554432000 1073741824 1073778376 140736528865616 140261010150280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30179] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30179/stat : 30179 (java) S 30163 30165 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280033304 9856004096 17921 33554432000 1073741824 1073778376 140736528865616 140261009099024 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30180] ppid=30163 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/30165/task/30180/stat : 30180 (java) S 30163 30165 28151 0 -1 4202560 3073 0 0 0 30 0 0 0 20 0 19 0 280033304 9856004096 17921 33554432000 1073741824 1073778376 140736528865616 140261008046904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30181] ppid=30163 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/30165/task/30181/stat : 30181 (java) S 30163 30165 28151 0 -1 4202560 2547 0 0 0 31 0 0 0 20 0 19 0 280033304 9856004096 17921 33554432000 1073741824 1073778376 140736528865616 140261006994360 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30182] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30182/stat : 30182 (java) S 30163 30165 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280033304 9856004096 17921 33554432000 1073741824 1073778376 140736528865616 140261005941496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30183] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30183/stat : 30183 (java) S 30163 30165 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280033304 9856004096 17921 33554432000 1073741824 1073778376 140736528865616 140261004889160 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30184] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30184/stat : 30184 (java) S 30163 30165 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280033322 9856004096 17921 33554432000 1073741824 1073778376 140736528865616 140261003834408 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 9625004

[startup+3.10078 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 30184
/proc/meminfo: memFree=30520888/32873844 swapFree=6600/6600
[pid=30165] ppid=30163 vsize=9625004 CPUtime=3.8 cores=1,3,5,7
/proc/30165/stat : 30165 (java) S 30163 30165 28151 0 -1 4202496 9426 0 1 0 376 4 0 0 20 0 19 0 280033298 9856004096 19977 33554432000 1073741824 1073778376 140736528865616 140736528856752 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30165/statm: 2406251 19977 2278 9 0 2396937 0
[pid=30165/tid=30167] ppid=30163 vsize=9625004 CPUtime=2.94 cores=1,3,5,7
/proc/30165/task/30167/stat : 30167 (java) R 30163 30165 28151 0 -1 4202560 2523 0 1 0 293 1 0 0 20 0 19 0 280033299 9856004096 19977 33554432000 1073741824 1073778376 140736528865616 140261658771864 140261502443520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30168] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30168/stat : 30168 (java) S 30163 30165 28151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 280033300 9856004096 19977 33554432000 1073741824 1073778376 140736528865616 140261501954472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30169] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30169/stat : 30169 (java) S 30163 30165 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280033300 9856004096 19977 33554432000 1073741824 1073778376 140736528865616 140261500901928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30170] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30170/stat : 30170 (java) S 30163 30165 28151 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280033300 9856004096 19977 33554432000 1073741824 1073778376 140736528865616 140261499848872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30165/tid=30171] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30171/stat : 30171 (java) S 30163 30165 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280033300 9856004096 19977 33554432000 1073741824 1073778376 140736528865616 140261498796328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30172] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30172/stat : 30172 (java) S 30163 30165 28151 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280033300 9856004096 19977 33554432000 1073741824 1073778376 140736528865616 140261497744296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30173] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30173/stat : 30173 (java) S 30163 30165 28151 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280033300 9856004096 19977 33554432000 1073741824 1073778376 140736528865616 140261496691752 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30174] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30174/stat : 30174 (java) S 30163 30165 28151 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280033300 9856004096 19977 33554432000 1073741824 1073778376 140736528865616 140261495638696 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30175] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30175/stat : 30175 (java) S 30163 30165 28151 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280033300 9856004096 19977 33554432000 1073741824 1073778376 140736528865616 140261494586152 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30176] ppid=30163 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/30165/task/30176/stat : 30176 (java) S 30163 30165 28151 0 -1 4202560 37 0 0 0 7 0 0 0 20 0 19 0 280033301 9856004096 19977 33554432000 1073741824 1073778376 140736528865616 140261012257128 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30177] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30177/stat : 30177 (java) S 30163 30165 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280033302 9856004096 19977 33554432000 1073741824 1073778376 140736528865616 140261011203448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30178] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30178/stat : 30178 (java) S 30163 30165 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280033302 9856004096 19977 33554432000 1073741824 1073778376 140736528865616 140261010150280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30179] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30179/stat : 30179 (java) S 30163 30165 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280033304 9856004096 19977 33554432000 1073741824 1073778376 140736528865616 140261009099024 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30180] ppid=30163 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/30165/task/30180/stat : 30180 (java) S 30163 30165 28151 0 -1 4202560 3073 0 0 0 34 0 0 0 20 0 19 0 280033304 9856004096 19977 33554432000 1073741824 1073778376 140736528865616 140261008046904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30181] ppid=30163 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/30165/task/30181/stat : 30181 (java) S 30163 30165 28151 0 -1 4202560 2547 0 0 0 31 0 0 0 20 0 19 0 280033304 9856004096 19977 33554432000 1073741824 1073778376 140736528865616 140261006994360 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30182] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30182/stat : 30182 (java) S 30163 30165 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280033304 9856004096 19977 33554432000 1073741824 1073778376 140736528865616 140261005941496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30183] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30183/stat : 30183 (java) S 30163 30165 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280033304 9856004096 19977 33554432000 1073741824 1073778376 140736528865616 140261004889160 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30184] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30184/stat : 30184 (java) S 30163 30165 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280033322 9856004096 19977 33554432000 1073741824 1073778376 140736528865616 140261003834408 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 9625004

[startup+6.30066 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 30184
/proc/meminfo: memFree=30506180/32873844 swapFree=6600/6600
[pid=30165] ppid=30163 vsize=9625004 CPUtime=7.09 cores=1,3,5,7
/proc/30165/stat : 30165 (java) S 30163 30165 28151 0 -1 4202496 9445 0 1 0 704 5 0 0 20 0 19 0 280033298 9856004096 21936 33554432000 1073741824 1073778376 140736528865616 140736528856752 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30165/statm: 2406251 21936 2278 9 0 2396937 0
[pid=30165/tid=30167] ppid=30163 vsize=9625004 CPUtime=6.02 cores=1,3,5,7
/proc/30165/task/30167/stat : 30167 (java) R 30163 30165 28151 0 -1 4202560 2529 0 1 0 601 1 0 0 20 0 19 0 280033299 9856004096 21936 33554432000 1073741824 1073778376 140736528865616 140261658771744 140261502499905 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30168] ppid=30163 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/30165/task/30168/stat : 30168 (java) S 30163 30165 28151 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 280033300 9856004096 21936 33554432000 1073741824 1073778376 140736528865616 140261501954472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30169] ppid=30163 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/30165/task/30169/stat : 30169 (java) S 30163 30165 28151 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 280033300 9856004096 21936 33554432000 1073741824 1073778376 140736528865616 140261500901928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30170] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30170/stat : 30170 (java) S 30163 30165 28151 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280033300 9856004096 21936 33554432000 1073741824 1073778376 140736528865616 140261499848872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30165/tid=30171] ppid=30163 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/30165/task/30171/stat : 30171 (java) S 30163 30165 28151 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 280033300 9856004096 21936 33554432000 1073741824 1073778376 140736528865616 140261498796328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30172] ppid=30163 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/30165/task/30172/stat : 30172 (java) S 30163 30165 28151 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 280033300 9856004096 21936 33554432000 1073741824 1073778376 140736528865616 140261497744296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30165/tid=30173] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30173/stat : 30173 (java) S 30163 30165 28151 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280033300 9856004096 21936 33554432000 1073741824 1073778376 140736528865616 140261496691752 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30174] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30174/stat : 30174 (java) S 30163 30165 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280033300 9856004096 21936 33554432000 1073741824 1073778376 140736528865616 140261495638696 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30175] ppid=30163 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/30165/task/30175/stat : 30175 (java) S 30163 30165 28151 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 280033300 9856004096 21936 33554432000 1073741824 1073778376 140736528865616 140261494586152 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30176] ppid=30163 vsize=9625004 CPUtime=0.15 cores=1,3,5,7
/proc/30165/task/30176/stat : 30176 (java) S 30163 30165 28151 0 -1 4202560 39 0 0 0 15 0 0 0 20 0 19 0 280033301 9856004096 21936 33554432000 1073741824 1073778376 140736528865616 140261012257128 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30165/tid=30177] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30177/stat : 30177 (java) S 30163 30165 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280033302 9856004096 21936 33554432000 1073741824 1073778376 140736528865616 140261011203448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30178] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30178/stat : 30178 (java) S 30163 30165 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280033302 9856004096 21936 33554432000 1073741824 1073778376 140736528865616 140261010150280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30179] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30179/stat : 30179 (java) S 30163 30165 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280033304 9856004096 21936 33554432000 1073741824 1073778376 140736528865616 140261009099024 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30180] ppid=30163 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/30165/task/30180/stat : 30180 (java) S 30163 30165 28151 0 -1 4202560 3073 0 0 0 34 0 0 0 20 0 19 0 280033304 9856004096 21936 33554432000 1073741824 1073778376 140736528865616 140261008046904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30181] ppid=30163 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/30165/task/30181/stat : 30181 (java) S 30163 30165 28151 0 -1 4202560 2547 0 0 0 31 0 0 0 20 0 19 0 280033304 9856004096 21936 33554432000 1073741824 1073778376 140736528865616 140261006994360 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30182] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30182/stat : 30182 (java) S 30163 30165 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280033304 9856004096 21936 33554432000 1073741824 1073778376 140736528865616 140261005941496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30183] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30183/stat : 30183 (java) S 30163 30165 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280033304 9856004096 21936 33554432000 1073741824 1073778376 140736528865616 140261004889160 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30184] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30184/stat : 30184 (java) S 30163 30165 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280033322 9856004096 21936 33554432000 1073741824 1073778376 140736528865616 140261003834408 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 9625004

[startup+12.7008 s]

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

[pid=30165/tid=30180] ppid=30163 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/30165/task/30180/stat : 30180 (java) S 30163 30165 28151 0 -1 4202560 3084 0 0 0 38 0 0 0 20 0 19 0 280033304 9856004096 108030 33554432000 1073741824 1073778376 140736528865616 140261008046904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30181] ppid=30163 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/30165/task/30181/stat : 30181 (java) S 30163 30165 28151 0 -1 4202560 2547 0 0 0 32 0 0 0 20 0 19 0 280033304 9856004096 108030 33554432000 1073741824 1073778376 140736528865616 140261006994360 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30165/tid=30182] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30182/stat : 30182 (java) S 30163 30165 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280033304 9856004096 108030 33554432000 1073741824 1073778376 140736528865616 140261005941496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30183] ppid=30163 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/30165/task/30183/stat : 30183 (java) S 30163 30165 28151 0 -1 4202560 94 0 0 0 23 21 0 0 20 0 19 0 280033304 9856004096 108030 33554432000 1073741824 1073778376 140736528865616 140261004889160 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30184] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30184/stat : 30184 (java) S 30163 30165 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280033322 9856004096 108030 33554432000 1073741824 1073778376 140736528865616 140261003834408 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1672.88
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 30259
/proc/meminfo: memFree=29908376/32873844 swapFree=6600/6600
[pid=30165] ppid=30163 vsize=9625004 CPUtime=1733.25 cores=1,3,5,7
/proc/30165/stat : 30165 (java) S 30163 30165 28151 0 -1 4202496 12756 0 1 0 173246 79 0 0 20 0 19 0 280033298 9856004096 116734 33554432000 1073741824 1073778376 140736528865616 140736528856752 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30165/statm: 2406251 116734 2279 9 0 2396937 0
[pid=30165/tid=30167] ppid=30163 vsize=9625004 CPUtime=1696.69 cores=1,3,5,7
/proc/30165/task/30167/stat : 30167 (java) R 30163 30165 28151 0 -1 4202560 2893 0 1 0 169638 31 0 0 20 0 19 0 280033299 9856004096 116734 33554432000 1073741824 1073778376 140736528865616 140261658771744 140261502499766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30168] ppid=30163 vsize=9625004 CPUtime=1.79 cores=1,3,5,7
/proc/30165/task/30168/stat : 30168 (java) S 30163 30165 28151 0 -1 4202560 414 0 0 0 172 7 0 0 20 0 19 0 280033300 9856004096 116734 33554432000 1073741824 1073778376 140736528865616 140261501954472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30165/tid=30169] ppid=30163 vsize=9625004 CPUtime=1.82 cores=1,3,5,7
/proc/30165/task/30169/stat : 30169 (java) S 30163 30165 28151 0 -1 4202560 363 0 0 0 178 4 0 0 20 0 19 0 280033300 9856004096 116734 33554432000 1073741824 1073778376 140736528865616 140261500901928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30170] ppid=30163 vsize=9625004 CPUtime=1.77 cores=1,3,5,7
/proc/30165/task/30170/stat : 30170 (java) S 30163 30165 28151 0 -1 4202560 330 0 0 0 171 6 0 0 20 0 19 0 280033300 9856004096 116734 33554432000 1073741824 1073778376 140736528865616 140261499848872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30171] ppid=30163 vsize=9625004 CPUtime=1.84 cores=1,3,5,7
/proc/30165/task/30171/stat : 30171 (java) S 30163 30165 28151 0 -1 4202560 382 0 0 0 178 6 0 0 20 0 19 0 280033300 9856004096 116734 33554432000 1073741824 1073778376 140736528865616 140261498796328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30172] ppid=30163 vsize=9625004 CPUtime=1.83 cores=1,3,5,7
/proc/30165/task/30172/stat : 30172 (java) S 30163 30165 28151 0 -1 4202560 361 0 0 0 177 6 0 0 20 0 19 0 280033300 9856004096 116734 33554432000 1073741824 1073778376 140736528865616 140261497744296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30173] ppid=30163 vsize=9625004 CPUtime=1.68 cores=1,3,5,7
/proc/30165/task/30173/stat : 30173 (java) S 30163 30165 28151 0 -1 4202560 323 0 0 0 161 7 0 0 20 0 19 0 280033300 9856004096 116734 33554432000 1073741824 1073778376 140736528865616 140261496691752 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30174] ppid=30163 vsize=9625004 CPUtime=1.95 cores=1,3,5,7
/proc/30165/task/30174/stat : 30174 (java) S 30163 30165 28151 0 -1 4202560 356 0 0 0 189 6 0 0 20 0 19 0 280033300 9856004096 116734 33554432000 1073741824 1073778376 140736528865616 140261495638696 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30175] ppid=30163 vsize=9625004 CPUtime=1.82 cores=1,3,5,7
/proc/30165/task/30175/stat : 30175 (java) S 30163 30165 28151 0 -1 4202560 269 0 0 0 177 5 0 0 20 0 19 0 280033300 9856004096 116734 33554432000 1073741824 1073778376 140736528865616 140261494586152 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30176] ppid=30163 vsize=9625004 CPUtime=16.64 cores=1,3,5,7
/proc/30165/task/30176/stat : 30176 (java) S 30163 30165 28151 0 -1 4202560 155 0 0 0 1660 4 0 0 20 0 19 0 280033301 9856004096 116734 33554432000 1073741824 1073778376 140736528865616 140261012257128 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30177] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30177/stat : 30177 (java) S 30163 30165 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280033302 9856004096 116734 33554432000 1073741824 1073778376 140736528865616 140261011203448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30178] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30178/stat : 30178 (java) S 30163 30165 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280033302 9856004096 116734 33554432000 1073741824 1073778376 140736528865616 140261010150280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30179] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30179/stat : 30179 (java) S 30163 30165 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280033304 9856004096 116734 33554432000 1073741824 1073778376 140736528865616 140261009099024 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30180] ppid=30163 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/30165/task/30180/stat : 30180 (java) S 30163 30165 28151 0 -1 4202560 3084 0 0 0 38 0 0 0 20 0 19 0 280033304 9856004096 116734 33554432000 1073741824 1073778376 140736528865616 140261008046904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30181] ppid=30163 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/30165/task/30181/stat : 30181 (java) S 30163 30165 28151 0 -1 4202560 2547 0 0 0 32 0 0 0 20 0 19 0 280033304 9856004096 116734 33554432000 1073741824 1073778376 140736528865616 140261006994360 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30165/tid=30182] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30182/stat : 30182 (java) S 30163 30165 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280033304 9856004096 116734 33554432000 1073741824 1073778376 140736528865616 140261005941496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30183] ppid=30163 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/30165/task/30183/stat : 30183 (java) S 30163 30165 28151 0 -1 4202560 98 0 0 0 24 23 0 0 20 0 19 0 280033304 9856004096 116734 33554432000 1073741824 1073778376 140736528865616 140261004889160 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30184] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30184/stat : 30184 (java) S 30163 30165 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280033322 9856004096 116734 33554432000 1073741824 1073778376 140736528865616 140261003834408 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1733.25
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 30259
/proc/meminfo: memFree=29819568/32873844 swapFree=6600/6600
[pid=30165] ppid=30163 vsize=9625004 CPUtime=1793.74 cores=1,3,5,7
/proc/30165/stat : 30165 (java) S 30163 30165 28151 0 -1 4202496 13270 0 1 0 179283 91 0 0 20 0 19 0 280033298 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140736528856752 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30165/statm: 2406251 138719 2279 9 0 2396937 0
[pid=30165/tid=30167] ppid=30163 vsize=9625004 CPUtime=1755.74 cores=1,3,5,7
/proc/30165/task/30167/stat : 30167 (java) R 30163 30165 28151 0 -1 4202560 2898 0 1 0 175542 32 0 0 20 0 19 0 280033299 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261658771744 140261502602505 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30168] ppid=30163 vsize=9625004 CPUtime=1.85 cores=1,3,5,7
/proc/30165/task/30168/stat : 30168 (java) S 30163 30165 28151 0 -1 4202560 431 0 0 0 177 8 0 0 20 0 19 0 280033300 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261501954472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30169] ppid=30163 vsize=9625004 CPUtime=1.89 cores=1,3,5,7
/proc/30165/task/30169/stat : 30169 (java) S 30163 30165 28151 0 -1 4202560 373 0 0 0 184 5 0 0 20 0 19 0 280033300 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261500901928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30170] ppid=30163 vsize=9625004 CPUtime=1.89 cores=1,3,5,7
/proc/30165/task/30170/stat : 30170 (java) S 30163 30165 28151 0 -1 4202560 351 0 0 0 181 8 0 0 20 0 19 0 280033300 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261499848872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30171] ppid=30163 vsize=9625004 CPUtime=1.91 cores=1,3,5,7
/proc/30165/task/30171/stat : 30171 (java) S 30163 30165 28151 0 -1 4202560 430 0 0 0 183 8 0 0 20 0 19 0 280033300 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261498796328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30165/tid=30172] ppid=30163 vsize=9625004 CPUtime=1.94 cores=1,3,5,7
/proc/30165/task/30172/stat : 30172 (java) S 30163 30165 28151 0 -1 4202560 387 0 0 0 186 8 0 0 20 0 19 0 280033300 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261497744296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30173] ppid=30163 vsize=9625004 CPUtime=1.75 cores=1,3,5,7
/proc/30165/task/30173/stat : 30173 (java) S 30163 30165 28151 0 -1 4202560 363 0 0 0 167 8 0 0 20 0 19 0 280033300 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261496691752 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30174] ppid=30163 vsize=9625004 CPUtime=2.05 cores=1,3,5,7
/proc/30165/task/30174/stat : 30174 (java) S 30163 30165 28151 0 -1 4202560 389 0 0 0 197 8 0 0 20 0 19 0 280033300 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261495638696 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30175] ppid=30163 vsize=9625004 CPUtime=1.88 cores=1,3,5,7
/proc/30165/task/30175/stat : 30175 (java) S 30163 30165 28151 0 -1 4202560 283 0 0 0 183 5 0 0 20 0 19 0 280033300 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261494586152 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30176] ppid=30163 vsize=9625004 CPUtime=17.25 cores=1,3,5,7
/proc/30165/task/30176/stat : 30176 (java) S 30163 30165 28151 0 -1 4202560 451 0 0 0 1720 5 0 0 20 0 19 0 280033301 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261012257128 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30177] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30177/stat : 30177 (java) S 30163 30165 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280033302 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261011203448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30178] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30178/stat : 30178 (java) S 30163 30165 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280033302 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261010150280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30179] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30179/stat : 30179 (java) S 30163 30165 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280033304 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261009099024 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30180] ppid=30163 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/30165/task/30180/stat : 30180 (java) S 30163 30165 28151 0 -1 4202560 3084 0 0 0 38 0 0 0 20 0 19 0 280033304 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261008046904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30181] ppid=30163 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/30165/task/30181/stat : 30181 (java) S 30163 30165 28151 0 -1 4202560 2547 0 0 0 32 0 0 0 20 0 19 0 280033304 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261006994360 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30165/tid=30182] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30182/stat : 30182 (java) S 30163 30165 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280033304 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261005941496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30183] ppid=30163 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/30165/task/30183/stat : 30183 (java) S 30163 30165 28151 0 -1 4202560 102 0 0 0 25 23 0 0 20 0 19 0 280033304 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261004889160 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30184] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30184/stat : 30184 (java) S 30163 30165 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280033322 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261003834408 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1793.74
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1788.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 30259
/proc/meminfo: memFree=29819692/32873844 swapFree=6600/6600
[pid=30165] ppid=30163 vsize=9625004 CPUtime=1800.05 cores=1,3,5,7
/proc/30165/stat : 30165 (java) S 30163 30165 28151 0 -1 4202496 13270 0 1 0 179914 91 0 0 20 0 19 0 280033298 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140736528856752 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30165/statm: 2406251 138719 2279 9 0 2396937 0
[pid=30165/tid=30167] ppid=30163 vsize=9625004 CPUtime=1762.03 cores=1,3,5,7
/proc/30165/task/30167/stat : 30167 (java) R 30163 30165 28151 0 -1 4202560 2898 0 1 0 176171 32 0 0 20 0 19 0 280033299 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261658771744 140261502681064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30168] ppid=30163 vsize=9625004 CPUtime=1.85 cores=1,3,5,7
/proc/30165/task/30168/stat : 30168 (java) S 30163 30165 28151 0 -1 4202560 431 0 0 0 177 8 0 0 20 0 19 0 280033300 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261501954472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30169] ppid=30163 vsize=9625004 CPUtime=1.89 cores=1,3,5,7
/proc/30165/task/30169/stat : 30169 (java) S 30163 30165 28151 0 -1 4202560 373 0 0 0 184 5 0 0 20 0 19 0 280033300 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261500901928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30170] ppid=30163 vsize=9625004 CPUtime=1.89 cores=1,3,5,7
/proc/30165/task/30170/stat : 30170 (java) S 30163 30165 28151 0 -1 4202560 351 0 0 0 181 8 0 0 20 0 19 0 280033300 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261499848872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30171] ppid=30163 vsize=9625004 CPUtime=1.91 cores=1,3,5,7
/proc/30165/task/30171/stat : 30171 (java) S 30163 30165 28151 0 -1 4202560 430 0 0 0 183 8 0 0 20 0 19 0 280033300 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261498796328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30165/tid=30172] ppid=30163 vsize=9625004 CPUtime=1.94 cores=1,3,5,7
/proc/30165/task/30172/stat : 30172 (java) S 30163 30165 28151 0 -1 4202560 387 0 0 0 186 8 0 0 20 0 19 0 280033300 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261497744296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30173] ppid=30163 vsize=9625004 CPUtime=1.75 cores=1,3,5,7
/proc/30165/task/30173/stat : 30173 (java) S 30163 30165 28151 0 -1 4202560 363 0 0 0 167 8 0 0 20 0 19 0 280033300 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261496691752 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30174] ppid=30163 vsize=9625004 CPUtime=2.05 cores=1,3,5,7
/proc/30165/task/30174/stat : 30174 (java) S 30163 30165 28151 0 -1 4202560 389 0 0 0 197 8 0 0 20 0 19 0 280033300 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261495638696 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30175] ppid=30163 vsize=9625004 CPUtime=1.88 cores=1,3,5,7
/proc/30165/task/30175/stat : 30175 (java) S 30163 30165 28151 0 -1 4202560 283 0 0 0 183 5 0 0 20 0 19 0 280033300 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261494586152 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30176] ppid=30163 vsize=9625004 CPUtime=17.25 cores=1,3,5,7
/proc/30165/task/30176/stat : 30176 (java) S 30163 30165 28151 0 -1 4202560 451 0 0 0 1720 5 0 0 20 0 19 0 280033301 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261012257128 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30177] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30177/stat : 30177 (java) S 30163 30165 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280033302 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261011203448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30178] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30178/stat : 30178 (java) S 30163 30165 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280033302 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261010150280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30179] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30179/stat : 30179 (java) S 30163 30165 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280033304 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261009099024 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30180] ppid=30163 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/30165/task/30180/stat : 30180 (java) S 30163 30165 28151 0 -1 4202560 3084 0 0 0 38 0 0 0 20 0 19 0 280033304 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261008046904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30165/tid=30181] ppid=30163 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/30165/task/30181/stat : 30181 (java) S 30163 30165 28151 0 -1 4202560 2547 0 0 0 32 0 0 0 20 0 19 0 280033304 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261006994360 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30165/tid=30182] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30182/stat : 30182 (java) S 30163 30165 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280033304 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261005941496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30165/tid=30183] ppid=30163 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/30165/task/30183/stat : 30183 (java) S 30163 30165 28151 0 -1 4202560 102 0 0 0 25 23 0 0 20 0 19 0 280033304 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261004889160 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30165/tid=30184] ppid=30163 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/30165/task/30184/stat : 30184 (java) S 30163 30165 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280033322 9856004096 138719 33554432000 1073741824 1073778376 140736528865616 140261003834408 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30165 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=668168
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=332797
# CPU time returned by wait4() is 1796
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1788.66
CPU time (s): 1800.05
CPU user time (s): 1799.14
CPU system time (s): 0.91
CPU usage (%): 100.637
Max. virtual memory (cumulated for all children) (KiB): 9625440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.67
system time used= 1.3328
maximum resident set size= 555036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13312
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46807
involuntary context switches= 44861

runsolver used 6.33004 second user time and 15.2527 second system time

The end

Launcher Data 

Begin job on node140 at 2012-05-27 19:18:05
IDJOB=3710650
IDBENCH=1959
IDSOLVER=2289
FILE ID=node140/3710650-1338139084
RUNJOBID= node140-1338124688-28168
PBS_JOBID= 14624514
Free space on /tmp= 71332 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.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-3710650-1338139084/watcher-3710650-1338139084 -o /tmp/evaluation-result-3710650-1338139084/solver-3710650-1338139084 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710650-1338139084.opb

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

MD5SUM BENCH= 3ddf6338b9f9cf35560b94c856457c56
RANDOM SEED=622916370

node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
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		: 2667.094
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		: 2667.094
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.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30584348 kB
Buffers:          387224 kB
Cached:           713476 kB
SwapCached:         1492 kB
Active:          1170768 kB
Inactive:         254896 kB
Active(anon):     316892 kB
Inactive(anon):     8612 kB
Active(file):     853876 kB
Inactive(file):   246284 kB
Unevictable:        6600 kB
Mlocked:            6600 kB
SwapTotal:      67108856 kB
SwapFree:       67105300 kB
Dirty:               876 kB
Writeback:             0 kB
AnonPages:        330248 kB
Mapped:            19884 kB
Shmem:                 8 kB
Slab:             718564 kB
SReclaimable:     160692 kB
SUnreclaim:       557872 kB
KernelStack:        1616 kB
PageTables:         4620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     825440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    303104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71332 MiB
End job on node140 at 2012-05-27 19:47:55