Trace number 3688479

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 Resolution 2.3.2 SnapshotSAT (TO)26674 1800.07 1794.34

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/
submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
MD5SUMaa73e48897f9c10e5003e2188d9e7ab9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24890
Best CPU time to get the best result obtained on this benchmark0.028994
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24890
Optimality of the best value was proved YES
Number of variables644
Total number of constraints1034
Number of constraints which are clauses1034
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 353
Biggest coefficient in the objective function 2034
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 561307
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 2034
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 561307
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.2.v20120418
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.12	c Pseudo Boolean Optimization by upper bound
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.12	c No reason simplification
0.07/0.12	c Armin Biere (Picosat) restarts strategy
0.07/0.12	c Glucose learned constraints deletion strategy
0.07/0.12	c timeout=2147483s
0.07/0.12	c DB Simplification allowed=false
0.07/0.12	c c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3688479-1337884493.opb
0.07/0.12	c reading problem ... 
0.23/0.23	c ... done. Wall clock time 0.104s.
0.23/0.23	c declared #vars     644
0.23/0.23	c #constraints  1034
0.23/0.23	c constraints type 
0.23/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 292
0.23/0.23	c org.sat4j.minisat.constraints.cnf.UnitClause => 4
0.23/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 738
0.23/0.23	c 1034 constraints processed.
0.23/0.23	c objective function length is 353 literals
0.23/0.24	c SATISFIABLE
0.23/0.24	c OPTIMIZING...
0.23/0.24	c Got one! Elapsed wall clock time (in seconds):0.12
0.23/0.24	o 30671
0.23/0.29	c Got one! Elapsed wall clock time (in seconds):0.168
0.23/0.29	o 29465
0.44/0.30	c Got one! Elapsed wall clock time (in seconds):0.178
0.44/0.30	o 29427
1.15/0.83	c cleaning 2543 clauses out of 5088 with flag 5001/5088
1.73/1.37	c cleaning 4267 clauses out of 8544 with flag 11000/11087
2.33/1.96	c cleaning 5616 clauses out of 11277 with flag 18000/18087
3.04/2.60	c cleaning 6828 clauses out of 13661 with flag 26000/26087
3.77/3.33	c cleaning 7896 clauses out of 15833 with flag 35000/35087
3.77/3.37	c Got one! Elapsed wall clock time (in seconds):3.248
3.77/3.37	o 29424
3.87/3.40	c Got one! Elapsed wall clock time (in seconds):3.277
3.87/3.40	o 28511
3.87/3.40	c Got one! Elapsed wall clock time (in seconds):3.281
3.87/3.40	o 28241
4.38/3.80	c cleaning 7095 clauses out of 14190 with flag 5000/41340
4.89/4.32	c cleaning 6541 clauses out of 13095 with flag 11000/47340
5.39/4.89	c cleaning 6777 clauses out of 13554 with flag 18000/54340
6.10/5.51	c cleaning 7390 clauses out of 14780 with flag 26003/62343
6.79/6.21	c cleaning 8188 clauses out of 16388 with flag 35001/71341
7.49/6.99	c cleaning 9085 clauses out of 18199 with flag 45000/81340
8.40/7.83	c cleaning 10051 clauses out of 20114 with flag 56000/92340
9.31/8.74	c cleaning 11021 clauses out of 22063 with flag 68000/104340
10.31/9.72	c cleaning 11999 clauses out of 24043 with flag 81001/117341
11.31/10.78	c cleaning 13020 clauses out of 26043 with flag 95000/131340
12.52/11.96	c cleaning 13999 clauses out of 28023 with flag 110000/146340
13.82/13.21	c cleaning 15003 clauses out of 30026 with flag 126002/162342
15.12/14.53	c cleaning 16005 clauses out of 32022 with flag 143001/179341
16.52/15.94	c cleaning 17006 clauses out of 34016 with flag 161000/197340
18.02/17.48	c cleaning 17995 clauses out of 36010 with flag 180000/216340
19.63/19.07	c cleaning 18989 clauses out of 38015 with flag 200000/236340
21.33/20.71	c cleaning 19995 clauses out of 40026 with flag 221000/257340
23.04/22.43	c cleaning 20988 clauses out of 42032 with flag 243001/279341
24.85/24.29	c cleaning 22017 clauses out of 44044 with flag 266001/302341
26.85/26.24	c cleaning 23003 clauses out of 46026 with flag 290000/326340
28.86/28.21	c cleaning 23998 clauses out of 48023 with flag 315000/351340
30.86/30.21	c cleaning 24986 clauses out of 50029 with flag 341004/377344
33.08/32.43	c cleaning 26010 clauses out of 52040 with flag 368001/404341
35.29/34.67	c cleaning 27006 clauses out of 54029 with flag 396000/432340
37.69/37.09	c cleaning 27983 clauses out of 56023 with flag 425000/461340
40.09/39.49	c cleaning 29000 clauses out of 58040 with flag 455000/491340
42.70/42.01	c cleaning 30005 clauses out of 60041 with flag 486001/522341
45.40/44.70	c cleaning 31019 clauses out of 62037 with flag 518002/554342
48.03/47.37	c cleaning 32000 clauses out of 64017 with flag 551001/587341
50.86/50.19	c cleaning 32999 clauses out of 66016 with flag 585000/621340
53.76/53.06	c cleaning 33991 clauses out of 68017 with flag 620000/656340
56.68/55.99	c cleaning 35005 clauses out of 70027 with flag 656001/692341
59.71/58.98	c cleaning 35977 clauses out of 72021 with flag 693000/729340
62.81/62.01	c cleaning 37011 clauses out of 74044 with flag 731000/767340
65.93/65.10	c cleaning 38011 clauses out of 76033 with flag 770000/806340
69.03/68.27	c cleaning 39003 clauses out of 78023 with flag 810001/846341
72.24/71.43	c cleaning 40003 clauses out of 80020 with flag 851001/887341
75.75/74.97	c cleaning 40994 clauses out of 82016 with flag 893000/929340
79.29/78.40	c cleaning 42004 clauses out of 84023 with flag 936001/972341
83.00/82.18	c cleaning 42996 clauses out of 86021 with flag 980003/1016343
86.73/85.87	c cleaning 44006 clauses out of 88023 with flag 1025001/1061341
90.53/89.63	c cleaning 44991 clauses out of 90016 with flag 1071000/1107340
94.45/93.52	c cleaning 46004 clauses out of 92025 with flag 1118000/1154340
98.25/97.36	c cleaning 47010 clauses out of 94021 with flag 1166000/1202340
102.36/101.40	c cleaning 47988 clauses out of 96011 with flag 1215000/1251340
106.38/105.49	c cleaning 49010 clauses out of 98025 with flag 1265002/1301342
110.79/109.82	c cleaning 50000 clauses out of 100013 with flag 1316000/1352340
115.41/114.49	c cleaning 51000 clauses out of 102014 with flag 1368001/1404341
119.92/118.94	c cleaning 51979 clauses out of 104013 with flag 1421000/1457340
124.94/123.90	c cleaning 52995 clauses out of 106034 with flag 1475000/1511340
129.78/128.79	c cleaning 54013 clauses out of 108039 with flag 1530000/1566340
134.59/133.59	c cleaning 55013 clauses out of 110027 with flag 1586001/1622341
139.81/138.73	c cleaning 55991 clauses out of 112015 with flag 1643002/1679342
144.94/143.82	c cleaning 57006 clauses out of 114022 with flag 1701000/1737340
150.15/149.02	c cleaning 57997 clauses out of 116016 with flag 1760000/1796340
155.16/154.08	c cleaning 58987 clauses out of 118019 with flag 1820000/1856340
160.47/159.34	c cleaning 60006 clauses out of 120032 with flag 1881000/1917340
165.98/164.80	c cleaning 61006 clauses out of 122027 with flag 1943001/1979341
172.30/171.12	c cleaning 61987 clauses out of 124020 with flag 2006000/2042340
178.21/177.06	c cleaning 62984 clauses out of 126033 with flag 2070000/2106340
184.53/183.30	c cleaning 64017 clauses out of 128049 with flag 2135000/2171340
190.74/189.55	c cleaning 64994 clauses out of 130032 with flag 2201000/2237340
197.05/195.82	c cleaning 66008 clauses out of 132038 with flag 2268000/2304340
203.15/201.94	c cleaning 67002 clauses out of 134034 with flag 2336004/2372344
209.35/208.15	c cleaning 67996 clauses out of 136028 with flag 2405000/2441340
215.96/214.79	c cleaning 69010 clauses out of 138032 with flag 2475000/2511340
222.88/221.69	c cleaning 70004 clauses out of 140022 with flag 2546000/2582340
229.89/228.65	c cleaning 70999 clauses out of 142018 with flag 2618000/2654340
237.03/235.70	c cleaning 72003 clauses out of 144020 with flag 2691001/2727341
243.73/242.49	c cleaning 72986 clauses out of 146016 with flag 2765000/2801340
250.85/249.53	c cleaning 74000 clauses out of 148030 with flag 2840000/2876340
257.97/256.69	c cleaning 75010 clauses out of 150030 with flag 2916000/2952340
265.17/263.86	c cleaning 75971 clauses out of 152020 with flag 2993000/3029340
272.29/270.99	c cleaning 77016 clauses out of 154052 with flag 3071003/3107343
279.42/278.06	c cleaning 78000 clauses out of 156034 with flag 3150001/3186341
286.94/285.55	c cleaning 79014 clauses out of 158033 with flag 3230000/3266340
294.86/293.43	c cleaning 79996 clauses out of 160020 with flag 3311001/3347341
302.90/301.47	c cleaning 81001 clauses out of 162023 with flag 3393000/3429340
310.90/309.48	c cleaning 81998 clauses out of 164022 with flag 3476000/3512340
318.63/317.16	c cleaning 82998 clauses out of 166024 with flag 3560000/3596340
326.47/324.95	c cleaning 84007 clauses out of 168026 with flag 3645000/3681340
334.40/332.84	c cleaning 84995 clauses out of 170020 with flag 3731001/3767341
342.42/340.82	c cleaning 86007 clauses out of 172024 with flag 3818000/3854340
350.95/349.36	c cleaning 87005 clauses out of 174017 with flag 3906000/3942340
359.38/357.78	c cleaning 87977 clauses out of 176012 with flag 3995000/4031340
368.10/366.46	c cleaning 89013 clauses out of 178035 with flag 4085000/4121340
376.92/375.27	c cleaning 89986 clauses out of 180022 with flag 4176000/4212340
386.03/384.35	c cleaning 90993 clauses out of 182036 with flag 4268000/4304340
395.05/393.39	c cleaning 92006 clauses out of 184043 with flag 4361000/4397340
404.37/402.69	c cleaning 93018 clauses out of 186037 with flag 4455000/4491340
413.90/412.12	c cleaning 94000 clauses out of 188020 with flag 4550001/4586341
423.21/421.49	c cleaning 94997 clauses out of 190019 with flag 4646000/4682340
432.75/430.95	c cleaning 96001 clauses out of 192023 with flag 4743001/4779341
442.07/440.28	c cleaning 97006 clauses out of 194022 with flag 4841001/4877341
451.39/449.56	c cleaning 97981 clauses out of 196015 with flag 4940000/4976340
461.61/459.71	c cleaning 98996 clauses out of 198034 with flag 5040000/5076340
471.30/469.38	c cleaning 100011 clauses out of 200038 with flag 5141000/5177340
481.01/479.10	c cleaning 100988 clauses out of 202027 with flag 5243000/5279340
490.54/488.52	c cleaning 102017 clauses out of 204039 with flag 5346000/5382340
500.57/498.57	c cleaning 103006 clauses out of 206023 with flag 5450001/5486341
510.70/508.60	c cleaning 103995 clauses out of 208016 with flag 5555000/5591340
521.33/519.25	c cleaning 104999 clauses out of 210021 with flag 5661000/5697340
532.03/529.94	c cleaning 105987 clauses out of 212022 with flag 5768000/5804340
543.05/541.00	c cleaning 107006 clauses out of 214035 with flag 5876000/5912340
553.98/551.88	c cleaning 108011 clauses out of 216029 with flag 5985000/6021340
564.75/562.52	c cleaning 109002 clauses out of 218019 with flag 6095001/6131341
575.86/573.62	c cleaning 109993 clauses out of 220016 with flag 6206000/6242340
586.47/584.26	c cleaning 110997 clauses out of 222025 with flag 6318002/6354342
596.79/594.50	c cleaning 112008 clauses out of 224026 with flag 6431000/6467340
607.14/604.85	c cleaning 112988 clauses out of 226019 with flag 6545001/6581341
618.77/616.43	c cleaning 114009 clauses out of 228032 with flag 6660002/6696342
620.09/617.77	c Got one! Elapsed wall clock time (in seconds):617.646
620.09/617.77	o 28107
620.79/618.43	c cleaning 68735 clauses out of 137481 with flag 5000/6719800
621.29/618.96	c cleaning 37367 clauses out of 74746 with flag 11000/6725800
621.80/619.49	c cleaning 22178 clauses out of 44379 with flag 18000/6732800
622.52/620.14	c cleaning 15099 clauses out of 30205 with flag 26004/6740804
623.24/620.86	c cleaning 12050 clauses out of 24104 with flag 35002/6749802
624.05/621.61	c cleaning 11017 clauses out of 22052 with flag 45000/6759800
624.85/622.49	c cleaning 11008 clauses out of 22036 with flag 56001/6770801
625.87/623.45	c cleaning 11511 clauses out of 23027 with flag 68000/6782800
626.88/624.47	c cleaning 12252 clauses out of 24516 with flag 81000/6795800
628.00/625.54	c cleaning 13121 clauses out of 26264 with flag 95000/6809800
629.21/626.71	c cleaning 14066 clauses out of 28143 with flag 110000/6824800
630.42/627.97	c cleaning 15034 clauses out of 30077 with flag 126000/6840800
631.86/629.31	c cleaning 16021 clauses out of 32044 with flag 143001/6857801
633.30/630.73	c cleaning 17009 clauses out of 34023 with flag 161001/6875801
634.70/632.17	c cleaning 18002 clauses out of 36013 with flag 180000/6894800
636.31/633.71	c cleaning 18982 clauses out of 38011 with flag 200000/6914800
637.93/635.34	c cleaning 20008 clauses out of 40029 with flag 221000/6935800
639.63/637.04	c cleaning 21006 clauses out of 42021 with flag 243000/6957800
641.34/638.78	c cleaning 21995 clauses out of 44015 with flag 266000/6980800
643.25/640.67	c cleaning 23009 clauses out of 46020 with flag 290000/7004800
645.27/642.68	c cleaning 24002 clauses out of 48011 with flag 315000/7029800
647.28/644.68	c cleaning 24991 clauses out of 50009 with flag 341000/7055800
649.50/646.82	c cleaning 26006 clauses out of 52020 with flag 368002/7082802
651.72/649.01	c cleaning 26993 clauses out of 54014 with flag 396002/7110802
654.03/651.31	c cleaning 27998 clauses out of 56019 with flag 425000/7139800
656.35/653.67	c cleaning 29002 clauses out of 58022 with flag 455001/7169801
658.86/656.18	c cleaning 29984 clauses out of 60019 with flag 486000/7200800
661.47/658.78	c cleaning 31013 clauses out of 62035 with flag 518000/7232800
664.19/661.47	c cleaning 31987 clauses out of 64022 with flag 551000/7265800
667.10/664.34	c cleaning 33018 clauses out of 66035 with flag 585000/7299800
670.00/667.20	c cleaning 33986 clauses out of 68017 with flag 620000/7334800
672.93/670.15	c cleaning 35009 clauses out of 70032 with flag 656001/7370801
675.94/673.18	c cleaning 36010 clauses out of 72023 with flag 693001/7407801
679.04/676.21	c cleaning 36981 clauses out of 74012 with flag 731000/7445800
682.15/679.39	c cleaning 38002 clauses out of 76032 with flag 770001/7484801
685.46/682.62	c cleaning 38999 clauses out of 78029 with flag 810000/7524800
688.67/685.90	c cleaning 39998 clauses out of 80030 with flag 851000/7565800
692.27/689.43	c cleaning 41007 clauses out of 82032 with flag 893000/7607800
695.88/693.05	c cleaning 42007 clauses out of 84025 with flag 936000/7650800
699.48/696.62	c cleaning 43000 clauses out of 86019 with flag 980001/7694801
703.29/700.41	c cleaning 44004 clauses out of 88018 with flag 1025000/7739800
707.29/704.42	c cleaning 45004 clauses out of 90014 with flag 1071000/7785800
711.30/708.41	c cleaning 45999 clauses out of 92012 with flag 1118002/7832802
715.41/712.57	c cleaning 46990 clauses out of 94011 with flag 1166000/7880800
719.72/716.83	c cleaning 48002 clauses out of 96021 with flag 1215000/7929800
724.05/721.15	c cleaning 49000 clauses out of 98019 with flag 1265000/7979800
728.55/725.68	c cleaning 50010 clauses out of 100020 with flag 1316001/8030801
733.46/730.52	c cleaning 50993 clauses out of 102009 with flag 1368000/8082800
738.29/735.37	c cleaning 51993 clauses out of 104016 with flag 1421000/8135800
743.39/740.48	c cleaning 52987 clauses out of 106023 with flag 1475000/8189800
748.30/745.31	c cleaning 54010 clauses out of 108037 with flag 1530001/8244801
753.01/750.08	c cleaning 55009 clauses out of 110028 with flag 1586002/8300802
758.12/755.14	c cleaning 56006 clauses out of 112018 with flag 1643001/8357801
763.13/760.18	c cleaning 57005 clauses out of 114011 with flag 1701000/8415800
768.83/765.86	c cleaning 57994 clauses out of 116006 with flag 1760000/8474800
774.34/771.37	c cleaning 58985 clauses out of 118012 with flag 1820000/8534800
780.05/777.06	c cleaning 60012 clauses out of 120027 with flag 1881000/8595800
786.10/783.02	c cleaning 61000 clauses out of 122015 with flag 1943000/8657800
791.41/788.37	c cleaning 62005 clauses out of 124015 with flag 2006000/8720800
797.12/794.01	c cleaning 62993 clauses out of 126010 with flag 2070000/8784800
803.04/799.92	c cleaning 64003 clauses out of 128018 with flag 2135001/8849801
808.66/805.53	c cleaning 65004 clauses out of 130014 with flag 2201000/8915800
814.86/811.76	c cleaning 66001 clauses out of 132010 with flag 2268000/8982800
821.37/818.24	c cleaning 66994 clauses out of 134009 with flag 2336000/9050800
827.87/824.76	c cleaning 67976 clauses out of 136015 with flag 2405000/9119800
834.60/831.48	c cleaning 68988 clauses out of 138039 with flag 2475000/9189800
841.93/838.74	c cleaning 70021 clauses out of 140052 with flag 2546001/9260801
848.74/845.51	c cleaning 70997 clauses out of 142031 with flag 2618001/9332801
855.47/852.28	c cleaning 72010 clauses out of 144033 with flag 2691000/9405800
862.49/859.24	c cleaning 73008 clauses out of 146023 with flag 2765000/9479800
869.81/866.59	c cleaning 74005 clauses out of 148017 with flag 2840002/9554802
877.04/873.78	c cleaning 74977 clauses out of 150010 with flag 2916000/9630800
883.97/880.63	c cleaning 76011 clauses out of 152033 with flag 2993000/9707800
891.29/887.91	c cleaning 77001 clauses out of 154022 with flag 3071000/9785800
898.40/895.00	c cleaning 78004 clauses out of 156021 with flag 3150000/9864800
906.32/902.97	c cleaning 79005 clauses out of 158019 with flag 3230002/9944802
913.64/910.22	c cleaning 79968 clauses out of 160012 with flag 3311000/10025800
921.15/917.78	c cleaning 81003 clauses out of 162045 with flag 3393001/10107801
929.28/925.83	c cleaning 82014 clauses out of 164042 with flag 3476001/10190801
937.20/933.75	c cleaning 82999 clauses out of 166029 with flag 3560002/10274802
945.12/941.69	c cleaning 84000 clauses out of 168028 with flag 3645000/10359800
953.94/950.42	c cleaning 85010 clauses out of 170029 with flag 3731001/10445801
961.76/958.22	c cleaning 85971 clauses out of 172018 with flag 3818000/10532800
970.58/967.03	c cleaning 87017 clauses out of 174047 with flag 3906000/10620800
979.80/976.30	c cleaning 88004 clauses out of 176031 with flag 3995001/10709801
988.33/984.72	c cleaning 89004 clauses out of 178026 with flag 4085000/10799800
996.75/993.20	c cleaning 90002 clauses out of 180022 with flag 4176000/10890800
1005.26/1001.64	c cleaning 90990 clauses out of 182023 with flag 4268003/10982803
1013.97/1010.39	c cleaning 91992 clauses out of 184030 with flag 4361000/11075800
1023.07/1019.45	c cleaning 93003 clauses out of 186038 with flag 4455000/11169800
1032.48/1028.81	c cleaning 94006 clauses out of 188036 with flag 4550001/11264801
1042.03/1038.32	c cleaning 95001 clauses out of 190033 with flag 4646004/11360804
1051.44/1047.70	c cleaning 96008 clauses out of 192028 with flag 4743000/11457800
1059.95/1056.28	c cleaning 96994 clauses out of 194020 with flag 4841000/11555800
1069.78/1066.02	c cleaning 98010 clauses out of 196027 with flag 4940001/11654801
1079.61/1075.86	c cleaning 99003 clauses out of 198017 with flag 5040001/11754801
1089.72/1085.96	c cleaning 99997 clauses out of 200017 with flag 5141004/11855804
1100.04/1096.29	c cleaning 101000 clauses out of 202016 with flag 5243000/11957800
1110.27/1106.40	c cleaning 101977 clauses out of 204016 with flag 5346000/12060800
1120.49/1116.64	c cleaning 103009 clauses out of 206039 with flag 5450000/12164800
1131.11/1127.29	c cleaning 104012 clauses out of 208031 with flag 5555001/12269801
1141.97/1138.08	c cleaning 104994 clauses out of 210018 with flag 5661000/12375800
1153.31/1149.32	c cleaning 106008 clauses out of 212024 with flag 5768000/12482800
1165.13/1161.13	c cleaning 106982 clauses out of 214017 with flag 5876001/12590801
1176.56/1172.51	c cleaning 108019 clauses out of 216037 with flag 5985003/12699803
1188.36/1184.33	c cleaning 108998 clauses out of 218015 with flag 6095000/12809800
1199.78/1195.70	c cleaning 109988 clauses out of 220017 with flag 6206000/12920800
1211.40/1207.31	c cleaning 111014 clauses out of 222029 with flag 6318000/13032800
1223.51/1219.41	c cleaning 111993 clauses out of 224015 with flag 6431000/13145800
1235.82/1231.72	c cleaning 112996 clauses out of 226023 with flag 6545001/13259801
1247.83/1243.78	c cleaning 114005 clauses out of 228026 with flag 6660000/13374800
1259.84/1255.79	c cleaning 115009 clauses out of 230021 with flag 6776000/13490800
1272.55/1268.47	c cleaning 116002 clauses out of 232015 with flag 6893003/13607803
1284.59/1280.42	c cleaning 117003 clauses out of 234010 with flag 7011000/13725800
1297.59/1293.42	c cleaning 117998 clauses out of 236008 with flag 7130001/13844801
1310.42/1306.23	c cleaning 119000 clauses out of 238009 with flag 7250000/13964800
1322.84/1318.61	c cleaning 119994 clauses out of 240010 with flag 7371001/14085801
1336.77/1332.57	c cleaning 120994 clauses out of 242015 with flag 7493000/14207800
1350.91/1346.69	c cleaning 121991 clauses out of 244021 with flag 7616000/14330800
1365.72/1361.47	c cleaning 123013 clauses out of 246030 with flag 7740000/14454800
1380.36/1376.09	c cleaning 123986 clauses out of 248017 with flag 7865000/14579800
1394.37/1390.05	c cleaning 125009 clauses out of 250032 with flag 7991001/14705801
1407.80/1403.46	c cleaning 126004 clauses out of 252023 with flag 8118001/14832801
1422.01/1417.63	c cleaning 127007 clauses out of 254019 with flag 8246001/14960801
1435.44/1431.09	c cleaning 127995 clauses out of 256011 with flag 8375000/15089800
1447.97/1443.58	c cleaning 128991 clauses out of 258018 with flag 8505002/15219802
1462.01/1457.58	c cleaning 129999 clauses out of 260025 with flag 8636000/15350800
1477.72/1473.26	c cleaning 130996 clauses out of 262026 with flag 8768000/15482800
1493.14/1488.64	c cleaning 132000 clauses out of 264030 with flag 8901000/15615800
1509.57/1505.08	c cleaning 133005 clauses out of 266030 with flag 9035000/15749800
1525.80/1521.24	c cleaning 134004 clauses out of 268025 with flag 9170000/15884800
1542.61/1538.08	c cleaning 134985 clauses out of 270022 with flag 9306001/16020801
1559.24/1554.68	c cleaning 136002 clauses out of 272037 with flag 9443001/16157801
1575.45/1570.87	c cleaning 136981 clauses out of 274036 with flag 9581002/16295802
1592.55/1587.91	c cleaning 138021 clauses out of 276054 with flag 9720001/16434801
1609.17/1604.59	c cleaning 139012 clauses out of 278032 with flag 9860000/16574800
1626.91/1622.25	c cleaning 139982 clauses out of 280020 with flag 10001000/16715800
1642.94/1638.23	c cleaning 141012 clauses out of 282038 with flag 10143000/16857800
1652.78/1648.06	c Got one! Elapsed wall clock time (in seconds):1647.936
1652.78/1648.06	o 27956
1654.00/1649.23	c cleaning 128111 clauses out of 256235 with flag 5001/16973009
1654.93/1650.17	c cleaning 67056 clauses out of 134123 with flag 11000/16979008
1655.43/1650.68	c cleaning 37021 clauses out of 74067 with flag 18000/16986008
1655.94/1651.13	c cleaning 22515 clauses out of 45046 with flag 26000/16994008
1656.34/1651.57	c cleaning 15757 clauses out of 31532 with flag 35001/17003009
1656.87/1652.05	c cleaning 12876 clauses out of 25774 with flag 45000/17013008
1657.39/1652.58	c cleaning 11935 clauses out of 23898 with flag 56000/17024008
1657.99/1653.16	c cleaning 11974 clauses out of 23964 with flag 68001/17036009
1658.70/1653.80	c cleaning 12489 clauses out of 24991 with flag 81002/17049010
1659.41/1654.54	c cleaning 13236 clauses out of 26500 with flag 95000/17063008
1660.22/1655.30	c cleaning 14120 clauses out of 28264 with flag 110000/17078008
1660.94/1656.09	c cleaning 15064 clauses out of 30144 with flag 126000/17094008
1661.86/1656.96	c cleaning 16031 clauses out of 32081 with flag 143001/17111009
1662.87/1657.94	c cleaning 17009 clauses out of 34049 with flag 161000/17129008
1663.78/1658.90	c cleaning 18011 clauses out of 36040 with flag 180000/17148008
1664.78/1659.90	c cleaning 19008 clauses out of 38031 with flag 200002/17168010
1664.89/1659.93	c Got one! Elapsed wall clock time (in seconds):1659.81
1664.89/1659.93	o 27936
1664.89/1659.94	c Got one! Elapsed wall clock time (in seconds):1659.814
1664.89/1659.94	o 27918
1664.89/1659.94	c Got one! Elapsed wall clock time (in seconds):1659.817
1664.89/1659.94	o 27860
1664.89/1659.96	c Got one! Elapsed wall clock time (in seconds):1659.835
1664.89/1659.96	o 26912
1664.89/1659.96	c Got one! Elapsed wall clock time (in seconds):1659.838
1664.89/1659.96	o 26674
1665.10/1660.17	c cleaning 12512 clauses out of 25048 with flag 5000/17174035
1665.41/1660.42	c cleaning 9256 clauses out of 18536 with flag 11000/17180035
1665.73/1660.72	c cleaning 8131 clauses out of 16280 with flag 18000/17187035
1666.05/1661.08	c cleaning 8068 clauses out of 16149 with flag 26000/17195035
1666.47/1661.49	c cleaning 8529 clauses out of 17081 with flag 35000/17204035
1666.98/1661.94	c cleaning 9266 clauses out of 18552 with flag 45000/17214035
1667.49/1662.44	c cleaning 10139 clauses out of 20287 with flag 56001/17225036
1668.09/1663.02	c cleaning 11069 clauses out of 22149 with flag 68002/17237037
1668.71/1663.69	c cleaning 12031 clauses out of 24080 with flag 81002/17250037
1669.43/1664.37	c cleaning 13007 clauses out of 26048 with flag 95001/17264036
1670.22/1665.18	c cleaning 14013 clauses out of 28040 with flag 110000/17279035
1671.13/1666.04	c cleaning 15005 clauses out of 30027 with flag 126000/17295035
1672.06/1666.96	c cleaning 16001 clauses out of 32024 with flag 143002/17312037
1673.17/1668.02	c cleaning 17000 clauses out of 34021 with flag 161000/17330035
1674.29/1669.16	c cleaning 18000 clauses out of 36021 with flag 180000/17349035
1675.50/1670.32	c cleaning 18997 clauses out of 38021 with flag 200000/17369035
1676.80/1671.61	c cleaning 20000 clauses out of 40024 with flag 221000/17390035
1678.71/1673.56	c cleaning 21012 clauses out of 42025 with flag 243001/17412036
1680.72/1675.56	c cleaning 21996 clauses out of 44012 with flag 266000/17435035
1682.83/1677.61	c cleaning 23007 clauses out of 46016 with flag 290000/17459035
1684.96/1679.78	c cleaning 24000 clauses out of 48014 with flag 315005/17484040
1687.26/1682.02	c cleaning 25001 clauses out of 50009 with flag 341000/17510035
1689.57/1684.33	c cleaning 25996 clauses out of 52008 with flag 368000/17537035
1691.98/1686.76	c cleaning 27003 clauses out of 54012 with flag 396000/17565035
1694.63/1689.32	c cleaning 28002 clauses out of 56009 with flag 425000/17594035
1697.23/1691.91	c cleaning 28994 clauses out of 58008 with flag 455001/17624036
1699.84/1694.52	c cleaning 30003 clauses out of 60013 with flag 486000/17655035
1702.44/1697.20	c cleaning 31003 clauses out of 62011 with flag 518001/17687036
1705.26/1699.98	c cleaning 32000 clauses out of 64007 with flag 551000/17720035
1708.28/1702.90	c cleaning 32995 clauses out of 66007 with flag 585000/17754035
1711.20/1705.89	c cleaning 34006 clauses out of 68012 with flag 620000/17789035
1714.51/1709.10	c cleaning 34992 clauses out of 70006 with flag 656000/17825035
1717.82/1712.41	c cleaning 36002 clauses out of 72014 with flag 693000/17862035
1721.12/1715.71	c cleaning 36996 clauses out of 74012 with flag 731000/17900035
1724.65/1719.24	c cleaning 37997 clauses out of 76016 with flag 770000/17939035
1728.17/1722.76	c cleaning 39007 clauses out of 78021 with flag 810002/17979037
1731.98/1726.54	c cleaning 40005 clauses out of 80012 with flag 851000/18020035
1735.99/1730.50	c cleaning 40999 clauses out of 82007 with flag 893000/18062035
1740.01/1734.54	c cleaning 41998 clauses out of 84008 with flag 936000/18105035
1744.14/1738.64	c cleaning 42999 clauses out of 86010 with flag 980000/18149035
1748.55/1743.00	c cleaning 43997 clauses out of 88012 with flag 1025001/18194036
1752.96/1747.40	c cleaning 45008 clauses out of 90015 with flag 1071001/18240036
1757.60/1752.05	c cleaning 45984 clauses out of 92006 with flag 1118000/18287035
1762.02/1756.41	c cleaning 47000 clauses out of 94023 with flag 1166001/18335036
1766.54/1760.98	c cleaning 48001 clauses out of 96022 with flag 1215000/18384035
1770.96/1765.30	c cleaning 49004 clauses out of 98021 with flag 1265000/18434035
1775.67/1770.06	c cleaning 50003 clauses out of 100017 with flag 1316000/18485035
1780.48/1774.80	c cleaning 50999 clauses out of 102016 with flag 1368002/18537037
1785.20/1779.51	c cleaning 51994 clauses out of 104015 with flag 1421000/18590035
1790.00/1784.32	c cleaning 53011 clauses out of 106021 with flag 1475000/18644035
1794.82/1789.13	c cleaning 53998 clauses out of 108012 with flag 1530002/18699037
1799.75/1794.05	c cleaning 54999 clauses out of 110012 with flag 1586000/18755035
1800.07/1794.31	c starts		: 363
1800.07/1794.31	c conflicts		: 18758232
1800.07/1794.31	c decisions		: 89061163
1800.07/1794.31	c propagations		: 3694804380
1800.07/1794.31	c inspects		: 10227654398
1800.07/1794.31	c shortcuts		: 0
1800.07/1794.31	c learnt literals	: 0
1800.07/1794.31	c learnt binary clauses	: 0
1800.07/1794.31	c learnt ternary clauses	: 0
1800.07/1794.31	c learnt constraints	: 18758234
1800.07/1794.31	c ignored constraints	: 0
1800.07/1794.31	c root simplifications	: 0
1800.07/1794.31	c removed literals (reason simplification)	: 0
1800.07/1794.31	c reason swapping (by a shorter reason)	: 0
1800.07/1794.31	c Calls to reduceDB	: 322
1800.07/1794.31	c number of reductions to clauses (during analyze)	: 0
1800.07/1794.31	c number of learned constraints concerned by reduction	: 0
1800.07/1794.31	c number of learning phase by resolution	: 0
1800.07/1794.31	c number of learning phase by cutting planes	: 0
1800.07/1794.31	c speed (assignments/second)	: 2059449.7729748047
1800.07/1794.31	c non guided choices	0
1800.07/1794.33	c learnt constraints type 
1800.07/1794.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 58501
1800.07/1794.33	c constraints type 
1800.07/1794.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 292
1800.07/1794.33	c org.sat4j.minisat.constraints.cnf.UnitClause => 4
1800.07/1794.33	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 738
1800.07/1794.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.07/1794.33	c 1035 constraints processed.
1800.07/1794.33	s SATISFIABLE
1800.07/1794.33	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 x641 x642 x643 -x644 
1800.07/1794.33	c objective function=26674
1800.07/1794.33	c Total wall clock time (in seconds): 1794.21

