Trace number 3687528

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotOPT1523 1424.17 733.525

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
MD5SUM303eaeab4b7ccd67c7fab31d13d20bc2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1523
Best CPU time to get the best result obtained on this benchmark0.200968
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1523
Optimality of the best value was proved YES
Number of variables201
Total number of constraints133
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)26
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint3
Maximum length of a constraint67
Number of terms in the objective function 201
Biggest coefficient in the objective function 1920
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 19980
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1920
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 19980
Number of bits of the biggest sum of numbers15
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.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.08	c version 2.3.2.v20120418
0.05/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.08	c java.vm.version	19.1-b02
0.05/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.08	c sun.arch.data.model	64
0.05/0.08	c java.version		1.6.0_24
0.05/0.08	c os.name		Linux
0.05/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.08	c os.arch		amd64
0.05/0.08	c Free memory 		501472288
0.05/0.08	c Max memory 		7480803328
0.05/0.08	c Total memory 		504102912
0.05/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3687528-1337871937.opb
0.10/0.11	c reading problem ... 
0.10/0.19	c ... done. Wall clock time 0.084s.
0.10/0.19	c declared #vars     201
0.10/0.19	c #constraints  133
0.10/0.19	c constraints type 
0.10/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 20
0.10/0.19	c org.sat4j.minisat.constraints.card.MinWatchCard => 80
0.10/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 33
0.10/0.19	c 133 constraints processed.
0.10/0.19	c constraints type 
0.10/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 20
0.10/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 80
0.10/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPb => 33
0.10/0.19	c 133 constraints processed.
0.10/0.20	c objective function length is 201 literals
0.25/0.21	c  And the winner is solver0
0.32/0.70	c SATISFIABLE
0.32/0.70	c OPTIMIZING...
0.32/0.70	c Got one! Elapsed wall clock time (in seconds):0.586
0.32/0.70	o 1599
0.32/0.72	c  And the winner is solver0
0.46/1.20	c Got one! Elapsed wall clock time (in seconds):1.091
0.46/1.20	o 1589
0.46/1.21	c  And the winner is solver0
0.51/1.70	c Got one! Elapsed wall clock time (in seconds):1.594
0.51/1.70	o 1561
1.67/2.01	c  And the winner is solver1
2.04/2.21	c Got one! Elapsed wall clock time (in seconds):2.096
2.04/2.21	o 1555
2.04/2.22	c  And the winner is solver0
2.05/2.71	c Got one! Elapsed wall clock time (in seconds):2.598
2.05/2.71	o 1551
2.78/2.93	c cleaning 2632 clauses out of 5265 with flag 4000/5265
3.89/3.24	c cleaning 4315 clauses out of 8634 with flag 10001/11266
4.87/3.55	c cleaning 5659 clauses out of 11319 with flag 17001/18266
5.47/3.87	c cleaning 6828 clauses out of 13660 with flag 25001/26266
6.30/4.27	c cleaning 7915 clauses out of 15832 with flag 34001/35266
7.26/4.72	c cleaning 8957 clauses out of 17918 with flag 44002/45267
8.25/5.24	c cleaning 9979 clauses out of 19959 with flag 55000/56265
9.21/5.71	c cleaning 10990 clauses out of 21980 with flag 67000/68265
10.13/6.27	c cleaning 11996 clauses out of 23991 with flag 80001/81266
11.29/6.86	c cleaning 12994 clauses out of 25994 with flag 94000/95265
12.64/7.51	c cleaning 14001 clauses out of 28001 with flag 109001/110266
13.77/8.17	c cleaning 14997 clauses out of 30000 with flag 125001/126266
15.10/8.89	c cleaning 15999 clauses out of 32002 with flag 142000/143265
16.82/9.73	c cleaning 16998 clauses out of 34003 with flag 160000/161265
18.56/10.60	c cleaning 18000 clauses out of 36005 with flag 179000/180265
20.10/11.45	c cleaning 19001 clauses out of 38005 with flag 199000/200265
21.98/12.45	c cleaning 20002 clauses out of 40005 with flag 220001/221266
23.70/13.39	c cleaning 20992 clauses out of 42003 with flag 242001/243266
25.82/14.44	c cleaning 22004 clauses out of 44012 with flag 265002/266267
27.95/15.51	c cleaning 22995 clauses out of 46009 with flag 289003/290268
30.22/16.70	c cleaning 23998 clauses out of 48012 with flag 314001/315266
32.53/17.93	c cleaning 24999 clauses out of 50014 with flag 340001/341266
35.04/19.28	c cleaning 26005 clauses out of 52014 with flag 367000/368265
37.94/20.74	c cleaning 27003 clauses out of 54010 with flag 395001/396266
40.80/22.20	c cleaning 28001 clauses out of 56006 with flag 424000/425265
43.49/23.62	c cleaning 29000 clauses out of 58006 with flag 454001/455266
46.38/25.16	c cleaning 29997 clauses out of 60005 with flag 485000/486265
49.48/26.73	c cleaning 31000 clauses out of 62009 with flag 517001/518266
52.71/28.46	c cleaning 32002 clauses out of 64009 with flag 550001/551266
56.20/30.23	c cleaning 32998 clauses out of 66006 with flag 584000/585265
56.89/30.69	c  And the winner is solver0
57.27/30.93	c Got one! Elapsed wall clock time (in seconds):30.82
57.27/30.93	o 1543
57.81/31.21	c cleaning 23262 clauses out of 46540 with flag 5000/598797
58.50/31.61	c cleaning 14629 clauses out of 29279 with flag 11001/604798
59.13/32.08	c cleaning 10823 clauses out of 21652 with flag 18003/611800
60.02/32.52	c cleaning 9411 clauses out of 18828 with flag 26002/619799
60.72/32.96	c cleaning 9202 clauses out of 18416 with flag 35001/628798
61.60/33.44	c cleaning 9604 clauses out of 19215 with flag 45002/638799
62.64/34.05	c cleaning 10305 clauses out of 20610 with flag 56001/649798
63.76/34.63	c cleaning 11148 clauses out of 22305 with flag 68001/661798
64.86/35.21	c cleaning 12074 clauses out of 24156 with flag 81000/674797
65.74/35.70	c  And the winner is solver0
65.79/35.93	c Got one! Elapsed wall clock time (in seconds):35.822
65.79/35.93	o 1535
66.25/36.15	c cleaning 13798 clauses out of 27616 with flag 5001/690331
66.87/36.56	c cleaning 9900 clauses out of 19817 with flag 11000/696330
67.58/36.92	c cleaning 8454 clauses out of 16918 with flag 18001/703331
68.28/37.32	c cleaning 8222 clauses out of 16464 with flag 26001/711331
68.96/37.76	c cleaning 8613 clauses out of 17243 with flag 35002/720332
69.97/38.33	c cleaning 9314 clauses out of 18629 with flag 45001/730331
70.86/38.89	c cleaning 10155 clauses out of 20314 with flag 56000/741330
72.15/39.53	c cleaning 11080 clauses out of 22159 with flag 68000/753330
73.42/40.20	c cleaning 12036 clauses out of 24079 with flag 81000/766330
74.63/40.96	c cleaning 13008 clauses out of 26044 with flag 95001/780331
74.92/41.14	c  And the winner is solver0
75.05/41.21	c Got one! Elapsed wall clock time (in seconds):41.099
75.05/41.21	o 1533
75.22/41.37	c cleaning 9347 clauses out of 18699 with flag 4001/785994
75.92/41.72	c cleaning 7669 clauses out of 15352 with flag 10001/791994
76.60/42.12	c cleaning 7340 clauses out of 14682 with flag 17000/798993
77.42/42.65	c cleaning 7667 clauses out of 15343 with flag 25001/806994
78.30/43.13	c cleaning 8336 clauses out of 16676 with flag 34001/815994
79.17/43.66	c cleaning 9168 clauses out of 18340 with flag 44001/825994
80.24/44.29	c cleaning 10082 clauses out of 20171 with flag 55000/836993
81.66/45.01	c cleaning 11042 clauses out of 22090 with flag 67001/848994
82.93/45.74	c cleaning 12020 clauses out of 24048 with flag 80001/861994
84.21/46.49	c cleaning 13012 clauses out of 26028 with flag 94001/875994
85.70/47.29	c cleaning 14002 clauses out of 28017 with flag 109002/890995
87.31/48.14	c cleaning 15003 clauses out of 30013 with flag 125000/906993
88.98/49.06	c cleaning 16000 clauses out of 32011 with flag 142001/923994
90.86/50.02	c cleaning 17002 clauses out of 34010 with flag 160000/941993
92.53/50.98	c cleaning 18004 clauses out of 36008 with flag 179000/960993
94.56/52.07	c cleaning 18993 clauses out of 38005 with flag 199001/980994
96.62/53.18	c cleaning 20000 clauses out of 40011 with flag 220000/1001993
98.68/54.27	c cleaning 21003 clauses out of 42011 with flag 242000/1023993
100.96/55.48	c cleaning 21998 clauses out of 44010 with flag 265002/1046995
103.15/56.64	c  And the winner is solver0
103.33/56.93	c Got one! Elapsed wall clock time (in seconds):56.817
103.33/56.93	o 1523
103.88/57.21	c cleaning 24802 clauses out of 49618 with flag 5001/1074601
104.52/57.60	c cleaning 15397 clauses out of 30816 with flag 11001/1080601
105.19/58.03	c cleaning 11205 clauses out of 22419 with flag 18001/1087601
105.85/58.48	c cleaning 9600 clauses out of 19214 with flag 26001/1095601
106.83/59.05	c cleaning 9303 clauses out of 18613 with flag 35000/1104600
107.70/59.56	c cleaning 9653 clauses out of 19311 with flag 45001/1114601
108.76/60.14	c cleaning 10325 clauses out of 20657 with flag 56000/1125600
109.83/60.76	c cleaning 11167 clauses out of 22333 with flag 68001/1137601
111.04/61.48	c cleaning 12081 clauses out of 24165 with flag 81000/1150600
112.31/62.17	c cleaning 13038 clauses out of 26084 with flag 95000/1164600
113.77/62.92	c cleaning 14021 clauses out of 28047 with flag 110001/1179601
115.24/63.72	c cleaning 15013 clauses out of 30027 with flag 126002/1195602
116.81/64.63	c cleaning 16003 clauses out of 32013 with flag 143001/1212601
118.47/65.53	c cleaning 17002 clauses out of 34009 with flag 161000/1230600
120.13/66.49	c cleaning 17994 clauses out of 36007 with flag 180000/1249600
121.99/67.45	c cleaning 18999 clauses out of 38013 with flag 200000/1269600
124.15/68.60	c cleaning 20003 clauses out of 40014 with flag 221000/1290600
126.21/69.76	c cleaning 21000 clauses out of 42012 with flag 243001/1312601
128.46/70.92	c cleaning 22005 clauses out of 44012 with flag 266001/1335601
130.71/72.11	c cleaning 23000 clauses out of 46006 with flag 290000/1359600
133.06/73.41	c cleaning 24001 clauses out of 48006 with flag 315000/1384600
135.53/74.75	c cleaning 25002 clauses out of 50006 with flag 341001/1410601
138.17/76.15	c cleaning 25998 clauses out of 52003 with flag 368000/1437600
141.02/77.60	c cleaning 26993 clauses out of 54005 with flag 396000/1465600
143.99/79.24	c cleaning 28002 clauses out of 56012 with flag 425000/1494600
147.03/80.86	c cleaning 29002 clauses out of 58011 with flag 455001/1524601
150.09/82.48	c cleaning 30006 clauses out of 60011 with flag 486003/1555603
153.53/84.22	c cleaning 31000 clauses out of 62003 with flag 518001/1587601
156.89/86.04	c cleaning 31998 clauses out of 64003 with flag 551001/1620601
160.13/87.78	c cleaning 32995 clauses out of 66007 with flag 585003/1654603
163.76/89.65	c cleaning 34002 clauses out of 68010 with flag 620001/1689601
167.02/91.39	c cleaning 34990 clauses out of 70007 with flag 656000/1725600
170.78/93.34	c cleaning 35996 clauses out of 72021 with flag 693004/1762604
174.83/95.43	c cleaning 37006 clauses out of 74021 with flag 731000/1800600
179.08/97.64	c cleaning 38008 clauses out of 76015 with flag 770000/1839600
183.11/99.78	c cleaning 39002 clauses out of 78007 with flag 810000/1879600
187.68/102.20	c cleaning 40001 clauses out of 80006 with flag 851001/1920601
192.15/104.44	c cleaning 40998 clauses out of 82004 with flag 893000/1962600
196.59/106.73	c cleaning 41993 clauses out of 84006 with flag 936000/2005600
201.01/109.06	c cleaning 43005 clauses out of 86013 with flag 980000/2049600
205.98/111.60	c cleaning 44001 clauses out of 88009 with flag 1025001/2094601
210.62/114.01	c cleaning 44999 clauses out of 90008 with flag 1071001/2140601
215.66/116.64	c cleaning 46001 clauses out of 92009 with flag 1118001/2187601
221.12/119.42	c cleaning 46999 clauses out of 94008 with flag 1166001/2235601
226.47/122.25	c cleaning 47994 clauses out of 96009 with flag 1215001/2284601
231.71/124.98	c cleaning 49002 clauses out of 98015 with flag 1265001/2334601
237.35/127.80	c cleaning 50005 clauses out of 100014 with flag 1316002/2385602
242.80/130.67	c cleaning 50994 clauses out of 102008 with flag 1368001/2437601
249.16/133.92	c cleaning 52005 clauses out of 104014 with flag 1421001/2490601
255.40/137.16	c cleaning 52996 clauses out of 106008 with flag 1475000/2544600
261.60/140.39	c cleaning 54004 clauses out of 108013 with flag 1530001/2599601
268.03/143.69	c cleaning 54999 clauses out of 110010 with flag 1586002/2655602
274.96/147.20	c cleaning 55999 clauses out of 112010 with flag 1643001/2712601
281.40/150.58	c cleaning 56999 clauses out of 114012 with flag 1701002/2770602
288.03/153.96	c cleaning 57996 clauses out of 116011 with flag 1760000/2829600
295.64/157.80	c cleaning 58998 clauses out of 118015 with flag 1820000/2889600
303.20/161.78	c cleaning 59998 clauses out of 120017 with flag 1881000/2950600
310.63/165.59	c cleaning 61009 clauses out of 122020 with flag 1943001/3012601
318.85/169.74	c cleaning 61998 clauses out of 124012 with flag 2006002/3075602
326.46/173.60	c cleaning 62998 clauses out of 126012 with flag 2070000/3139600
333.78/177.48	c cleaning 64005 clauses out of 128016 with flag 2135002/3204602
341.40/181.30	c cleaning 65002 clauses out of 130009 with flag 2201000/3270600
349.20/185.31	c cleaning 66002 clauses out of 132007 with flag 2268000/3337600
357.60/189.68	c cleaning 66996 clauses out of 134005 with flag 2336000/3405600
366.48/194.20	c cleaning 68000 clauses out of 136010 with flag 2405001/3474601
376.48/199.30	c cleaning 69002 clauses out of 138010 with flag 2475001/3544601
386.93/204.69	c cleaning 70001 clauses out of 140007 with flag 2546000/3615600
395.73/209.18	c cleaning 70992 clauses out of 142006 with flag 2618000/3687600
404.82/213.87	c cleaning 72000 clauses out of 144014 with flag 2691000/3760600
416.00/219.50	c cleaning 73003 clauses out of 146014 with flag 2765000/3834600
425.21/224.20	c cleaning 73992 clauses out of 148013 with flag 2840002/3909602
435.45/229.46	c cleaning 75003 clauses out of 150019 with flag 2916000/3985600
445.73/234.79	c cleaning 76003 clauses out of 152017 with flag 2993001/4062601
456.95/240.50	c cleaning 77000 clauses out of 154014 with flag 3071001/4140601
466.13/245.15	c cleaning 77995 clauses out of 156013 with flag 3150000/4219600
476.11/250.20	c cleaning 78995 clauses out of 158019 with flag 3230001/4299601
486.17/255.46	c cleaning 80006 clauses out of 160025 with flag 3311002/4380602
496.74/260.88	c cleaning 81001 clauses out of 162017 with flag 3393000/4462600
507.73/266.45	c cleaning 82004 clauses out of 164016 with flag 3476000/4545600
519.10/272.20	c cleaning 82996 clauses out of 166013 with flag 3560001/4629601
529.73/277.73	c cleaning 84007 clauses out of 168017 with flag 3645001/4714601
541.30/283.68	c cleaning 85002 clauses out of 170010 with flag 3731001/4800601
552.67/289.44	c cleaning 86005 clauses out of 172009 with flag 3818002/4887602
564.06/295.22	c cleaning 86997 clauses out of 174003 with flag 3906001/4975601
577.12/301.93	c cleaning 87998 clauses out of 176005 with flag 3995000/5064600
591.32/309.19	c cleaning 88998 clauses out of 178007 with flag 4085000/5154600
603.89/315.54	c cleaning 90000 clauses out of 180009 with flag 4176000/5245600
618.08/322.77	c cleaning 91005 clauses out of 182011 with flag 4268002/5337602
634.73/331.25	c cleaning 91995 clauses out of 184005 with flag 4361001/5430601
647.95/337.96	c cleaning 93001 clauses out of 186009 with flag 4455000/5524600
661.92/345.08	c cleaning 93994 clauses out of 188008 with flag 4550000/5619600
675.29/351.90	c cleaning 94998 clauses out of 190014 with flag 4646000/5715600
688.14/358.44	c cleaning 96004 clauses out of 192016 with flag 4743000/5812600
703.29/366.10	c cleaning 97003 clauses out of 194014 with flag 4841002/5910602
717.06/373.15	c cleaning 98000 clauses out of 196011 with flag 4940002/6009602
730.42/379.91	c cleaning 99002 clauses out of 198010 with flag 5040001/6109601
745.54/387.69	c cleaning 99998 clauses out of 200008 with flag 5141001/6210601
760.72/395.39	c cleaning 101001 clauses out of 202009 with flag 5243000/6312600
778.19/404.39	c cleaning 102000 clauses out of 204009 with flag 5346001/6415601
797.71/414.25	c cleaning 103004 clauses out of 206008 with flag 5450000/6519600
812.92/421.90	c cleaning 104002 clauses out of 208003 with flag 5555000/6624600
828.26/429.80	c cleaning 104996 clauses out of 210001 with flag 5661000/6730600
843.01/437.26	c cleaning 106003 clauses out of 212006 with flag 5768001/6837601
858.80/445.37	c cleaning 106996 clauses out of 214001 with flag 5876000/6945600
874.95/453.57	c cleaning 107998 clauses out of 216006 with flag 5985001/7054601
891.72/462.06	c cleaning 108999 clauses out of 218009 with flag 6095002/7164602
907.85/470.22	c cleaning 109996 clauses out of 220008 with flag 6206000/7275600
926.02/479.57	c cleaning 110999 clauses out of 222013 with flag 6318001/7387601
942.59/487.98	c cleaning 112000 clauses out of 224014 with flag 6431001/7500601
958.16/495.89	c cleaning 113003 clauses out of 226013 with flag 6545001/7614601
974.56/504.19	c cleaning 114002 clauses out of 228009 with flag 6660001/7729601
992.51/513.31	c cleaning 114995 clauses out of 230007 with flag 6776001/7845601
1009.69/522.01	c cleaning 116002 clauses out of 232011 with flag 6893000/7962600
1025.65/530.18	c cleaning 117001 clauses out of 234009 with flag 7011001/8080601
1042.77/538.80	c cleaning 118004 clauses out of 236007 with flag 7130000/8199600
1058.53/546.98	c cleaning 118994 clauses out of 238002 with flag 7250000/8319600
1076.26/555.95	c cleaning 119998 clauses out of 240009 with flag 7371001/8440601
1093.00/564.46	c cleaning 120997 clauses out of 242012 with flag 7493002/8562602
1111.54/573.89	c cleaning 122003 clauses out of 244013 with flag 7616000/8685600
1132.06/584.39	c cleaning 122998 clauses out of 246011 with flag 7740001/8809601
1150.79/593.80	c cleaning 124002 clauses out of 248013 with flag 7865001/8934601
1169.32/603.21	c cleaning 124996 clauses out of 250010 with flag 7991001/9060601
1187.25/612.35	c cleaning 126006 clauses out of 252013 with flag 8118000/9187600
1206.00/621.91	c cleaning 126995 clauses out of 254007 with flag 8246000/9315600
1225.92/632.07	c cleaning 128002 clauses out of 256012 with flag 8375000/9444600
1245.67/642.03	c cleaning 129001 clauses out of 258010 with flag 8505000/9574600
1265.00/651.84	c cleaning 130000 clauses out of 260008 with flag 8636000/9705600
1286.52/662.80	c cleaning 130989 clauses out of 262008 with flag 8768000/9837600
1308.45/673.94	c cleaning 132001 clauses out of 264020 with flag 8901002/9970602
1329.77/684.78	c cleaning 133000 clauses out of 266016 with flag 9035000/10104600
1351.69/695.82	c cleaning 134004 clauses out of 268014 with flag 9170000/10239600
1373.42/706.99	c cleaning 135000 clauses out of 270011 with flag 9306003/10375603
1399.15/719.98	c cleaning 136001 clauses out of 272009 with flag 9443001/10512601
1421.08/731.08	c cleaning 137001 clauses out of 274003 with flag 9581000/10650600
1421.82/731.51	c  And the winner is solver0
1424.04/733.51	c starts		: 314
1424.04/733.51	c conflicts		: 10652821
1424.04/733.51	c decisions		: 12379512
1424.04/733.51	c propagations		: 126298520
1424.04/733.51	c inspects		: 6294479171
1424.04/733.51	c shortcuts		: 0
1424.04/733.51	c learnt literals	: 31
1424.04/733.51	c learnt binary clauses	: 381
1424.04/733.51	c learnt ternary clauses	: 561
1424.04/733.51	c learnt constraints	: 10652789
1424.04/733.51	c ignored constraints	: 0
1424.04/733.51	c root simplifications	: 0
1424.04/733.51	c removed literals (reason simplification)	: 77787224
1424.04/733.51	c reason swapping (by a shorter reason)	: 0
1424.04/733.51	c Calls to reduceDB	: 202
1424.04/733.51	c number of reductions to clauses (during analyze)	: 0
1424.04/733.51	c number of learned constraints concerned by reduction	: 0
1424.04/733.51	c number of learning phase by resolution	: 0
1424.04/733.51	c number of learning phase by cutting planes	: 0
1424.04/733.51	c speed (assignments/second)	: 172705.0606047346
1424.04/733.51	c non guided choices	5
1424.04/733.51	c learnt constraints type 
1424.04/733.51	c constraints type 
1424.04/733.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 20
1424.04/733.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 80
1424.04/733.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 33
1424.04/733.51	c 133 constraints processed.
1424.04/733.51	c constraints type 
1424.04/733.51	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 20
1424.04/733.51	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 80
1424.04/733.51	c org.sat4j.pb.constraints.pb.MaxWatchPb => 33
1424.04/733.51	c 133 constraints processed.
1424.04/733.51	s OPTIMUM FOUND
1424.04/733.51	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 
1424.04/733.51	c objective function=1523
1424.04/733.51	c Total wall clock time (in seconds): 733.399

