Trace number 3711188

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)-102 1800.04 1787.85

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_5.opb
MD5SUM9b75ee50c2c62e6be495e8bd0a94fa2c
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-146
Best CPU time to get the best result obtained on this benchmark1796.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -131
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12540
Sum of products size (including duplicates)25080
Number of different products6270
Sum of products size12540

Quality of the solution as a function of time


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

Solver Data 

0.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.06/0.09	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.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.13	c read org.sat4j.minisat.orders.VarOrderHeap
0.07/0.13	c configuring ORDERS
0.07/0.14	c --- Begin Solver configuration ---
0.07/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.07/0.14	c Learn all clauses as in MiniSAT
0.07/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.07/0.14	c Expensive reason simplification
0.07/0.14	c Armin Biere (Picosat) restarts strategy
0.07/0.14	c Glucose learned constraints deletion strategy
0.07/0.14	c timeout=2147483s
0.07/0.14	c DB Simplification allowed=true
0.07/0.14	c Heuristics kept accross calls (keep the solver "hot")
0.07/0.14	c --- End Solver configuration ---
0.07/0.14	c solving HOME/instance-3711188-1338173499.opb
0.07/0.14	c reading problem ... 
0.99/0.58	c ... done. Wall clock time 0.44s.
0.99/0.58	c declared #vars     1000
0.99/0.58	c internal #vars     7270
0.99/0.58	c #constraints  14042
0.99/0.58	c constraints type 
0.99/0.58	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6270
0.99/0.58	c org.sat4j.minisat.constraints.card.MinWatchCard => 1002
0.99/0.58	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
0.99/0.58	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6270
0.99/0.58	c 14042 constraints processed.
1.59/0.72	c SATISFIABLE
1.59/0.72	c OPTIMIZING...
1.59/0.72	c Got one! Elapsed wall clock time (in seconds):0.583
1.59/0.72	o 0
1.59/0.76	c Got one! Elapsed wall clock time (in seconds):0.621
1.59/0.76	o -1
1.88/0.88	c Got one! Elapsed wall clock time (in seconds):0.742
1.88/0.88	o -69
2.30/1.09	c Got one! Elapsed wall clock time (in seconds):0.949
2.30/1.09	o -71
2.40/1.12	c Got one! Elapsed wall clock time (in seconds):0.978
2.40/1.12	o -76
2.52/1.26	c Got one! Elapsed wall clock time (in seconds):1.125
2.52/1.26	o -77
2.83/1.54	c Got one! Elapsed wall clock time (in seconds):1.404
2.83/1.54	o -79
3.74/2.43	c Got one! Elapsed wall clock time (in seconds):2.29
3.74/2.43	o -80
4.14/2.84	c Got one! Elapsed wall clock time (in seconds):2.7
4.14/2.84	o -81
4.64/3.31	c Got one! Elapsed wall clock time (in seconds):3.168
4.64/3.31	o -92
4.84/3.55	c Got one! Elapsed wall clock time (in seconds):3.409
4.84/3.55	o -93
5.56/4.25	c cleaning 4325 clauses out of 8654 with flag 2001/8654
6.73/5.31	c Got one! Elapsed wall clock time (in seconds):5.168
6.73/5.31	o -94
7.33/5.99	c cleaning 4924 clauses out of 9855 with flag 2000/14180
7.54/6.18	c Got one! Elapsed wall clock time (in seconds):6.037
7.54/6.18	o -95
8.85/7.43	c cleaning 5178 clauses out of 10365 with flag 5000/19614
10.67/9.22	c cleaning 5586 clauses out of 11190 with flag 11003/25617
12.30/10.88	c cleaning 6301 clauses out of 12601 with flag 18000/32614
12.55/11.09	c Got one! Elapsed wall clock time (in seconds):10.955
12.55/11.09	o -96
13.94/12.48	c cleaning 5950 clauses out of 11918 with flag 5000/38232
15.24/13.79	c cleaning 5955 clauses out of 11968 with flag 11000/44232
16.76/15.27	c cleaning 6502 clauses out of 13017 with flag 18004/51236
18.27/16.79	c Got one! Elapsed wall clock time (in seconds):16.654
18.27/16.79	o -97
19.37/17.89	c cleaning 8746 clauses out of 17498 with flag 5000/62219
21.09/19.51	c cleaning 7329 clauses out of 14752 with flag 11000/68219
22.21/20.63	c cleaning 7206 clauses out of 14423 with flag 18000/75219
24.63/23.06	c cleaning 7594 clauses out of 15217 with flag 26000/83219
27.04/25.43	c cleaning 8301 clauses out of 16623 with flag 35000/92219
29.34/27.75	c cleaning 9156 clauses out of 18322 with flag 45000/102219
31.57/29.94	c cleaning 10077 clauses out of 20167 with flag 56001/113220
34.79/33.12	c cleaning 10989 clauses out of 22089 with flag 68000/125219
39.22/37.59	c cleaning 12047 clauses out of 24101 with flag 81001/138220
40.13/38.49	c Got one! Elapsed wall clock time (in seconds):38.354
40.13/38.49	o -98
40.73/39.07	c cleaning 8573 clauses out of 17268 with flag 2000/143434
41.97/40.27	c cleaning 7307 clauses out of 14696 with flag 8001/149435
43.48/41.79	c cleaning 7184 clauses out of 14388 with flag 15000/156434
45.79/44.09	c cleaning 7597 clauses out of 15206 with flag 23002/164436
48.49/46.72	c cleaning 8302 clauses out of 16607 with flag 32000/173434
51.40/49.61	c cleaning 9140 clauses out of 18305 with flag 42000/183434
54.21/52.47	c cleaning 10073 clauses out of 20165 with flag 53000/194434
57.32/55.59	c cleaning 11039 clauses out of 22094 with flag 65002/206436
60.65/58.81	c cleaning 12016 clauses out of 24055 with flag 78002/219436
63.52/61.63	c cleaning 13012 clauses out of 26037 with flag 92000/233434
67.15/65.24	c cleaning 14009 clauses out of 28026 with flag 107001/248435
71.54/69.52	c cleaning 15003 clauses out of 30016 with flag 123000/264434
76.05/74.05	c cleaning 16004 clauses out of 32015 with flag 140002/281436
80.87/78.85	c cleaning 17002 clauses out of 34009 with flag 158000/299434
83.01/80.91	c Got one! Elapsed wall clock time (in seconds):80.774
83.01/80.91	o -99
84.21/82.13	c cleaning 14549 clauses out of 29194 with flag 5002/311621
85.14/83.06	c cleaning 10253 clauses out of 20643 with flag 11000/317619
87.04/84.95	c cleaning 8647 clauses out of 17391 with flag 18001/324620
89.25/87.14	c cleaning 8341 clauses out of 16743 with flag 26000/332619
91.06/88.93	c cleaning 8696 clauses out of 17403 with flag 35001/341620
93.37/91.28	c cleaning 9346 clauses out of 18706 with flag 45000/351619
95.98/93.83	c cleaning 10180 clauses out of 20364 with flag 56004/362623
99.10/96.90	c cleaning 11085 clauses out of 22180 with flag 68000/374619
102.72/100.52	c cleaning 12039 clauses out of 24098 with flag 81003/387622
106.35/104.17	c cleaning 13024 clauses out of 26057 with flag 95001/401620
109.87/107.63	c cleaning 14013 clauses out of 28032 with flag 110000/416619
113.90/111.61	c cleaning 15003 clauses out of 30019 with flag 126000/432619
118.03/115.72	c cleaning 16002 clauses out of 32020 with flag 143004/449623
122.56/120.22	c cleaning 17006 clauses out of 34014 with flag 161000/467619
128.49/126.15	c cleaning 17995 clauses out of 36009 with flag 180001/486620
133.84/131.47	c cleaning 18997 clauses out of 38015 with flag 200002/506621
138.48/136.00	c cleaning 20002 clauses out of 40018 with flag 221002/527621
143.41/140.97	c cleaning 21003 clauses out of 42015 with flag 243001/549620
148.76/146.28	c cleaning 22000 clauses out of 44011 with flag 266000/572619
155.13/152.55	c cleaning 23000 clauses out of 46011 with flag 290000/596619
162.88/160.20	c cleaning 23992 clauses out of 48012 with flag 315001/621620
171.51/168.80	c cleaning 25003 clauses out of 50019 with flag 341000/647619
177.27/174.52	c cleaning 26002 clauses out of 52017 with flag 368001/674620
185.13/182.38	c cleaning 26999 clauses out of 54018 with flag 396004/702623
194.91/192.04	c cleaning 27995 clauses out of 56021 with flag 425006/731625
205.39/202.46	c cleaning 28993 clauses out of 58023 with flag 455003/761622
214.54/211.59	c Got one! Elapsed wall clock time (in seconds):211.455
214.54/211.59	o -100
216.04/213.07	c cleaning 30025 clauses out of 60064 with flag 5002/792656
217.80/214.79	c cleaning 17982 clauses out of 36037 with flag 11000/798654
220.21/217.20	c cleaning 12495 clauses out of 25055 with flag 18000/805654
223.04/219.94	c cleaning 10237 clauses out of 20562 with flag 26002/813656
226.74/223.66	c cleaning 9642 clauses out of 19323 with flag 35000/822654
230.18/227.03	c cleaning 9837 clauses out of 19681 with flag 45000/832654
232.80/229.62	c cleaning 10414 clauses out of 20844 with flag 56000/843654
236.83/233.64	c cleaning 11213 clauses out of 22430 with flag 68000/855654
241.46/238.24	c cleaning 12105 clauses out of 24217 with flag 81000/868654
245.68/242.46	c cleaning 13058 clauses out of 26117 with flag 95005/882659
249.21/245.91	c cleaning 14022 clauses out of 28054 with flag 110000/897654
253.54/250.21	c cleaning 15012 clauses out of 30047 with flag 126015/913669
258.27/254.93	c cleaning 16010 clauses out of 32020 with flag 143000/930654
262.08/258.80	c cleaning 17002 clauses out of 34011 with flag 161001/948655
266.51/263.15	c cleaning 17999 clauses out of 36009 with flag 180001/967655
272.52/269.11	c cleaning 18983 clauses out of 38011 with flag 200002/987656
280.75/277.31	c cleaning 20001 clauses out of 40027 with flag 221001/1008655
286.98/283.51	c cleaning 21002 clauses out of 42028 with flag 243003/1030657
293.52/290.06	c cleaning 22010 clauses out of 44026 with flag 266003/1053657
301.55/298.02	c cleaning 23006 clauses out of 46017 with flag 290004/1077658
307.91/304.32	c cleaning 23997 clauses out of 48036 with flag 315029/1102683
315.06/311.47	c cleaning 25007 clauses out of 50034 with flag 341024/1128678
322.53/318.81	c cleaning 26009 clauses out of 52036 with flag 368033/1155687
329.95/326.29	c cleaning 26987 clauses out of 53996 with flag 396002/1183656
336.30/332.54	c cleaning 27999 clauses out of 56009 with flag 425002/1212656
347.04/343.21	c cleaning 29000 clauses out of 58008 with flag 455000/1242654
359.67/355.83	c cleaning 30001 clauses out of 60008 with flag 486000/1273654
363.93/360.03	c Got one! Elapsed wall clock time (in seconds):359.892
363.93/360.03	o -101
365.13/361.29	c cleaning 23972 clauses out of 47948 with flag 5001/1291595
366.28/362.30	c cleaning 14872 clauses out of 29976 with flag 11001/1297595
367.61/363.60	c cleaning 11007 clauses out of 22104 with flag 18001/1304595
368.92/364.92	c cleaning 9500 clauses out of 19097 with flag 26001/1312595
370.54/366.55	c cleaning 9270 clauses out of 18596 with flag 35000/1321594
372.58/368.54	c cleaning 9663 clauses out of 19326 with flag 45000/1331594
375.68/371.64	c cleaning 10328 clauses out of 20663 with flag 56000/1342594
379.19/375.16	c cleaning 11173 clauses out of 22362 with flag 68027/1354621
389.91/385.82	c cleaning 12080 clauses out of 24162 with flag 81000/1367594
394.02/389.99	c cleaning 13034 clauses out of 26082 with flag 95000/1381594
397.36/393.23	c cleaning 14021 clauses out of 28049 with flag 110001/1396595
401.18/397.03	c cleaning 15011 clauses out of 30028 with flag 126001/1412595
405.39/401.25	c cleaning 15999 clauses out of 32025 with flag 143009/1429603
410.22/406.06	c cleaning 17004 clauses out of 34018 with flag 161001/1447595
415.86/411.67	c cleaning 18001 clauses out of 36013 with flag 180000/1466594
422.29/418.03	c cleaning 19009 clauses out of 38020 with flag 200008/1486602
430.22/425.97	c cleaning 19999 clauses out of 40006 with flag 221003/1507597
437.86/433.58	c cleaning 21002 clauses out of 42005 with flag 243001/1529595
444.91/440.51	c cleaning 21985 clauses out of 44005 with flag 266003/1552597
451.37/446.92	c cleaning 23006 clauses out of 46017 with flag 290000/1576594
456.91/452.40	c cleaning 23999 clauses out of 48011 with flag 315000/1601594
463.75/459.27	c cleaning 25003 clauses out of 50012 with flag 341000/1627594
472.92/468.33	c cleaning 25993 clauses out of 52009 with flag 368000/1654594
482.67/478.05	c cleaning 27002 clauses out of 54021 with flag 396005/1682599
490.44/485.71	c cleaning 27995 clauses out of 56014 with flag 425000/1711594
498.02/493.25	c cleaning 29000 clauses out of 58020 with flag 455001/1741595
505.86/501.09	c cleaning 30006 clauses out of 60026 with flag 486007/1772601
516.41/511.57	c cleaning 31016 clauses out of 62049 with flag 518036/1804630
527.22/522.21	c cleaning 32004 clauses out of 64022 with flag 551025/1837619
538.07/533.08	c cleaning 32992 clauses out of 65995 with flag 585002/1871596
549.63/544.55	c cleaning 33996 clauses out of 68006 with flag 620005/1906599
561.46/556.35	c cleaning 34996 clauses out of 70009 with flag 656004/1942598
572.59/567.41	c cleaning 36004 clauses out of 72025 with flag 693016/1979610
584.60/579.42	c cleaning 37001 clauses out of 74006 with flag 731001/2017595
593.44/588.23	c cleaning 37997 clauses out of 76007 with flag 770003/2056597
603.48/598.28	c cleaning 39002 clauses out of 78014 with flag 810007/2096601
613.88/608.58	c cleaning 39992 clauses out of 80009 with flag 851004/2137598
623.32/617.91	c cleaning 41003 clauses out of 82013 with flag 893000/2179594
632.11/626.65	c cleaning 41998 clauses out of 84011 with flag 936001/2222595
643.10/637.43	c cleaning 43004 clauses out of 86022 with flag 980010/2266604
654.83/649.07	c cleaning 43998 clauses out of 88008 with flag 1025000/2311594
667.45/661.52	c cleaning 45005 clauses out of 90010 with flag 1071000/2357594
682.89/676.81	c cleaning 45995 clauses out of 92005 with flag 1118000/2404594
699.65/693.58	c cleaning 46999 clauses out of 94011 with flag 1166001/2452595
710.94/704.76	c cleaning 47999 clauses out of 96012 with flag 1215001/2501595
722.12/715.88	c cleaning 48995 clauses out of 98012 with flag 1265000/2551594
733.40/727.05	c cleaning 50003 clauses out of 100017 with flag 1316000/2602594
745.06/738.69	c cleaning 51002 clauses out of 102014 with flag 1368000/2654594
762.37/755.96	c cleaning 51996 clauses out of 104012 with flag 1421000/2707594
784.65/778.15	c cleaning 52993 clauses out of 106016 with flag 1475000/2761594
809.15/802.52	c cleaning 54004 clauses out of 108023 with flag 1530000/2816594
830.75/824.01	c cleaning 55004 clauses out of 110019 with flag 1586000/2872594
853.42/846.44	c cleaning 55997 clauses out of 112017 with flag 1643002/2929596
879.05/872.04	c cleaning 57002 clauses out of 114018 with flag 1701000/2987594
896.97/889.81	c cleaning 58002 clauses out of 116019 with flag 1760003/3046597
912.20/904.96	c cleaning 59008 clauses out of 118029 with flag 1820015/3106609
929.59/922.23	c cleaning 59995 clauses out of 120007 with flag 1881001/3167595
943.65/936.14	c cleaning 61003 clauses out of 122011 with flag 1943000/3229594
960.41/952.82	c cleaning 61991 clauses out of 124008 with flag 2006000/3292594
978.39/970.74	c cleaning 63002 clauses out of 126017 with flag 2070000/3356594
997.34/989.53	c cleaning 64001 clauses out of 128015 with flag 2135000/3421594
1012.44/1004.51	c cleaning 65000 clauses out of 130017 with flag 2201003/3487597
1029.61/1021.61	c cleaning 66001 clauses out of 132017 with flag 2268003/3554597
1048.22/1040.11	c cleaning 67001 clauses out of 134020 with flag 2336007/3622601
1065.61/1057.46	c cleaning 67991 clauses out of 136012 with flag 2405000/3691594
1086.77/1078.53	c cleaning 69005 clauses out of 138029 with flag 2475008/3761602
1113.47/1105.16	c cleaning 70008 clauses out of 140027 with flag 2546011/3832605
1140.20/1131.58	c cleaning 71000 clauses out of 142014 with flag 2618006/3904600
1166.02/1157.19	c cleaning 71989 clauses out of 144009 with flag 2691001/3977595
1186.32/1177.30	c cleaning 73002 clauses out of 146019 with flag 2765000/4051594
1210.23/1201.13	c cleaning 74000 clauses out of 148017 with flag 2840000/4126594
1229.55/1220.34	c cleaning 75002 clauses out of 150017 with flag 2916000/4202594
1249.27/1239.99	c cleaning 76005 clauses out of 152015 with flag 2993000/4279594
1268.57/1259.12	c cleaning 77000 clauses out of 154011 with flag 3071001/4357595
1289.41/1279.94	c cleaning 78003 clauses out of 156011 with flag 3150001/4436595
1301.39/1291.88	c Got one! Elapsed wall clock time (in seconds):1291.745
1301.39/1291.88	o -102
1304.19/1294.63	c cleaning 68207 clauses out of 136442 with flag 5002/4495029
1305.87/1296.26	c cleaning 37109 clauses out of 74237 with flag 11004/4501031
1307.51/1297.83	c cleaning 21992 clauses out of 44125 with flag 18001/4508028
1309.04/1299.30	c cleaning 15040 clauses out of 30132 with flag 26000/4516027
1310.76/1301.01	c cleaning 12012 clauses out of 24092 with flag 35000/4525027
1313.39/1303.66	c cleaning 11021 clauses out of 22085 with flag 45005/4535032
1316.55/1306.77	c cleaning 11026 clauses out of 22059 with flag 56000/4546027
1318.48/1308.69	c cleaning 11515 clauses out of 23033 with flag 68000/4558027
1320.21/1310.30	c cleaning 12258 clauses out of 24519 with flag 81001/4571028
1323.12/1313.21	c cleaning 13127 clauses out of 26270 with flag 95010/4585037
1326.84/1316.96	c cleaning 14061 clauses out of 28133 with flag 110000/4600027
1330.88/1320.94	c cleaning 15034 clauses out of 30072 with flag 126000/4616027
1336.22/1326.26	c cleaning 16010 clauses out of 32040 with flag 143002/4633029
1344.64/1334.60	c cleaning 16997 clauses out of 34034 with flag 161006/4651033
1353.97/1343.97	c cleaning 17999 clauses out of 36032 with flag 180001/4670028
1358.91/1348.82	c cleaning 19011 clauses out of 38032 with flag 200000/4690027
1363.36/1353.20	c cleaning 20007 clauses out of 40022 with flag 221001/4711028
1367.88/1357.79	c cleaning 21003 clauses out of 42015 with flag 243001/4733028
1374.42/1364.23	c cleaning 22004 clauses out of 44012 with flag 266001/4756028
1380.37/1370.14	c cleaning 23004 clauses out of 46007 with flag 290000/4780027
1386.62/1376.30	c cleaning 23996 clauses out of 48004 with flag 315001/4805028
1394.16/1383.85	c cleaning 25000 clauses out of 50009 with flag 341002/4831029
1401.49/1391.11	c cleaning 26002 clauses out of 52008 with flag 368001/4858028
1408.85/1398.47	c cleaning 27000 clauses out of 54006 with flag 396001/4886028
1416.01/1405.53	c cleaning 27999 clauses out of 56005 with flag 425000/4915027
1421.64/1411.11	c cleaning 29004 clauses out of 58016 with flag 455010/4945037
1430.28/1419.71	c cleaning 30002 clauses out of 60003 with flag 486001/4976028
1439.56/1428.96	c cleaning 30997 clauses out of 62002 with flag 518002/5008029
1450.11/1439.48	c cleaning 31989 clauses out of 64004 with flag 551001/5041028
1459.53/1448.75	c cleaning 33012 clauses out of 66026 with flag 585012/5075039
1470.01/1459.13	c cleaning 33996 clauses out of 68002 with flag 620000/5110027
1481.70/1470.70	c cleaning 34999 clauses out of 70006 with flag 656000/5146027
1489.17/1478.17	c cleaning 36002 clauses out of 72007 with flag 693000/5183027
1497.40/1486.37	c cleaning 36985 clauses out of 74005 with flag 731000/5221027
1504.99/1493.84	c cleaning 38004 clauses out of 76021 with flag 770001/5260028
1514.44/1503.27	c cleaning 39003 clauses out of 78017 with flag 810001/5300028
1523.67/1512.47	c cleaning 39997 clauses out of 80014 with flag 851001/5341028
1533.50/1522.29	c cleaning 40993 clauses out of 82016 with flag 893000/5383027
1543.65/1532.30	c cleaning 42003 clauses out of 84023 with flag 936000/5426027
1553.50/1542.19	c cleaning 42998 clauses out of 86020 with flag 980000/5470027
1564.62/1553.24	c cleaning 44008 clauses out of 88022 with flag 1025000/5515027
1581.67/1570.28	c cleaning 44999 clauses out of 90014 with flag 1071000/5561027
1598.18/1586.63	c cleaning 46006 clauses out of 92015 with flag 1118000/5608027
1608.86/1597.24	c cleaning 47000 clauses out of 94010 with flag 1166001/5656028
1618.73/1607.07	c cleaning 47992 clauses out of 96009 with flag 1215000/5705027
1631.06/1619.34	c cleaning 49006 clauses out of 98017 with flag 1265000/5755027
1653.43/1641.63	c cleaning 50009 clauses out of 100037 with flag 1316026/5806053
1685.52/1673.70	c cleaning 50988 clauses out of 102004 with flag 1368002/5858029
1727.04/1715.08	c cleaning 52010 clauses out of 104047 with flag 1421033/5911060
1765.31/1753.25	c cleaning 52993 clauses out of 106008 with flag 1475004/5965031
1785.54/1773.41	c cleaning 53994 clauses out of 108013 with flag 1530002/6020029
1800.04/1787.81	c starts		: 296
1800.04/1787.81	c conflicts		: 6073232
1800.04/1787.81	c decisions		: 20168922
1800.04/1787.81	c propagations		: 402641911
1800.04/1787.81	c inspects		: 6286438408
1800.04/1787.81	c shortcuts		: 0
1800.04/1787.81	c learnt literals	: 0
1800.04/1787.81	c learnt binary clauses	: 67
1800.04/1787.81	c learnt ternary clauses	: 93211
1800.04/1787.81	c learnt constraints	: 6073232
1800.04/1787.81	c ignored constraints	: 0
1800.04/1787.81	c root simplifications	: 296
1800.04/1787.81	c removed literals (reason simplification)	: 607423296
1800.04/1787.81	c reason swapping (by a shorter reason)	: 0
1800.04/1787.81	c Calls to reduceDB	: 210
1800.04/1787.81	c number of reductions to clauses (during analyze)	: 0
1800.04/1787.81	c number of learned constraints concerned by reduction	: 0
1800.04/1787.81	c number of learning phase by resolution	: 0
1800.04/1787.81	c number of learning phase by cutting planes	: 0
1800.04/1787.81	c speed (assignments/second)	: 225290.01586825543
1800.04/1787.81	c non guided choices	15847
1800.04/1787.84	c learnt constraints type 
1800.04/1787.84	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 67
1800.04/1787.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 107239
1800.04/1787.84	c constraints type 
1800.04/1787.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6270
1800.04/1787.84	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1800.04/1787.84	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1800.04/1787.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6270
1800.04/1787.84	c 14043 constraints processed.
1800.04/1787.84	s SATISFIABLE
1800.04/1787.84	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 
1800.04/1787.84	c objective function=-102
1800.04/1787.84	c Total wall clock time (in seconds): 1787.703

