Trace number 3688518

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)18 1800.06 951.04

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir02_area_opers.opb
MD5SUM918383404e7b51b9b3205c84ccd5b510
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark0.037994
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of variables1464
Total number of constraints2689
Number of constraints which are clauses2689
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 759
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 759
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 759
Number of bits of the biggest sum of numbers10
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.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3688518-1337878228.opb
0.08/0.13	c reading problem ... 
0.46/0.32	c ... done. Wall clock time 0.187s.
0.46/0.32	c declared #vars     1464
0.46/0.32	c #constraints  2689
0.46/0.32	c constraints type 
0.46/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 712
0.46/0.32	c org.sat4j.minisat.constraints.cnf.UnitClause => 3
0.46/0.32	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1974
0.46/0.32	c 2689 constraints processed.
0.46/0.32	c constraints type 
0.46/0.32	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1974
0.46/0.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 712
0.46/0.32	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
0.46/0.32	c 2689 constraints processed.
0.46/0.32	c objective function length is 759 literals
0.46/0.35	c  And the winner is solver0
0.62/0.82	c SATISFIABLE
0.62/0.82	c OPTIMIZING...
0.62/0.82	c Got one! Elapsed wall clock time (in seconds):0.69
0.62/0.82	o 26
0.62/0.84	c  And the winner is solver0
0.74/1.33	c Got one! Elapsed wall clock time (in seconds):1.197
0.74/1.33	o 25
0.74/1.39	c  And the winner is solver0
1.03/1.83	c Got one! Elapsed wall clock time (in seconds):1.701
1.03/1.83	o 24
3.04/2.49	c  And the winner is solver1
3.32/2.84	c Got one! Elapsed wall clock time (in seconds):2.705
3.32/2.84	o 23
3.50/2.98	c cleaning 3007 clauses out of 6013 with flag 1000/6013
5.28/3.70	c cleaning 4489 clauses out of 9006 with flag 7000/12013
6.87/4.51	c cleaning 5756 clauses out of 11517 with flag 14000/19013
6.87/4.57	c  And the winner is solver1
6.98/4.84	c Got one! Elapsed wall clock time (in seconds):4.709
6.98/4.84	o 22
8.13/5.41	c cleaning 5447 clauses out of 10894 with flag 5000/24146
9.52/6.18	c cleaning 5723 clauses out of 11447 with flag 11000/30146
11.28/7.02	c cleaning 6358 clauses out of 12724 with flag 18000/37146
12.23/7.52	c  And the winner is solver1
12.26/7.84	c Got one! Elapsed wall clock time (in seconds):7.711
12.26/7.84	o 21
12.57/8.07	c cleaning 6134 clauses out of 12281 with flag 2000/43061
13.91/8.76	c cleaning 6070 clauses out of 12148 with flag 8001/49062
15.60/9.61	c cleaning 6526 clauses out of 13077 with flag 15000/56061
17.49/10.55	c cleaning 7268 clauses out of 14551 with flag 23000/64061
18.81/11.23	c  And the winner is solver1
18.89/11.38	c Got one! Elapsed wall clock time (in seconds):11.249
18.89/11.38	o 20
19.94/11.97	c cleaning 8852 clauses out of 17709 with flag 5000/74487
21.46/12.78	c cleaning 7429 clauses out of 14857 with flag 11000/80487
23.33/13.77	c cleaning 7186 clauses out of 14428 with flag 18000/87487
25.24/14.79	c cleaning 7620 clauses out of 15242 with flag 26000/95487
26.54/15.41	c  And the winner is solver1
26.54/15.45	c Got one! Elapsed wall clock time (in seconds):15.315
26.54/15.45	o 19
26.63/15.57	c cleaning 6421 clauses out of 12847 with flag 1000/100712
28.12/16.32	c cleaning 6214 clauses out of 12427 with flag 7001/106713
29.74/17.23	c cleaning 6604 clauses out of 13212 with flag 14000/113712
31.81/18.30	c cleaning 7280 clauses out of 14608 with flag 22000/121712
34.09/19.53	c cleaning 8164 clauses out of 16328 with flag 31000/130712
36.79/20.95	c cleaning 9077 clauses out of 18165 with flag 41001/140713
39.76/22.59	c cleaning 10033 clauses out of 20087 with flag 52000/151712
43.01/24.26	c cleaning 11023 clauses out of 22054 with flag 64000/163712
46.60/26.11	c cleaning 12002 clauses out of 24031 with flag 77000/176712
50.20/28.00	c cleaning 12991 clauses out of 26029 with flag 91000/190712
54.33/30.23	c cleaning 13970 clauses out of 28038 with flag 106000/205712
58.50/32.41	c cleaning 15025 clauses out of 30068 with flag 122000/221712
62.87/34.72	c cleaning 16003 clauses out of 32043 with flag 139000/238712
67.41/37.11	c cleaning 16992 clauses out of 34041 with flag 157001/256713
72.40/39.89	c cleaning 17987 clauses out of 36048 with flag 176000/275712
77.72/42.62	c cleaning 19022 clauses out of 38061 with flag 196000/295712
83.23/45.52	c cleaning 19993 clauses out of 40039 with flag 217000/316712
89.14/48.65	c cleaning 20979 clauses out of 42046 with flag 239000/338712
95.63/52.10	c cleaning 22017 clauses out of 44067 with flag 262000/361712
101.89/55.41	c cleaning 23013 clauses out of 46051 with flag 286001/385713
108.72/59.02	c cleaning 24017 clauses out of 48038 with flag 311001/410713
110.14/59.97	c  And the winner is solver1
110.09/60.47	c Got one! Elapsed wall clock time (in seconds):60.34
110.09/60.47	o 18
110.35/60.63	c cleaning 14683 clauses out of 29376 with flag 1000/416068
112.31/61.93	c cleaning 10343 clauses out of 20694 with flag 7001/422069
114.10/63.08	c cleaning 8669 clauses out of 17350 with flag 14000/429068
116.30/64.39	c cleaning 8319 clauses out of 16681 with flag 22000/437068
118.88/65.90	c cleaning 8682 clauses out of 17364 with flag 31002/446070
121.82/67.68	c cleaning 9314 clauses out of 18680 with flag 41000/456068
124.82/69.38	c cleaning 10171 clauses out of 20366 with flag 52000/467068
128.18/71.26	c cleaning 11080 clauses out of 22195 with flag 64000/479068
131.75/73.24	c cleaning 12032 clauses out of 24115 with flag 77000/492068
135.87/75.63	c cleaning 13020 clauses out of 26083 with flag 91000/506068
139.80/77.88	c cleaning 14008 clauses out of 28063 with flag 106000/521068
144.17/80.29	c cleaning 15016 clauses out of 30055 with flag 122000/537068
148.70/82.79	c cleaning 16008 clauses out of 32040 with flag 139001/554069
153.78/85.66	c cleaning 17002 clauses out of 34031 with flag 157000/572068
158.90/88.47	c cleaning 18012 clauses out of 36030 with flag 176001/591069
164.62/91.51	c cleaning 18974 clauses out of 38017 with flag 196000/611068
170.32/94.61	c cleaning 20001 clauses out of 40043 with flag 217000/632068
176.70/98.21	c cleaning 21019 clauses out of 42042 with flag 239000/654068
182.78/101.57	c cleaning 21986 clauses out of 44023 with flag 262000/677068
189.86/105.32	c cleaning 23017 clauses out of 46038 with flag 286001/701069
197.33/109.38	c cleaning 23992 clauses out of 48020 with flag 311000/726068
205.52/113.80	c cleaning 25014 clauses out of 50028 with flag 337000/752068
213.44/118.05	c cleaning 25972 clauses out of 52014 with flag 364000/779068
221.29/122.25	c cleaning 27004 clauses out of 54043 with flag 392001/807069
229.12/126.45	c cleaning 28004 clauses out of 56038 with flag 421000/836068
238.02/131.38	c cleaning 29005 clauses out of 58034 with flag 451000/866068
246.84/136.08	c cleaning 30005 clauses out of 60029 with flag 482000/897068
256.45/141.12	c cleaning 31010 clauses out of 62025 with flag 514001/929069
265.82/146.16	c cleaning 31991 clauses out of 64014 with flag 547000/962068
276.26/151.83	c cleaning 32957 clauses out of 66023 with flag 581000/996068
286.22/157.17	c cleaning 33996 clauses out of 68066 with flag 616000/1031068
297.18/162.99	c cleaning 35025 clauses out of 70072 with flag 652002/1067070
308.14/168.77	c cleaning 35989 clauses out of 72045 with flag 689000/1104068
319.93/175.10	c cleaning 36990 clauses out of 74056 with flag 727000/1142068
330.88/180.90	c cleaning 38022 clauses out of 76067 with flag 766001/1181069
341.60/186.63	c cleaning 38997 clauses out of 78044 with flag 806000/1221068
352.36/192.36	c cleaning 40005 clauses out of 80047 with flag 847000/1262068
365.57/199.97	c cleaning 41020 clauses out of 82042 with flag 889000/1304068
378.23/206.54	c cleaning 41996 clauses out of 84022 with flag 932000/1347068
391.94/213.70	c cleaning 43003 clauses out of 86026 with flag 976000/1391068
406.62/221.62	c cleaning 44005 clauses out of 88023 with flag 1021000/1436068
421.66/229.51	c cleaning 45005 clauses out of 90018 with flag 1067000/1482068
437.17/237.65	c cleaning 46000 clauses out of 92013 with flag 1114000/1529068
453.25/246.06	c cleaning 46993 clauses out of 94013 with flag 1162000/1577068
469.46/254.74	c cleaning 48007 clauses out of 96020 with flag 1211000/1626068
486.54/263.68	c cleaning 49007 clauses out of 98013 with flag 1261000/1676068
504.23/272.84	c cleaning 49997 clauses out of 100006 with flag 1312000/1727068
521.24/281.79	c cleaning 50996 clauses out of 102009 with flag 1364000/1779068
539.34/291.48	c cleaning 51975 clauses out of 104013 with flag 1417000/1832068
557.75/301.02	c cleaning 52998 clauses out of 106038 with flag 1471000/1886068
574.34/309.76	c cleaning 53997 clauses out of 108040 with flag 1526000/1941068
590.68/318.38	c cleaning 55000 clauses out of 110043 with flag 1582000/1997068
607.70/327.54	c cleaning 55995 clauses out of 112045 with flag 1639002/2054070
623.82/336.03	c cleaning 57016 clauses out of 114048 with flag 1697000/2112068
639.54/344.33	c cleaning 58007 clauses out of 116032 with flag 1756000/2171068
655.81/352.92	c cleaning 58992 clauses out of 118025 with flag 1816000/2231068
672.79/362.16	c cleaning 59991 clauses out of 120033 with flag 1877000/2292068
689.29/370.87	c cleaning 60995 clauses out of 122042 with flag 1939000/2354068
706.19/379.74	c cleaning 61985 clauses out of 124047 with flag 2002000/2417068
724.91/389.50	c cleaning 63004 clauses out of 126062 with flag 2066000/2481068
744.30/399.90	c cleaning 64004 clauses out of 128058 with flag 2131000/2546068
762.39/409.46	c cleaning 65000 clauses out of 130054 with flag 2197000/2612068
780.07/418.71	c cleaning 66020 clauses out of 132054 with flag 2264000/2679068
798.16/428.27	c cleaning 66983 clauses out of 134035 with flag 2332001/2747069
820.67/440.22	c cleaning 68020 clauses out of 136051 with flag 2401000/2816068
842.54/451.66	c cleaning 69016 clauses out of 138032 with flag 2471001/2886069
863.21/462.43	c cleaning 69990 clauses out of 140015 with flag 2542000/2957068
884.87/473.77	c cleaning 71010 clauses out of 142025 with flag 2614000/3029068
906.59/485.31	c cleaning 71988 clauses out of 144015 with flag 2687000/3102068
928.25/496.62	c cleaning 72971 clauses out of 146027 with flag 2761000/3176068
949.31/507.62	c cleaning 74006 clauses out of 148057 with flag 2836001/3251069
971.39/519.15	c cleaning 75012 clauses out of 150050 with flag 2912000/3327068
994.14/531.29	c cleaning 76010 clauses out of 152038 with flag 2989000/3404068
1016.78/543.08	c cleaning 77004 clauses out of 154028 with flag 3067000/3482068
1038.83/554.59	c cleaning 77999 clauses out of 156025 with flag 3146001/3561069
1060.87/566.06	c cleaning 78993 clauses out of 158025 with flag 3226000/3641068
1085.18/578.95	c cleaning 79996 clauses out of 160032 with flag 3307000/3722068
1108.85/591.21	c cleaning 80968 clauses out of 162036 with flag 3389000/3804068
1132.86/603.71	c cleaning 81994 clauses out of 164068 with flag 3472000/3887068
1155.51/615.57	c cleaning 83016 clauses out of 166074 with flag 3556000/3971068
1182.26/630.41	c cleaning 84005 clauses out of 168058 with flag 3641000/4056068
1208.48/643.99	c cleaning 85019 clauses out of 170055 with flag 3727002/4142070
1234.90/657.65	c cleaning 85996 clauses out of 172034 with flag 3814000/4229068
1261.96/671.97	c cleaning 87002 clauses out of 174039 with flag 3902001/4317069
1288.57/685.74	c cleaning 87997 clauses out of 176036 with flag 3991000/4406068
1319.24/701.58	c cleaning 89020 clauses out of 178039 with flag 4081000/4496068
1350.26/717.58	c cleaning 89998 clauses out of 180021 with flag 4172002/4587070
1381.51/733.99	c cleaning 90993 clauses out of 182021 with flag 4264000/4679068
1409.48/748.41	c cleaning 92010 clauses out of 184029 with flag 4357001/4772069
1443.18/765.78	c cleaning 93004 clauses out of 186021 with flag 4451003/4866071
1479.18/784.17	c cleaning 93985 clauses out of 188016 with flag 4546002/4961070
1510.45/800.53	c cleaning 94992 clauses out of 190029 with flag 4642000/5057068
1542.78/817.10	c cleaning 96014 clauses out of 192038 with flag 4739001/5154069
1573.45/832.98	c cleaning 96997 clauses out of 194023 with flag 4837000/5252068
1605.12/849.28	c cleaning 98006 clauses out of 196026 with flag 4936000/5351068
1637.40/866.24	c cleaning 98986 clauses out of 198020 with flag 5036000/5451068
1669.86/882.91	c cleaning 99992 clauses out of 200034 with flag 5137000/5552068
1706.66/901.86	c cleaning 101003 clauses out of 202042 with flag 5239000/5654068
1744.02/921.04	c cleaning 101994 clauses out of 204039 with flag 5342000/5757068
1780.83/940.37	c cleaning 0 clauses out of 6309 with flag 0/6310
1785.84/943.36	c cleaning 103016 clauses out of 206046 with flag 5446001/5861069
1800.01/951.01	c starts		: 36
1800.01/951.01	c conflicts		: 6417
1800.01/951.01	c decisions		: 126868
1800.01/951.01	c propagations		: 1005096
1800.01/951.01	c inspects		: 193939184
1800.01/951.01	c shortcuts		: 0
1800.01/951.01	c learnt literals	: 0
1800.01/951.01	c learnt binary clauses	: 0
1800.01/951.01	c learnt ternary clauses	: 0
1800.01/951.01	c learnt constraints	: 6415
1800.01/951.01	c ignored constraints	: 0
1800.01/951.01	c root simplifications	: 0
1800.01/951.01	c removed literals (reason simplification)	: 0
1800.01/951.01	c reason swapping (by a shorter reason)	: 0
1800.01/951.01	c Calls to reduceDB	: 1
1800.01/951.01	c number of reductions to clauses (during analyze)	: 0
1800.01/951.01	c number of learned constraints concerned by reduction	: 0
1800.01/951.01	c number of learning phase by resolution	: 0
1800.01/951.01	c number of learning phase by cutting planes	: 0
1800.01/951.01	c speed (assignments/second)	: 1058.914258261903
1800.01/951.01	c non guided choices	0
1800.01/951.01	c learnt constraints type 
1800.01/951.01	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 149
1800.01/951.01	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6266
1800.01/951.01	c constraints type 
1800.01/951.01	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 712
1800.01/951.01	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.01/951.01	c org.sat4j.minisat.constraints.cnf.UnitClause => 3
1800.01/951.01	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1974
1800.01/951.01	c 2690 constraints processed.
1800.01/951.01	c constraints type 
1800.01/951.01	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1974
1800.01/951.01	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 712
1800.01/951.01	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.01/951.01	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
1800.01/951.01	c 2690 constraints processed.
1800.01/951.01	s SATISFIABLE
1800.01/951.02	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 x1444 -x1445 -x1446 -x1447 -x1448 x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x1460 -x1461 x1462 x1463 x1464 
1800.01/951.02	c objective function=18
1800.01/951.02	c Total wall clock time (in seconds): 950.89

