Trace number 3459070

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 Resolution 2.3.0SAT (TO)-34 1800.19 1792.5

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
MD5SUMc9380923d34e254cfa512f89027f1d42
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38
Best CPU time to get the best result obtained on this benchmark1800.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41095
Number of constraints which are clauses41095
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 760
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 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
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.09	c version 2.3.1.v20110525
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.18-164.el5
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		12995394264
0.01/0.09	c Max memory 		13063553024
0.01/0.09	c Total memory 		13063553024
0.01/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3459070-1307148405.opb
0.10/0.11	c reading problem ... 
1.02/0.52	c ... done. Wall clock time 0.41s.
1.02/0.52	c #vars     760
1.02/0.52	c #constraints  41095
1.02/0.52	c constraints type 
1.02/0.52	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41095
1.02/0.53	c SATISFIABLE
1.02/0.53	c OPTIMIZING...
1.02/0.53	c Got one! Elapsed wall clock time (in seconds):0.427
1.02/0.53	o -23
1.02/0.56	c Got one! Elapsed wall clock time (in seconds):0.453
1.02/0.56	o -25
1.22/0.63	c Got one! Elapsed wall clock time (in seconds):0.522
1.22/0.63	o -26
1.22/0.64	c Got one! Elapsed wall clock time (in seconds):0.535
1.22/0.64	o -27
1.22/0.65	c Got one! Elapsed wall clock time (in seconds):0.545
1.22/0.65	o -28
1.22/0.68	c Got one! Elapsed wall clock time (in seconds):0.579
1.22/0.68	o -29
1.48/0.74	c Got one! Elapsed wall clock time (in seconds):0.629
1.48/0.74	o -30
1.86/1.04	c Got one! Elapsed wall clock time (in seconds):0.931
1.86/1.04	o -31
2.06/1.30	c Got one! Elapsed wall clock time (in seconds):1.19
2.06/1.30	o -32
2.50/1.62	c cleaning 3226 clauses out of 6452 with flag 2001/6452
3.36/2.42	c cleaning 4613 clauses out of 9225 with flag 8000/12451
4.29/3.37	c cleaning 5807 clauses out of 11613 with flag 15001/19452
5.49/4.50	c cleaning 6904 clauses out of 13807 with flag 23002/27453
6.85/5.89	c cleaning 7951 clauses out of 15901 with flag 32000/36451
8.46/7.41	c cleaning 8975 clauses out of 17950 with flag 42000/46451
10.08/9.08	c cleaning 9988 clauses out of 19976 with flag 53001/57452
12.00/10.96	c cleaning 10991 clauses out of 21987 with flag 65000/69451
14.10/13.05	c cleaning 11997 clauses out of 23998 with flag 78002/82453
16.38/15.24	c cleaning 13000 clauses out of 26000 with flag 92001/96452
18.94/17.75	c cleaning 13991 clauses out of 28000 with flag 107001/111452
21.45/20.21	c cleaning 15002 clauses out of 30008 with flag 123000/127451
24.17/22.99	c cleaning 16002 clauses out of 32006 with flag 140000/144451
27.50/26.31	c cleaning 17000 clauses out of 34004 with flag 158000/162451
27.81/26.51	c Got one! Elapsed wall clock time (in seconds):26.4
27.81/26.51	o -33
28.41/27.11	c cleaning 11056 clauses out of 22140 with flag 4000/167587
29.32/28.08	c cleaning 8539 clauses out of 17084 with flag 10000/173587
30.52/29.24	c cleaning 7763 clauses out of 15545 with flag 17000/180587
31.73/30.40	c cleaning 7885 clauses out of 15782 with flag 25000/188587
33.04/31.72	c cleaning 8443 clauses out of 16897 with flag 34000/197587
34.65/33.32	c cleaning 9226 clauses out of 18455 with flag 44001/207588
36.46/35.18	c cleaning 10103 clauses out of 20228 with flag 55000/218587
38.46/37.19	c cleaning 11053 clauses out of 22126 with flag 67001/230588
40.99/39.68	c cleaning 12036 clauses out of 24072 with flag 80000/243587
43.59/42.27	c cleaning 13018 clauses out of 26036 with flag 94000/257587
46.69/45.34	c cleaning 14007 clauses out of 28018 with flag 109000/272587
49.21/47.88	c cleaning 15006 clauses out of 30011 with flag 125000/288587
52.23/50.82	c cleaning 15994 clauses out of 32005 with flag 142000/305587
55.45/54.10	c cleaning 17004 clauses out of 34011 with flag 160000/323587
59.07/57.60	c cleaning 17998 clauses out of 36007 with flag 179000/342587
62.98/61.52	c cleaning 19005 clauses out of 38009 with flag 199000/362587
67.29/65.84	c cleaning 19997 clauses out of 40004 with flag 220000/383587
71.82/70.38	c cleaning 20999 clauses out of 42007 with flag 242000/405587
75.65/74.14	c cleaning 22002 clauses out of 44008 with flag 265000/428587
80.27/78.72	c cleaning 23001 clauses out of 46006 with flag 289000/452587
84.79/83.28	c cleaning 24001 clauses out of 48005 with flag 314000/477587
89.91/88.34	c cleaning 24997 clauses out of 50004 with flag 340000/503587
95.73/94.13	c cleaning 25995 clauses out of 52007 with flag 367000/530587
101.97/100.33	c cleaning 27005 clauses out of 54013 with flag 395001/558588
109.30/107.63	c cleaning 28004 clauses out of 56007 with flag 424000/587587
115.23/113.55	c cleaning 28983 clauses out of 58004 with flag 454001/617588
120.97/119.29	c cleaning 30001 clauses out of 60021 with flag 485001/648588
127.60/125.86	c cleaning 31006 clauses out of 62020 with flag 517001/680588
135.41/133.61	c cleaning 32005 clauses out of 64013 with flag 550000/713587
142.46/140.71	c cleaning 33002 clauses out of 66008 with flag 584000/747587
150.48/148.66	c cleaning 33998 clauses out of 68006 with flag 619000/782587
158.41/156.60	c cleaning 35000 clauses out of 70008 with flag 655000/818587
168.07/166.13	c cleaning 36001 clauses out of 72008 with flag 692000/855587
178.30/176.35	c cleaning 36998 clauses out of 74008 with flag 730001/893588
185.62/183.64	c cleaning 38004 clauses out of 76010 with flag 769001/932588
194.26/192.28	c cleaning 38999 clauses out of 78005 with flag 809000/972587
204.12/202.07	c cleaning 39997 clauses out of 80006 with flag 850000/1013587
214.37/212.26	c cleaning 41003 clauses out of 82010 with flag 892001/1055588
224.79/222.61	c cleaning 41497 clauses out of 83006 with flag 934000/1097587
237.03/234.89	c cleaning 41739 clauses out of 83509 with flag 976000/1139587
249.47/247.25	c cleaning 41884 clauses out of 83771 with flag 1018001/1181588
259.83/257.52	c cleaning 41918 clauses out of 83887 with flag 1060001/1223588
270.97/268.68	c cleaning 41972 clauses out of 83968 with flag 1102000/1265587
283.74/281.35	c cleaning 41990 clauses out of 83996 with flag 1144000/1307587
294.40/291.93	c cleaning 41995 clauses out of 84006 with flag 1186000/1349587
302.37/299.86	c cleaning 41993 clauses out of 84011 with flag 1228000/1391587
312.03/309.46	c cleaning 42004 clauses out of 84019 with flag 1270001/1433588
322.09/319.43	c cleaning 41993 clauses out of 84014 with flag 1312000/1475587
333.65/331.01	c cleaning 42002 clauses out of 84022 with flag 1354001/1517588
343.17/340.44	c cleaning 41996 clauses out of 84020 with flag 1396001/1559588
354.72/351.97	c cleaning 42001 clauses out of 84023 with flag 1438000/1601587
363.95/361.11	c cleaning 41990 clauses out of 84022 with flag 1480000/1643587
375.71/372.82	c cleaning 42012 clauses out of 84032 with flag 1522000/1685587
386.65/383.77	c cleaning 41993 clauses out of 84020 with flag 1564000/1727587
399.29/396.34	c cleaning 42012 clauses out of 84027 with flag 1606000/1769587
409.35/406.35	c cleaning 41987 clauses out of 84015 with flag 1648000/1811587
420.41/417.39	c cleaning 42005 clauses out of 84028 with flag 1690000/1853587
431.25/428.13	c cleaning 41997 clauses out of 84023 with flag 1732000/1895587
443.88/440.79	c cleaning 41997 clauses out of 84026 with flag 1774000/1937587
454.70/451.54	c cleaning 42006 clauses out of 84029 with flag 1816000/1979587
463.53/460.31	c cleaning 42008 clauses out of 84023 with flag 1858000/2021587
472.00/468.74	c cleaning 42006 clauses out of 84015 with flag 1900000/2063587
480.95/477.69	c cleaning 41996 clauses out of 84009 with flag 1942000/2105587
490.61/487.22	c cleaning 41997 clauses out of 84013 with flag 1984000/2147587
502.16/498.70	c cleaning 42000 clauses out of 84016 with flag 2026000/2189587
512.62/509.21	c cleaning 42008 clauses out of 84016 with flag 2068000/2231587
523.96/520.44	c cleaning 42003 clauses out of 84008 with flag 2110000/2273587
533.84/530.27	c cleaning 41997 clauses out of 84005 with flag 2152000/2315587
543.79/540.15	c cleaning 42005 clauses out of 84009 with flag 2194001/2357588
554.19/550.51	c cleaning 41998 clauses out of 84003 with flag 2236000/2399587
565.75/562.08	c cleaning 41987 clauses out of 84005 with flag 2278000/2441587
576.28/572.56	c cleaning 42006 clauses out of 84019 with flag 2320001/2483588
587.85/584.02	c cleaning 41994 clauses out of 84012 with flag 2362000/2525587
599.50/595.65	c cleaning 42010 clauses out of 84020 with flag 2404002/2567589
611.05/607.16	c cleaning 42000 clauses out of 84008 with flag 2446000/2609587
622.68/618.78	c cleaning 41998 clauses out of 84008 with flag 2488000/2651587
631.83/627.87	c cleaning 41997 clauses out of 84010 with flag 2530000/2693587
644.06/640.05	c cleaning 42006 clauses out of 84013 with flag 2572000/2735587
656.71/652.61	c cleaning 41998 clauses out of 84007 with flag 2614000/2777587
667.74/663.67	c cleaning 41998 clauses out of 84009 with flag 2656000/2819587
678.38/674.29	c cleaning 42004 clauses out of 84011 with flag 2698000/2861587
689.62/685.43	c cleaning 41998 clauses out of 84007 with flag 2740000/2903587
701.45/697.23	c cleaning 42003 clauses out of 84009 with flag 2782000/2945587
714.50/710.23	c cleaning 41998 clauses out of 84007 with flag 2824001/2987588
722.81/718.54	c cleaning 41996 clauses out of 84008 with flag 2866000/3029587
731.37/727.10	c cleaning 42000 clauses out of 84013 with flag 2908001/3071588
740.91/736.56	c cleaning 42000 clauses out of 84012 with flag 2950000/3113587
749.74/745.35	c cleaning 41994 clauses out of 84013 with flag 2992001/3155588
760.67/756.25	c cleaning 42000 clauses out of 84018 with flag 3034000/3197587
771.92/767.41	c cleaning 42005 clauses out of 84019 with flag 3076001/3239588
783.77/779.23	c cleaning 42004 clauses out of 84014 with flag 3118001/3281588
793.21/788.63	c cleaning 41996 clauses out of 84009 with flag 3160000/3323587
804.95/800.32	c cleaning 42002 clauses out of 84013 with flag 3202000/3365587
816.81/812.14	c cleaning 42004 clauses out of 84011 with flag 3244000/3407587
828.35/823.60	c cleaning 41997 clauses out of 84007 with flag 3286000/3449587
840.00/835.20	c cleaning 41993 clauses out of 84010 with flag 3328000/3491587
851.27/846.49	c cleaning 41998 clauses out of 84018 with flag 3370001/3533588
863.22/858.39	c cleaning 42002 clauses out of 84020 with flag 3412001/3575588
874.47/869.57	c cleaning 42000 clauses out of 84017 with flag 3454000/3617587
887.92/882.99	c cleaning 42002 clauses out of 84018 with flag 3496001/3659588
898.26/893.23	c cleaning 42001 clauses out of 84016 with flag 3538001/3701588
909.08/904.02	c cleaning 42000 clauses out of 84014 with flag 3580000/3743587
919.75/914.66	c cleaning 41995 clauses out of 84014 with flag 3622000/3785587
931.59/926.46	c cleaning 42008 clauses out of 84019 with flag 3664000/3827587
942.23/937.09	c cleaning 41992 clauses out of 84011 with flag 3706000/3869587
953.97/948.75	c cleaning 41996 clauses out of 84019 with flag 3748000/3911587
965.80/960.52	c cleaning 42007 clauses out of 84023 with flag 3790000/3953587
977.14/971.84	c cleaning 42001 clauses out of 84016 with flag 3832000/3995587
987.35/982.10	c cleaning 41995 clauses out of 84016 with flag 3874001/4037588
998.41/993.06	c cleaning 42004 clauses out of 84021 with flag 3916001/4079588
1008.92/1003.51	c cleaning 41991 clauses out of 84016 with flag 3958000/4121587
1020.25/1014.81	c cleaning 41994 clauses out of 84025 with flag 4000000/4163587
1031.20/1025.71	c cleaning 42002 clauses out of 84031 with flag 4042000/4205587
1042.51/1037.05	c cleaning 42005 clauses out of 84029 with flag 4084000/4247587
1053.77/1048.31	c cleaning 41995 clauses out of 84024 with flag 4126000/4289587
1065.39/1059.83	c cleaning 42004 clauses out of 84029 with flag 4168000/4331587
1076.95/1071.31	c cleaning 41995 clauses out of 84026 with flag 4210001/4373588
1088.48/1082.88	c cleaning 42007 clauses out of 84031 with flag 4252001/4415588
1101.00/1095.33	c cleaning 42004 clauses out of 84023 with flag 4294000/4457587
1112.95/1107.27	c cleaning 41999 clauses out of 84019 with flag 4336000/4499587
1120.61/1114.81	c cleaning 41994 clauses out of 84020 with flag 4378000/4541587
1129.75/1123.98	c cleaning 42009 clauses out of 84027 with flag 4420001/4583588
1132.70/1126.82	c Got one! Elapsed wall clock time (in seconds):1126.711
1132.70/1126.82	o -34
1133.70/1127.81	c cleaning 30831 clauses out of 61675 with flag 5002/4603245
1134.91/1129.02	c cleaning 18405 clauses out of 36842 with flag 11000/4609243
1136.12/1130.26	c cleaning 12703 clauses out of 25437 with flag 18000/4616243
1137.52/1131.63	c cleaning 10358 clauses out of 20734 with flag 26000/4624243
1139.13/1133.24	c cleaning 9680 clauses out of 19376 with flag 35000/4633243
1140.73/1134.87	c cleaning 9832 clauses out of 19696 with flag 45000/4643243
1142.74/1136.83	c cleaning 10426 clauses out of 20865 with flag 56001/4654244
1144.86/1138.95	c cleaning 11217 clauses out of 22439 with flag 68001/4666244
1147.27/1141.39	c cleaning 12111 clauses out of 24221 with flag 81000/4679243
1150.18/1144.27	c cleaning 13055 clauses out of 26111 with flag 95001/4693244
1153.30/1147.33	c cleaning 14028 clauses out of 28055 with flag 110000/4708243
1156.30/1150.39	c cleaning 15015 clauses out of 30029 with flag 126002/4724245
1159.71/1153.73	c cleaning 15996 clauses out of 32012 with flag 143000/4741243
1163.51/1157.52	c cleaning 16998 clauses out of 34016 with flag 161000/4759243
1167.53/1161.60	c cleaning 18002 clauses out of 36018 with flag 180000/4778243
1171.83/1165.81	c cleaning 19000 clauses out of 38016 with flag 200000/4798243
1175.85/1169.82	c cleaning 20007 clauses out of 40017 with flag 221001/4819244
1180.37/1174.31	c cleaning 21005 clauses out of 42009 with flag 243000/4841243
1185.31/1179.24	c cleaning 21997 clauses out of 44005 with flag 266001/4864244
1190.71/1184.62	c cleaning 23004 clauses out of 46007 with flag 290000/4888243
1196.93/1190.81	c cleaning 24001 clauses out of 48003 with flag 315000/4913243
1204.53/1198.40	c cleaning 24994 clauses out of 50002 with flag 341000/4939243
1209.76/1203.68	c cleaning 26002 clauses out of 52008 with flag 368000/4966243
1216.19/1210.06	c cleaning 26999 clauses out of 54006 with flag 396000/4994243
1223.81/1217.64	c cleaning 28002 clauses out of 56007 with flag 425000/5023243
1231.24/1225.05	c cleaning 28998 clauses out of 58005 with flag 455000/5053243
1239.06/1232.81	c cleaning 29990 clauses out of 60008 with flag 486001/5084244
1247.47/1241.21	c cleaning 31002 clauses out of 62017 with flag 518000/5116243
1255.79/1249.53	c cleaning 32007 clauses out of 64016 with flag 551001/5149244
1264.72/1258.46	c cleaning 32999 clauses out of 66009 with flag 585001/5183244
1272.74/1266.43	c cleaning 34002 clauses out of 68010 with flag 620001/5218244
1281.67/1275.37	c cleaning 34991 clauses out of 70008 with flag 656001/5254244
1290.50/1284.18	c cleaning 36005 clauses out of 72016 with flag 693000/5291243
1299.93/1293.61	c cleaning 37002 clauses out of 74012 with flag 731001/5329244
1309.97/1303.59	c cleaning 37992 clauses out of 76009 with flag 770000/5368243
1320.99/1314.52	c cleaning 39007 clauses out of 78018 with flag 810001/5408244
1332.90/1326.41	c cleaning 39997 clauses out of 80010 with flag 851000/5449243
1346.72/1340.28	c cleaning 40999 clauses out of 82013 with flag 893000/5491243
1357.96/1351.45	c cleaning 41500 clauses out of 83014 with flag 935000/5533243
1369.30/1362.72	c cleaning 41752 clauses out of 83514 with flag 977000/5575243
1382.93/1376.33	c cleaning 41880 clauses out of 83762 with flag 1019000/5617243
1395.97/1389.35	c cleaning 41926 clauses out of 83883 with flag 1061001/5659244
1409.12/1402.44	c cleaning 41968 clauses out of 83956 with flag 1103000/5701243
1423.14/1416.44	c cleaning 41983 clauses out of 83988 with flag 1145000/5743243
1437.17/1430.44	c cleaning 41992 clauses out of 84005 with flag 1187000/5785243
1451.80/1445.06	c cleaning 41998 clauses out of 84013 with flag 1229000/5827243
1467.91/1461.13	c cleaning 42007 clauses out of 84015 with flag 1271000/5869243
1483.66/1476.86	c cleaning 42000 clauses out of 84008 with flag 1313000/5911243
1499.99/1493.19	c cleaning 42003 clauses out of 84008 with flag 1355000/5953243
1514.92/1508.02	c cleaning 41987 clauses out of 84005 with flag 1397000/5995243
1524.85/1517.93	c cleaning 42004 clauses out of 84018 with flag 1439000/6037243
1535.57/1528.61	c cleaning 41999 clauses out of 84014 with flag 1481000/6079243
1547.19/1540.23	c cleaning 42003 clauses out of 84016 with flag 1523001/6121244
1557.74/1550.76	c cleaning 41998 clauses out of 84012 with flag 1565000/6163243
1568.36/1561.33	c cleaning 41997 clauses out of 84014 with flag 1607000/6205243
1580.11/1573.05	c cleaning 42008 clauses out of 84017 with flag 1649000/6247243
1591.71/1584.66	c cleaning 41996 clauses out of 84009 with flag 1691000/6289243
1605.46/1598.32	c cleaning 42003 clauses out of 84013 with flag 1733000/6331243
1616.25/1609.17	c cleaning 41999 clauses out of 84010 with flag 1775000/6373243
1628.26/1621.17	c cleaning 41996 clauses out of 84011 with flag 1817000/6415243
1639.67/1632.56	c cleaning 42002 clauses out of 84015 with flag 1859000/6457243
1651.42/1644.28	c cleaning 42008 clauses out of 84015 with flag 1901002/6499245
1662.65/1655.47	c cleaning 41993 clauses out of 84006 with flag 1943001/6541244
1674.96/1667.76	c cleaning 41997 clauses out of 84012 with flag 1985000/6583243
1688.49/1681.27	c cleaning 42002 clauses out of 84015 with flag 2027000/6625243
1702.72/1695.42	c cleaning 42004 clauses out of 84013 with flag 2069000/6667243
1717.03/1709.79	c cleaning 42002 clauses out of 84009 with flag 2111000/6709243
1728.97/1721.64	c cleaning 42002 clauses out of 84007 with flag 2153000/6751243
1736.62/1729.29	c cleaning 41984 clauses out of 84005 with flag 2195000/6793243
1745.54/1738.15	c cleaning 41992 clauses out of 84021 with flag 2237000/6835243
1755.96/1748.58	c cleaning 42012 clauses out of 84029 with flag 2279000/6877243
1766.22/1758.80	c cleaning 41989 clauses out of 84017 with flag 2321000/6919243
1776.44/1768.97	c cleaning 42006 clauses out of 84029 with flag 2363001/6961244
1787.89/1780.40	c cleaning 41996 clauses out of 84023 with flag 2405001/7003244
1799.94/1792.36	c cleaning 42004 clauses out of 84026 with flag 2447000/7045243
1800.06/1792.44	c starts		: 305
1800.06/1792.44	c conflicts		: 7045246
1800.06/1792.44	c decisions		: 7519364
1800.06/1792.44	c propagations		: 42308370
1800.06/1792.44	c inspects		: 9549804089
1800.06/1792.44	c shortcuts		: 0
1800.06/1792.44	c learnt literals	: 0
1800.06/1792.44	c learnt binary clauses	: 0
1800.06/1792.44	c learnt ternary clauses	: 0
1800.06/1792.44	c learnt constraints	: 7045246
1800.06/1792.44	c ignored constraints	: 0
1800.06/1792.44	c root simplifications	: 0
1800.06/1792.44	c removed literals (reason simplification)	: 105622834
1800.06/1792.44	c reason swapping (by a shorter reason)	: 0
1800.06/1792.44	c Calls to reduceDB	: 211
1800.06/1792.44	c number of reductions to clauses (during analyze)	: 0
1800.06/1792.44	c number of learned constraints concerned by reduction	: 0
1800.06/1792.44	c number of learning phase by resolution	: 0
1800.06/1792.44	c number of learning phase by cutting planes	: 0
1800.06/1792.44	c speed (assignments/second)	: 63562.25239287823
1800.06/1792.44	c non guided choices	0
1800.06/1792.46	c learnt constraints type 
1800.06/1792.46	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 42107
1800.06/1792.46	c constraints type 
1800.06/1792.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/1792.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41095
1800.06/1792.46	s SATISFIABLE
1800.06/1792.46	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 
1800.06/1792.46	c objective function=-34
1800.06/1792.46	c Total wall clock time (in seconds): 1792.352

