Trace number 3687655

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)154 1800.05 1781.66

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
MD5SUMd431323968e1ca4dc95d181076d01437
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark148
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 154
Optimality of the best value was proved NO
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1024
Number of bits of the biggest sum of numbers11
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.08	c version 2.3.2.v20120418
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		501472288
0.01/0.08	c Max memory 		7480803328
0.01/0.08	c Total memory 		504102912
0.01/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3687655-1337873988.opb
0.09/0.11	c reading problem ... 
0.93/0.51	c ... done. Wall clock time 0.398s.
0.93/0.51	c declared #vars     1344
0.93/0.51	c #constraints  16376
0.93/0.51	c constraints type 
0.93/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
0.93/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
0.93/0.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
0.93/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7392
0.93/0.51	c 16376 constraints processed.
0.93/0.51	c objective function length is 448 literals
1.17/0.64	c SATISFIABLE
1.17/0.64	c OPTIMIZING...
1.17/0.64	c Got one! Elapsed wall clock time (in seconds):0.528
1.17/0.64	o 186
2.12/1.34	c cleaning 2685 clauses out of 5378 with flag 5001/5378
2.35/1.57	c cleaning 4346 clauses out of 8692 with flag 11000/11377
2.69/1.82	c cleaning 5673 clauses out of 11346 with flag 18000/18377
3.01/2.12	c cleaning 6835 clauses out of 13673 with flag 26000/26377
3.36/2.50	c cleaning 7918 clauses out of 15838 with flag 35000/35377
3.76/2.87	c cleaning 8956 clauses out of 17920 with flag 45000/45377
4.22/3.27	c cleaning 9978 clauses out of 19964 with flag 56000/56377
4.77/3.74	c cleaning 10993 clauses out of 21987 with flag 68001/68378
5.27/4.25	c cleaning 11996 clauses out of 23993 with flag 81000/81377
5.77/4.79	c cleaning 12991 clauses out of 25998 with flag 95001/95378
6.38/5.39	c cleaning 14004 clauses out of 28007 with flag 110001/110378
7.08/6.02	c cleaning 14997 clauses out of 30002 with flag 126000/126377
7.79/6.71	c cleaning 16003 clauses out of 32005 with flag 143000/143377
9.80/8.74	c Got one! Elapsed wall clock time (in seconds):8.631
9.80/8.74	o 184
10.40/9.36	c cleaning 15814 clauses out of 31630 with flag 5003/159005
10.65/9.55	c Got one! Elapsed wall clock time (in seconds):9.446
10.65/9.55	o 176
10.97/9.86	c Got one! Elapsed wall clock time (in seconds):9.749
10.97/9.86	o 154
11.29/10.07	c cleaning 11200 clauses out of 22422 with flag 2001/165611
12.39/11.15	c cleaning 8586 clauses out of 17221 with flag 8000/171610
13.71/12.46	c cleaning 7795 clauses out of 15637 with flag 15002/178612
15.32/14.04	c cleaning 7844 clauses out of 15842 with flag 23002/186612
17.22/15.96	c cleaning 8419 clauses out of 16997 with flag 32001/195611
17.93/16.67	c cleaning 9284 clauses out of 18578 with flag 42001/205611
18.47/17.14	c cleaning 10147 clauses out of 20293 with flag 53000/216610
18.98/17.61	c cleaning 11072 clauses out of 22146 with flag 65000/228610
19.50/18.18	c cleaning 12035 clauses out of 24074 with flag 78000/241610
20.11/18.77	c cleaning 13016 clauses out of 26039 with flag 92000/255610
20.72/19.39	c cleaning 14007 clauses out of 28023 with flag 107000/270610
21.42/20.05	c cleaning 14999 clauses out of 30017 with flag 123001/286611
22.23/20.81	c cleaning 16004 clauses out of 32017 with flag 140000/303610
22.95/21.53	c cleaning 17007 clauses out of 34013 with flag 158000/321610
23.76/22.33	c cleaning 18003 clauses out of 36006 with flag 177000/340610
24.66/23.20	c cleaning 18994 clauses out of 38003 with flag 197000/360610
25.47/24.01	c cleaning 19997 clauses out of 40009 with flag 218000/381610
26.27/24.89	c cleaning 21007 clauses out of 42013 with flag 240001/403611
27.37/25.90	c cleaning 22004 clauses out of 44008 with flag 263003/426613
28.48/27.04	c cleaning 22997 clauses out of 46001 with flag 287000/450610
29.49/28.06	c cleaning 23999 clauses out of 48005 with flag 312001/475611
30.71/29.21	c cleaning 25002 clauses out of 50007 with flag 338002/501612
32.04/30.51	c cleaning 25997 clauses out of 52003 with flag 365000/528610
33.46/31.98	c cleaning 27001 clauses out of 54006 with flag 393000/556610
34.86/33.37	c cleaning 28001 clauses out of 56007 with flag 422002/585612
36.28/34.74	c cleaning 29000 clauses out of 58006 with flag 452002/615612
37.89/36.39	c cleaning 30003 clauses out of 60006 with flag 483002/646612
39.69/38.12	c cleaning 30999 clauses out of 62002 with flag 515001/678611
41.40/39.86	c cleaning 32001 clauses out of 64002 with flag 548000/711610
43.23/41.65	c cleaning 33001 clauses out of 66002 with flag 582001/745611
45.14/43.59	c cleaning 34000 clauses out of 68000 with flag 617000/780610
46.94/45.39	c cleaning 34996 clauses out of 70000 with flag 653000/816610
48.96/47.36	c cleaning 35996 clauses out of 72004 with flag 690000/853610
50.79/49.18	c cleaning 36998 clauses out of 74008 with flag 728000/891610
52.30/50.69	c cleaning 37997 clauses out of 76010 with flag 767000/930610
53.89/52.29	c cleaning 39002 clauses out of 78013 with flag 807000/970610
55.71/54.03	c cleaning 40003 clauses out of 80011 with flag 848000/1011610
57.72/56.09	c cleaning 40997 clauses out of 82008 with flag 890000/1053610
59.82/58.13	c cleaning 41998 clauses out of 84012 with flag 933001/1096611
61.73/60.02	c cleaning 42999 clauses out of 86013 with flag 977000/1140610
63.66/61.94	c cleaning 44005 clauses out of 88015 with flag 1022001/1185611
65.57/63.87	c cleaning 44995 clauses out of 90009 with flag 1068000/1231610
67.57/65.89	c cleaning 45999 clauses out of 92014 with flag 1115000/1278610
70.00/68.22	c cleaning 47004 clauses out of 94017 with flag 1163002/1326612
72.32/70.50	c cleaning 47999 clauses out of 96012 with flag 1212001/1375611
74.93/73.16	c cleaning 48997 clauses out of 98013 with flag 1262001/1425611
77.68/75.89	c cleaning 49999 clauses out of 100016 with flag 1313001/1476611
80.93/79.03	c cleaning 51002 clauses out of 102018 with flag 1365002/1528612
84.55/82.60	c cleaning 52006 clauses out of 104016 with flag 1418002/1581612
88.07/86.10	c cleaning 52990 clauses out of 106008 with flag 1472000/1635610
91.90/89.94	c cleaning 54005 clauses out of 108019 with flag 1527001/1690611
95.61/93.62	c cleaning 55002 clauses out of 110013 with flag 1583000/1746610
98.77/96.72	c cleaning 56001 clauses out of 112012 with flag 1640001/1803611
102.28/100.22	c cleaning 57000 clauses out of 114011 with flag 1698001/1861611
105.91/103.90	c cleaning 57995 clauses out of 116010 with flag 1757000/1920610
109.73/107.70	c cleaning 59003 clauses out of 118016 with flag 1817001/1980611
112.54/110.45	c cleaning 59999 clauses out of 120014 with flag 1878002/2041612
115.50/113.34	c cleaning 61000 clauses out of 122013 with flag 1940000/2103610
118.81/116.66	c cleaning 62006 clauses out of 124014 with flag 2003001/2166611
122.16/119.95	c cleaning 62995 clauses out of 126007 with flag 2067000/2230610
125.87/123.62	c cleaning 63995 clauses out of 128013 with flag 2132001/2295611
129.29/127.04	c cleaning 65001 clauses out of 130017 with flag 2198000/2361610
133.59/131.30	c cleaning 66004 clauses out of 132017 with flag 2265001/2428611
137.62/135.33	c cleaning 67005 clauses out of 134012 with flag 2333000/2496610
141.95/139.62	c cleaning 68002 clauses out of 136009 with flag 2402002/2565612
146.55/144.27	c cleaning 69000 clauses out of 138006 with flag 2472001/2635611
150.58/148.28	c cleaning 69993 clauses out of 140005 with flag 2543000/2706610
155.99/153.67	c cleaning 71004 clauses out of 142012 with flag 2615000/2778610
161.04/158.61	c cleaning 71992 clauses out of 144008 with flag 2688000/2851610
166.67/164.28	c cleaning 73005 clauses out of 146016 with flag 2762000/2925610
172.00/169.52	c cleaning 74006 clauses out of 148011 with flag 2837000/3000610
176.33/173.88	c cleaning 74998 clauses out of 150006 with flag 2913001/3076611
181.45/178.93	c cleaning 75997 clauses out of 152007 with flag 2990000/3153610
186.77/184.27	c cleaning 76999 clauses out of 154011 with flag 3068001/3231611
191.50/188.93	c cleaning 78001 clauses out of 156013 with flag 3147002/3310612
197.02/194.47	c cleaning 79003 clauses out of 158010 with flag 3227000/3390610
202.15/199.53	c cleaning 80001 clauses out of 160007 with flag 3308000/3471610
207.87/205.27	c cleaning 80998 clauses out of 162007 with flag 3390001/3553611
213.22/210.56	c cleaning 82002 clauses out of 164008 with flag 3473000/3636610
218.35/215.69	c cleaning 82988 clauses out of 166006 with flag 3557000/3720610
224.17/221.47	c cleaning 84010 clauses out of 168019 with flag 3642001/3805611
230.12/227.34	c cleaning 84993 clauses out of 170010 with flag 3728002/3891612
236.07/233.22	c cleaning 86006 clauses out of 172015 with flag 3815000/3978610
277.20/274.18	c cleaning 86975 clauses out of 174011 with flag 3903002/4066612
325.90/322.61	c cleaning 87993 clauses out of 176036 with flag 3992002/4155612
379.96/376.56	c cleaning 88999 clauses out of 178043 with flag 4082002/4245612
445.30/441.71	c cleaning 89974 clauses out of 180042 with flag 4173000/4336610
517.17/513.16	c cleaning 90999 clauses out of 182071 with flag 4265003/4428613
556.49/552.08	c cleaning 92026 clauses out of 184071 with flag 4358002/4521612
561.85/557.23	c cleaning 93017 clauses out of 186044 with flag 4452001/4615611
567.53/562.80	c cleaning 94010 clauses out of 188028 with flag 4547002/4710612
573.32/568.58	c cleaning 94996 clauses out of 190016 with flag 4643000/4806610
579.94/575.09	c cleaning 96003 clauses out of 192021 with flag 4740001/4903611
587.53/582.53	c cleaning 97007 clauses out of 194017 with flag 4838000/5001610
594.82/589.75	c cleaning 97998 clauses out of 196010 with flag 4937000/5100610
601.61/596.38	c cleaning 98998 clauses out of 198012 with flag 5037000/5200610
609.44/604.08	c cleaning 100007 clauses out of 200015 with flag 5138001/5301611
617.55/612.01	c cleaning 101000 clauses out of 202007 with flag 5240000/5403610
625.75/620.10	c cleaning 101997 clauses out of 204008 with flag 5343001/5506611
633.83/628.19	c cleaning 103006 clauses out of 206011 with flag 5447001/5610611
643.33/637.58	c cleaning 103997 clauses out of 208004 with flag 5552000/5715610
653.36/647.43	c cleaning 104992 clauses out of 210009 with flag 5658002/5821612
664.17/658.18	c cleaning 106001 clauses out of 212015 with flag 5765000/5928610
673.14/666.92	c cleaning 106998 clauses out of 214014 with flag 5873000/6036610
682.39/676.07	c cleaning 108007 clauses out of 216018 with flag 5982002/6145612
690.66/684.16	c cleaning 108999 clauses out of 218009 with flag 6092000/6255610
699.77/693.11	c cleaning 109997 clauses out of 220010 with flag 6203000/6366610
709.57/702.85	c cleaning 111004 clauses out of 222014 with flag 6315001/6478611
718.28/711.40	c cleaning 111995 clauses out of 224010 with flag 6428001/6591611
726.61/719.67	c cleaning 112997 clauses out of 226014 with flag 6542000/6705610
735.58/728.42	c cleaning 114008 clauses out of 228017 with flag 6657000/6820610
742.84/735.53	c cleaning 114995 clauses out of 230009 with flag 6773000/6936610
750.81/743.30	c cleaning 115998 clauses out of 232014 with flag 6890000/7053610
760.76/753.14	c cleaning 117002 clauses out of 234017 with flag 7008001/7171611
771.61/763.85	c cleaning 117999 clauses out of 236015 with flag 7127001/7290611
781.30/773.33	c cleaning 118998 clauses out of 238015 with flag 7247000/7410610
789.49/781.36	c cleaning 120006 clauses out of 240017 with flag 7368000/7531610
800.90/792.57	c cleaning 121004 clauses out of 242011 with flag 7490000/7653610
809.72/801.17	c cleaning 122001 clauses out of 244007 with flag 7613000/7776610
822.66/813.98	c cleaning 123000 clauses out of 246007 with flag 7737001/7900611
835.56/826.64	c cleaning 123997 clauses out of 248009 with flag 7862003/8025613
850.00/840.93	c cleaning 124995 clauses out of 250009 with flag 7988000/8151610
865.07/855.83	c cleaning 126001 clauses out of 252016 with flag 8115002/8278612
877.23/867.89	c cleaning 127003 clauses out of 254013 with flag 8243000/8406610
889.02/879.49	c cleaning 128003 clauses out of 256011 with flag 8372001/8535611
899.11/889.31	c cleaning 128998 clauses out of 258008 with flag 8502001/8665611
909.80/899.83	c cleaning 129992 clauses out of 260010 with flag 8633001/8796611
921.06/910.92	c cleaning 131005 clauses out of 262017 with flag 8765000/8928610
932.23/921.90	c cleaning 132000 clauses out of 264012 with flag 8898000/9061610
947.39/936.92	c cleaning 133004 clauses out of 266013 with flag 9032001/9195611
961.69/951.07	c cleaning 133998 clauses out of 268008 with flag 9167000/9330610
976.42/965.60	c cleaning 135004 clauses out of 270011 with flag 9303001/9466611
992.38/981.43	c cleaning 135997 clauses out of 272006 with flag 9440000/9603610
1009.85/998.72	c cleaning 136997 clauses out of 274010 with flag 9578001/9741611
1028.00/1016.73	c cleaning 138002 clauses out of 276013 with flag 9717001/9880611
1043.22/1031.77	c cleaning 139006 clauses out of 278012 with flag 9857002/10020612
1056.01/1044.31	c cleaning 139998 clauses out of 280006 with flag 9998002/10161612
1068.32/1056.50	c cleaning 141003 clauses out of 282008 with flag 10140002/10303612
1081.76/1069.68	c cleaning 141993 clauses out of 284003 with flag 10283000/10446610
1094.13/1081.74	c cleaning 143002 clauses out of 286011 with flag 10427001/10590611
1108.12/1095.47	c cleaning 143999 clauses out of 288008 with flag 10572000/10735610
1121.22/1108.31	c cleaning 144996 clauses out of 290010 with flag 10718001/10881611
1136.30/1123.25	c cleaning 146004 clauses out of 292013 with flag 10865000/11028610
1150.76/1137.42	c cleaning 146998 clauses out of 294009 with flag 11013000/11176610
1166.63/1153.03	c cleaning 148003 clauses out of 296012 with flag 11162001/11325611
1181.29/1167.46	c cleaning 149001 clauses out of 298008 with flag 11312000/11475610
1196.56/1182.43	c cleaning 149997 clauses out of 300007 with flag 11463000/11626610
1211.70/1197.31	c cleaning 151000 clauses out of 302012 with flag 11615002/11778612
1226.48/1211.85	c cleaning 152001 clauses out of 304010 with flag 11768000/11931610
1241.31/1226.41	c cleaning 152996 clauses out of 306009 with flag 11922000/12085610
1257.25/1242.11	c cleaning 153995 clauses out of 308013 with flag 12077000/12240610
1270.03/1254.61	c cleaning 155005 clauses out of 310020 with flag 12233002/12396612
1340.05/1323.81	c cleaning 156002 clauses out of 312014 with flag 12390001/12553611
1557.97/1540.79	c cleaning 156987 clauses out of 314012 with flag 12548001/12711611
1800.05/1781.61	c starts		: 328
1800.05/1781.61	c conflicts		: 12860765
1800.05/1781.61	c decisions		: 14958820
1800.05/1781.61	c propagations		: 336858138
1800.05/1781.61	c inspects		: 19089913787
1800.05/1781.61	c shortcuts		: 0
1800.05/1781.61	c learnt literals	: 0
1800.05/1781.61	c learnt binary clauses	: 0
1800.05/1781.61	c learnt ternary clauses	: 0
1800.05/1781.61	c learnt constraints	: 12860765
1800.05/1781.61	c ignored constraints	: 0
1800.05/1781.61	c root simplifications	: 0
1800.05/1781.61	c removed literals (reason simplification)	: 0
1800.05/1781.61	c reason swapping (by a shorter reason)	: 0
1800.05/1781.61	c Calls to reduceDB	: 168
1800.05/1781.61	c number of reductions to clauses (during analyze)	: 0
1800.05/1781.61	c number of learned constraints concerned by reduction	: 0
1800.05/1781.61	c number of learning phase by resolution	: 0
1800.05/1781.61	c number of learning phase by cutting planes	: 0
1800.05/1781.61	c speed (assignments/second)	: 189129.69205477976
1800.05/1781.61	c non guided choices	1358
1800.05/1781.64	c learnt constraints type 
1800.05/1781.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 306200
1800.05/1781.64	c constraints type 
1800.05/1781.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
1800.05/1781.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
1800.05/1781.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
1800.05/1781.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7393
1800.05/1781.64	c 16377 constraints processed.
1800.05/1781.64	s SATISFIABLE
1800.05/1781.65	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 x897 x898 x899 -x900 -x901 -x902 x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 x961 -x962 x963 -x964 -x965 x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 x1023 x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 x1216 x1217 -x1218 x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 x1278 x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 x1339 -x1340 -x1341 x1342 x1343 -x1344 
1800.05/1781.65	c objective function=154
1800.05/1781.65	c Total wall clock time (in seconds): 1781.54

