Trace number 3710790

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotOPT5 586.408 582.804

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_30_30.r.opb
MD5SUM28e00d9d9bb0c4a536b74577b47a7849
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.399938
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses100
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 constraint30
Maximum length of a constraint30
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
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.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.03/0.09	c version 2.3.2.v20120418
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		501472288
0.03/0.09	c Max memory 		7480803328
0.03/0.09	c Total memory 		504102912
0.03/0.09	c Number of processors 	8
0.10/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.12	c configuring ORDERS
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=true
0.10/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3710790-1338153508.opb
0.10/0.12	c reading problem ... 
0.26/0.21	c ... done. Wall clock time 0.084s.
0.26/0.21	c declared #vars     100
0.26/0.21	c #constraints  100
0.26/0.21	c constraints type 
0.26/0.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.26/0.21	c 100 constraints processed.
0.26/0.21	c SATISFIABLE
0.26/0.21	c OPTIMIZING...
0.26/0.21	c Got one! Elapsed wall clock time (in seconds):0.089
0.26/0.21	o 9
0.26/0.22	c Got one! Elapsed wall clock time (in seconds):0.092
0.26/0.22	o 8
0.26/0.22	c Got one! Elapsed wall clock time (in seconds):0.095
0.26/0.22	o 7
0.73/0.45	c cleaning 2496 clauses out of 5002 with flag 5001/5002
0.91/0.59	c cleaning 4251 clauses out of 8508 with flag 11003/11004
1.14/0.75	c cleaning 5619 clauses out of 11254 with flag 18000/18001
1.35/0.96	c cleaning 6815 clauses out of 13635 with flag 26000/26001
1.58/1.19	c cleaning 7905 clauses out of 15823 with flag 35003/35004
1.68/1.24	c Got one! Elapsed wall clock time (in seconds):1.112
1.68/1.24	o 6
1.78/1.34	c cleaning 6699 clauses out of 13430 with flag 4004/40516
1.89/1.48	c cleaning 6354 clauses out of 12729 with flag 10002/46514
2.10/1.66	c cleaning 6682 clauses out of 13375 with flag 17002/53514
2.30/1.85	c cleaning 7329 clauses out of 14693 with flag 25002/61514
2.50/2.08	c cleaning 8183 clauses out of 16366 with flag 34004/70516
2.80/2.35	c cleaning 9072 clauses out of 18179 with flag 44000/80512
3.12/2.66	c cleaning 10053 clauses out of 20109 with flag 55002/91514
3.54/3.03	c cleaning 11021 clauses out of 22059 with flag 67005/103517
3.95/3.44	c cleaning 12005 clauses out of 24034 with flag 80001/116513
4.36/3.86	c cleaning 13011 clauses out of 26028 with flag 94000/130512
4.87/4.35	c cleaning 13997 clauses out of 28017 with flag 109000/145512
5.37/4.87	c cleaning 15009 clauses out of 30020 with flag 125000/161512
6.09/5.51	c cleaning 16005 clauses out of 32013 with flag 142002/178514
6.70/6.15	c cleaning 17004 clauses out of 34007 with flag 160001/196513
7.42/6.86	c cleaning 17987 clauses out of 36009 with flag 179007/215519
8.23/7.64	c cleaning 19007 clauses out of 38016 with flag 199001/235513
9.04/8.47	c cleaning 19987 clauses out of 40011 with flag 220003/256515
9.95/9.36	c cleaning 21012 clauses out of 42024 with flag 242003/278515
10.85/10.25	c cleaning 21988 clauses out of 44009 with flag 265000/301512
11.98/11.33	c cleaning 23007 clauses out of 46021 with flag 289000/325512
13.08/12.42	c cleaning 24009 clauses out of 48019 with flag 314005/350517
14.29/13.63	c cleaning 24991 clauses out of 50010 with flag 340005/376517
15.60/14.99	c cleaning 26000 clauses out of 52014 with flag 367000/403512
17.02/16.30	c cleaning 27009 clauses out of 54024 with flag 395010/431522
18.34/17.62	c cleaning 27996 clauses out of 56007 with flag 424002/460514
19.74/19.04	c cleaning 28993 clauses out of 58009 with flag 454000/490512
21.35/20.68	c cleaning 30003 clauses out of 60021 with flag 485005/521517
22.87/22.18	c cleaning 30995 clauses out of 62016 with flag 517003/553515
24.48/23.76	c cleaning 31986 clauses out of 64018 with flag 550000/586512
26.38/25.60	c cleaning 33013 clauses out of 66039 with flag 584007/620519
28.20/27.46	c cleaning 34005 clauses out of 68021 with flag 619002/655514
30.10/29.38	c cleaning 34991 clauses out of 70015 with flag 655001/691513
32.30/31.54	c cleaning 36007 clauses out of 72027 with flag 692004/728516
34.83/34.03	c cleaning 36998 clauses out of 74018 with flag 730002/766514
36.93/36.15	c cleaning 37990 clauses out of 76018 with flag 769000/805512
39.24/38.48	c cleaning 38999 clauses out of 78028 with flag 809000/845512
41.95/41.10	c cleaning 40014 clauses out of 80029 with flag 850000/886512
44.57/43.72	c cleaning 40992 clauses out of 82015 with flag 892000/928512
47.10/46.26	c cleaning 42005 clauses out of 84026 with flag 935003/971515
50.21/49.32	c cleaning 43009 clauses out of 86020 with flag 979002/1015514
53.43/52.56	c cleaning 43997 clauses out of 88009 with flag 1024000/1060512
56.23/55.32	c cleaning 44980 clauses out of 90012 with flag 1070000/1106512
59.25/58.38	c cleaning 45999 clauses out of 92032 with flag 1117000/1153512
62.46/61.55	c cleaning 47000 clauses out of 94033 with flag 1165000/1201512
65.56/64.65	c cleaning 47989 clauses out of 96036 with flag 1214003/1250515
69.09/68.15	c cleaning 49009 clauses out of 98045 with flag 1264001/1300513
73.11/72.19	c cleaning 50019 clauses out of 100041 with flag 1315006/1351518
76.96/75.96	c cleaning 51000 clauses out of 102016 with flag 1367000/1403512
80.56/79.57	c cleaning 51999 clauses out of 104016 with flag 1420000/1456512
85.39/84.34	c cleaning 52994 clauses out of 106017 with flag 1474000/1510512
89.41/88.40	c cleaning 54007 clauses out of 108023 with flag 1529000/1565512
93.92/92.86	c cleaning 54987 clauses out of 110016 with flag 1585000/1621512
99.35/98.20	c cleaning 56010 clauses out of 112036 with flag 1642007/1678519
103.48/102.35	c cleaning 57001 clauses out of 114019 with flag 1700000/1736512
108.09/106.94	c cleaning 58003 clauses out of 116020 with flag 1759002/1795514
113.10/111.92	c cleaning 58999 clauses out of 118018 with flag 1819003/1855515
118.33/117.17	c cleaning 59988 clauses out of 120016 with flag 1880000/1916512
123.66/122.41	c cleaning 61010 clauses out of 122028 with flag 1942000/1978512
129.98/128.70	c cleaning 62007 clauses out of 124020 with flag 2005002/2041514
135.30/134.06	c cleaning 62983 clauses out of 126011 with flag 2069000/2105512
141.11/139.89	c cleaning 64003 clauses out of 128029 with flag 2134001/2170513
147.12/145.80	c cleaning 64999 clauses out of 130025 with flag 2200000/2236512
153.45/152.12	c cleaning 66009 clauses out of 132027 with flag 2267001/2303513
159.96/158.70	c cleaning 66998 clauses out of 134019 with flag 2335002/2371514
166.57/165.26	c cleaning 68004 clauses out of 136020 with flag 2404001/2440513
173.69/172.31	c cleaning 69007 clauses out of 138016 with flag 2474001/2510513
180.50/179.18	c cleaning 70001 clauses out of 140008 with flag 2545000/2581512
187.02/185.62	c cleaning 71000 clauses out of 142010 with flag 2617003/2653515
194.25/192.85	c cleaning 71987 clauses out of 144007 with flag 2690000/2726512
201.28/199.83	c cleaning 72993 clauses out of 146024 with flag 2764004/2800516
208.01/206.59	c cleaning 73992 clauses out of 148027 with flag 2839000/2875512
214.45/212.95	c cleaning 74988 clauses out of 150035 with flag 2915000/2951512
222.19/220.66	c cleaning 76009 clauses out of 152047 with flag 2992000/3028512
229.34/227.77	c cleaning 76995 clauses out of 154039 with flag 3070001/3106513
236.84/235.21	c cleaning 77999 clauses out of 156043 with flag 3149000/3185512
245.67/244.07	c cleaning 79019 clauses out of 158046 with flag 3229002/3265514
253.91/252.21	c cleaning 79976 clauses out of 160027 with flag 3310002/3346514
261.94/260.25	c cleaning 81009 clauses out of 162050 with flag 3392001/3428513
270.97/269.29	c cleaning 82008 clauses out of 164040 with flag 3475000/3511512
279.42/277.63	c cleaning 82998 clauses out of 166032 with flag 3559000/3595512
287.24/285.46	c cleaning 84000 clauses out of 168035 with flag 3644001/3680513
296.48/294.63	c cleaning 85005 clauses out of 170035 with flag 3730001/3766513
304.61/302.73	c cleaning 86007 clauses out of 172029 with flag 3817000/3853512
311.93/310.06	c cleaning 87004 clauses out of 174022 with flag 3905000/3941512
320.86/318.98	c cleaning 87999 clauses out of 176018 with flag 3994000/4030512
330.88/328.95	c cleaning 89007 clauses out of 178019 with flag 4084000/4120512
339.99/338.04	c cleaning 89989 clauses out of 180012 with flag 4175000/4211512
349.08/347.13	c cleaning 91008 clauses out of 182023 with flag 4267000/4303512
358.12/356.12	c cleaning 91995 clauses out of 184021 with flag 4360006/4396518
367.97/365.96	c cleaning 93001 clauses out of 186024 with flag 4454004/4490516
381.00/378.99	c cleaning 94008 clauses out of 188023 with flag 4549004/4585516
391.22/389.13	c cleaning 94998 clauses out of 190011 with flag 4645000/4681512
402.93/400.84	c cleaning 95987 clauses out of 192013 with flag 4742000/4778512
414.35/412.29	c cleaning 97002 clauses out of 194026 with flag 4840000/4876512
426.91/424.78	c cleaning 98000 clauses out of 196027 with flag 4939003/4975515
437.13/434.92	c cleaning 99001 clauses out of 198024 with flag 5039000/5075512
447.52/445.27	c cleaning 99985 clauses out of 200023 with flag 5140000/5176512
459.43/457.18	c cleaning 100994 clauses out of 202038 with flag 5242000/5278512
471.04/468.77	c cleaning 102014 clauses out of 204048 with flag 5345004/5381516
481.26/478.94	c cleaning 103010 clauses out of 206030 with flag 5449000/5485512
493.39/491.06	c cleaning 104000 clauses out of 208022 with flag 5554002/5590514
505.12/502.71	c cleaning 105010 clauses out of 210026 with flag 5660006/5696518
515.73/513.31	c cleaning 105992 clauses out of 212010 with flag 5767000/5803512
525.15/522.78	c cleaning 106979 clauses out of 214018 with flag 5875000/5911512
535.49/533.02	c cleaning 107990 clauses out of 216039 with flag 5984000/6020512
542.41/539.91	c Got one! Elapsed wall clock time (in seconds):539.783
542.41/539.91	o 5
544.72/542.22	c cleaning 93397 clauses out of 186793 with flag 5001/6099256
545.54/543.09	c cleaning 49683 clauses out of 99395 with flag 11000/6105255
546.05/543.52	c cleaning 28337 clauses out of 56712 with flag 18000/6112255
546.37/543.81	c cleaning 18148 clauses out of 36376 with flag 26001/6120256
546.59/544.09	c cleaning 13590 clauses out of 27227 with flag 35000/6129255
546.91/544.39	c cleaning 11813 clauses out of 23638 with flag 45001/6139256
547.32/544.71	c cleaning 11388 clauses out of 22826 with flag 56002/6150257
547.64/545.02	c cleaning 11696 clauses out of 23436 with flag 68000/6162255
548.05/545.40	c cleaning 12363 clauses out of 24744 with flag 81004/6175259
548.48/545.81	c cleaning 13183 clauses out of 26384 with flag 95007/6189262
548.89/546.21	c cleaning 14098 clauses out of 28198 with flag 110004/6204259
549.44/546.73	c cleaning 15046 clauses out of 30096 with flag 126000/6220255
549.94/547.25	c cleaning 16005 clauses out of 32052 with flag 143002/6237257
550.56/547.86	c cleaning 17005 clauses out of 34045 with flag 161000/6255255
551.17/548.44	c cleaning 18006 clauses out of 36042 with flag 180002/6274257
551.79/549.09	c cleaning 19013 clauses out of 38034 with flag 200000/6294255
552.61/549.82	c cleaning 20011 clauses out of 40021 with flag 221000/6315255
553.32/550.55	c cleaning 21003 clauses out of 42010 with flag 243000/6337255
554.14/551.37	c cleaning 22002 clauses out of 44008 with flag 266001/6360256
555.06/552.21	c cleaning 23002 clauses out of 46006 with flag 290001/6384256
555.87/553.07	c cleaning 24002 clauses out of 48003 with flag 315000/6409255
556.78/553.99	c cleaning 25001 clauses out of 50008 with flag 341007/6435262
557.79/554.92	c cleaning 25990 clauses out of 52001 with flag 368001/6462256
558.90/556.09	c cleaning 26997 clauses out of 54010 with flag 396000/6490255
560.02/557.12	c cleaning 27980 clauses out of 56015 with flag 425002/6519257
561.23/558.33	c cleaning 29008 clauses out of 58033 with flag 455000/6549255
562.33/559.49	c cleaning 30013 clauses out of 60025 with flag 486000/6580255
563.66/560.79	c cleaning 31002 clauses out of 62014 with flag 518002/6612257
565.08/562.11	c cleaning 32004 clauses out of 64021 with flag 551011/6645266
566.39/563.43	c cleaning 32989 clauses out of 66007 with flag 585001/6679256
567.71/564.75	c cleaning 34003 clauses out of 68022 with flag 620005/6714260
569.42/566.48	c cleaning 35000 clauses out of 70014 with flag 656000/6750255
571.34/568.37	c cleaning 35999 clauses out of 72014 with flag 693000/6787255
573.36/570.36	c cleaning 37005 clauses out of 74015 with flag 731000/6825255
575.36/572.37	c cleaning 37998 clauses out of 76010 with flag 770000/6864255
577.90/574.41	c cleaning 39007 clauses out of 78013 with flag 810001/6904256
579.89/576.37	c cleaning 40002 clauses out of 80014 with flag 851009/6945264
582.00/578.41	c cleaning 40998 clauses out of 82003 with flag 893000/6987255
584.03/580.41	c cleaning 41995 clauses out of 84006 with flag 936001/7030256
586.04/582.41	c cleaning 43003 clauses out of 86011 with flag 980001/7074256
586.39/582.79	c starts		: 300
586.39/582.79	c conflicts		: 7082292
586.39/582.79	c decisions		: 11991640
586.39/582.79	c propagations		: 64951316
586.39/582.79	c inspects		: 6141031660
586.39/582.79	c shortcuts		: 0
586.39/582.79	c learnt literals	: 5
586.39/582.79	c learnt binary clauses	: 18
586.39/582.79	c learnt ternary clauses	: 80
586.39/582.79	c learnt constraints	: 7082286
586.39/582.79	c ignored constraints	: 0
586.39/582.79	c root simplifications	: 304
586.39/582.79	c removed literals (reason simplification)	: 21146718
586.39/582.79	c reason swapping (by a shorter reason)	: 0
586.39/582.79	c Calls to reduceDB	: 150
586.39/582.79	c number of reductions to clauses (during analyze)	: 0
586.39/582.79	c number of learned constraints concerned by reduction	: 0
586.39/582.79	c number of learning phase by resolution	: 0
586.39/582.79	c number of learning phase by cutting planes	: 0
586.39/582.79	c speed (assignments/second)	: 111488.32786344974
586.39/582.79	c non guided choices	272
586.39/582.79	c learnt constraints type 
586.39/582.79	c constraints type 
586.39/582.79	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
586.39/582.79	c org.sat4j.minisat.constraints.card.MinWatchCard => 0
586.39/582.79	c 100 constraints processed.
586.39/582.79	s OPTIMUM FOUND
586.39/582.80	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 
586.39/582.80	c objective function=5
586.39/582.80	c Total wall clock time (in seconds): 582.671