Verifier Data 

OK	-34

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3459070-1307148405/watcher-3459070-1307148405 -o /tmp/evaluation-result-3459070-1307148405/solver-3459070-1307148405 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459070-1307148405.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.02 2.03 1.96 3/481 11149
/proc/meminfo: memFree=30022016/32950928 swapFree=45617076/67111528
[pid=11149] ppid=11147 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/11149/stat : 11149 (java) S 11147 11149 8915 0 -1 4202496 1943 0 1 0 0 0 0 0 25 0 2 0 826440335 13833195520 1645 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/11149/statm: 3377245 1657 906 9 0 3368401 0
[pid=11149/tid=11150] ppid=11147 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (java) R 11147 11149 8915 0 -1 4202560 6705 0 1 0 0 0 0 0 25 0 2 0 826440336 13850947584 7521 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248089392187 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.0285191 s]
/proc/loadavg: 2.02 2.03 1.96 3/481 11149
/proc/meminfo: memFree=30022016/32950928 swapFree=45617076/67111528
[pid=11149] ppid=11147 vsize=13536868 CPUtime=0.01 cores=1,3,5,7
/proc/11149/stat : 11149 (java) S 11147 11149 8915 0 -1 4202496 12954 0 1 0 0 1 0 0 25 0 10 0 826440335 13861752832 12653 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/11149/statm: 3384217 12660 1356 9 0 3374965 0
[pid=11149/tid=11150] ppid=11147 vsize=13536868 CPUtime=0.01 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (java) R 11147 11149 8915 0 -1 4202560 11843 0 1 0 0 1 0 0 25 0 10 0 826440336 13861752832 12664 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 46912504011273 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13536868