Verifier Data 

OK	154

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

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

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


[startup+0 s]
/proc/loadavg: 2.52 2.22 1.88 2/194 11105
/proc/meminfo: memFree=28048140/32873648 swapFree=7100/7100
[pid=11105] ppid=11103 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/11105/stat : 11105 (java) R 11103 11105 10055 0 -1 4202496 286 0 0 0 0 0 0 0 20 0 1 0 253524317 278528 34 33554432000 1073741824 1073778376 140736274628512 140735788281960 260181159207 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11105/statm: 68 34 25 9 0 25 0

[startup+0.039976 s]
/proc/loadavg: 2.52 2.22 1.88 2/194 11105
/proc/meminfo: memFree=28048140/32873648 swapFree=7100/7100
[pid=11105] ppid=11103 vsize=9225560 CPUtime=0.01 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11103 11105 10055 0 -1 4202496 3002 0 1 0 1 0 0 0 20 0 13 0 253524317 9446973440 3699 33554432000 1073741824 1073778376 140736274628512 140736274619648 260193681469 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11105/statm: 2306390 3700 1683 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560

[startup+0.100241 s]
/proc/loadavg: 2.52 2.22 1.88 2/194 11105
/proc/meminfo: memFree=28048140/32873648 swapFree=7100/7100
[pid=11105] ppid=11103 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11103 11105 10055 0 -1 4202496 4375 0 1 0 8 1 0 0 20 0 18 0 253524317 9787813888 5567 33554432000 1073741824 1073778376 140736274628512 140736274619648 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11105/statm: 2389603 5567 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300168 s]
/proc/loadavg: 2.52 2.22 1.88 2/194 11105
/proc/meminfo: memFree=28048140/32873648 swapFree=7100/7100
[pid=11105] ppid=11103 vsize=9558412 CPUtime=0.51 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11103 11105 10055 0 -1 4202496 6455 0 1 0 50 1 0 0 20 0 18 0 253524317 9787813888 10505 33554432000 1073741824 1073778376 140736274628512 140736274619648 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11105/statm: 2389603 10505 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558412

