Trace number 3733008

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)-26 1801.31 951.011

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
MD5SUM2e8a2f5e2511f10f037e700bd45c84a1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-30
Best CPU time to get the best result obtained on this benchmark12.2971
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved YES
Number of variables450
Total number of constraints17794
Number of constraints which are clauses17794
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 450
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 450
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 450
Number of bits of the biggest sum of numbers9
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.09	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.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		9996466904
0.01/0.09	c Max memory 		10048897024
0.01/0.09	c Total memory 		10048897024
0.01/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
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 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
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 phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No 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-3733008-1338687401.opb
0.10/0.11	c reading problem ... 
0.75/0.47	c ... done. Wall clock time 0.354s.
0.75/0.47	c #vars     450
0.75/0.47	c #constraints  17794
0.75/0.47	c constraints type 
0.75/0.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17794
0.75/0.47	c constraints type 
0.75/0.47	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17794
0.75/0.48	c  And the winner is Resolution
0.95/0.97	c SATISFIABLE
0.95/0.97	c OPTIMIZING...
0.95/0.97	c Got one! Elapsed wall clock time (in seconds):0.858
0.95/0.97	o -19
1.03/1.03	c  And the winner is Resolution
1.30/1.48	c Got one! Elapsed wall clock time (in seconds):1.363
1.30/1.48	o -20
1.37/1.50	c  And the winner is Resolution
1.50/1.98	c Got one! Elapsed wall clock time (in seconds):1.865
1.50/1.98	o -21
1.50/1.99	c  And the winner is Resolution
1.58/2.48	c Got one! Elapsed wall clock time (in seconds):2.367
1.58/2.48	o -22
2.41/2.70	c  And the winner is Resolution
2.56/2.98	c Got one! Elapsed wall clock time (in seconds):2.868
2.56/2.98	o -23
3.07/3.21	c  And the winner is Resolution
3.15/3.48	c Got one! Elapsed wall clock time (in seconds):3.37
3.15/3.48	o -24
3.61/3.73	c cleaning 2835 clauses out of 5679 with flag 2000/5679
5.14/4.42	c cleaning 4417 clauses out of 8844 with flag 8000/11679
6.91/5.31	c cleaning 5711 clauses out of 11427 with flag 15000/18679
7.89/5.83	c  And the winner is Resolution
8.03/6.01	c Got one! Elapsed wall clock time (in seconds):5.898
8.03/6.01	o -25
8.20/6.15	c cleaning 5438 clauses out of 10885 with flag 1002/23848
9.76/6.91	c cleaning 5721 clauses out of 11446 with flag 7001/29847
11.50/7.80	c cleaning 6354 clauses out of 12724 with flag 14000/36846
13.50/8.85	c cleaning 7182 clauses out of 14370 with flag 22000/44846
16.02/10.10	c cleaning 8089 clauses out of 16188 with flag 31000/53846
18.53/11.48	c cleaning 9050 clauses out of 18100 with flag 41001/63847
21.86/13.16	c cleaning 10019 clauses out of 20049 with flag 52000/74846
25.19/14.82	c cleaning 11015 clauses out of 22030 with flag 64000/86846
28.90/16.72	c cleaning 12005 clauses out of 24015 with flag 77000/99846
33.56/19.18	c cleaning 12997 clauses out of 26010 with flag 91000/113846
37.87/21.35	c cleaning 14004 clauses out of 28014 with flag 106001/128847
42.98/23.93	c cleaning 15004 clauses out of 30009 with flag 122000/144846
48.67/26.87	c cleaning 15999 clauses out of 32005 with flag 139000/161846
55.49/30.30	c cleaning 16997 clauses out of 34006 with flag 157000/179846
60.98/33.16	c cleaning 17497 clauses out of 35009 with flag 175000/197846
67.09/36.27	c cleaning 17748 clauses out of 35513 with flag 193001/215847
73.77/39.65	c cleaning 17882 clauses out of 35765 with flag 211001/233847
81.34/43.54	c cleaning 17939 clauses out of 35883 with flag 229001/251847
85.80/45.81	c  And the winner is Resolution
86.42/46.43	c Got one! Elapsed wall clock time (in seconds):46.317
86.42/46.43	o -26
87.77/47.19	c cleaning 18028 clauses out of 36059 with flag 5002/269962
89.64/48.15	c cleaning 12007 clauses out of 24029 with flag 11000/275960
91.88/49.32	c cleaning 9505 clauses out of 19022 with flag 18000/282960
94.24/50.68	c cleaning 8752 clauses out of 17518 with flag 26001/290961
97.29/52.27	c cleaning 8874 clauses out of 17765 with flag 35000/299960
100.36/53.89	c cleaning 9443 clauses out of 18891 with flag 45000/309960
103.78/55.64	c cleaning 10224 clauses out of 20448 with flag 56000/320960
108.33/58.00	c cleaning 11112 clauses out of 22225 with flag 68001/332961
112.99/60.44	c cleaning 12054 clauses out of 24113 with flag 81001/345961
117.82/62.90	c cleaning 13028 clauses out of 26058 with flag 95000/359960
123.68/65.91	c cleaning 14016 clauses out of 28031 with flag 110001/374961
129.80/69.14	c cleaning 15000 clauses out of 30014 with flag 126000/390960
135.04/71.85	c cleaning 15993 clauses out of 32014 with flag 143000/407960
140.47/74.69	c cleaning 17005 clauses out of 34022 with flag 161001/425961
146.71/77.86	c cleaning 17502 clauses out of 35016 with flag 179000/443960
153.03/81.10	c cleaning 17758 clauses out of 35515 with flag 197001/461961
159.68/84.58	c cleaning 17875 clauses out of 35757 with flag 215001/479961
167.12/88.38	c cleaning 17934 clauses out of 35881 with flag 233000/497960
174.96/92.30	c cleaning 17973 clauses out of 35947 with flag 251000/515960
181.04/95.59	c cleaning 17983 clauses out of 35974 with flag 269000/533960
188.46/99.32	c cleaning 17989 clauses out of 35991 with flag 287000/551960
196.30/103.33	c cleaning 17994 clauses out of 36003 with flag 305001/569961
203.09/106.88	c cleaning 18004 clauses out of 36008 with flag 323000/587960
209.19/110.02	c cleaning 17997 clauses out of 36004 with flag 341000/605960
214.79/112.96	c cleaning 17988 clauses out of 36008 with flag 359001/623961
220.81/116.09	c cleaning 18006 clauses out of 36019 with flag 377000/641960
227.41/119.48	c cleaning 17994 clauses out of 36013 with flag 395000/659960
234.07/122.94	c cleaning 17995 clauses out of 36019 with flag 413000/677960
240.89/126.49	c cleaning 18011 clauses out of 36025 with flag 431001/695961
247.65/129.94	c cleaning 18003 clauses out of 36014 with flag 449001/713961
254.06/133.21	c cleaning 17993 clauses out of 36010 with flag 467000/731960
261.09/136.98	c cleaning 18002 clauses out of 36017 with flag 485000/749960
268.86/140.93	c cleaning 18002 clauses out of 36015 with flag 503000/767960
276.26/144.75	c cleaning 18000 clauses out of 36013 with flag 521000/785960
283.86/148.60	c cleaning 18005 clauses out of 36013 with flag 539000/803960
290.91/152.33	c cleaning 17995 clauses out of 36008 with flag 557000/821960
298.69/156.31	c cleaning 17999 clauses out of 36013 with flag 575000/839960
305.88/160.02	c cleaning 18001 clauses out of 36014 with flag 593000/857960
312.83/163.69	c cleaning 18001 clauses out of 36013 with flag 611000/875960
319.06/166.99	c cleaning 18000 clauses out of 36012 with flag 629000/893960
326.25/170.62	c cleaning 18005 clauses out of 36013 with flag 647001/911961
332.23/173.72	c cleaning 17995 clauses out of 36008 with flag 665001/929961
338.39/176.96	c cleaning 18001 clauses out of 36013 with flag 683001/947961
345.60/180.71	c cleaning 18001 clauses out of 36012 with flag 701001/965961
351.77/183.94	c cleaning 18000 clauses out of 36010 with flag 719000/983960
359.13/187.77	c cleaning 17991 clauses out of 36010 with flag 737000/1001960
365.48/191.06	c cleaning 18008 clauses out of 36020 with flag 755001/1019961
372.88/194.96	c cleaning 18001 clauses out of 36011 with flag 773000/1037960
380.67/198.98	c cleaning 17999 clauses out of 36010 with flag 791000/1055960
387.63/202.51	c cleaning 17999 clauses out of 36011 with flag 809000/1073960
393.59/205.66	c cleaning 17983 clauses out of 36012 with flag 827000/1091960
400.77/209.40	c cleaning 18003 clauses out of 36029 with flag 845000/1109960
408.12/213.29	c cleaning 18006 clauses out of 36026 with flag 863000/1127960
415.64/217.18	c cleaning 18010 clauses out of 36020 with flag 881000/1145960
423.39/221.13	c cleaning 17995 clauses out of 36011 with flag 899001/1163961
429.95/224.66	c cleaning 18000 clauses out of 36016 with flag 917001/1181961
436.90/228.28	c cleaning 18008 clauses out of 36017 with flag 935002/1199962
444.82/232.31	c cleaning 17994 clauses out of 36009 with flag 953002/1217962
451.97/236.04	c cleaning 18002 clauses out of 36013 with flag 971000/1235960
460.53/240.60	c cleaning 18001 clauses out of 36011 with flag 989000/1253960
467.70/244.27	c cleaning 17992 clauses out of 36010 with flag 1007000/1271960
474.81/247.92	c cleaning 18001 clauses out of 36019 with flag 1025001/1289961
476.35/248.85	c cleaning 0 clauses out of 6084 with flag 0/6087
483.61/252.57	c cleaning 17994 clauses out of 36017 with flag 1043000/1307960
491.07/256.38	c cleaning 18002 clauses out of 36023 with flag 1061000/1325960
496.61/259.20	c cleaning 18002 clauses out of 36021 with flag 1079000/1343960
502.33/262.21	c cleaning 17993 clauses out of 36019 with flag 1097000/1361960
508.44/265.56	c cleaning 17998 clauses out of 36026 with flag 1115000/1379960
514.75/268.86	c cleaning 18011 clauses out of 36030 with flag 1133002/1397962
522.49/272.83	c cleaning 18004 clauses out of 36018 with flag 1151001/1415961
529.21/276.39	c cleaning 17991 clauses out of 36014 with flag 1169001/1433961
536.92/280.42	c cleaning 18001 clauses out of 36023 with flag 1187001/1451961
543.61/283.90	c cleaning 18010 clauses out of 36022 with flag 1205001/1469961
551.11/287.87	c cleaning 18001 clauses out of 36011 with flag 1223000/1487960
558.44/291.62	c cleaning 17998 clauses out of 36010 with flag 1241000/1505960
566.15/295.70	c cleaning 17997 clauses out of 36012 with flag 1259000/1523960
573.28/299.44	c cleaning 18005 clauses out of 36015 with flag 1277000/1541960
579.78/302.84	c cleaning 17991 clauses out of 36011 with flag 1295001/1559961
586.49/306.34	c cleaning 17997 clauses out of 36020 with flag 1313001/1577961
594.17/310.44	c cleaning 18003 clauses out of 36022 with flag 1331000/1595960
601.07/314.08	c cleaning 18007 clauses out of 36019 with flag 1349000/1613960
607.15/317.28	c cleaning 17989 clauses out of 36012 with flag 1367000/1631960
614.87/321.22	c cleaning 18003 clauses out of 36024 with flag 1385001/1649961
622.54/325.39	c cleaning 18000 clauses out of 36020 with flag 1403000/1667960
630.40/329.47	c cleaning 17997 clauses out of 36021 with flag 1421001/1685961
637.30/333.00	c cleaning 17998 clauses out of 36023 with flag 1439000/1703960
644.58/336.87	c cleaning 18001 clauses out of 36025 with flag 1457000/1721960
653.11/341.35	c cleaning 18006 clauses out of 36024 with flag 1475000/1739960
660.41/345.10	c cleaning 18002 clauses out of 36020 with flag 1493002/1757962
666.70/348.49	c cleaning 17994 clauses out of 36016 with flag 1511000/1775960
673.78/352.17	c cleaning 18001 clauses out of 36022 with flag 1529000/1793960
681.26/356.10	c cleaning 18003 clauses out of 36022 with flag 1547001/1811961
688.53/359.95	c cleaning 17993 clauses out of 36019 with flag 1565001/1829961
696.03/363.88	c cleaning 18011 clauses out of 36026 with flag 1583001/1847961
703.13/367.58	c cleaning 18003 clauses out of 36014 with flag 1601000/1865960
710.77/371.69	c cleaning 17997 clauses out of 36011 with flag 1619000/1883960
718.02/375.42	c cleaning 17991 clauses out of 36014 with flag 1637000/1901960
725.27/379.28	c cleaning 18008 clauses out of 36023 with flag 1655000/1919960
732.93/383.22	c cleaning 17998 clauses out of 36015 with flag 1673000/1937960
740.36/387.27	c cleaning 18003 clauses out of 36017 with flag 1691000/1955960
748.85/391.63	c cleaning 18001 clauses out of 36014 with flag 1709000/1973960
757.49/396.10	c cleaning 18006 clauses out of 36014 with flag 1727001/1991961
763.37/399.23	c cleaning 18001 clauses out of 36009 with flag 1745002/2009962
769.60/402.61	c cleaning 18005 clauses out of 36010 with flag 1763004/2027964
776.04/406.01	c cleaning 17997 clauses out of 36001 with flag 1781000/2045960
782.92/409.62	c cleaning 17991 clauses out of 36004 with flag 1799000/2063960
789.78/413.24	c cleaning 18001 clauses out of 36014 with flag 1817001/2081961
797.41/417.34	c cleaning 17997 clauses out of 36013 with flag 1835001/2099961
804.88/421.23	c cleaning 18006 clauses out of 36016 with flag 1853001/2117961
811.32/424.60	c cleaning 17985 clauses out of 36009 with flag 1871000/2135960
818.77/428.50	c cleaning 18011 clauses out of 36025 with flag 1889001/2153961
825.99/432.49	c cleaning 18001 clauses out of 36013 with flag 1907000/2171960
833.43/436.37	c cleaning 18007 clauses out of 36014 with flag 1925002/2189962
841.07/440.31	c cleaning 17993 clauses out of 36006 with flag 1943001/2207961
848.33/444.16	c cleaning 18001 clauses out of 36012 with flag 1961000/2225960
856.93/448.73	c cleaning 18001 clauses out of 36011 with flag 1979000/2243960
865.17/453.06	c cleaning 17994 clauses out of 36010 with flag 1997000/2261960
874.60/457.98	c cleaning 18008 clauses out of 36016 with flag 2015000/2279960
882.46/462.01	c cleaning 17997 clauses out of 36008 with flag 2033000/2297960
889.44/465.88	c cleaning 18001 clauses out of 36012 with flag 2051001/2315961
896.70/469.65	c cleaning 17997 clauses out of 36010 with flag 2069000/2333960
904.92/473.95	c cleaning 18000 clauses out of 36013 with flag 2087000/2351960
911.57/477.44	c cleaning 17993 clauses out of 36013 with flag 2105000/2369960
918.93/481.45	c cleaning 18004 clauses out of 36021 with flag 2123001/2387961
926.36/485.38	c cleaning 18000 clauses out of 36016 with flag 2141000/2405960
934.42/489.56	c cleaning 18000 clauses out of 36016 with flag 2159000/2423960
940.86/492.92	c cleaning 18005 clauses out of 36016 with flag 2177000/2441960
947.86/496.77	c cleaning 17992 clauses out of 36012 with flag 2195001/2459961
954.67/500.33	c cleaning 17998 clauses out of 36020 with flag 2213001/2477961
962.29/504.35	c cleaning 18007 clauses out of 36021 with flag 2231000/2495960
969.35/508.01	c cleaning 17999 clauses out of 36015 with flag 2249001/2513961
976.17/511.77	c cleaning 17998 clauses out of 36015 with flag 2267000/2531960
984.38/516.04	c cleaning 17999 clauses out of 36017 with flag 2285000/2549960
992.20/520.20	c cleaning 18007 clauses out of 36019 with flag 2303001/2567961
999.81/524.19	c cleaning 17993 clauses out of 36011 with flag 2321000/2585960
1008.37/528.74	c cleaning 18009 clauses out of 36019 with flag 2339001/2603961
1016.81/533.14	c cleaning 18001 clauses out of 36009 with flag 2357000/2621960
1024.83/537.38	c cleaning 17994 clauses out of 36008 with flag 2375000/2639960
1032.08/541.16	c cleaning 18004 clauses out of 36015 with flag 2393001/2657961
1039.24/545.04	c cleaning 18000 clauses out of 36011 with flag 2411001/2675961
1046.68/548.92	c cleaning 17994 clauses out of 36010 with flag 2429000/2693960
1054.09/552.81	c cleaning 18004 clauses out of 36016 with flag 2447000/2711960
1061.68/556.85	c cleaning 17995 clauses out of 36012 with flag 2465000/2729960
1069.29/560.98	c cleaning 18002 clauses out of 36018 with flag 2483001/2747961
1077.30/565.12	c cleaning 17980 clauses out of 36015 with flag 2501000/2765960
1083.96/568.68	c cleaning 18007 clauses out of 36036 with flag 2519001/2783961
1091.56/572.68	c cleaning 18004 clauses out of 36028 with flag 2537000/2801960
1099.71/577.03	c cleaning 18009 clauses out of 36024 with flag 2555000/2819960
1107.32/581.06	c cleaning 18002 clauses out of 36016 with flag 2573001/2837961
1114.74/584.97	c cleaning 17994 clauses out of 36014 with flag 2591001/2855961
1123.55/589.54	c cleaning 18005 clauses out of 36019 with flag 2609000/2873960
1130.48/593.39	c cleaning 17997 clauses out of 36014 with flag 2627000/2891960
1137.88/597.20	c cleaning 18002 clauses out of 36017 with flag 2645000/2909960
1145.67/601.35	c cleaning 17992 clauses out of 36016 with flag 2663001/2927961
1153.07/605.26	c cleaning 18004 clauses out of 36023 with flag 2681000/2945960
1161.39/609.74	c cleaning 17999 clauses out of 36019 with flag 2699000/2963960
1168.58/613.50	c cleaning 18005 clauses out of 36020 with flag 2717000/2981960
1174.19/616.53	c cleaning 17996 clauses out of 36015 with flag 2735000/2999960
1179.83/619.53	c cleaning 17996 clauses out of 36019 with flag 2753000/3017960
1186.19/623.06	c cleaning 18001 clauses out of 36024 with flag 2771001/3035961
1192.38/626.32	c cleaning 18002 clauses out of 36022 with flag 2789000/3053960
1199.78/630.23	c cleaning 17995 clauses out of 36021 with flag 2807001/3071961
1205.98/633.60	c cleaning 17997 clauses out of 36025 with flag 2825000/3089960
1213.69/637.78	c cleaning 18000 clauses out of 36029 with flag 2843001/3107961
1220.10/641.19	c cleaning 18006 clauses out of 36028 with flag 2861000/3125960
1227.71/645.15	c cleaning 17990 clauses out of 36022 with flag 2879000/3143960
1234.70/648.87	c cleaning 18002 clauses out of 36032 with flag 2897000/3161960
1243.21/653.45	c cleaning 18012 clauses out of 36031 with flag 2915001/3179961
1249.76/656.92	c cleaning 18000 clauses out of 36018 with flag 2933000/3197960
1256.75/660.65	c cleaning 18003 clauses out of 36019 with flag 2951001/3215961
1264.12/664.57	c cleaning 17987 clauses out of 36015 with flag 2969000/3233960
1272.07/668.81	c cleaning 17997 clauses out of 36029 with flag 2987001/3251961
1280.23/673.14	c cleaning 18013 clauses out of 36032 with flag 3005001/3269961
1286.81/676.66	c cleaning 18009 clauses out of 36020 with flag 3023002/3287962
1294.60/680.75	c cleaning 17995 clauses out of 36009 with flag 3041000/3305960
1301.94/684.74	c cleaning 17994 clauses out of 36014 with flag 3059000/3323960
1309.13/688.51	c cleaning 18007 clauses out of 36021 with flag 3077001/3341961
1316.49/692.49	c cleaning 18001 clauses out of 36013 with flag 3095000/3359960
1323.69/696.29	c cleaning 18004 clauses out of 36013 with flag 3113001/3377961
1331.65/700.50	c cleaning 17991 clauses out of 36008 with flag 3131000/3395960
1338.62/704.27	c cleaning 18001 clauses out of 36018 with flag 3149001/3413961
1346.39/708.33	c cleaning 18001 clauses out of 36016 with flag 3167000/3431960
1353.56/712.19	c cleaning 18005 clauses out of 36016 with flag 3185001/3449961
1361.25/716.38	c cleaning 18001 clauses out of 36011 with flag 3203001/3467961
1368.82/720.31	c cleaning 17994 clauses out of 36010 with flag 3221001/3485961
1376.19/724.23	c cleaning 18004 clauses out of 36016 with flag 3239001/3503961
1384.14/728.45	c cleaning 18003 clauses out of 36011 with flag 3257000/3521960
1391.84/732.66	c cleaning 17998 clauses out of 36008 with flag 3275000/3539960
1399.01/736.48	c cleaning 17987 clauses out of 36010 with flag 3293000/3557960
1406.79/740.55	c cleaning 17999 clauses out of 36023 with flag 3311000/3575960
1413.75/744.24	c cleaning 18004 clauses out of 36025 with flag 3329001/3593961
1422.26/748.89	c cleaning 17997 clauses out of 36020 with flag 3347000/3611960
1429.82/752.81	c cleaning 18007 clauses out of 36023 with flag 3365000/3629960
1437.18/756.74	c cleaning 17997 clauses out of 36016 with flag 3383000/3647960
1443.32/760.06	c cleaning 18009 clauses out of 36021 with flag 3401002/3665962
1451.58/764.57	c cleaning 17992 clauses out of 36012 with flag 3419002/3683962
1459.13/768.59	c cleaning 18000 clauses out of 36018 with flag 3437000/3701960
1467.48/772.98	c cleaning 17998 clauses out of 36018 with flag 3455000/3719960
1475.64/777.29	c cleaning 18005 clauses out of 36020 with flag 3473000/3737960
1484.51/782.03	c cleaning 18000 clauses out of 36016 with flag 3491001/3755961
1492.47/786.24	c cleaning 18001 clauses out of 36016 with flag 3509001/3773961
1500.43/790.43	c cleaning 18003 clauses out of 36014 with flag 3527000/3791960
1507.76/794.34	c cleaning 18001 clauses out of 36012 with flag 3545001/3809961
1515.88/798.77	c cleaning 17997 clauses out of 36010 with flag 3563000/3827960
1524.05/803.05	c cleaning 18001 clauses out of 36014 with flag 3581001/3845961
1532.80/807.67	c cleaning 18000 clauses out of 36013 with flag 3599001/3863961
1542.35/812.65	c cleaning 17998 clauses out of 36013 with flag 3617001/3881961
1550.06/816.82	c cleaning 17985 clauses out of 36014 with flag 3635000/3899960
1558.39/821.20	c cleaning 18011 clauses out of 36030 with flag 3653001/3917961
1565.55/825.09	c cleaning 17998 clauses out of 36019 with flag 3671001/3935961
1574.27/829.68	c cleaning 18006 clauses out of 36020 with flag 3689000/3953960
1582.91/834.32	c cleaning 18002 clauses out of 36014 with flag 3707000/3971960
1589.66/837.93	c cleaning 17997 clauses out of 36013 with flag 3725001/3989961
1597.23/841.94	c cleaning 17990 clauses out of 36016 with flag 3743001/4007961
1604.59/845.83	c cleaning 18001 clauses out of 36026 with flag 3761001/4025961
1612.21/850.08	c cleaning 17997 clauses out of 36024 with flag 3779000/4043960
1619.36/853.83	c cleaning 18008 clauses out of 36027 with flag 3797000/4061960
1626.89/857.82	c cleaning 18008 clauses out of 36021 with flag 3815002/4079962
1634.83/862.02	c cleaning 17994 clauses out of 36011 with flag 3833000/4097960
1643.66/866.81	c cleaning 17997 clauses out of 36017 with flag 3851000/4115960
1651.79/871.18	c cleaning 18007 clauses out of 36020 with flag 3869000/4133960
1659.91/875.41	c cleaning 17992 clauses out of 36013 with flag 3887000/4151960
1668.46/879.96	c cleaning 18003 clauses out of 36021 with flag 3905000/4169960
1678.46/885.34	c cleaning 18008 clauses out of 36018 with flag 3923000/4187960
1685.99/889.34	c cleaning 17993 clauses out of 36011 with flag 3941001/4205961
1693.33/893.22	c cleaning 17993 clauses out of 36017 with flag 3959000/4223960
1701.45/897.56	c cleaning 18005 clauses out of 36024 with flag 3977000/4241960
1709.85/902.18	c cleaning 18004 clauses out of 36019 with flag 3995000/4259960
1717.58/906.29	c cleaning 18005 clauses out of 36015 with flag 4013000/4277960
1726.10/910.76	c cleaning 18000 clauses out of 36011 with flag 4031001/4295961
1734.83/915.31	c cleaning 17990 clauses out of 36010 with flag 4049000/4313960
1742.82/919.76	c cleaning 18008 clauses out of 36020 with flag 4067000/4331960
1751.35/924.25	c cleaning 17999 clauses out of 36013 with flag 4085001/4349961
1759.46/928.56	c cleaning 18000 clauses out of 36014 with flag 4103001/4367961
1767.39/932.78	c cleaning 17993 clauses out of 36013 with flag 4121000/4385960
1776.38/937.69	c cleaning 18005 clauses out of 36020 with flag 4139000/4403960
1784.90/942.18	c cleaning 18000 clauses out of 36015 with flag 4157000/4421960
1792.05/946.00	c cleaning 17995 clauses out of 36016 with flag 4175001/4439961
1799.75/950.07	c cleaning 18004 clauses out of 36020 with flag 4193000/4457960
1800.81/950.97	c starts		: 261
1800.81/950.97	c conflicts		: 4457970
1800.81/950.97	c decisions		: 4724160
1800.81/950.97	c propagations		: 26848365
1800.81/950.97	c inspects		: 3787181325
1800.81/950.97	c shortcuts		: 0
1800.81/950.97	c learnt literals	: 0
1800.81/950.97	c learnt binary clauses	: 0
1800.81/950.97	c learnt ternary clauses	: 0
1800.81/950.97	c learnt constraints	: 4457970
1800.81/950.97	c ignored constraints	: 0
1800.81/950.97	c root simplifications	: 0
1800.81/950.97	c removed literals (reason simplification)	: 66856554
1800.81/950.97	c reason swapping (by a shorter reason)	: 0
1800.81/950.97	c Calls to reduceDB	: 259
1800.81/950.97	c number of reductions to clauses (during analyze)	: 0
1800.81/950.97	c number of learned constraints concerned by reduction	: 0
1800.81/950.97	c number of learning phase by resolution	: 0
1800.81/950.97	c number of learning phase by cutting planes	: 0
1800.81/950.97	c speed (assignments/second)	: 29681.82501603025
1800.81/950.97	c non guided choices	0
1800.81/950.99	c learnt constraints type 
1800.81/950.99	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18142
1800.81/950.99	c constraints type 
1800.81/950.99	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.81/950.99	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17794
1800.81/950.99	c constraints type 
1800.81/950.99	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17794
1800.81/950.99	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.81/950.99	s SATISFIABLE
1800.81/950.99	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 
1800.81/950.99	c objective function=-26
1800.81/950.99	c Total wall clock time (in seconds): 950.873