[startup+0.100569 s]
/proc/loadavg: 2.02 2.03 1.96 3/481 11149
/proc/meminfo: memFree=30022016/32950928 swapFree=45617076/67111528
[pid=11149] ppid=11147 vsize=13622236 CPUtime=0.1 cores=1,3,5,7
/proc/11149/stat : 11149 (java) S 11147 11149 8915 0 -1 4202496 15611 0 1 0 8 2 0 0 25 0 18 0 826440335 13949169664 15276 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11149/statm: 3405559 15277 2092 9 0 3396293 0
[pid=11149/tid=11150] ppid=11147 vsize=13622236 CPUtime=0.08 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (java) R 11147 11149 8915 0 -1 4202560 13668 0 1 0 7 1 0 0 18 0 18 0 826440336 13949169664 15279 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622236

[startup+0.300477 s]
/proc/loadavg: 2.02 2.03 1.96 3/481 11149
/proc/meminfo: memFree=30022016/32950928 swapFree=45617076/67111528
[pid=11149] ppid=11147 vsize=13623336 CPUtime=0.47 cores=1,3,5,7
/proc/11149/stat : 11149 (java) S 11147 11149 8915 0 -1 4202496 18471 0 1 0 45 2 0 0 25 0 18 0 826440335 13950296064 17735 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11149/statm: 3405834 17736 2200 9 0 3396568 0
[pid=11149/tid=11150] ppid=11147 vsize=13623336 CPUtime=0.29 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (java) R 11147 11149 8915 0 -1 4202560 15463 0 1 0 27 2 0 0 18 0 18 0 826440336 13950296064 17736 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 47140307553076 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13623336

