Trace number 3455173

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 Res//CP 2.3.0SAT (TO)-26 1800.21 978.02

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 benchmark313.267
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.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		9996466904
0.05/0.09	c Max memory 		10048897024
0.05/0.09	c Total memory 		10048897024
0.05/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@67ee3914
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@1c691f36
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-3455173-1307189408.opb
0.10/0.11	c reading problem ... 
0.74/0.47	c ... done. Wall clock time 0.36s.
0.74/0.47	c #vars     450
0.74/0.47	c #constraints  17794
0.74/0.47	c constraints type 
0.74/0.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17794
0.74/0.47	c constraints type 
0.74/0.47	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17794
0.74/0.48	c  And the winner is CuttingPlanes
0.96/0.98	c SATISFIABLE
0.96/0.98	c OPTIMIZING...
0.96/0.98	c Got one! Elapsed wall clock time (in seconds):0.866
0.96/0.98	o -19
1.04/1.03	c  And the winner is Resolution
1.28/1.48	c Got one! Elapsed wall clock time (in seconds):1.372
1.28/1.48	o -20
1.32/1.51	c  And the winner is Resolution
1.60/1.99	c Got one! Elapsed wall clock time (in seconds):1.876
1.60/1.99	o -21
1.63/2.00	c  And the winner is Resolution
1.66/2.49	c Got one! Elapsed wall clock time (in seconds):2.382
1.66/2.49	o -22
2.04/2.65	c  And the winner is Resolution
2.23/3.00	c Got one! Elapsed wall clock time (in seconds):2.888
2.23/3.00	o -23
2.75/3.22	c  And the winner is Resolution
2.78/3.51	c Got one! Elapsed wall clock time (in seconds):3.392
2.78/3.51	o -24
3.21/3.74	c cleaning 2835 clauses out of 5679 with flag 2000/5679
4.50/4.35	c cleaning 4417 clauses out of 8844 with flag 8000/11679
6.06/5.11	c cleaning 5711 clauses out of 11427 with flag 15000/18679
6.84/5.57	c  And the winner is Resolution
7.03/6.02	c Got one! Elapsed wall clock time (in seconds):5.905
7.03/6.02	o -25
7.19/6.14	c cleaning 5438 clauses out of 10885 with flag 1002/23848
8.37/6.78	c cleaning 5721 clauses out of 11446 with flag 7001/29847
9.91/7.53	c cleaning 6354 clauses out of 12724 with flag 14000/36846
11.69/8.42	c cleaning 7182 clauses out of 14370 with flag 22000/44846
13.62/9.48	c cleaning 8089 clauses out of 16188 with flag 31000/53846
15.93/10.64	c cleaning 9050 clauses out of 18100 with flag 41001/63847
18.68/12.05	c cleaning 10019 clauses out of 20049 with flag 52000/74846
21.36/13.47	c cleaning 11015 clauses out of 22030 with flag 64000/86846
24.67/15.12	c cleaning 12005 clauses out of 24015 with flag 77000/99846
28.72/17.24	c cleaning 12997 clauses out of 26010 with flag 91000/113846
32.42/19.10	c cleaning 14004 clauses out of 28014 with flag 106001/128847
36.69/21.31	c cleaning 15004 clauses out of 30009 with flag 122000/144846
41.58/23.87	c cleaning 15999 clauses out of 32005 with flag 139000/161846
47.38/26.85	c cleaning 16997 clauses out of 34006 with flag 157000/179846
52.23/29.35	c cleaning 17497 clauses out of 35009 with flag 175000/197846
57.49/32.08	c cleaning 17748 clauses out of 35513 with flag 193001/215847
63.33/35.07	c cleaning 17882 clauses out of 35765 with flag 211001/233847
69.89/38.51	c cleaning 17939 clauses out of 35883 with flag 229001/251847
73.69/40.49	c  And the winner is Resolution
74.38/41.03	c Got one! Elapsed wall clock time (in seconds):40.912
74.38/41.03	o -26
75.52/41.69	c cleaning 18028 clauses out of 36059 with flag 5002/269962
77.16/42.57	c cleaning 12007 clauses out of 24029 with flag 11000/275960
79.17/43.63	c cleaning 9505 clauses out of 19022 with flag 18000/282960
81.29/44.84	c cleaning 8752 clauses out of 17518 with flag 26001/290961
83.95/46.24	c cleaning 8874 clauses out of 17765 with flag 35000/299960
86.53/47.67	c cleaning 9443 clauses out of 18891 with flag 45000/309960
89.54/49.20	c cleaning 10224 clauses out of 20448 with flag 56000/320960
93.47/51.30	c cleaning 11112 clauses out of 22225 with flag 68001/332961
97.47/53.46	c cleaning 12054 clauses out of 24113 with flag 81001/345961
101.66/55.63	c cleaning 13028 clauses out of 26058 with flag 95000/359960
106.68/58.22	c cleaning 14016 clauses out of 28031 with flag 110001/374961
111.75/60.97	c cleaning 15000 clauses out of 30014 with flag 126000/390960
116.34/63.38	c cleaning 15993 clauses out of 32014 with flag 143000/407960
121.12/65.90	c cleaning 17005 clauses out of 34022 with flag 161001/425961
126.49/68.69	c cleaning 17502 clauses out of 35016 with flag 179000/443960
132.01/71.52	c cleaning 17758 clauses out of 35515 with flag 197001/461961
137.74/74.56	c cleaning 17875 clauses out of 35757 with flag 215001/479961
144.31/77.98	c cleaning 17934 clauses out of 35881 with flag 233000/497960
151.10/81.45	c cleaning 17973 clauses out of 35947 with flag 251000/515960
156.53/84.32	c cleaning 17983 clauses out of 35974 with flag 269000/533960
162.89/87.61	c cleaning 17989 clauses out of 35991 with flag 287000/551960
169.64/91.11	c cleaning 17994 clauses out of 36003 with flag 305001/569961
175.59/94.29	c cleaning 18004 clauses out of 36008 with flag 323000/587960
181.00/97.11	c cleaning 17997 clauses out of 36004 with flag 341000/605960
185.94/99.74	c cleaning 17988 clauses out of 36008 with flag 359001/623961
191.12/102.48	c cleaning 18006 clauses out of 36019 with flag 377000/641960
196.85/105.46	c cleaning 17994 clauses out of 36013 with flag 395000/659960
202.65/108.54	c cleaning 17995 clauses out of 36019 with flag 413000/677960
208.78/111.76	c cleaning 18011 clauses out of 36025 with flag 431001/695961
214.69/114.88	c cleaning 18003 clauses out of 36014 with flag 449001/713961
220.43/117.87	c cleaning 17993 clauses out of 36010 with flag 467000/731960
226.84/121.29	c cleaning 18002 clauses out of 36017 with flag 485000/749960
233.94/124.93	c cleaning 18002 clauses out of 36015 with flag 503000/767960
240.27/128.27	c cleaning 18000 clauses out of 36013 with flag 521000/785960
246.98/131.72	c cleaning 18005 clauses out of 36013 with flag 539000/803960
253.14/135.09	c cleaning 17995 clauses out of 36008 with flag 557000/821960
259.86/138.60	c cleaning 17999 clauses out of 36013 with flag 575000/839960
266.15/141.87	c cleaning 18001 clauses out of 36014 with flag 593000/857960
272.21/145.11	c cleaning 18001 clauses out of 36013 with flag 611000/875960
277.76/148.04	c cleaning 18000 clauses out of 36012 with flag 629000/893960
284.09/151.38	c cleaning 18005 clauses out of 36013 with flag 647001/911961
289.38/154.18	c cleaning 17995 clauses out of 36008 with flag 665001/929961
294.87/157.03	c cleaning 18001 clauses out of 36013 with flag 683001/947961
301.01/160.35	c cleaning 18001 clauses out of 36012 with flag 701001/965961
306.49/163.27	c cleaning 18000 clauses out of 36010 with flag 719000/983960
312.97/166.66	c cleaning 17991 clauses out of 36010 with flag 737000/1001960
318.44/169.57	c cleaning 18008 clauses out of 36020 with flag 755001/1019961
325.03/173.05	c cleaning 18001 clauses out of 36011 with flag 773000/1037960
331.69/176.55	c cleaning 17999 clauses out of 36010 with flag 791000/1055960
337.55/179.62	c cleaning 17999 clauses out of 36011 with flag 809000/1073960
342.82/182.45	c cleaning 17983 clauses out of 36012 with flag 827000/1091960
348.92/185.79	c cleaning 18003 clauses out of 36029 with flag 845000/1109960
355.17/189.11	c cleaning 18006 clauses out of 36026 with flag 863000/1127960
361.85/192.55	c cleaning 18010 clauses out of 36020 with flag 881000/1145960
368.46/196.02	c cleaning 17995 clauses out of 36011 with flag 899001/1163961
374.18/199.12	c cleaning 18000 clauses out of 36016 with flag 917001/1181961
380.02/202.30	c cleaning 18008 clauses out of 36017 with flag 935002/1199962
383.66/204.22	c cleaning 0 clauses out of 6057 with flag 0/6060
388.09/206.40	c cleaning 17994 clauses out of 36009 with flag 953002/1217962
394.57/209.94	c cleaning 18002 clauses out of 36013 with flag 971000/1235960
401.66/213.68	c cleaning 18001 clauses out of 36011 with flag 989000/1253960
407.90/216.96	c cleaning 17992 clauses out of 36010 with flag 1007000/1271960
414.14/220.25	c cleaning 18001 clauses out of 36019 with flag 1025001/1289961
421.21/224.03	c cleaning 17994 clauses out of 36017 with flag 1043000/1307960
427.29/227.27	c cleaning 18002 clauses out of 36023 with flag 1061000/1325960
432.14/229.87	c cleaning 18002 clauses out of 36021 with flag 1079000/1343960
437.36/232.60	c cleaning 17993 clauses out of 36019 with flag 1097000/1361960
442.80/235.69	c cleaning 17998 clauses out of 36026 with flag 1115000/1379960
448.44/238.70	c cleaning 18011 clauses out of 36030 with flag 1133002/1397962
455.23/242.27	c cleaning 18004 clauses out of 36018 with flag 1151001/1415961
461.31/245.44	c cleaning 17991 clauses out of 36014 with flag 1169001/1433961
467.95/249.05	c cleaning 18001 clauses out of 36023 with flag 1187001/1451961
473.77/252.12	c cleaning 18010 clauses out of 36022 with flag 1205001/1469961
480.38/255.63	c cleaning 18001 clauses out of 36011 with flag 1223000/1487960
486.58/258.92	c cleaning 17998 clauses out of 36010 with flag 1241000/1505960
493.20/262.57	c cleaning 17997 clauses out of 36012 with flag 1259000/1523960
499.80/266.01	c cleaning 18005 clauses out of 36015 with flag 1277000/1541960
505.46/269.04	c cleaning 17991 clauses out of 36011 with flag 1295001/1559961
511.28/272.15	c cleaning 17997 clauses out of 36020 with flag 1313001/1577961
518.09/275.81	c cleaning 18003 clauses out of 36022 with flag 1331000/1595960
524.29/279.15	c cleaning 18007 clauses out of 36019 with flag 1349000/1613960
529.67/282.08	c cleaning 17989 clauses out of 36012 with flag 1367000/1631960
536.46/285.62	c cleaning 18003 clauses out of 36024 with flag 1385001/1649961
543.29/289.33	c cleaning 18000 clauses out of 36020 with flag 1403000/1667960
549.84/292.87	c cleaning 17997 clauses out of 36021 with flag 1421001/1685961
555.82/296.05	c cleaning 17998 clauses out of 36023 with flag 1439000/1703960
562.39/299.55	c cleaning 18001 clauses out of 36025 with flag 1457000/1721960
569.56/303.42	c cleaning 18006 clauses out of 36024 with flag 1475000/1739960
575.95/306.87	c cleaning 18002 clauses out of 36020 with flag 1493002/1757962
581.37/309.79	c cleaning 17994 clauses out of 36016 with flag 1511000/1775960
587.74/313.10	c cleaning 18001 clauses out of 36022 with flag 1529000/1793960
593.96/316.58	c cleaning 18003 clauses out of 36022 with flag 1547001/1811961
600.54/320.07	c cleaning 17993 clauses out of 36019 with flag 1565001/1829961
607.09/323.55	c cleaning 18011 clauses out of 36026 with flag 1583001/1847961
613.24/326.89	c cleaning 18003 clauses out of 36014 with flag 1601000/1865960
620.19/330.61	c cleaning 17997 clauses out of 36011 with flag 1619000/1883960
626.55/334.01	c cleaning 17991 clauses out of 36014 with flag 1637000/1901960
632.71/337.38	c cleaning 18008 clauses out of 36023 with flag 1655000/1919960
639.27/340.86	c cleaning 17998 clauses out of 36015 with flag 1673000/1937960
645.87/344.48	c cleaning 18003 clauses out of 36017 with flag 1691000/1955960
653.23/348.33	c cleaning 18001 clauses out of 36014 with flag 1709000/1973960
660.58/352.28	c cleaning 18006 clauses out of 36014 with flag 1727001/1991961
665.92/355.17	c cleaning 18001 clauses out of 36009 with flag 1745002/2009962
671.47/358.27	c cleaning 18005 clauses out of 36010 with flag 1763004/2027964
677.21/361.38	c cleaning 17997 clauses out of 36001 with flag 1781000/2045960
683.36/364.69	c cleaning 17991 clauses out of 36004 with flag 1799000/2063960
689.50/367.99	c cleaning 18001 clauses out of 36014 with flag 1817001/2081961
696.45/371.78	c cleaning 17997 clauses out of 36013 with flag 1835001/2099961
703.37/375.42	c cleaning 18006 clauses out of 36016 with flag 1853001/2117961
709.10/378.53	c cleaning 17985 clauses out of 36009 with flag 1871000/2135960
715.64/382.08	c cleaning 18011 clauses out of 36025 with flag 1889001/2153961
722.16/385.70	c cleaning 18001 clauses out of 36013 with flag 1907000/2171960
728.89/389.20	c cleaning 18007 clauses out of 36014 with flag 1925002/2189962
735.29/392.68	c cleaning 17993 clauses out of 36006 with flag 1943001/2207961
741.80/396.14	c cleaning 18001 clauses out of 36012 with flag 1961000/2225960
749.09/400.17	c cleaning 18001 clauses out of 36011 with flag 1979000/2243960
756.07/403.85	c cleaning 17994 clauses out of 36010 with flag 1997000/2261960
763.79/408.01	c cleaning 18008 clauses out of 36016 with flag 2015000/2279960
770.35/411.47	c cleaning 17997 clauses out of 36008 with flag 2033000/2297960
776.61/414.94	c cleaning 18001 clauses out of 36012 with flag 2051001/2315961
782.73/418.28	c cleaning 17997 clauses out of 36010 with flag 2069000/2333960
789.69/421.91	c cleaning 18000 clauses out of 36013 with flag 2087000/2351960
795.21/424.99	c cleaning 17993 clauses out of 36013 with flag 2105000/2369960
801.89/428.61	c cleaning 18004 clauses out of 36021 with flag 2123001/2387961
808.40/432.13	c cleaning 18000 clauses out of 36016 with flag 2141000/2405960
815.31/435.88	c cleaning 18000 clauses out of 36016 with flag 2159000/2423960
820.85/438.90	c cleaning 18005 clauses out of 36016 with flag 2177000/2441960
827.31/442.44	c cleaning 17992 clauses out of 36012 with flag 2195001/2459961
833.05/445.58	c cleaning 17998 clauses out of 36020 with flag 2213001/2477961
839.58/449.06	c cleaning 18007 clauses out of 36021 with flag 2231000/2495960
845.68/452.35	c cleaning 17999 clauses out of 36015 with flag 2249001/2513961
851.76/455.78	c cleaning 17998 clauses out of 36015 with flag 2267000/2531960
858.86/459.54	c cleaning 17999 clauses out of 36017 with flag 2285000/2549960
865.76/463.26	c cleaning 18007 clauses out of 36019 with flag 2303001/2567961
872.26/466.75	c cleaning 17993 clauses out of 36011 with flag 2321000/2585960
879.75/470.85	c cleaning 18009 clauses out of 36019 with flag 2339001/2603961
887.00/474.79	c cleaning 18001 clauses out of 36009 with flag 2357000/2621960
894.12/478.55	c cleaning 17994 clauses out of 36008 with flag 2375000/2639960
900.38/481.95	c cleaning 18004 clauses out of 36015 with flag 2393001/2657961
906.84/485.55	c cleaning 18000 clauses out of 36011 with flag 2411001/2675961
913.16/488.98	c cleaning 17994 clauses out of 36010 with flag 2429000/2693960
919.87/492.51	c cleaning 18004 clauses out of 36016 with flag 2447000/2711960
926.59/496.14	c cleaning 17995 clauses out of 36012 with flag 2465000/2729960
933.19/499.80	c cleaning 18002 clauses out of 36018 with flag 2483001/2747961
940.07/503.56	c cleaning 17980 clauses out of 36015 with flag 2501000/2765960
945.94/506.78	c cleaning 18007 clauses out of 36036 with flag 2519001/2783961
952.85/510.45	c cleaning 18004 clauses out of 36028 with flag 2537000/2801960
960.04/514.44	c cleaning 18009 clauses out of 36024 with flag 2555000/2819960
966.73/518.08	c cleaning 18002 clauses out of 36016 with flag 2573001/2837961
973.18/521.58	c cleaning 17994 clauses out of 36014 with flag 2591001/2855961
980.64/525.56	c cleaning 18005 clauses out of 36019 with flag 2609000/2873960
986.88/529.08	c cleaning 17997 clauses out of 36014 with flag 2627000/2891960
993.16/532.48	c cleaning 18002 clauses out of 36017 with flag 2645000/2909960
1000.18/536.23	c cleaning 17992 clauses out of 36016 with flag 2663001/2927961
1006.63/539.75	c cleaning 18004 clauses out of 36023 with flag 2681000/2945960
1013.96/543.73	c cleaning 17999 clauses out of 36019 with flag 2699000/2963960
1020.22/547.16	c cleaning 18005 clauses out of 36020 with flag 2717000/2981960
1025.29/549.98	c cleaning 17996 clauses out of 36015 with flag 2735000/2999960
1030.53/552.81	c cleaning 17996 clauses out of 36019 with flag 2753000/3017960
1036.13/556.05	c cleaning 18001 clauses out of 36024 with flag 2771001/3035961
1041.58/559.03	c cleaning 18002 clauses out of 36022 with flag 2789000/3053960
1048.23/562.61	c cleaning 17995 clauses out of 36021 with flag 2807001/3071961
1053.88/565.75	c cleaning 17997 clauses out of 36025 with flag 2825000/3089960
1061.10/569.73	c cleaning 18000 clauses out of 36029 with flag 2843001/3107961
1067.14/573.05	c cleaning 18006 clauses out of 36028 with flag 2861000/3125960
1074.15/576.83	c cleaning 17990 clauses out of 36022 with flag 2879000/3143960
1080.59/580.36	c cleaning 18002 clauses out of 36032 with flag 2897000/3161960
1088.21/584.56	c cleaning 18012 clauses out of 36031 with flag 2915001/3179961
1094.23/587.83	c cleaning 18000 clauses out of 36018 with flag 2933000/3197960
1100.86/591.41	c cleaning 18003 clauses out of 36019 with flag 2951001/3215961
1107.72/595.14	c cleaning 17987 clauses out of 36015 with flag 2969000/3233960
1114.64/599.07	c cleaning 17997 clauses out of 36029 with flag 2987001/3251961
1121.87/602.98	c cleaning 18013 clauses out of 36032 with flag 3005001/3269961
1127.72/606.15	c cleaning 18009 clauses out of 36020 with flag 3023002/3287962
1134.70/609.93	c cleaning 17995 clauses out of 36009 with flag 3041000/3305960
1141.25/613.70	c cleaning 17994 clauses out of 36014 with flag 3059000/3323960
1147.70/617.13	c cleaning 18007 clauses out of 36021 with flag 3077001/3341961
1154.47/620.81	c cleaning 18001 clauses out of 36013 with flag 3095000/3359960
1160.88/624.32	c cleaning 18004 clauses out of 36013 with flag 3113001/3377961
1167.67/628.17	c cleaning 17991 clauses out of 36008 with flag 3131000/3395960
1174.04/631.62	c cleaning 18001 clauses out of 36018 with flag 3149001/3413961
1180.85/635.31	c cleaning 18001 clauses out of 36016 with flag 3167000/3431960
1187.45/638.96	c cleaning 18005 clauses out of 36016 with flag 3185001/3449961
1194.09/642.69	c cleaning 18001 clauses out of 36011 with flag 3203001/3467961
1200.53/646.17	c cleaning 17994 clauses out of 36010 with flag 3221001/3485961
1206.94/649.69	c cleaning 18004 clauses out of 36016 with flag 3239001/3503961
1213.99/653.42	c cleaning 18003 clauses out of 36011 with flag 3257000/3521960
1220.47/657.19	c cleaning 17998 clauses out of 36008 with flag 3275000/3539960
1226.87/660.63	c cleaning 17987 clauses out of 36010 with flag 3293000/3557960
1233.49/664.25	c cleaning 17999 clauses out of 36023 with flag 3311000/3575960
1239.49/667.56	c cleaning 18004 clauses out of 36025 with flag 3329001/3593961
1247.22/671.81	c cleaning 17997 clauses out of 36020 with flag 3347000/3611960
1253.63/675.32	c cleaning 18007 clauses out of 36023 with flag 3365000/3629960
1260.02/678.89	c cleaning 17997 clauses out of 36016 with flag 3383000/3647960
1265.41/681.91	c cleaning 18009 clauses out of 36021 with flag 3401002/3665962
1272.72/685.90	c cleaning 17992 clauses out of 36012 with flag 3419002/3683962
1279.11/689.46	c cleaning 18000 clauses out of 36018 with flag 3437000/3701960
1286.10/693.28	c cleaning 17998 clauses out of 36018 with flag 3455000/3719960
1293.09/697.10	c cleaning 18005 clauses out of 36020 with flag 3473000/3737960
1300.59/701.26	c cleaning 18000 clauses out of 36016 with flag 3491001/3755961
1307.59/705.03	c cleaning 18001 clauses out of 36016 with flag 3509001/3773961
1314.54/708.81	c cleaning 18003 clauses out of 36014 with flag 3527000/3791960
1320.92/712.38	c cleaning 18001 clauses out of 36012 with flag 3545001/3809961
1328.21/716.43	c cleaning 17997 clauses out of 36010 with flag 3563000/3827960
1335.19/720.21	c cleaning 18001 clauses out of 36014 with flag 3581001/3845961
1342.56/724.27	c cleaning 18000 clauses out of 36013 with flag 3599001/3863961
1350.53/728.55	c cleaning 17998 clauses out of 36013 with flag 3617001/3881961
1357.20/732.35	c cleaning 17985 clauses out of 36014 with flag 3635000/3899960
1364.75/736.44	c cleaning 18011 clauses out of 36030 with flag 3653001/3917961
1371.31/740.05	c cleaning 17998 clauses out of 36019 with flag 3671001/3935961
1378.87/744.16	c cleaning 18006 clauses out of 36020 with flag 3689000/3953960
1386.34/748.40	c cleaning 18002 clauses out of 36014 with flag 3707000/3971960
1392.50/751.75	c cleaning 17997 clauses out of 36013 with flag 3725001/3989961
1399.25/755.49	c cleaning 17990 clauses out of 36016 with flag 3743001/4007961
1406.01/759.15	c cleaning 18001 clauses out of 36026 with flag 3761001/4025961
1412.86/763.04	c cleaning 17997 clauses out of 36024 with flag 3779000/4043960
1419.21/766.57	c cleaning 18008 clauses out of 36027 with flag 3797000/4061960
1425.77/770.19	c cleaning 18008 clauses out of 36021 with flag 3815002/4079962
1432.71/773.99	c cleaning 17994 clauses out of 36011 with flag 3833000/4097960
1440.07/778.08	c cleaning 17997 clauses out of 36017 with flag 3851000/4115960
1447.26/781.94	c cleaning 18007 clauses out of 36020 with flag 3869000/4133960
1454.20/785.74	c cleaning 17992 clauses out of 36013 with flag 3887000/4151960
1461.56/789.72	c cleaning 18003 clauses out of 36021 with flag 3905000/4169960
1469.98/794.41	c cleaning 18008 clauses out of 36018 with flag 3923000/4187960
1476.43/797.99	c cleaning 17993 clauses out of 36011 with flag 3941001/4205961
1482.80/801.49	c cleaning 17993 clauses out of 36017 with flag 3959000/4223960
1490.14/805.47	c cleaning 18005 clauses out of 36024 with flag 3977000/4241960
1497.80/809.71	c cleaning 18004 clauses out of 36019 with flag 3995000/4259960
1504.53/813.46	c cleaning 18005 clauses out of 36015 with flag 4013000/4277960
1512.07/817.57	c cleaning 18000 clauses out of 36011 with flag 4031001/4295961
1519.84/821.73	c cleaning 17990 clauses out of 36010 with flag 4049000/4313960
1526.74/825.60	c cleaning 18008 clauses out of 36020 with flag 4067000/4331960
1534.13/829.64	c cleaning 17999 clauses out of 36013 with flag 4085001/4349961
1541.26/833.50	c cleaning 18000 clauses out of 36014 with flag 4103001/4367961
1548.19/837.30	c cleaning 17993 clauses out of 36013 with flag 4121000/4385960
1556.01/841.70	c cleaning 18005 clauses out of 36020 with flag 4139000/4403960
1563.34/845.72	c cleaning 18000 clauses out of 36015 with flag 4157000/4421960
1569.87/849.34	c cleaning 17995 clauses out of 36016 with flag 4175001/4439961
1576.80/853.11	c cleaning 18004 clauses out of 36020 with flag 4193000/4457960
1584.21/857.39	c cleaning 18005 clauses out of 36018 with flag 4211002/4475962
1590.15/860.63	c cleaning 17987 clauses out of 36011 with flag 4229000/4493960
1595.39/863.56	c cleaning 18004 clauses out of 36024 with flag 4247000/4511960
1600.77/866.57	c cleaning 18002 clauses out of 36020 with flag 4265000/4529960
1606.89/870.05	c cleaning 17998 clauses out of 36018 with flag 4283000/4547960
1613.02/873.42	c cleaning 18004 clauses out of 36021 with flag 4301001/4565961
1618.31/876.43	c cleaning 17994 clauses out of 36016 with flag 4319000/4583960
1624.87/880.02	c cleaning 17998 clauses out of 36022 with flag 4337000/4601960
1631.47/883.80	c cleaning 18001 clauses out of 36024 with flag 4355000/4619960
1638.20/887.54	c cleaning 18001 clauses out of 36023 with flag 4373000/4637960
1645.13/891.32	c cleaning 18007 clauses out of 36023 with flag 4391001/4655961
1651.44/894.86	c cleaning 17999 clauses out of 36016 with flag 4409001/4673961
1657.44/898.32	c cleaning 17994 clauses out of 36016 with flag 4427000/4691960
1663.99/902.01	c cleaning 18009 clauses out of 36022 with flag 4445000/4709960
1668.28/904.49	c cleaning 0 clauses out of 12057 with flag 0/12060
1672.59/906.97	c cleaning 17995 clauses out of 36013 with flag 4463000/4727960
1679.58/910.91	c cleaning 17995 clauses out of 36018 with flag 4481000/4745960
1686.51/914.79	c cleaning 17999 clauses out of 36023 with flag 4499000/4763960
1693.24/918.51	c cleaning 18005 clauses out of 36025 with flag 4517001/4781961
1700.14/922.27	c cleaning 18007 clauses out of 36020 with flag 4535001/4799961
1707.11/926.16	c cleaning 17984 clauses out of 36012 with flag 4553000/4817960
1713.62/929.74	c cleaning 18004 clauses out of 36028 with flag 4571000/4835960
1720.33/933.48	c cleaning 17994 clauses out of 36024 with flag 4589000/4853960
1727.05/937.12	c cleaning 18007 clauses out of 36030 with flag 4607000/4871960
1734.06/941.15	c cleaning 17991 clauses out of 36024 with flag 4625001/4889961
1741.17/945.00	c cleaning 18005 clauses out of 36032 with flag 4643000/4907960
1747.87/948.70	c cleaning 18002 clauses out of 36027 with flag 4661000/4925960
1754.36/952.30	c cleaning 18008 clauses out of 36025 with flag 4679000/4943960
1761.14/956.24	c cleaning 17995 clauses out of 36017 with flag 4697000/4961960
1767.04/959.53	c cleaning 18004 clauses out of 36022 with flag 4715000/4979960
1773.34/963.06	c cleaning 18001 clauses out of 36018 with flag 4733000/4997960
1779.63/966.58	c cleaning 18005 clauses out of 36017 with flag 4751000/5015960
1786.40/970.48	c cleaning 18002 clauses out of 36013 with flag 4769001/5033961
1793.49/974.33	c cleaning 17989 clauses out of 36010 with flag 4787000/5051960
1800.04/977.94	c starts		: 281
1800.04/977.94	c conflicts		: 5069931
1800.04/977.94	c decisions		: 5371968
1800.04/977.94	c propagations		: 30516523
1800.04/977.94	c inspects		: 4303908056
1800.04/977.94	c shortcuts		: 0
1800.04/977.94	c learnt literals	: 0
1800.04/977.94	c learnt binary clauses	: 0
1800.04/977.94	c learnt ternary clauses	: 0
1800.04/977.94	c learnt constraints	: 5069931
1800.04/977.94	c ignored constraints	: 0
1800.04/977.94	c root simplifications	: 0
1800.04/977.94	c removed literals (reason simplification)	: 76037678
1800.04/977.94	c reason swapping (by a shorter reason)	: 0
1800.04/977.94	c Calls to reduceDB	: 292
1800.04/977.94	c number of reductions to clauses (during analyze)	: 0
1800.04/977.94	c number of learned constraints concerned by reduction	: 0
1800.04/977.94	c number of learning phase by resolution	: 0
1800.04/977.94	c number of learning phase by cutting planes	: 0
1800.04/977.94	c speed (assignments/second)	: 32571.283414183785
1800.04/977.94	c non guided choices	0
1800.04/977.96	c learnt constraints type 
1800.04/977.96	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 36022
1800.04/977.96	c constraints type 
1800.04/977.96	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.04/977.96	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17794
1800.04/977.96	c constraints type 
1800.04/977.96	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17794
1800.04/977.96	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.04/977.96	s SATISFIABLE
1800.04/977.96	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.04/977.96	c objective function=-26
1800.04/977.96	c Total wall clock time (in seconds): 977.846