Verifier Data 

OK	1523

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-3687528-1337871937/watcher-3687528-1337871937 -o /tmp/evaluation-result-3687528-1337871937/solver-3687528-1337871937 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687528-1337871937.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.02 0.53 0.18 4/197 30792
/proc/meminfo: memFree=28161624/32873648 swapFree=7104/7104
[pid=30792] ppid=30790 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/30792/stat : 30792 (java) R 30790 30792 30487 0 -1 4202496 862 0 0 0 0 0 0 0 20 0 1 0 253319117 23793664 591 33554432000 1073741824 1073778376 140734257321536 140734257310600 214528211507 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30792/statm: 5809 603 449 9 0 128 0

[startup+0.0792561 s]
/proc/loadavg: 2.02 0.53 0.18 4/197 30792
/proc/meminfo: memFree=28161624/32873648 swapFree=7104/7104
[pid=30792] ppid=30790 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/30792/stat : 30792 (java) S 30790 30792 30487 0 -1 4202496 3626 0 1 0 5 0 0 0 20 0 18 0 253319117 9787813888 4836 33554432000 1073741824 1073778376 140734257321536 140734257312672 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30792/statm: 2389603 4836 1931 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412

[startup+0.100219 s]
/proc/loadavg: 2.02 0.53 0.18 4/197 30792
/proc/meminfo: memFree=28161624/32873648 swapFree=7104/7104
[pid=30792] ppid=30790 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/30792/stat : 30792 (java) S 30790 30792 30487 0 -1 4202496 4385 0 1 0 9 1 0 0 20 0 18 0 253319117 9787813888 6090 33554432000 1073741824 1073778376 140734257321536 140734257312672 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30792/statm: 2389603 6090 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.30022 s]
/proc/loadavg: 2.02 0.53 0.18 4/197 30792
/proc/meminfo: memFree=28161624/32873648 swapFree=7104/7104
[pid=30792] ppid=30790 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/30792/stat : 30792 (java) S 30790 30792 30487 0 -1 4202496 5934 0 1 0 30 2 0 0 20 0 19 0 253319117 10060460032 7961 33554432000 1073741824 1073778376 140734257321536 140734257312672 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30792/statm: 2456167 7961 2223 9 0 2446860 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9824668