[startup+0.700402 s]
/proc/loadavg: 2.02 2.03 1.96 3/481 11149
/proc/meminfo: memFree=30022016/32950928 swapFree=45617076/67111528
[pid=11149] ppid=11147 vsize=13631312 CPUtime=1.48 cores=1,3,5,7
/proc/11149/stat : 11149 (java) S 11147 11149 8915 0 -1 4202496 38076 0 1 0 143 5 0 0 25 0 19 0 826440335 13958463488 35974 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11149/statm: 3407828 35974 2231 9 0 3398562 0
[pid=11149/tid=11150] ppid=11147 vsize=13631312 CPUtime=0.69 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (java) R 11147 11149 8915 0 -1 4202560 31249 0 1 0 65 4 0 0 19 0 19 0 826440336 13958463488 35974 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 46912505856193 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13631312

[startup+1.50132 s]
/proc/loadavg: 2.02 2.03 1.96 4/501 11169
/proc/meminfo: memFree=29790724/32950928 swapFree=45617076/67111528
[pid=11149] ppid=11147 vsize=13631312 CPUtime=2.4 cores=1,3,5,7
/proc/11149/stat : 11149 (java) S 11147 11149 8915 0 -1 4202496 42451 0 1 0 234 6 0 0 25 0 19 0 826440335 13958463488 40348 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11149/statm: 3407828 40348 2236 9 0 3398562 0
[pid=11149/tid=11150] ppid=11147 vsize=13631312 CPUtime=1.48 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (java) R 11147 11149 8915 0 -1 4202560 35599 0 1 0 144 4 0 0 20 0 19 0 826440336 13958463488 40348 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 47140307553107 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11149/tid=11152] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440338 13958463488 40348 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11153] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11153/stat : 11153 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440338 13958463488 40348 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11154] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11154/stat : 11154 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440338 13958463488 40348 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11155] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11155/stat : 11155 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440338 13958463488 40348 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11156] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11156/stat : 11156 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440338 13958463488 40348 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11157] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11157/stat : 11157 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440338 13958463488 40348 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11158] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11158/stat : 11158 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440338 13958463488 40348 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11159] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11159/stat : 11159 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440338 13958463488 40348 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11160] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11160/stat : 11160 (java) S 11147 11149 8915 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826440339 13958463488 40348 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514752 0 0 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11161] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11161/stat : 11161 (java) S 11147 11149 8915 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826440339 13958463488 40349 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11162] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11162/stat : 11162 (java) S 11147 11149 8915 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826440339 13958463488 40349 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11163] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11163/stat : 11163 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440341 13958463488 40349 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101521841 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11164] ppid=11147 vsize=13631312 CPUtime=0.46 cores=1,3,5,7
/proc/11149/task/11164/stat : 11164 (java) S 11147 11149 8915 0 -1 4202560 2134 0 0 0 46 0 0 0 20 0 19 0 826440341 13958463488 40349 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 3 0 0 0
[pid=11149/tid=11165] ppid=11147 vsize=13631312 CPUtime=0.43 cores=1,3,5,7
/proc/11149/task/11165/stat : 11165 (java) S 11147 11149 8915 0 -1 4202560 3558 0 0 0 43 0 0 0 25 0 19 0 826440341 13958463488 40349 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11166] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11166/stat : 11166 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440341 13958463488 40349 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11167] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11167/stat : 11167 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826440341 13958463488 40349 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514752 0 4 0 16800975 18446604468568450944 0 0 -1 5 0 0 0
[pid=11149/tid=11169] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11169/stat : 11169 (java) S 11147 11149 8915 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826440388 13958463488 40349 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514752 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 13631312