Verifier Data 

OK	-102

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-3711188-1338173499/watcher-3711188-1338173499 -o /tmp/evaluation-result-3711188-1338173499/solver-3711188-1338173499 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711188-1338173499.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.05 2.06 2.01 3/194 2220
/proc/meminfo: memFree=30763528/32873844 swapFree=7624/7624
[pid=2220] ppid=2218 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/2220/stat : 2220 (java) D 2218 2220 31312 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 283475546 9515008 175 33554432000 1073741824 1073778376 140737456613440 140737456596168 214369649552 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/2220/statm: 2323 175 133 9 0 71 0

[startup+0.091018 s]
/proc/loadavg: 2.05 2.06 2.01 3/194 2220
/proc/meminfo: memFree=30763528/32873844 swapFree=7624/7624
[pid=2220] ppid=2218 vsize=9558440 CPUtime=0.06 cores=0,2,4,6
/proc/2220/stat : 2220 (java) S 2218 2220 31312 0 -1 4202496 3441 0 1 0 5 1 0 0 20 0 18 0 283475546 9787842560 4649 33554432000 1073741824 1073778376 140733800132224 140733800123360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2220/statm: 2389610 4651 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440

[startup+0.100251 s]
/proc/loadavg: 2.05 2.06 2.01 3/194 2220
/proc/meminfo: memFree=30763528/32873844 swapFree=7624/7624
[pid=2220] ppid=2218 vsize=9558440 CPUtime=0.07 cores=0,2,4,6
/proc/2220/stat : 2220 (java) S 2218 2220 31312 0 -1 4202496 3535 0 1 0 6 1 0 0 20 0 18 0 283475546 9787842560 4743 33554432000 1073741824 1073778376 140733800132224 140733800123360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2220/statm: 2389610 4744 1779 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558440

