Trace number 3687748

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)62 1800.48 1011.43

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-e64.b.opb
MD5SUM4a444f89cff56050e88660d23e3d8694
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark47
Best CPU time to get the best result obtained on this benchmark0.824873
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 47
Optimality of the best value was proved NO
Number of variables607
Total number of constraints1022
Number of constraints which are clauses1022
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 constraint3
Maximum length of a constraint32
Number of terms in the objective function 607
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 607
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 607
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version 2.3.2.v20120418
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		501472288
0.00/0.07	c Max memory 		7480803328
0.00/0.07	c Total memory 		504102912
0.00/0.07	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c ManyCore solver with 2 solvers running in parallel
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3687748-1337873806.opb
0.11/0.10	c reading problem ... 
0.30/0.26	c ... done. Wall clock time 0.156s.
0.30/0.26	c declared #vars     607
0.30/0.26	c #constraints  1022
0.30/0.26	c constraints type 
0.30/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1022
0.30/0.26	c 1022 constraints processed.
0.30/0.26	c constraints type 
0.30/0.26	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1022
0.30/0.26	c 1022 constraints processed.
0.30/0.26	c objective function length is 607 literals
0.30/0.27	c  And the winner is solver0
0.52/0.76	c SATISFIABLE
0.52/0.76	c OPTIMIZING...
0.52/0.76	c Got one! Elapsed wall clock time (in seconds):0.659
0.52/0.76	o 82
1.04/0.91	c  And the winner is solver1
1.14/1.26	c Got one! Elapsed wall clock time (in seconds):1.164
1.14/1.26	o 81
2.40/1.66	c cleaning 2705 clauses out of 5414 with flag 5003/5414
3.12/1.99	c  And the winner is solver1
3.32/2.27	c Got one! Elapsed wall clock time (in seconds):2.167
3.32/2.27	o 80
3.42/2.33	c cleaning 3937 clauses out of 7882 with flag 1000/10587
4.28/2.77	c cleaning 4966 clauses out of 9946 with flag 7001/16588
4.46/2.87	c  And the winner is solver1
4.62/3.30	c Got one! Elapsed wall clock time (in seconds):3.199
4.62/3.30	o 79
5.09/3.55	c cleaning 4996 clauses out of 9995 with flag 4001/21603
5.89/3.94	c  And the winner is solver1
5.98/4.30	c Got one! Elapsed wall clock time (in seconds):4.201
5.98/4.30	o 69
5.98/4.37	c cleaning 5484 clauses out of 10968 with flag 1000/27572
6.77/4.80	c cleaning 5743 clauses out of 11485 with flag 7001/33573
7.92/5.36	c cleaning 6369 clauses out of 12741 with flag 14000/40572
8.09/5.49	c  And the winner is solver1
8.27/5.93	c Got one! Elapsed wall clock time (in seconds):5.826
8.27/5.93	o 68
8.63/6.16	c cleaning 5693 clauses out of 11386 with flag 4001/45586
9.56/6.62	c cleaning 5837 clauses out of 11692 with flag 10000/51585
10.48/7.16	c cleaning 6427 clauses out of 12855 with flag 17000/58585
11.65/7.80	c cleaning 7212 clauses out of 14428 with flag 25000/66585
13.16/8.56	c cleaning 8107 clauses out of 16218 with flag 34002/75587
14.65/9.39	c cleaning 9050 clauses out of 18109 with flag 44000/85585
16.60/10.32	c cleaning 10030 clauses out of 20060 with flag 55001/96586
18.54/11.37	c cleaning 11015 clauses out of 22029 with flag 67000/108585
20.92/12.52	c cleaning 12008 clauses out of 24018 with flag 80004/121589
23.31/13.85	c cleaning 12996 clauses out of 26013 with flag 94007/135592
25.56/15.05	c  And the winner is solver1
25.67/15.26	c Got one! Elapsed wall clock time (in seconds):15.164
25.67/15.26	o 67
26.35/15.60	c cleaning 16136 clauses out of 32271 with flag 5000/154846
27.17/16.19	c cleaning 11068 clauses out of 22135 with flag 11000/160846
28.21/16.74	c  And the winner is solver1
28.31/16.90	c Got one! Elapsed wall clock time (in seconds):16.798
28.31/16.90	o 66
28.90/17.21	c cleaning 10623 clauses out of 21245 with flag 5001/171024
30.00/17.93	c cleaning 8311 clauses out of 16621 with flag 11000/177023
31.24/18.63	c cleaning 7651 clauses out of 15310 with flag 18000/184023
32.63/19.40	c cleaning 7827 clauses out of 15659 with flag 26000/192023
34.03/20.22	c cleaning 8416 clauses out of 16832 with flag 35000/201023
35.72/21.24	c  And the winner is solver1
35.83/21.58	c Got one! Elapsed wall clock time (in seconds):21.475
35.83/21.58	o 65
36.28/21.89	c cleaning 11411 clauses out of 22836 with flag 5001/215443
37.46/22.51	c cleaning 8709 clauses out of 17424 with flag 11000/221442
38.68/23.20	c cleaning 7856 clauses out of 15716 with flag 18001/228443
39.89/23.96	c cleaning 7928 clauses out of 15859 with flag 26000/236442
41.53/24.95	c cleaning 8463 clauses out of 16933 with flag 35002/245444
43.10/25.88	c cleaning 9231 clauses out of 18469 with flag 45001/255443
44.86/26.88	c cleaning 10111 clauses out of 20237 with flag 56000/266442
47.02/28.03	c cleaning 11057 clauses out of 22127 with flag 68001/278443
49.43/29.41	c cleaning 12029 clauses out of 24069 with flag 81000/291442
51.79/30.73	c cleaning 13014 clauses out of 26040 with flag 95000/305442
54.31/32.18	c cleaning 14008 clauses out of 28026 with flag 110000/320442
57.03/33.69	c cleaning 14998 clauses out of 30018 with flag 126000/336442
59.95/35.37	c cleaning 16006 clauses out of 32021 with flag 143001/353443
60.46/35.79	c  And the winner is solver1
60.65/36.21	c Got one! Elapsed wall clock time (in seconds):36.111
60.65/36.21	o 64
61.02/36.46	c cleaning 10658 clauses out of 21318 with flag 4003/358746
62.12/37.16	c cleaning 8330 clauses out of 16660 with flag 10003/364746
63.41/37.93	c cleaning 7661 clauses out of 15329 with flag 17002/371745
64.91/38.96	c cleaning 7833 clauses out of 15666 with flag 25000/379743
66.60/39.91	c cleaning 8417 clauses out of 16834 with flag 34001/388744
68.27/40.93	c cleaning 9205 clauses out of 18416 with flag 44000/398743
70.15/42.04	c cleaning 10102 clauses out of 20211 with flag 55000/409743
72.63/43.50	c cleaning 11052 clauses out of 22110 with flag 67001/421744
74.89/44.80	c cleaning 12022 clauses out of 24059 with flag 80002/434745
77.38/46.23	c cleaning 13017 clauses out of 26036 with flag 94001/448744
80.23/47.83	c cleaning 13998 clauses out of 28018 with flag 109000/463743
83.45/49.76	c cleaning 15011 clauses out of 30021 with flag 125001/479744
86.28/51.39	c cleaning 16000 clauses out of 32009 with flag 142000/496743
89.90/53.34	c cleaning 16997 clauses out of 34010 with flag 160001/514744
93.31/55.24	c cleaning 17999 clauses out of 36012 with flag 179000/533743
97.25/57.58	c cleaning 19003 clauses out of 38013 with flag 199000/553743
101.23/59.71	c cleaning 20007 clauses out of 40013 with flag 220003/574746
105.23/61.99	c cleaning 20997 clauses out of 42005 with flag 242002/596745
109.59/64.32	c cleaning 21992 clauses out of 44006 with flag 265000/619743
114.07/67.00	c cleaning 23005 clauses out of 46020 with flag 289006/643749
118.81/69.56	c cleaning 23993 clauses out of 48014 with flag 314005/668748
123.75/72.26	c cleaning 25003 clauses out of 50021 with flag 340005/694748
128.90/75.07	c cleaning 25989 clauses out of 52013 with flag 367000/721743
134.75/78.30	c cleaning 27004 clauses out of 54026 with flag 395002/749745
140.13/81.25	c cleaning 28006 clauses out of 56020 with flag 424000/778743
142.24/82.54	c  And the winner is solver1
142.32/82.83	c Got one! Elapsed wall clock time (in seconds):82.731
142.32/82.83	o 63
142.86/83.16	c cleaning 21217 clauses out of 42434 with flag 5001/793163
144.33/84.11	c cleaning 13608 clauses out of 27216 with flag 11000/799162
146.27/85.51	c cleaning 10295 clauses out of 20609 with flag 18001/806163
147.95/86.67	c cleaning 9155 clauses out of 18313 with flag 26000/814162
149.83/87.88	c cleaning 9074 clauses out of 18160 with flag 35002/823164
151.91/89.15	c cleaning 9539 clauses out of 19086 with flag 45002/833164
154.43/90.88	c cleaning 10274 clauses out of 20547 with flag 56002/844164
156.89/92.33	c cleaning 11131 clauses out of 22271 with flag 68000/856162
159.34/93.85	c cleaning 12063 clauses out of 24141 with flag 81001/869163
161.97/95.44	c cleaning 13034 clauses out of 26078 with flag 95001/883163
165.04/97.49	c cleaning 14017 clauses out of 28043 with flag 110000/898162
168.29/99.36	c cleaning 15012 clauses out of 30027 with flag 126001/914163
171.72/101.37	c cleaning 16005 clauses out of 32014 with flag 143000/931162
175.13/103.40	c cleaning 17000 clauses out of 34009 with flag 161000/949162
179.35/105.92	c cleaning 18003 clauses out of 36011 with flag 180002/968164
183.34/108.24	c cleaning 19002 clauses out of 38006 with flag 200000/988162
187.55/110.62	c cleaning 19995 clauses out of 40004 with flag 221000/1009162
191.73/113.00	c cleaning 20995 clauses out of 42009 with flag 243000/1031162
196.63/116.00	c cleaning 22000 clauses out of 44014 with flag 266000/1054162
201.25/118.64	c cleaning 23005 clauses out of 46014 with flag 290000/1078162
206.24/121.51	c cleaning 24004 clauses out of 48010 with flag 315001/1103163
211.42/124.57	c cleaning 24998 clauses out of 50006 with flag 341001/1129163
217.56/128.27	c cleaning 26002 clauses out of 52007 with flag 368000/1156162
223.30/131.58	c cleaning 27003 clauses out of 54007 with flag 396002/1184164
228.62/134.66	c cleaning 27986 clauses out of 56002 with flag 425000/1213162
231.72/136.68	c cleaning 0 clauses out of 7423 with flag 0/7424
236.27/139.33	c cleaning 29006 clauses out of 58016 with flag 455000/1243162
242.04/142.69	c cleaning 29997 clauses out of 60012 with flag 486002/1274164
248.72/146.46	c cleaning 30997 clauses out of 62014 with flag 518001/1306163
255.14/150.16	c cleaning 32004 clauses out of 64018 with flag 551002/1339164
262.68/154.60	c cleaning 33006 clauses out of 66014 with flag 585002/1373164
269.10/158.32	c cleaning 33995 clauses out of 68009 with flag 620003/1408165
276.28/162.46	c cleaning 34996 clauses out of 70013 with flag 656002/1444164
286.00/168.66	c cleaning 36003 clauses out of 72015 with flag 693000/1481162
294.41/173.06	c cleaning 36997 clauses out of 74012 with flag 731000/1519162
302.61/177.56	c cleaning 38004 clauses out of 76016 with flag 770001/1558163
310.79/182.01	c cleaning 38998 clauses out of 78011 with flag 810000/1598162
320.03/187.37	c cleaning 40004 clauses out of 80013 with flag 851000/1639162
329.18/192.36	c cleaning 40997 clauses out of 82010 with flag 893001/1681163
338.71/197.56	c cleaning 41991 clauses out of 84012 with flag 936000/1724162
347.86/202.51	c cleaning 43003 clauses out of 86021 with flag 980000/1768162
357.42/208.07	c cleaning 44003 clauses out of 88020 with flag 1025002/1813164
366.73/213.17	c cleaning 45003 clauses out of 90015 with flag 1071000/1859162
376.44/218.40	c cleaning 46003 clauses out of 92013 with flag 1118001/1906163
387.00/224.15	c cleaning 46999 clauses out of 94009 with flag 1166000/1954162
398.86/230.86	c cleaning 47992 clauses out of 96010 with flag 1215000/2003162
410.66/237.15	c cleaning 49006 clauses out of 98018 with flag 1265000/2053162
423.00/243.71	c cleaning 49998 clauses out of 100014 with flag 1316002/2104164
433.47/249.44	c cleaning 50986 clauses out of 102014 with flag 1368000/2156162
445.68/256.36	c cleaning 52009 clauses out of 104028 with flag 1421000/2209162
457.27/262.64	c cleaning 52991 clauses out of 106020 with flag 1475001/2263163
468.08/268.58	c cleaning 54013 clauses out of 108028 with flag 1530000/2318162
479.28/274.66	c cleaning 54998 clauses out of 110015 with flag 1586000/2374162
491.85/281.92	c cleaning 55997 clauses out of 112018 with flag 1643001/2431163
505.08/289.23	c cleaning 57009 clauses out of 114021 with flag 1701001/2489163
518.63/296.72	c cleaning 58000 clauses out of 116011 with flag 1760000/2548162
533.56/306.09	c cleaning 58997 clauses out of 118011 with flag 1820000/2608162
546.96/313.16	c cleaning 60007 clauses out of 120014 with flag 1881000/2669162
549.24/314.88	c  And the winner is solver1
549.44/315.36	c Got one! Elapsed wall clock time (in seconds):315.26
549.44/315.36	o 62
550.12/315.78	c cleaning 35771 clauses out of 71558 with flag 5000/2680713
552.21/317.39	c cleaning 20885 clauses out of 41787 with flag 11000/2686713
555.18/319.76	c cleaning 13941 clauses out of 27902 with flag 18000/2693713
557.48/321.48	c cleaning 10975 clauses out of 21961 with flag 26000/2701713
560.20/323.31	c cleaning 9989 clauses out of 19987 with flag 35001/2710714
562.89/325.25	c cleaning 9993 clauses out of 19997 with flag 45000/2720713
566.46/327.97	c cleaning 10495 clauses out of 21009 with flag 56005/2731718
569.55/330.09	c cleaning 11247 clauses out of 22511 with flag 68002/2743715
572.82/332.25	c cleaning 12126 clauses out of 24262 with flag 81000/2756713
576.30/334.53	c cleaning 13065 clauses out of 26136 with flag 95000/2770713
580.65/337.61	c cleaning 14031 clauses out of 28072 with flag 110001/2785714
584.33/340.00	c cleaning 15018 clauses out of 30043 with flag 126003/2801716
588.01/342.41	c cleaning 16008 clauses out of 32024 with flag 143002/2818715
591.90/344.91	c cleaning 17003 clauses out of 34014 with flag 161000/2836713
596.64/348.25	c cleaning 17998 clauses out of 36011 with flag 180000/2855713
600.92/350.98	c cleaning 19002 clauses out of 38013 with flag 200000/2875713
605.58/353.81	c cleaning 19999 clauses out of 40011 with flag 221000/2896713
610.24/356.72	c cleaning 20998 clauses out of 42012 with flag 243000/2918713
615.96/360.52	c cleaning 22005 clauses out of 44014 with flag 266000/2941713
621.03/363.67	c cleaning 22995 clauses out of 46009 with flag 290000/2965713
626.46/366.93	c cleaning 24000 clauses out of 48014 with flag 315000/2990713
631.72/370.19	c cleaning 24990 clauses out of 50015 with flag 341001/3016714
638.01/374.28	c cleaning 26006 clauses out of 52025 with flag 368001/3043714
643.86/377.78	c cleaning 26999 clauses out of 54018 with flag 396000/3071713
650.09/381.42	c cleaning 28010 clauses out of 56019 with flag 425000/3100713
656.33/385.14	c cleaning 29002 clauses out of 58009 with flag 455000/3130713
663.78/389.88	c cleaning 30001 clauses out of 60009 with flag 486002/3161715
670.58/393.87	c cleaning 30993 clauses out of 62006 with flag 518000/3193713
677.37/397.88	c cleaning 32006 clauses out of 64013 with flag 551000/3226713
684.39/401.96	c cleaning 32999 clauses out of 66008 with flag 585001/3260714
692.03/406.79	c cleaning 34000 clauses out of 68008 with flag 620000/3295713
699.45/411.01	c cleaning 35002 clauses out of 70009 with flag 656001/3331714
707.25/415.50	c cleaning 36003 clauses out of 72006 with flag 693000/3368713
715.05/420.04	c cleaning 36986 clauses out of 74004 with flag 731001/3406714
724.24/425.63	c cleaning 38006 clauses out of 76020 with flag 770003/3445716
732.39/430.37	c cleaning 39000 clauses out of 78012 with flag 810001/3485714
740.36/434.96	c cleaning 39985 clauses out of 80011 with flag 851000/3526713
748.73/439.76	c cleaning 41011 clauses out of 82026 with flag 893000/3568713
757.53/445.13	c cleaning 42010 clauses out of 84023 with flag 936008/3611721
765.89/449.99	c cleaning 43000 clauses out of 86005 with flag 980000/3655713
775.24/455.26	c cleaning 43988 clauses out of 88005 with flag 1025000/3700713
784.98/460.72	c cleaning 45003 clauses out of 90017 with flag 1071000/3746713
795.18/466.80	c cleaning 45997 clauses out of 92015 with flag 1118001/3793714
805.13/472.48	c cleaning 47006 clauses out of 94018 with flag 1166001/3841714
815.68/478.33	c cleaning 48004 clauses out of 96012 with flag 1215001/3890714
826.41/484.34	c cleaning 48996 clauses out of 98009 with flag 1265002/3940715
838.36/491.34	c cleaning 49998 clauses out of 100011 with flag 1316000/3991713
848.11/496.82	c cleaning 51005 clauses out of 102013 with flag 1368000/4043713
858.69/502.71	c cleaning 52001 clauses out of 104009 with flag 1421001/4096714
869.66/508.82	c cleaning 52987 clauses out of 106007 with flag 1475000/4150713
881.36/515.61	c cleaning 53998 clauses out of 108020 with flag 1530000/4205713
892.53/521.88	c cleaning 55000 clauses out of 110025 with flag 1586003/4261716
904.67/528.50	c cleaning 56004 clauses out of 112022 with flag 1643000/4318713
916.79/535.21	c cleaning 57001 clauses out of 114018 with flag 1701000/4376713
929.75/542.74	c cleaning 57999 clauses out of 116017 with flag 1760000/4435713
941.89/549.42	c cleaning 58996 clauses out of 118018 with flag 1820000/4495713
954.46/556.38	c cleaning 60000 clauses out of 120022 with flag 1881000/4556713
967.60/563.52	c cleaning 61003 clauses out of 122023 with flag 1943001/4618714
981.35/571.45	c cleaning 62005 clauses out of 124019 with flag 2006000/4681713
993.69/578.22	c cleaning 62993 clauses out of 126015 with flag 2070001/4745714
1006.64/585.35	c cleaning 64008 clauses out of 128021 with flag 2135000/4810713
1020.40/592.86	c cleaning 65000 clauses out of 130015 with flag 2201002/4876715
1034.72/601.00	c cleaning 65999 clauses out of 132013 with flag 2268000/4943713
1048.27/608.49	c cleaning 67005 clauses out of 134017 with flag 2336003/5011716
1063.61/616.71	c cleaning 68001 clauses out of 136009 with flag 2405000/5080713
1078.75/624.98	c cleaning 69000 clauses out of 138009 with flag 2475001/5150714
1095.43/634.22	c cleaning 69994 clauses out of 140008 with flag 2546000/5221713
1111.78/643.05	c cleaning 71004 clauses out of 142016 with flag 2618002/5293715
1128.72/652.16	c cleaning 72002 clauses out of 144010 with flag 2691000/5366713
1143.08/659.97	c cleaning 72987 clauses out of 146009 with flag 2765001/5440714
1159.09/668.94	c cleaning 74005 clauses out of 148021 with flag 2840000/5515713
1174.63/677.38	c cleaning 74995 clauses out of 150016 with flag 2916000/5591713
1190.37/685.85	c cleaning 76007 clauses out of 152023 with flag 2993002/5668715
1205.53/694.03	c cleaning 76996 clauses out of 154016 with flag 3071002/5746715
1222.68/703.68	c cleaning 78009 clauses out of 156019 with flag 3150001/5825714
1239.23/712.56	c cleaning 78997 clauses out of 158011 with flag 3230002/5905715
1255.17/721.17	c cleaning 79995 clauses out of 160012 with flag 3311000/5986713
1271.91/730.16	c cleaning 81009 clauses out of 162018 with flag 3393001/6068714
1289.64/740.08	c cleaning 82003 clauses out of 164009 with flag 3476001/6151714
1307.58/749.62	c cleaning 82994 clauses out of 166005 with flag 3560000/6235713
1324.92/758.94	c cleaning 83983 clauses out of 168011 with flag 3645000/6320713
1342.85/768.55	c cleaning 85010 clauses out of 170028 with flag 3731000/6406713
1362.58/779.39	c cleaning 86004 clauses out of 172018 with flag 3818000/6493713
1380.91/789.15	c cleaning 86999 clauses out of 174014 with flag 3906000/6581713
1398.45/798.54	c cleaning 87995 clauses out of 176016 with flag 3995001/6670714
1420.17/810.08	c cleaning 89011 clauses out of 178021 with flag 4085001/6760714
1440.74/821.34	c cleaning 90005 clauses out of 180011 with flag 4176002/6851715
1462.29/832.71	c cleaning 90986 clauses out of 182004 with flag 4268000/6943713
1484.21/844.34	c cleaning 92000 clauses out of 184019 with flag 4361001/7036714
1507.18/856.44	c cleaning 92999 clauses out of 186019 with flag 4455001/7130714
1531.01/869.33	c cleaning 94003 clauses out of 188020 with flag 4550001/7225714
1556.77/882.84	c cleaning 94999 clauses out of 190018 with flag 4646002/7321715
1580.92/895.53	c cleaning 95999 clauses out of 192017 with flag 4743000/7418713
1606.49/908.95	c cleaning 96997 clauses out of 194018 with flag 4841000/7516713
1632.45/922.86	c cleaning 98009 clauses out of 196022 with flag 4940001/7615714
1661.16/937.85	c cleaning 99004 clauses out of 198013 with flag 5040001/7715714
1688.53/952.12	c cleaning 99998 clauses out of 200008 with flag 5141000/7816713
1715.46/966.20	c cleaning 101001 clauses out of 202011 with flag 5243001/7918714
1739.45/979.28	c cleaning 101994 clauses out of 204011 with flag 5346002/8021715
1762.38/991.39	c cleaning 102994 clauses out of 206015 with flag 5450000/8125713
1785.11/1003.30	c cleaning 103997 clauses out of 208021 with flag 5555000/8230713
1800.05/1011.41	c starts		: 48
1800.05/1011.41	c conflicts		: 12645
1800.05/1011.41	c decisions		: 103207
1800.05/1011.41	c propagations		: 375123
1800.05/1011.41	c inspects		: 225941666
1800.05/1011.41	c shortcuts		: 0
1800.05/1011.41	c learnt literals	: 0
1800.05/1011.41	c learnt binary clauses	: 0
1800.05/1011.41	c learnt ternary clauses	: 0
1800.05/1011.41	c learnt constraints	: 12644
1800.05/1011.41	c ignored constraints	: 0
1800.05/1011.41	c root simplifications	: 0
1800.05/1011.41	c removed literals (reason simplification)	: 0
1800.05/1011.41	c reason swapping (by a shorter reason)	: 0
1800.05/1011.41	c Calls to reduceDB	: 1
1800.05/1011.41	c number of reductions to clauses (during analyze)	: 0
1800.05/1011.41	c number of learned constraints concerned by reduction	: 0
1800.05/1011.41	c number of learning phase by resolution	: 0
1800.05/1011.41	c number of learning phase by cutting planes	: 0
1800.05/1011.41	c speed (assignments/second)	: 371.17617025318714
1800.05/1011.41	c non guided choices	0
1800.05/1011.42	c learnt constraints type 
1800.05/1011.42	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 134
1800.05/1011.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 172
1800.05/1011.42	c org.sat4j.pb.constraints.pb.MaxWatchPb => 12338
1800.05/1011.42	c constraints type 
1800.05/1011.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1022
1800.05/1011.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.05/1011.42	c 1023 constraints processed.
1800.05/1011.42	c constraints type 
1800.05/1011.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1022
1800.05/1011.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.05/1011.42	c 1023 constraints processed.
1800.05/1011.42	s SATISFIABLE
1800.05/1011.42	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 
1800.05/1011.42	c objective function=62
1800.05/1011.42	c Total wall clock time (in seconds): 1011.318