Verifier Data 

OK	-26

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-3455173-1307189408/watcher-3455173-1307189408 -o /tmp/evaluation-result-3455173-1307189408/solver-3455173-1307189408 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455173-1307189408.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.20 3.46 3.29 3/502 17746
/proc/meminfo: memFree=25157116/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 1753 0 1 0 0 0 0 0 23 0 2 0 830543125 10681323520 1454 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2607745 1468 906 9 0 2598901 0
[pid=17746/tid=17747] ppid=17744 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) R 17744 17746 13859 0 -1 4202560 4681 0 1 0 0 0 0 0 24 0 2 0 830543126 10694979584 5497 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212435711035 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0700949 s]
/proc/loadavg: 3.20 3.46 3.29 3/502 17746
/proc/meminfo: memFree=25157116/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 11775 0 1 0 4 1 0 0 23 0 18 0 830543125 10724302848 11471 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2618238 11472 1742 9 0 2608972 0
[pid=17746/tid=17747] ppid=17744 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) R 17744 17746 13859 0 -1 4202560 10600 0 1 0 4 1 0 0 25 0 18 0 830543126 10724302848 11472 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447843787 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952

[startup+0.101075 s]
/proc/loadavg: 3.20 3.46 3.29 3/502 17746
/proc/meminfo: memFree=25157116/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10539896 CPUtime=0.1 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 13044 0 1 0 9 1 0 0 23 0 18 0 830543125 10792853504 12699 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2634974 12699 2092 9 0 2625708 0
[pid=17746/tid=17747] ppid=17744 vsize=10539896 CPUtime=0.08 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) R 17744 17746 13859 0 -1 4202560 11090 0 1 0 7 1 0 0 18 0 18 0 830543126 10792853504 12699 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 48010033616408 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539896