[startup+0.300217 s]
/proc/loadavg: 2.05 2.06 2.01 3/194 2220
/proc/meminfo: memFree=30763528/32873844 swapFree=7624/7624
[pid=2220] ppid=2218 vsize=9558440 CPUtime=0.41 cores=0,2,4,6
/proc/2220/stat : 2220 (java) S 2218 2220 31312 0 -1 4202496 5979 0 1 0 38 3 0 0 20 0 18 0 283475546 9787842560 8755 33554432000 1073741824 1073778376 140733800132224 140733800123360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2220/statm: 2389610 8755 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 9558440

[startup+0.700225 s]
/proc/loadavg: 2.05 2.06 2.01 3/194 2220
/proc/meminfo: memFree=30763528/32873844 swapFree=7624/7624
[pid=2220] ppid=2218 vsize=9625004 CPUtime=1.59 cores=0,2,4,6
/proc/2220/stat : 2220 (java) S 2218 2220 31312 0 -1 4202496 19931 0 1 0 152 7 0 0 20 0 19 0 283475546 9856004096 32317 33554432000 1073741824 1073778376 140733800132224 140733800123360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2220/statm: 2406251 32317 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 9625004

[startup+1.50069 s]
/proc/loadavg: 2.05 2.06 2.01 3/213 2239
/proc/meminfo: memFree=30642524/32873844 swapFree=7624/7624
[pid=2220] ppid=2218 vsize=9625004 CPUtime=2.83 cores=0,2,4,6
/proc/2220/stat : 2220 (java) S 2218 2220 31312 0 -1 4202496 20098 0 1 0 276 7 0 0 20 0 19 0 283475546 9856004096 32993 33554432000 1073741824 1073778376 140733800132224 140733800123360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2220/statm: 2406251 32993 2263 9 0 2396937 0
[pid=2220/tid=2222] ppid=2218 vsize=9625004 CPUtime=1.46 cores=0,2,4,6
/proc/2220/task/2222/stat : 2222 (java) R 2218 2220 31312 0 -1 4202560 2590 0 1 0 142 4 0 0 20 0 19 0 283475548 9856004096 32993 33554432000 1073741824 1073778376 140733800132224 139916808995304 139916749443385 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2223] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2223/stat : 2223 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 32993 33554432000 1073741824 1073778376 140733800132224 139916652263976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2224] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2224/stat : 2224 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 32993 33554432000 1073741824 1073778376 140733800132224 139916651211176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2225] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2225/stat : 2225 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 32993 33554432000 1073741824 1073778376 140733800132224 139916650158376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2220/tid=2226] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2226/stat : 2226 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 32993 33554432000 1073741824 1073778376 140733800132224 139916649105576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2227] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2227/stat : 2227 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 32993 33554432000 1073741824 1073778376 140733800132224 139916648053800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2228] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2228/stat : 2228 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 32993 33554432000 1073741824 1073778376 140733800132224 139916647001000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2229] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2229/stat : 2229 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 32993 33554432000 1073741824 1073778376 140733800132224 139916645948200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2230] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2230/stat : 2230 (java) S 2218 2220 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 32993 33554432000 1073741824 1073778376 140733800132224 139916644895400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2231] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2231/stat : 2231 (java) S 2218 2220 31312 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283475550 9856004096 32993 33554432000 1073741824 1073778376 140733800132224 139916632697320 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2232] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2232/stat : 2232 (java) S 2218 2220 31312 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 283475551 9856004096 32993 33554432000 1073741824 1073778376 140733800132224 139916631643384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2233] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2233/stat : 2233 (java) S 2218 2220 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283475551 9856004096 32993 33554432000 1073741824 1073778376 140733800132224 139916630590472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2234] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2234/stat : 2234 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475554 9856004096 32993 33554432000 1073741824 1073778376 140733800132224 139916629538960 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2235] ppid=2218 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/2220/task/2235/stat : 2235 (java) S 2218 2220 31312 0 -1 4202560 10486 0 0 0 66 2 0 0 20 0 19 0 283475554 9856004096 32993 33554432000 1073741824 1073778376 140733800132224 139916628487096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2236] ppid=2218 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/2220/task/2236/stat : 2236 (java) S 2218 2220 31312 0 -1 4202560 5823 0 0 0 64 2 0 0 20 0 19 0 283475554 9856004096 32993 33554432000 1073741824 1073778376 140733800132224 139916627434296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2237] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2237/stat : 2237 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475554 9856004096 32993 33554432000 1073741824 1073778376 140733800132224 139916626381688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2238] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2238/stat : 2238 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475554 9856004096 32993 33554432000 1073741824 1073778376 140733800132224 139916625329096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2239] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2239/stat : 2239 (java) S 2218 2220 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283475606 9856004096 32993 33554432000 1073741824 1073778376 140733800132224 139916624274600 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 9625004

