Trace number 3458376

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)-119 1800.17 1792.49

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_5.opb
MD5SUM54b0d54e7a8a81cee8fd7c7c85a68b83
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-123
Best CPU time to get the best result obtained on this benchmark1800.2
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -124
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint25
Maximum length of a constraint50
Number of terms in the objective function 1000
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 1000
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 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31590
Sum of products size (including duplicates)63180
Number of different products15795
Sum of products size31590

Quality of the solution as a function of time


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

Solver Data 

0.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		12995394264
0.04/0.09	c Max memory 		13063553024
0.04/0.09	c Total memory 		13063553024
0.04/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-3458376-1307160339.opb
0.10/0.11	c reading problem ... 
1.35/0.63	c ... done. Wall clock time 0.518s.
1.35/0.63	c #vars     16795
1.35/0.63	c #constraints  48385
1.35/0.63	c constraints type 
1.35/0.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15795
1.35/0.63	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
1.35/0.63	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15795
1.66/0.76	c SATISFIABLE
1.66/0.76	c OPTIMIZING...
1.66/0.77	c Got one! Elapsed wall clock time (in seconds):0.657
1.66/0.77	o -99
1.91/0.87	c Got one! Elapsed wall clock time (in seconds):0.762
1.91/0.87	o -100
2.17/0.91	c Got one! Elapsed wall clock time (in seconds):0.805
2.17/0.91	o -107
2.17/0.99	c Got one! Elapsed wall clock time (in seconds):0.885
2.17/0.99	o -108
2.29/1.04	c Got one! Elapsed wall clock time (in seconds):0.927
2.29/1.04	o -109
2.47/1.20	c Got one! Elapsed wall clock time (in seconds):1.088
2.47/1.20	o -110
2.66/1.36	c Got one! Elapsed wall clock time (in seconds):1.247
2.66/1.36	o -111
3.40/2.08	c Got one! Elapsed wall clock time (in seconds):1.976
3.40/2.08	o -116
3.89/2.51	c cleaning 3598 clauses out of 7196 with flag 2000/7196
5.09/3.65	c cleaning 4799 clauses out of 9598 with flag 8000/13196
6.40/4.98	c cleaning 5896 clauses out of 11800 with flag 15001/20197
7.91/6.50	c cleaning 6940 clauses out of 13903 with flag 23000/28196
9.84/8.32	c cleaning 7978 clauses out of 15963 with flag 32000/37196
11.86/10.33	c cleaning 8991 clauses out of 17986 with flag 42001/47197
13.97/12.48	c cleaning 9994 clauses out of 19994 with flag 53000/58196
16.49/14.96	c cleaning 10990 clauses out of 22000 with flag 65000/70196
19.23/17.63	c cleaning 12005 clauses out of 24010 with flag 78000/83196
22.13/20.55	c cleaning 13003 clauses out of 26006 with flag 92001/97197
25.66/24.04	c cleaning 13991 clauses out of 28002 with flag 107000/112196
28.87/27.21	c cleaning 14999 clauses out of 30012 with flag 123001/128197
32.51/30.84	c cleaning 15996 clauses out of 32012 with flag 140000/145196
36.41/34.73	c cleaning 17005 clauses out of 34016 with flag 158000/163196
40.54/38.81	c cleaning 18004 clauses out of 36011 with flag 177000/182196
44.68/42.99	c cleaning 18991 clauses out of 38008 with flag 197001/202197
49.49/47.79	c cleaning 19998 clauses out of 40016 with flag 218000/223196
54.73/52.95	c cleaning 21004 clauses out of 42018 with flag 240000/245196
58.98/57.12	c Got one! Elapsed wall clock time (in seconds):57.012
58.98/57.12	o -117
59.98/58.17	c cleaning 21927 clauses out of 43867 with flag 5000/268049
60.33/58.44	c Got one! Elapsed wall clock time (in seconds):58.335
60.33/58.44	o -118
61.13/59.28	c cleaning 13495 clauses out of 27006 with flag 4001/273115
62.54/60.60	c cleaning 9752 clauses out of 19511 with flag 10001/279115
63.95/62.08	c cleaning 8377 clauses out of 16759 with flag 17001/286115
65.78/63.83	c cleaning 8181 clauses out of 16381 with flag 25000/294114
67.67/65.77	c cleaning 8601 clauses out of 17202 with flag 34002/303116
69.78/67.89	c cleaning 9295 clauses out of 18599 with flag 44000/313114
72.20/70.21	c cleaning 10137 clauses out of 20304 with flag 55000/324114
74.91/72.96	c cleaning 11081 clauses out of 22168 with flag 67001/336115
78.03/76.02	c cleaning 12044 clauses out of 24087 with flag 80001/349115
81.26/79.25	c cleaning 13021 clauses out of 26042 with flag 94000/363114
85.16/83.11	c cleaning 14010 clauses out of 28021 with flag 109000/378114
89.18/87.18	c cleaning 15006 clauses out of 30012 with flag 125001/394115
92.60/90.53	c cleaning 15990 clauses out of 32005 with flag 142000/411114
96.53/94.46	c cleaning 17002 clauses out of 34016 with flag 160001/429115
100.95/98.84	c cleaning 18007 clauses out of 36013 with flag 179000/448114
105.97/103.89	c cleaning 18996 clauses out of 38006 with flag 199000/468114
110.60/108.47	c cleaning 20006 clauses out of 40011 with flag 220001/489115
116.13/113.94	c cleaning 21003 clauses out of 42005 with flag 242001/511115
121.97/119.70	c cleaning 22000 clauses out of 44001 with flag 265000/534114
127.73/125.42	c cleaning 23002 clauses out of 46003 with flag 289002/558116
133.84/131.55	c cleaning 23999 clauses out of 47999 with flag 314000/583114
139.15/136.83	c cleaning 24990 clauses out of 50001 with flag 340001/609115
145.20/142.82	c cleaning 26005 clauses out of 52010 with flag 367000/636114
151.52/149.18	c cleaning 26998 clauses out of 54005 with flag 395000/664114
158.06/155.67	c cleaning 27998 clauses out of 56008 with flag 424001/693115
165.11/162.64	c cleaning 29002 clauses out of 58010 with flag 454001/723115
172.95/170.47	c cleaning 30003 clauses out of 60008 with flag 485001/754115
181.69/179.21	c cleaning 31002 clauses out of 62005 with flag 517001/786115
190.03/187.41	c cleaning 31994 clauses out of 64003 with flag 550001/819115
198.69/196.04	c cleaning 32503 clauses out of 65008 with flag 583000/852114
208.51/205.83	c cleaning 32746 clauses out of 65506 with flag 616001/885115
215.45/212.77	c cleaning 32873 clauses out of 65759 with flag 649000/918114
222.69/219.92	c cleaning 32933 clauses out of 65887 with flag 682001/951115
230.34/227.61	c cleaning 32970 clauses out of 65953 with flag 715000/984114
238.37/235.57	c cleaning 32988 clauses out of 65983 with flag 748000/1017114
246.93/244.01	c cleaning 32992 clauses out of 65995 with flag 781000/1050114
255.57/252.64	c cleaning 32996 clauses out of 66004 with flag 814001/1083115
263.63/260.69	c cleaning 33002 clauses out of 66008 with flag 847001/1116115
272.27/269.21	c cleaning 33004 clauses out of 66007 with flag 880002/1149116
280.92/277.85	c cleaning 32994 clauses out of 66001 with flag 913000/1182114
290.58/287.46	c cleaning 32992 clauses out of 66008 with flag 946001/1215115
301.20/298.10	c cleaning 32994 clauses out of 66015 with flag 979000/1248114
310.35/307.18	c cleaning 33001 clauses out of 66021 with flag 1012000/1281114
320.79/317.59	c cleaning 33001 clauses out of 66020 with flag 1045000/1314114
329.01/325.73	c cleaning 32999 clauses out of 66019 with flag 1078000/1347114
333.66/330.39	c Got one! Elapsed wall clock time (in seconds):330.28
333.66/330.39	o -119
334.88/331.59	c cleaning 30428 clauses out of 60855 with flag 5001/1374949
336.43/333.04	c cleaning 18212 clauses out of 36427 with flag 11001/1380949
338.24/334.80	c cleaning 12608 clauses out of 25215 with flag 18001/1387949
339.96/336.55	c cleaning 10294 clauses out of 20607 with flag 26001/1395949
341.86/338.49	c cleaning 9652 clauses out of 19312 with flag 35000/1404948
344.08/340.62	c cleaning 9824 clauses out of 19660 with flag 45000/1414948
346.29/342.88	c cleaning 10419 clauses out of 20837 with flag 56001/1425949
349.09/345.61	c cleaning 11209 clauses out of 22417 with flag 68000/1437948
352.10/348.64	c cleaning 12100 clauses out of 24208 with flag 81000/1450948
355.52/352.07	c cleaning 13049 clauses out of 26108 with flag 95000/1464948
359.04/355.56	c cleaning 14024 clauses out of 28059 with flag 110000/1479948
363.55/360.03	c cleaning 15013 clauses out of 30035 with flag 126000/1495948
368.27/364.70	c cleaning 16011 clauses out of 32023 with flag 143001/1512949
373.38/369.84	c cleaning 17003 clauses out of 34012 with flag 161001/1530949
378.20/374.64	c cleaning 18001 clauses out of 36008 with flag 180000/1549948
383.72/380.19	c cleaning 19000 clauses out of 38007 with flag 200000/1569948
390.74/387.16	c cleaning 19995 clauses out of 40008 with flag 221001/1590949
398.05/394.47	c cleaning 21005 clauses out of 42012 with flag 243000/1612948
405.27/401.66	c cleaning 22004 clauses out of 44007 with flag 266000/1635948
411.40/407.73	c cleaning 23002 clauses out of 46003 with flag 290000/1659948
417.94/414.20	c cleaning 24000 clauses out of 48001 with flag 315000/1684948
425.47/421.74	c cleaning 24998 clauses out of 50002 with flag 341001/1710949
432.49/428.78	c cleaning 25998 clauses out of 52003 with flag 368000/1737948
439.52/435.78	c cleaning 26999 clauses out of 54005 with flag 396000/1765948
446.44/442.63	c cleaning 28004 clauses out of 56007 with flag 425001/1794949
454.18/450.35	c cleaning 28999 clauses out of 58004 with flag 455002/1824950
462.22/458.32	c cleaning 30000 clauses out of 60004 with flag 486001/1855949
471.75/467.82	c cleaning 31002 clauses out of 62005 with flag 518002/1887950
480.38/476.44	c cleaning 31997 clauses out of 64001 with flag 551000/1920948
490.31/486.38	c cleaning 32497 clauses out of 65004 with flag 584000/1953948
499.22/495.29	c cleaning 32746 clauses out of 65508 with flag 617001/1986949
506.54/502.57	c cleaning 32874 clauses out of 65762 with flag 650001/2019949
513.97/509.94	c cleaning 32944 clauses out of 65887 with flag 683000/2052948
522.03/517.97	c cleaning 32964 clauses out of 65943 with flag 716000/2085948
530.98/526.87	c cleaning 32980 clauses out of 65979 with flag 749000/2118948
539.10/534.90	c cleaning 32990 clauses out of 66000 with flag 782001/2151949
547.55/543.40	c cleaning 33001 clauses out of 66009 with flag 815000/2184948
555.38/551.19	c cleaning 33000 clauses out of 66008 with flag 848000/2217948
563.71/559.43	c cleaning 32998 clauses out of 66009 with flag 881001/2250949
572.14/567.88	c cleaning 33003 clauses out of 66011 with flag 914001/2283949
579.97/575.60	c cleaning 32991 clauses out of 66007 with flag 947000/2316948
588.22/583.88	c cleaning 32993 clauses out of 66016 with flag 980000/2349948
596.65/592.23	c cleaning 33000 clauses out of 66023 with flag 1013000/2382948
605.38/600.97	c cleaning 33005 clauses out of 66023 with flag 1046000/2415948
613.43/608.98	c cleaning 33004 clauses out of 66019 with flag 1079001/2448949
621.74/617.20	c cleaning 33002 clauses out of 66014 with flag 1112000/2481948
629.98/625.49	c cleaning 32997 clauses out of 66013 with flag 1145001/2514949
638.60/634.07	c cleaning 33002 clauses out of 66015 with flag 1178000/2547948
647.72/643.15	c cleaning 33004 clauses out of 66014 with flag 1211001/2580949
656.35/651.74	c cleaning 32998 clauses out of 66009 with flag 1244000/2613948
665.18/660.55	c cleaning 33002 clauses out of 66012 with flag 1277001/2646949
672.80/668.17	c cleaning 32996 clauses out of 66009 with flag 1310000/2679948
682.36/677.63	c cleaning 33001 clauses out of 66013 with flag 1343000/2712948
691.25/686.54	c cleaning 32994 clauses out of 66012 with flag 1376000/2745948
700.88/696.13	c cleaning 32998 clauses out of 66018 with flag 1409000/2778948
710.62/705.88	c cleaning 33001 clauses out of 66021 with flag 1442001/2811949
720.25/715.48	c cleaning 33004 clauses out of 66019 with flag 1475000/2844948
729.71/724.89	c cleaning 32993 clauses out of 66015 with flag 1508000/2877948
739.62/734.81	c cleaning 32993 clauses out of 66022 with flag 1541000/2910948
749.44/744.61	c cleaning 33005 clauses out of 66030 with flag 1574001/2943949
758.76/753.81	c cleaning 33000 clauses out of 66025 with flag 1607001/2976949
766.60/761.66	c cleaning 33003 clauses out of 66025 with flag 1640001/3009949
773.76/768.75	c cleaning 32993 clauses out of 66021 with flag 1673000/3042948
781.30/776.21	c cleaning 33008 clauses out of 66029 with flag 1706001/3075949
788.93/783.86	c cleaning 33009 clauses out of 66021 with flag 1739001/3108949
796.67/791.59	c cleaning 32990 clauses out of 66011 with flag 1772000/3141948
805.31/800.14	c cleaning 33003 clauses out of 66021 with flag 1805000/3174948
812.95/807.71	c cleaning 33005 clauses out of 66018 with flag 1838000/3207948
821.99/816.80	c cleaning 32996 clauses out of 66013 with flag 1871000/3240948
831.31/826.06	c cleaning 33002 clauses out of 66018 with flag 1904001/3273949
839.35/834.02	c cleaning 33008 clauses out of 66016 with flag 1937001/3306949
847.80/842.51	c cleaning 33003 clauses out of 66007 with flag 1970000/3339948
857.65/852.25	c cleaning 33001 clauses out of 66004 with flag 2003000/3372948
867.71/862.21	c cleaning 32997 clauses out of 66003 with flag 2036000/3405948
876.94/871.45	c cleaning 32997 clauses out of 66006 with flag 2069000/3438948
885.20/879.68	c cleaning 33000 clauses out of 66009 with flag 2102000/3471948
893.13/887.55	c cleaning 32997 clauses out of 66009 with flag 2135000/3504948
901.16/895.54	c cleaning 32994 clauses out of 66012 with flag 2168000/3537948
909.48/903.86	c cleaning 33007 clauses out of 66018 with flag 2201000/3570948
918.10/912.43	c cleaning 32992 clauses out of 66011 with flag 2234000/3603948
927.03/921.31	c cleaning 33006 clauses out of 66020 with flag 2267001/3636949
934.26/928.58	c cleaning 32999 clauses out of 66013 with flag 2300000/3669948
943.03/937.27	c cleaning 32993 clauses out of 66015 with flag 2333001/3702949
951.63/945.88	c cleaning 33005 clauses out of 66022 with flag 2366001/3735949
959.75/953.96	c cleaning 32995 clauses out of 66016 with flag 2399000/3768948
968.26/962.50	c cleaning 33002 clauses out of 66021 with flag 2432000/3801948
976.77/970.92	c cleaning 32992 clauses out of 66020 with flag 2465001/3834949
985.58/979.74	c cleaning 33007 clauses out of 66028 with flag 2498001/3867949
993.89/988.04	c cleaning 33004 clauses out of 66022 with flag 2531002/3900950
1002.11/996.29	c cleaning 32994 clauses out of 66016 with flag 2564000/3933948
1010.94/1005.09	c cleaning 33007 clauses out of 66022 with flag 2597000/3966948
1019.27/1013.35	c cleaning 32998 clauses out of 66016 with flag 2630001/3999949
1028.28/1022.33	c cleaning 33000 clauses out of 66018 with flag 2663001/4032949
1037.01/1031.04	c cleaning 32999 clauses out of 66018 with flag 2696001/4065949
1045.34/1039.34	c cleaning 33001 clauses out of 66018 with flag 2729000/4098948
1053.56/1047.52	c cleaning 32987 clauses out of 66017 with flag 2762000/4131948
1062.27/1056.28	c cleaning 32999 clauses out of 66031 with flag 2795001/4164949
1070.99/1064.96	c cleaning 33006 clauses out of 66031 with flag 2828000/4197948
1079.50/1073.43	c cleaning 32999 clauses out of 66026 with flag 2861001/4230949
1088.32/1082.28	c cleaning 33003 clauses out of 66026 with flag 2894000/4263948
1096.64/1090.56	c cleaning 32997 clauses out of 66023 with flag 2927000/4296948
1105.94/1099.87	c cleaning 33009 clauses out of 66027 with flag 2960001/4329949
1114.87/1108.74	c cleaning 32991 clauses out of 66018 with flag 2993001/4362949
1124.27/1118.16	c cleaning 33005 clauses out of 66026 with flag 3026000/4395948
1134.00/1127.88	c cleaning 33005 clauses out of 66021 with flag 3059000/4428948
1143.20/1137.04	c cleaning 32995 clauses out of 66016 with flag 3092000/4461948
1151.83/1145.63	c cleaning 33006 clauses out of 66021 with flag 3125000/4494948
1158.77/1152.54	c cleaning 32999 clauses out of 66015 with flag 3158000/4527948
1166.19/1159.99	c cleaning 32996 clauses out of 66017 with flag 3191001/4560949
1173.81/1167.55	c cleaning 33005 clauses out of 66020 with flag 3224000/4593948
1181.75/1175.41	c cleaning 32998 clauses out of 66017 with flag 3257002/4626950
1189.89/1183.57	c cleaning 32993 clauses out of 66017 with flag 3290000/4659948
1198.20/1191.85	c cleaning 33005 clauses out of 66024 with flag 3323000/4692948
1207.23/1200.85	c cleaning 32999 clauses out of 66020 with flag 3356001/4725949
1215.46/1209.06	c cleaning 32997 clauses out of 66021 with flag 3389001/4758949
1223.39/1216.93	c cleaning 33001 clauses out of 66023 with flag 3422000/4791948
1232.52/1226.04	c cleaning 33000 clauses out of 66022 with flag 3455000/4824948
1240.65/1234.20	c cleaning 32998 clauses out of 66022 with flag 3488000/4857948
1249.36/1242.88	c cleaning 33004 clauses out of 66024 with flag 3521000/4890948
1258.28/1251.78	c cleaning 33000 clauses out of 66021 with flag 3554001/4923949
1265.98/1259.43	c cleaning 32996 clauses out of 66022 with flag 3587002/4956950
1274.40/1267.84	c cleaning 33005 clauses out of 66024 with flag 3620000/4989948
1282.92/1276.31	c cleaning 33004 clauses out of 66019 with flag 3653000/5022948
1291.54/1284.99	c cleaning 33001 clauses out of 66015 with flag 3686000/5055948
1299.95/1293.37	c cleaning 33007 clauses out of 66015 with flag 3719001/5088949
1308.47/1301.89	c cleaning 32997 clauses out of 66007 with flag 3752000/5121948
1317.67/1311.05	c cleaning 32997 clauses out of 66010 with flag 3785000/5154948
1325.92/1319.24	c cleaning 33000 clauses out of 66013 with flag 3818000/5187948
1334.46/1327.75	c cleaning 32994 clauses out of 66013 with flag 3851000/5220948
1342.95/1336.24	c cleaning 32999 clauses out of 66019 with flag 3884000/5253948
1351.48/1344.78	c cleaning 33007 clauses out of 66021 with flag 3917001/5286949
1359.89/1353.12	c cleaning 32995 clauses out of 66014 with flag 3950001/5319949
1368.52/1361.77	c cleaning 32999 clauses out of 66018 with flag 3983000/5352948
1377.53/1370.76	c cleaning 33003 clauses out of 66019 with flag 4016000/5385948
1386.34/1379.54	c cleaning 33000 clauses out of 66016 with flag 4049000/5418948
1395.37/1388.50	c cleaning 32990 clauses out of 66016 with flag 4082000/5451948
1404.49/1397.64	c cleaning 33009 clauses out of 66026 with flag 4115000/5484948
1412.80/1406.00	c cleaning 33002 clauses out of 66017 with flag 4148000/5517948
1421.22/1414.33	c cleaning 33001 clauses out of 66016 with flag 4181001/5550949
1429.94/1423.04	c cleaning 33001 clauses out of 66015 with flag 4214001/5583949
1439.36/1432.44	c cleaning 32989 clauses out of 66013 with flag 4247000/5616948
1449.10/1442.14	c cleaning 33006 clauses out of 66025 with flag 4280001/5649949
1457.91/1450.96	c cleaning 33000 clauses out of 66018 with flag 4313000/5682948
1467.71/1460.78	c cleaning 33003 clauses out of 66018 with flag 4346000/5715948
1476.66/1469.68	c cleaning 32999 clauses out of 66015 with flag 4379000/5748948
1486.85/1479.85	c cleaning 32998 clauses out of 66017 with flag 4412001/5781949
1494.95/1487.95	c cleaning 32992 clauses out of 66018 with flag 4445000/5814948
1504.07/1497.11	c cleaning 33001 clauses out of 66027 with flag 4478001/5847949
1513.18/1506.13	c cleaning 33006 clauses out of 66025 with flag 4511000/5880948
1521.89/1514.82	c cleaning 33000 clauses out of 66019 with flag 4544000/5913948
1530.71/1523.70	c cleaning 33002 clauses out of 66019 with flag 4577000/5946948
1539.45/1532.34	c cleaning 33003 clauses out of 66018 with flag 4610001/5979949
1547.55/1540.46	c cleaning 32989 clauses out of 66014 with flag 4643000/6012948
1555.88/1548.76	c cleaning 33001 clauses out of 66025 with flag 4676000/6045948
1564.40/1557.28	c cleaning 32998 clauses out of 66025 with flag 4709001/6078949
1574.02/1566.88	c cleaning 33005 clauses out of 66026 with flag 4742000/6111948
1582.74/1575.58	c cleaning 32996 clauses out of 66021 with flag 4775000/6144948
1591.05/1583.90	c cleaning 33004 clauses out of 66025 with flag 4808000/6177948
1599.75/1592.59	c cleaning 32996 clauses out of 66021 with flag 4841000/6210948
1609.25/1602.02	c cleaning 33001 clauses out of 66027 with flag 4874002/6243950
1618.46/1611.22	c cleaning 33002 clauses out of 66024 with flag 4907000/6276948
1627.16/1619.97	c cleaning 32998 clauses out of 66022 with flag 4940000/6309948
1636.66/1629.46	c cleaning 32997 clauses out of 66024 with flag 4973000/6342948
1646.08/1638.85	c cleaning 33002 clauses out of 66028 with flag 5006001/6375949
1654.80/1647.52	c cleaning 33001 clauses out of 66025 with flag 5039000/6408948
1663.43/1656.13	c cleaning 33000 clauses out of 66024 with flag 5072000/6441948
1671.74/1664.40	c cleaning 33004 clauses out of 66025 with flag 5105001/6474949
1680.76/1673.48	c cleaning 33001 clauses out of 66020 with flag 5138000/6507948
1689.97/1682.63	c cleaning 33002 clauses out of 66020 with flag 5171001/6540949
1699.08/1691.78	c cleaning 32995 clauses out of 66017 with flag 5204000/6573948
1708.79/1701.40	c cleaning 33004 clauses out of 66023 with flag 5237001/6606949
1718.31/1710.95	c cleaning 32995 clauses out of 66018 with flag 5270000/6639948
1726.82/1719.48	c cleaning 33002 clauses out of 66024 with flag 5303001/6672949
1735.83/1728.41	c cleaning 33002 clauses out of 66023 with flag 5336002/6705950
1744.35/1736.97	c cleaning 33009 clauses out of 66021 with flag 5369002/6738950
1751.58/1744.16	c cleaning 32998 clauses out of 66011 with flag 5402001/6771949
1760.30/1752.83	c cleaning 32996 clauses out of 66012 with flag 5435000/6804948
1768.65/1761.16	c cleaning 32995 clauses out of 66016 with flag 5468000/6837948
1776.66/1769.13	c cleaning 33003 clauses out of 66022 with flag 5501001/6870949
1784.79/1777.26	c cleaning 32998 clauses out of 66018 with flag 5534000/6903948
1792.81/1785.29	c cleaning 33003 clauses out of 66020 with flag 5567000/6936948
1800.03/1792.42	c starts		: 305
1800.03/1792.42	c conflicts		: 6965951
1800.03/1792.42	c decisions		: 8646614
1800.03/1792.42	c propagations		: 43006926
1800.03/1792.42	c inspects		: 4045990999
1800.03/1792.42	c shortcuts		: 0
1800.03/1792.42	c learnt literals	: 0
1800.03/1792.42	c learnt binary clauses	: 0
1800.03/1792.42	c learnt ternary clauses	: 0
1800.03/1792.42	c learnt constraints	: 6965950
1800.03/1792.42	c ignored constraints	: 0
1800.03/1792.42	c root simplifications	: 0
1800.03/1792.42	c removed literals (reason simplification)	: 83406267
1800.03/1792.42	c reason swapping (by a shorter reason)	: 0
1800.03/1792.42	c Calls to reduceDB	: 245
1800.03/1792.42	c number of reductions to clauses (during analyze)	: 0
1800.03/1792.42	c number of learned constraints concerned by reduction	: 0
1800.03/1792.42	c number of learning phase by resolution	: 0
1800.03/1792.42	c number of learning phase by cutting planes	: 0
1800.03/1792.42	c speed (assignments/second)	: 29415.79921137319
1800.03/1792.42	c non guided choices	0
1800.03/1792.45	c learnt constraints type 
1800.03/1792.45	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 62095
1800.03/1792.45	c constraints type 
1800.03/1792.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15795
1800.03/1792.45	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
1800.03/1792.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.03/1792.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15795
1800.03/1792.45	s SATISFIABLE
1800.03/1792.45	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.03/1792.45	c objective function=-119
1800.03/1792.45	c Total wall clock time (in seconds): 1792.343