Verifier Data 

OK	62

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-3687748-1337873806/watcher-3687748-1337873806 -o /tmp/evaluation-result-3687748-1337873806/solver-3687748-1337873806 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687748-1337873806.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: 3.45 3.64 3.24 4/197 22547
/proc/meminfo: memFree=25653568/32873648 swapFree=6852/6852
[pid=22547] ppid=22545 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/22547/stat : 22547 (java) S 22545 22547 21497 0 -1 4202496 1202 0 0 0 0 0 0 0 20 0 2 0 253506648 94019584 913 33554432000 1073741824 1073778376 140737259540208 140737259531344 266439000125 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22547/statm: 22954 917 697 9 0 16769 0
[pid=22547/tid=22548] ppid=22545 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22548/stat : 22548 (java) D 22545 22547 21497 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 253506648 94019584 917 33554432000 1073741824 1073778376 140737259540208 139634062401064 266426477863 0 0 4096 0 18446744072100609316 0 0 -1 3 0 0 0 0 0

[startup+0.091486 s]
/proc/loadavg: 3.45 3.64 3.24 4/197 22547
/proc/meminfo: memFree=25653568/32873648 swapFree=6852/6852
[pid=22547] ppid=22545 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/22547/stat : 22547 (java) S 22545 22547 21497 0 -1 4202496 4380 0 1 0 8 1 0 0 20 0 18 0 253506648 9787813888 6084 33554432000 1073741824 1073778376 140737259540208 140737259531344 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22547/statm: 2389603 6084 2109 9 0 2380296 0
[pid=22547/tid=22548] ppid=22545 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/22547/task/22548/stat : 22548 (java) R 22545 22547 21497 0 -1 4202560 2427 0 1 0 5 2 0 0 20 0 18 0 253506648 9787813888 6084 33554432000 1073741824 1073778376 140737259540208 139634062404528 266439025933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.100243 s]
/proc/loadavg: 3.45 3.64 3.24 4/197 22547
/proc/meminfo: memFree=25653568/32873648 swapFree=6852/6852
[pid=22547] ppid=22545 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/22547/stat : 22547 (java) S 22545 22547 21497 0 -1 4202496 4469 0 1 0 10 1 0 0 20 0 18 0 253506648 9787813888 6135 33554432000 1073741824 1073778376 140737259540208 140737259531344 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22547/statm: 2389603 6135 2142 9 0 2380296 0
[pid=22547/tid=22548] ppid=22545 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/22547/task/22548/stat : 22548 (java) R 22545 22547 21497 0 -1 4202560 2431 0 1 0 6 2 0 0 20 0 18 0 253506648 9787813888 6135 33554432000 1073741824 1073778376 140737259540208 139634062404528 266439025933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300219 s]
/proc/loadavg: 3.45 3.64 3.24 4/197 22547
/proc/meminfo: memFree=25653568/32873648 swapFree=6852/6852
[pid=22547] ppid=22545 vsize=9824668 CPUtime=0.52 cores=1,3,5,7
/proc/22547/stat : 22547 (java) S 22545 22547 21497 0 -1 4202496 6518 0 1 0 48 4 0 0 20 0 19 0 253506648 10060460032 9199 33554432000 1073741824 1073778376 140737259540208 140737259531344 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22547/statm: 2456167 9199 2230 9 0 2446860 0
[pid=22547/tid=22548] ppid=22545 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/22547/task/22548/stat : 22548 (java) S 22545 22547 21497 0 -1 4202560 2457 0 1 0 22 2 0 0 20 0 19 0 253506648 10060460032 9199 33554432000 1073741824 1073778376 140737259540208 139634062406648 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9824668