Verifier Data 

OK	-26

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733008-1338687401/watcher-3733008-1338687401 -o /tmp/evaluation-result-3733008-1338687401/solver-3733008-1338687401 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3733008-1338687401.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: 3.44 3.55 3.49 4/197 23481
/proc/meminfo: memFree=26775936/32873844 swapFree=7372/7372
[pid=23481] ppid=23479 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/23481/stat : 23481 (java) R 23479 23481 20030 0 -1 4202496 1136 0 0 0 0 0 0 0 20 0 1 0 334866164 23793664 864 33554432000 1073741824 1073778376 140737436829408 140737436818472 251022896983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23481/statm: 5793 858 647 9 0 128 0
[pid=23481/tid=23482] ppid=23479 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23482/stat : 23482 (java) R 23479 23481 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 2 0 334866164 24780800 869 33554432000 1073741824 1073778376 140737436829408 140737436818472 140565976739584 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.02376 s]
/proc/loadavg: 3.44 3.55 3.49 4/197 23481
/proc/meminfo: memFree=26775936/32873844 swapFree=7372/7372
[pid=23481] ppid=23479 vsize=10510056 CPUtime=0.01 cores=1,3,5,7
/proc/23481/stat : 23481 (java) S 23479 23481 20030 0 -1 4202496 3138 0 1 0 0 1 0 0 20 0 2 0 334866164 10762297344 7929 33554432000 1073741824 1073778376 140737436829408 140737436820544 251035418685 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23481/statm: 2627514 7929 942 9 0 2618623 0
[pid=23481/tid=23482] ppid=23479 vsize=10510056 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23482/stat : 23482 (java) R 23479 23481 20030 0 -1 4202560 1992 0 1 0 0 0 0 0 20 0 2 0 334866164 10762297344 7929 33554432000 1073741824 1073778376 140737436829408 140565970151728 251031728916 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10510056