Verifier Data 

OK	-119

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

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

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


[startup+0 s]
/proc/loadavg: 1.93 2.01 1.99 2/532 13276
/proc/meminfo: memFree=19112984/32950940 swapFree=67111364/67111528
[pid=13276] ppid=13274 vsize=35820 CPUtime=0 cores=0,2,4,6
/proc/13276/stat : 13276 (java) S 13274 13276 8697 0 -1 4202496 1357 0 1 0 0 0 0 0 25 0 2 0 906264643 36679680 1059 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/13276/statm: 8955 1064 827 9 0 386 0
[pid=13276/tid=13277] ppid=13274 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13277/stat : 13277 (java) R 13274 13276 8697 0 -1 4202560 7369 0 1 0 0 0 0 0 25 0 2 0 906264644 13850947584 8185 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 0 0 0 0

[startup+0.0494481 s]
/proc/loadavg: 1.93 2.01 1.99 2/532 13276
/proc/meminfo: memFree=19112984/32950940 swapFree=67111364/67111528
[pid=13276] ppid=13274 vsize=13549480 CPUtime=0.04 cores=0,2,4,6
/proc/13276/stat : 13276 (java) S 13274 13276 8697 0 -1 4202496 13820 0 1 0 3 1 0 0 25 0 13 0 906264643 13874667520 13516 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/13276/statm: 3387370 13516 1676 9 0 3378118 0
[pid=13276/tid=13277] ppid=13274 vsize=13549480 CPUtime=0.04 cores=0,2,4,6
/proc/13276/task/13277/stat : 13277 (java) R 13274 13276 8697 0 -1 4202560 12672 0 1 0 3 1 0 0 25 0 13 0 906264644 13874667520 13516 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 47815968686909 0 4 0 16784584 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549480