[startup+0.700215 s]
/proc/loadavg: 2.52 2.22 1.88 2/194 11105
/proc/meminfo: memFree=28048140/32873648 swapFree=7100/7100
[pid=11105] ppid=11103 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11103 11105 10055 0 -1 4202496 9346 0 1 0 142 3 0 0 20 0 19 0 253524317 9855975424 26597 33554432000 1073741824 1073778376 140736274628512 140736274619648 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11105/statm: 2406244 26597 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9624976

[startup+1.50063 s]
/proc/loadavg: 2.52 2.22 1.88 3/213 11124
/proc/meminfo: memFree=27948168/32873648 swapFree=7100/7100
[pid=11105] ppid=11103 vsize=9624976 CPUtime=2.35 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11103 11105 10055 0 -1 4202496 9704 0 1 0 231 4 0 0 20 0 19 0 253524317 9855975424 31253 33554432000 1073741824 1073778376 140736274628512 140736274619648 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11105/statm: 2406244 31253 2279 9 0 2396937 0
[pid=11105/tid=11107] ppid=11103 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/11105/task/11107/stat : 11107 (java) R 11103 11105 10055 0 -1 4202560 2490 0 1 0 142 2 0 0 20 0 19 0 253524318 9855975424 31253 33554432000 1073741824 1073778376 140736274628512 140483603055000 140483431791882 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11108] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11108/stat : 11108 (java) S 11103 11105 10055 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 31253 33554432000 1073741824 1073778376 140736274628512 140483564546984 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11109] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11109/stat : 11109 (java) S 11103 11105 10055 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 31253 33554432000 1073741824 1073778376 140736274628512 140483563494440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11110] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11110/stat : 11110 (java) S 11103 11105 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 31253 33554432000 1073741824 1073778376 140736274628512 140483562441384 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11111] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11111/stat : 11111 (java) S 11103 11105 10055 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 31253 33554432000 1073741824 1073778376 140736274628512 140483561388840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11112] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11112/stat : 11112 (java) S 11103 11105 10055 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 31253 33554432000 1073741824 1073778376 140736274628512 140483560335784 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11113] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11113/stat : 11113 (java) S 11103 11105 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 31253 33554432000 1073741824 1073778376 140736274628512 140483559283240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11114] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11114/stat : 11114 (java) S 11103 11105 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 31253 33554432000 1073741824 1073778376 140736274628512 140483558230184 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11115] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11115/stat : 11115 (java) S 11103 11105 10055 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 31253 33554432000 1073741824 1073778376 140736274628512 140483557177640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11116] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11116/stat : 11116 (java) S 11103 11105 10055 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 253524320 9855975424 31253 33554432000 1073741824 1073778376 140736274628512 140483426757480 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11117] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11117/stat : 11117 (java) S 11103 11105 10055 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253524321 9855975424 31253 33554432000 1073741824 1073778376 140736274628512 140483425703800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11118] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11118/stat : 11118 (java) S 11103 11105 10055 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253524321 9855975424 31253 33554432000 1073741824 1073778376 140736274628512 140483424650632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11119] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11119/stat : 11119 (java) S 11103 11105 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253524323 9855975424 31253 33554432000 1073741824 1073778376 140736274628512 140483423599376 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11120] ppid=11103 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/11105/task/11120/stat : 11120 (java) S 11103 11105 10055 0 -1 4202560 3593 0 0 0 47 0 0 0 20 0 19 0 253524323 9855975424 31253 33554432000 1073741824 1073778376 140736274628512 140483422546232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11121] ppid=11103 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/11105/task/11121/stat : 11121 (java) S 11103 11105 10055 0 -1 4202560 2369 0 0 0 37 0 0 0 20 0 19 0 253524323 9855975424 31253 33554432000 1073741824 1073778376 140736274628512 140483421493688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11122] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11122/stat : 11122 (java) S 11103 11105 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253524323 9855975424 31253 33554432000 1073741824 1073778376 140736274628512 140483420440824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11123] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11123/stat : 11123 (java) S 11103 11105 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253524323 9855975424 31253 33554432000 1073741824 1073778376 140736274628512 140483419388488 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11124] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11124/stat : 11124 (java) S 11103 11105 10055 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253524369 9855975424 31253 33554432000 1073741824 1073778376 140736274628512 140483418334760 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 9624976