[startup+0.100317 s]
/proc/loadavg: 3.44 3.55 3.49 4/197 23481
/proc/meminfo: memFree=26775936/32873844 swapFree=7372/7372
[pid=23481] ppid=23479 vsize=11586392 CPUtime=0.1 cores=1,3,5,7
/proc/23481/stat : 23481 (java) S 23479 23481 20030 0 -1 4202496 5268 0 1 0 8 2 0 0 20 0 18 0 334866164 11864465408 13601 33554432000 1073741824 1073778376 140737436829408 140737436820544 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23481/statm: 2896598 13601 2116 9 0 2887285 0
[pid=23481/tid=23482] ppid=23479 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/23481/task/23482/stat : 23482 (java) R 23479 23481 20030 0 -1 4202560 3293 0 1 0 5 2 0 0 20 0 18 0 334866164 11864465408 13601 33554432000 1073741824 1073778376 140737436829408 140565970147864 251035444493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392

[startup+0.300321 s]
/proc/loadavg: 3.44 3.55 3.49 4/197 23481
/proc/meminfo: memFree=26775936/32873844 swapFree=7372/7372
[pid=23481] ppid=23479 vsize=11586392 CPUtime=0.48 cores=1,3,5,7
/proc/23481/stat : 23481 (java) S 23479 23481 20030 0 -1 4202496 6523 0 1 0 45 3 0 0 20 0 18 0 334866164 11864465408 16467 33554432000 1073741824 1073778376 140737436829408 140737436820544 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23481/statm: 2896598 16467 2222 9 0 2887285 0
[pid=23481/tid=23482] ppid=23479 vsize=11586392 CPUtime=0.27 cores=1,3,5,7
/proc/23481/task/23482/stat : 23482 (java) R 23479 23481 20030 0 -1 4202560 3371 0 1 0 25 2 0 0 20 0 18 0 334866164 11864465408 16467 33554432000 1073741824 1073778376 140737436829408 140565970147864 140565841117880 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 11586392