Verifier Data 

OK	5

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-3710790-1338153508/watcher-3710790-1338153508 -o /tmp/evaluation-result-3710790-1338153508/solver-3710790-1338153508 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710790-1338153508.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: 1.93 1.98 1.99 3/194 18173
/proc/meminfo: memFree=28947208/32873844 swapFree=7116/7116
[pid=18173] ppid=18171 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/18173/stat : 18173 (runsolver) D 18171 18173 14200 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 281475839 12095488 50 33554432000 4194304 5436572 140734949359664 140734949355960 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/18173/statm: 2953 50 31 304 0 2645 0

[startup+0.046044 s]
/proc/loadavg: 1.93 1.98 1.99 3/194 18173
/proc/meminfo: memFree=28947208/32873844 swapFree=7116/7116
[pid=18173] ppid=18171 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/18173/stat : 18173 (java) S 18171 18173 14200 0 -1 4202496 3032 0 1 0 2 1 0 0 20 0 13 0 281475839 9446973440 3728 33554432000 1073741824 1073778376 140736221058176 140736221049312 227144663101 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18173/statm: 2306390 3728 1699 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.10025 s]
/proc/loadavg: 1.93 1.98 1.99 3/194 18173
/proc/meminfo: memFree=28947208/32873844 swapFree=7116/7116
[pid=18173] ppid=18171 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/18173/stat : 18173 (java) S 18171 18173 14200 0 -1 4202496 4216 0 1 0 9 1 0 0 20 0 18 0 281475839 9787842560 5422 33554432000 1073741824 1073778376 140736221058176 140736221049312 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18173/statm: 2389610 5424 2113 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300157 s]
/proc/loadavg: 1.93 1.98 1.99 3/194 18173
/proc/meminfo: memFree=28947208/32873844 swapFree=7116/7116
[pid=18173] ppid=18171 vsize=9625004 CPUtime=0.53 cores=0,2,4,6
/proc/18173/stat : 18173 (java) S 18171 18173 14200 0 -1 4202496 6712 0 1 0 51 2 0 0 20 0 19 0 281475839 9856004096 8533 33554432000 1073741824 1073778376 140736221058176 140736221049312 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18173/statm: 2406251 8533 2238 9 0 2396937 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9625004