[startup+3.10072 s]
/proc/loadavg: 2.05 2.06 2.01 3/213 2239
/proc/meminfo: memFree=30638544/32873844 swapFree=7624/7624
[pid=2220] ppid=2218 vsize=9625004 CPUtime=4.44 cores=0,2,4,6
/proc/2220/stat : 2220 (java) S 2218 2220 31312 0 -1 4202496 20102 0 1 0 437 7 0 0 20 0 19 0 283475546 9856004096 34018 33554432000 1073741824 1073778376 140733800132224 140733800123360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2220/statm: 2406251 34018 2263 9 0 2396937 0
[pid=2220/tid=2222] ppid=2218 vsize=9625004 CPUtime=3.06 cores=0,2,4,6
/proc/2220/task/2222/stat : 2222 (java) R 2218 2220 31312 0 -1 4202560 2593 0 1 0 302 4 0 0 20 0 19 0 283475548 9856004096 34018 33554432000 1073741824 1073778376 140733800132224 139916808995464 139916749443473 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2223] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2223/stat : 2223 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 34018 33554432000 1073741824 1073778376 140733800132224 139916652263976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2224] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2224/stat : 2224 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 34018 33554432000 1073741824 1073778376 140733800132224 139916651211176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2225] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2225/stat : 2225 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 34018 33554432000 1073741824 1073778376 140733800132224 139916650158376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2220/tid=2226] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2226/stat : 2226 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 34018 33554432000 1073741824 1073778376 140733800132224 139916649105576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2227] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2227/stat : 2227 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 34018 33554432000 1073741824 1073778376 140733800132224 139916648053800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2228] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2228/stat : 2228 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 34018 33554432000 1073741824 1073778376 140733800132224 139916647001000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2229] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2229/stat : 2229 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 34018 33554432000 1073741824 1073778376 140733800132224 139916645948200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2230] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2230/stat : 2230 (java) S 2218 2220 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 34018 33554432000 1073741824 1073778376 140733800132224 139916644895400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2231] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2231/stat : 2231 (java) S 2218 2220 31312 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283475550 9856004096 34018 33554432000 1073741824 1073778376 140733800132224 139916632697320 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2232] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2232/stat : 2232 (java) S 2218 2220 31312 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 283475551 9856004096 34018 33554432000 1073741824 1073778376 140733800132224 139916631643384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2233] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2233/stat : 2233 (java) S 2218 2220 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283475551 9856004096 34018 33554432000 1073741824 1073778376 140733800132224 139916630590472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2234] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2234/stat : 2234 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475554 9856004096 34018 33554432000 1073741824 1073778376 140733800132224 139916629538960 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2235] ppid=2218 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/2220/task/2235/stat : 2235 (java) S 2218 2220 31312 0 -1 4202560 10486 0 0 0 67 2 0 0 20 0 19 0 283475554 9856004096 34018 33554432000 1073741824 1073778376 140733800132224 139916628487096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2236] ppid=2218 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/2220/task/2236/stat : 2236 (java) S 2218 2220 31312 0 -1 4202560 5823 0 0 0 64 2 0 0 20 0 19 0 283475554 9856004096 34018 33554432000 1073741824 1073778376 140733800132224 139916627434296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2237] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2237/stat : 2237 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475554 9856004096 34018 33554432000 1073741824 1073778376 140733800132224 139916626381688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2238] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2238/stat : 2238 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475554 9856004096 34018 33554432000 1073741824 1073778376 140733800132224 139916625329096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2239] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2239/stat : 2239 (java) S 2218 2220 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283475606 9856004096 34018 33554432000 1073741824 1073778376 140733800132224 139916624274600 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 9625004