[startup+0.70018 s]
/proc/loadavg: 2.02 0.53 0.18 4/197 30792
/proc/meminfo: memFree=28161624/32873648 swapFree=7104/7104
[pid=30792] ppid=30790 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/30792/stat : 30792 (java) S 30790 30792 30487 0 -1 4202496 5934 0 1 0 30 2 0 0 20 0 19 0 253319117 10060460032 7961 33554432000 1073741824 1073778376 140734257321536 140734257312672 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30792/statm: 2456167 7961 2223 9 0 2446860 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9824668

[startup+1.50067 s]
/proc/loadavg: 2.02 0.55 0.19 3/216 30817
/proc/meminfo: memFree=28133068/32873648 swapFree=7104/7104
[pid=30792] ppid=30790 vsize=9824668 CPUtime=0.51 cores=0,2,4,6
/proc/30792/stat : 30792 (java) S 30790 30792 30487 0 -1 4202496 7327 0 1 0 46 5 0 0 20 0 19 0 253319117 10060460032 10470 33554432000 1073741824 1073778376 140734257321536 140734257312672 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30792/statm: 2456167 10470 2231 9 0 2446860 0
[pid=30792/tid=30794] ppid=30790 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/30792/task/30794/stat : 30794 (java) S 30790 30792 30487 0 -1 4202560 2459 0 1 0 16 2 0 0 20 0 19 0 253319118 10060460032 10470 33554432000 1073741824 1073778376 140734257321536 140190725981176 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30795] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30795/stat : 30795 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319119 10060460032 10470 33554432000 1073741824 1073778376 140734257321536 140190687472680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30796] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30796/stat : 30796 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319119 10060460032 10470 33554432000 1073741824 1073778376 140734257321536 140190686419880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30797] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30797/stat : 30797 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319119 10060460032 10470 33554432000 1073741824 1073778376 140734257321536 140190567885608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30792/tid=30798] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30798/stat : 30798 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319119 10060460032 10470 33554432000 1073741824 1073778376 140734257321536 140190566832808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30799] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30799/stat : 30799 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319119 10060460032 10470 33554432000 1073741824 1073778376 140734257321536 140190565780008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30800] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30800/stat : 30800 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319119 10060460032 10470 33554432000 1073741824 1073778376 140734257321536 140190564727208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30801] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30801/stat : 30801 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319119 10060460032 10470 33554432000 1073741824 1073778376 140734257321536 140190563674408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30802] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30802/stat : 30802 (java) S 30790 30792 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253319119 10060460032 10470 33554432000 1073741824 1073778376 140734257321536 140190562621608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30803] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30803/stat : 30803 (java) S 30790 30792 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253319120 10060460032 10470 33554432000 1073741824 1073778376 140734257321536 140190080293864 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30804] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30804/stat : 30804 (java) S 30790 30792 30487 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253319121 10060460032 10470 33554432000 1073741824 1073778376 140734257321536 140190079239928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30805] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30805/stat : 30805 (java) S 30790 30792 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253319121 10060460032 10470 33554432000 1073741824 1073778376 140734257321536 140190078187016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30806] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30806/stat : 30806 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319123 10060460032 10470 33554432000 1073741824 1073778376 140734257321536 140190077135504 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30807] ppid=30790 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/30792/task/30807/stat : 30807 (java) S 30790 30792 30487 0 -1 4202560 2280 0 0 0 15 0 0 0 20 0 19 0 253319123 10060460032 10470 33554432000 1073741824 1073778376 140734257321536 140190076082616 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30808] ppid=30790 vsize=9824668 CPUtime=0.09 cores=0,2,4,6
/proc/30792/task/30808/stat : 30808 (java) S 30790 30792 30487 0 -1 4202560 1277 0 0 0 9 0 0 0 20 0 19 0 253319123 10060460032 10470 33554432000 1073741824 1073778376 140734257321536 140190075029816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30809] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30809/stat : 30809 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319123 10060460032 10470 33554432000 1073741824 1073778376 140734257321536 140190073977208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30810] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30810/stat : 30810 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319123 10060460032 10470 33554432000 1073741824 1073778376 140734257321536 140190072924616 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30814] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30814/stat : 30814 (java) S 30790 30792 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253319138 10060460032 10470 33554432000 1073741824 1073778376 140734257321536 140190068712744 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9824668