Verifier Data 

OK	26674

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-3688479-1337884493/watcher-3688479-1337884493 -o /tmp/evaluation-result-3688479-1337884493/solver-3688479-1337884493 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688479-1337884493.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.92 1.98 1.99 3/195 24158
/proc/meminfo: memFree=28309420/32873648 swapFree=6848/6848
[pid=24158] ppid=24156 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/24158/stat : 24158 (java) D 24156 24158 22635 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 254576135 2560000 46 33554432000 1073741824 1073778376 140735742109600 140735742106728 213183982887 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/24158/statm: 625 46 37 9 0 29 0

[startup+0.0524429 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 24158
/proc/meminfo: memFree=28309420/32873648 swapFree=6848/6848
[pid=24158] ppid=24156 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/24158/stat : 24158 (java) S 24156 24158 22635 0 -1 4202496 3038 0 1 0 2 0 0 0 20 0 13 0 254576135 9446973440 3736 33554432000 1073741824 1073778376 140737468148288 140737468139424 213196505149 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24158/statm: 2306390 3736 1695 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100261 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 24158
/proc/meminfo: memFree=28309420/32873648 swapFree=6848/6848
[pid=24158] ppid=24156 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/24158/stat : 24158 (java) S 24156 24158 22635 0 -1 4202496 3905 0 1 0 6 1 0 0 20 0 18 0 254576135 9787813888 5114 33554432000 1073741824 1073778376 140737468148288 140737468139424 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24158/statm: 2389603 5118 2035 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.30022 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 24158
/proc/meminfo: memFree=28309420/32873648 swapFree=6848/6848
[pid=24158] ppid=24156 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/24158/stat : 24158 (java) S 24156 24158 22635 0 -1 4202496 6636 0 1 0 42 2 0 0 20 0 19 0 254576135 9855975424 8112 33554432000 1073741824 1073778376 140737468148288 140737468139424 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24158/statm: 2406244 8112 2230 9 0 2396937 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9624976

[startup+0.700197 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 24158
/proc/meminfo: memFree=28309420/32873648 swapFree=6848/6848
[pid=24158] ppid=24156 vsize=9624976 CPUtime=1.05 cores=0,2,4,6
/proc/24158/stat : 24158 (java) S 24156 24158 22635 0 -1 4202496 7381 0 1 0 103 2 0 0 20 0 19 0 254576135 9855975424 8714 33554432000 1073741824 1073778376 140737468148288 140737468139424 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24158/statm: 2406244 8714 2239 9 0 2396937 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 9624976

[startup+1.50072 s]
/proc/loadavg: 1.92 1.98 1.99 3/214 24177
/proc/meminfo: memFree=28276452/32873648 swapFree=6848/6848
[pid=24158] ppid=24156 vsize=9624976 CPUtime=1.93 cores=0,2,4,6
/proc/24158/stat : 24158 (java) S 24156 24158 22635 0 -1 4202496 7480 0 1 0 190 3 0 0 20 0 19 0 254576135 9855975424 10307 33554432000 1073741824 1073778376 140737468148288 140737468139424 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24158/statm: 2406244 10307 2271 9 0 2396937 0
[pid=24158/tid=24160] ppid=24156 vsize=9624976 CPUtime=1.43 cores=0,2,4,6
/proc/24158/task/24160/stat : 24160 (java) R 24156 24158 22635 0 -1 4202560 2476 0 1 0 142 1 0 0 20 0 19 0 254576136 9855975424 10307 33554432000 1073741824 1073778376 140737468148288 139764684001568 139764557007236 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24161] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24161/stat : 24161 (java) S 24156 24158 22635 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 10307 33554432000 1073741824 1073778376 140737468148288 139764527999272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24162] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24162/stat : 24162 (java) S 24156 24158 22635 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 10307 33554432000 1073741824 1073778376 140737468148288 139764526946472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24163] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24163/stat : 24163 (java) S 24156 24158 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 10307 33554432000 1073741824 1073778376 140737468148288 139764525894184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24158/tid=24164] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24164/stat : 24164 (java) S 24156 24158 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 10307 33554432000 1073741824 1073778376 140737468148288 139764524841384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24165] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24165/stat : 24165 (java) S 24156 24158 22635 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 10307 33554432000 1073741824 1073778376 140737468148288 139764523789096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24166] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24166/stat : 24166 (java) S 24156 24158 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 10307 33554432000 1073741824 1073778376 140737468148288 139764522736296 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24167] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24167/stat : 24167 (java) S 24156 24158 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 10307 33554432000 1073741824 1073778376 140737468148288 139764521684008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24168] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24168/stat : 24168 (java) S 24156 24158 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 10307 33554432000 1073741824 1073778376 140737468148288 139764520631208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24169] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24169/stat : 24169 (java) S 24156 24158 22635 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 254576139 9855975424 10307 33554432000 1073741824 1073778376 140737468148288 139764508219624 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24170] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24170/stat : 24170 (java) S 24156 24158 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254576139 9855975424 10307 33554432000 1073741824 1073778376 140737468148288 139764507165688 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24171] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24171/stat : 24171 (java) S 24156 24158 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254576139 9855975424 10307 33554432000 1073741824 1073778376 140737468148288 139764506113288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24172] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24172/stat : 24172 (java) S 24156 24158 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576142 9855975424 10307 33554432000 1073741824 1073778376 140737468148288 139764505061776 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24173] ppid=24156 vsize=9624976 CPUtime=0.21 cores=0,2,4,6
/proc/24158/task/24173/stat : 24173 (java) S 24156 24158 22635 0 -1 4202560 1722 0 0 0 21 0 0 0 20 0 19 0 254576142 9855975424 10307 33554432000 1073741824 1073778376 140737468148288 139764504009400 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24174] ppid=24156 vsize=9624976 CPUtime=0.21 cores=0,2,4,6
/proc/24158/task/24174/stat : 24174 (java) S 24156 24158 22635 0 -1 4202560 2039 0 0 0 21 0 0 0 20 0 19 0 254576142 9855975424 10307 33554432000 1073741824 1073778376 140737468148288 139764502956600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24175] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24175/stat : 24175 (java) S 24156 24158 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576142 9855975424 10307 33554432000 1073741824 1073778376 140737468148288 139764501904504 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24176] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24176/stat : 24176 (java) S 24156 24158 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576142 9855975424 10307 33554432000 1073741824 1073778376 140737468148288 139764500851912 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24177] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24177/stat : 24177 (java) S 24156 24158 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254576159 9855975424 10307 33554432000 1073741824 1073778376 140737468148288 139764499796904 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 9624976