[startup+0.700187 s]
/proc/loadavg: 3.45 3.64 3.24 4/197 22547
/proc/meminfo: memFree=25653568/32873648 swapFree=6852/6852
[pid=22547] ppid=22545 vsize=9824668 CPUtime=0.52 cores=1,3,5,7
/proc/22547/stat : 22547 (java) S 22545 22547 21497 0 -1 4202496 6518 0 1 0 48 4 0 0 20 0 19 0 253506648 10060460032 9199 33554432000 1073741824 1073778376 140737259540208 140737259531344 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22547/statm: 2456167 9199 2230 9 0 2446860 0
[pid=22547/tid=22548] ppid=22545 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/22547/task/22548/stat : 22548 (java) S 22545 22547 21497 0 -1 4202560 2457 0 1 0 22 2 0 0 20 0 19 0 253506648 10060460032 9199 33554432000 1073741824 1073778376 140737259540208 139634062406648 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9824668

[startup+1.50066 s]
/proc/loadavg: 3.34 3.61 3.23 3/216 22572
/proc/meminfo: memFree=25614496/32873648 swapFree=6852/6852
[pid=22547] ppid=22545 vsize=9824668 CPUtime=2.02 cores=1,3,5,7
/proc/22547/stat : 22547 (java) S 22545 22547 21497 0 -1 4202496 16797 0 1 0 195 7 0 0 20 0 22 0 253506648 10060460032 19781 33554432000 1073741824 1073778376 140737259540208 140737259531344 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22547/statm: 2456167 19781 2245 9 0 2446860 0
[pid=22547/tid=22548] ppid=22545 vsize=9824668 CPUtime=0.25 cores=1,3,5,7
/proc/22547/task/22548/stat : 22548 (java) S 22545 22547 21497 0 -1 4202560 2459 0 1 0 23 2 0 0 20 0 22 0 253506648 10060460032 19781 33554432000 1073741824 1073778376 140737259540208 139634062406648 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22550] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22550/stat : 22550 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253506649 10060460032 19781 33554432000 1073741824 1073778376 140737259540208 139634023897768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22551] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22551/stat : 22551 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253506649 10060460032 19781 33554432000 1073741824 1073778376 140737259540208 139634022845224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22552] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22552/stat : 22552 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253506649 10060460032 19781 33554432000 1073741824 1073778376 140737259540208 139634021792680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22553] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22553/stat : 22553 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253506649 10060460032 19781 33554432000 1073741824 1073778376 140737259540208 139634020740136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22547/tid=22554] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22554/stat : 22554 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253506649 10060460032 19781 33554432000 1073741824 1073778376 140737259540208 139634019686568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22555] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22555/stat : 22555 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253506649 10060460032 19781 33554432000 1073741824 1073778376 140737259540208 139634018634024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22547/tid=22556] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22556/stat : 22556 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253506649 10060460032 19781 33554432000 1073741824 1073778376 140737259540208 139633899858344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22557] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22557/stat : 22557 (java) S 22545 22547 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253506649 10060460032 19781 33554432000 1073741824 1073778376 140737259540208 139633898805800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22558] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22558/stat : 22558 (java) S 22545 22547 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253506650 10060460032 19781 33554432000 1073741824 1073778376 140737259540208 139633886607976 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22559] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22559/stat : 22559 (java) S 22545 22547 21497 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253506650 10060460032 19781 33554432000 1073741824 1073778376 140737259540208 139633885554296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22560] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22560/stat : 22560 (java) S 22545 22547 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253506650 10060460032 19781 33554432000 1073741824 1073778376 140737259540208 139633884501640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22561] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22561/stat : 22561 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253506652 10060460032 19781 33554432000 1073741824 1073778376 140737259540208 139633144884240 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22562] ppid=22545 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/22547/task/22562/stat : 22562 (java) R 22545 22547 21497 0 -1 4202560 7357 0 0 0 46 1 0 0 20 0 22 0 253506652 10060460032 19781 33554432000 1073741824 1073778376 140737259540208 139633143830584 139634069218853 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22563] ppid=22545 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/22547/task/22563/stat : 22563 (java) R 22545 22547 21497 0 -1 4202560 5637 0 0 0 48 0 0 0 20 0 22 0 253506653 10060460032 19781 33554432000 1073741824 1073778376 140737259540208 139633142765608 139634064951460 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22564] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22564/stat : 22564 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253506653 10060460032 19781 33554432000 1073741824 1073778376 140737259540208 139633141725688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22565] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22565/stat : 22565 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253506653 10060460032 19781 33554432000 1073741824 1073778376 140737259540208 139633140673352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22572] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22572/stat : 22572 (java) S 22545 22547 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253506725 10060460032 19781 33554432000 1073741824 1073778376 140737259540208 139633136460840 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9824668