[startup+0.105441 s]
/proc/loadavg: 1.93 2.01 1.99 2/532 13276
/proc/meminfo: memFree=19112984/32950940 swapFree=67111364/67111528
[pid=13276] ppid=13274 vsize=13622200 CPUtime=0.1 cores=0,2,4,6
/proc/13276/stat : 13276 (java) S 13274 13276 8697 0 -1 4202496 15616 0 1 0 9 1 0 0 25 0 18 0 906264643 13949132800 15308 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13276/statm: 3405550 15308 2092 9 0 3396284 0
[pid=13276/tid=13277] ppid=13274 vsize=13622200 CPUtime=0.09 cores=0,2,4,6
/proc/13276/task/13277/stat : 13277 (java) R 13274 13276 8697 0 -1 4202560 13715 0 1 0 8 1 0 0 25 0 18 0 906264644 13949132800 15308 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000419275 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622200

[startup+0.300405 s]
/proc/loadavg: 1.93 2.01 1.99 2/532 13276
/proc/meminfo: memFree=19112984/32950940 swapFree=67111364/67111528
[pid=13276] ppid=13274 vsize=13623636 CPUtime=0.46 cores=0,2,4,6
/proc/13276/stat : 13276 (java) S 13274 13276 8697 0 -1 4202496 17862 0 1 0 45 1 0 0 25 0 18 0 906264643 13950603264 17431 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13276/statm: 3405909 17431 2210 9 0 3396643 0
[pid=13276/tid=13277] ppid=13274 vsize=13623636 CPUtime=0.28 cores=0,2,4,6
/proc/13276/task/13277/stat : 13277 (java) R 13274 13276 8697 0 -1 4202560 15330 0 1 0 27 1 0 0 25 0 18 0 906264644 13950603264 17431 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13623636