[startup+3.10098 s]
/proc/loadavg: 2.02 2.03 1.96 3/501 11169
/proc/meminfo: memFree=29717812/32950928 swapFree=45617076/67111528
[pid=11149] ppid=11147 vsize=13631312 CPUtime=4.07 cores=1,3,5,7
/proc/11149/stat : 11149 (java) S 11147 11149 8915 0 -1 4202496 55614 0 1 0 399 8 0 0 25 0 19 0 826440335 13958463488 53506 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11149/statm: 3407828 53506 2262 9 0 3398562 0
[pid=11149/tid=11150] ppid=11147 vsize=13631312 CPUtime=3.02 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (java) R 11147 11149 8915 0 -1 4202560 36176 0 1 0 298 4 0 0 25 0 19 0 826440336 13958463488 53506 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 46912505882413 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11149/tid=11152] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (java) S 11147 11149 8915 0 -1 4202560 1511 0 0 0 0 0 0 0 16 0 19 0 826440338 13958463488 53506 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11153] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11153/stat : 11153 (java) S 11147 11149 8915 0 -1 4202560 1320 0 0 0 0 0 0 0 16 0 19 0 826440338 13958463488 53506 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11154] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11154/stat : 11154 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826440338 13958463488 53506 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11155] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11155/stat : 11155 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 826440338 13958463488 53506 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11156] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11156/stat : 11156 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 826440338 13958463488 53506 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11157] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11157/stat : 11157 (java) S 11147 11149 8915 0 -1 4202560 1593 0 0 0 0 0 0 0 16 0 19 0 826440338 13958463488 53506 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 5 0 0 0
[pid=11149/tid=11158] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11158/stat : 11158 (java) S 11147 11149 8915 0 -1 4202560 1526 0 0 0 0 0 0 0 16 0 19 0 826440338 13958463488 53506 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 5 0 0 0
[pid=11149/tid=11159] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11159/stat : 11159 (java) S 11147 11149 8915 0 -1 4202560 1472 0 0 0 0 0 0 0 15 0 19 0 826440338 13958463488 53506 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11160] ppid=11147 vsize=13631312 CPUtime=0.04 cores=1,3,5,7
/proc/11149/task/11160/stat : 11160 (java) S 11147 11149 8915 0 -1 4202560 5157 0 0 0 4 0 0 0 16 0 19 0 826440339 13958463488 53506 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514752 0 0 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11161] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11161/stat : 11161 (java) S 11147 11149 8915 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826440339 13958463488 53506 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11162] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11162/stat : 11162 (java) S 11147 11149 8915 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826440339 13958463488 53506 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11163] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11163/stat : 11163 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440341 13958463488 53506 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101521841 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11164] ppid=11147 vsize=13631312 CPUtime=0.49 cores=1,3,5,7
/proc/11149/task/11164/stat : 11164 (java) S 11147 11149 8915 0 -1 4202560 2144 0 0 0 49 0 0 0 15 0 19 0 826440341 13958463488 53506 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 3 0 0 0
[pid=11149/tid=11165] ppid=11147 vsize=13631312 CPUtime=0.45 cores=1,3,5,7
/proc/11149/task/11165/stat : 11165 (java) S 11147 11149 8915 0 -1 4202560 3562 0 0 0 45 0 0 0 15 0 19 0 826440341 13958463488 53506 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 5 0 0 0
[pid=11149/tid=11166] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11166/stat : 11166 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440341 13958463488 53506 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11167] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11167/stat : 11167 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826440341 13958463488 53506 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514752 0 4 0 16800975 18446604468568450944 0 0 -1 5 0 0 0
[pid=11149/tid=11169] ppid=11147 vsize=13631312 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11169/stat : 11169 (java) S 11147 11149 8915 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826440388 13958463488 53506 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514752 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 13631312