[startup+3.10056 s]
/proc/loadavg: 3.34 3.61 3.23 3/216 22575
/proc/meminfo: memFree=25561996/32873648 swapFree=6852/6852
[pid=22547] ppid=22545 vsize=9824668 CPUtime=4.62 cores=1,3,5,7
/proc/22547/stat : 22547 (java) S 22545 22547 21497 0 -1 4202496 17653 0 1 0 450 12 0 0 20 0 19 0 253506648 10060460032 27984 33554432000 1073741824 1073778376 140737259540208 140737259531344 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22547/statm: 2456167 27984 2278 9 0 2446860 0
[pid=22547/tid=22548] ppid=22545 vsize=9824668 CPUtime=0.25 cores=1,3,5,7
/proc/22547/task/22548/stat : 22548 (java) S 22545 22547 21497 0 -1 4202560 2459 0 1 0 23 2 0 0 20 0 19 0 253506648 10060460032 27984 33554432000 1073741824 1073778376 140737259540208 139634062406648 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22550] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22550/stat : 22550 (java) S 22545 22547 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253506649 10060460032 27984 33554432000 1073741824 1073778376 140737259540208 139634023897768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22551] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22551/stat : 22551 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253506649 10060460032 27984 33554432000 1073741824 1073778376 140737259540208 139634022845224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22547/tid=22552] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22552/stat : 22552 (java) S 22545 22547 21497 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253506649 10060460032 27984 33554432000 1073741824 1073778376 140737259540208 139634021792680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22553] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22553/stat : 22553 (java) S 22545 22547 21497 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253506649 10060460032 27984 33554432000 1073741824 1073778376 140737259540208 139634020740136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22547/tid=22554] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22554/stat : 22554 (java) S 22545 22547 21497 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253506649 10060460032 27984 33554432000 1073741824 1073778376 140737259540208 139634019686568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22555] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22555/stat : 22555 (java) S 22545 22547 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253506649 10060460032 27984 33554432000 1073741824 1073778376 140737259540208 139634018634024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22547/tid=22556] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22556/stat : 22556 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253506649 10060460032 27984 33554432000 1073741824 1073778376 140737259540208 139633899858344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22557] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22557/stat : 22557 (java) S 22545 22547 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253506649 10060460032 27984 33554432000 1073741824 1073778376 140737259540208 139633898805800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22558] ppid=22545 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/22547/task/22558/stat : 22558 (java) S 22545 22547 21497 0 -1 4202560 34 0 0 0 6 0 0 0 20 0 19 0 253506650 10060460032 27984 33554432000 1073741824 1073778376 140737259540208 139633886607976 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22559] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22559/stat : 22559 (java) S 22545 22547 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253506650 10060460032 27984 33554432000 1073741824 1073778376 140737259540208 139633885554296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22560] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22560/stat : 22560 (java) S 22545 22547 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253506650 10060460032 27984 33554432000 1073741824 1073778376 140737259540208 139633884501640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22561] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22561/stat : 22561 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253506652 10060460032 27984 33554432000 1073741824 1073778376 140737259540208 139633144884240 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22562] ppid=22545 vsize=9824668 CPUtime=0.7 cores=1,3,5,7
/proc/22547/task/22562/stat : 22562 (java) S 22545 22547 21497 0 -1 4202560 7368 0 0 0 68 2 0 0 20 0 19 0 253506652 10060460032 27984 33554432000 1073741824 1073778376 140737259540208 139633143830584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22563] ppid=22545 vsize=9824668 CPUtime=0.73 cores=1,3,5,7
/proc/22547/task/22563/stat : 22563 (java) S 22545 22547 21497 0 -1 4202560 6391 0 0 0 71 2 0 0 20 0 19 0 253506653 10060460032 27984 33554432000 1073741824 1073778376 140737259540208 139633142778040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22564] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22564/stat : 22564 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253506653 10060460032 27984 33554432000 1073741824 1073778376 140737259540208 139633141725688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22565] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22565/stat : 22565 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253506653 10060460032 27984 33554432000 1073741824 1073778376 140737259540208 139633140673352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22572] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22572/stat : 22572 (java) S 22545 22547 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253506725 10060460032 27984 33554432000 1073741824 1073778376 140737259540208 139633136460840 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 9824668