[startup+0.700221 s]
/proc/loadavg: 1.93 1.98 1.99 3/194 18173
/proc/meminfo: memFree=28947208/32873844 swapFree=7116/7116
[pid=18173] ppid=18171 vsize=9625004 CPUtime=1.14 cores=0,2,4,6
/proc/18173/stat : 18173 (java) S 18171 18173 14200 0 -1 4202496 7728 0 1 0 112 2 0 0 20 0 19 0 281475839 9856004096 10809 33554432000 1073741824 1073778376 140736221058176 140736221049312 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18173/statm: 2406251 10809 2275 9 0 2396937 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9625004

[startup+1.50124 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 18192
/proc/meminfo: memFree=28912308/32873844 swapFree=7116/7116
[pid=18173] ppid=18171 vsize=9625004 CPUtime=2 cores=0,2,4,6
/proc/18173/stat : 18173 (java) S 18171 18173 14200 0 -1 4202496 7761 0 1 0 197 3 0 0 20 0 19 0 281475839 9856004096 11343 33554432000 1073741824 1073778376 140736221058176 140736221049312 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18173/statm: 2406251 11343 2276 9 0 2396937 0
[pid=18173/tid=18175] ppid=18171 vsize=9625004 CPUtime=1.38 cores=0,2,4,6
/proc/18173/task/18175/stat : 18175 (java) S 18171 18173 14200 0 -1 4202560 2517 0 1 0 137 1 0 0 20 0 19 0 281475840 9856004096 11343 33554432000 1073741824 1073778376 140736221058176 140482534388136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18176] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18176/stat : 18176 (java) S 18171 18173 14200 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281475841 9856004096 11343 33554432000 1073741824 1073778376 140736221058176 140482495879592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18173/tid=18177] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18177/stat : 18177 (java) S 18171 18173 14200 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281475841 9856004096 11343 33554432000 1073741824 1073778376 140736221058176 140482494827048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18173/tid=18178] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18178/stat : 18178 (java) S 18171 18173 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281475841 9856004096 11343 33554432000 1073741824 1073778376 140736221058176 140482493773992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18179] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18179/stat : 18179 (java) S 18171 18173 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281475841 9856004096 11343 33554432000 1073741824 1073778376 140736221058176 140482492721448 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18173/tid=18180] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18180/stat : 18180 (java) S 18171 18173 14200 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281475841 9856004096 11343 33554432000 1073741824 1073778376 140736221058176 140482491669416 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18173/tid=18181] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18181/stat : 18181 (java) S 18171 18173 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281475841 9856004096 11343 33554432000 1073741824 1073778376 140736221058176 140482490616872 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18182] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18182/stat : 18182 (java) S 18171 18173 14200 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281475841 9856004096 11343 33554432000 1073741824 1073778376 140736221058176 140482489563816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18173/tid=18183] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18183/stat : 18183 (java) S 18171 18173 14200 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281475841 9856004096 11343 33554432000 1073741824 1073778376 140736221058176 140482488511272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18184] ppid=18171 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/18173/task/18184/stat : 18184 (java) R 18171 18173 14200 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 19 0 281475842 9856004096 11343 33554432000 1073741824 1073778376 140736221058176 140482476100136 227144676412 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18185] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18185/stat : 18185 (java) S 18171 18173 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281475842 9856004096 11343 33554432000 1073741824 1073778376 140736221058176 140482357224824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18186] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18186/stat : 18186 (java) S 18171 18173 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281475842 9856004096 11343 33554432000 1073741824 1073778376 140736221058176 140482356171656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18187] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18187/stat : 18187 (java) S 18171 18173 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281475845 9856004096 11343 33554432000 1073741824 1073778376 140736221058176 140482355120400 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18188] ppid=18171 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/18173/task/18188/stat : 18188 (java) S 18171 18173 14200 0 -1 4202560 2120 0 0 0 24 0 0 0 20 0 19 0 281475845 9856004096 11343 33554432000 1073741824 1073778376 140736221058176 140482354068280 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18189] ppid=18171 vsize=9625004 CPUtime=0.21 cores=0,2,4,6
/proc/18173/task/18189/stat : 18189 (java) S 18171 18173 14200 0 -1 4202560 1861 0 0 0 21 0 0 0 20 0 19 0 281475845 9856004096 11343 33554432000 1073741824 1073778376 140736221058176 140482353015736 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18173/tid=18190] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18190/stat : 18190 (java) S 18171 18173 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281475845 9856004096 11343 33554432000 1073741824 1073778376 140736221058176 140482351962872 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18191] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18191/stat : 18191 (java) S 18171 18173 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281475845 9856004096 11343 33554432000 1073741824 1073778376 140736221058176 140482350910536 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18173/tid=18192] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18192/stat : 18192 (java) S 18171 18173 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281475860 9856004096 11343 33554432000 1073741824 1073778376 140736221058176 140482349855784 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 9625004