[startup+3.10059 s]
/proc/loadavg: 2.52 2.22 1.88 3/213 11124
/proc/meminfo: memFree=27928744/32873648 swapFree=7100/7100
[pid=11105] ppid=11103 vsize=9624976 CPUtime=4.11 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11103 11105 10055 0 -1 4202496 11162 0 1 0 406 5 0 0 20 0 19 0 253524317 9855975424 33319 33554432000 1073741824 1073778376 140736274628512 140736274619648 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11105/statm: 2406244 33319 2279 9 0 2396937 0
[pid=11105/tid=11107] ppid=11103 vsize=9624976 CPUtime=2.94 cores=0,2,4,6
/proc/11105/task/11107/stat : 11107 (java) R 11103 11105 10055 0 -1 4202560 2492 0 1 0 292 2 0 0 20 0 19 0 253524318 9855975424 33319 33554432000 1073741824 1073778376 140736274628512 140483603054880 140483431788859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11108] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11108/stat : 11108 (java) S 11103 11105 10055 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 33319 33554432000 1073741824 1073778376 140736274628512 140483564546984 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11109] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11109/stat : 11109 (java) S 11103 11105 10055 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 33319 33554432000 1073741824 1073778376 140736274628512 140483563494440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11110] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11110/stat : 11110 (java) S 11103 11105 10055 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 33319 33554432000 1073741824 1073778376 140736274628512 140483562441384 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11111] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11111/stat : 11111 (java) S 11103 11105 10055 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 33319 33554432000 1073741824 1073778376 140736274628512 140483561388840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11112] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11112/stat : 11112 (java) S 11103 11105 10055 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 33319 33554432000 1073741824 1073778376 140736274628512 140483560335784 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11113] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11113/stat : 11113 (java) S 11103 11105 10055 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 33319 33554432000 1073741824 1073778376 140736274628512 140483559283240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11114] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11114/stat : 11114 (java) S 11103 11105 10055 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 33319 33554432000 1073741824 1073778376 140736274628512 140483558230184 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11115] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11115/stat : 11115 (java) S 11103 11105 10055 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 33319 33554432000 1073741824 1073778376 140736274628512 140483557177640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11116] ppid=11103 vsize=9624976 CPUtime=0.08 cores=0,2,4,6
/proc/11105/task/11116/stat : 11116 (java) S 11103 11105 10055 0 -1 4202560 35 0 0 0 8 0 0 0 20 0 19 0 253524320 9855975424 33319 33554432000 1073741824 1073778376 140736274628512 140483426757480 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11117] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11117/stat : 11117 (java) S 11103 11105 10055 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253524321 9855975424 33319 33554432000 1073741824 1073778376 140736274628512 140483425703800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11118] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11118/stat : 11118 (java) S 11103 11105 10055 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253524321 9855975424 33319 33554432000 1073741824 1073778376 140736274628512 140483424650632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11119] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11119/stat : 11119 (java) S 11103 11105 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253524323 9855975424 33319 33554432000 1073741824 1073778376 140736274628512 140483423599376 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11120] ppid=11103 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/11105/task/11120/stat : 11120 (java) S 11103 11105 10055 0 -1 4202560 5022 0 0 0 58 0 0 0 20 0 19 0 253524323 9855975424 33319 33554432000 1073741824 1073778376 140736274628512 140483422546232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11121] ppid=11103 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/11105/task/11121/stat : 11121 (java) S 11103 11105 10055 0 -1 4202560 2370 0 0 0 39 0 0 0 20 0 19 0 253524323 9855975424 33319 33554432000 1073741824 1073778376 140736274628512 140483421493688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11122] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11122/stat : 11122 (java) S 11103 11105 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253524323 9855975424 33319 33554432000 1073741824 1073778376 140736274628512 140483420440824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11123] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11123/stat : 11123 (java) S 11103 11105 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253524323 9855975424 33319 33554432000 1073741824 1073778376 140736274628512 140483419388488 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11124] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11124/stat : 11124 (java) S 11103 11105 10055 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253524369 9855975424 33319 33554432000 1073741824 1073778376 140736274628512 140483418334760 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 9624976