[startup+6.30075 s]
/proc/loadavg: 3.34 3.61 3.23 4/219 22584
/proc/meminfo: memFree=25512016/32873648 swapFree=6852/6852
[pid=22547] ppid=22545 vsize=9824668 CPUtime=8.94 cores=1,3,5,7
/proc/22547/stat : 22547 (java) S 22545 22547 21497 0 -1 4202496 17738 0 1 0 877 17 0 0 20 0 22 0 253506648 10060460032 38835 33554432000 1073741824 1073778376 140737259540208 140737259531344 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22547/statm: 2456167 38835 2279 9 0 2446860 0
[pid=22547/tid=22548] ppid=22545 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/22547/task/22548/stat : 22548 (java) S 22545 22547 21497 0 -1 4202560 2461 0 1 0 24 2 0 0 20 0 22 0 253506648 10060460032 38835 33554432000 1073741824 1073778376 140737259540208 139634062406648 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22550] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22550/stat : 22550 (java) S 22545 22547 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253506649 10060460032 38835 33554432000 1073741824 1073778376 140737259540208 139634023897768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22551] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22551/stat : 22551 (java) S 22545 22547 21497 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253506649 10060460032 38835 33554432000 1073741824 1073778376 140737259540208 139634022845224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22552] ppid=22545 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22547/task/22552/stat : 22552 (java) S 22545 22547 21497 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 253506649 10060460032 38835 33554432000 1073741824 1073778376 140737259540208 139634021792680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22547/tid=22553] ppid=22545 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22547/task/22553/stat : 22553 (java) S 22545 22547 21497 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 253506649 10060460032 38835 33554432000 1073741824 1073778376 140737259540208 139634020740136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22554] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22554/stat : 22554 (java) S 22545 22547 21497 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253506649 10060460032 38835 33554432000 1073741824 1073778376 140737259540208 139634019686568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22555] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22555/stat : 22555 (java) S 22545 22547 21497 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253506649 10060460032 38835 33554432000 1073741824 1073778376 140737259540208 139634018634024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22556] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22556/stat : 22556 (java) S 22545 22547 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253506649 10060460032 38835 33554432000 1073741824 1073778376 140737259540208 139633899858344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22557] ppid=22545 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22547/task/22557/stat : 22557 (java) S 22545 22547 21497 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 253506649 10060460032 38835 33554432000 1073741824 1073778376 140737259540208 139633898805800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22558] ppid=22545 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/22547/task/22558/stat : 22558 (java) S 22545 22547 21497 0 -1 4202560 46 0 0 0 37 0 0 0 20 0 22 0 253506650 10060460032 38835 33554432000 1073741824 1073778376 140737259540208 139633886607976 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22559] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22559/stat : 22559 (java) S 22545 22547 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253506650 10060460032 38835 33554432000 1073741824 1073778376 140737259540208 139633885554296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22560] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22560/stat : 22560 (java) S 22545 22547 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253506650 10060460032 38835 33554432000 1073741824 1073778376 140737259540208 139633884501640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22561] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22561/stat : 22561 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253506652 10060460032 38835 33554432000 1073741824 1073778376 140737259540208 139633144884240 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22562] ppid=22545 vsize=9824668 CPUtime=0.82 cores=1,3,5,7
/proc/22547/task/22562/stat : 22562 (java) S 22545 22547 21497 0 -1 4202560 7370 0 0 0 80 2 0 0 20 0 22 0 253506652 10060460032 38835 33554432000 1073741824 1073778376 140737259540208 139633143830584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22563] ppid=22545 vsize=9824668 CPUtime=0.79 cores=1,3,5,7
/proc/22547/task/22563/stat : 22563 (java) S 22545 22547 21497 0 -1 4202560 6392 0 0 0 77 2 0 0 20 0 22 0 253506653 10060460032 38835 33554432000 1073741824 1073778376 140737259540208 139633142778040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0

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