[startup+3.10062 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 18192
/proc/meminfo: memFree=28908220/32873844 swapFree=7116/7116
[pid=18173] ppid=18171 vsize=9625004 CPUtime=3.65 cores=0,2,4,6
/proc/18173/stat : 18173 (java) S 18171 18173 14200 0 -1 4202496 7779 0 1 0 362 3 0 0 20 0 19 0 281475839 9856004096 11355 33554432000 1073741824 1073778376 140736221058176 140736221049312 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18173/statm: 2406251 11355 2276 9 0 2396937 0
[pid=18173/tid=18175] ppid=18171 vsize=9625004 CPUtime=2.89 cores=0,2,4,6
/proc/18173/task/18175/stat : 18175 (java) R 18171 18173 14200 0 -1 4202560 2523 0 1 0 288 1 0 0 20 0 19 0 281475840 9856004096 11355 33554432000 1073741824 1073778376 140736221058176 140482534388016 140482357817011 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18176] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18176/stat : 18176 (java) S 18171 18173 14200 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281475841 9856004096 11355 33554432000 1073741824 1073778376 140736221058176 140482495879592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18173/tid=18177] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18177/stat : 18177 (java) S 18171 18173 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281475841 9856004096 11355 33554432000 1073741824 1073778376 140736221058176 140482494827048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18178] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18178/stat : 18178 (java) S 18171 18173 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281475841 9856004096 11355 33554432000 1073741824 1073778376 140736221058176 140482493773992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18179] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18179/stat : 18179 (java) S 18171 18173 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281475841 9856004096 11355 33554432000 1073741824 1073778376 140736221058176 140482492721448 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18173/tid=18180] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18180/stat : 18180 (java) S 18171 18173 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281475841 9856004096 11355 33554432000 1073741824 1073778376 140736221058176 140482491669416 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18173/tid=18181] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18181/stat : 18181 (java) S 18171 18173 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281475841 9856004096 11355 33554432000 1073741824 1073778376 140736221058176 140482490616872 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18173/tid=18182] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18182/stat : 18182 (java) S 18171 18173 14200 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281475841 9856004096 11355 33554432000 1073741824 1073778376 140736221058176 140482489563816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18183] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18183/stat : 18183 (java) S 18171 18173 14200 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281475841 9856004096 11355 33554432000 1073741824 1073778376 140736221058176 140482488511272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18184] ppid=18171 vsize=9625004 CPUtime=0.11 cores=0,2,4,6
/proc/18173/task/18184/stat : 18184 (java) S 18171 18173 14200 0 -1 4202560 31 0 0 0 11 0 0 0 20 0 19 0 281475842 9856004096 11355 33554432000 1073741824 1073778376 140736221058176 140482476099944 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18173/tid=18185] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18185/stat : 18185 (java) S 18171 18173 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281475842 9856004096 11355 33554432000 1073741824 1073778376 140736221058176 140482357224824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18186] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18186/stat : 18186 (java) S 18171 18173 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281475842 9856004096 11355 33554432000 1073741824 1073778376 140736221058176 140482356171656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18187] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18187/stat : 18187 (java) S 18171 18173 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281475845 9856004096 11355 33554432000 1073741824 1073778376 140736221058176 140482355120400 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18188] ppid=18171 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/18173/task/18188/stat : 18188 (java) S 18171 18173 14200 0 -1 4202560 2120 0 0 0 24 0 0 0 20 0 19 0 281475845 9856004096 11355 33554432000 1073741824 1073778376 140736221058176 140482354068280 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18189] ppid=18171 vsize=9625004 CPUtime=0.21 cores=0,2,4,6
/proc/18173/task/18189/stat : 18189 (java) S 18171 18173 14200 0 -1 4202560 1861 0 0 0 21 0 0 0 20 0 19 0 281475845 9856004096 11355 33554432000 1073741824 1073778376 140736221058176 140482353015736 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18173/tid=18190] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18190/stat : 18190 (java) S 18171 18173 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281475845 9856004096 11355 33554432000 1073741824 1073778376 140736221058176 140482351962872 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18191] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18191/stat : 18191 (java) S 18171 18173 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281475845 9856004096 11355 33554432000 1073741824 1073778376 140736221058176 140482350910536 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18192] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18192/stat : 18192 (java) S 18171 18173 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281475860 9856004096 11355 33554432000 1073741824 1073778376 140736221058176 140482349855784 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 9625004