[startup+0.301002 s]
/proc/loadavg: 3.20 3.46 3.29 3/502 17746
/proc/meminfo: memFree=25157116/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10540404 CPUtime=0.48 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 15916 0 1 0 46 2 0 0 23 0 18 0 830543125 10793373696 15222 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2635101 15222 2198 9 0 2625835 0
[pid=17746/tid=17747] ppid=17744 vsize=10540404 CPUtime=0.28 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) R 17744 17746 13859 0 -1 4202560 12844 0 1 0 27 1 0 0 18 0 18 0 830543126 10793373696 15223 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 48010035051347 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10540404

[startup+0.700975 s]
/proc/loadavg: 3.20 3.46 3.29 3/502 17746
/proc/meminfo: memFree=25157116/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10548896 CPUtime=0.96 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 27443 0 1 0 92 4 0 0 23 0 19 0 830543125 10802069504 25241 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2637224 25241 2224 9 0 2627958 0
[pid=17746/tid=17747] ppid=17744 vsize=10548896 CPUtime=0.45 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) S 17744 17746 13859 0 -1 4202560 20789 0 1 0 43 2 0 0 19 0 19 0 830543126 10802069504 25241 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 10548896

[startup+1.50077 s]
/proc/loadavg: 3.20 3.46 3.29 7/524 17771
/proc/meminfo: memFree=25063452/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10548896 CPUtime=1.32 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 27874 0 1 0 128 4 0 0 23 0 22 0 830543125 10802069504 25671 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2637224 25671 2233 9 0 2627958 0
[pid=17746/tid=17747] ppid=17744 vsize=10548896 CPUtime=0.46 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) S 17744 17746 13859 0 -1 4202560 20852 0 1 0 44 2 0 0 16 0 22 0 830543126 10802069504 25671 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17749] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17749/stat : 17749 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10802069504 25671 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17750] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17750/stat : 17750 (java) S 17744 17746 13859 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830543128 10802069504 25672 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17751] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17751/stat : 17751 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10802069504 25672 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17752] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17752/stat : 17752 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10802069504 25672 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17753] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17753/stat : 17753 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10802069504 25672 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17754] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17754/stat : 17754 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10802069504 25672 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17755] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17755/stat : 17755 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10802069504 25672 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17756] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17756/stat : 17756 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10802069504 25672 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17757] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17757/stat : 17757 (java) S 17744 17746 13859 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830543129 10802069504 25672 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 0 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17758] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17758/stat : 17758 (java) S 17744 17746 13859 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830543129 10802069504 25673 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17759] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17759/stat : 17759 (java) S 17744 17746 13859 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830543129 10802069504 25673 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17760] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17760/stat : 17760 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10802069504 25673 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447840689 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17761] ppid=17744 vsize=10548896 CPUtime=0.35 cores=1,3,5,7
/proc/17746/task/17761/stat : 17761 (java) R 17744 17746 13859 0 -1 4202560 2434 0 0 0 35 0 0 0 15 0 22 0 830543131 10802069504 25673 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 48010029762382 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17746/tid=17762] ppid=17744 vsize=10548896 CPUtime=0.32 cores=1,3,5,7
/proc/17746/task/17762/stat : 17762 (java) R 17744 17746 13859 0 -1 4202560 3013 0 0 0 32 0 0 0 15 0 22 0 830543131 10802069504 25673 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 48010033131259 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17746/tid=17763] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17763/stat : 17763 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10802069504 25673 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17764] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17764/stat : 17764 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830543131 10802069504 25676 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17771] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17771/stat : 17771 (java) S 17744 17746 13859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830543224 10802069504 25676 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 10548896