[startup+3.10065 s]
/proc/loadavg: 1.92 1.98 1.99 3/214 24177
/proc/meminfo: memFree=28275832/32873648 swapFree=6848/6848
[pid=24158] ppid=24156 vsize=9624976 CPUtime=3.56 cores=0,2,4,6
/proc/24158/stat : 24158 (java) S 24156 24158 22635 0 -1 4202496 7509 0 1 0 353 3 0 0 20 0 19 0 254576135 9855975424 10843 33554432000 1073741824 1073778376 140737468148288 140737468139424 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24158/statm: 2406244 10843 2271 9 0 2396937 0
[pid=24158/tid=24160] ppid=24156 vsize=9624976 CPUtime=3.01 cores=0,2,4,6
/proc/24158/task/24160/stat : 24160 (java) R 24156 24158 22635 0 -1 4202560 2476 0 1 0 300 1 0 0 20 0 19 0 254576136 9855975424 10843 33554432000 1073741824 1073778376 140737468148288 139764684001688 139764556595113 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24161] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24161/stat : 24161 (java) S 24156 24158 22635 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 10843 33554432000 1073741824 1073778376 140737468148288 139764527999272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24162] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24162/stat : 24162 (java) S 24156 24158 22635 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 10843 33554432000 1073741824 1073778376 140737468148288 139764526946472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24163] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24163/stat : 24163 (java) S 24156 24158 22635 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 10843 33554432000 1073741824 1073778376 140737468148288 139764525894184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24158/tid=24164] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24164/stat : 24164 (java) S 24156 24158 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 10843 33554432000 1073741824 1073778376 140737468148288 139764524841384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24165] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24165/stat : 24165 (java) S 24156 24158 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 10843 33554432000 1073741824 1073778376 140737468148288 139764523789096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24166] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24166/stat : 24166 (java) S 24156 24158 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 10843 33554432000 1073741824 1073778376 140737468148288 139764522736296 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24167] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24167/stat : 24167 (java) S 24156 24158 22635 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 10843 33554432000 1073741824 1073778376 140737468148288 139764521684008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24168] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24168/stat : 24168 (java) S 24156 24158 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 10843 33554432000 1073741824 1073778376 140737468148288 139764520631208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24158/tid=24169] ppid=24156 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/24158/task/24169/stat : 24169 (java) S 24156 24158 22635 0 -1 4202560 29 0 0 0 2 0 0 0 20 0 19 0 254576139 9855975424 10843 33554432000 1073741824 1073778376 140737468148288 139764508219624 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24170] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24170/stat : 24170 (java) S 24156 24158 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254576139 9855975424 10843 33554432000 1073741824 1073778376 140737468148288 139764507165688 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24171] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24171/stat : 24171 (java) S 24156 24158 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254576139 9855975424 10843 33554432000 1073741824 1073778376 140737468148288 139764506113288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24172] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24172/stat : 24172 (java) S 24156 24158 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576142 9855975424 10843 33554432000 1073741824 1073778376 140737468148288 139764505061776 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24173] ppid=24156 vsize=9624976 CPUtime=0.23 cores=0,2,4,6
/proc/24158/task/24173/stat : 24173 (java) S 24156 24158 22635 0 -1 4202560 1725 0 0 0 23 0 0 0 20 0 19 0 254576142 9855975424 10843 33554432000 1073741824 1073778376 140737468148288 139764504009400 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24174] ppid=24156 vsize=9624976 CPUtime=0.22 cores=0,2,4,6
/proc/24158/task/24174/stat : 24174 (java) S 24156 24158 22635 0 -1 4202560 2039 0 0 0 22 0 0 0 20 0 19 0 254576142 9855975424 10843 33554432000 1073741824 1073778376 140737468148288 139764502956600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24175] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24175/stat : 24175 (java) S 24156 24158 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576142 9855975424 10843 33554432000 1073741824 1073778376 140737468148288 139764501904504 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24176] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24176/stat : 24176 (java) S 24156 24158 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576142 9855975424 10843 33554432000 1073741824 1073778376 140737468148288 139764500851912 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24177] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24177/stat : 24177 (java) S 24156 24158 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254576159 9855975424 10843 33554432000 1073741824 1073778376 140737468148288 139764499796904 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 9624976