[startup+6.3007 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 18192
/proc/meminfo: memFree=28905924/32873844 swapFree=7116/7116
[pid=18173] ppid=18171 vsize=9625004 CPUtime=6.92 cores=0,2,4,6
/proc/18173/stat : 18173 (java) S 18171 18173 14200 0 -1 4202496 7806 0 1 0 689 3 0 0 20 0 19 0 281475839 9856004096 12266 33554432000 1073741824 1073778376 140736221058176 140736221049312 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18173/statm: 2406251 12266 2276 9 0 2396937 0
[pid=18173/tid=18175] ppid=18171 vsize=9625004 CPUtime=5.97 cores=0,2,4,6
/proc/18173/task/18175/stat : 18175 (java) R 18171 18173 14200 0 -1 4202560 2530 0 1 0 596 1 0 0 20 0 19 0 281475840 9856004096 12266 33554432000 1073741824 1073778376 140736221058176 140482534388016 140482357763488 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18176] ppid=18171 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/18173/task/18176/stat : 18176 (java) S 18171 18173 14200 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 281475841 9856004096 12266 33554432000 1073741824 1073778376 140736221058176 140482495879592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18177] ppid=18171 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/18173/task/18177/stat : 18177 (java) S 18171 18173 14200 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 281475841 9856004096 12266 33554432000 1073741824 1073778376 140736221058176 140482494827048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18178] ppid=18171 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/18173/task/18178/stat : 18178 (java) S 18171 18173 14200 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 281475841 9856004096 12266 33554432000 1073741824 1073778376 140736221058176 140482493773992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18179] ppid=18171 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/18173/task/18179/stat : 18179 (java) S 18171 18173 14200 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 281475841 9856004096 12266 33554432000 1073741824 1073778376 140736221058176 140482492721448 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18173/tid=18180] ppid=18171 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/18173/task/18180/stat : 18180 (java) S 18171 18173 14200 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 281475841 9856004096 12266 33554432000 1073741824 1073778376 140736221058176 140482491669416 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18173/tid=18181] ppid=18171 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/18173/task/18181/stat : 18181 (java) S 18171 18173 14200 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 281475841 9856004096 12266 33554432000 1073741824 1073778376 140736221058176 140482490616872 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18173/tid=18182] ppid=18171 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/18173/task/18182/stat : 18182 (java) S 18171 18173 14200 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 281475841 9856004096 12266 33554432000 1073741824 1073778376 140736221058176 140482489563816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18183] ppid=18171 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/18173/task/18183/stat : 18183 (java) S 18171 18173 14200 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 281475841 9856004096 12266 33554432000 1073741824 1073778376 140736221058176 140482488511272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18184] ppid=18171 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/18173/task/18184/stat : 18184 (java) S 18171 18173 14200 0 -1 4202560 32 0 0 0 18 0 0 0 20 0 19 0 281475842 9856004096 12266 33554432000 1073741824 1073778376 140736221058176 140482476099944 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18173/tid=18185] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18185/stat : 18185 (java) S 18171 18173 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281475842 9856004096 12266 33554432000 1073741824 1073778376 140736221058176 140482357224824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18186] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18186/stat : 18186 (java) S 18171 18173 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281475842 9856004096 12266 33554432000 1073741824 1073778376 140736221058176 140482356171656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18187] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18187/stat : 18187 (java) S 18171 18173 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281475845 9856004096 12266 33554432000 1073741824 1073778376 140736221058176 140482355120400 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18188] ppid=18171 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/18173/task/18188/stat : 18188 (java) S 18171 18173 14200 0 -1 4202560 2120 0 0 0 24 0 0 0 20 0 19 0 281475845 9856004096 12266 33554432000 1073741824 1073778376 140736221058176 140482354068280 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18189] ppid=18171 vsize=9625004 CPUtime=0.21 cores=0,2,4,6
/proc/18173/task/18189/stat : 18189 (java) S 18171 18173 14200 0 -1 4202560 1861 0 0 0 21 0 0 0 20 0 19 0 281475845 9856004096 12266 33554432000 1073741824 1073778376 140736221058176 140482353015736 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18173/tid=18190] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18190/stat : 18190 (java) S 18171 18173 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281475845 9856004096 12266 33554432000 1073741824 1073778376 140736221058176 140482351962872 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18191] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18191/stat : 18191 (java) S 18171 18173 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281475845 9856004096 12266 33554432000 1073741824 1073778376 140736221058176 140482350910536 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18192] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18192/stat : 18192 (java) S 18171 18173 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281475860 9856004096 12266 33554432000 1073741824 1073778376 140736221058176 140482349855784 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