[pid=22547/tid=22732] ppid=22545 vsize=9824668 CPUtime=434.2 cores=1,3,5,7
/proc/22547/task/22732/stat : 22732 (java) R 22545 22547 21497 0 -1 4202560 9 0 0 0 43414 6 0 0 20 0 22 0 253538185 10060460032 544324 33554432000 1073741824 1073778376 140737259540208 139633139618016 139633900977200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22733] ppid=22545 vsize=9824668 CPUtime=434.56 cores=1,3,5,7
/proc/22547/task/22733/stat : 22733 (java) R 22545 22547 21497 0 -1 4202560 17 0 0 0 43450 6 0 0 20 0 22 0 253538185 10060460032 544324 33554432000 1073741824 1073778376 140737259540208 139633137510688 139633900594353 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22734] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22734/stat : 22734 (java) S 22545 22547 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253538185 10060460032 544324 33554432000 1073741824 1073778376 140737259540208 139633138566312 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1555.77
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 3.87 3.75 3.52 5/219 22739
/proc/meminfo: memFree=26267824/32873648 swapFree=6852/6852
[pid=22547] ppid=22545 vsize=9824668 CPUtime=1668.92 cores=1,3,5,7
/proc/22547/stat : 22547 (java) S 22545 22547 21497 0 -1 4202496 34041 0 1 0 166734 158 0 0 20 0 22 0 253506648 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 140737259531344 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22547/statm: 2456167 554055 2280 9 0 2446860 0
[pid=22547/tid=22548] ppid=22545 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/22547/task/22548/stat : 22548 (java) S 22545 22547 21497 0 -1 4202560 2600 0 1 0 26 4 0 0 20 0 22 0 253506648 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139634062406648 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22550] ppid=22545 vsize=9824668 CPUtime=2.04 cores=1,3,5,7
/proc/22547/task/22550/stat : 22550 (java) S 22545 22547 21497 0 -1 4202560 1291 0 0 0 197 7 0 0 20 0 22 0 253506649 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139634023897768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22551] ppid=22545 vsize=9824668 CPUtime=2.08 cores=1,3,5,7
/proc/22547/task/22551/stat : 22551 (java) S 22545 22547 21497 0 -1 4202560 1080 0 0 0 202 6 0 0 20 0 22 0 253506649 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139634022845224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22552] ppid=22545 vsize=9824668 CPUtime=2.03 cores=1,3,5,7
/proc/22547/task/22552/stat : 22552 (java) S 22545 22547 21497 0 -1 4202560 904 0 0 0 199 4 0 0 20 0 22 0 253506649 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139634021792680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22553] ppid=22545 vsize=9824668 CPUtime=1.99 cores=1,3,5,7
/proc/22547/task/22553/stat : 22553 (java) S 22545 22547 21497 0 -1 4202560 1116 0 0 0 194 5 0 0 20 0 22 0 253506649 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139634020740136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22554] ppid=22545 vsize=9824668 CPUtime=2 cores=1,3,5,7
/proc/22547/task/22554/stat : 22554 (java) S 22545 22547 21497 0 -1 4202560 1138 0 0 0 195 5 0 0 20 0 22 0 253506649 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139634019686568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22555] ppid=22545 vsize=9824668 CPUtime=2.07 cores=1,3,5,7
/proc/22547/task/22555/stat : 22555 (java) S 22545 22547 21497 0 -1 4202560 966 0 0 0 203 4 0 0 20 0 22 0 253506649 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139634018634024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22556] ppid=22545 vsize=9824668 CPUtime=1.93 cores=1,3,5,7
/proc/22547/task/22556/stat : 22556 (java) S 22545 22547 21497 0 -1 4202560 740 0 0 0 187 6 0 0 20 0 22 0 253506649 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139633899858344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22557] ppid=22545 vsize=9824668 CPUtime=2.11 cores=1,3,5,7
/proc/22547/task/22557/stat : 22557 (java) S 22545 22547 21497 0 -1 4202560 871 0 0 0 205 6 0 0 20 0 22 0 253506649 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139633898805800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22558] ppid=22545 vsize=9824668 CPUtime=217.01 cores=1,3,5,7
/proc/22547/task/22558/stat : 22558 (java) S 22545 22547 21497 0 -1 4202560 5877 0 0 0 21642 59 0 0 20 0 22 0 253506650 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139633886607976 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22547/tid=22559] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22559/stat : 22559 (java) S 22545 22547 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253506650 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139633885554296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22560] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22560/stat : 22560 (java) S 22545 22547 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253506650 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139633884501640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22561] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22561/stat : 22561 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253506652 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139633144884240 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22562] ppid=22545 vsize=9824668 CPUtime=1.31 cores=1,3,5,7
/proc/22547/task/22562/stat : 22562 (java) S 22545 22547 21497 0 -1 4202560 8585 0 0 0 129 2 0 0 20 0 22 0 253506652 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139633143830584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22563] ppid=22545 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/22547/task/22563/stat : 22563 (java) S 22545 22547 21497 0 -1 4202560 6392 0 0 0 97 2 0 0 20 0 22 0 253506653 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139633142778040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22564] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22564/stat : 22564 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253506653 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139633141725688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22565] ppid=22545 vsize=9824668 CPUtime=0.25 cores=1,3,5,7
/proc/22547/task/22565/stat : 22565 (java) S 22545 22547 21497 0 -1 4202560 55 0 0 0 10 15 0 0 20 0 22 0 253506653 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139633140673352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22572] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22572/stat : 22572 (java) S 22545 22547 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253506725 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139633136460840 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22732] ppid=22545 vsize=9824668 CPUtime=487 cores=1,3,5,7
/proc/22547/task/22732/stat : 22732 (java) R 22545 22547 21497 0 -1 4202560 9 0 0 0 48693 7 0 0 20 0 22 0 253538185 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139633139618016 139633900415167 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22547/tid=22733] ppid=22545 vsize=9824668 CPUtime=487.37 cores=1,3,5,7
/proc/22547/task/22733/stat : 22733 (java) R 22545 22547 21497 0 -1 4202560 17 0 0 0 48728 9 0 0 20 0 22 0 253538185 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139633137510688 139633900594289 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22734] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22734/stat : 22734 (java) S 22545 22547 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253538185 10060460032 554055 33554432000 1073741824 1073778376 140737259540208 139633138566312 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1668.92
Current children cumulated vsize (KiB) 9824668