[startup+0.700334 s]
/proc/loadavg: 1.93 2.01 1.99 2/532 13276
/proc/meminfo: memFree=19112984/32950940 swapFree=67111364/67111528
[pid=13276] ppid=13274 vsize=13639460 CPUtime=1.66 cores=0,2,4,6
/proc/13276/stat : 13276 (java) S 13274 13276 8697 0 -1 4202496 36730 0 1 0 161 5 0 0 25 0 19 0 906264643 13966807040 34470 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13276/statm: 3409865 34470 2237 9 0 3400599 0
[pid=13276/tid=13277] ppid=13274 vsize=13639460 CPUtime=0.68 cores=0,2,4,6
/proc/13276/task/13277/stat : 13277 (java) R 13274 13276 8697 0 -1 4202560 27176 0 1 0 65 3 0 0 19 0 19 0 906264644 13966807040 34470 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 46912505182554 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 13639460

[startup+1.50126 s]
/proc/loadavg: 1.93 2.01 1.99 4/551 13295
/proc/meminfo: memFree=18977052/32950940 swapFree=67111364/67111528
[pid=13276] ppid=13274 vsize=13639460 CPUtime=2.86 cores=0,2,4,6
/proc/13276/stat : 13276 (java) S 13274 13276 8697 0 -1 4202496 41151 0 1 0 280 6 0 0 25 0 19 0 906264643 13966807040 38855 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13276/statm: 3409865 38855 2244 9 0 3400599 0
[pid=13276/tid=13277] ppid=13274 vsize=13639460 CPUtime=1.48 cores=0,2,4,6
/proc/13276/task/13277/stat : 13277 (java) R 13274 13276 8697 0 -1 4202560 31476 0 1 0 144 4 0 0 20 0 19 0 906264644 13966807040 38856 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 47815972539219 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13276/tid=13279] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13279/stat : 13279 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264646 13966807040 38856 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13280] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13280/stat : 13280 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264646 13966807040 38856 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13281] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13281/stat : 13281 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264646 13966807040 38856 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13282] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13282/stat : 13282 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264646 13966807040 38856 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13283] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13283/stat : 13283 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264646 13966807040 38856 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13284] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13284/stat : 13284 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264646 13966807040 38856 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13285] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13285/stat : 13285 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264646 13966807040 38856 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13286] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13286/stat : 13286 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264646 13966807040 38857 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13287] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13287/stat : 13287 (java) S 13274 13276 8697 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 906264647 13966807040 38857 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000409088 0 0 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13288] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13288/stat : 13288 (java) S 13274 13276 8697 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906264647 13966807040 38857 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13289] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13289/stat : 13289 (java) S 13274 13276 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906264647 13966807040 38857 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13290] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13290/stat : 13290 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264649 13966807040 38857 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000416177 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13291] ppid=13274 vsize=13639460 CPUtime=0.68 cores=0,2,4,6
/proc/13276/task/13291/stat : 13291 (java) S 13274 13276 8697 0 -1 4202560 3782 0 0 0 67 1 0 0 24 0 19 0 906264649 13966807040 38857 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 4 0 0 0
[pid=13276/tid=13292] ppid=13274 vsize=13639460 CPUtime=0.68 cores=0,2,4,6
/proc/13276/task/13292/stat : 13292 (java) S 13274 13276 8697 0 -1 4202560 4733 0 0 0 68 0 0 0 22 0 19 0 906264649 13966807040 38857 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13293] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13293/stat : 13293 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264649 13966807040 38857 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13294] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13294/stat : 13294 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906264649 13966807040 38858 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000409088 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13295] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13295/stat : 13295 (java) S 13274 13276 8697 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906264711 13966807040 38858 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000409088 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 13639460