[startup+6.30147 s]
/proc/loadavg: 2.02 2.03 1.96 3/501 11169
/proc/meminfo: memFree=29632620/32950928 swapFree=45617076/67111528
[pid=11149] ppid=11147 vsize=13630172 CPUtime=7.36 cores=1,3,5,7
/proc/11149/stat : 11149 (java) S 11147 11149 8915 0 -1 4202496 62436 0 1 0 728 8 0 0 25 0 19 0 826440335 13957296128 60099 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11149/statm: 3407543 60099 2262 9 0 3398277 0
[pid=11149/tid=11150] ppid=11147 vsize=13630172 CPUtime=6.1 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (java) R 11147 11149 8915 0 -1 4202560 36180 0 1 0 606 4 0 0 25 0 19 0 826440336 13957296128 60099 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 46912505856227 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11149/tid=11152] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (java) S 11147 11149 8915 0 -1 4202560 1980 0 0 0 0 0 0 0 16 0 19 0 826440338 13957296128 60099 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 5 0 0 0
[pid=11149/tid=11153] ppid=11147 vsize=13630172 CPUtime=0.01 cores=1,3,5,7
/proc/11149/task/11153/stat : 11153 (java) S 11147 11149 8915 0 -1 4202560 1789 0 0 0 1 0 0 0 15 0 19 0 826440338 13957296128 60099 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11154] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11154/stat : 11154 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826440338 13957296128 60099 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11155] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11155/stat : 11155 (java) S 11147 11149 8915 0 -1 4202560 528 0 0 0 0 0 0 0 16 0 19 0 826440338 13957296128 60099 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 5 0 0 0
[pid=11149/tid=11156] ppid=11147 vsize=13630172 CPUtime=0.01 cores=1,3,5,7
/proc/11149/task/11156/stat : 11156 (java) S 11147 11149 8915 0 -1 4202560 1076 0 0 0 1 0 0 0 15 0 19 0 826440338 13957296128 60099 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11157] ppid=11147 vsize=13630172 CPUtime=0.01 cores=1,3,5,7
/proc/11149/task/11157/stat : 11157 (java) S 11147 11149 8915 0 -1 4202560 1600 0 0 0 1 0 0 0 15 0 19 0 826440338 13957296128 60099 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11158] ppid=11147 vsize=13630172 CPUtime=0.02 cores=1,3,5,7
/proc/11149/task/11158/stat : 11158 (java) S 11147 11149 8915 0 -1 4202560 2891 0 0 0 2 0 0 0 16 0 19 0 826440338 13957296128 60099 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 5 0 0 0
[pid=11149/tid=11159] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11159/stat : 11159 (java) S 11147 11149 8915 0 -1 4202560 1893 0 0 0 0 0 0 0 15 0 19 0 826440338 13957296128 60099 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11160] ppid=11147 vsize=13630172 CPUtime=0.12 cores=1,3,5,7
/proc/11149/task/11160/stat : 11160 (java) S 11147 11149 8915 0 -1 4202560 7627 0 0 0 12 0 0 0 16 0 19 0 826440339 13957296128 60099 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514752 0 0 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11161] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11161/stat : 11161 (java) S 11147 11149 8915 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826440339 13957296128 60099 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11162] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11162/stat : 11162 (java) S 11147 11149 8915 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826440339 13957296128 60099 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11163] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11163/stat : 11163 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440341 13957296128 60099 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101521841 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11164] ppid=11147 vsize=13630172 CPUtime=0.49 cores=1,3,5,7
/proc/11149/task/11164/stat : 11164 (java) S 11147 11149 8915 0 -1 4202560 2144 0 0 0 49 0 0 0 15 0 19 0 826440341 13957296128 60099 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 3 0 0 0
[pid=11149/tid=11165] ppid=11147 vsize=13630172 CPUtime=0.5 cores=1,3,5,7
/proc/11149/task/11165/stat : 11165 (java) S 11147 11149 8915 0 -1 4202560 3577 0 0 0 50 0 0 0 15 0 19 0 826440341 13957296128 60099 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 5 0 0 0

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