[startup+0.700292 s]
/proc/loadavg: 3.44 3.55 3.49 4/197 23481
/proc/meminfo: memFree=26775936/32873844 swapFree=7372/7372
[pid=23481] ppid=23479 vsize=11852648 CPUtime=0.95 cores=1,3,5,7
/proc/23481/stat : 23481 (java) S 23479 23481 20030 0 -1 4202496 10082 0 1 0 91 4 0 0 20 0 19 0 334866164 12137111552 27092 33554432000 1073741824 1073778376 140737436829408 140737436820544 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23481/statm: 2963162 27092 2248 9 0 2953849 0
[pid=23481/tid=23482] ppid=23479 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/23481/task/23482/stat : 23482 (java) S 23479 23481 20030 0 -1 4202560 3398 0 1 0 41 4 0 0 20 0 19 0 334866164 12137111552 27092 33554432000 1073741824 1073778376 140737436829408 140565970150552 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 11852648

[startup+1.5006 s]
/proc/loadavg: 3.44 3.55 3.49 6/219 23506
/proc/meminfo: memFree=26661576/32873844 swapFree=7372/7372
[pid=23481] ppid=23479 vsize=11852648 CPUtime=1.37 cores=1,3,5,7
/proc/23481/stat : 23481 (java) S 23479 23481 20030 0 -1 4202496 10333 0 1 0 130 7 0 0 20 0 22 0 334866164 12137111552 29197 33554432000 1073741824 1073778376 140737436829408 140737436820544 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23481/statm: 2963162 29197 2256 9 0 2953849 0
[pid=23481/tid=23482] ppid=23479 vsize=11852648 CPUtime=0.46 cores=1,3,5,7
/proc/23481/task/23482/stat : 23482 (java) S 23479 23481 20030 0 -1 4202560 3399 0 1 0 42 4 0 0 20 0 22 0 334866164 12137111552 29197 33554432000 1073741824 1073778376 140737436829408 140565970150552 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23484] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23484/stat : 23484 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866167 12137111552 29197 33554432000 1073741824 1073778376 140737436829408 140565959211944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23485] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23485/stat : 23485 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866167 12137111552 29197 33554432000 1073741824 1073778376 140737436829408 140565806345256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23486] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23486/stat : 23486 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866167 12137111552 29197 33554432000 1073741824 1073778376 140737436829408 140565805292200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23481/tid=23487] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23487/stat : 23487 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866167 12137111552 29197 33554432000 1073741824 1073778376 140737436829408 140565804239656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23488] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23488/stat : 23488 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866167 12137111552 29197 33554432000 1073741824 1073778376 140737436829408 140565803186600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23489] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23489/stat : 23489 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866167 12137111552 29197 33554432000 1073741824 1073778376 140737436829408 140565802134056 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23490] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23490/stat : 23490 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866167 12137111552 29197 33554432000 1073741824 1073778376 140737436829408 140565801081000 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23491] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23491/stat : 23491 (java) S 23479 23481 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334866167 12137111552 29197 33554432000 1073741824 1073778376 140737436829408 140565800028456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23492] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23492/stat : 23492 (java) S 23479 23481 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334866168 12137111552 29197 33554432000 1073741824 1073778376 140737436829408 140565787618152 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23493] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23493/stat : 23493 (java) S 23479 23481 20030 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334866168 12137111552 29197 33554432000 1073741824 1073778376 140737436829408 140565786564472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23494] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23494/stat : 23494 (java) S 23479 23481 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334866168 12137111552 29197 33554432000 1073741824 1073778376 140737436829408 140565785511304 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23495] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23495/stat : 23495 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866170 12137111552 29197 33554432000 1073741824 1073778376 140737436829408 140565784460048 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23496] ppid=23479 vsize=11852648 CPUtime=0.38 cores=1,3,5,7
/proc/23481/task/23496/stat : 23496 (java) R 23479 23481 20030 0 -1 4202560 2625 0 0 0 38 0 0 0 20 0 22 0 334866170 12137111552 29197 33554432000 1073741824 1073778376 140737436829408 140565783384176 140565973065009 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=23481/tid=23497] ppid=23479 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/23481/task/23497/stat : 23497 (java) R 23479 23481 20030 0 -1 4202560 2989 0 0 0 36 0 0 0 20 0 22 0 334866170 12137111552 29197 33554432000 1073741824 1073778376 140737436829408 140565782354200 140565973997181 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23498] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23498/stat : 23498 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866170 12137111552 29197 33554432000 1073741824 1073778376 140737436829408 140565781301496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23499] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23499/stat : 23499 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866170 12137111552 29197 33554432000 1073741824 1073778376 140737436829408 140565780249160 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23503] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23503/stat : 23503 (java) S 23479 23481 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334866212 12137111552 29197 33554432000 1073741824 1073778376 140737436829408 140565776037288 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 11852648