[startup+6.30062 s]
/proc/loadavg: 2.05 2.06 2.01 3/213 2239
/proc/meminfo: memFree=30616320/32873844 swapFree=7624/7624
[pid=2220] ppid=2218 vsize=9625004 CPUtime=7.74 cores=0,2,4,6
/proc/2220/stat : 2220 (java) S 2218 2220 31312 0 -1 4202496 20192 0 1 0 765 9 0 0 20 0 19 0 283475546 9856004096 39797 33554432000 1073741824 1073778376 140733800132224 140733800123360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2220/statm: 2406251 39797 2291 9 0 2396937 0
[pid=2220/tid=2222] ppid=2218 vsize=9625004 CPUtime=6.18 cores=0,2,4,6
/proc/2220/task/2222/stat : 2222 (java) R 2218 2220 31312 0 -1 4202560 2600 0 1 0 614 4 0 0 20 0 19 0 283475548 9856004096 39797 33554432000 1073741824 1073778376 140733800132224 139916808987072 139916749560596 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2223] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2223/stat : 2223 (java) S 2218 2220 31312 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 39797 33554432000 1073741824 1073778376 140733800132224 139916652263976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2224] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2224/stat : 2224 (java) S 2218 2220 31312 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 39797 33554432000 1073741824 1073778376 140733800132224 139916651211176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2225] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2225/stat : 2225 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 39797 33554432000 1073741824 1073778376 140733800132224 139916650158376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2220/tid=2226] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2226/stat : 2226 (java) S 2218 2220 31312 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 39797 33554432000 1073741824 1073778376 140733800132224 139916649105576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2227] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2227/stat : 2227 (java) S 2218 2220 31312 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 39797 33554432000 1073741824 1073778376 140733800132224 139916648053800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2228] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2228/stat : 2228 (java) S 2218 2220 31312 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 39797 33554432000 1073741824 1073778376 140733800132224 139916647001000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2220/tid=2229] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2229/stat : 2229 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 39797 33554432000 1073741824 1073778376 140733800132224 139916645948200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2220/tid=2230] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2230/stat : 2230 (java) S 2218 2220 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283475549 9856004096 39797 33554432000 1073741824 1073778376 140733800132224 139916644895400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2231] ppid=2218 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/2220/task/2231/stat : 2231 (java) S 2218 2220 31312 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 19 0 283475550 9856004096 39797 33554432000 1073741824 1073778376 140733800132224 139916632697320 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2232] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2232/stat : 2232 (java) S 2218 2220 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283475551 9856004096 39797 33554432000 1073741824 1073778376 140733800132224 139916631643384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2233] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2233/stat : 2233 (java) S 2218 2220 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283475551 9856004096 39797 33554432000 1073741824 1073778376 140733800132224 139916630590472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2234] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2234/stat : 2234 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475554 9856004096 39797 33554432000 1073741824 1073778376 140733800132224 139916629538960 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2235] ppid=2218 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/2220/task/2235/stat : 2235 (java) S 2218 2220 31312 0 -1 4202560 10488 0 0 0 70 2 0 0 20 0 19 0 283475554 9856004096 39797 33554432000 1073741824 1073778376 140733800132224 139916628487096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2236] ppid=2218 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/2220/task/2236/stat : 2236 (java) S 2218 2220 31312 0 -1 4202560 5831 0 0 0 67 2 0 0 20 0 19 0 283475554 9856004096 39797 33554432000 1073741824 1073778376 140733800132224 139916627434296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2237] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2237/stat : 2237 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475554 9856004096 39797 33554432000 1073741824 1073778376 140733800132224 139916626381688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2238] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2238/stat : 2238 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475554 9856004096 39797 33554432000 1073741824 1073778376 140733800132224 139916625329096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2239] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2239/stat : 2239 (java) S 2218 2220 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283475606 9856004096 39797 33554432000 1073741824 1073778376 140733800132224 139916624274600 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=2220/tid=2235] ppid=2218 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/2220/task/2235/stat : 2235 (java) S 2218 2220 31312 0 -1 4202560 10495 0 0 0 74 2 0 0 20 0 19 0 283475554 9856004096 195176 33554432000 1073741824 1073778376 140733800132224 139916628487096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2236] ppid=2218 vsize=9625004 CPUtime=0.79 cores=0,2,4,6
/proc/2220/task/2236/stat : 2236 (java) S 2218 2220 31312 0 -1 4202560 5841 0 0 0 77 2 0 0 20 0 19 0 283475554 9856004096 195176 33554432000 1073741824 1073778376 140733800132224 139916627434296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2220/tid=2237] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2237/stat : 2237 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475554 9856004096 195176 33554432000 1073741824 1073778376 140733800132224 139916626381688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2238] ppid=2218 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/2220/task/2238/stat : 2238 (java) S 2218 2220 31312 0 -1 4202560 95 0 0 0 22 18 0 0 20 0 19 0 283475554 9856004096 195176 33554432000 1073741824 1073778376 140733800132224 139916625329096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2239] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2239/stat : 2239 (java) S 2218 2220 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283475606 9856004096 195176 33554432000 1073741824 1073778376 140733800132224 139916624274600 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1674.22
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/214 2336
/proc/meminfo: memFree=30101484/32873844 swapFree=7624/7624
[pid=2220] ppid=2218 vsize=9625004 CPUtime=1734.41 cores=0,2,4,6
/proc/2220/stat : 2220 (java) S 2218 2220 31312 0 -1 4202496 25816 0 1 0 173301 140 0 0 20 0 19 0 283475546 9856004096 195430 33554432000 1073741824 1073778376 140733800132224 140733800123360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2220/statm: 2406251 195430 2292 9 0 2396937 0
[pid=2220/tid=2222] ppid=2218 vsize=9625004 CPUtime=1702.55 cores=0,2,4,6
/proc/2220/task/2222/stat : 2222 (java) R 2218 2220 31312 0 -1 4202560 2834 0 1 0 170223 32 0 0 20 0 19 0 283475548 9856004096 195430 33554432000 1073741824 1073778376 140733800132224 139916808995120 139916749281840 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2223] ppid=2218 vsize=9625004 CPUtime=1.88 cores=0,2,4,6
/proc/2220/task/2223/stat : 2223 (java) S 2218 2220 31312 0 -1 4202560 364 0 0 0 173 15 0 0 20 0 19 0 283475549 9856004096 195430 33554432000 1073741824 1073778376 140733800132224 139916652263976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2220/tid=2224] ppid=2218 vsize=9625004 CPUtime=1.71 cores=0,2,4,6
/proc/2220/task/2224/stat : 2224 (java) S 2218 2220 31312 0 -1 4202560 623 0 0 0 158 13 0 0 20 0 19 0 283475549 9856004096 195430 33554432000 1073741824 1073778376 140733800132224 139916651211176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2225] ppid=2218 vsize=9625004 CPUtime=1.75 cores=0,2,4,6
/proc/2220/task/2225/stat : 2225 (java) S 2218 2220 31312 0 -1 4202560 598 0 0 0 163 12 0 0 20 0 19 0 283475549 9856004096 195430 33554432000 1073741824 1073778376 140733800132224 139916650158376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2226] ppid=2218 vsize=9625004 CPUtime=1.75 cores=0,2,4,6
/proc/2220/task/2226/stat : 2226 (java) S 2218 2220 31312 0 -1 4202560 464 0 0 0 162 13 0 0 20 0 19 0 283475549 9856004096 195430 33554432000 1073741824 1073778376 140733800132224 139916649105576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2227] ppid=2218 vsize=9625004 CPUtime=1.88 cores=0,2,4,6
/proc/2220/task/2227/stat : 2227 (java) S 2218 2220 31312 0 -1 4202560 482 0 0 0 173 15 0 0 20 0 19 0 283475549 9856004096 195430 33554432000 1073741824 1073778376 140733800132224 139916648053800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2228] ppid=2218 vsize=9625004 CPUtime=1.84 cores=0,2,4,6
/proc/2220/task/2228/stat : 2228 (java) S 2218 2220 31312 0 -1 4202560 573 0 0 0 171 13 0 0 20 0 19 0 283475549 9856004096 195430 33554432000 1073741824 1073778376 140733800132224 139916647001000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2229] ppid=2218 vsize=9625004 CPUtime=1.83 cores=0,2,4,6
/proc/2220/task/2229/stat : 2229 (java) S 2218 2220 31312 0 -1 4202560 707 0 0 0 170 13 0 0 20 0 19 0 283475549 9856004096 195430 33554432000 1073741824 1073778376 140733800132224 139916645948200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2230] ppid=2218 vsize=9625004 CPUtime=1.87 cores=0,2,4,6
/proc/2220/task/2230/stat : 2230 (java) S 2218 2220 31312 0 -1 4202560 692 0 0 0 171 16 0 0 20 0 19 0 283475549 9856004096 195430 33554432000 1073741824 1073778376 140733800132224 139916644895400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2231] ppid=2218 vsize=9625004 CPUtime=11.05 cores=0,2,4,6
/proc/2220/task/2231/stat : 2231 (java) S 2218 2220 31312 0 -1 4202560 859 0 0 0 1103 2 0 0 20 0 19 0 283475550 9856004096 195430 33554432000 1073741824 1073778376 140733800132224 139916632697320 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2232] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2232/stat : 2232 (java) S 2218 2220 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283475551 9856004096 195430 33554432000 1073741824 1073778376 140733800132224 139916631643384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2233] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2233/stat : 2233 (java) S 2218 2220 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283475551 9856004096 195430 33554432000 1073741824 1073778376 140733800132224 139916630590472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2234] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2234/stat : 2234 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475554 9856004096 195430 33554432000 1073741824 1073778376 140733800132224 139916629538960 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2235] ppid=2218 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/2220/task/2235/stat : 2235 (java) S 2218 2220 31312 0 -1 4202560 10495 0 0 0 74 2 0 0 20 0 19 0 283475554 9856004096 195430 33554432000 1073741824 1073778376 140733800132224 139916628487096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2236] ppid=2218 vsize=9625004 CPUtime=0.79 cores=0,2,4,6
/proc/2220/task/2236/stat : 2236 (java) S 2218 2220 31312 0 -1 4202560 5841 0 0 0 77 2 0 0 20 0 19 0 283475554 9856004096 195430 33554432000 1073741824 1073778376 140733800132224 139916627434296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2220/tid=2237] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2237/stat : 2237 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475554 9856004096 195430 33554432000 1073741824 1073778376 140733800132224 139916626381688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2238] ppid=2218 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/2220/task/2238/stat : 2238 (java) S 2218 2220 31312 0 -1 4202560 99 0 0 0 23 19 0 0 20 0 19 0 283475554 9856004096 195430 33554432000 1073741824 1073778376 140733800132224 139916625329096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2239] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2239/stat : 2239 (java) S 2218 2220 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283475606 9856004096 195430 33554432000 1073741824 1073778376 140733800132224 139916624274600 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1734.41
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 2336
/proc/meminfo: memFree=30086412/32873844 swapFree=7624/7624
[pid=2220] ppid=2218 vsize=9625004 CPUtime=1794.53 cores=0,2,4,6
/proc/2220/stat : 2220 (java) S 2218 2220 31312 0 -1 4202496 25993 0 1 0 179312 141 0 0 20 0 19 0 283475546 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 140733800123360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2220/statm: 2406251 195595 2292 9 0 2396937 0
[pid=2220/tid=2222] ppid=2218 vsize=9625004 CPUtime=1762.2 cores=0,2,4,6
/proc/2220/task/2222/stat : 2222 (java) R 2218 2220 31312 0 -1 4202560 2836 0 1 0 176187 33 0 0 20 0 19 0 283475548 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916808995120 139916749495021 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2223] ppid=2218 vsize=9625004 CPUtime=1.9 cores=0,2,4,6
/proc/2220/task/2223/stat : 2223 (java) S 2218 2220 31312 0 -1 4202560 423 0 0 0 175 15 0 0 20 0 19 0 283475549 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916652263976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2220/tid=2224] ppid=2218 vsize=9625004 CPUtime=1.73 cores=0,2,4,6
/proc/2220/task/2224/stat : 2224 (java) S 2218 2220 31312 0 -1 4202560 623 0 0 0 160 13 0 0 20 0 19 0 283475549 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916651211176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2225] ppid=2218 vsize=9625004 CPUtime=1.77 cores=0,2,4,6
/proc/2220/task/2225/stat : 2225 (java) S 2218 2220 31312 0 -1 4202560 598 0 0 0 165 12 0 0 20 0 19 0 283475549 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916650158376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2226] ppid=2218 vsize=9625004 CPUtime=1.77 cores=0,2,4,6
/proc/2220/task/2226/stat : 2226 (java) S 2218 2220 31312 0 -1 4202560 464 0 0 0 164 13 0 0 20 0 19 0 283475549 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916649105576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2220/tid=2227] ppid=2218 vsize=9625004 CPUtime=1.89 cores=0,2,4,6
/proc/2220/task/2227/stat : 2227 (java) S 2218 2220 31312 0 -1 4202560 482 0 0 0 174 15 0 0 20 0 19 0 283475549 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916648053800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2228] ppid=2218 vsize=9625004 CPUtime=1.86 cores=0,2,4,6
/proc/2220/task/2228/stat : 2228 (java) S 2218 2220 31312 0 -1 4202560 573 0 0 0 173 13 0 0 20 0 19 0 283475549 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916647001000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2229] ppid=2218 vsize=9625004 CPUtime=1.86 cores=0,2,4,6
/proc/2220/task/2229/stat : 2229 (java) S 2218 2220 31312 0 -1 4202560 752 0 0 0 173 13 0 0 20 0 19 0 283475549 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916645948200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2230] ppid=2218 vsize=9625004 CPUtime=1.9 cores=0,2,4,6
/proc/2220/task/2230/stat : 2230 (java) S 2218 2220 31312 0 -1 4202560 755 0 0 0 174 16 0 0 20 0 19 0 283475549 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916644895400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2220/tid=2231] ppid=2218 vsize=9625004 CPUtime=11.21 cores=0,2,4,6
/proc/2220/task/2231/stat : 2231 (java) S 2218 2220 31312 0 -1 4202560 863 0 0 0 1119 2 0 0 20 0 19 0 283475550 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916632697320 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2232] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2232/stat : 2232 (java) S 2218 2220 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283475551 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916631643384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2233] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2233/stat : 2233 (java) S 2218 2220 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283475551 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916630590472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2234] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2234/stat : 2234 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475554 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916629538960 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2235] ppid=2218 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/2220/task/2235/stat : 2235 (java) S 2218 2220 31312 0 -1 4202560 10495 0 0 0 74 2 0 0 20 0 19 0 283475554 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916628487096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2236] ppid=2218 vsize=9625004 CPUtime=0.79 cores=0,2,4,6
/proc/2220/task/2236/stat : 2236 (java) S 2218 2220 31312 0 -1 4202560 5841 0 0 0 77 2 0 0 20 0 19 0 283475554 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916627434296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2220/tid=2237] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2237/stat : 2237 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475554 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916626381688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2238] ppid=2218 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/2220/task/2238/stat : 2238 (java) S 2218 2220 31312 0 -1 4202560 103 0 0 0 24 20 0 0 20 0 19 0 283475554 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916625329096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2239] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2239/stat : 2239 (java) S 2218 2220 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283475606 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916624274600 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787.8 s]
/proc/loadavg: 2.00 2.02 2.00 4/213 2336
/proc/meminfo: memFree=30086412/32873844 swapFree=7624/7624
[pid=2220] ppid=2218 vsize=9625004 CPUtime=1800.04 cores=0,2,4,6
/proc/2220/stat : 2220 (java) S 2218 2220 31312 0 -1 4202496 25993 0 1 0 179863 141 0 0 20 0 19 0 283475546 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 140733800123360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2220/statm: 2406251 195595 2292 9 0 2396937 0
[pid=2220/tid=2222] ppid=2218 vsize=9625004 CPUtime=1767.7 cores=0,2,4,6
/proc/2220/task/2222/stat : 2222 (java) R 2218 2220 31312 0 -1 4202560 2836 0 1 0 176737 33 0 0 20 0 19 0 283475548 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916808995120 139916749508192 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2223] ppid=2218 vsize=9625004 CPUtime=1.9 cores=0,2,4,6
/proc/2220/task/2223/stat : 2223 (java) S 2218 2220 31312 0 -1 4202560 423 0 0 0 175 15 0 0 20 0 19 0 283475549 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916652263976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2220/tid=2224] ppid=2218 vsize=9625004 CPUtime=1.73 cores=0,2,4,6
/proc/2220/task/2224/stat : 2224 (java) S 2218 2220 31312 0 -1 4202560 623 0 0 0 160 13 0 0 20 0 19 0 283475549 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916651211176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2225] ppid=2218 vsize=9625004 CPUtime=1.77 cores=0,2,4,6
/proc/2220/task/2225/stat : 2225 (java) S 2218 2220 31312 0 -1 4202560 598 0 0 0 165 12 0 0 20 0 19 0 283475549 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916650158376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2226] ppid=2218 vsize=9625004 CPUtime=1.77 cores=0,2,4,6
/proc/2220/task/2226/stat : 2226 (java) S 2218 2220 31312 0 -1 4202560 464 0 0 0 164 13 0 0 20 0 19 0 283475549 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916649105576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2220/tid=2227] ppid=2218 vsize=9625004 CPUtime=1.89 cores=0,2,4,6
/proc/2220/task/2227/stat : 2227 (java) S 2218 2220 31312 0 -1 4202560 482 0 0 0 174 15 0 0 20 0 19 0 283475549 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916648053800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2228] ppid=2218 vsize=9625004 CPUtime=1.86 cores=0,2,4,6
/proc/2220/task/2228/stat : 2228 (java) S 2218 2220 31312 0 -1 4202560 573 0 0 0 173 13 0 0 20 0 19 0 283475549 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916647001000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2229] ppid=2218 vsize=9625004 CPUtime=1.86 cores=0,2,4,6
/proc/2220/task/2229/stat : 2229 (java) S 2218 2220 31312 0 -1 4202560 752 0 0 0 173 13 0 0 20 0 19 0 283475549 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916645948200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2230] ppid=2218 vsize=9625004 CPUtime=1.9 cores=0,2,4,6
/proc/2220/task/2230/stat : 2230 (java) S 2218 2220 31312 0 -1 4202560 755 0 0 0 174 16 0 0 20 0 19 0 283475549 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916644895400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2220/tid=2231] ppid=2218 vsize=9625004 CPUtime=11.21 cores=0,2,4,6
/proc/2220/task/2231/stat : 2231 (java) S 2218 2220 31312 0 -1 4202560 863 0 0 0 1119 2 0 0 20 0 19 0 283475550 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916632697320 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2232] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2232/stat : 2232 (java) S 2218 2220 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283475551 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916631643384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2233] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2233/stat : 2233 (java) S 2218 2220 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283475551 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916630590472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2234] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2234/stat : 2234 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475554 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916629538960 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2235] ppid=2218 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/2220/task/2235/stat : 2235 (java) S 2218 2220 31312 0 -1 4202560 10495 0 0 0 74 2 0 0 20 0 19 0 283475554 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916628487096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2220/tid=2236] ppid=2218 vsize=9625004 CPUtime=0.79 cores=0,2,4,6
/proc/2220/task/2236/stat : 2236 (java) S 2218 2220 31312 0 -1 4202560 5841 0 0 0 77 2 0 0 20 0 19 0 283475554 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916627434296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2220/tid=2237] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2237/stat : 2237 (java) S 2218 2220 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283475554 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916626381688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2220/tid=2238] ppid=2218 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/2220/task/2238/stat : 2238 (java) S 2218 2220 31312 0 -1 4202560 103 0 0 0 24 20 0 0 20 0 19 0 283475554 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916625329096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2220/tid=2239] ppid=2218 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2220/task/2239/stat : 2239 (java) S 2218 2220 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283475606 9856004096 195595 33554432000 1073741824 1073778376 140733800132224 139916624274600 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625004

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