[startup+3.10148 s]
/proc/loadavg: 3.20 3.46 3.29 3/521 17777
/proc/meminfo: memFree=25048968/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10559140 CPUtime=2.49 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 44403 0 1 0 244 5 0 0 23 0 22 0 830543125 10812559360 39764 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2639785 39764 2239 9 0 2630519 0
[pid=17746/tid=17747] ppid=17744 vsize=10559140 CPUtime=0.46 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) S 17744 17746 13859 0 -1 4202560 20909 0 1 0 44 2 0 0 16 0 22 0 830543126 10812559360 39765 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17749] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17749/stat : 17749 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10812559360 39765 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17750] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17750/stat : 17750 (java) S 17744 17746 13859 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830543128 10812559360 39765 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17751] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17751/stat : 17751 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10812559360 39765 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17752] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17752/stat : 17752 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10812559360 39765 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17753] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17753/stat : 17753 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10812559360 39765 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17754] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17754/stat : 17754 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10812559360 39765 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17755] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17755/stat : 17755 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10812559360 39766 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17756] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17756/stat : 17756 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10812559360 39766 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17757] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17757/stat : 17757 (java) S 17744 17746 13859 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830543129 10812559360 39766 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 0 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17758] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17758/stat : 17758 (java) S 17744 17746 13859 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830543129 10812559360 39766 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17759] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17759/stat : 17759 (java) S 17744 17746 13859 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830543129 10812559360 39766 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17760] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17760/stat : 17760 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10812559360 39766 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447840689 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17761] ppid=17744 vsize=10559140 CPUtime=0.75 cores=1,3,5,7
/proc/17746/task/17761/stat : 17761 (java) R 17744 17746 13859 0 -1 4202560 6816 0 0 0 75 0 0 0 15 0 22 0 830543131 10812559360 39767 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 48010029842464 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17746/tid=17762] ppid=17744 vsize=10559140 CPUtime=0.54 cores=1,3,5,7
/proc/17746/task/17762/stat : 17762 (java) R 17744 17746 13859 0 -1 4202560 3768 0 0 0 54 0 0 0 15 0 22 0 830543131 10812559360 39767 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 48010029373895 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17746/tid=17763] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17763/stat : 17763 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10812559360 39767 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17764] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17764/stat : 17764 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830543131 10812559360 39767 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17771] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17771/stat : 17771 (java) S 17744 17746 13859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830543224 10812559360 39767 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 10559140