[startup+6.30061 s]
/proc/loadavg: 2.48 2.21 1.88 3/212 11124
/proc/meminfo: memFree=27916084/32873648 swapFree=7100/7100
[pid=11105] ppid=11103 vsize=9624976 CPUtime=7.39 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11103 11105 10055 0 -1 4202496 11829 0 1 0 734 5 0 0 20 0 19 0 253524317 9855975424 35384 33554432000 1073741824 1073778376 140736274628512 140736274619648 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11105/statm: 2406244 35384 2279 9 0 2396937 0
[pid=11105/tid=11107] ppid=11103 vsize=9624976 CPUtime=5.99 cores=0,2,4,6
/proc/11105/task/11107/stat : 11107 (java) R 11103 11105 10055 0 -1 4202560 2499 0 1 0 597 2 0 0 20 0 19 0 253524318 9855975424 35384 33554432000 1073741824 1073778376 140736274628512 140483603054880 140483431699859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11108] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11108/stat : 11108 (java) S 11103 11105 10055 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 35384 33554432000 1073741824 1073778376 140736274628512 140483564546984 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11109] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11109/stat : 11109 (java) S 11103 11105 10055 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 35384 33554432000 1073741824 1073778376 140736274628512 140483563494440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11110] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11110/stat : 11110 (java) S 11103 11105 10055 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 35384 33554432000 1073741824 1073778376 140736274628512 140483562441384 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11111] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11111/stat : 11111 (java) S 11103 11105 10055 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 35384 33554432000 1073741824 1073778376 140736274628512 140483561388840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11112] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11112/stat : 11112 (java) S 11103 11105 10055 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 35384 33554432000 1073741824 1073778376 140736274628512 140483560335784 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11113] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11113/stat : 11113 (java) S 11103 11105 10055 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 35384 33554432000 1073741824 1073778376 140736274628512 140483559283240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11114] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11114/stat : 11114 (java) S 11103 11105 10055 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 35384 33554432000 1073741824 1073778376 140736274628512 140483558230184 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11115] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11115/stat : 11115 (java) S 11103 11105 10055 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253524319 9855975424 35384 33554432000 1073741824 1073778376 140736274628512 140483557177640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11116] ppid=11103 vsize=9624976 CPUtime=0.2 cores=0,2,4,6
/proc/11105/task/11116/stat : 11116 (java) S 11103 11105 10055 0 -1 4202560 38 0 0 0 20 0 0 0 20 0 19 0 253524320 9855975424 35384 33554432000 1073741824 1073778376 140736274628512 140483426757480 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11117] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11117/stat : 11117 (java) S 11103 11105 10055 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253524321 9855975424 35384 33554432000 1073741824 1073778376 140736274628512 140483425703800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11118] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11118/stat : 11118 (java) S 11103 11105 10055 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253524321 9855975424 35384 33554432000 1073741824 1073778376 140736274628512 140483424650632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11119] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11119/stat : 11119 (java) S 11103 11105 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253524323 9855975424 35384 33554432000 1073741824 1073778376 140736274628512 140483423599376 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11120] ppid=11103 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/11105/task/11120/stat : 11120 (java) S 11103 11105 10055 0 -1 4202560 5642 0 0 0 62 1 0 0 20 0 19 0 253524323 9855975424 35384 33554432000 1073741824 1073778376 140736274628512 140483422546232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11121] ppid=11103 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/11105/task/11121/stat : 11121 (java) S 11103 11105 10055 0 -1 4202560 2370 0 0 0 39 0 0 0 20 0 19 0 253524323 9855975424 35384 33554432000 1073741824 1073778376 140736274628512 140483421493688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11122] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11122/stat : 11122 (java) S 11103 11105 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253524323 9855975424 35384 33554432000 1073741824 1073778376 140736274628512 140483420440824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11123] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11123/stat : 11123 (java) S 11103 11105 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253524323 9855975424 35384 33554432000 1073741824 1073778376 140736274628512 140483419388488 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11124] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11124/stat : 11124 (java) S 11103 11105 10055 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253524369 9855975424 35384 33554432000 1073741824 1073778376 140736274628512 140483418334760 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=11105/tid=11120] ppid=11103 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/11105/task/11120/stat : 11120 (java) S 11103 11105 10055 0 -1 4202560 5642 0 0 0 66 1 0 0 20 0 19 0 253524323 9855975424 111448 33554432000 1073741824 1073778376 140736274628512 140483422546232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11121] ppid=11103 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/11105/task/11121/stat : 11121 (java) S 11103 11105 10055 0 -1 4202560 5132 0 0 0 50 1 0 0 20 0 19 0 253524323 9855975424 111448 33554432000 1073741824 1073778376 140736274628512 140483421493688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11122] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11122/stat : 11122 (java) S 11103 11105 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253524323 9855975424 111448 33554432000 1073741824 1073778376 140736274628512 140483420440824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11123] ppid=11103 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/11105/task/11123/stat : 11123 (java) S 11103 11105 10055 0 -1 4202560 93 0 0 0 21 21 0 0 20 0 19 0 253524323 9855975424 111448 33554432000 1073741824 1073778376 140736274628512 140483419388488 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11124] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11124/stat : 11124 (java) S 11103 11105 10055 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253524369 9855975424 111448 33554432000 1073741824 1073778376 140736274628512 140483418334760 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1619.87
Current children cumulated vsize (KiB) 9624976