[startup+3.10097 s]
/proc/loadavg: 1.93 2.01 1.99 3/551 13295
/proc/meminfo: memFree=18952004/32950940 swapFree=67111364/67111528
[pid=13276] ppid=13274 vsize=13639460 CPUtime=4.59 cores=0,2,4,6
/proc/13276/stat : 13276 (java) S 13274 13276 8697 0 -1 4202496 59482 0 1 0 452 7 0 0 25 0 19 0 906264643 13966807040 57167 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13276/statm: 3409865 57167 2270 9 0 3400599 0
[pid=13276/tid=13277] ppid=13274 vsize=13639460 CPUtime=2.99 cores=0,2,4,6
/proc/13276/task/13277/stat : 13277 (java) R 13274 13276 8697 0 -1 4202560 36138 0 1 0 295 4 0 0 23 0 19 0 906264644 13966807040 57167 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 46912506091917 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13276/tid=13279] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13279/stat : 13279 (java) S 13274 13276 8697 0 -1 4202560 175 0 0 0 0 0 0 0 18 0 19 0 906264646 13966807040 57167 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13280] ppid=13274 vsize=13639460 CPUtime=0.01 cores=0,2,4,6
/proc/13276/task/13280/stat : 13280 (java) S 13274 13276 8697 0 -1 4202560 1238 0 0 0 1 0 0 0 18 0 19 0 906264646 13966807040 57167 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 2 0 0 0
[pid=13276/tid=13281] ppid=13274 vsize=13639460 CPUtime=0.01 cores=0,2,4,6
/proc/13276/task/13281/stat : 13281 (java) S 13274 13276 8697 0 -1 4202560 1572 0 0 0 1 0 0 0 18 0 19 0 906264646 13966807040 57167 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13282] ppid=13274 vsize=13639460 CPUtime=0.01 cores=0,2,4,6
/proc/13276/task/13282/stat : 13282 (java) S 13274 13276 8697 0 -1 4202560 2711 0 0 0 1 0 0 0 18 0 19 0 906264646 13966807040 57167 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 4 0 0 0
[pid=13276/tid=13283] ppid=13274 vsize=13639460 CPUtime=0.01 cores=0,2,4,6
/proc/13276/task/13283/stat : 13283 (java) S 13274 13276 8697 0 -1 4202560 1175 0 0 0 1 0 0 0 18 0 19 0 906264646 13966807040 57167 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 4 0 0 0
[pid=13276/tid=13284] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13284/stat : 13284 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906264646 13966807040 57167 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 4 0 0 0
[pid=13276/tid=13285] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13285/stat : 13285 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906264646 13966807040 57167 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13286] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13286/stat : 13286 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906264646 13966807040 57167 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 2 0 0 0
[pid=13276/tid=13287] ppid=13274 vsize=13639460 CPUtime=0.06 cores=0,2,4,6
/proc/13276/task/13287/stat : 13287 (java) S 13274 13276 8697 0 -1 4202560 6782 0 0 0 6 0 0 0 15 0 19 0 906264647 13966807040 57167 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000409088 0 0 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13288] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13288/stat : 13288 (java) S 13274 13276 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906264647 13966807040 57167 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13289] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13289/stat : 13289 (java) S 13274 13276 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906264647 13966807040 57167 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13290] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13290/stat : 13290 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264649 13966807040 57167 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000416177 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13291] ppid=13274 vsize=13639460 CPUtime=0.7 cores=0,2,4,6
/proc/13276/task/13291/stat : 13291 (java) S 13274 13276 8697 0 -1 4202560 3788 0 0 0 69 1 0 0 15 0 19 0 906264649 13966807040 57167 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 4 0 0 0
[pid=13276/tid=13292] ppid=13274 vsize=13639460 CPUtime=0.74 cores=0,2,4,6
/proc/13276/task/13292/stat : 13292 (java) S 13274 13276 8697 0 -1 4202560 4749 0 0 0 74 0 0 0 15 0 19 0 906264649 13966807040 57167 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13293] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13293/stat : 13293 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264649 13966807040 57167 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13294] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13294/stat : 13294 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906264649 13966807040 57167 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000409088 0 4 0 16800975 18446604444240942976 0 0 -1 4 0 0 0
[pid=13276/tid=13295] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13295/stat : 13295 (java) S 13274 13276 8697 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906264711 13966807040 57167 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000409088 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 13639460