[startup+6.30065 s]
/proc/loadavg: 1.93 1.98 1.99 3/214 24177
/proc/meminfo: memFree=28270872/32873648 swapFree=6848/6848
[pid=24158] ppid=24156 vsize=9624976 CPUtime=6.89 cores=0,2,4,6
/proc/24158/stat : 24158 (java) S 24156 24158 22635 0 -1 4202496 10249 0 1 0 686 3 0 0 20 0 19 0 254576135 9855975424 11321 33554432000 1073741824 1073778376 140737468148288 140737468139424 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24158/statm: 2406244 11321 2272 9 0 2396937 0
[pid=24158/tid=24160] ppid=24156 vsize=9624976 CPUtime=6.13 cores=0,2,4,6
/proc/24158/task/24160/stat : 24160 (java) R 24156 24158 22635 0 -1 4202560 2483 0 1 0 612 1 0 0 20 0 19 0 254576136 9855975424 11321 33554432000 1073741824 1073778376 140737468148288 139764684001688 139764557078272 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24161] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24161/stat : 24161 (java) S 24156 24158 22635 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 11321 33554432000 1073741824 1073778376 140737468148288 139764527999272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24162] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24162/stat : 24162 (java) S 24156 24158 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 11321 33554432000 1073741824 1073778376 140737468148288 139764526946472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24163] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24163/stat : 24163 (java) S 24156 24158 22635 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 11321 33554432000 1073741824 1073778376 140737468148288 139764525894184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24158/tid=24164] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24164/stat : 24164 (java) S 24156 24158 22635 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 11321 33554432000 1073741824 1073778376 140737468148288 139764524841384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24165] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24165/stat : 24165 (java) S 24156 24158 22635 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 11321 33554432000 1073741824 1073778376 140737468148288 139764523789096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24166] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24166/stat : 24166 (java) S 24156 24158 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 11321 33554432000 1073741824 1073778376 140737468148288 139764522736296 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24167] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24167/stat : 24167 (java) S 24156 24158 22635 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 11321 33554432000 1073741824 1073778376 140737468148288 139764521684008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24168] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24168/stat : 24168 (java) S 24156 24158 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254576138 9855975424 11321 33554432000 1073741824 1073778376 140737468148288 139764520631208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24158/tid=24169] ppid=24156 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/24158/task/24169/stat : 24169 (java) S 24156 24158 22635 0 -1 4202560 31 0 0 0 7 0 0 0 20 0 19 0 254576139 9855975424 11321 33554432000 1073741824 1073778376 140737468148288 139764508219624 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24170] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24170/stat : 24170 (java) S 24156 24158 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254576139 9855975424 11321 33554432000 1073741824 1073778376 140737468148288 139764507165688 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24171] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24171/stat : 24171 (java) S 24156 24158 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254576139 9855975424 11321 33554432000 1073741824 1073778376 140737468148288 139764506113288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24172] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24172/stat : 24172 (java) S 24156 24158 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576142 9855975424 11321 33554432000 1073741824 1073778376 140737468148288 139764505061776 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24173] ppid=24156 vsize=9624976 CPUtime=0.27 cores=0,2,4,6
/proc/24158/task/24173/stat : 24173 (java) S 24156 24158 22635 0 -1 4202560 1745 0 0 0 27 0 0 0 20 0 19 0 254576142 9855975424 11321 33554432000 1073741824 1073778376 140737468148288 139764504009400 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24174] ppid=24156 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/24158/task/24174/stat : 24174 (java) S 24156 24158 22635 0 -1 4202560 4737 0 0 0 30 2 0 0 20 0 19 0 254576142 9855975424 11321 33554432000 1073741824 1073778376 140737468148288 139764502956600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24175] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24175/stat : 24175 (java) S 24156 24158 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576142 9855975424 11321 33554432000 1073741824 1073778376 140737468148288 139764501904504 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24176] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24176/stat : 24176 (java) S 24156 24158 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576142 9855975424 11321 33554432000 1073741824 1073778376 140737468148288 139764500851912 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24177] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24177/stat : 24177 (java) S 24156 24158 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254576159 9855975424 11321 33554432000 1073741824 1073778376 140737468148288 139764499796904 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=24158/tid=24173] ppid=24156 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/24158/task/24173/stat : 24173 (java) S 24156 24158 22635 0 -1 4202560 1747 0 0 0 29 0 0 0 20 0 19 0 254576142 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764504009400 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24174] ppid=24156 vsize=9624976 CPUtime=0.35 cores=0,2,4,6
/proc/24158/task/24174/stat : 24174 (java) S 24156 24158 22635 0 -1 4202560 4795 0 0 0 33 2 0 0 20 0 19 0 254576142 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764502956600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24175] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24175/stat : 24175 (java) S 24156 24158 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576142 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764501904504 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24176] ppid=24156 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/24158/task/24176/stat : 24176 (java) S 24156 24158 22635 0 -1 4202560 98 0 0 0 22 21 0 0 20 0 19 0 254576142 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764500851912 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24177] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24177/stat : 24177 (java) S 24156 24158 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254576159 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764499796904 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1727.77
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/213 24275
/proc/meminfo: memFree=28145180/32873648 swapFree=6848/6848
[pid=24158] ppid=24156 vsize=9624976 CPUtime=1788 cores=0,2,4,6
/proc/24158/stat : 24158 (java) S 24156 24158 22635 0 -1 4202496 12241 0 1 0 178765 35 0 0 20 0 19 0 254576135 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 140737468139424 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24158/statm: 2406244 34765 2273 9 0 2396937 0
[pid=24158/tid=24160] ppid=24156 vsize=9624976 CPUtime=1765.84 cores=0,2,4,6
/proc/24158/task/24160/stat : 24160 (java) R 24156 24158 22635 0 -1 4202560 2805 0 1 0 176555 29 0 0 20 0 19 0 254576136 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764684001568 139764557085724 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24161] ppid=24156 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/24158/task/24161/stat : 24161 (java) S 24156 24158 22635 0 -1 4202560 229 0 0 0 88 2 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764527999272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24162] ppid=24156 vsize=9624976 CPUtime=0.91 cores=0,2,4,6
/proc/24158/task/24162/stat : 24162 (java) S 24156 24158 22635 0 -1 4202560 265 0 0 0 89 2 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764526946472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24163] ppid=24156 vsize=9624976 CPUtime=0.96 cores=0,2,4,6
/proc/24158/task/24163/stat : 24163 (java) S 24156 24158 22635 0 -1 4202560 212 0 0 0 94 2 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764525894184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24164] ppid=24156 vsize=9624976 CPUtime=0.91 cores=0,2,4,6
/proc/24158/task/24164/stat : 24164 (java) S 24156 24158 22635 0 -1 4202560 145 0 0 0 89 2 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764524841384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24165] ppid=24156 vsize=9624976 CPUtime=0.94 cores=0,2,4,6
/proc/24158/task/24165/stat : 24165 (java) S 24156 24158 22635 0 -1 4202560 167 0 0 0 92 2 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764523789096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24158/tid=24166] ppid=24156 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/24158/task/24166/stat : 24166 (java) S 24156 24158 22635 0 -1 4202560 143 0 0 0 85 2 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764522736296 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24158/tid=24167] ppid=24156 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/24158/task/24167/stat : 24167 (java) S 24156 24158 22635 0 -1 4202560 191 0 0 0 84 2 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764521684008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24168] ppid=24156 vsize=9624976 CPUtime=0.97 cores=0,2,4,6
/proc/24158/task/24168/stat : 24168 (java) S 24156 24158 22635 0 -1 4202560 110 0 0 0 97 0 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764520631208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24158/tid=24169] ppid=24156 vsize=9624976 CPUtime=9.49 cores=0,2,4,6
/proc/24158/task/24169/stat : 24169 (java) S 24156 24158 22635 0 -1 4202560 150 0 0 0 947 2 0 0 20 0 19 0 254576139 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764508219624 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24170] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24170/stat : 24170 (java) S 24156 24158 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254576139 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764507165688 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24171] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24171/stat : 24171 (java) S 24156 24158 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254576139 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764506113288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24172] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24172/stat : 24172 (java) S 24156 24158 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576142 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764505061776 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24173] ppid=24156 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/24158/task/24173/stat : 24173 (java) S 24156 24158 22635 0 -1 4202560 1747 0 0 0 29 0 0 0 20 0 19 0 254576142 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764504009400 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24174] ppid=24156 vsize=9624976 CPUtime=0.35 cores=0,2,4,6
/proc/24158/task/24174/stat : 24174 (java) S 24156 24158 22635 0 -1 4202560 4795 0 0 0 33 2 0 0 20 0 19 0 254576142 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764502956600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24175] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24175/stat : 24175 (java) S 24156 24158 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576142 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764501904504 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24176] ppid=24156 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/24158/task/24176/stat : 24176 (java) S 24156 24158 22635 0 -1 4202560 102 0 0 0 23 22 0 0 20 0 19 0 254576142 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764500851912 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24177] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24177/stat : 24177 (java) S 24156 24158 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254576159 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764499796904 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1788
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.3 s]
/proc/loadavg: 1.99 1.97 1.99 4/213 24275
/proc/meminfo: memFree=28145428/32873648 swapFree=6848/6848
[pid=24158] ppid=24156 vsize=9624976 CPUtime=1800.07 cores=0,2,4,6
/proc/24158/stat : 24158 (java) S 24156 24158 22635 0 -1 4202496 12244 0 1 0 179971 36 0 0 20 0 19 0 254576135 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 140737468139424 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24158/statm: 2406244 34765 2273 9 0 2396937 0
[pid=24158/tid=24160] ppid=24156 vsize=9624976 CPUtime=1777.69 cores=0,2,4,6
/proc/24158/task/24160/stat : 24160 (java) R 24156 24158 22635 0 -1 4202560 2808 0 1 0 177739 30 0 0 20 0 19 0 254576136 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764684001688 139764557008416 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24161] ppid=24156 vsize=9624976 CPUtime=0.91 cores=0,2,4,6
/proc/24158/task/24161/stat : 24161 (java) S 24156 24158 22635 0 -1 4202560 229 0 0 0 89 2 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764527999272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24162] ppid=24156 vsize=9624976 CPUtime=0.93 cores=0,2,4,6
/proc/24158/task/24162/stat : 24162 (java) S 24156 24158 22635 0 -1 4202560 265 0 0 0 90 3 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764526946472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24158/tid=24163] ppid=24156 vsize=9624976 CPUtime=0.97 cores=0,2,4,6
/proc/24158/task/24163/stat : 24163 (java) S 24156 24158 22635 0 -1 4202560 212 0 0 0 95 2 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764525894184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24164] ppid=24156 vsize=9624976 CPUtime=0.91 cores=0,2,4,6
/proc/24158/task/24164/stat : 24164 (java) S 24156 24158 22635 0 -1 4202560 145 0 0 0 89 2 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764524841384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24165] ppid=24156 vsize=9624976 CPUtime=0.95 cores=0,2,4,6
/proc/24158/task/24165/stat : 24165 (java) S 24156 24158 22635 0 -1 4202560 167 0 0 0 93 2 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764523789096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24158/tid=24166] ppid=24156 vsize=9624976 CPUtime=0.88 cores=0,2,4,6
/proc/24158/task/24166/stat : 24166 (java) S 24156 24158 22635 0 -1 4202560 143 0 0 0 86 2 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764522736296 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24158/tid=24167] ppid=24156 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/24158/task/24167/stat : 24167 (java) S 24156 24158 22635 0 -1 4202560 191 0 0 0 85 2 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764521684008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24168] ppid=24156 vsize=9624976 CPUtime=0.99 cores=0,2,4,6
/proc/24158/task/24168/stat : 24168 (java) S 24156 24158 22635 0 -1 4202560 110 0 0 0 99 0 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764520631208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24169] ppid=24156 vsize=9624976 CPUtime=9.59 cores=0,2,4,6
/proc/24158/task/24169/stat : 24169 (java) S 24156 24158 22635 0 -1 4202560 150 0 0 0 957 2 0 0 20 0 19 0 254576139 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764508219624 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24170] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24170/stat : 24170 (java) S 24156 24158 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254576139 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764507165688 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24171] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24171/stat : 24171 (java) S 24156 24158 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254576139 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764506113288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24172] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24172/stat : 24172 (java) S 24156 24158 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576142 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764505061776 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24173] ppid=24156 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/24158/task/24173/stat : 24173 (java) S 24156 24158 22635 0 -1 4202560 1747 0 0 0 29 0 0 0 20 0 19 0 254576142 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764504009400 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24174] ppid=24156 vsize=9624976 CPUtime=0.35 cores=0,2,4,6
/proc/24158/task/24174/stat : 24174 (java) S 24156 24158 22635 0 -1 4202560 4795 0 0 0 33 2 0 0 20 0 19 0 254576142 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764502956600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24175] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24175/stat : 24175 (java) S 24156 24158 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576142 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764501904504 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24176] ppid=24156 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/24158/task/24176/stat : 24176 (java) S 24156 24158 22635 0 -1 4202560 102 0 0 0 23 22 0 0 20 0 19 0 254576142 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764500851912 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24177] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24177/stat : 24177 (java) S 24156 24158 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254576159 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764499796904 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1794.3 s]
/proc/loadavg: 1.99 1.97 1.99 4/213 24275
/proc/meminfo: memFree=28145428/32873648 swapFree=6848/6848
[pid=24158] ppid=24156 vsize=9624976 CPUtime=1800.07 cores=0,2,4,6
/proc/24158/stat : 24158 (java) S 24156 24158 22635 0 -1 4202496 12244 0 1 0 179971 36 0 0 20 0 19 0 254576135 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 140737468139424 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24158/statm: 2406244 34765 2273 9 0 2396937 0
[pid=24158/tid=24160] ppid=24156 vsize=9624976 CPUtime=1777.69 cores=0,2,4,6
/proc/24158/task/24160/stat : 24160 (java) R 24156 24158 22635 0 -1 4202560 2808 0 1 0 177739 30 0 0 20 0 19 0 254576136 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764684001688 139764557008416 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24161] ppid=24156 vsize=9624976 CPUtime=0.91 cores=0,2,4,6
/proc/24158/task/24161/stat : 24161 (java) S 24156 24158 22635 0 -1 4202560 229 0 0 0 89 2 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764527999272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24162] ppid=24156 vsize=9624976 CPUtime=0.93 cores=0,2,4,6
/proc/24158/task/24162/stat : 24162 (java) S 24156 24158 22635 0 -1 4202560 265 0 0 0 90 3 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764526946472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24158/tid=24163] ppid=24156 vsize=9624976 CPUtime=0.97 cores=0,2,4,6
/proc/24158/task/24163/stat : 24163 (java) S 24156 24158 22635 0 -1 4202560 212 0 0 0 95 2 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764525894184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24164] ppid=24156 vsize=9624976 CPUtime=0.91 cores=0,2,4,6
/proc/24158/task/24164/stat : 24164 (java) S 24156 24158 22635 0 -1 4202560 145 0 0 0 89 2 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764524841384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24165] ppid=24156 vsize=9624976 CPUtime=0.95 cores=0,2,4,6
/proc/24158/task/24165/stat : 24165 (java) S 24156 24158 22635 0 -1 4202560 167 0 0 0 93 2 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764523789096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24158/tid=24166] ppid=24156 vsize=9624976 CPUtime=0.88 cores=0,2,4,6
/proc/24158/task/24166/stat : 24166 (java) S 24156 24158 22635 0 -1 4202560 143 0 0 0 86 2 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764522736296 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24158/tid=24167] ppid=24156 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/24158/task/24167/stat : 24167 (java) S 24156 24158 22635 0 -1 4202560 191 0 0 0 85 2 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764521684008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24168] ppid=24156 vsize=9624976 CPUtime=0.99 cores=0,2,4,6
/proc/24158/task/24168/stat : 24168 (java) S 24156 24158 22635 0 -1 4202560 110 0 0 0 99 0 0 0 20 0 19 0 254576138 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764520631208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24169] ppid=24156 vsize=9624976 CPUtime=9.59 cores=0,2,4,6
/proc/24158/task/24169/stat : 24169 (java) S 24156 24158 22635 0 -1 4202560 150 0 0 0 957 2 0 0 20 0 19 0 254576139 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764508219624 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24170] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24170/stat : 24170 (java) S 24156 24158 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254576139 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764507165688 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24171] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24171/stat : 24171 (java) S 24156 24158 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254576139 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764506113288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24172] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24172/stat : 24172 (java) S 24156 24158 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576142 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764505061776 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24158/tid=24173] ppid=24156 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/24158/task/24173/stat : 24173 (java) S 24156 24158 22635 0 -1 4202560 1747 0 0 0 29 0 0 0 20 0 19 0 254576142 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764504009400 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24174] ppid=24156 vsize=9624976 CPUtime=0.35 cores=0,2,4,6
/proc/24158/task/24174/stat : 24174 (java) S 24156 24158 22635 0 -1 4202560 4795 0 0 0 33 2 0 0 20 0 19 0 254576142 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764502956600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24175] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24175/stat : 24175 (java) S 24156 24158 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254576142 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764501904504 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24158/tid=24176] ppid=24156 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/24158/task/24176/stat : 24176 (java) S 24156 24158 22635 0 -1 4202560 102 0 0 0 23 22 0 0 20 0 19 0 254576142 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764500851912 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24158/tid=24177] ppid=24156 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24158/task/24177/stat : 24177 (java) S 24156 24158 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254576159 9855975424 34765 33554432000 1073741824 1073778376 140737468148288 139764499796904 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24158 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=269077
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=851870
# CPU time returned by wait4() is 1796.12
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.34
CPU time (s): 1800.07
CPU user time (s): 1799.71
CPU system time (s): 0.36
CPU usage (%): 100.319
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.27
system time used= 0.85187
maximum resident set size= 139212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12284
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46918
involuntary context switches= 31514