[startup+3.10062 s]
/proc/loadavg: 2.02 0.55 0.19 5/216 30823
/proc/meminfo: memFree=28088744/32873648 swapFree=7104/7104
[pid=30792] ppid=30790 vsize=9824668 CPUtime=3.5 cores=0,2,4,6
/proc/30792/stat : 30792 (java) S 30790 30792 30487 0 -1 4202496 24970 0 1 0 339 11 0 0 20 0 22 0 253319117 10060460032 44156 33554432000 1073741824 1073778376 140734257321536 140734257312672 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30792/statm: 2456167 44156 2277 9 0 2446860 0
[pid=30792/tid=30794] ppid=30790 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/30792/task/30794/stat : 30794 (java) S 30790 30792 30487 0 -1 4202560 2459 0 1 0 17 2 0 0 20 0 22 0 253319118 10060460032 44156 33554432000 1073741824 1073778376 140734257321536 140190725981176 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30795] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30795/stat : 30795 (java) S 30790 30792 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253319119 10060460032 44156 33554432000 1073741824 1073778376 140734257321536 140190687472680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30796] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30796/stat : 30796 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319119 10060460032 44156 33554432000 1073741824 1073778376 140734257321536 140190686419880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30797] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30797/stat : 30797 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319119 10060460032 44156 33554432000 1073741824 1073778376 140734257321536 140190567885608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30792/tid=30798] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30798/stat : 30798 (java) S 30790 30792 30487 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253319119 10060460032 44156 33554432000 1073741824 1073778376 140734257321536 140190566832808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30799] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30799/stat : 30799 (java) S 30790 30792 30487 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253319119 10060460032 44156 33554432000 1073741824 1073778376 140734257321536 140190565780008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30800] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30800/stat : 30800 (java) S 30790 30792 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253319119 10060460032 44156 33554432000 1073741824 1073778376 140734257321536 140190564727208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30792/tid=30801] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30801/stat : 30801 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319119 10060460032 44156 33554432000 1073741824 1073778376 140734257321536 140190563674408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30802] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30802/stat : 30802 (java) S 30790 30792 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253319119 10060460032 44156 33554432000 1073741824 1073778376 140734257321536 140190562621608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30803] ppid=30790 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/30792/task/30803/stat : 30803 (java) S 30790 30792 30487 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 22 0 253319120 10060460032 44156 33554432000 1073741824 1073778376 140734257321536 140190080293864 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30804] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30804/stat : 30804 (java) S 30790 30792 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253319121 10060460032 44156 33554432000 1073741824 1073778376 140734257321536 140190079239928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30805] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30805/stat : 30805 (java) S 30790 30792 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253319121 10060460032 44156 33554432000 1073741824 1073778376 140734257321536 140190078187016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30806] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30806/stat : 30806 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319123 10060460032 44156 33554432000 1073741824 1073778376 140734257321536 140190077135504 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30807] ppid=30790 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/30792/task/30807/stat : 30807 (java) R 30790 30792 30487 0 -1 4202560 11773 0 0 0 95 2 0 0 20 0 22 0 253319123 10060460032 44156 33554432000 1073741824 1073778376 140734257321536 140190076069856 140190728886356 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30808] ppid=30790 vsize=9824668 CPUtime=0.89 cores=0,2,4,6
/proc/30792/task/30808/stat : 30808 (java) R 30790 30792 30487 0 -1 4202560 9296 0 0 0 87 2 0 0 20 0 22 0 253319123 10060460032 44156 33554432000 1073741824 1073778376 140734257321536 140190075029816 140190732955717 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30809] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30809/stat : 30809 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319123 10060460032 44156 33554432000 1073741824 1073778376 140734257321536 140190073977208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30810] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30810/stat : 30810 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319123 10060460032 44156 33554432000 1073741824 1073778376 140734257321536 140190072924616 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 9824668