[startup+6.30087 s]
/proc/loadavg: 3.26 3.47 3.29 5/524 17786
/proc/meminfo: memFree=24719400/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10555284 CPUtime=7.56 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 124328 0 1 0 740 16 0 0 23 0 22 0 830543125 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2638821 118751 2268 9 0 2629555 0
[pid=17746/tid=17747] ppid=17744 vsize=10555284 CPUtime=0.46 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) S 17744 17746 13859 0 -1 4202560 20928 0 1 0 44 2 0 0 16 0 22 0 830543126 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17749] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17749/stat : 17749 (java) S 17744 17746 13859 0 -1 4202560 1090 0 0 0 0 0 0 0 15 0 22 0 830543128 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17750] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17750/stat : 17750 (java) S 17744 17746 13859 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 22 0 830543128 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17751] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17751/stat : 17751 (java) S 17744 17746 13859 0 -1 4202560 975 0 0 0 0 0 0 0 15 0 22 0 830543128 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17752] ppid=17744 vsize=10555284 CPUtime=0.01 cores=1,3,5,7
/proc/17746/task/17752/stat : 17752 (java) S 17744 17746 13859 0 -1 4202560 1205 0 0 0 1 0 0 0 15 0 22 0 830543128 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17753] ppid=17744 vsize=10555284 CPUtime=0.01 cores=1,3,5,7
/proc/17746/task/17753/stat : 17753 (java) S 17744 17746 13859 0 -1 4202560 709 0 0 0 1 0 0 0 15 0 22 0 830543128 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17754] ppid=17744 vsize=10555284 CPUtime=0.01 cores=1,3,5,7
/proc/17746/task/17754/stat : 17754 (java) S 17744 17746 13859 0 -1 4202560 1628 0 0 0 1 0 0 0 15 0 22 0 830543128 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17755] ppid=17744 vsize=10555284 CPUtime=0.01 cores=1,3,5,7
/proc/17746/task/17755/stat : 17755 (java) S 17744 17746 13859 0 -1 4202560 889 0 0 0 1 0 0 0 15 0 22 0 830543128 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17756] ppid=17744 vsize=10555284 CPUtime=0.01 cores=1,3,5,7
/proc/17746/task/17756/stat : 17756 (java) S 17744 17746 13859 0 -1 4202560 1639 0 0 0 1 0 0 0 15 0 22 0 830543128 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17757] ppid=17744 vsize=10555284 CPUtime=0.22 cores=1,3,5,7
/proc/17746/task/17757/stat : 17757 (java) S 17744 17746 13859 0 -1 4202560 8849 0 0 0 22 0 0 0 15 0 22 0 830543129 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 0 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17758] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17758/stat : 17758 (java) S 17744 17746 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830543129 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17759] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17759/stat : 17759 (java) S 17744 17746 13859 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830543129 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17760] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17760/stat : 17760 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447840689 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17761] ppid=17744 vsize=10555284 CPUtime=0.91 cores=1,3,5,7
/proc/17746/task/17761/stat : 17761 (java) S 17744 17746 13859 0 -1 4202560 6839 0 0 0 91 0 0 0 15 0 22 0 830543131 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17762] ppid=17744 vsize=10555284 CPUtime=0.65 cores=1,3,5,7
/proc/17746/task/17762/stat : 17762 (java) S 17744 17746 13859 0 -1 4202560 3781 0 0 0 65 0 0 0 15 0 22 0 830543131 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0

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