[pid=11149/tid=11157] ppid=11147 vsize=13630172 CPUtime=1.05 cores=1,3,5,7
/proc/11149/task/11157/stat : 11157 (java) S 11147 11149 8915 0 -1 4202560 6392 0 0 0 104 1 0 0 15 0 19 0 826440338 13957296128 160021 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11158] ppid=11147 vsize=13630172 CPUtime=1.09 cores=1,3,5,7
/proc/11149/task/11158/stat : 11158 (java) S 11147 11149 8915 0 -1 4202560 11000 0 0 0 109 0 0 0 15 0 19 0 826440338 13957296128 160021 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 5 0 0 0
[pid=11149/tid=11159] ppid=11147 vsize=13630172 CPUtime=1.11 cores=1,3,5,7
/proc/11149/task/11159/stat : 11159 (java) S 11147 11149 8915 0 -1 4202560 8573 0 0 0 110 1 0 0 16 0 19 0 826440338 13957296128 160021 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11160] ppid=11147 vsize=13630172 CPUtime=12.31 cores=1,3,5,7
/proc/11149/task/11160/stat : 11160 (java) S 11147 11149 8915 0 -1 4202560 53182 0 0 0 1225 6 0 0 15 0 19 0 826440339 13957296128 160021 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514752 0 0 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11161] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11161/stat : 11161 (java) S 11147 11149 8915 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826440339 13957296128 160021 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11162] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11162/stat : 11162 (java) S 11147 11149 8915 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826440339 13957296128 160021 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11163] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11163/stat : 11163 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440341 13957296128 160021 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101521841 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11164] ppid=11147 vsize=13630172 CPUtime=0.61 cores=1,3,5,7
/proc/11149/task/11164/stat : 11164 (java) S 11147 11149 8915 0 -1 4202560 3758 0 0 0 61 0 0 0 15 0 19 0 826440341 13957296128 160021 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 3 0 0 0
[pid=11149/tid=11165] ppid=11147 vsize=13630172 CPUtime=0.5 cores=1,3,5,7
/proc/11149/task/11165/stat : 11165 (java) S 11147 11149 8915 0 -1 4202560 3581 0 0 0 50 0 0 0 15 0 19 0 826440341 13957296128 160021 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 5 0 0 0
[pid=11149/tid=11166] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11166/stat : 11166 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440341 13957296128 160021 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11167] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11167/stat : 11167 (java) S 11147 11149 8915 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 826440341 13957296128 160021 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514752 0 4 0 16800975 18446604468568450944 0 0 -1 3 0 0 0
[pid=11149/tid=11169] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11169/stat : 11169 (java) S 11147 11149 8915 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826440388 13957296128 160021 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514752 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1669.56
Current children cumulated vsize (KiB) 13630172

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/501 11226
/proc/meminfo: memFree=28813496/32950928 swapFree=45617076/67111528
[pid=11149] ppid=11147 vsize=13630172 CPUtime=1729.7 cores=1,3,5,7
/proc/11149/stat : 11149 (java) S 11147 11149 8915 0 -1 4202496 164336 0 1 0 172946 24 0 0 25 0 19 0 826440335 13957296128 160103 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11149/statm: 3407543 160103 2263 9 0 3398277 0
[pid=11149/tid=11150] ppid=11147 vsize=13630172 CPUtime=1706.75 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (java) R 11147 11149 8915 0 -1 4202560 44384 0 1 0 170669 6 0 0 25 0 19 0 826440336 13957296128 160103 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 46912505882433 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11149/tid=11152] ppid=11147 vsize=13630172 CPUtime=1.19 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (java) S 11147 11149 8915 0 -1 4202560 7680 0 0 0 119 0 0 0 15 0 19 0 826440338 13957296128 160103 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 3 0 0 0
[pid=11149/tid=11153] ppid=11147 vsize=13630172 CPUtime=1.02 cores=1,3,5,7
/proc/11149/task/11153/stat : 11153 (java) S 11147 11149 8915 0 -1 4202560 6222 0 0 0 101 1 0 0 16 0 19 0 826440338 13957296128 160103 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 3 0 0 0
[pid=11149/tid=11154] ppid=11147 vsize=13630172 CPUtime=1.2 cores=1,3,5,7
/proc/11149/task/11154/stat : 11154 (java) S 11147 11149 8915 0 -1 4202560 5611 0 0 0 119 1 0 0 15 0 19 0 826440338 13957296128 160103 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 3 0 0 0
[pid=11149/tid=11155] ppid=11147 vsize=13630172 CPUtime=1.18 cores=1,3,5,7
/proc/11149/task/11155/stat : 11155 (java) S 11147 11149 8915 0 -1 4202560 5480 0 0 0 117 1 0 0 16 0 19 0 826440338 13957296128 160103 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 5 0 0 0
[pid=11149/tid=11156] ppid=11147 vsize=13630172 CPUtime=1.07 cores=1,3,5,7
/proc/11149/task/11156/stat : 11156 (java) S 11147 11149 8915 0 -1 4202560 7191 0 0 0 106 1 0 0 15 0 19 0 826440338 13957296128 160103 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11157] ppid=11147 vsize=13630172 CPUtime=1.07 cores=1,3,5,7
/proc/11149/task/11157/stat : 11157 (java) S 11147 11149 8915 0 -1 4202560 6392 0 0 0 106 1 0 0 16 0 19 0 826440338 13957296128 160103 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11158] ppid=11147 vsize=13630172 CPUtime=1.12 cores=1,3,5,7
/proc/11149/task/11158/stat : 11158 (java) S 11147 11149 8915 0 -1 4202560 11017 0 0 0 112 0 0 0 16 0 19 0 826440338 13957296128 160103 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11159] ppid=11147 vsize=13630172 CPUtime=1.15 cores=1,3,5,7
/proc/11149/task/11159/stat : 11159 (java) S 11147 11149 8915 0 -1 4202560 8584 0 0 0 114 1 0 0 16 0 19 0 826440338 13957296128 160103 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 5 0 0 0
[pid=11149/tid=11160] ppid=11147 vsize=13630172 CPUtime=12.72 cores=1,3,5,7
/proc/11149/task/11160/stat : 11160 (java) S 11147 11149 8915 0 -1 4202560 53186 0 0 0 1266 6 0 0 16 0 19 0 826440339 13957296128 160103 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514752 0 0 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11161] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11161/stat : 11161 (java) S 11147 11149 8915 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826440339 13957296128 160103 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11162] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11162/stat : 11162 (java) S 11147 11149 8915 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826440339 13957296128 160103 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11163] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11163/stat : 11163 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440341 13957296128 160103 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101521841 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11164] ppid=11147 vsize=13630172 CPUtime=0.61 cores=1,3,5,7
/proc/11149/task/11164/stat : 11164 (java) S 11147 11149 8915 0 -1 4202560 3758 0 0 0 61 0 0 0 15 0 19 0 826440341 13957296128 160103 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 3 0 0 0
[pid=11149/tid=11165] ppid=11147 vsize=13630172 CPUtime=0.5 cores=1,3,5,7
/proc/11149/task/11165/stat : 11165 (java) S 11147 11149 8915 0 -1 4202560 3581 0 0 0 50 0 0 0 15 0 19 0 826440341 13957296128 160103 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 5 0 0 0
[pid=11149/tid=11166] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11166/stat : 11166 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440341 13957296128 160103 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11167] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11167/stat : 11167 (java) S 11147 11149 8915 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826440341 13957296128 160103 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514752 0 4 0 16800975 18446604468568450944 0 0 -1 3 0 0 0
[pid=11149/tid=11169] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11169/stat : 11169 (java) S 11147 11149 8915 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826440388 13957296128 160103 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514752 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1729.7
Current children cumulated vsize (KiB) 13630172

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/501 11228
/proc/meminfo: memFree=28808128/32950928 swapFree=45617076/67111528
[pid=11149] ppid=11147 vsize=13630172 CPUtime=1789.94 cores=1,3,5,7
/proc/11149/stat : 11149 (java) S 11147 11149 8915 0 -1 4202496 164384 0 1 0 178970 24 0 0 25 0 19 0 826440335 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11149/statm: 3407543 160141 2263 9 0 3398277 0
[pid=11149/tid=11150] ppid=11147 vsize=13630172 CPUtime=1766.21 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (java) R 11147 11149 8915 0 -1 4202560 44390 0 1 0 176615 6 0 0 25 0 19 0 826440336 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 46912506044999 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11149/tid=11152] ppid=11147 vsize=13630172 CPUtime=1.29 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (java) S 11147 11149 8915 0 -1 4202560 7680 0 0 0 129 0 0 0 16 0 19 0 826440338 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 3 0 0 0
[pid=11149/tid=11153] ppid=11147 vsize=13630172 CPUtime=1.06 cores=1,3,5,7
/proc/11149/task/11153/stat : 11153 (java) S 11147 11149 8915 0 -1 4202560 6225 0 0 0 105 1 0 0 16 0 19 0 826440338 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11154] ppid=11147 vsize=13630172 CPUtime=1.24 cores=1,3,5,7
/proc/11149/task/11154/stat : 11154 (java) S 11147 11149 8915 0 -1 4202560 5621 0 0 0 123 1 0 0 16 0 19 0 826440338 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11155] ppid=11147 vsize=13630172 CPUtime=1.23 cores=1,3,5,7
/proc/11149/task/11155/stat : 11155 (java) S 11147 11149 8915 0 -1 4202560 5491 0 0 0 122 1 0 0 16 0 19 0 826440338 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11156] ppid=11147 vsize=13630172 CPUtime=1.1 cores=1,3,5,7
/proc/11149/task/11156/stat : 11156 (java) S 11147 11149 8915 0 -1 4202560 7201 0 0 0 109 1 0 0 16 0 19 0 826440338 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11157] ppid=11147 vsize=13630172 CPUtime=1.09 cores=1,3,5,7
/proc/11149/task/11157/stat : 11157 (java) S 11147 11149 8915 0 -1 4202560 6392 0 0 0 108 1 0 0 15 0 19 0 826440338 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11158] ppid=11147 vsize=13630172 CPUtime=1.18 cores=1,3,5,7
/proc/11149/task/11158/stat : 11158 (java) S 11147 11149 8915 0 -1 4202560 11021 0 0 0 118 0 0 0 15 0 19 0 826440338 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11159] ppid=11147 vsize=13630172 CPUtime=1.17 cores=1,3,5,7
/proc/11149/task/11159/stat : 11159 (java) S 11147 11149 8915 0 -1 4202560 8584 0 0 0 116 1 0 0 15 0 19 0 826440338 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 3 0 0 0
[pid=11149/tid=11160] ppid=11147 vsize=13630172 CPUtime=13.16 cores=1,3,5,7
/proc/11149/task/11160/stat : 11160 (java) S 11147 11149 8915 0 -1 4202560 53188 0 0 0 1310 6 0 0 15 0 19 0 826440339 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514752 0 0 0 16800975 18446604468568450944 0 0 -1 5 0 0 0
[pid=11149/tid=11161] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11161/stat : 11161 (java) S 11147 11149 8915 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826440339 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11162] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11162/stat : 11162 (java) S 11147 11149 8915 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826440339 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11163] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11163/stat : 11163 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440341 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101521841 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11164] ppid=11147 vsize=13630172 CPUtime=0.61 cores=1,3,5,7
/proc/11149/task/11164/stat : 11164 (java) S 11147 11149 8915 0 -1 4202560 3758 0 0 0 61 0 0 0 15 0 19 0 826440341 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 3 0 0 0
[pid=11149/tid=11165] ppid=11147 vsize=13630172 CPUtime=0.5 cores=1,3,5,7
/proc/11149/task/11165/stat : 11165 (java) S 11147 11149 8915 0 -1 4202560 3581 0 0 0 50 0 0 0 15 0 19 0 826440341 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 5 0 0 0
[pid=11149/tid=11166] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11166/stat : 11166 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440341 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11167] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11167/stat : 11167 (java) S 11147 11149 8915 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826440341 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514752 0 4 0 16800975 18446604468568450944 0 0 -1 3 0 0 0
[pid=11149/tid=11169] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11169/stat : 11169 (java) S 11147 11149 8915 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826440388 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514752 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1789.94
Current children cumulated vsize (KiB) 13630172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.4 s]
/proc/loadavg: 2.16 2.05 2.01 3/501 11228
/proc/meminfo: memFree=28808248/32950928 swapFree=45617076/67111528
[pid=11149] ppid=11147 vsize=13630172 CPUtime=1800.06 cores=1,3,5,7
/proc/11149/stat : 11149 (java) S 11147 11149 8915 0 -1 4202496 164388 0 1 0 179982 24 0 0 25 0 19 0 826440335 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11149/statm: 3407543 160141 2263 9 0 3398277 0
[pid=11149/tid=11150] ppid=11147 vsize=13630172 CPUtime=1776.28 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (java) S 11147 11149 8915 0 -1 4202560 44390 0 1 0 177622 6 0 0 25 0 19 0 826440336 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11152] ppid=11147 vsize=13630172 CPUtime=1.29 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (java) S 11147 11149 8915 0 -1 4202560 7680 0 0 0 129 0 0 0 15 0 19 0 826440338 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 3 0 0 0
[pid=11149/tid=11153] ppid=11147 vsize=13630172 CPUtime=1.07 cores=1,3,5,7
/proc/11149/task/11153/stat : 11153 (java) S 11147 11149 8915 0 -1 4202560 6225 0 0 0 106 1 0 0 16 0 19 0 826440338 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11154] ppid=11147 vsize=13630172 CPUtime=1.24 cores=1,3,5,7
/proc/11149/task/11154/stat : 11154 (java) S 11147 11149 8915 0 -1 4202560 5621 0 0 0 123 1 0 0 15 0 19 0 826440338 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 3 0 0 0
[pid=11149/tid=11155] ppid=11147 vsize=13630172 CPUtime=1.23 cores=1,3,5,7
/proc/11149/task/11155/stat : 11155 (java) S 11147 11149 8915 0 -1 4202560 5491 0 0 0 122 1 0 0 15 0 19 0 826440338 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11156] ppid=11147 vsize=13630172 CPUtime=1.1 cores=1,3,5,7
/proc/11149/task/11156/stat : 11156 (java) S 11147 11149 8915 0 -1 4202560 7201 0 0 0 109 1 0 0 16 0 19 0 826440338 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11157] ppid=11147 vsize=13630172 CPUtime=1.1 cores=1,3,5,7
/proc/11149/task/11157/stat : 11157 (java) S 11147 11149 8915 0 -1 4202560 6392 0 0 0 109 1 0 0 16 0 19 0 826440338 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11158] ppid=11147 vsize=13630172 CPUtime=1.18 cores=1,3,5,7
/proc/11149/task/11158/stat : 11158 (java) S 11147 11149 8915 0 -1 4202560 11021 0 0 0 118 0 0 0 15 0 19 0 826440338 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
[pid=11149/tid=11159] ppid=11147 vsize=13630172 CPUtime=1.17 cores=1,3,5,7
/proc/11149/task/11159/stat : 11159 (java) S 11147 11149 8915 0 -1 4202560 8584 0 0 0 116 1 0 0 15 0 19 0 826440338 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 3 0 0 0
[pid=11149/tid=11160] ppid=11147 vsize=13630172 CPUtime=13.2 cores=1,3,5,7
/proc/11149/task/11160/stat : 11160 (java) R 11147 11149 8915 0 -1 4202560 53190 0 0 0 1314 6 0 0 15 0 19 0 826440339 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 47140306296864 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=11149/tid=11161] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11161/stat : 11161 (java) S 11147 11149 8915 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826440339 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11162] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11162/stat : 11162 (java) S 11147 11149 8915 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826440339 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11163] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11163/stat : 11163 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440341 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101521841 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11164] ppid=11147 vsize=13630172 CPUtime=0.61 cores=1,3,5,7
/proc/11149/task/11164/stat : 11164 (java) S 11147 11149 8915 0 -1 4202560 3758 0 0 0 61 0 0 0 15 0 19 0 826440341 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 3 0 0 0
[pid=11149/tid=11165] ppid=11147 vsize=13630172 CPUtime=0.5 cores=1,3,5,7
/proc/11149/task/11165/stat : 11165 (java) S 11147 11149 8915 0 -1 4202560 3581 0 0 0 50 0 0 0 15 0 19 0 826440341 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 5 0 0 0
[pid=11149/tid=11166] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11166/stat : 11166 (java) S 11147 11149 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440341 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514137 0 4 0 16800975 18446604468568450944 0 0 -1 1 0 0 0
[pid=11149/tid=11167] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11167/stat : 11167 (java) S 11147 11149 8915 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826440341 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514752 0 4 0 16800975 18446604468568450944 0 0 -1 3 0 0 0
[pid=11149/tid=11169] ppid=11147 vsize=13630172 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11169/stat : 11169 (java) S 11147 11149 8915 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826440388 13957296128 160141 33554432000 1073741824 1073778376 140735517125440 18446744073709551615 248101514752 0 4 0 16800975 18446604468568450944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13630172

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

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