[startup+6.30073 s]
/proc/loadavg: 2.17 0.61 0.21 5/219 30829
/proc/meminfo: memFree=27293388/32873648 swapFree=7104/7104
[pid=30792] ppid=30790 vsize=9824668 CPUtime=10.34 cores=0,2,4,6
/proc/30792/stat : 30792 (java) S 30790 30792 30487 0 -1 4202496 27274 0 1 0 1020 14 0 0 20 0 22 0 253319117 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140734257312672 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30792/statm: 2456167 73197 2280 9 0 2446860 0
[pid=30792/tid=30794] ppid=30790 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/30792/task/30794/stat : 30794 (java) S 30790 30792 30487 0 -1 4202560 2459 0 1 0 17 2 0 0 20 0 22 0 253319118 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190725981176 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30795] ppid=30790 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/30792/task/30795/stat : 30795 (java) S 30790 30792 30487 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 253319119 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190687472680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30796] ppid=30790 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/30792/task/30796/stat : 30796 (java) S 30790 30792 30487 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 253319119 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190686419880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30797] ppid=30790 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/30792/task/30797/stat : 30797 (java) S 30790 30792 30487 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 253319119 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190567885608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30798] ppid=30790 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/30792/task/30798/stat : 30798 (java) S 30790 30792 30487 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 253319119 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190566832808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30792/tid=30799] ppid=30790 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/30792/task/30799/stat : 30799 (java) S 30790 30792 30487 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 253319119 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190565780008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30792/tid=30800] ppid=30790 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/30792/task/30800/stat : 30800 (java) S 30790 30792 30487 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 253319119 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190564727208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30801] ppid=30790 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/30792/task/30801/stat : 30801 (java) S 30790 30792 30487 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253319119 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190563674408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30802] ppid=30790 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/30792/task/30802/stat : 30802 (java) S 30790 30792 30487 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 253319119 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190562621608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30803] ppid=30790 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/30792/task/30803/stat : 30803 (java) R 30790 30792 30487 0 -1 4202560 107 0 0 0 33 1 0 0 20 0 22 0 253319120 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190080292840 140190730117444 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30804] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30804/stat : 30804 (java) S 30790 30792 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253319121 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190079239928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30805] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30805/stat : 30805 (java) S 30790 30792 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253319121 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190078187016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30806] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30806/stat : 30806 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319123 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190077135504 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30807] ppid=30790 vsize=9824668 CPUtime=1.33 cores=0,2,4,6
/proc/30792/task/30807/stat : 30807 (java) S 30790 30792 30487 0 -1 4202560 13249 0 0 0 130 3 0 0 20 0 22 0 253319123 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190076082616 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30808] ppid=30790 vsize=9824668 CPUtime=1.23 cores=0,2,4,6
/proc/30792/task/30808/stat : 30808 (java) S 30790 30792 30487 0 -1 4202560 9937 0 0 0 121 2 0 0 20 0 22 0 253319123 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190075029816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30809] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30809/stat : 30809 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319123 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190073977208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30810] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30810/stat : 30810 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319123 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190072924616 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30826] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30826/stat : 30826 (java) S 30790 30792 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253319339 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190068712232 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30827] ppid=30790 vsize=9824668 CPUtime=3.12 cores=0,2,4,6
/proc/30792/task/30827/stat : 30827 (java) S 30790 30792 30487 0 -1 4202560 13 0 0 0 312 0 0 0 20 0 22 0 253319389 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190071870552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30828] ppid=30790 vsize=9824668 CPUtime=3.14 cores=0,2,4,6
/proc/30792/task/30828/stat : 30828 (java) S 30790 30792 30487 0 -1 4202560 85 0 0 0 311 3 0 0 20 0 22 0 253319389 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190070817912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30829] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30829/stat : 30829 (java) S 30790 30792 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253319389 10060460032 73197 33554432000 1073741824 1073778376 140734257321536 140190069765544 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0

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