Verifier Data

OK	18

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-3688518-1337878228/watcher-3688518-1337878228 -o /tmp/evaluation-result-3688518-1337878228/solver-3688518-1337878228 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688518-1337878228.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: 4.00 3.98 3.88 4/198 27399
/proc/meminfo: memFree=27535352/32873844 swapFree=7612/7612
[pid=27399] ppid=27397 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/27399/stat : 27399 (java) D 27397 27399 25404 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 253947141 9515008 182 33554432000 1073741824 1073778376 140735155055760 140735155046792 251044642485 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/27399/statm: 2323 182 140 9 0 71 0

[startup+0.0894929 s]
/proc/loadavg: 4.00 3.98 3.88 4/198 27399
/proc/meminfo: memFree=27535352/32873844 swapFree=7612/7612
[pid=27399] ppid=27397 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/27399/stat : 27399 (java) S 27397 27399 25404 0 -1 4202496 3332 0 1 0 6 1 0 0 20 0 18 0 253947141 9787813888 4542 33554432000 1073741824 1073778376 140734167803936 140734167795072 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27399/statm: 2389603 4542 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.100348 s]
/proc/loadavg: 4.00 3.98 3.88 4/198 27399
/proc/meminfo: memFree=27535352/32873844 swapFree=7612/7612
[pid=27399] ppid=27397 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/27399/stat : 27399 (java) S 27397 27399 25404 0 -1 4202496 3931 0 1 0 7 1 0 0 20 0 18 0 253947141 9787813888 5134 33554432000 1073741824 1073778376 140734167803936 140734167795072 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27399/statm: 2389603 5139 2035 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300295 s]
/proc/loadavg: 4.00 3.98 3.88 4/198 27399
/proc/meminfo: memFree=27535352/32873844 swapFree=7612/7612
[pid=27399] ppid=27397 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/27399/stat : 27399 (java) S 27397 27399 25404 0 -1 4202496 5325 0 1 0 45 1 0 0 20 0 18 0 253947141 9787813888 7849 33554432000 1073741824 1073778376 140734167803936 140734167795072 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27399/statm: 2389603 7849 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412