[pid=17746/tid=17860] ppid=17744 vsize=10555284 CPUtime=703.48 cores=1,3,5,7
/proc/17746/task/17860/stat : 17860 (java) R 17744 17746 13859 0 -1 4202560 88 0 0 0 70348 0 0 0 19 0 22 0 830547228 10808610816 306866 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 46912505870669 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17746/tid=17861] ppid=17744 vsize=10555284 CPUtime=703.49 cores=1,3,5,7
/proc/17746/task/17861/stat : 17861 (java) R 17744 17746 13859 0 -1 4202560 600 0 0 0 70349 0 0 0 19 0 22 0 830547228 10808610816 306866 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 46912505905057 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17746/tid=17862] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17862/stat : 17862 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830547228 10808610816 306866 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1628.47
Current children cumulated vsize (KiB) 10555284

[startup+942.301 s]
/proc/loadavg: 3.86 3.77 3.60 4/524 17886
/proc/meminfo: memFree=24566456/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10555284 CPUtime=1735.77 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 321281 0 1 0 173533 44 0 0 23 0 22 0 830543125 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2638821 313797 2269 9 0 2629555 0
[pid=17746/tid=17747] ppid=17744 vsize=10555284 CPUtime=0.47 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) S 17744 17746 13859 0 -1 4202560 21100 0 1 0 45 2 0 0 15 0 22 0 830543126 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17749] ppid=17744 vsize=10555284 CPUtime=1.8 cores=1,3,5,7
/proc/17746/task/17749/stat : 17749 (java) S 17744 17746 13859 0 -1 4202560 2793 0 0 0 180 0 0 0 16 0 22 0 830543128 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17750] ppid=17744 vsize=10555284 CPUtime=1.68 cores=1,3,5,7
/proc/17746/task/17750/stat : 17750 (java) S 17744 17746 13859 0 -1 4202560 467 0 0 0 168 0 0 0 15 0 22 0 830543128 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17751] ppid=17744 vsize=10555284 CPUtime=1.6 cores=1,3,5,7
/proc/17746/task/17751/stat : 17751 (java) S 17744 17746 13859 0 -1 4202560 2035 0 0 0 160 0 0 0 15 0 22 0 830543128 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17752] ppid=17744 vsize=10555284 CPUtime=1.72 cores=1,3,5,7
/proc/17746/task/17752/stat : 17752 (java) S 17744 17746 13859 0 -1 4202560 1956 0 0 0 172 0 0 0 16 0 22 0 830543128 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17753] ppid=17744 vsize=10555284 CPUtime=1.9 cores=1,3,5,7
/proc/17746/task/17753/stat : 17753 (java) S 17744 17746 13859 0 -1 4202560 1694 0 0 0 190 0 0 0 16 0 22 0 830543128 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17754] ppid=17744 vsize=10555284 CPUtime=1.86 cores=1,3,5,7
/proc/17746/task/17754/stat : 17754 (java) S 17744 17746 13859 0 -1 4202560 2889 0 0 0 186 0 0 0 15 0 22 0 830543128 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17755] ppid=17744 vsize=10555284 CPUtime=1.89 cores=1,3,5,7
/proc/17746/task/17755/stat : 17755 (java) S 17744 17746 13859 0 -1 4202560 1961 0 0 0 189 0 0 0 16 0 22 0 830543128 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17756] ppid=17744 vsize=10555284 CPUtime=1.93 cores=1,3,5,7
/proc/17746/task/17756/stat : 17756 (java) S 17744 17746 13859 0 -1 4202560 2272 0 0 0 193 0 0 0 15 0 22 0 830543128 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17757] ppid=17744 vsize=10555284 CPUtime=149.77 cores=1,3,5,7
/proc/17746/task/17757/stat : 17757 (java) S 17744 17746 13859 0 -1 4202560 100450 0 0 0 14966 11 0 0 16 0 22 0 830543129 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 0 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17758] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17758/stat : 17758 (java) S 17744 17746 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830543129 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17759] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17759/stat : 17759 (java) S 17744 17746 13859 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 830543129 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17760] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17760/stat : 17760 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447840689 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17761] ppid=17744 vsize=10555284 CPUtime=1.37 cores=1,3,5,7
/proc/17746/task/17761/stat : 17761 (java) S 17744 17746 13859 0 -1 4202560 8281 0 0 0 137 0 0 0 15 0 22 0 830543131 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17762] ppid=17744 vsize=10555284 CPUtime=0.8 cores=1,3,5,7
/proc/17746/task/17762/stat : 17762 (java) S 17744 17746 13859 0 -1 4202560 4062 0 0 0 79 1 0 0 15 0 22 0 830543131 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17763] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17763/stat : 17763 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17764] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17764/stat : 17764 (java) S 17744 17746 13859 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830543131 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17771] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17771/stat : 17771 (java) S 17744 17746 13859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830543224 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17860] ppid=17744 vsize=10555284 CPUtime=750.01 cores=1,3,5,7
/proc/17746/task/17860/stat : 17860 (java) R 17744 17746 13859 0 -1 4202560 88 0 0 0 75000 1 0 0 19 0 22 0 830547228 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 46912505840059 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17746/tid=17861] ppid=17744 vsize=10555284 CPUtime=750.01 cores=1,3,5,7
/proc/17746/task/17861/stat : 17861 (java) R 17744 17746 13859 0 -1 4202560 601 0 0 0 75001 0 0 0 18 0 22 0 830547228 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 46912505920120 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17746/tid=17862] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17862/stat : 17862 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830547228 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1735.77
Current children cumulated vsize (KiB) 10555284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+977.919 s]
/proc/loadavg: 3.66 3.73 3.59 5/524 17887
/proc/meminfo: memFree=24560856/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10555284 CPUtime=1800.04 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 321313 0 1 0 179960 44 0 0 23 0 22 0 830543125 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2638821 313816 2269 9 0 2629555 0
[pid=17746/tid=17747] ppid=17744 vsize=10555284 CPUtime=0.47 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) S 17744 17746 13859 0 -1 4202560 21109 0 1 0 45 2 0 0 15 0 22 0 830543126 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17749] ppid=17744 vsize=10555284 CPUtime=1.91 cores=1,3,5,7
/proc/17746/task/17749/stat : 17749 (java) S 17744 17746 13859 0 -1 4202560 2793 0 0 0 191 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17750] ppid=17744 vsize=10555284 CPUtime=1.79 cores=1,3,5,7
/proc/17746/task/17750/stat : 17750 (java) S 17744 17746 13859 0 -1 4202560 474 0 0 0 179 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17751] ppid=17744 vsize=10555284 CPUtime=1.66 cores=1,3,5,7
/proc/17746/task/17751/stat : 17751 (java) S 17744 17746 13859 0 -1 4202560 2035 0 0 0 166 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17752] ppid=17744 vsize=10555284 CPUtime=1.79 cores=1,3,5,7
/proc/17746/task/17752/stat : 17752 (java) S 17744 17746 13859 0 -1 4202560 1956 0 0 0 179 0 0 0 15 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17753] ppid=17744 vsize=10555284 CPUtime=1.98 cores=1,3,5,7
/proc/17746/task/17753/stat : 17753 (java) S 17744 17746 13859 0 -1 4202560 1694 0 0 0 198 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17754] ppid=17744 vsize=10555284 CPUtime=1.94 cores=1,3,5,7
/proc/17746/task/17754/stat : 17754 (java) S 17744 17746 13859 0 -1 4202560 2893 0 0 0 194 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17755] ppid=17744 vsize=10555284 CPUtime=1.96 cores=1,3,5,7
/proc/17746/task/17755/stat : 17755 (java) S 17744 17746 13859 0 -1 4202560 1969 0 0 0 196 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17756] ppid=17744 vsize=10555284 CPUtime=1.97 cores=1,3,5,7
/proc/17746/task/17756/stat : 17756 (java) S 17744 17746 13859 0 -1 4202560 2272 0 0 0 197 0 0 0 15 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17757] ppid=17744 vsize=10555284 CPUtime=157.01 cores=1,3,5,7
/proc/17746/task/17757/stat : 17757 (java) S 17744 17746 13859 0 -1 4202560 100452 0 0 0 15690 11 0 0 15 0 22 0 830543129 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 0 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17758] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17758/stat : 17758 (java) S 17744 17746 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830543129 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17759] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17759/stat : 17759 (java) S 17744 17746 13859 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 830543129 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17760] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17760/stat : 17760 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447840689 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17761] ppid=17744 vsize=10555284 CPUtime=1.37 cores=1,3,5,7
/proc/17746/task/17761/stat : 17761 (java) S 17744 17746 13859 0 -1 4202560 8281 0 0 0 137 0 0 0 15 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17762] ppid=17744 vsize=10555284 CPUtime=0.8 cores=1,3,5,7
/proc/17746/task/17762/stat : 17762 (java) S 17744 17746 13859 0 -1 4202560 4062 0 0 0 79 1 0 0 15 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17763] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17763/stat : 17763 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17764] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17764/stat : 17764 (java) S 17744 17746 13859 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17771] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17771/stat : 17771 (java) S 17744 17746 13859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830543224 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17860] ppid=17744 vsize=10555284 CPUtime=778.22 cores=1,3,5,7
/proc/17746/task/17860/stat : 17860 (java) R 17744 17746 13859 0 -1 4202560 88 0 0 0 77821 1 0 0 20 0 22 0 830547228 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 46912505871486 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17746/tid=17861] ppid=17744 vsize=10555284 CPUtime=778.22 cores=1,3,5,7
/proc/17746/task/17861/stat : 17861 (java) R 17744 17746 13859 0 -1 4202560 601 0 0 0 77822 0 0 0 19 0 22 0 830547228 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 46912505870669 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17746/tid=17862] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17862/stat : 17862 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830547228 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10555284

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

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