[startup+1002.3 s]
/proc/loadavg: 3.97 3.80 3.55 5/219 22816
/proc/meminfo: memFree=25043216/32873648 swapFree=6852/6852
[pid=22547] ppid=22545 vsize=9824668 CPUtime=1783.11 cores=1,3,5,7
/proc/22547/stat : 22547 (java) S 22545 22547 21497 0 -1 4202496 34599 0 1 0 178150 161 0 0 20 0 22 0 253506648 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 140737259531344 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22547/statm: 2456167 554997 2280 9 0 2446860 0
[pid=22547/tid=22548] ppid=22545 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/22547/task/22548/stat : 22548 (java) S 22545 22547 21497 0 -1 4202560 2603 0 1 0 26 4 0 0 20 0 22 0 253506648 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139634062406648 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22550] ppid=22545 vsize=9824668 CPUtime=2.06 cores=1,3,5,7
/proc/22547/task/22550/stat : 22550 (java) S 22545 22547 21497 0 -1 4202560 1291 0 0 0 199 7 0 0 20 0 22 0 253506649 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139634023897768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22551] ppid=22545 vsize=9824668 CPUtime=2.1 cores=1,3,5,7
/proc/22547/task/22551/stat : 22551 (java) S 22545 22547 21497 0 -1 4202560 1080 0 0 0 204 6 0 0 20 0 22 0 253506649 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139634022845224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22552] ppid=22545 vsize=9824668 CPUtime=2.05 cores=1,3,5,7
/proc/22547/task/22552/stat : 22552 (java) S 22545 22547 21497 0 -1 4202560 1004 0 0 0 201 4 0 0 20 0 22 0 253506649 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139634021792680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22553] ppid=22545 vsize=9824668 CPUtime=2.03 cores=1,3,5,7
/proc/22547/task/22553/stat : 22553 (java) S 22545 22547 21497 0 -1 4202560 1202 0 0 0 198 5 0 0 20 0 22 0 253506649 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139634020740136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22547/tid=22554] ppid=22545 vsize=9824668 CPUtime=2.03 cores=1,3,5,7
/proc/22547/task/22554/stat : 22554 (java) S 22545 22547 21497 0 -1 4202560 1299 0 0 0 198 5 0 0 20 0 22 0 253506649 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139634019686568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22555] ppid=22545 vsize=9824668 CPUtime=2.12 cores=1,3,5,7
/proc/22547/task/22555/stat : 22555 (java) S 22545 22547 21497 0 -1 4202560 1053 0 0 0 208 4 0 0 20 0 22 0 253506649 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139634018634024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22556] ppid=22545 vsize=9824668 CPUtime=1.94 cores=1,3,5,7
/proc/22547/task/22556/stat : 22556 (java) S 22545 22547 21497 0 -1 4202560 740 0 0 0 188 6 0 0 20 0 22 0 253506649 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139633899858344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22557] ppid=22545 vsize=9824668 CPUtime=2.13 cores=1,3,5,7
/proc/22547/task/22557/stat : 22557 (java) S 22545 22547 21497 0 -1 4202560 878 0 0 0 207 6 0 0 20 0 22 0 253506649 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139633898805800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22558] ppid=22545 vsize=9824668 CPUtime=222.93 cores=1,3,5,7
/proc/22547/task/22558/stat : 22558 (java) S 22545 22547 21497 0 -1 4202560 5988 0 0 0 22233 60 0 0 20 0 22 0 253506650 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139633886607976 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22547/tid=22559] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22559/stat : 22559 (java) S 22545 22547 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253506650 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139633885554296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22560] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22560/stat : 22560 (java) S 22545 22547 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253506650 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139633884501640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22561] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22561/stat : 22561 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253506652 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139633144884240 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22562] ppid=22545 vsize=9824668 CPUtime=1.31 cores=1,3,5,7
/proc/22547/task/22562/stat : 22562 (java) S 22545 22547 21497 0 -1 4202560 8585 0 0 0 129 2 0 0 20 0 22 0 253506652 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139633143830584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22563] ppid=22545 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/22547/task/22563/stat : 22563 (java) S 22545 22547 21497 0 -1 4202560 6392 0 0 0 97 2 0 0 20 0 22 0 253506653 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139633142778040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22564] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22564/stat : 22564 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253506653 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139633141725688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22565] ppid=22545 vsize=9824668 CPUtime=0.25 cores=1,3,5,7
/proc/22547/task/22565/stat : 22565 (java) S 22545 22547 21497 0 -1 4202560 57 0 0 0 10 15 0 0 20 0 22 0 253506653 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139633140673352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22572] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22572/stat : 22572 (java) S 22545 22547 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253506725 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139633136460840 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22732] ppid=22545 vsize=9824668 CPUtime=541.01 cores=1,3,5,7
/proc/22547/task/22732/stat : 22732 (java) R 22545 22547 21497 0 -1 4202560 10 0 0 0 54093 8 0 0 20 0 22 0 253538185 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139633139618016 139633901055189 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22733] ppid=22545 vsize=9824668 CPUtime=541.4 cores=1,3,5,7
/proc/22547/task/22733/stat : 22733 (java) R 22545 22547 21497 0 -1 4202560 17 0 0 0 54130 10 0 0 20 0 22 0 253538185 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139633137510688 139633900594350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22734] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22734/stat : 22734 (java) S 22545 22547 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253538185 10060460032 554997 33554432000 1073741824 1073778376 140737259540208 139633138566312 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1783.11
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1011.4 s]
/proc/loadavg: 3.98 3.80 3.55 5/219 22816
/proc/meminfo: memFree=24794360/32873648 swapFree=6852/6852
[pid=22547] ppid=22545 vsize=9824668 CPUtime=1800.05 cores=1,3,5,7
/proc/22547/stat : 22547 (java) S 22545 22547 21497 0 -1 4202496 34630 0 1 0 179844 161 0 0 20 0 22 0 253506648 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 140737259531344 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22547/statm: 2456167 554998 2280 9 0 2446860 0
[pid=22547/tid=22548] ppid=22545 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/22547/task/22548/stat : 22548 (java) S 22545 22547 21497 0 -1 4202560 2604 0 1 0 26 4 0 0 20 0 22 0 253506648 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139634062406648 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22550] ppid=22545 vsize=9824668 CPUtime=2.07 cores=1,3,5,7
/proc/22547/task/22550/stat : 22550 (java) S 22545 22547 21497 0 -1 4202560 1291 0 0 0 200 7 0 0 20 0 22 0 253506649 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139634023897768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22551] ppid=22545 vsize=9824668 CPUtime=2.11 cores=1,3,5,7
/proc/22547/task/22551/stat : 22551 (java) S 22545 22547 21497 0 -1 4202560 1080 0 0 0 205 6 0 0 20 0 22 0 253506649 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139634022845224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22552] ppid=22545 vsize=9824668 CPUtime=2.06 cores=1,3,5,7
/proc/22547/task/22552/stat : 22552 (java) S 22545 22547 21497 0 -1 4202560 1004 0 0 0 202 4 0 0 20 0 22 0 253506649 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139634021792680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22553] ppid=22545 vsize=9824668 CPUtime=2.03 cores=1,3,5,7
/proc/22547/task/22553/stat : 22553 (java) S 22545 22547 21497 0 -1 4202560 1202 0 0 0 198 5 0 0 20 0 22 0 253506649 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139634020740136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22547/tid=22554] ppid=22545 vsize=9824668 CPUtime=2.03 cores=1,3,5,7
/proc/22547/task/22554/stat : 22554 (java) S 22545 22547 21497 0 -1 4202560 1299 0 0 0 198 5 0 0 20 0 22 0 253506649 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139634019686568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22555] ppid=22545 vsize=9824668 CPUtime=2.12 cores=1,3,5,7
/proc/22547/task/22555/stat : 22555 (java) S 22545 22547 21497 0 -1 4202560 1053 0 0 0 208 4 0 0 20 0 22 0 253506649 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139634018634024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22556] ppid=22545 vsize=9824668 CPUtime=1.95 cores=1,3,5,7
/proc/22547/task/22556/stat : 22556 (java) S 22545 22547 21497 0 -1 4202560 740 0 0 0 189 6 0 0 20 0 22 0 253506649 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139633899858344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22557] ppid=22545 vsize=9824668 CPUtime=2.13 cores=1,3,5,7
/proc/22547/task/22557/stat : 22557 (java) S 22545 22547 21497 0 -1 4202560 878 0 0 0 207 6 0 0 20 0 22 0 253506649 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139633898805800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22558] ppid=22545 vsize=9824668 CPUtime=224.22 cores=1,3,5,7
/proc/22547/task/22558/stat : 22558 (java) S 22545 22547 21497 0 -1 4202560 6016 0 0 0 22362 60 0 0 20 0 22 0 253506650 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139633886607976 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22547/tid=22559] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22559/stat : 22559 (java) S 22545 22547 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253506650 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139633885554296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22560] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22560/stat : 22560 (java) S 22545 22547 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253506650 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139633884501640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22561] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22561/stat : 22561 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253506652 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139633144884240 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22562] ppid=22545 vsize=9824668 CPUtime=1.31 cores=1,3,5,7
/proc/22547/task/22562/stat : 22562 (java) S 22545 22547 21497 0 -1 4202560 8585 0 0 0 129 2 0 0 20 0 22 0 253506652 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139633143830584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22563] ppid=22545 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/22547/task/22563/stat : 22563 (java) S 22545 22547 21497 0 -1 4202560 6392 0 0 0 97 2 0 0 20 0 22 0 253506653 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139633142778040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22564] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22564/stat : 22564 (java) S 22545 22547 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253506653 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139633141725688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22547/tid=22565] ppid=22545 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/22547/task/22565/stat : 22565 (java) S 22545 22547 21497 0 -1 4202560 59 0 0 0 10 16 0 0 20 0 22 0 253506653 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139633140673352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22572] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22572/stat : 22572 (java) S 22545 22547 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253506725 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139633136460840 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22732] ppid=22545 vsize=9824668 CPUtime=548.82 cores=1,3,5,7
/proc/22547/task/22732/stat : 22732 (java) R 22545 22547 21497 0 -1 4202560 10 0 0 0 54874 8 0 0 20 0 22 0 253538185 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139633139618016 139633900454332 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22547/tid=22733] ppid=22545 vsize=9824668 CPUtime=549.21 cores=1,3,5,7
/proc/22547/task/22733/stat : 22733 (java) R 22545 22547 21497 0 -1 4202560 17 0 0 0 54911 10 0 0 20 0 22 0 253538185 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139633137510736 139633900936232 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22547/tid=22734] ppid=22545 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22547/task/22734/stat : 22734 (java) S 22545 22547 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253538185 10060460032 554998 33554432000 1073741824 1073778376 140737259540208 139633138566312 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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
Real time (s): 1011.43
CPU time (s): 1800.48
CPU user time (s): 1798.45
CPU system time (s): 2.03269
CPU usage (%): 178.012
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.45
system time used= 2.03269
maximum resident set size= 2220108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34664
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29893
involuntary context switches= 41045