[startup+6.30133 s]
/proc/loadavg: 1.93 2.01 1.99 3/551 13295
/proc/meminfo: memFree=18853052/32950940 swapFree=67111364/67111528
[pid=13276] ppid=13274 vsize=13639460 CPUtime=7.81 cores=0,2,4,6
/proc/13276/stat : 13276 (java) S 13274 13276 8697 0 -1 4202496 68727 0 1 0 773 8 0 0 25 0 19 0 906264643 13966807040 66392 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13276/statm: 3409865 66392 2270 9 0 3400599 0
[pid=13276/tid=13277] ppid=13274 vsize=13639460 CPUtime=6.08 cores=0,2,4,6
/proc/13276/task/13277/stat : 13277 (java) R 13274 13276 8697 0 -1 4202560 36141 0 1 0 604 4 0 0 20 0 19 0 906264644 13966807040 66392 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 46912506071043 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13276/tid=13279] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13279/stat : 13279 (java) S 13274 13276 8697 0 -1 4202560 1226 0 0 0 0 0 0 0 18 0 19 0 906264646 13966807040 66392 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 2 0 0 0
[pid=13276/tid=13280] ppid=13274 vsize=13639460 CPUtime=0.01 cores=0,2,4,6
/proc/13276/task/13280/stat : 13280 (java) S 13274 13276 8697 0 -1 4202560 1238 0 0 0 1 0 0 0 15 0 19 0 906264646 13966807040 66392 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 2 0 0 0
[pid=13276/tid=13281] ppid=13274 vsize=13639460 CPUtime=0.01 cores=0,2,4,6
/proc/13276/task/13281/stat : 13281 (java) S 13274 13276 8697 0 -1 4202560 2722 0 0 0 1 0 0 0 15 0 19 0 906264646 13966807040 66392 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13282] ppid=13274 vsize=13639460 CPUtime=0.01 cores=0,2,4,6
/proc/13276/task/13282/stat : 13282 (java) S 13274 13276 8697 0 -1 4202560 2711 0 0 0 1 0 0 0 15 0 19 0 906264646 13966807040 66392 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 4 0 0 0
[pid=13276/tid=13283] ppid=13274 vsize=13639460 CPUtime=0.01 cores=0,2,4,6
/proc/13276/task/13283/stat : 13283 (java) S 13274 13276 8697 0 -1 4202560 2465 0 0 0 1 0 0 0 15 0 19 0 906264646 13966807040 66392 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 4 0 0 0
[pid=13276/tid=13284] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13284/stat : 13284 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906264646 13966807040 66392 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 4 0 0 0
[pid=13276/tid=13285] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13285/stat : 13285 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906264646 13966807040 66392 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13286] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13286/stat : 13286 (java) S 13274 13276 8697 0 -1 4202560 1344 0 0 0 0 0 0 0 15 0 19 0 906264646 13966807040 66392 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 2 0 0 0
[pid=13276/tid=13287] ppid=13274 vsize=13639460 CPUtime=0.15 cores=0,2,4,6
/proc/13276/task/13287/stat : 13287 (java) S 13274 13276 8697 0 -1 4202560 11188 0 0 0 15 0 0 0 15 0 19 0 906264647 13966807040 66392 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000409088 0 0 0 16800975 18446604444240942976 0 0 -1 2 0 0 0
[pid=13276/tid=13288] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13288/stat : 13288 (java) S 13274 13276 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906264647 13966807040 66392 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13289] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13289/stat : 13289 (java) S 13274 13276 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906264647 13966807040 66392 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13290] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13290/stat : 13290 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264649 13966807040 66392 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000416177 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13291] ppid=13274 vsize=13639460 CPUtime=0.7 cores=0,2,4,6
/proc/13276/task/13291/stat : 13291 (java) S 13274 13276 8697 0 -1 4202560 3788 0 0 0 69 1 0 0 15 0 19 0 906264649 13966807040 66392 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 4 0 0 0
[pid=13276/tid=13292] ppid=13274 vsize=13639460 CPUtime=0.74 cores=0,2,4,6
/proc/13276/task/13292/stat : 13292 (java) S 13274 13276 8697 0 -1 4202560 4751 0 0 0 74 0 0 0 15 0 19 0 906264649 13966807040 66392 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0

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