[startup+0.700257 s]
/proc/loadavg: 4.00 3.98 3.88 4/198 27399
/proc/meminfo: memFree=27535352/32873844 swapFree=7612/7612
[pid=27399] ppid=27397 vsize=9824668 CPUtime=0.62 cores=1,3,5,7
/proc/27399/stat : 27399 (java) S 27397 27399 25404 0 -1 4202496 5675 0 1 0 59 3 0 0 20 0 19 0 253947141 10060460032 9448 33554432000 1073741824 1073778376 140734167803936 140734167795072 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27399/statm: 2456167 9448 2235 9 0 2446860 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 9824668

[startup+1.5007 s]
/proc/loadavg: 4.00 3.98 3.88 3/217 27424
/proc/meminfo: memFree=27499348/32873844 swapFree=7612/7612
[pid=27399] ppid=27397 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/27399/stat : 27399 (java) S 27397 27399 25404 0 -1 4202496 8807 0 1 0 95 8 0 0 20 0 19 0 253947141 10060460032 13580 33554432000 1073741824 1073778376 140734167803936 140734167795072 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27399/statm: 2456167 13580 2240 9 0 2446860 0
[pid=27399/tid=27401] ppid=27397 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/27399/task/27401/stat : 27401 (java) S 27397 27399 25404 0 -1 4202560 2460 0 1 0 29 0 0 0 20 0 19 0 253947142 10060460032 13580 33554432000 1073741824 1073778376 140734167803936 139985816458232 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27402] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27402/stat : 27402 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253947143 10060460032 13580 33554432000 1073741824 1073778376 140734167803936 139985805519016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27403] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27403/stat : 27403 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253947143 10060460032 13580 33554432000 1073741824 1073778376 140734167803936 139985804466472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27404] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27404/stat : 27404 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253947143 10060460032 13580 33554432000 1073741824 1073778376 140734167803936 139985803413928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27399/tid=27405] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27405/stat : 27405 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253947143 10060460032 13580 33554432000 1073741824 1073778376 140734167803936 139985656953384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27406] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27406/stat : 27406 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253947143 10060460032 13580 33554432000 1073741824 1073778376 140734167803936 139985655900840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27407] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27407/stat : 27407 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253947143 10060460032 13580 33554432000 1073741824 1073778376 140734167803936 139985654848296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27408] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27408/stat : 27408 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253947143 10060460032 13580 33554432000 1073741824 1073778376 140734167803936 139985653795752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27409] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27409/stat : 27409 (java) S 27397 27399 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253947143 10060460032 13580 33554432000 1073741824 1073778376 140734167803936 139985652743208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27410] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27410/stat : 27410 (java) S 27397 27399 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253947144 10060460032 13580 33554432000 1073741824 1073778376 140734167803936 139985640544360 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27411] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27411/stat : 27411 (java) S 27397 27399 25404 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253947145 10060460032 13580 33554432000 1073741824 1073778376 140734167803936 139985639490680 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27412] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27412/stat : 27412 (java) S 27397 27399 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253947145 10060460032 13580 33554432000 1073741824 1073778376 140734167803936 139985638438024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27413] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27413/stat : 27413 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253947148 10060460032 13580 33554432000 1073741824 1073778376 140734167803936 139985637386768 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27414] ppid=27397 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/27399/task/27414/stat : 27414 (java) S 27397 27399 25404 0 -1 4202560 2050 0 0 0 23 0 0 0 20 0 19 0 253947148 10060460032 13580 33554432000 1073741824 1073778376 140734167803936 139985636334136 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27415] ppid=27397 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/27399/task/27415/stat : 27415 (java) S 27397 27399 25404 0 -1 4202560 2943 0 0 0 22 0 0 0 20 0 19 0 253947148 10060460032 13580 33554432000 1073741824 1073778376 140734167803936 139985635281592 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27416] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27416/stat : 27416 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253947148 10060460032 13580 33554432000 1073741824 1073778376 140734167803936 139985634229240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27417] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27417/stat : 27417 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253947148 10060460032 13580 33554432000 1073741824 1073778376 140734167803936 139985633176904 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27420] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27420/stat : 27420 (java) S 27397 27399 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253947174 10060460032 13580 33554432000 1073741824 1073778376 140734167803936 139985630016552 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 9824668