[startup+3.10084 s]
/proc/loadavg: 3.44 3.55 3.49 3/216 23515
/proc/meminfo: memFree=26652352/32873844 swapFree=7372/7372
[pid=23481] ppid=23479 vsize=11852648 CPUtime=2.84 cores=1,3,5,7
/proc/23481/stat : 23481 (java) S 23479 23481 20030 0 -1 4202496 16397 0 1 0 270 14 0 0 20 0 22 0 334866164 12137111552 46762 33554432000 1073741824 1073778376 140737436829408 140737436820544 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23481/statm: 2963162 46762 2262 9 0 2953849 0
[pid=23481/tid=23482] ppid=23479 vsize=11852648 CPUtime=0.46 cores=1,3,5,7
/proc/23481/task/23482/stat : 23482 (java) S 23479 23481 20030 0 -1 4202560 3400 0 1 0 42 4 0 0 20 0 22 0 334866164 12137111552 46762 33554432000 1073741824 1073778376 140737436829408 140565970150552 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23484] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23484/stat : 23484 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866167 12137111552 46762 33554432000 1073741824 1073778376 140737436829408 140565959211944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23485] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23485/stat : 23485 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866167 12137111552 46762 33554432000 1073741824 1073778376 140737436829408 140565806345256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23486] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23486/stat : 23486 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866167 12137111552 46762 33554432000 1073741824 1073778376 140737436829408 140565805292200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23481/tid=23487] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23487/stat : 23487 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866167 12137111552 46762 33554432000 1073741824 1073778376 140737436829408 140565804239656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23488] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23488/stat : 23488 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866167 12137111552 46762 33554432000 1073741824 1073778376 140737436829408 140565803186600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23489] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23489/stat : 23489 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866167 12137111552 46762 33554432000 1073741824 1073778376 140737436829408 140565802134056 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23490] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23490/stat : 23490 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866167 12137111552 46762 33554432000 1073741824 1073778376 140737436829408 140565801081000 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23491] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23491/stat : 23491 (java) S 23479 23481 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334866167 12137111552 46762 33554432000 1073741824 1073778376 140737436829408 140565800028456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23492] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23492/stat : 23492 (java) S 23479 23481 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334866168 12137111552 46762 33554432000 1073741824 1073778376 140737436829408 140565787618152 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23493] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23493/stat : 23493 (java) S 23479 23481 20030 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334866168 12137111552 46762 33554432000 1073741824 1073778376 140737436829408 140565786564472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23494] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23494/stat : 23494 (java) S 23479 23481 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334866168 12137111552 46762 33554432000 1073741824 1073778376 140737436829408 140565785511304 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23495] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23495/stat : 23495 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866170 12137111552 46762 33554432000 1073741824 1073778376 140737436829408 140565784460048 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23496] ppid=23479 vsize=11852648 CPUtime=0.76 cores=1,3,5,7
/proc/23481/task/23496/stat : 23496 (java) S 23479 23481 20030 0 -1 4202560 6495 0 0 0 74 2 0 0 20 0 22 0 334866170 12137111552 46762 33554432000 1073741824 1073778376 140737436829408 140565783406904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23481/tid=23497] ppid=23479 vsize=11852648 CPUtime=0.73 cores=1,3,5,7
/proc/23481/task/23497/stat : 23497 (java) S 23479 23481 20030 0 -1 4202560 5131 0 0 0 73 0 0 0 20 0 22 0 334866170 12137111552 46762 33554432000 1073741824 1073778376 140737436829408 140565782354360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23498] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23498/stat : 23498 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866170 12137111552 46762 33554432000 1073741824 1073778376 140737436829408 140565781301496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23499] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23499/stat : 23499 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866170 12137111552 46762 33554432000 1073741824 1073778376 140737436829408 140565780249160 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23503] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23503/stat : 23503 (java) S 23479 23481 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334866212 12137111552 46762 33554432000 1073741824 1073778376 140737436829408 140565776037288 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 11852648