runsolver used 7.30989 second user time and 12.7051 second system time

The end

Launcher Data 

Begin job on node113 at 2012-05-24 20:34:53
IDJOB=3688479
IDBENCH=25022
IDSOLVER=2269
FILE ID=node113/3688479-1337884493
RUNJOBID= node113-1337871880-22652
PBS_JOBID= 14620091
Free space on /tmp= 71688 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688479-1337884493/watcher-3688479-1337884493 -o /tmp/evaluation-result-3688479-1337884493/solver-3688479-1337884493 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688479-1337884493.opb

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

MD5SUM BENCH= aa73e48897f9c10e5003e2188d9e7ab9
RANDOM SEED=152933317

node113.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.026
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.05
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.026
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.90
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.026
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		: 2667.026
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.026
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.026
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.026
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.026
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:        28309684 kB
Buffers:          218968 kB
Cached:          3380204 kB
SwapCached:            0 kB
Active:           771424 kB
Inactive:        3020940 kB
Active(anon):     195956 kB
Inactive(anon):        0 kB
Active(file):     575468 kB
Inactive(file):  3020940 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               216 kB
Writeback:             4 kB
AnonPages:        199840 kB
Mapped:            22352 kB
Shmem:               200 kB
Slab:             633528 kB
SReclaimable:      77804 kB
SUnreclaim:       555724 kB
KernelStack:        1624 kB
PageTables:         4660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     697536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    153600 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= 71688 MiB
End job on node113 at 2012-05-24 21:04:49