/proc/30792/task/30798/stat : 30798 (java) S 30790 30792 30487 0 -1 4202560 700 0 0 0 93 3 0 0 20 0 22 0 253319119 10060460032 553029 33554432000 1073741824 1073778376 140734257321536 140190566832808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30799] ppid=30790 vsize=9824668 CPUtime=1.04 cores=0,2,4,6
/proc/30792/task/30799/stat : 30799 (java) S 30790 30792 30487 0 -1 4202560 488 0 0 0 100 4 0 0 20 0 22 0 253319119 10060460032 553029 33554432000 1073741824 1073778376 140734257321536 140190565780008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30800] ppid=30790 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/30792/task/30800/stat : 30800 (java) S 30790 30792 30487 0 -1 4202560 497 0 0 0 100 3 0 0 20 0 22 0 253319119 10060460032 553029 33554432000 1073741824 1073778376 140734257321536 140190564727208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30801] ppid=30790 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/30792/task/30801/stat : 30801 (java) S 30790 30792 30487 0 -1 4202560 528 0 0 0 93 3 0 0 20 0 22 0 253319119 10060460032 553029 33554432000 1073741824 1073778376 140734257321536 140190563674408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30802] ppid=30790 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/30792/task/30802/stat : 30802 (java) S 30790 30792 30487 0 -1 4202560 314 0 0 0 97 4 0 0 20 0 22 0 253319119 10060460032 553029 33554432000 1073741824 1073778376 140734257321536 140190562621608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30803] ppid=30790 vsize=9824668 CPUtime=41.06 cores=0,2,4,6
/proc/30792/task/30803/stat : 30803 (java) R 30790 30792 30487 0 -1 4202560 2879 0 0 0 4090 16 0 0 20 0 22 0 253319120 10060460032 553029 33554432000 1073741824 1073778376 140734257321536 140190080292840 140190733747621 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30804] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30804/stat : 30804 (java) S 30790 30792 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253319121 10060460032 553029 33554432000 1073741824 1073778376 140734257321536 140190079239928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30805] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30805/stat : 30805 (java) S 30790 30792 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253319121 10060460032 553029 33554432000 1073741824 1073778376 140734257321536 140190078187016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30806] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30806/stat : 30806 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319123 10060460032 553029 33554432000 1073741824 1073778376 140734257321536 140190077135504 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30807] ppid=30790 vsize=9824668 CPUtime=1.54 cores=0,2,4,6
/proc/30792/task/30807/stat : 30807 (java) S 30790 30792 30487 0 -1 4202560 13323 0 0 0 151 3 0 0 20 0 22 0 253319123 10060460032 553029 33554432000 1073741824 1073778376 140734257321536 140190076082616 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30808] ppid=30790 vsize=9824668 CPUtime=1.24 cores=0,2,4,6
/proc/30792/task/30808/stat : 30808 (java) S 30790 30792 30487 0 -1 4202560 9937 0 0 0 122 2 0 0 20 0 22 0 253319123 10060460032 553029 33554432000 1073741824 1073778376 140734257321536 140190075029816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30809] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30809/stat : 30809 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319123 10060460032 553029 33554432000 1073741824 1073778376 140734257321536 140190073977208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30810] ppid=30790 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/30792/task/30810/stat : 30810 (java) S 30790 30792 30487 0 -1 4202560 41 0 0 0 9 9 0 0 20 0 22 0 253319123 10060460032 553029 33554432000 1073741824 1073778376 140734257321536 140190072924616 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30826] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30826/stat : 30826 (java) S 30790 30792 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253319339 10060460032 553029 33554432000 1073741824 1073778376 140734257321536 140190068712232 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30839] ppid=30790 vsize=9824668 CPUtime=639.1 cores=0,2,4,6
/proc/30792/task/30839/stat : 30839 (java) S 30790 30792 30487 0 -1 4202560 71 0 0 0 63899 11 0 0 20 0 22 0 253324811 10060460032 553029 33554432000 1073741824 1073778376 140734257321536 140190069764696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30840] ppid=30790 vsize=9824668 CPUtime=639.15 cores=0,2,4,6
/proc/30792/task/30840/stat : 30840 (java) S 30790 30792 30487 0 -1 4202560 1062 0 0 0 63881 34 0 0 20 0 22 0 253324811 10060460032 553029 33554432000 1073741824 1073778376 140734257321536 140190070814824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30841] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30841/stat : 30841 (java) S 30790 30792 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253324811 10060460032 553029 33554432000 1073741824 1073778376 140734257321536 140190071870376 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1421.29
Current children cumulated vsize (KiB) 9824668