Real time (s): 1787.85
CPU time (s): 1800.04
CPU user time (s): 1798.63
CPU system time (s): 1.41
CPU usage (%): 100.682
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.09
system time used= 1.83372
maximum resident set size= 1042536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26026
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= 44027
involuntary context switches= 27334

runsolver used 6.39003 second user time and 13.8339 second system time

The end

Launcher Data 

Begin job on node130 at 2012-05-28 04:51:39
IDJOB=3711188
IDBENCH=48268
IDSOLVER=2289
FILE ID=node130/3711188-1338173499
RUNJOBID= node130-1338158197-31328
PBS_JOBID= 14624537
Free space on /tmp= 71472 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_5.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711188-1338173499/watcher-3711188-1338173499 -o /tmp/evaluation-result-3711188-1338173499/solver-3711188-1338173499 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711188-1338173499.opb

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

MD5SUM BENCH= 9b75ee50c2c62e6be495e8bd0a94fa2c
RANDOM SEED=962373559

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30763908 kB
Buffers:          316632 kB
Cached:           489292 kB
SwapCached:         4508 kB
Active:          1164948 kB
Inactive:         111432 kB
Active(anon):     459908 kB
Inactive(anon):     9016 kB
Active(file):     705040 kB
Inactive(file):   102416 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099916 kB
Dirty:               836 kB
Writeback:             0 kB
AnonPages:        538468 kB
Mapped:            19972 kB
Shmem:                 8 kB
Slab:             694100 kB
SReclaimable:     135884 kB
SUnreclaim:       558216 kB
KernelStack:        1760 kB
PageTables:         5208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     970392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    468992 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71472 MiB
End job on node130 at 2012-05-28 05:21:29