[startup+977.919 s]
/proc/loadavg: 3.66 3.73 3.59 5/524 17887
/proc/meminfo: memFree=24560856/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10555284 CPUtime=1800.04 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 321313 0 1 0 179960 44 0 0 23 0 22 0 830543125 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2638821 313816 2269 9 0 2629555 0
[pid=17746/tid=17747] ppid=17744 vsize=10555284 CPUtime=0.47 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) S 17744 17746 13859 0 -1 4202560 21109 0 1 0 45 2 0 0 15 0 22 0 830543126 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17749] ppid=17744 vsize=10555284 CPUtime=1.91 cores=1,3,5,7
/proc/17746/task/17749/stat : 17749 (java) S 17744 17746 13859 0 -1 4202560 2793 0 0 0 191 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17750] ppid=17744 vsize=10555284 CPUtime=1.79 cores=1,3,5,7
/proc/17746/task/17750/stat : 17750 (java) S 17744 17746 13859 0 -1 4202560 474 0 0 0 179 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17751] ppid=17744 vsize=10555284 CPUtime=1.66 cores=1,3,5,7
/proc/17746/task/17751/stat : 17751 (java) S 17744 17746 13859 0 -1 4202560 2035 0 0 0 166 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17752] ppid=17744 vsize=10555284 CPUtime=1.79 cores=1,3,5,7
/proc/17746/task/17752/stat : 17752 (java) S 17744 17746 13859 0 -1 4202560 1956 0 0 0 179 0 0 0 15 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17753] ppid=17744 vsize=10555284 CPUtime=1.98 cores=1,3,5,7
/proc/17746/task/17753/stat : 17753 (java) S 17744 17746 13859 0 -1 4202560 1694 0 0 0 198 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17754] ppid=17744 vsize=10555284 CPUtime=1.94 cores=1,3,5,7
/proc/17746/task/17754/stat : 17754 (java) S 17744 17746 13859 0 -1 4202560 2893 0 0 0 194 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17755] ppid=17744 vsize=10555284 CPUtime=1.96 cores=1,3,5,7
/proc/17746/task/17755/stat : 17755 (java) S 17744 17746 13859 0 -1 4202560 1969 0 0 0 196 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17756] ppid=17744 vsize=10555284 CPUtime=1.97 cores=1,3,5,7
/proc/17746/task/17756/stat : 17756 (java) S 17744 17746 13859 0 -1 4202560 2272 0 0 0 197 0 0 0 15 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17757] ppid=17744 vsize=10555284 CPUtime=157.01 cores=1,3,5,7
/proc/17746/task/17757/stat : 17757 (java) S 17744 17746 13859 0 -1 4202560 100452 0 0 0 15690 11 0 0 15 0 22 0 830543129 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 0 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17758] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17758/stat : 17758 (java) S 17744 17746 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830543129 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17759] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17759/stat : 17759 (java) S 17744 17746 13859 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 830543129 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17760] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17760/stat : 17760 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447840689 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17761] ppid=17744 vsize=10555284 CPUtime=1.37 cores=1,3,5,7
/proc/17746/task/17761/stat : 17761 (java) S 17744 17746 13859 0 -1 4202560 8281 0 0 0 137 0 0 0 15 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17762] ppid=17744 vsize=10555284 CPUtime=0.8 cores=1,3,5,7
/proc/17746/task/17762/stat : 17762 (java) S 17744 17746 13859 0 -1 4202560 4062 0 0 0 79 1 0 0 15 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17763] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17763/stat : 17763 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17764] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17764/stat : 17764 (java) S 17744 17746 13859 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17771] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17771/stat : 17771 (java) S 17744 17746 13859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830543224 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17860] ppid=17744 vsize=10555284 CPUtime=778.22 cores=1,3,5,7
/proc/17746/task/17860/stat : 17860 (java) R 17744 17746 13859 0 -1 4202560 88 0 0 0 77821 1 0 0 20 0 22 0 830547228 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 46912505871486 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17746/tid=17861] ppid=17744 vsize=10555284 CPUtime=778.22 cores=1,3,5,7
/proc/17746/task/17861/stat : 17861 (java) R 17744 17746 13859 0 -1 4202560 601 0 0 0 77822 0 0 0 19 0 22 0 830547228 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 46912505870669 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17746/tid=17862] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17862/stat : 17862 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830547228 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10555284