runsolver used 3.56346 second user time and 9.10162 second system time

The end

Launcher Data 

Begin job on node116 at 2012-05-24 17:36:46
IDJOB=3687748
IDBENCH=2053
IDSOLVER=2268
FILE ID=node116/3687748-1337873806
RUNJOBID= node116-1337871880-21514
PBS_JOBID= 14620088
Free space on /tmp= 71728 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-e64.b.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687748-1337873806/watcher-3687748-1337873806 -o /tmp/evaluation-result-3687748-1337873806/solver-3687748-1337873806 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687748-1337873806.opb

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

MD5SUM BENCH= 4a444f89cff56050e88660d23e3d8694
RANDOM SEED=664511561

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        25654096 kB
Buffers:          202876 kB
Cached:          2919060 kB
SwapCached:            0 kB
Active:          3808092 kB
Inactive:        2642520 kB
Active(anon):    3330868 kB
Inactive(anon):        0 kB
Active(file):     477224 kB
Inactive(file):  2642520 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               360 kB
Writeback:             0 kB
AnonPages:       3366028 kB
Mapped:            21716 kB
Shmem:               200 kB
Slab:             622980 kB
SReclaimable:      67424 kB
SUnreclaim:       555556 kB
KernelStack:        1808 kB
PageTables:        10776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    4677200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3260416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71724 MiB
End job on node116 at 2012-05-24 17:53:39