[startup+6.30086 s]
/proc/loadavg: 3.24 3.51 3.47 5/219 23524
/proc/meminfo: memFree=26187656/32873844 swapFree=7372/7372
[pid=23481] ppid=23479 vsize=11852648 CPUtime=8.56 cores=1,3,5,7
/proc/23481/stat : 23481 (java) S 23479 23481 20030 0 -1 4202496 16745 0 1 0 826 30 0 0 20 0 22 0 334866164 12137111552 155385 33554432000 1073741824 1073778376 140737436829408 140737436820544 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23481/statm: 2963162 155385 2291 9 0 2953849 0
[pid=23481/tid=23482] ppid=23479 vsize=11852648 CPUtime=0.47 cores=1,3,5,7
/proc/23481/task/23482/stat : 23482 (java) S 23479 23481 20030 0 -1 4202560 3400 0 1 0 43 4 0 0 20 0 22 0 334866164 12137111552 155385 33554432000 1073741824 1073778376 140737436829408 140565970150552 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23484] ppid=23479 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/23481/task/23484/stat : 23484 (java) S 23479 23481 20030 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 334866167 12137111552 155385 33554432000 1073741824 1073778376 140737436829408 140565959211944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23485] ppid=23479 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/23481/task/23485/stat : 23485 (java) S 23479 23481 20030 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 334866167 12137111552 155385 33554432000 1073741824 1073778376 140737436829408 140565806345256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23481/tid=23486] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23486/stat : 23486 (java) S 23479 23481 20030 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334866167 12137111552 155385 33554432000 1073741824 1073778376 140737436829408 140565805292200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23487] ppid=23479 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/23481/task/23487/stat : 23487 (java) S 23479 23481 20030 0 -1 4202560 20 0 0 0 0 2 0 0 20 0 22 0 334866167 12137111552 155385 33554432000 1073741824 1073778376 140737436829408 140565804239656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23488] ppid=23479 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/23481/task/23488/stat : 23488 (java) S 23479 23481 20030 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 334866167 12137111552 155385 33554432000 1073741824 1073778376 140737436829408 140565803186600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23481/tid=23489] ppid=23479 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/23481/task/23489/stat : 23489 (java) S 23479 23481 20030 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 334866167 12137111552 155385 33554432000 1073741824 1073778376 140737436829408 140565802134056 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23490] ppid=23479 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/23481/task/23490/stat : 23490 (java) S 23479 23481 20030 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 334866167 12137111552 155385 33554432000 1073741824 1073778376 140737436829408 140565801081000 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23481/tid=23491] ppid=23479 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/23481/task/23491/stat : 23491 (java) S 23479 23481 20030 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 334866167 12137111552 155385 33554432000 1073741824 1073778376 140737436829408 140565800028456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23492] ppid=23479 vsize=11852648 CPUtime=0.27 cores=1,3,5,7
/proc/23481/task/23492/stat : 23492 (java) S 23479 23481 20030 0 -1 4202560 49 0 0 0 27 0 0 0 20 0 22 0 334866168 12137111552 155385 33554432000 1073741824 1073778376 140737436829408 140565787618152 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23493] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23493/stat : 23493 (java) S 23479 23481 20030 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334866168 12137111552 155385 33554432000 1073741824 1073778376 140737436829408 140565786564472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23494] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23494/stat : 23494 (java) S 23479 23481 20030 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334866168 12137111552 155385 33554432000 1073741824 1073778376 140737436829408 140565785511304 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23495] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23495/stat : 23495 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866170 12137111552 155385 33554432000 1073741824 1073778376 140737436829408 140565784460048 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23496] ppid=23479 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/23481/task/23496/stat : 23496 (java) S 23479 23481 20030 0 -1 4202560 6497 0 0 0 89 2 0 0 20 0 22 0 334866170 12137111552 155385 33554432000 1073741824 1073778376 140737436829408 140565783406904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23481/tid=23497] ppid=23479 vsize=11852648 CPUtime=0.9 cores=1,3,5,7
/proc/23481/task/23497/stat : 23497 (java) S 23479 23481 20030 0 -1 4202560 5142 0 0 0 90 0 0 0 20 0 22 0 334866170 12137111552 155385 33554432000 1073741824 1073778376 140737436829408 140565782354360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

[pid=23481/tid=23497] ppid=23479 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/23481/task/23497/stat : 23497 (java) S 23479 23481 20030 0 -1 4202560 6098 0 0 0 143 2 0 0 20 0 22 0 334866170 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565782354360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23481/tid=23498] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23498/stat : 23498 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866170 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565781301496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23499] ppid=23479 vsize=11852648 CPUtime=0.46 cores=1,3,5,7
/proc/23481/task/23499/stat : 23499 (java) S 23479 23481 20030 0 -1 4202560 55 0 0 0 18 28 0 0 20 0 22 0 334866170 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565780249160 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23503] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23503/stat : 23503 (java) S 23479 23481 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334866212 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565776037288 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23481/tid=23528] ppid=23479 vsize=11852648 CPUtime=792.25 cores=1,3,5,7
/proc/23481/task/23528/stat : 23528 (java) S 23479 23481 20030 0 -1 4202560 59 0 0 0 79211 14 0 0 20 0 22 0 334870807 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565778142280 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23529] ppid=23479 vsize=11852648 CPUtime=792.05 cores=1,3,5,7
/proc/23481/task/23529/stat : 23529 (java) S 23479 23481 20030 0 -1 4202560 7 0 0 0 79190 15 0 0 20 0 22 0 334870807 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565777087080 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23530] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23530/stat : 23530 (java) S 23479 23481 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334870808 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565779195304 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 11852648

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

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