[startup+3.10069 s]
/proc/loadavg: 4.16 4.02 3.89 7/220 27430
/proc/meminfo: memFree=27459316/32873844 swapFree=7612/7612
[pid=27399] ppid=27397 vsize=9824668 CPUtime=3.99 cores=1,3,5,7
/proc/27399/stat : 27399 (java) S 27397 27399 25404 0 -1 4202496 17385 0 1 0 387 12 0 0 20 0 22 0 253947141 10060460032 32322 33554432000 1073741824 1073778376 140734167803936 140734167795072 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27399/statm: 2456167 32322 2278 9 0 2446860 0
[pid=27399/tid=27401] ppid=27397 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/27399/task/27401/stat : 27401 (java) S 27397 27399 25404 0 -1 4202560 2460 0 1 0 30 0 0 0 20 0 22 0 253947142 10060460032 32322 33554432000 1073741824 1073778376 140734167803936 139985816458232 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27402] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27402/stat : 27402 (java) S 27397 27399 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253947143 10060460032 32322 33554432000 1073741824 1073778376 140734167803936 139985805519016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27403] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27403/stat : 27403 (java) S 27397 27399 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253947143 10060460032 32322 33554432000 1073741824 1073778376 140734167803936 139985804466472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27404] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27404/stat : 27404 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253947143 10060460032 32322 33554432000 1073741824 1073778376 140734167803936 139985803413928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27399/tid=27405] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27405/stat : 27405 (java) S 27397 27399 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253947143 10060460032 32322 33554432000 1073741824 1073778376 140734167803936 139985656953384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27406] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27406/stat : 27406 (java) S 27397 27399 25404 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253947143 10060460032 32322 33554432000 1073741824 1073778376 140734167803936 139985655900840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27407] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27407/stat : 27407 (java) S 27397 27399 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253947143 10060460032 32322 33554432000 1073741824 1073778376 140734167803936 139985654848296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27399/tid=27408] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27408/stat : 27408 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253947143 10060460032 32322 33554432000 1073741824 1073778376 140734167803936 139985653795752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27409] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27409/stat : 27409 (java) S 27397 27399 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253947143 10060460032 32322 33554432000 1073741824 1073778376 140734167803936 139985652743208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27410] ppid=27397 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/27399/task/27410/stat : 27410 (java) S 27397 27399 25404 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 22 0 253947144 10060460032 32322 33554432000 1073741824 1073778376 140734167803936 139985640544360 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27411] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27411/stat : 27411 (java) S 27397 27399 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253947145 10060460032 32322 33554432000 1073741824 1073778376 140734167803936 139985639490680 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27412] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27412/stat : 27412 (java) S 27397 27399 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253947145 10060460032 32322 33554432000 1073741824 1073778376 140734167803936 139985638438024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27413] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27413/stat : 27413 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253947148 10060460032 32322 33554432000 1073741824 1073778376 140734167803936 139985637386768 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27414] ppid=27397 vsize=9824668 CPUtime=0.72 cores=1,3,5,7
/proc/27399/task/27414/stat : 27414 (java) S 27397 27399 25404 0 -1 4202560 5059 0 0 0 72 0 0 0 20 0 22 0 253947148 10060460032 32322 33554432000 1073741824 1073778376 140734167803936 139985636334136 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27415] ppid=27397 vsize=9824668 CPUtime=0.89 cores=1,3,5,7
/proc/27399/task/27415/stat : 27415 (java) S 27397 27399 25404 0 -1 4202560 8419 0 0 0 87 2 0 0 20 0 22 0 253947148 10060460032 32322 33554432000 1073741824 1073778376 140734167803936 139985635281592 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27416] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27416/stat : 27416 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253947148 10060460032 32322 33554432000 1073741824 1073778376 140734167803936 139985634229240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27417] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27417/stat : 27417 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253947148 10060460032 32322 33554432000 1073741824 1073778376 140734167803936 139985633176904 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27430] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27430/stat : 27430 (java) S 27397 27399 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253947325 10060460032 32322 33554432000 1073741824 1073778376 140734167803936 139985631069480 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 9824668