/proc/18173/task/18175/stat : 18175 (java) R 18171 18173 14200 0 -1 4202560 2668 0 1 0 57535 10 0 0 20 0 19 0 281475840 9856004096 33758 33554432000 1073741824 1073778376 140736221058176 140482534388016 140482357899347 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18173/tid=18176] ppid=18171 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/18173/task/18176/stat : 18176 (java) S 18171 18173 14200 0 -1 4202560 107 0 0 0 49 0 0 0 20 0 19 0 281475841 9856004096 33758 33554432000 1073741824 1073778376 140736221058176 140482495879592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18177] ppid=18171 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/18173/task/18177/stat : 18177 (java) S 18171 18173 14200 0 -1 4202560 170 0 0 0 44 0 0 0 20 0 19 0 281475841 9856004096 33758 33554432000 1073741824 1073778376 140736221058176 140482494827048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18173/tid=18178] ppid=18171 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/18173/task/18178/stat : 18178 (java) S 18171 18173 14200 0 -1 4202560 154 0 0 0 46 2 0 0 20 0 19 0 281475841 9856004096 33758 33554432000 1073741824 1073778376 140736221058176 140482493773992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18179] ppid=18171 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/18173/task/18179/stat : 18179 (java) S 18171 18173 14200 0 -1 4202560 144 0 0 0 48 0 0 0 20 0 19 0 281475841 9856004096 33758 33554432000 1073741824 1073778376 140736221058176 140482492721448 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18180] ppid=18171 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/18173/task/18180/stat : 18180 (java) S 18171 18173 14200 0 -1 4202560 115 0 0 0 49 0 0 0 20 0 19 0 281475841 9856004096 33758 33554432000 1073741824 1073778376 140736221058176 140482491669416 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18173/tid=18181] ppid=18171 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/18173/task/18181/stat : 18181 (java) S 18171 18173 14200 0 -1 4202560 164 0 0 0 48 2 0 0 20 0 19 0 281475841 9856004096 33758 33554432000 1073741824 1073778376 140736221058176 140482490616872 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18182] ppid=18171 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/18173/task/18182/stat : 18182 (java) S 18171 18173 14200 0 -1 4202560 266 0 0 0 46 2 0 0 20 0 19 0 281475841 9856004096 33758 33554432000 1073741824 1073778376 140736221058176 140482489563816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18173/tid=18183] ppid=18171 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/18173/task/18183/stat : 18183 (java) S 18171 18173 14200 0 -1 4202560 231 0 0 0 43 0 0 0 20 0 19 0 281475841 9856004096 33758 33554432000 1073741824 1073778376 140736221058176 140482488511272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18184] ppid=18171 vsize=9625004 CPUtime=3.99 cores=0,2,4,6
/proc/18173/task/18184/stat : 18184 (java) S 18171 18173 14200 0 -1 4202560 95 0 0 0 397 2 0 0 20 0 19 0 281475842 9856004096 33758 33554432000 1073741824 1073778376 140736221058176 140482476099944 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18185] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18185/stat : 18185 (java) S 18171 18173 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281475842 9856004096 33758 33554432000 1073741824 1073778376 140736221058176 140482357224824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18186] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18186/stat : 18186 (java) S 18171 18173 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281475842 9856004096 33758 33554432000 1073741824 1073778376 140736221058176 140482356171656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18187] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18187/stat : 18187 (java) S 18171 18173 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281475845 9856004096 33758 33554432000 1073741824 1073778376 140736221058176 140482355120400 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18188] ppid=18171 vsize=9625004 CPUtime=0.74 cores=0,2,4,6
/proc/18173/task/18188/stat : 18188 (java) S 18171 18173 14200 0 -1 4202560 10881 0 0 0 71 3 0 0 20 0 19 0 281475845 9856004096 33758 33554432000 1073741824 1073778376 140736221058176 140482354068280 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18189] ppid=18171 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/18173/task/18189/stat : 18189 (java) S 18171 18173 14200 0 -1 4202560 1867 0 0 0 23 0 0 0 20 0 19 0 281475845 9856004096 33758 33554432000 1073741824 1073778376 140736221058176 140482353015736 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18173/tid=18190] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18190/stat : 18190 (java) S 18171 18173 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281475845 9856004096 33758 33554432000 1073741824 1073778376 140736221058176 140482351962872 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18191] ppid=18171 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/18173/task/18191/stat : 18191 (java) S 18171 18173 14200 0 -1 4202560 34 0 0 0 10 8 0 0 20 0 19 0 281475845 9856004096 33758 33554432000 1073741824 1073778376 140736221058176 140482350910536 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18192] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18192/stat : 18192 (java) S 18171 18173 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281475860 9856004096 33758 33554432000 1073741824 1073778376 140736221058176 140482349855784 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 585.94
Current children cumulated vsize (KiB) 9625004