[startup+950.213 s]
/proc/loadavg: 3.40 3.61 3.60 11/219 23646
/proc/meminfo: memFree=25463828/32873844 swapFree=7372/7372
[pid=23481] ppid=23479 vsize=11852648 CPUtime=1800.12 cores=1,3,5,7
/proc/23481/stat : 23481 (java) S 23479 23481 20030 0 -1 4202496 20131 0 1 0 179912 100 0 0 20 0 22 0 334866164 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140737436820544 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23481/statm: 2963162 312516 2292 9 0 2953849 0
[pid=23481/tid=23482] ppid=23479 vsize=11852648 CPUtime=0.52 cores=1,3,5,7
/proc/23481/task/23482/stat : 23482 (java) S 23479 23481 20030 0 -1 4202560 3580 0 1 0 45 7 0 0 20 0 22 0 334866164 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565970150264 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23484] ppid=23479 vsize=11852648 CPUtime=3 cores=1,3,5,7
/proc/23481/task/23484/stat : 23484 (java) S 23479 23481 20030 0 -1 4202560 271 0 0 0 296 4 0 0 20 0 22 0 334866167 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565959211944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23485] ppid=23479 vsize=11852648 CPUtime=3.22 cores=1,3,5,7
/proc/23481/task/23485/stat : 23485 (java) S 23479 23481 20030 0 -1 4202560 224 0 0 0 320 2 0 0 20 0 22 0 334866167 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565806345256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23486] ppid=23479 vsize=11852648 CPUtime=3.06 cores=1,3,5,7
/proc/23481/task/23486/stat : 23486 (java) S 23479 23481 20030 0 -1 4202560 211 0 0 0 304 2 0 0 20 0 22 0 334866167 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565805292200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23487] ppid=23479 vsize=11852648 CPUtime=2.94 cores=1,3,5,7
/proc/23481/task/23487/stat : 23487 (java) S 23479 23481 20030 0 -1 4202560 205 0 0 0 290 4 0 0 20 0 22 0 334866167 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565804239656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23488] ppid=23479 vsize=11852648 CPUtime=3.2 cores=1,3,5,7
/proc/23481/task/23488/stat : 23488 (java) S 23479 23481 20030 0 -1 4202560 190 0 0 0 317 3 0 0 20 0 22 0 334866167 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565803186600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23489] ppid=23479 vsize=11852648 CPUtime=3.2 cores=1,3,5,7
/proc/23481/task/23489/stat : 23489 (java) S 23479 23481 20030 0 -1 4202560 242 0 0 0 317 3 0 0 20 0 22 0 334866167 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565802134056 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23490] ppid=23479 vsize=11852648 CPUtime=3.22 cores=1,3,5,7
/proc/23481/task/23490/stat : 23490 (java) S 23479 23481 20030 0 -1 4202560 229 0 0 0 319 3 0 0 20 0 22 0 334866167 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565801081000 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23491] ppid=23479 vsize=11852648 CPUtime=3.1 cores=1,3,5,7
/proc/23481/task/23491/stat : 23491 (java) S 23479 23481 20030 0 -1 4202560 266 0 0 0 307 3 0 0 20 0 22 0 334866167 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565800028456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23492] ppid=23479 vsize=11852648 CPUtime=107.79 cores=1,3,5,7
/proc/23481/task/23492/stat : 23492 (java) R 23479 23481 20030 0 -1 4202560 279 0 0 0 10766 13 0 0 20 0 22 0 334866168 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565787617008 140565976273337 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23493] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23493/stat : 23493 (java) S 23479 23481 20030 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334866168 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565786564472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23494] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23494/stat : 23494 (java) S 23479 23481 20030 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334866168 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565785511304 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23495] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23495/stat : 23495 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866170 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565784459592 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23496] ppid=23479 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/23481/task/23496/stat : 23496 (java) S 23479 23481 20030 0 -1 4202560 6505 0 0 0 96 2 0 0 20 0 22 0 334866170 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565783406904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23497] ppid=23479 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/23481/task/23497/stat : 23497 (java) S 23479 23481 20030 0 -1 4202560 6098 0 0 0 143 2 0 0 20 0 22 0 334866170 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565782354360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23481/tid=23498] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23498/stat : 23498 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866170 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565781301496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23499] ppid=23479 vsize=11852648 CPUtime=0.46 cores=1,3,5,7
/proc/23481/task/23499/stat : 23499 (java) S 23479 23481 20030 0 -1 4202560 55 0 0 0 18 28 0 0 20 0 22 0 334866170 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565780249160 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23503] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23503/stat : 23503 (java) S 23479 23481 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334866212 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565776037288 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23481/tid=23528] ppid=23479 vsize=11852648 CPUtime=792.25 cores=1,3,5,7
/proc/23481/task/23528/stat : 23528 (java) S 23479 23481 20030 0 -1 4202560 59 0 0 0 79211 14 0 0 20 0 22 0 334870807 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565778142280 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23529] ppid=23479 vsize=11852648 CPUtime=792.05 cores=1,3,5,7
/proc/23481/task/23529/stat : 23529 (java) S 23479 23481 20030 0 -1 4202560 7 0 0 0 79190 15 0 0 20 0 22 0 334870807 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565777087080 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23530] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23530/stat : 23530 (java) S 23479 23481 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334870808 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565779195304 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 11852648

[startup+950.601 s]
/proc/loadavg: 3.40 3.61 3.60 4/220 23647
/proc/meminfo: memFree=25463828/32873844 swapFree=7372/7372
[pid=23481] ppid=23479 vsize=11852648 CPUtime=1800.51 cores=1,3,5,7
/proc/23481/stat : 23481 (java) S 23479 23481 20030 0 -1 4202496 20131 0 1 0 179951 100 0 0 20 0 22 0 334866164 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140737436820544 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23481/statm: 2963162 312516 2292 9 0 2953849 0
[pid=23481/tid=23482] ppid=23479 vsize=11852648 CPUtime=0.52 cores=1,3,5,7
/proc/23481/task/23482/stat : 23482 (java) S 23479 23481 20030 0 -1 4202560 3580 0 1 0 45 7 0 0 20 0 22 0 334866164 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565970150264 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23484] ppid=23479 vsize=11852648 CPUtime=3 cores=1,3,5,7
/proc/23481/task/23484/stat : 23484 (java) S 23479 23481 20030 0 -1 4202560 271 0 0 0 296 4 0 0 20 0 22 0 334866167 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565959211944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23485] ppid=23479 vsize=11852648 CPUtime=3.22 cores=1,3,5,7
/proc/23481/task/23485/stat : 23485 (java) S 23479 23481 20030 0 -1 4202560 224 0 0 0 320 2 0 0 20 0 22 0 334866167 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565806345256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23486] ppid=23479 vsize=11852648 CPUtime=3.06 cores=1,3,5,7
/proc/23481/task/23486/stat : 23486 (java) S 23479 23481 20030 0 -1 4202560 211 0 0 0 304 2 0 0 20 0 22 0 334866167 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565805292200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23487] ppid=23479 vsize=11852648 CPUtime=2.94 cores=1,3,5,7
/proc/23481/task/23487/stat : 23487 (java) S 23479 23481 20030 0 -1 4202560 205 0 0 0 290 4 0 0 20 0 22 0 334866167 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565804239656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23488] ppid=23479 vsize=11852648 CPUtime=3.2 cores=1,3,5,7
/proc/23481/task/23488/stat : 23488 (java) S 23479 23481 20030 0 -1 4202560 190 0 0 0 317 3 0 0 20 0 22 0 334866167 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565803186600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23489] ppid=23479 vsize=11852648 CPUtime=3.2 cores=1,3,5,7
/proc/23481/task/23489/stat : 23489 (java) S 23479 23481 20030 0 -1 4202560 242 0 0 0 317 3 0 0 20 0 22 0 334866167 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565802134056 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23490] ppid=23479 vsize=11852648 CPUtime=3.22 cores=1,3,5,7
/proc/23481/task/23490/stat : 23490 (java) S 23479 23481 20030 0 -1 4202560 229 0 0 0 319 3 0 0 20 0 22 0 334866167 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565801081000 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23491] ppid=23479 vsize=11852648 CPUtime=3.1 cores=1,3,5,7
/proc/23481/task/23491/stat : 23491 (java) S 23479 23481 20030 0 -1 4202560 266 0 0 0 307 3 0 0 20 0 22 0 334866167 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565800028456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23492] ppid=23479 vsize=11852648 CPUtime=108.17 cores=1,3,5,7
/proc/23481/task/23492/stat : 23492 (java) R 23479 23481 20030 0 -1 4202560 279 0 0 0 10804 13 0 0 20 0 22 0 334866168 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565787617008 140565976658036 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23493] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23493/stat : 23493 (java) S 23479 23481 20030 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334866168 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565786564472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23494] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23494/stat : 23494 (java) S 23479 23481 20030 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334866168 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565785511304 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23495] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23495/stat : 23495 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866170 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565784459592 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23496] ppid=23479 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/23481/task/23496/stat : 23496 (java) S 23479 23481 20030 0 -1 4202560 6505 0 0 0 96 2 0 0 20 0 22 0 334866170 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565783406904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23497] ppid=23479 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/23481/task/23497/stat : 23497 (java) S 23479 23481 20030 0 -1 4202560 6098 0 0 0 143 2 0 0 20 0 22 0 334866170 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565782354360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23481/tid=23498] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23498/stat : 23498 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334866170 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565781301496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23499] ppid=23479 vsize=11852648 CPUtime=0.46 cores=1,3,5,7
/proc/23481/task/23499/stat : 23499 (java) S 23479 23481 20030 0 -1 4202560 55 0 0 0 18 28 0 0 20 0 22 0 334866170 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565780249160 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23503] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23503/stat : 23503 (java) S 23479 23481 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334866212 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565776037288 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23481/tid=23528] ppid=23479 vsize=11852648 CPUtime=792.25 cores=1,3,5,7
/proc/23481/task/23528/stat : 23528 (java) S 23479 23481 20030 0 -1 4202560 59 0 0 0 79211 14 0 0 20 0 22 0 334870807 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565778142280 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23529] ppid=23479 vsize=11852648 CPUtime=792.05 cores=1,3,5,7
/proc/23481/task/23529/stat : 23529 (java) S 23479 23481 20030 0 -1 4202560 7 0 0 0 79190 15 0 0 20 0 22 0 334870807 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565777087080 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23530] ppid=23479 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23530/stat : 23530 (java) S 23479 23481 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334870808 12137111552 312516 33554432000 1073741824 1073778376 140737436829408 140565779195304 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (KiB) 11852648