[pid=13276/tid=13284] ppid=13274 vsize=13639460 CPUtime=1.02 cores=0,2,4,6
/proc/13276/task/13284/stat : 13284 (java) S 13274 13276 8697 0 -1 4202560 4597 0 0 0 102 0 0 0 16 0 19 0 906264646 13966807040 162116 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13285] ppid=13274 vsize=13639460 CPUtime=1.2 cores=0,2,4,6
/proc/13276/task/13285/stat : 13285 (java) S 13274 13276 8697 0 -1 4202560 4961 0 0 0 119 1 0 0 16 0 19 0 906264646 13966807040 162116 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 2 0 0 0
[pid=13276/tid=13286] ppid=13274 vsize=13639460 CPUtime=1.09 cores=0,2,4,6
/proc/13276/task/13286/stat : 13286 (java) S 13274 13276 8697 0 -1 4202560 8951 0 0 0 108 1 0 0 16 0 19 0 906264646 13966807040 162116 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 2 0 0 0
[pid=13276/tid=13287] ppid=13274 vsize=13639460 CPUtime=19.42 cores=0,2,4,6
/proc/13276/task/13287/stat : 13287 (java) S 13274 13276 8697 0 -1 4202560 62066 0 0 0 1935 7 0 0 15 0 19 0 906264647 13966807040 162116 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000409088 0 0 0 16800975 18446604444240942976 0 0 -1 4 0 0 0
[pid=13276/tid=13288] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13288/stat : 13288 (java) S 13274 13276 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906264647 13966807040 162116 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13289] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13289/stat : 13289 (java) S 13274 13276 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906264647 13966807040 162116 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13290] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13290/stat : 13290 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264649 13966807040 162116 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000416177 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13291] ppid=13274 vsize=13639460 CPUtime=0.74 cores=0,2,4,6
/proc/13276/task/13291/stat : 13291 (java) S 13274 13276 8697 0 -1 4202560 3806 0 0 0 73 1 0 0 15 0 19 0 906264649 13966807040 162116 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 4 0 0 0
[pid=13276/tid=13292] ppid=13274 vsize=13639460 CPUtime=0.76 cores=0,2,4,6
/proc/13276/task/13292/stat : 13292 (java) S 13274 13276 8697 0 -1 4202560 4759 0 0 0 76 0 0 0 15 0 19 0 906264649 13966807040 162116 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13293] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13293/stat : 13293 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264649 13966807040 162116 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13294] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13294/stat : 13294 (java) S 13274 13276 8697 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 906264649 13966807040 162116 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000409088 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13295] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13295/stat : 13295 (java) S 13274 13276 8697 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906264711 13966807040 162116 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000409088 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1669.64
Current children cumulated vsize (KiB) 13639460

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 13433
/proc/meminfo: memFree=18449940/32950940 swapFree=67111364/67111528
[pid=13276] ppid=13274 vsize=13639460 CPUtime=1729.73 cores=0,2,4,6
/proc/13276/stat : 13276 (java) S 13274 13276 8697 0 -1 4202496 164937 0 1 0 172948 25 0 0 25 0 19 0 906264643 13966807040 162148 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13276/statm: 3409865 162148 2271 9 0 3400599 0
[pid=13276/tid=13277] ppid=13274 vsize=13639460 CPUtime=1699.3 cores=0,2,4,6
/proc/13276/task/13277/stat : 13277 (java) R 13274 13276 8697 0 -1 4202560 42729 0 1 0 169924 6 0 0 25 0 19 0 906264644 13966807040 162148 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 46912506091873 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13276/tid=13279] ppid=13274 vsize=13639460 CPUtime=1.12 cores=0,2,4,6
/proc/13276/task/13279/stat : 13279 (java) S 13274 13276 8697 0 -1 4202560 4253 0 0 0 112 0 0 0 15 0 19 0 906264646 13966807040 162148 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 2 0 0 0
[pid=13276/tid=13280] ppid=13274 vsize=13639460 CPUtime=1.11 cores=0,2,4,6
/proc/13276/task/13280/stat : 13280 (java) S 13274 13276 8697 0 -1 4202560 3308 0 0 0 111 0 0 0 16 0 19 0 906264646 13966807040 162148 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13281] ppid=13274 vsize=13639460 CPUtime=1.05 cores=0,2,4,6
/proc/13276/task/13281/stat : 13281 (java) S 13274 13276 8697 0 -1 4202560 10357 0 0 0 104 1 0 0 16 0 19 0 906264646 13966807040 162148 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 2 0 0 0
[pid=13276/tid=13282] ppid=13274 vsize=13639460 CPUtime=1.06 cores=0,2,4,6
/proc/13276/task/13282/stat : 13282 (java) S 13274 13276 8697 0 -1 4202560 6038 0 0 0 106 0 0 0 15 0 19 0 906264646 13966807040 162148 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13283] ppid=13274 vsize=13639460 CPUtime=1.01 cores=0,2,4,6
/proc/13276/task/13283/stat : 13283 (java) S 13274 13276 8697 0 -1 4202560 7851 0 0 0 100 1 0 0 15 0 19 0 906264646 13966807040 162148 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13284] ppid=13274 vsize=13639460 CPUtime=1.04 cores=0,2,4,6
/proc/13276/task/13284/stat : 13284 (java) S 13274 13276 8697 0 -1 4202560 4597 0 0 0 104 0 0 0 16 0 19 0 906264646 13966807040 162148 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13285] ppid=13274 vsize=13639460 CPUtime=1.22 cores=0,2,4,6
/proc/13276/task/13285/stat : 13285 (java) S 13274 13276 8697 0 -1 4202560 4963 0 0 0 121 1 0 0 15 0 19 0 906264646 13966807040 162148 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 2 0 0 0
[pid=13276/tid=13286] ppid=13274 vsize=13639460 CPUtime=1.1 cores=0,2,4,6
/proc/13276/task/13286/stat : 13286 (java) S 13274 13276 8697 0 -1 4202560 8955 0 0 0 109 1 0 0 16 0 19 0 906264646 13966807040 162148 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 2 0 0 0
[pid=13276/tid=13287] ppid=13274 vsize=13639460 CPUtime=20.08 cores=0,2,4,6
/proc/13276/task/13287/stat : 13287 (java) S 13274 13276 8697 0 -1 4202560 62070 0 0 0 2001 7 0 0 15 0 19 0 906264647 13966807040 162148 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000409088 0 0 0 16800975 18446604444240942976 0 0 -1 4 0 0 0
[pid=13276/tid=13288] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13288/stat : 13288 (java) S 13274 13276 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906264647 13966807040 162148 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13289] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13289/stat : 13289 (java) S 13274 13276 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906264647 13966807040 162148 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13290] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13290/stat : 13290 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264649 13966807040 162148 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000416177 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13291] ppid=13274 vsize=13639460 CPUtime=0.74 cores=0,2,4,6
/proc/13276/task/13291/stat : 13291 (java) S 13274 13276 8697 0 -1 4202560 3806 0 0 0 73 1 0 0 15 0 19 0 906264649 13966807040 162148 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 4 0 0 0
[pid=13276/tid=13292] ppid=13274 vsize=13639460 CPUtime=0.76 cores=0,2,4,6
/proc/13276/task/13292/stat : 13292 (java) S 13274 13276 8697 0 -1 4202560 4759 0 0 0 76 0 0 0 15 0 19 0 906264649 13966807040 162148 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13293] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13293/stat : 13293 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264649 13966807040 162148 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13294] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13294/stat : 13294 (java) S 13274 13276 8697 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 906264649 13966807040 162148 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000409088 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13295] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13295/stat : 13295 (java) S 13274 13276 8697 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906264711 13966807040 162148 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000409088 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1729.73
Current children cumulated vsize (KiB) 13639460

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 13434
/proc/meminfo: memFree=18448312/32950940 swapFree=67111364/67111528
[pid=13276] ppid=13274 vsize=13639460 CPUtime=1789.9 cores=0,2,4,6
/proc/13276/stat : 13276 (java) S 13274 13276 8697 0 -1 4202496 164991 0 1 0 178965 25 0 0 25 0 19 0 906264643 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13276/statm: 3409865 162191 2271 9 0 3400599 0
[pid=13276/tid=13277] ppid=13274 vsize=13639460 CPUtime=1758.51 cores=0,2,4,6
/proc/13276/task/13277/stat : 13277 (java) R 13274 13276 8697 0 -1 4202560 42736 0 1 0 175845 6 0 0 25 0 19 0 906264644 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 46912506091873 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13276/tid=13279] ppid=13274 vsize=13639460 CPUtime=1.17 cores=0,2,4,6
/proc/13276/task/13279/stat : 13279 (java) S 13274 13276 8697 0 -1 4202560 4270 0 0 0 117 0 0 0 15 0 19 0 906264646 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 2 0 0 0
[pid=13276/tid=13280] ppid=13274 vsize=13639460 CPUtime=1.16 cores=0,2,4,6
/proc/13276/task/13280/stat : 13280 (java) S 13274 13276 8697 0 -1 4202560 3319 0 0 0 116 0 0 0 15 0 19 0 906264646 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 2 0 0 0
[pid=13276/tid=13281] ppid=13274 vsize=13639460 CPUtime=1.08 cores=0,2,4,6
/proc/13276/task/13281/stat : 13281 (java) S 13274 13276 8697 0 -1 4202560 10357 0 0 0 107 1 0 0 15 0 19 0 906264646 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13282] ppid=13274 vsize=13639460 CPUtime=1.1 cores=0,2,4,6
/proc/13276/task/13282/stat : 13282 (java) S 13274 13276 8697 0 -1 4202560 6052 0 0 0 110 0 0 0 16 0 19 0 906264646 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13283] ppid=13274 vsize=13639460 CPUtime=1.05 cores=0,2,4,6
/proc/13276/task/13283/stat : 13283 (java) S 13274 13276 8697 0 -1 4202560 7852 0 0 0 104 1 0 0 15 0 19 0 906264646 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13284] ppid=13274 vsize=13639460 CPUtime=1.09 cores=0,2,4,6
/proc/13276/task/13284/stat : 13284 (java) S 13274 13276 8697 0 -1 4202560 4597 0 0 0 109 0 0 0 16 0 19 0 906264646 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13285] ppid=13274 vsize=13639460 CPUtime=1.24 cores=0,2,4,6
/proc/13276/task/13285/stat : 13285 (java) S 13274 13276 8697 0 -1 4202560 4963 0 0 0 123 1 0 0 16 0 19 0 906264646 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 2 0 0 0
[pid=13276/tid=13286] ppid=13274 vsize=13639460 CPUtime=1.11 cores=0,2,4,6
/proc/13276/task/13286/stat : 13286 (java) S 13274 13276 8697 0 -1 4202560 8955 0 0 0 110 1 0 0 15 0 19 0 906264646 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13287] ppid=13274 vsize=13639460 CPUtime=20.75 cores=0,2,4,6
/proc/13276/task/13287/stat : 13287 (java) S 13274 13276 8697 0 -1 4202560 62072 0 0 0 2068 7 0 0 15 0 19 0 906264647 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000409088 0 0 0 16800975 18446604444240942976 0 0 -1 4 0 0 0
[pid=13276/tid=13288] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13288/stat : 13288 (java) S 13274 13276 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906264647 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13289] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13289/stat : 13289 (java) S 13274 13276 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906264647 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13290] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13290/stat : 13290 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264649 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000416177 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13291] ppid=13274 vsize=13639460 CPUtime=0.74 cores=0,2,4,6
/proc/13276/task/13291/stat : 13291 (java) S 13274 13276 8697 0 -1 4202560 3806 0 0 0 73 1 0 0 15 0 19 0 906264649 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 4 0 0 0
[pid=13276/tid=13292] ppid=13274 vsize=13639460 CPUtime=0.76 cores=0,2,4,6
/proc/13276/task/13292/stat : 13292 (java) S 13274 13276 8697 0 -1 4202560 4759 0 0 0 76 0 0 0 15 0 19 0 906264649 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13293] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13293/stat : 13293 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264649 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13294] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13294/stat : 13294 (java) S 13274 13276 8697 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 906264649 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000409088 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13295] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13295/stat : 13295 (java) S 13274 13276 8697 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906264711 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000409088 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1789.9
Current children cumulated vsize (KiB) 13639460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 13434
/proc/meminfo: memFree=18448544/32950940 swapFree=67111364/67111528
[pid=13276] ppid=13274 vsize=13639460 CPUtime=1800.03 cores=0,2,4,6
/proc/13276/stat : 13276 (java) S 13274 13276 8697 0 -1 4202496 164994 0 1 0 179978 25 0 0 25 0 19 0 906264643 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13276/statm: 3409865 162191 2271 9 0 3400599 0
[pid=13276/tid=13277] ppid=13274 vsize=13639460 CPUtime=1768.53 cores=0,2,4,6
/proc/13276/task/13277/stat : 13277 (java) R 13274 13276 8697 0 -1 4202560 42737 0 1 0 176847 6 0 0 25 0 19 0 906264644 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 46912505615456 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13276/tid=13279] ppid=13274 vsize=13639460 CPUtime=1.17 cores=0,2,4,6
/proc/13276/task/13279/stat : 13279 (java) S 13274 13276 8697 0 -1 4202560 4270 0 0 0 117 0 0 0 15 0 19 0 906264646 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 2 0 0 0
[pid=13276/tid=13280] ppid=13274 vsize=13639460 CPUtime=1.16 cores=0,2,4,6
/proc/13276/task/13280/stat : 13280 (java) S 13274 13276 8697 0 -1 4202560 3319 0 0 0 116 0 0 0 16 0 19 0 906264646 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 2 0 0 0
[pid=13276/tid=13281] ppid=13274 vsize=13639460 CPUtime=1.08 cores=0,2,4,6
/proc/13276/task/13281/stat : 13281 (java) S 13274 13276 8697 0 -1 4202560 10357 0 0 0 107 1 0 0 15 0 19 0 906264646 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13282] ppid=13274 vsize=13639460 CPUtime=1.1 cores=0,2,4,6
/proc/13276/task/13282/stat : 13282 (java) S 13274 13276 8697 0 -1 4202560 6052 0 0 0 110 0 0 0 15 0 19 0 906264646 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13283] ppid=13274 vsize=13639460 CPUtime=1.06 cores=0,2,4,6
/proc/13276/task/13283/stat : 13283 (java) S 13274 13276 8697 0 -1 4202560 7852 0 0 0 105 1 0 0 16 0 19 0 906264646 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13284] ppid=13274 vsize=13639460 CPUtime=1.09 cores=0,2,4,6
/proc/13276/task/13284/stat : 13284 (java) S 13274 13276 8697 0 -1 4202560 4597 0 0 0 109 0 0 0 15 0 19 0 906264646 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13285] ppid=13274 vsize=13639460 CPUtime=1.25 cores=0,2,4,6
/proc/13276/task/13285/stat : 13285 (java) S 13274 13276 8697 0 -1 4202560 4963 0 0 0 124 1 0 0 16 0 19 0 906264646 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 2 0 0 0
[pid=13276/tid=13286] ppid=13274 vsize=13639460 CPUtime=1.12 cores=0,2,4,6
/proc/13276/task/13286/stat : 13286 (java) S 13274 13276 8697 0 -1 4202560 8955 0 0 0 111 1 0 0 16 0 19 0 906264646 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13287] ppid=13274 vsize=13639460 CPUtime=20.84 cores=0,2,4,6
/proc/13276/task/13287/stat : 13287 (java) S 13274 13276 8697 0 -1 4202560 62072 0 0 0 2076 8 0 0 15 0 19 0 906264647 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000409088 0 0 0 16800975 18446604444240942976 0 0 -1 4 0 0 0
[pid=13276/tid=13288] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13288/stat : 13288 (java) S 13274 13276 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906264647 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13289] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13289/stat : 13289 (java) S 13274 13276 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906264647 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13290] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13290/stat : 13290 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264649 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000416177 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13291] ppid=13274 vsize=13639460 CPUtime=0.74 cores=0,2,4,6
/proc/13276/task/13291/stat : 13291 (java) S 13274 13276 8697 0 -1 4202560 3806 0 0 0 73 1 0 0 15 0 19 0 906264649 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 4 0 0 0
[pid=13276/tid=13292] ppid=13274 vsize=13639460 CPUtime=0.76 cores=0,2,4,6
/proc/13276/task/13292/stat : 13292 (java) S 13274 13276 8697 0 -1 4202560 4759 0 0 0 76 0 0 0 15 0 19 0 906264649 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13293] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13293/stat : 13293 (java) S 13274 13276 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264649 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000408473 0 4 0 16800975 18446604444240942976 0 0 -1 6 0 0 0
[pid=13276/tid=13294] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13294/stat : 13294 (java) S 13274 13276 8697 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 906264649 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000409088 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
[pid=13276/tid=13295] ppid=13274 vsize=13639460 CPUtime=0 cores=0,2,4,6
/proc/13276/task/13295/stat : 13295 (java) S 13274 13276 8697 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906264711 13966807040 162191 33554432000 1073741824 1073778376 140734425946112 18446744073709551615 216000409088 0 4 0 16800975 18446604444240942976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13639460

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.49
CPU time (s): 1800.17
CPU user time (s): 1799.88
CPU system time (s): 0.286956
CPU usage (%): 100.429
Max. virtual memory (cumulated for all children) (KiB): 13639460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.286956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165046
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= 43402
involuntary context switches= 8109