############
# WARNING:
# current cumulated CPU time (585.17 s) is less than in the last sample (586.39 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1.22003 s) to the 'lost time'.

[startup+582.701 s]
/proc/loadavg: 1.99 1.98 1.99 3/213 18197
/proc/meminfo: memFree=28748300/32873844 swapFree=7116/7116
[pid=18173] ppid=18171 vsize=9625004 CPUtime=586.39 cores=0,2,4,6
/proc/18173/stat : 18173 (java) S 18171 18173 14200 0 -1 4202496 18113 0 1 0 58618 21 0 0 20 0 19 0 281475839 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140736221049312 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18173/statm: 2406251 33788 2278 9 0 2396937 0
[pid=18173/tid=18175] ppid=18171 vsize=9625004 CPUtime=575.82 cores=0,2,4,6
/proc/18173/task/18175/stat : 18175 (java) R 18171 18173 14200 0 -1 4202560 2669 0 1 0 57572 10 0 0 20 0 19 0 281475840 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482534386968 140482357852041 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18173/tid=18176] ppid=18171 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/18173/task/18176/stat : 18176 (java) S 18171 18173 14200 0 -1 4202560 107 0 0 0 49 0 0 0 20 0 19 0 281475841 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482495879592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18177] ppid=18171 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/18173/task/18177/stat : 18177 (java) S 18171 18173 14200 0 -1 4202560 170 0 0 0 44 0 0 0 20 0 19 0 281475841 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482494827048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18173/tid=18178] ppid=18171 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/18173/task/18178/stat : 18178 (java) S 18171 18173 14200 0 -1 4202560 154 0 0 0 46 2 0 0 20 0 19 0 281475841 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482493773992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18173/tid=18179] ppid=18171 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/18173/task/18179/stat : 18179 (java) S 18171 18173 14200 0 -1 4202560 144 0 0 0 48 0 0 0 20 0 19 0 281475841 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482492721448 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18180] ppid=18171 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/18173/task/18180/stat : 18180 (java) S 18171 18173 14200 0 -1 4202560 115 0 0 0 49 0 0 0 20 0 19 0 281475841 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482491669416 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18173/tid=18181] ppid=18171 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/18173/task/18181/stat : 18181 (java) S 18171 18173 14200 0 -1 4202560 164 0 0 0 48 2 0 0 20 0 19 0 281475841 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482490616872 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18182] ppid=18171 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/18173/task/18182/stat : 18182 (java) S 18171 18173 14200 0 -1 4202560 266 0 0 0 46 2 0 0 20 0 19 0 281475841 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482489563816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18173/tid=18183] ppid=18171 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/18173/task/18183/stat : 18183 (java) S 18171 18173 14200 0 -1 4202560 231 0 0 0 44 0 0 0 20 0 19 0 281475841 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482488511272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18184] ppid=18171 vsize=9625004 CPUtime=4.02 cores=0,2,4,6
/proc/18173/task/18184/stat : 18184 (java) S 18171 18173 14200 0 -1 4202560 97 0 0 0 400 2 0 0 20 0 19 0 281475842 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482476099944 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18185] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18185/stat : 18185 (java) S 18171 18173 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281475842 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482357224824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18186] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18186/stat : 18186 (java) S 18171 18173 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281475842 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482356171656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18187] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18187/stat : 18187 (java) S 18171 18173 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281475845 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482355120400 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18188] ppid=18171 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/18173/task/18188/stat : 18188 (java) S 18171 18173 14200 0 -1 4202560 10882 0 0 0 73 3 0 0 20 0 19 0 281475845 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482354068280 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18189] ppid=18171 vsize=9625004 CPUtime=0.25 cores=0,2,4,6
/proc/18173/task/18189/stat : 18189 (java) S 18171 18173 14200 0 -1 4202560 1897 0 0 0 25 0 0 0 20 0 19 0 281475845 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482353015736 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18173/tid=18190] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18190/stat : 18190 (java) S 18171 18173 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281475845 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482351962872 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18191] ppid=18171 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/18173/task/18191/stat : 18191 (java) S 18171 18173 14200 0 -1 4202560 34 0 0 0 10 8 0 0 20 0 19 0 281475845 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482350910536 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18192] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18192/stat : 18192 (java) S 18171 18173 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281475860 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482349855784 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 586.39
Current children cumulated vsize (KiB) 9625004

[startup+582.801 s]
/proc/loadavg: 1.99 1.98 1.99 3/213 18197
/proc/meminfo: memFree=28748300/32873844 swapFree=7116/7116
[pid=18173] ppid=18171 vsize=0 CPUtime=585.17 cores=0,2,4,6
/proc/18173/stat : 18173 (java) Z 18171 18173 14200 0 -1 4203532 18125 0 1 0 58475 42 0 0 20 0 2 0 281475839 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18173/statm: 0 0 0 0 0 0 0
[pid=18173/tid=18176] ppid=18171 vsize=0 CPUtime=0.49 cores=0,2,4,6
/proc/18173/task/18176/stat : 18176 (java) R 18171 18173 14200 0 -1 4203588 107 0 0 0 49 0 0 0 20 0 2 0 281475841 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 585.17
Current children cumulated vsize (KiB) 0
#
############


Solver just ended. Dumping a history of the last processes samples