[startup+951.001 s]
/proc/loadavg: 3.40 3.61 3.60 4/220 23647
/proc/meminfo: memFree=25463828/32873844 swapFree=7372/7372
[pid=23481] ppid=23479 vsize=11985776 CPUtime=1800.97 cores=1,3,5,7
/proc/23481/stat : 23481 (java) S 23479 23481 20030 0 -1 4202496 20165 0 1 0 179994 103 0 0 20 0 21 0 334866164 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140737436820544 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23481/statm: 2996444 312542 2293 9 0 2987131 0
[pid=23481/tid=23482] ppid=23479 vsize=11985776 CPUtime=0.52 cores=1,3,5,7
/proc/23481/task/23482/stat : 23482 (java) S 23479 23481 20030 0 -1 4202560 3580 0 1 0 45 7 0 0 20 0 21 0 334866164 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140565970150552 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23484] ppid=23479 vsize=11985776 CPUtime=3 cores=1,3,5,7
/proc/23481/task/23484/stat : 23484 (java) S 23479 23481 20030 0 -1 4202560 271 0 0 0 296 4 0 0 20 0 21 0 334866167 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140565959211944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23485] ppid=23479 vsize=11985776 CPUtime=3.22 cores=1,3,5,7
/proc/23481/task/23485/stat : 23485 (java) S 23479 23481 20030 0 -1 4202560 224 0 0 0 320 2 0 0 20 0 21 0 334866167 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140565806345256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23486] ppid=23479 vsize=11985776 CPUtime=3.06 cores=1,3,5,7
/proc/23481/task/23486/stat : 23486 (java) S 23479 23481 20030 0 -1 4202560 211 0 0 0 304 2 0 0 20 0 21 0 334866167 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140565805292200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23487] ppid=23479 vsize=11985776 CPUtime=2.94 cores=1,3,5,7
/proc/23481/task/23487/stat : 23487 (java) S 23479 23481 20030 0 -1 4202560 205 0 0 0 290 4 0 0 20 0 21 0 334866167 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140565804239656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23488] ppid=23479 vsize=11985776 CPUtime=3.2 cores=1,3,5,7
/proc/23481/task/23488/stat : 23488 (java) S 23479 23481 20030 0 -1 4202560 190 0 0 0 317 3 0 0 20 0 21 0 334866167 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140565803186600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23489] ppid=23479 vsize=11985776 CPUtime=3.2 cores=1,3,5,7
/proc/23481/task/23489/stat : 23489 (java) S 23479 23481 20030 0 -1 4202560 242 0 0 0 317 3 0 0 20 0 21 0 334866167 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140565802134056 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23490] ppid=23479 vsize=11985776 CPUtime=3.22 cores=1,3,5,7
/proc/23481/task/23490/stat : 23490 (java) S 23479 23481 20030 0 -1 4202560 229 0 0 0 319 3 0 0 20 0 21 0 334866167 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140565801081000 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23491] ppid=23479 vsize=11985776 CPUtime=3.1 cores=1,3,5,7
/proc/23481/task/23491/stat : 23491 (java) S 23479 23481 20030 0 -1 4202560 266 0 0 0 307 3 0 0 20 0 21 0 334866167 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140565800028456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23492] ppid=23479 vsize=11985776 CPUtime=108.55 cores=1,3,5,7
/proc/23481/task/23492/stat : 23492 (java) S 23479 23481 20030 0 -1 4202560 280 0 0 0 10842 13 0 0 20 0 21 0 334866168 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140565787617704 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23493] ppid=23479 vsize=11985776 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23493/stat : 23493 (java) S 23479 23481 20030 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 334866168 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140565786564472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23494] ppid=23479 vsize=11985776 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23494/stat : 23494 (java) S 23479 23481 20030 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 334866168 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140565785511304 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23496] ppid=23479 vsize=11985776 CPUtime=0.98 cores=1,3,5,7
/proc/23481/task/23496/stat : 23496 (java) S 23479 23481 20030 0 -1 4202560 6506 0 0 0 96 2 0 0 20 0 21 0 334866170 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140565783406904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23481/tid=23497] ppid=23479 vsize=11985776 CPUtime=1.45 cores=1,3,5,7
/proc/23481/task/23497/stat : 23497 (java) S 23479 23481 20030 0 -1 4202560 6100 0 0 0 143 2 0 0 20 0 21 0 334866170 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140565782331288 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23481/tid=23498] ppid=23479 vsize=11985776 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23498/stat : 23498 (java) S 23479 23481 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 334866170 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140565781301496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23503] ppid=23479 vsize=11985776 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23503/stat : 23503 (java) S 23479 23481 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 334866212 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140565776037288 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23481/tid=23528] ppid=23479 vsize=11985776 CPUtime=792.27 cores=1,3,5,7
/proc/23481/task/23528/stat : 23528 (java) S 23479 23481 20030 0 -1 4202560 59 0 0 0 79213 14 0 0 20 0 21 0 334870807 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140565778140264 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23481/tid=23529] ppid=23479 vsize=11985776 CPUtime=792.07 cores=1,3,5,7
/proc/23481/task/23529/stat : 23529 (java) S 23479 23481 20030 0 -1 4202560 7 0 0 0 79192 15 0 0 20 0 21 0 334870807 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140565777087448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23481/tid=23530] ppid=23479 vsize=11985776 CPUtime=0 cores=1,3,5,7
/proc/23481/task/23530/stat : 23530 (java) S 23479 23481 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 334870808 12273434624 312542 33554432000 1073741824 1073778376 140737436829408 140565779195304 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.97
Current children cumulated vsize (KiB) 11985776

Child status: 143
Real time (s): 951.011
CPU time (s): 1801.31
CPU user time (s): 1799.84
CPU system time (s): 1.47178
CPU usage (%): 189.41
Max. virtual memory (cumulated for all children) (KiB): 11985776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 1.47178
maximum resident set size= 1250184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20165
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30071
involuntary context switches= 57365

runsolver used 4.95225 second user time and 8.28374 second system time

The end

Launcher Data 

Begin job on node118 at 2012-06-03 03:36:41
IDJOB=3733008
IDBENCH=2235
IDSOLVER=2328
FILE ID=node118/3733008-1338687401
RUNJOBID= node118-1338678623-20050
PBS_JOBID= 14636695
Free space on /tmp= 70972 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733008-1338687401/watcher-3733008-1338687401 -o /tmp/evaluation-result-3733008-1338687401/solver-3733008-1338687401 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3733008-1338687401.opb

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

MD5SUM BENCH= 2e8a2f5e2511f10f037e700bd45c84a1
RANDOM SEED=237664440

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26776356 kB
Buffers:          485160 kB
Cached:          3837688 kB
SwapCached:            0 kB
Active:          2201488 kB
Inactive:        3008652 kB
Active(anon):     877140 kB
Inactive(anon):    11328 kB
Active(file):    1324348 kB
Inactive(file):  2997324 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               540 kB
Writeback:             0 kB
AnonPages:        915216 kB
Mapped:            19836 kB
Shmem:               200 kB
Slab:             723812 kB
SReclaimable:     165008 kB
SUnreclaim:       558804 kB
KernelStack:        1648 kB
PageTables:         5768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10458336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    851968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70968 MiB
End job on node118 at 2012-06-03 03:52:33