runsolver used 9.78751 second user time and 20.8968 second system time

The end

Launcher Data 

Begin job on node117 at 2011-06-04 06:05:39
IDJOB=3458376
IDBENCH=48196
IDSOLVER=1952
FILE ID=node117/3458376-1307160339
RUNJOBID= node117-1307156714-12477
PBS_JOBID= 13508799
Free space on /tmp= 73628 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_5.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458376-1307160339/watcher-3458376-1307160339 -o /tmp/evaluation-result-3458376-1307160339/solver-3458376-1307160339 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458376-1307160339.opb

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

MD5SUM BENCH= 54b0d54e7a8a81cee8fd7c7c85a68b83
RANDOM SEED=1077844714

node117.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.849
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.69
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.849
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	: 5332.75
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.849
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.74
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.849
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.75
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.849
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.75
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.849
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.74
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.849
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.75
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.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      19113264 kB
Buffers:        373280 kB
Cached:        3177108 kB
SwapCached:          0 kB
Active:       10347228 kB
Inactive:      3093188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      19113264 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            1252 kB
Writeback:           0 kB
AnonPages:     9890056 kB
Mapped:          50216 kB
Slab:           269688 kB
PageTables:      58352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 162927440 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= 73628 MiB
End job on node117 at 2011-06-04 06:35:33