Child status: 143
Real time (s): 1792.5
CPU time (s): 1800.19
CPU user time (s): 1799.91
CPU system time (s): 0.275958
CPU usage (%): 100.429
Max. virtual memory (cumulated for all children) (KiB): 13631312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.275958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164436
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42950
involuntary context switches= 10350

runsolver used 8.18975 second user time and 19.555 second system time

The end

Launcher Data 

Begin job on node123 at 2011-06-04 02:46:45
IDJOB=3459070
IDBENCH=2241
IDSOLVER=1952
FILE ID=node123/3459070-1307148405
RUNJOBID= node123-1307146607-10969
PBS_JOBID= 13508793
Free space on /tmp= 73828 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459070-1307148405/watcher-3459070-1307148405 -o /tmp/evaluation-result-3459070-1307148405/solver-3459070-1307148405 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459070-1307148405.opb

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

MD5SUM BENCH= c9380923d34e254cfa512f89027f1d42
RANDOM SEED=526807182

node123.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30022296 kB
Buffers:        293456 kB
Cached:         355908 kB
SwapCached:       9456 kB
Active:        2334504 kB
Inactive:       314152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30022296 kB
SwapTotal:    67111528 kB
SwapFree:     45617076 kB
Dirty:            2396 kB
Writeback:           0 kB
AnonPages:     1997444 kB
Mapped:          31280 kB
Slab:           134072 kB
PageTables:      78248 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 146779040 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73828 MiB
End job on node123 at 2011-06-04 03:16:40