Child status: 143
Real time (s): 978.02
CPU time (s): 1800.21
CPU user time (s): 1799.71
CPU system time (s): 0.498924
CPU usage (%): 184.067
Max. virtual memory (cumulated for all children) (KiB): 10559240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.498924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321341
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= 30841
involuntary context switches= 25254

runsolver used 4.79127 second user time and 11.2923 second system time

The end

Launcher Data 

Begin job on node102 at 2011-06-04 14:10:08
IDJOB=3455173
IDBENCH=2235
IDSOLVER=1950
FILE ID=node102/3455173-1307189408
RUNJOBID= node102-1307187379-16960
PBS_JOBID= 13508853
Free space on /tmp= 73964 MiB

SOLVER NAME= 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-3455173-1307189408/watcher-3455173-1307189408 -o /tmp/evaluation-result-3455173-1307189408/solver-3455173-1307189408 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455173-1307189408.opb

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

MD5SUM BENCH= 2e8a2f5e2511f10f037e700bd45c84a1
RANDOM SEED=1248618863

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.82
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.828
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.828
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.82
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.828
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.75
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.828
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.82
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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25157396 kB
Buffers:        321124 kB
Cached:        1586160 kB
SwapCached:      86940 kB
Active:        2705996 kB
Inactive:      4782044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25157396 kB
SwapTotal:    67111528 kB
SwapFree:     38422276 kB
Dirty:             860 kB
Writeback:           0 kB
AnonPages:     5516084 kB
Mapped:          21860 kB
Slab:           133120 kB
PageTables:     103288 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145843900 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= 73960 MiB
End job on node102 at 2011-06-04 14:26:28