[startup+6.30079 s]
/proc/loadavg: 4.16 4.02 3.89 6/220 27436
/proc/meminfo: memFree=27401408/32873844 swapFree=7612/7612
[pid=27399] ppid=27397 vsize=9824668 CPUtime=9.88 cores=1,3,5,7
/proc/27399/stat : 27399 (java) S 27397 27399 25404 0 -1 4202496 17481 0 1 0 972 16 0 0 20 0 22 0 253947141 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 140734167795072 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27399/statm: 2456167 36799 2279 9 0 2446860 0
[pid=27399/tid=27401] ppid=27397 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/27399/task/27401/stat : 27401 (java) S 27397 27399 25404 0 -1 4202560 2460 0 1 0 30 0 0 0 20 0 22 0 253947142 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985816458232 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27402] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27402/stat : 27402 (java) S 27397 27399 25404 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253947143 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985805519016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27403] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27403/stat : 27403 (java) S 27397 27399 25404 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253947143 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985804466472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27404] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27404/stat : 27404 (java) S 27397 27399 25404 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253947143 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985803413928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27405] ppid=27397 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/27399/task/27405/stat : 27405 (java) S 27397 27399 25404 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 253947143 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985656953384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27406] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27406/stat : 27406 (java) S 27397 27399 25404 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253947143 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985655900840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27407] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27407/stat : 27407 (java) S 27397 27399 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253947143 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985654848296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27408] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27408/stat : 27408 (java) S 27397 27399 25404 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253947143 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985653795752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27399/tid=27409] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27409/stat : 27409 (java) S 27397 27399 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253947143 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985652743208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27410] ppid=27397 vsize=9824668 CPUtime=0.2 cores=1,3,5,7
/proc/27399/task/27410/stat : 27410 (java) S 27397 27399 25404 0 -1 4202560 38 0 0 0 20 0 0 0 20 0 22 0 253947144 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985640544360 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27411] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27411/stat : 27411 (java) S 27397 27399 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253947145 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985639490680 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27412] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27412/stat : 27412 (java) S 27397 27399 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253947145 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985638438024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27413] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27413/stat : 27413 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253947148 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985637386768 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27414] ppid=27397 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/27399/task/27414/stat : 27414 (java) S 27397 27399 25404 0 -1 4202560 5114 0 0 0 88 0 0 0 20 0 22 0 253947148 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985636334136 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27415] ppid=27397 vsize=9824668 CPUtime=0.96 cores=1,3,5,7
/proc/27399/task/27415/stat : 27415 (java) S 27397 27399 25404 0 -1 4202560 8420 0 0 0 94 2 0 0 20 0 22 0 253947148 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985635281592 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27416] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27416/stat : 27416 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253947148 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985634229240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27417] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27417/stat : 27417 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253947148 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985633176904 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27430] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27430/stat : 27430 (java) S 27397 27399 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253947325 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985631069480 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27434] ppid=27397 vsize=9824668 CPUtime=1.28 cores=1,3,5,7
/proc/27399/task/27434/stat : 27434 (java) R 27397 27399 25404 0 -1 4202560 5 0 0 0 128 0 0 0 20 0 22 0 253947625 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985632120912 139985685110512 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=27399/tid=27435] ppid=27397 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/27399/task/27435/stat : 27435 (java) R 27397 27399 25404 0 -1 4202560 4 0 0 0 130 0 0 0 20 0 22 0 253947625 10060460032 36799 33554432000 1073741824 1073778376 140734167803936 139985628960880 139985685573864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0

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