[startup+732.701 s]
/proc/loadavg: 3.98 3.66 2.21 4/216 30924
/proc/meminfo: memFree=25220728/32873648 swapFree=7104/7104
[pid=30792] ppid=30790 vsize=9824668 CPUtime=1423.23 cores=0,2,4,6
/proc/30792/stat : 30792 (java) S 30790 30792 30487 0 -1 4202496 35613 0 1 0 142203 120 0 0 20 0 19 0 253319117 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140734257312672 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30792/statm: 2456167 554555 2281 9 0 2446860 0
[pid=30792/tid=30794] ppid=30790 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/30792/task/30794/stat : 30794 (java) R 30790 30792 30487 0 -1 4202560 2509 0 1 0 46 2 0 0 20 0 19 0 253319118 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190725980952 140190569181488 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30795] ppid=30790 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/30792/task/30795/stat : 30795 (java) S 30790 30792 30487 0 -1 4202560 660 0 0 0 101 2 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190687472680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30792/tid=30796] ppid=30790 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/30792/task/30796/stat : 30796 (java) S 30790 30792 30487 0 -1 4202560 541 0 0 0 94 3 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190686419880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30792/tid=30797] ppid=30790 vsize=9824668 CPUtime=0.91 cores=0,2,4,6
/proc/30792/task/30797/stat : 30797 (java) S 30790 30792 30487 0 -1 4202560 390 0 0 0 89 2 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190567885608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30798] ppid=30790 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/30792/task/30798/stat : 30798 (java) S 30790 30792 30487 0 -1 4202560 700 0 0 0 93 3 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190566832808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30799] ppid=30790 vsize=9824668 CPUtime=1.04 cores=0,2,4,6
/proc/30792/task/30799/stat : 30799 (java) S 30790 30792 30487 0 -1 4202560 488 0 0 0 100 4 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190565780008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30800] ppid=30790 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/30792/task/30800/stat : 30800 (java) S 30790 30792 30487 0 -1 4202560 497 0 0 0 100 3 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190564727208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30801] ppid=30790 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/30792/task/30801/stat : 30801 (java) S 30790 30792 30487 0 -1 4202560 528 0 0 0 93 3 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190563674408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30802] ppid=30790 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/30792/task/30802/stat : 30802 (java) S 30790 30792 30487 0 -1 4202560 314 0 0 0 97 4 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190562621608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30803] ppid=30790 vsize=9824668 CPUtime=41.35 cores=0,2,4,6
/proc/30792/task/30803/stat : 30803 (java) S 30790 30792 30487 0 -1 4202560 2882 0 0 0 4119 16 0 0 20 0 19 0 253319120 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190080293864 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30804] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30804/stat : 30804 (java) S 30790 30792 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253319121 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190079239928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30805] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30805/stat : 30805 (java) S 30790 30792 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319121 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190078187016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30806] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30806/stat : 30806 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319123 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190077135504 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30807] ppid=30790 vsize=9824668 CPUtime=1.54 cores=0,2,4,6
/proc/30792/task/30807/stat : 30807 (java) S 30790 30792 30487 0 -1 4202560 13323 0 0 0 151 3 0 0 20 0 19 0 253319123 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190076082616 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30808] ppid=30790 vsize=9824668 CPUtime=1.24 cores=0,2,4,6
/proc/30792/task/30808/stat : 30808 (java) S 30790 30792 30487 0 -1 4202560 9938 0 0 0 122 2 0 0 20 0 19 0 253319123 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190075029816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30809] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30809/stat : 30809 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319123 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190073977208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30810] ppid=30790 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/30792/task/30810/stat : 30810 (java) S 30790 30792 30487 0 -1 4202560 41 0 0 0 9 9 0 0 20 0 19 0 253319123 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190072924616 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30826] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30826/stat : 30826 (java) S 30790 30792 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253319339 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190068712232 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1423.23
Current children cumulated vsize (KiB) 9824668

[startup+733.101 s]
/proc/loadavg: 3.98 3.66 2.21 4/216 30924
/proc/meminfo: memFree=25220728/32873648 swapFree=7104/7104
[pid=30792] ppid=30790 vsize=9824668 CPUtime=1423.63 cores=0,2,4,6
/proc/30792/stat : 30792 (java) S 30790 30792 30487 0 -1 4202496 35613 0 1 0 142243 120 0 0 20 0 19 0 253319117 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140734257312672 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30792/statm: 2456167 554555 2281 9 0 2446860 0
[pid=30792/tid=30794] ppid=30790 vsize=9824668 CPUtime=0.88 cores=0,2,4,6
/proc/30792/task/30794/stat : 30794 (java) R 30790 30792 30487 0 -1 4202560 2509 0 1 0 86 2 0 0 20 0 19 0 253319118 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190725980952 140190569181535 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30795] ppid=30790 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/30792/task/30795/stat : 30795 (java) S 30790 30792 30487 0 -1 4202560 660 0 0 0 101 2 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190687472680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30792/tid=30796] ppid=30790 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/30792/task/30796/stat : 30796 (java) S 30790 30792 30487 0 -1 4202560 541 0 0 0 94 3 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190686419880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30792/tid=30797] ppid=30790 vsize=9824668 CPUtime=0.91 cores=0,2,4,6
/proc/30792/task/30797/stat : 30797 (java) S 30790 30792 30487 0 -1 4202560 390 0 0 0 89 2 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190567885608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30798] ppid=30790 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/30792/task/30798/stat : 30798 (java) S 30790 30792 30487 0 -1 4202560 700 0 0 0 93 3 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190566832808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30799] ppid=30790 vsize=9824668 CPUtime=1.04 cores=0,2,4,6
/proc/30792/task/30799/stat : 30799 (java) S 30790 30792 30487 0 -1 4202560 488 0 0 0 100 4 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190565780008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30800] ppid=30790 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/30792/task/30800/stat : 30800 (java) S 30790 30792 30487 0 -1 4202560 497 0 0 0 100 3 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190564727208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30801] ppid=30790 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/30792/task/30801/stat : 30801 (java) S 30790 30792 30487 0 -1 4202560 528 0 0 0 93 3 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190563674408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30802] ppid=30790 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/30792/task/30802/stat : 30802 (java) S 30790 30792 30487 0 -1 4202560 314 0 0 0 97 4 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190562621608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30803] ppid=30790 vsize=9824668 CPUtime=41.35 cores=0,2,4,6
/proc/30792/task/30803/stat : 30803 (java) S 30790 30792 30487 0 -1 4202560 2882 0 0 0 4119 16 0 0 20 0 19 0 253319120 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190080293864 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30804] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30804/stat : 30804 (java) S 30790 30792 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253319121 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190079239928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30805] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30805/stat : 30805 (java) S 30790 30792 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319121 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190078187016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30806] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30806/stat : 30806 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319123 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190077135504 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30807] ppid=30790 vsize=9824668 CPUtime=1.54 cores=0,2,4,6
/proc/30792/task/30807/stat : 30807 (java) S 30790 30792 30487 0 -1 4202560 13323 0 0 0 151 3 0 0 20 0 19 0 253319123 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190076082616 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30808] ppid=30790 vsize=9824668 CPUtime=1.24 cores=0,2,4,6
/proc/30792/task/30808/stat : 30808 (java) S 30790 30792 30487 0 -1 4202560 9938 0 0 0 122 2 0 0 20 0 19 0 253319123 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190075029816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30809] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30809/stat : 30809 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319123 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190073977208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30810] ppid=30790 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/30792/task/30810/stat : 30810 (java) S 30790 30792 30487 0 -1 4202560 41 0 0 0 9 9 0 0 20 0 19 0 253319123 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190072924616 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30826] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30826/stat : 30826 (java) S 30790 30792 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253319339 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190068712232 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1423.63
Current children cumulated vsize (KiB) 9824668