[startup+1662.3 s]
/proc/loadavg: 2.03 2.00 1.94 3/213 11335
/proc/meminfo: memFree=28708980/32873648 swapFree=7100/7100
[pid=11105] ppid=11103 vsize=9624976 CPUtime=1680.11 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11103 11105 10055 0 -1 4202496 24986 0 1 0 167921 90 0 0 20 0 19 0 253524317 9855975424 111320 33554432000 1073741824 1073778376 140736274628512 140736274619648 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11105/statm: 2406244 111320 2280 9 0 2396937 0
[pid=11105/tid=11107] ppid=11103 vsize=9624976 CPUtime=1642.1 cores=0,2,4,6
/proc/11105/task/11107/stat : 11107 (java) R 11103 11105 10055 0 -1 4202560 2981 0 1 0 164180 30 0 0 20 0 19 0 253524318 9855975424 111320 33554432000 1073741824 1073778376 140736274628512 140483603053968 140483431666128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11108] ppid=11103 vsize=9624976 CPUtime=2.96 cores=0,2,4,6
/proc/11105/task/11108/stat : 11108 (java) S 11103 11105 10055 0 -1 4202560 1353 0 0 0 287 9 0 0 20 0 19 0 253524319 9855975424 111320 33554432000 1073741824 1073778376 140736274628512 140483564546984 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11109] ppid=11103 vsize=9624976 CPUtime=2.81 cores=0,2,4,6
/proc/11105/task/11109/stat : 11109 (java) S 11103 11105 10055 0 -1 4202560 1191 0 0 0 276 5 0 0 20 0 19 0 253524319 9855975424 111320 33554432000 1073741824 1073778376 140736274628512 140483563494440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11110] ppid=11103 vsize=9624976 CPUtime=2.83 cores=0,2,4,6
/proc/11105/task/11110/stat : 11110 (java) S 11103 11105 10055 0 -1 4202560 1269 0 0 0 276 7 0 0 20 0 19 0 253524319 9855975424 111320 33554432000 1073741824 1073778376 140736274628512 140483562441384 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11111] ppid=11103 vsize=9624976 CPUtime=2.88 cores=0,2,4,6
/proc/11105/task/11111/stat : 11111 (java) S 11103 11105 10055 0 -1 4202560 1491 0 0 0 281 7 0 0 20 0 19 0 253524319 9855975424 111320 33554432000 1073741824 1073778376 140736274628512 140483561388840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11112] ppid=11103 vsize=9624976 CPUtime=2.94 cores=0,2,4,6
/proc/11105/task/11112/stat : 11112 (java) S 11103 11105 10055 0 -1 4202560 1514 0 0 0 285 9 0 0 20 0 19 0 253524319 9855975424 111320 33554432000 1073741824 1073778376 140736274628512 140483560335784 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11113] ppid=11103 vsize=9624976 CPUtime=2.89 cores=0,2,4,6
/proc/11105/task/11113/stat : 11113 (java) S 11103 11105 10055 0 -1 4202560 723 0 0 0 283 6 0 0 20 0 19 0 253524319 9855975424 111320 33554432000 1073741824 1073778376 140736274628512 140483559283240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11114] ppid=11103 vsize=9624976 CPUtime=2.95 cores=0,2,4,6
/proc/11105/task/11114/stat : 11114 (java) S 11103 11105 10055 0 -1 4202560 1069 0 0 0 290 5 0 0 20 0 19 0 253524319 9855975424 111320 33554432000 1073741824 1073778376 140736274628512 140483558230184 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11115] ppid=11103 vsize=9624976 CPUtime=2.99 cores=0,2,4,6
/proc/11105/task/11115/stat : 11115 (java) S 11103 11105 10055 0 -1 4202560 931 0 0 0 290 9 0 0 20 0 19 0 253524319 9855975424 111320 33554432000 1073741824 1073778376 140736274628512 140483557177640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11116] ppid=11103 vsize=9624976 CPUtime=8.98 cores=0,2,4,6
/proc/11105/task/11116/stat : 11116 (java) S 11103 11105 10055 0 -1 4202560 414 0 0 0 894 4 0 0 20 0 19 0 253524320 9855975424 111320 33554432000 1073741824 1073778376 140736274628512 140483426757480 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11117] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11117/stat : 11117 (java) S 11103 11105 10055 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253524321 9855975424 111320 33554432000 1073741824 1073778376 140736274628512 140483425703800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11118] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11118/stat : 11118 (java) S 11103 11105 10055 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253524321 9855975424 111320 33554432000 1073741824 1073778376 140736274628512 140483424650632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11119] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11119/stat : 11119 (java) S 11103 11105 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253524323 9855975424 111320 33554432000 1073741824 1073778376 140736274628512 140483423599376 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11120] ppid=11103 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/11105/task/11120/stat : 11120 (java) S 11103 11105 10055 0 -1 4202560 5642 0 0 0 66 1 0 0 20 0 19 0 253524323 9855975424 111320 33554432000 1073741824 1073778376 140736274628512 140483422546232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11121] ppid=11103 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/11105/task/11121/stat : 11121 (java) S 11103 11105 10055 0 -1 4202560 5132 0 0 0 50 1 0 0 20 0 19 0 253524323 9855975424 111320 33554432000 1073741824 1073778376 140736274628512 140483421493688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11122] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11122/stat : 11122 (java) S 11103 11105 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253524323 9855975424 111320 33554432000 1073741824 1073778376 140736274628512 140483420440824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11123] ppid=11103 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/11105/task/11123/stat : 11123 (java) S 11103 11105 10055 0 -1 4202560 95 0 0 0 22 23 0 0 20 0 19 0 253524323 9855975424 111320 33554432000 1073741824 1073778376 140736274628512 140483419388488 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11124] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11124/stat : 11124 (java) S 11103 11105 10055 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253524369 9855975424 111320 33554432000 1073741824 1073778376 140736274628512 140483418334760 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1680.11
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/213 11335
/proc/meminfo: memFree=28691732/32873648 swapFree=7100/7100
[pid=11105] ppid=11103 vsize=9624976 CPUtime=1740.32 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11103 11105 10055 0 -1 4202496 25417 0 1 0 173941 91 0 0 20 0 19 0 253524317 9855975424 113266 33554432000 1073741824 1073778376 140736274628512 140736274619648 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11105/statm: 2406244 113266 2280 9 0 2396937 0
[pid=11105/tid=11107] ppid=11103 vsize=9624976 CPUtime=1701.85 cores=0,2,4,6
/proc/11105/task/11107/stat : 11107 (java) R 11103 11105 10055 0 -1 4202560 2986 0 1 0 170154 31 0 0 20 0 19 0 253524318 9855975424 113266 33554432000 1073741824 1073778376 140736274628512 140483603053968 140483431699859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11108] ppid=11103 vsize=9624976 CPUtime=2.99 cores=0,2,4,6
/proc/11105/task/11108/stat : 11108 (java) S 11103 11105 10055 0 -1 4202560 1442 0 0 0 290 9 0 0 20 0 19 0 253524319 9855975424 113266 33554432000 1073741824 1073778376 140736274628512 140483564546984 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11109] ppid=11103 vsize=9624976 CPUtime=2.84 cores=0,2,4,6
/proc/11105/task/11109/stat : 11109 (java) S 11103 11105 10055 0 -1 4202560 1257 0 0 0 279 5 0 0 20 0 19 0 253524319 9855975424 113266 33554432000 1073741824 1073778376 140736274628512 140483563494440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11110] ppid=11103 vsize=9624976 CPUtime=2.86 cores=0,2,4,6
/proc/11105/task/11110/stat : 11110 (java) S 11103 11105 10055 0 -1 4202560 1269 0 0 0 279 7 0 0 20 0 19 0 253524319 9855975424 113266 33554432000 1073741824 1073778376 140736274628512 140483562441384 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11111] ppid=11103 vsize=9624976 CPUtime=2.93 cores=0,2,4,6
/proc/11105/task/11111/stat : 11111 (java) S 11103 11105 10055 0 -1 4202560 1621 0 0 0 286 7 0 0 20 0 19 0 253524319 9855975424 113266 33554432000 1073741824 1073778376 140736274628512 140483561388840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11112] ppid=11103 vsize=9624976 CPUtime=2.99 cores=0,2,4,6
/proc/11105/task/11112/stat : 11112 (java) S 11103 11105 10055 0 -1 4202560 1635 0 0 0 290 9 0 0 20 0 19 0 253524319 9855975424 113266 33554432000 1073741824 1073778376 140736274628512 140483560335784 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11113] ppid=11103 vsize=9624976 CPUtime=2.91 cores=0,2,4,6
/proc/11105/task/11113/stat : 11113 (java) S 11103 11105 10055 0 -1 4202560 723 0 0 0 285 6 0 0 20 0 19 0 253524319 9855975424 113266 33554432000 1073741824 1073778376 140736274628512 140483559283240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11114] ppid=11103 vsize=9624976 CPUtime=2.98 cores=0,2,4,6
/proc/11105/task/11114/stat : 11114 (java) S 11103 11105 10055 0 -1 4202560 1069 0 0 0 293 5 0 0 20 0 19 0 253524319 9855975424 113266 33554432000 1073741824 1073778376 140736274628512 140483558230184 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11115] ppid=11103 vsize=9624976 CPUtime=3.02 cores=0,2,4,6
/proc/11105/task/11115/stat : 11115 (java) S 11103 11105 10055 0 -1 4202560 933 0 0 0 293 9 0 0 20 0 19 0 253524319 9855975424 113266 33554432000 1073741824 1073778376 140736274628512 140483557177640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11116] ppid=11103 vsize=9624976 CPUtime=8.98 cores=0,2,4,6
/proc/11105/task/11116/stat : 11116 (java) S 11103 11105 10055 0 -1 4202560 428 0 0 0 894 4 0 0 20 0 19 0 253524320 9855975424 113266 33554432000 1073741824 1073778376 140736274628512 140483426757480 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11117] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11117/stat : 11117 (java) S 11103 11105 10055 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253524321 9855975424 113266 33554432000 1073741824 1073778376 140736274628512 140483425703800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11118] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11118/stat : 11118 (java) S 11103 11105 10055 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253524321 9855975424 113266 33554432000 1073741824 1073778376 140736274628512 140483424650632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11119] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11119/stat : 11119 (java) S 11103 11105 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253524323 9855975424 113266 33554432000 1073741824 1073778376 140736274628512 140483423599376 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11120] ppid=11103 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/11105/task/11120/stat : 11120 (java) S 11103 11105 10055 0 -1 4202560 5642 0 0 0 66 1 0 0 20 0 19 0 253524323 9855975424 113266 33554432000 1073741824 1073778376 140736274628512 140483422546232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11121] ppid=11103 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/11105/task/11121/stat : 11121 (java) S 11103 11105 10055 0 -1 4202560 5132 0 0 0 50 1 0 0 20 0 19 0 253524323 9855975424 113266 33554432000 1073741824 1073778376 140736274628512 140483421493688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11122] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11122/stat : 11122 (java) S 11103 11105 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253524323 9855975424 113266 33554432000 1073741824 1073778376 140736274628512 140483420440824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11123] ppid=11103 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/11105/task/11123/stat : 11123 (java) S 11103 11105 10055 0 -1 4202560 99 0 0 0 23 24 0 0 20 0 19 0 253524323 9855975424 113266 33554432000 1073741824 1073778376 140736274628512 140483419388488 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11124] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11124/stat : 11124 (java) S 11103 11105 10055 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253524369 9855975424 113266 33554432000 1073741824 1073778376 140736274628512 140483418334760 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1740.32
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1781.6 s]
/proc/loadavg: 2.00 2.00 1.94 3/213 11335
/proc/meminfo: memFree=28628128/32873648 swapFree=7100/7100
[pid=11105] ppid=11103 vsize=9624976 CPUtime=1800.05 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11103 11105 10055 0 -1 4202496 26532 0 1 0 179909 96 0 0 20 0 19 0 253524317 9855975424 122496 33554432000 1073741824 1073778376 140736274628512 140736274619648 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11105/statm: 2406244 122496 2280 9 0 2396937 0
[pid=11105/tid=11107] ppid=11103 vsize=9624976 CPUtime=1760.83 cores=0,2,4,6
/proc/11105/task/11107/stat : 11107 (java) R 11103 11105 10055 0 -1 4202560 2992 0 1 0 176051 32 0 0 20 0 19 0 253524318 9855975424 122496 33554432000 1073741824 1073778376 140736274628512 140483603053968 140483431666229 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11108] ppid=11103 vsize=9624976 CPUtime=3.07 cores=0,2,4,6
/proc/11105/task/11108/stat : 11108 (java) S 11103 11105 10055 0 -1 4202560 1761 0 0 0 297 10 0 0 20 0 19 0 253524319 9855975424 122496 33554432000 1073741824 1073778376 140736274628512 140483564546984 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11109] ppid=11103 vsize=9624976 CPUtime=2.9 cores=0,2,4,6
/proc/11105/task/11109/stat : 11109 (java) S 11103 11105 10055 0 -1 4202560 1482 0 0 0 284 6 0 0 20 0 19 0 253524319 9855975424 122496 33554432000 1073741824 1073778376 140736274628512 140483563494440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11110] ppid=11103 vsize=9624976 CPUtime=2.9 cores=0,2,4,6
/proc/11105/task/11110/stat : 11110 (java) S 11103 11105 10055 0 -1 4202560 1270 0 0 0 283 7 0 0 20 0 19 0 253524319 9855975424 122496 33554432000 1073741824 1073778376 140736274628512 140483562441384 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11111] ppid=11103 vsize=9624976 CPUtime=3.01 cores=0,2,4,6
/proc/11105/task/11111/stat : 11111 (java) S 11103 11105 10055 0 -1 4202560 1670 0 0 0 294 7 0 0 20 0 19 0 253524319 9855975424 122496 33554432000 1073741824 1073778376 140736274628512 140483561388840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11112] ppid=11103 vsize=9624976 CPUtime=3.07 cores=0,2,4,6
/proc/11105/task/11112/stat : 11112 (java) S 11103 11105 10055 0 -1 4202560 1827 0 0 0 298 9 0 0 20 0 19 0 253524319 9855975424 122496 33554432000 1073741824 1073778376 140736274628512 140483560335784 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11113] ppid=11103 vsize=9624976 CPUtime=2.99 cores=0,2,4,6
/proc/11105/task/11113/stat : 11113 (java) S 11103 11105 10055 0 -1 4202560 731 0 0 0 293 6 0 0 20 0 19 0 253524319 9855975424 122496 33554432000 1073741824 1073778376 140736274628512 140483559283240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11114] ppid=11103 vsize=9624976 CPUtime=3.05 cores=0,2,4,6
/proc/11105/task/11114/stat : 11114 (java) S 11103 11105 10055 0 -1 4202560 1310 0 0 0 299 6 0 0 20 0 19 0 253524319 9855975424 122496 33554432000 1073741824 1073778376 140736274628512 140483558230184 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11115] ppid=11103 vsize=9624976 CPUtime=3.1 cores=0,2,4,6
/proc/11105/task/11115/stat : 11115 (java) S 11103 11105 10055 0 -1 4202560 990 0 0 0 301 9 0 0 20 0 19 0 253524319 9855975424 122496 33554432000 1073741824 1073778376 140736274628512 140483557177640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11116] ppid=11103 vsize=9624976 CPUtime=8.98 cores=0,2,4,6
/proc/11105/task/11116/stat : 11116 (java) S 11103 11105 10055 0 -1 4202560 441 0 0 0 894 4 0 0 20 0 19 0 253524320 9855975424 122496 33554432000 1073741824 1073778376 140736274628512 140483426757480 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11117] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11117/stat : 11117 (java) S 11103 11105 10055 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253524321 9855975424 122496 33554432000 1073741824 1073778376 140736274628512 140483425703800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11118] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11118/stat : 11118 (java) S 11103 11105 10055 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253524321 9855975424 122496 33554432000 1073741824 1073778376 140736274628512 140483424650632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11119] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11119/stat : 11119 (java) S 11103 11105 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253524323 9855975424 122496 33554432000 1073741824 1073778376 140736274628512 140483423599376 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11120] ppid=11103 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/11105/task/11120/stat : 11120 (java) S 11103 11105 10055 0 -1 4202560 5642 0 0 0 66 1 0 0 20 0 19 0 253524323 9855975424 122496 33554432000 1073741824 1073778376 140736274628512 140483422546232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11121] ppid=11103 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/11105/task/11121/stat : 11121 (java) S 11103 11105 10055 0 -1 4202560 5132 0 0 0 50 1 0 0 20 0 19 0 253524323 9855975424 122496 33554432000 1073741824 1073778376 140736274628512 140483421493688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11122] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11122/stat : 11122 (java) S 11103 11105 10055 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253524323 9855975424 122496 33554432000 1073741824 1073778376 140736274628512 140483420440824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11123] ppid=11103 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/11105/task/11123/stat : 11123 (java) S 11103 11105 10055 0 -1 4202560 103 0 0 0 25 24 0 0 20 0 19 0 253524323 9855975424 122496 33554432000 1073741824 1073778376 140736274628512 140483419388488 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11124] ppid=11103 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11124/stat : 11124 (java) S 11103 11105 10055 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253524369 9855975424 122496 33554432000 1073741824 1073778376 140736274628512 140483418334760 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11105 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=569184
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=361792
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1781.66
CPU time (s): 1800.05
CPU user time (s): 1799.09
CPU system time (s): 0.96
CPU usage (%): 101.032
Max. virtual memory (cumulated for all children) (KiB): 9625312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.57
system time used= 1.36179
maximum resident set size= 490100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26562
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52210
involuntary context switches= 55085