[pid=27399/tid=27405] ppid=27397 vsize=9824668 CPUtime=1.62 cores=1,3,5,7
/proc/27399/task/27405/stat : 27405 (java) S 27397 27399 25404 0 -1 4202560 425 0 0 0 155 7 0 0 20 0 22 0 253947143 10060460032 619982 33554432000 1073741824 1073778376 140734167803936 139985656953384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27406] ppid=27397 vsize=9824668 CPUtime=1.65 cores=1,3,5,7
/proc/27399/task/27406/stat : 27406 (java) S 27397 27399 25404 0 -1 4202560 490 0 0 0 157 8 0 0 20 0 22 0 253947143 10060460032 619982 33554432000 1073741824 1073778376 140734167803936 139985655900840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27407] ppid=27397 vsize=9824668 CPUtime=1.56 cores=1,3,5,7
/proc/27399/task/27407/stat : 27407 (java) S 27397 27399 25404 0 -1 4202560 1597 0 0 0 149 7 0 0 20 0 22 0 253947143 10060460032 619982 33554432000 1073741824 1073778376 140734167803936 139985654848296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27408] ppid=27397 vsize=9824668 CPUtime=1.57 cores=1,3,5,7
/proc/27399/task/27408/stat : 27408 (java) S 27397 27399 25404 0 -1 4202560 393 0 0 0 150 7 0 0 20 0 22 0 253947143 10060460032 619982 33554432000 1073741824 1073778376 140734167803936 139985653795752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27409] ppid=27397 vsize=9824668 CPUtime=1.72 cores=1,3,5,7
/proc/27399/task/27409/stat : 27409 (java) S 27397 27399 25404 0 -1 4202560 658 0 0 0 165 7 0 0 20 0 22 0 253947143 10060460032 619982 33554432000 1073741824 1073778376 140734167803936 139985652743208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27410] ppid=27397 vsize=9824668 CPUtime=97.08 cores=1,3,5,7
/proc/27399/task/27410/stat : 27410 (java) S 27397 27399 25404 0 -1 4202560 3135 0 0 0 9688 20 0 0 20 0 22 0 253947144 10060460032 619982 33554432000 1073741824 1073778376 140734167803936 139985640544360 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27411] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27411/stat : 27411 (java) S 27397 27399 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253947145 10060460032 619982 33554432000 1073741824 1073778376 140734167803936 139985639490680 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27412] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27412/stat : 27412 (java) S 27397 27399 25404 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253947145 10060460032 619982 33554432000 1073741824 1073778376 140734167803936 139985638438024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27413] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27413/stat : 27413 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253947148 10060460032 619982 33554432000 1073741824 1073778376 140734167803936 139985637386768 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27414] ppid=27397 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/27399/task/27414/stat : 27414 (java) S 27397 27399 25404 0 -1 4202560 5123 0 0 0 108 0 0 0 20 0 22 0 253947148 10060460032 619982 33554432000 1073741824 1073778376 140734167803936 139985636334136 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27415] ppid=27397 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/27399/task/27415/stat : 27415 (java) S 27397 27399 25404 0 -1 4202560 8420 0 0 0 110 2 0 0 20 0 22 0 253947148 10060460032 619982 33554432000 1073741824 1073778376 140734167803936 139985635281592 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27416] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27416/stat : 27416 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253947148 10060460032 619982 33554432000 1073741824 1073778376 140734167803936 139985634229240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27417] ppid=27397 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/27399/task/27417/stat : 27417 (java) S 27397 27399 25404 0 -1 4202560 51 0 0 0 16 16 0 0 20 0 22 0 253947148 10060460032 619982 33554432000 1073741824 1073778376 140734167803936 139985633176904 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27430] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27430/stat : 27430 (java) S 27397 27399 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253947325 10060460032 619982 33554432000 1073741824 1073778376 140734167803936 139985631069480 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27447] ppid=27397 vsize=9824668 CPUtime=726.51 cores=1,3,5,7
/proc/27399/task/27447/stat : 27447 (java) R 27397 27399 25404 0 -1 4202560 41 0 0 0 72639 12 0 0 20 0 22 0 253953189 10060460032 619982 33554432000 1073741824 1073778376 140734167803936 139985628961616 139985685022514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27448] ppid=27397 vsize=9824668 CPUtime=726.41 cores=1,3,5,7
/proc/27399/task/27448/stat : 27448 (java) R 27397 27399 25404 0 -1 4202560 511 0 0 0 72616 25 0 0 20 0 22 0 253953189 10060460032 619982 33554432000 1073741824 1073778376 140734167803936 139985630015120 139985685511417 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27449] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27449/stat : 27449 (java) S 27397 27399 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253953189 10060460032 619982 33554432000 1073741824 1073778376 140734167803936 139985632122408 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1668.59
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 3.86 3.91 3.87 4/219 27690
/proc/meminfo: memFree=23149388/32873844 swapFree=7612/7612
[pid=27399] ppid=27397 vsize=9824668 CPUtime=1783.85 cores=1,3,5,7
/proc/27399/stat : 27399 (java) S 27397 27399 25404 0 -1 4202496 29502 0 1 0 178239 146 0 0 20 0 22 0 253947141 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 140734167795072 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27399/statm: 2456167 661149 2280 9 0 2446860 0
[pid=27399/tid=27401] ppid=27397 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/27399/task/27401/stat : 27401 (java) S 27397 27399 25404 0 -1 4202560 2551 0 1 0 33 3 0 0 20 0 22 0 253947142 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985816458232 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27402] ppid=27397 vsize=9824668 CPUtime=1.82 cores=1,3,5,7
/proc/27399/task/27402/stat : 27402 (java) S 27397 27399 25404 0 -1 4202560 484 0 0 0 174 8 0 0 20 0 22 0 253947143 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985805519016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27399/tid=27403] ppid=27397 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/27399/task/27403/stat : 27403 (java) S 27397 27399 25404 0 -1 4202560 739 0 0 0 176 8 0 0 20 0 22 0 253947143 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985804466472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27404] ppid=27397 vsize=9824668 CPUtime=1.89 cores=1,3,5,7
/proc/27399/task/27404/stat : 27404 (java) S 27397 27399 25404 0 -1 4202560 402 0 0 0 180 9 0 0 20 0 22 0 253947143 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985803413928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27405] ppid=27397 vsize=9824668 CPUtime=1.79 cores=1,3,5,7
/proc/27399/task/27405/stat : 27405 (java) S 27397 27399 25404 0 -1 4202560 446 0 0 0 171 8 0 0 20 0 22 0 253947143 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985656953384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27399/tid=27406] ppid=27397 vsize=9824668 CPUtime=1.83 cores=1,3,5,7
/proc/27399/task/27406/stat : 27406 (java) S 27397 27399 25404 0 -1 4202560 509 0 0 0 175 8 0 0 20 0 22 0 253947143 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985655900840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27407] ppid=27397 vsize=9824668 CPUtime=1.78 cores=1,3,5,7
/proc/27399/task/27407/stat : 27407 (java) S 27397 27399 25404 0 -1 4202560 1632 0 0 0 170 8 0 0 20 0 22 0 253947143 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985654848296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27408] ppid=27397 vsize=9824668 CPUtime=1.69 cores=1,3,5,7
/proc/27399/task/27408/stat : 27408 (java) S 27397 27399 25404 0 -1 4202560 397 0 0 0 162 7 0 0 20 0 22 0 253947143 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985653795752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27409] ppid=27397 vsize=9824668 CPUtime=1.92 cores=1,3,5,7
/proc/27399/task/27409/stat : 27409 (java) S 27397 27399 25404 0 -1 4202560 673 0 0 0 184 8 0 0 20 0 22 0 253947143 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985652743208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27399/tid=27410] ppid=27397 vsize=9824668 CPUtime=102.72 cores=1,3,5,7
/proc/27399/task/27410/stat : 27410 (java) S 27397 27399 25404 0 -1 4202560 3281 0 0 0 10250 22 0 0 20 0 22 0 253947144 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985640544360 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27411] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27411/stat : 27411 (java) S 27397 27399 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253947145 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985639490680 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27412] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27412/stat : 27412 (java) S 27397 27399 25404 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253947145 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985638438024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27413] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27413/stat : 27413 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253947148 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985637386768 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27414] ppid=27397 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/27399/task/27414/stat : 27414 (java) S 27397 27399 25404 0 -1 4202560 7755 0 0 0 129 1 0 0 20 0 22 0 253947148 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985636334136 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27415] ppid=27397 vsize=9824668 CPUtime=1.16 cores=1,3,5,7
/proc/27399/task/27415/stat : 27415 (java) S 27397 27399 25404 0 -1 4202560 8420 0 0 0 114 2 0 0 20 0 22 0 253947148 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985635281592 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27416] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27416/stat : 27416 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253947148 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985634229240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27417] ppid=27397 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/27399/task/27417/stat : 27417 (java) S 27397 27399 25404 0 -1 4202560 55 0 0 0 17 18 0 0 20 0 22 0 253947148 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985633176904 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27430] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27430/stat : 27430 (java) S 27397 27399 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253947325 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985631069480 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27447] ppid=27397 vsize=9824668 CPUtime=780.34 cores=1,3,5,7
/proc/27399/task/27447/stat : 27447 (java) R 27397 27399 25404 0 -1 4202560 44 0 0 0 78022 12 0 0 20 0 22 0 253953189 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985628961488 139985685022592 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27448] ppid=27397 vsize=9824668 CPUtime=780.24 cores=1,3,5,7
/proc/27399/task/27448/stat : 27448 (java) R 27397 27399 25404 0 -1 4202560 514 0 0 0 77999 25 0 0 20 0 22 0 253953189 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985630016208 139985685511367 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=27399/tid=27449] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27449/stat : 27449 (java) S 27397 27399 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253953189 10060460032 661149 33554432000 1073741824 1073778376 140734167803936 139985632122408 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1783.85
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+951.001 s]
/proc/loadavg: 3.81 3.89 3.87 5/219 27690
/proc/meminfo: memFree=23101664/32873844 swapFree=7612/7612
[pid=27399] ppid=27397 vsize=9824668 CPUtime=1800.01 cores=1,3,5,7
/proc/27399/stat : 27399 (java) S 27397 27399 25404 0 -1 4202496 29525 0 1 0 179855 146 0 0 20 0 22 0 253947141 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 140734167795072 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27399/statm: 2456167 661668 2280 9 0 2446860 0
[pid=27399/tid=27401] ppid=27397 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/27399/task/27401/stat : 27401 (java) S 27397 27399 25404 0 -1 4202560 2551 0 1 0 33 3 0 0 20 0 22 0 253947142 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985816458232 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27402] ppid=27397 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/27399/task/27402/stat : 27402 (java) S 27397 27399 25404 0 -1 4202560 484 0 0 0 176 8 0 0 20 0 22 0 253947143 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985805519016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27403] ppid=27397 vsize=9824668 CPUtime=1.85 cores=1,3,5,7
/proc/27399/task/27403/stat : 27403 (java) S 27397 27399 25404 0 -1 4202560 739 0 0 0 177 8 0 0 20 0 22 0 253947143 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985804466472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27404] ppid=27397 vsize=9824668 CPUtime=1.9 cores=1,3,5,7
/proc/27399/task/27404/stat : 27404 (java) S 27397 27399 25404 0 -1 4202560 402 0 0 0 181 9 0 0 20 0 22 0 253947143 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985803413928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27405] ppid=27397 vsize=9824668 CPUtime=1.8 cores=1,3,5,7
/proc/27399/task/27405/stat : 27405 (java) S 27397 27399 25404 0 -1 4202560 446 0 0 0 172 8 0 0 20 0 22 0 253947143 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985656953384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27399/tid=27406] ppid=27397 vsize=9824668 CPUtime=1.83 cores=1,3,5,7
/proc/27399/task/27406/stat : 27406 (java) S 27397 27399 25404 0 -1 4202560 509 0 0 0 175 8 0 0 20 0 22 0 253947143 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985655900840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27407] ppid=27397 vsize=9824668 CPUtime=1.79 cores=1,3,5,7
/proc/27399/task/27407/stat : 27407 (java) S 27397 27399 25404 0 -1 4202560 1632 0 0 0 171 8 0 0 20 0 22 0 253947143 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985654848296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27408] ppid=27397 vsize=9824668 CPUtime=1.7 cores=1,3,5,7
/proc/27399/task/27408/stat : 27408 (java) S 27397 27399 25404 0 -1 4202560 397 0 0 0 163 7 0 0 20 0 22 0 253947143 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985653795752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27409] ppid=27397 vsize=9824668 CPUtime=1.93 cores=1,3,5,7
/proc/27399/task/27409/stat : 27409 (java) S 27397 27399 25404 0 -1 4202560 673 0 0 0 185 8 0 0 20 0 22 0 253947143 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985652743208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27399/tid=27410] ppid=27397 vsize=9824668 CPUtime=103.98 cores=1,3,5,7
/proc/27399/task/27410/stat : 27410 (java) S 27397 27399 25404 0 -1 4202560 3303 0 0 0 10376 22 0 0 20 0 22 0 253947144 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985640544360 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27411] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27411/stat : 27411 (java) S 27397 27399 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253947145 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985639490680 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27412] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27412/stat : 27412 (java) S 27397 27399 25404 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253947145 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985638438024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27413] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27413/stat : 27413 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253947148 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985637386768 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27414] ppid=27397 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/27399/task/27414/stat : 27414 (java) S 27397 27399 25404 0 -1 4202560 7755 0 0 0 129 1 0 0 20 0 22 0 253947148 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985636334136 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27415] ppid=27397 vsize=9824668 CPUtime=1.16 cores=1,3,5,7
/proc/27399/task/27415/stat : 27415 (java) S 27397 27399 25404 0 -1 4202560 8420 0 0 0 114 2 0 0 20 0 22 0 253947148 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985635281592 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27399/tid=27416] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27416/stat : 27416 (java) S 27397 27399 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253947148 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985634229240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27417] ppid=27397 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/27399/task/27417/stat : 27417 (java) S 27397 27399 25404 0 -1 4202560 55 0 0 0 18 18 0 0 20 0 22 0 253947148 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985633176904 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27430] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27430/stat : 27430 (java) S 27397 27399 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253947325 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985631069480 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27447] ppid=27397 vsize=9824668 CPUtime=787.73 cores=1,3,5,7
/proc/27399/task/27447/stat : 27447 (java) R 27397 27399 25404 0 -1 4202560 45 0 0 0 78761 12 0 0 20 0 22 0 253953189 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985628963408 139985685110323 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27399/tid=27448] ppid=27397 vsize=9824668 CPUtime=787.63 cores=1,3,5,7
/proc/27399/task/27448/stat : 27448 (java) R 27397 27399 25404 0 -1 4202560 514 0 0 0 78738 25 0 0 20 0 22 0 253953189 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985630014064 139985685759992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27399/tid=27449] ppid=27397 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27399/task/27449/stat : 27449 (java) S 27397 27399 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253953189 10060460032 661668 33554432000 1073741824 1073778376 140734167803936 139985632122408 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9824668

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 27399 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=248232
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=874715
# CPU time returned by wait4() is 1796.12
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.0500107
#  lost CPU user time (s): 0.0600052
#  lost CPU system time (s): -0.00999999