[startup+582.701 s]
/proc/loadavg: 1.99 1.98 1.99 3/213 18197
/proc/meminfo: memFree=28748300/32873844 swapFree=7116/7116
[pid=18173] ppid=18171 vsize=9625004 CPUtime=586.39 cores=0,2,4,6
/proc/18173/stat : 18173 (java) S 18171 18173 14200 0 -1 4202496 18113 0 1 0 58618 21 0 0 20 0 19 0 281475839 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140736221049312 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18173/statm: 2406251 33788 2278 9 0 2396937 0
[pid=18173/tid=18175] ppid=18171 vsize=9625004 CPUtime=575.82 cores=0,2,4,6
/proc/18173/task/18175/stat : 18175 (java) R 18171 18173 14200 0 -1 4202560 2669 0 1 0 57572 10 0 0 20 0 19 0 281475840 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482534386968 140482357852041 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18173/tid=18176] ppid=18171 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/18173/task/18176/stat : 18176 (java) S 18171 18173 14200 0 -1 4202560 107 0 0 0 49 0 0 0 20 0 19 0 281475841 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482495879592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18177] ppid=18171 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/18173/task/18177/stat : 18177 (java) S 18171 18173 14200 0 -1 4202560 170 0 0 0 44 0 0 0 20 0 19 0 281475841 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482494827048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18173/tid=18178] ppid=18171 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/18173/task/18178/stat : 18178 (java) S 18171 18173 14200 0 -1 4202560 154 0 0 0 46 2 0 0 20 0 19 0 281475841 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482493773992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18173/tid=18179] ppid=18171 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/18173/task/18179/stat : 18179 (java) S 18171 18173 14200 0 -1 4202560 144 0 0 0 48 0 0 0 20 0 19 0 281475841 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482492721448 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18180] ppid=18171 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/18173/task/18180/stat : 18180 (java) S 18171 18173 14200 0 -1 4202560 115 0 0 0 49 0 0 0 20 0 19 0 281475841 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482491669416 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18173/tid=18181] ppid=18171 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/18173/task/18181/stat : 18181 (java) S 18171 18173 14200 0 -1 4202560 164 0 0 0 48 2 0 0 20 0 19 0 281475841 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482490616872 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18182] ppid=18171 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/18173/task/18182/stat : 18182 (java) S 18171 18173 14200 0 -1 4202560 266 0 0 0 46 2 0 0 20 0 19 0 281475841 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482489563816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18173/tid=18183] ppid=18171 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/18173/task/18183/stat : 18183 (java) S 18171 18173 14200 0 -1 4202560 231 0 0 0 44 0 0 0 20 0 19 0 281475841 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482488511272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18184] ppid=18171 vsize=9625004 CPUtime=4.02 cores=0,2,4,6
/proc/18173/task/18184/stat : 18184 (java) S 18171 18173 14200 0 -1 4202560 97 0 0 0 400 2 0 0 20 0 19 0 281475842 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482476099944 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18185] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18185/stat : 18185 (java) S 18171 18173 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281475842 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482357224824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18186] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18186/stat : 18186 (java) S 18171 18173 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281475842 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482356171656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18187] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18187/stat : 18187 (java) S 18171 18173 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281475845 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482355120400 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18173/tid=18188] ppid=18171 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/18173/task/18188/stat : 18188 (java) S 18171 18173 14200 0 -1 4202560 10882 0 0 0 73 3 0 0 20 0 19 0 281475845 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482354068280 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18189] ppid=18171 vsize=9625004 CPUtime=0.25 cores=0,2,4,6
/proc/18173/task/18189/stat : 18189 (java) S 18171 18173 14200 0 -1 4202560 1897 0 0 0 25 0 0 0 20 0 19 0 281475845 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482353015736 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18173/tid=18190] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18190/stat : 18190 (java) S 18171 18173 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281475845 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482351962872 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18191] ppid=18171 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/18173/task/18191/stat : 18191 (java) S 18171 18173 14200 0 -1 4202560 34 0 0 0 10 8 0 0 20 0 19 0 281475845 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482350910536 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18173/tid=18192] ppid=18171 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/18173/task/18192/stat : 18192 (java) S 18171 18173 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281475860 9856004096 33788 33554432000 1073741824 1073778376 140736221058176 140482349855784 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 586.39
Current children cumulated vsize (KiB) 9625004

[startup+582.801 s]
/proc/loadavg: 1.99 1.98 1.99 3/213 18197
/proc/meminfo: memFree=28748300/32873844 swapFree=7116/7116
[pid=18173] ppid=18171 vsize=0 CPUtime=585.17 cores=0,2,4,6
/proc/18173/stat : 18173 (java) Z 18171 18173 14200 0 -1 4203532 18125 0 1 0 58475 42 0 0 20 0 2 0 281475839 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18173/statm: 0 0 0 0 0 0 0
[pid=18173/tid=18176] ppid=18171 vsize=0 CPUtime=0.49 cores=0,2,4,6
/proc/18173/task/18176/stat : 18176 (java) R 18171 18173 14200 0 -1 4203588 107 0 0 0 49 0 0 0 20 0 2 0 281475841 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 585.17
Current children cumulated vsize (KiB) 0

Child status: 30

# 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): 1.22003
#  lost CPU user time (s): 1.42999
#  lost CPU system time (s): -0.21

Real time (s): 582.804
CPU time (s): 586.408
CPU user time (s): 586.194
CPU system time (s): 0.213935
CPU usage (%): 100.618
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 584.764
system time used= 0.423935
maximum resident set size= 142812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18125
page faults= 1
swaps= 0
block input operations= 0
block output operations= 640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16595
involuntary context switches= 13394

runsolver used 1.20282 second user time and 2.83357 second system time

The end

Launcher Data 

Begin job on node138 at 2012-05-27 23:18:28
IDJOB=3710790
IDBENCH=2891
IDSOLVER=2289
FILE ID=node138/3710790-1338153508
RUNJOBID= node138-1338139170-16910
PBS_JOBID= 14624507
Free space on /tmp= 71488 MiB

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

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

MD5SUM BENCH= 28e00d9d9bb0c4a536b74577b47a7849
RANDOM SEED=177989421

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
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:        28947960 kB
Buffers:          431344 kB
Cached:          2404604 kB
SwapCached:          212 kB
Active:          1116856 kB
Inactive:        1931848 kB
Active(anon):     203988 kB
Inactive(anon):    11368 kB
Active(file):     912868 kB
Inactive(file):  1920480 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108644 kB
Dirty:             11408 kB
Writeback:             0 kB
AnonPages:        224136 kB
Mapped:            22560 kB
Shmem:               200 kB
Slab:             732956 kB
SReclaimable:     174928 kB
SUnreclaim:       558028 kB
KernelStack:        1600 kB
PageTables:         4632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     824860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    186368 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= 71488 MiB
End job on node138 at 2012-05-27 23:28:11