runsolver used 6.02108 second user time and 14.2338 second system time

The end

Launcher Data 

Begin job on node123 at 2012-05-24 17:39:49
IDJOB=3687655
IDBENCH=2006
IDSOLVER=2269
FILE ID=node123/3687655-1337873988
RUNJOBID= node123-1337871881-10071
PBS_JOBID= 14620081
Free space on /tmp= 71548 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687655-1337873988/watcher-3687655-1337873988 -o /tmp/evaluation-result-3687655-1337873988/solver-3687655-1337873988 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687655-1337873988.opb

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

MD5SUM BENCH= d431323968e1ca4dc95d181076d01437
RANDOM SEED=1473233965

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
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:        28048784 kB
Buffers:          214088 kB
Cached:          2505204 kB
SwapCached:            0 kB
Active:          2017880 kB
Inactive:        2039244 kB
Active(anon):    1339444 kB
Inactive(anon):        0 kB
Active(file):     678436 kB
Inactive(file):  2039244 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1260 kB
Writeback:             0 kB
AnonPages:       1346232 kB
Mapped:            21572 kB
Shmem:               200 kB
Slab:             628204 kB
SReclaimable:      72576 kB
SUnreclaim:       555628 kB
KernelStack:        1600 kB
PageTables:         7012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2186724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1296384 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= 71548 MiB
End job on node123 at 2012-05-24 18:09:32