[startup+733.501 s]
/proc/loadavg: 3.98 3.66 2.21 4/216 30924
/proc/meminfo: memFree=25220728/32873648 swapFree=7104/7104
[pid=30792] ppid=30790 vsize=9824668 CPUtime=1424.04 cores=0,2,4,6
/proc/30792/stat : 30792 (java) S 30790 30792 30487 0 -1 4202496 35613 0 1 0 142284 120 0 0 20 0 19 0 253319117 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140734257312672 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30792/statm: 2456167 554555 2281 9 0 2446860 0
[pid=30792/tid=30794] ppid=30790 vsize=9824668 CPUtime=1.28 cores=0,2,4,6
/proc/30792/task/30794/stat : 30794 (java) R 30790 30792 30487 0 -1 4202560 2509 0 1 0 126 2 0 0 20 0 19 0 253319118 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190725980840 140190568997965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30795] ppid=30790 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/30792/task/30795/stat : 30795 (java) S 30790 30792 30487 0 -1 4202560 660 0 0 0 101 2 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190687472680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30792/tid=30796] ppid=30790 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/30792/task/30796/stat : 30796 (java) S 30790 30792 30487 0 -1 4202560 541 0 0 0 94 3 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190686419880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30792/tid=30797] ppid=30790 vsize=9824668 CPUtime=0.91 cores=0,2,4,6
/proc/30792/task/30797/stat : 30797 (java) S 30790 30792 30487 0 -1 4202560 390 0 0 0 89 2 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190567885608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30798] ppid=30790 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/30792/task/30798/stat : 30798 (java) S 30790 30792 30487 0 -1 4202560 700 0 0 0 93 3 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190566832808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30799] ppid=30790 vsize=9824668 CPUtime=1.04 cores=0,2,4,6
/proc/30792/task/30799/stat : 30799 (java) S 30790 30792 30487 0 -1 4202560 488 0 0 0 100 4 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190565780008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30800] ppid=30790 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/30792/task/30800/stat : 30800 (java) S 30790 30792 30487 0 -1 4202560 497 0 0 0 100 3 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190564727208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30801] ppid=30790 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/30792/task/30801/stat : 30801 (java) S 30790 30792 30487 0 -1 4202560 528 0 0 0 93 3 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190563674408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30802] ppid=30790 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/30792/task/30802/stat : 30802 (java) S 30790 30792 30487 0 -1 4202560 314 0 0 0 97 4 0 0 20 0 19 0 253319119 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190562621608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30803] ppid=30790 vsize=9824668 CPUtime=41.35 cores=0,2,4,6
/proc/30792/task/30803/stat : 30803 (java) S 30790 30792 30487 0 -1 4202560 2882 0 0 0 4119 16 0 0 20 0 19 0 253319120 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190080293864 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30804] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30804/stat : 30804 (java) S 30790 30792 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253319121 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190079239928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30805] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30805/stat : 30805 (java) S 30790 30792 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319121 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190078187016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30806] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30806/stat : 30806 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319123 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190077135504 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30792/tid=30807] ppid=30790 vsize=9824668 CPUtime=1.54 cores=0,2,4,6
/proc/30792/task/30807/stat : 30807 (java) S 30790 30792 30487 0 -1 4202560 13323 0 0 0 151 3 0 0 20 0 19 0 253319123 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190076082616 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30808] ppid=30790 vsize=9824668 CPUtime=1.26 cores=0,2,4,6
/proc/30792/task/30808/stat : 30808 (java) S 30790 30792 30487 0 -1 4202560 9938 0 0 0 124 2 0 0 20 0 19 0 253319123 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190075029816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30809] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30809/stat : 30809 (java) S 30790 30792 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319123 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190073977208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30792/tid=30810] ppid=30790 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/30792/task/30810/stat : 30810 (java) S 30790 30792 30487 0 -1 4202560 41 0 0 0 9 9 0 0 20 0 19 0 253319123 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190072924616 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30792/tid=30826] ppid=30790 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/30792/task/30826/stat : 30826 (java) S 30790 30792 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253319339 10060460032 554555 33554432000 1073741824 1073778376 140734257321536 140190068712232 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1424.04
Current children cumulated vsize (KiB) 9824668

Child status: 30
Real time (s): 733.525
CPU time (s): 1424.17
CPU user time (s): 1422.8
CPU system time (s): 1.36979
CPU usage (%): 194.154
Max. virtual memory (cumulated for all children) (KiB): 9826280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1422.8
system time used= 1.36979
maximum resident set size= 2320584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35623
page faults= 1
swaps= 0
block input operations= 0
block output operations= 768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24248
involuntary context switches= 23707

runsolver used 1.9587 second user time and 4.22236 second system time

The end

Launcher Data 

Begin job on node127 at 2012-05-24 17:05:37
IDJOB=3687528
IDBENCH=1858
IDSOLVER=2268
FILE ID=node127/3687528-1337871937
RUNJOBID= node127-1337871880-30503
PBS_JOBID= 14620077
Free space on /tmp= 71672 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687528-1337871937/watcher-3687528-1337871937 -o /tmp/evaluation-result-3687528-1337871937/solver-3687528-1337871937 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687528-1337871937.opb

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

MD5SUM BENCH= 303eaeab4b7ccd67c7fab31d13d20bc2
RANDOM SEED=1892324202

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28162260 kB
Buffers:          228796 kB
Cached:          2364940 kB
SwapCached:            0 kB
Active:          1699660 kB
Inactive:        2194784 kB
Active(anon):    1303188 kB
Inactive(anon):       96 kB
Active(file):     396472 kB
Inactive(file):  2194688 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2924 kB
Writeback:             0 kB
AnonPages:       1311664 kB
Mapped:            22612 kB
Shmem:               200 kB
Slab:             637836 kB
SReclaimable:      82152 kB
SUnreclaim:       555684 kB
KernelStack:        1784 kB
PageTables:         6784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2604704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1247232 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71672 MiB
End job on node127 at 2012-05-24 17:17:50