Real time (s): 951.04
CPU time (s): 1800.06
CPU user time (s): 1798.61
CPU system time (s): 1.45
CPU usage (%): 189.273
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.25
system time used= 1.87471
maximum resident set size= 2648772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29555
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27354
involuntary context switches= 36816

runsolver used 4.11237 second user time and 8.40272 second system time

The end

Launcher Data

Begin job on node143 at 2012-05-24 18:50:28
IDJOB=3688518
IDBENCH=25042
IDSOLVER=2268
FILE ID=node143/3688518-1337878228
RUNJOBID= node143-1337871881-25422
PBS_JOBID= 14620061
Free space on /tmp= 71516 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir02_area_opers.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688518-1337878228/watcher-3688518-1337878228 -o /tmp/evaluation-result-3688518-1337878228/solver-3688518-1337878228 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688518-1337878228.opb

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

MD5SUM BENCH= 918383404e7b51b9b3205c84ccd5b510
RANDOM SEED=698857102

node143.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.787
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	: 5333.57
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.787
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.787
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		: 2666.787
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.787
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.90
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.787
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	: 5298.57
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.787
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.787
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:        27535624 kB
Buffers:          223168 kB
Cached:          2556416 kB
SwapCached:            0 kB
Active:          2367088 kB
Inactive:        2188896 kB
Active(anon):    1778712 kB
Inactive(anon):        0 kB
Active(file):     588376 kB
Inactive(file):  2188896 kB
Unevictable:        7612 kB
Mlocked:            7612 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               484 kB
Writeback:             0 kB
AnonPages:       1783260 kB
Mapped:            22588 kB
Shmem:               200 kB
Slab:             639380 kB
SReclaimable:      81916 kB
SUnreclaim:       557464 kB
KernelStack:        1640 kB
PageTables:         7728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2071720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1697792 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= 71516 MiB
End job on node143 at 2012-05-24 19:06:21