Trace number 3454423

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.36 978.794

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb
MD5SUM7bb05c60facd55e51c4cfcaa0e217e6e
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 benchmark407.818
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 constraints17831
Number of constraints which are clauses17831
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.09/0.09	c version 2.3.1.v20110525
0.09/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.09	c java.vm.version	19.1-b02
0.09/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.09	c sun.arch.data.model	64
0.09/0.09	c java.version		1.6.0_24
0.09/0.09	c os.name		Linux
0.09/0.09	c os.version		2.6.18-164.el5
0.09/0.09	c os.arch		amd64
0.09/0.09	c Free memory 		9996466904
0.09/0.09	c Max memory 		10048897024
0.09/0.09	c Total memory 		10048897024
0.09/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-3454423-1307189426.opb
0.10/0.11	c reading problem ... 
0.75/0.47	c ... done. Wall clock time 0.364s.
0.75/0.47	c #vars     450
0.75/0.47	c #constraints  17831
0.75/0.47	c constraints type 
0.75/0.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17831
0.75/0.47	c constraints type 
0.75/0.47	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17831
0.75/0.48	c  And the winner is CuttingPlanes
0.99/0.98	c SATISFIABLE
0.99/0.98	c OPTIMIZING...
0.99/0.98	c Got one! Elapsed wall clock time (in seconds):0.87
0.99/0.98	o -21
0.99/0.99	c  And the winner is Resolution
1.04/1.49	c Got one! Elapsed wall clock time (in seconds):1.376
1.04/1.49	o -22
1.08/1.54	c  And the winner is Resolution
1.34/1.99	c Got one! Elapsed wall clock time (in seconds):1.882
1.34/1.99	o -23
1.37/2.02	c  And the winner is Resolution
1.56/2.49	c Got one! Elapsed wall clock time (in seconds):2.385
1.56/2.49	o -24
2.75/2.89	c  And the winner is CuttingPlanes
3.06/3.00	c Got one! Elapsed wall clock time (in seconds):2.89
3.06/3.00	o -25
3.54/3.24	c cleaning 2925 clauses out of 5850 with flag 2000/5850
4.79/3.85	c cleaning 4463 clauses out of 8925 with flag 8000/11850
6.22/4.58	c cleaning 5730 clauses out of 11462 with flag 15000/18850
8.01/5.47	c cleaning 6862 clauses out of 13733 with flag 23001/26851
10.19/6.52	c cleaning 7935 clauses out of 15870 with flag 32000/35850
12.54/7.74	c cleaning 8963 clauses out of 17935 with flag 42000/45850
15.54/9.23	c cleaning 9984 clauses out of 19973 with flag 53001/56851
18.25/10.65	c cleaning 10995 clauses out of 21989 with flag 65001/68851
21.72/12.45	c cleaning 11993 clauses out of 23993 with flag 78000/81850
25.45/14.35	c cleaning 12996 clauses out of 26000 with flag 92000/95850
29.91/16.65	c cleaning 14003 clauses out of 28005 with flag 107001/110851
32.37/17.97	c  And the winner is Resolution
32.80/18.31	c Got one! Elapsed wall clock time (in seconds):18.198
32.80/18.31	o -26
34.18/19.03	c cleaning 13464 clauses out of 26927 with flag 5000/123776
35.99/20.01	c cleaning 9724 clauses out of 19463 with flag 11000/129776
37.85/21.08	c cleaning 8362 clauses out of 16740 with flag 18001/136777
40.31/22.37	c cleaning 8179 clauses out of 16377 with flag 26000/144776
43.18/23.88	c cleaning 8588 clauses out of 17198 with flag 35000/153776
46.16/25.47	c cleaning 9306 clauses out of 18611 with flag 45001/163777
50.05/27.50	c cleaning 10152 clauses out of 20304 with flag 56000/174776
53.28/29.13	c cleaning 11071 clauses out of 22152 with flag 68000/186776
56.73/30.92	c cleaning 12041 clauses out of 24082 with flag 81001/199777
61.29/33.31	c cleaning 13019 clauses out of 26041 with flag 95001/213777
66.53/36.02	c cleaning 14007 clauses out of 28021 with flag 110000/228776
71.39/38.54	c cleaning 15001 clauses out of 30015 with flag 126001/244777
77.61/41.79	c cleaning 16004 clauses out of 32014 with flag 143001/261777
82.72/44.43	c cleaning 17003 clauses out of 34009 with flag 161000/279776
88.16/47.31	c cleaning 17503 clauses out of 35006 with flag 179000/297776
94.34/50.50	c cleaning 17750 clauses out of 35504 with flag 197001/315777
100.74/53.77	c cleaning 17861 clauses out of 35753 with flag 215000/333776
108.04/57.59	c cleaning 17932 clauses out of 35892 with flag 233000/351776
115.23/61.28	c cleaning 17978 clauses out of 35960 with flag 251000/369776
122.02/64.81	c cleaning 17987 clauses out of 35982 with flag 269000/387776
127.98/67.82	c cleaning 17988 clauses out of 35995 with flag 287000/405776
133.44/70.74	c cleaning 18001 clauses out of 36007 with flag 305000/423776
139.41/73.90	c cleaning 17994 clauses out of 36006 with flag 323000/441776
145.52/76.96	c cleaning 18005 clauses out of 36012 with flag 341000/459776
152.10/80.35	c cleaning 18003 clauses out of 36008 with flag 359001/477777
157.90/83.41	c cleaning 18001 clauses out of 36005 with flag 377001/495777
164.87/87.00	c cleaning 18001 clauses out of 36003 with flag 395000/513776
171.05/90.22	c cleaning 17991 clauses out of 36002 with flag 413000/531776
177.76/93.70	c cleaning 18000 clauses out of 36011 with flag 431000/549776
184.37/97.28	c cleaning 17997 clauses out of 36011 with flag 449000/567776
191.31/100.80	c cleaning 18003 clauses out of 36014 with flag 467000/585776
196.44/103.57	c cleaning 18000 clauses out of 36011 with flag 485000/603776
201.37/106.14	c cleaning 17990 clauses out of 36011 with flag 503000/621776
207.16/109.24	c cleaning 18000 clauses out of 36021 with flag 521000/639776
212.48/112.07	c cleaning 18005 clauses out of 36021 with flag 539000/657776
219.25/115.56	c cleaning 17998 clauses out of 36016 with flag 557000/675776
225.12/118.68	c cleaning 18003 clauses out of 36018 with flag 575000/693776
231.33/122.00	c cleaning 17998 clauses out of 36015 with flag 593000/711776
237.28/125.01	c cleaning 0 clauses out of 5154 with flag 0/5156
238.19/125.57	c cleaning 18001 clauses out of 36017 with flag 611000/729776
244.00/128.55	c cleaning 17996 clauses out of 36016 with flag 629000/747776
250.27/131.81	c cleaning 18006 clauses out of 36020 with flag 647000/765776
256.39/135.00	c cleaning 17995 clauses out of 36014 with flag 665000/783776
261.88/137.94	c cleaning 18004 clauses out of 36020 with flag 683001/801777
268.77/141.53	c cleaning 18000 clauses out of 36015 with flag 701000/819776
274.92/144.88	c cleaning 17994 clauses out of 36016 with flag 719001/837777
281.06/148.08	c cleaning 17997 clauses out of 36021 with flag 737000/855776
287.54/151.44	c cleaning 18006 clauses out of 36024 with flag 755000/873776
293.63/154.60	c cleaning 18006 clauses out of 36019 with flag 773001/891777
299.17/157.66	c cleaning 17996 clauses out of 36012 with flag 791000/909776
305.05/160.70	c cleaning 17998 clauses out of 36016 with flag 809000/927776
310.96/163.89	c cleaning 18000 clauses out of 36019 with flag 827001/945777
317.45/167.22	c cleaning 18009 clauses out of 36019 with flag 845001/963777
322.94/170.29	c cleaning 18000 clauses out of 36009 with flag 863000/981776
329.42/173.61	c cleaning 17994 clauses out of 36009 with flag 881000/999776
335.91/177.10	c cleaning 17999 clauses out of 36015 with flag 899000/1017776
341.35/179.98	c cleaning 18004 clauses out of 36017 with flag 917001/1035777
347.86/183.48	c cleaning 18002 clauses out of 36012 with flag 935000/1053776
353.97/186.66	c cleaning 17998 clauses out of 36010 with flag 953000/1071776
360.03/189.80	c cleaning 18000 clauses out of 36012 with flag 971000/1089776
365.89/192.97	c cleaning 17991 clauses out of 36012 with flag 989000/1107776
373.43/196.93	c cleaning 17992 clauses out of 36021 with flag 1007000/1125776
379.85/200.31	c cleaning 17992 clauses out of 36029 with flag 1025000/1143776
385.93/203.53	c cleaning 18005 clauses out of 36038 with flag 1043001/1161777
392.35/206.98	c cleaning 18015 clauses out of 36032 with flag 1061000/1179776
398.63/210.30	c cleaning 18008 clauses out of 36018 with flag 1079001/1197777
404.50/213.46	c cleaning 18002 clauses out of 36009 with flag 1097000/1215776
410.73/216.72	c cleaning 17995 clauses out of 36007 with flag 1115000/1233776
417.33/220.25	c cleaning 17994 clauses out of 36013 with flag 1133001/1251777
423.83/223.71	c cleaning 17998 clauses out of 36018 with flag 1151000/1269776
430.25/227.17	c cleaning 18006 clauses out of 36020 with flag 1169000/1287776
437.08/230.71	c cleaning 17998 clauses out of 36014 with flag 1187000/1305776
444.11/234.43	c cleaning 18002 clauses out of 36016 with flag 1205000/1323776
449.77/237.54	c cleaning 18002 clauses out of 36015 with flag 1223001/1341777
455.17/240.42	c cleaning 18001 clauses out of 36014 with flag 1241002/1359778
460.79/243.40	c cleaning 17989 clauses out of 36011 with flag 1259000/1377776
466.23/246.39	c cleaning 18011 clauses out of 36022 with flag 1277000/1395776
472.64/249.89	c cleaning 18006 clauses out of 36012 with flag 1295001/1413777
478.69/253.07	c cleaning 17998 clauses out of 36006 with flag 1313001/1431777
485.45/256.64	c cleaning 17999 clauses out of 36008 with flag 1331001/1449777
491.26/259.79	c cleaning 18001 clauses out of 36009 with flag 1349001/1467777
497.89/263.34	c cleaning 17998 clauses out of 36008 with flag 1367001/1485777
504.89/267.05	c cleaning 18000 clauses out of 36009 with flag 1385000/1503776
511.52/270.59	c cleaning 17987 clauses out of 36009 with flag 1403000/1521776
517.11/273.55	c cleaning 18006 clauses out of 36022 with flag 1421000/1539776
523.94/277.27	c cleaning 17996 clauses out of 36017 with flag 1439001/1557777
529.94/280.42	c cleaning 17994 clauses out of 36020 with flag 1457000/1575776
537.11/284.28	c cleaning 18001 clauses out of 36026 with flag 1475000/1593776
543.51/287.65	c cleaning 18005 clauses out of 36026 with flag 1493001/1611777
549.52/290.95	c cleaning 17999 clauses out of 36021 with flag 1511001/1629777
555.97/294.37	c cleaning 18002 clauses out of 36021 with flag 1529000/1647776
562.56/297.87	c cleaning 18007 clauses out of 36019 with flag 1547000/1665776
569.75/301.63	c cleaning 18000 clauses out of 36012 with flag 1565000/1683776
577.18/305.66	c cleaning 18005 clauses out of 36012 with flag 1583000/1701776
583.79/309.13	c cleaning 18001 clauses out of 36007 with flag 1601000/1719776
590.74/312.86	c cleaning 17996 clauses out of 36006 with flag 1619000/1737776
597.52/316.46	c cleaning 18001 clauses out of 36011 with flag 1637001/1755777
604.54/320.28	c cleaning 17998 clauses out of 36009 with flag 1655000/1773776
611.13/323.70	c cleaning 17999 clauses out of 36012 with flag 1673001/1791777
617.31/327.08	c cleaning 17996 clauses out of 36013 with flag 1691001/1809777
624.28/330.74	c cleaning 18006 clauses out of 36016 with flag 1709000/1827776
630.87/334.38	c cleaning 17996 clauses out of 36010 with flag 1727000/1845776
637.04/337.70	c cleaning 18000 clauses out of 36015 with flag 1745001/1863777
643.60/341.16	c cleaning 18004 clauses out of 36014 with flag 1763000/1881776
650.62/344.81	c cleaning 17997 clauses out of 36011 with flag 1781001/1899777
657.37/348.60	c cleaning 17994 clauses out of 36013 with flag 1799000/1917776
664.33/352.21	c cleaning 18002 clauses out of 36019 with flag 1817000/1935776
671.10/355.86	c cleaning 18000 clauses out of 36017 with flag 1835000/1953776
678.50/359.78	c cleaning 18003 clauses out of 36018 with flag 1853001/1971777
685.81/363.74	c cleaning 18001 clauses out of 36014 with flag 1871000/1989776
690.97/366.55	c cleaning 17995 clauses out of 36013 with flag 1889000/2007776
696.12/369.32	c cleaning 18001 clauses out of 36018 with flag 1907000/2025776
701.27/372.16	c cleaning 17997 clauses out of 36018 with flag 1925001/2043777
706.65/375.18	c cleaning 17997 clauses out of 36020 with flag 1943000/2061776
712.38/378.31	c cleaning 18004 clauses out of 36023 with flag 1961000/2079776
719.14/381.90	c cleaning 18003 clauses out of 36019 with flag 1979000/2097776
725.55/385.26	c cleaning 17989 clauses out of 36016 with flag 1997000/2115776
731.51/388.55	c cleaning 18000 clauses out of 36027 with flag 2015000/2133776
737.66/391.84	c cleaning 18006 clauses out of 36027 with flag 2033000/2151776
744.00/395.24	c cleaning 18008 clauses out of 36021 with flag 2051000/2169776
750.50/398.79	c cleaning 17999 clauses out of 36013 with flag 2069000/2187776
756.55/402.12	c cleaning 17993 clauses out of 36014 with flag 2087000/2205776
762.65/405.40	c cleaning 17996 clauses out of 36022 with flag 2105001/2223777
769.14/408.96	c cleaning 18002 clauses out of 36025 with flag 2123000/2241776
776.24/412.76	c cleaning 18001 clauses out of 36023 with flag 2141000/2259776
783.47/416.71	c cleaning 18003 clauses out of 36022 with flag 2159000/2277776
789.17/419.83	c cleaning 18008 clauses out of 36019 with flag 2177000/2295776
795.65/423.40	c cleaning 17995 clauses out of 36011 with flag 2195000/2313776
802.17/426.88	c cleaning 18007 clauses out of 36017 with flag 2213001/2331777
808.37/430.38	c cleaning 17994 clauses out of 36009 with flag 2231000/2349776
814.46/433.66	c cleaning 17988 clauses out of 36015 with flag 2249000/2367776
821.13/437.20	c cleaning 17997 clauses out of 36029 with flag 2267002/2385778
827.49/440.64	c cleaning 18011 clauses out of 36031 with flag 2285001/2403777
834.79/444.61	c cleaning 17998 clauses out of 36019 with flag 2303000/2421776
840.67/447.87	c cleaning 18008 clauses out of 36022 with flag 2321001/2439777
846.95/451.24	c cleaning 17996 clauses out of 36013 with flag 2339000/2457776
853.42/454.74	c cleaning 17997 clauses out of 36017 with flag 2357000/2475776
860.23/458.57	c cleaning 18003 clauses out of 36020 with flag 2375000/2493776
867.09/462.29	c cleaning 18003 clauses out of 36017 with flag 2393000/2511776
873.74/465.82	c cleaning 17996 clauses out of 36016 with flag 2411002/2529778
880.59/469.60	c cleaning 18005 clauses out of 36018 with flag 2429000/2547776
888.39/473.85	c cleaning 18005 clauses out of 36013 with flag 2447000/2565776
895.65/477.76	c cleaning 17992 clauses out of 36008 with flag 2465000/2583776
902.69/481.51	c cleaning 17998 clauses out of 36016 with flag 2483000/2601776
909.55/485.25	c cleaning 18007 clauses out of 36018 with flag 2501000/2619776
916.93/489.38	c cleaning 18002 clauses out of 36011 with flag 2519000/2637776
924.37/493.36	c cleaning 17998 clauses out of 36009 with flag 2537000/2655776
930.41/496.66	c cleaning 17985 clauses out of 36011 with flag 2555000/2673776
936.26/499.90	c cleaning 18001 clauses out of 36026 with flag 2573000/2691776
943.46/503.82	c cleaning 18002 clauses out of 36026 with flag 2591001/2709777
949.87/507.38	c cleaning 17997 clauses out of 36023 with flag 2609000/2727776
956.50/510.90	c cleaning 18001 clauses out of 36026 with flag 2627000/2745776
963.14/514.55	c cleaning 18009 clauses out of 36025 with flag 2645000/2763776
971.10/518.90	c cleaning 18008 clauses out of 36017 with flag 2663001/2781777
977.94/522.67	c cleaning 18000 clauses out of 36009 with flag 2681001/2799777
984.22/526.06	c cleaning 17996 clauses out of 36009 with flag 2699001/2817777
991.49/529.97	c cleaning 17992 clauses out of 36012 with flag 2717000/2835776
998.64/533.93	c cleaning 18001 clauses out of 36020 with flag 2735000/2853776
1005.66/537.77	c cleaning 17983 clauses out of 36019 with flag 2753000/2871776
1012.47/541.49	c cleaning 18007 clauses out of 36036 with flag 2771000/2889776
1019.49/545.26	c cleaning 18006 clauses out of 36029 with flag 2789000/2907776
1026.62/549.28	c cleaning 17991 clauses out of 36023 with flag 2807000/2925776
1034.27/553.32	c cleaning 18012 clauses out of 36033 with flag 2825001/2943777
1041.84/557.50	c cleaning 18004 clauses out of 36020 with flag 2843000/2961776
1048.28/560.95	c cleaning 17988 clauses out of 36016 with flag 2861000/2979776
1054.40/564.44	c cleaning 18007 clauses out of 36028 with flag 2879000/2997776
1059.41/567.26	c cleaning 18003 clauses out of 36021 with flag 2897000/3015776
1064.82/570.27	c cleaning 18009 clauses out of 36019 with flag 2915001/3033777
1071.43/573.89	c cleaning 17993 clauses out of 36009 with flag 2933000/3051776
1078.56/577.80	c cleaning 17990 clauses out of 36016 with flag 2951000/3069776
1084.00/580.84	c cleaning 18002 clauses out of 36026 with flag 2969000/3087776
1090.16/584.26	c cleaning 17995 clauses out of 36024 with flag 2987000/3105776
1096.96/587.92	c cleaning 18011 clauses out of 36030 with flag 3005001/3123777
1104.27/592.10	c cleaning 17993 clauses out of 36018 with flag 3023000/3141776
1110.26/595.39	c cleaning 18001 clauses out of 36025 with flag 3041000/3159776
1116.44/598.79	c cleaning 18002 clauses out of 36024 with flag 3059000/3177776
1122.62/602.16	c cleaning 17998 clauses out of 36022 with flag 3077000/3195776
1129.60/606.03	c cleaning 17999 clauses out of 36026 with flag 3095002/3213778
1135.78/609.48	c cleaning 18011 clauses out of 36025 with flag 3113000/3231776
1142.74/613.25	c cleaning 18003 clauses out of 36015 with flag 3131001/3249777
1149.33/616.87	c cleaning 18001 clauses out of 36011 with flag 3149000/3267776
1156.42/620.88	c cleaning 17995 clauses out of 36011 with flag 3167001/3285777
1162.60/624.26	c cleaning 17995 clauses out of 36015 with flag 3185000/3303776
1168.97/627.72	c cleaning 17993 clauses out of 36020 with flag 3203000/3321776
1175.96/631.52	c cleaning 18008 clauses out of 36027 with flag 3221000/3339776
1182.44/635.29	c cleaning 18003 clauses out of 36019 with flag 3239000/3357776
1189.21/638.94	c cleaning 18007 clauses out of 36017 with flag 3257001/3375777
1195.77/642.51	c cleaning 17996 clauses out of 36009 with flag 3275000/3393776
1202.34/646.17	c cleaning 17996 clauses out of 36014 with flag 3293001/3411777
1210.42/650.62	c cleaning 18004 clauses out of 36020 with flag 3311003/3429779
1216.38/653.98	c cleaning 17998 clauses out of 36013 with flag 3329000/3447776
1223.15/657.63	c cleaning 17997 clauses out of 36015 with flag 3347000/3465776
1229.71/661.29	c cleaning 18007 clauses out of 36018 with flag 3365000/3483776
1236.99/665.25	c cleaning 18001 clauses out of 36011 with flag 3383000/3501776
1243.74/668.95	c cleaning 17996 clauses out of 36010 with flag 3401000/3519776
1250.91/672.87	c cleaning 18005 clauses out of 36016 with flag 3419002/3537778
1257.27/676.38	c cleaning 17998 clauses out of 36009 with flag 3437000/3555776
1264.26/680.25	c cleaning 18004 clauses out of 36012 with flag 3455001/3573777
1270.81/683.89	c cleaning 17996 clauses out of 36007 with flag 3473000/3591776
1277.77/687.63	c cleaning 17998 clauses out of 36011 with flag 3491000/3609776
1285.32/691.72	c cleaning 17998 clauses out of 36013 with flag 3509000/3627776
1292.37/695.79	c cleaning 17999 clauses out of 36015 with flag 3527000/3645776
1298.91/699.37	c cleaning 18000 clauses out of 36017 with flag 3545001/3663777
1305.59/702.97	c cleaning 17996 clauses out of 36016 with flag 3563000/3681776
1312.74/706.89	c cleaning 17991 clauses out of 36020 with flag 3581000/3699776
1320.36/711.15	c cleaning 18008 clauses out of 36029 with flag 3599000/3717776
1327.10/714.89	c cleaning 18000 clauses out of 36022 with flag 3617001/3735777
1334.42/718.82	c cleaning 18006 clauses out of 36021 with flag 3635000/3753776
1340.97/722.48	c cleaning 17992 clauses out of 36015 with flag 3653000/3771776
1348.39/726.64	c cleaning 18002 clauses out of 36023 with flag 3671000/3789776
1354.93/730.28	c cleaning 18000 clauses out of 36022 with flag 3689001/3807777
1362.27/734.29	c cleaning 18004 clauses out of 36021 with flag 3707000/3825776
1369.03/737.98	c cleaning 17999 clauses out of 36018 with flag 3725001/3843777
1375.96/741.81	c cleaning 17999 clauses out of 36018 with flag 3743000/3861776
1382.30/745.39	c cleaning 17993 clauses out of 36019 with flag 3761000/3879776
1389.06/749.09	c cleaning 18000 clauses out of 36026 with flag 3779000/3897776
1396.17/752.90	c cleaning 17993 clauses out of 36026 with flag 3797000/3915776
1402.79/756.81	c cleaning 17995 clauses out of 36034 with flag 3815001/3933777
1409.89/760.66	c cleaning 18008 clauses out of 36039 with flag 3833001/3951777
1416.61/764.33	c cleaning 18000 clauses out of 36031 with flag 3851001/3969777
1419.13/765.92	c cleaning 0 clauses out of 11154 with flag 0/11156
1424.31/769.06	c cleaning 17996 clauses out of 36030 with flag 3869000/3987776
1430.44/772.42	c cleaning 18002 clauses out of 36034 with flag 3887000/4005776
1437.36/776.26	c cleaning 18011 clauses out of 36033 with flag 3905001/4023777
1444.28/780.08	c cleaning 17986 clauses out of 36021 with flag 3923000/4041776
1451.91/784.36	c cleaning 18010 clauses out of 36036 with flag 3941001/4059777
1458.69/788.03	c cleaning 17994 clauses out of 36025 with flag 3959000/4077776
1465.23/791.69	c cleaning 17989 clauses out of 36031 with flag 3977000/4095776
1471.99/795.34	c cleaning 18009 clauses out of 36042 with flag 3995000/4113776
1479.32/799.61	c cleaning 18000 clauses out of 36033 with flag 4013000/4131776
1486.43/803.47	c cleaning 18010 clauses out of 36033 with flag 4031000/4149776
1493.15/807.11	c cleaning 17992 clauses out of 36023 with flag 4049000/4167776
1500.25/811.08	c cleaning 18010 clauses out of 36031 with flag 4067000/4185776
1508.02/815.40	c cleaning 18000 clauses out of 36022 with flag 4085001/4203777
1516.11/819.84	c cleaning 18000 clauses out of 36021 with flag 4103000/4221776
1523.44/823.90	c cleaning 18000 clauses out of 36021 with flag 4121000/4239776
1530.52/827.75	c cleaning 17999 clauses out of 36021 with flag 4139000/4257776
1537.31/831.68	c cleaning 17999 clauses out of 36022 with flag 4157000/4275776
1544.37/835.55	c cleaning 18000 clauses out of 36023 with flag 4175000/4293776
1552.45/839.95	c cleaning 18004 clauses out of 36023 with flag 4193000/4311776
1559.16/843.63	c cleaning 18002 clauses out of 36019 with flag 4211000/4329776
1565.89/847.56	c cleaning 17998 clauses out of 36017 with flag 4229000/4347776
1572.59/851.27	c cleaning 17997 clauses out of 36020 with flag 4247001/4365777
1579.67/855.15	c cleaning 17992 clauses out of 36023 with flag 4265001/4383777
1587.23/859.21	c cleaning 18006 clauses out of 36031 with flag 4283001/4401777
1593.81/862.94	c cleaning 18004 clauses out of 36024 with flag 4301000/4419776
1601.10/866.99	c cleaning 18000 clauses out of 36020 with flag 4319000/4437776
1607.98/870.75	c cleaning 18003 clauses out of 36020 with flag 4337000/4455776
1615.06/874.62	c cleaning 17998 clauses out of 36018 with flag 4355001/4473777
1622.18/878.80	c cleaning 18009 clauses out of 36021 with flag 4373002/4491778
1627.47/881.72	c cleaning 17991 clauses out of 36011 with flag 4391001/4509777
1633.34/885.08	c cleaning 18001 clauses out of 36019 with flag 4409000/4527776
1640.41/888.99	c cleaning 18003 clauses out of 36019 with flag 4427001/4545777
1647.35/892.93	c cleaning 18001 clauses out of 36017 with flag 4445002/4563778
1653.41/896.34	c cleaning 17999 clauses out of 36014 with flag 4463000/4581776
1660.29/900.10	c cleaning 17985 clauses out of 36015 with flag 4481000/4599776
1667.36/904.03	c cleaning 18002 clauses out of 36030 with flag 4499000/4617776
1674.67/908.22	c cleaning 17992 clauses out of 36028 with flag 4517000/4635776
1681.94/912.23	c cleaning 17999 clauses out of 36037 with flag 4535001/4653777
1689.02/916.17	c cleaning 18014 clauses out of 36037 with flag 4553000/4671776
1695.67/919.81	c cleaning 17997 clauses out of 36023 with flag 4571000/4689776
1702.58/923.85	c cleaning 18010 clauses out of 36026 with flag 4589000/4707776
1709.45/927.62	c cleaning 18004 clauses out of 36017 with flag 4607001/4725777
1716.30/931.46	c cleaning 18002 clauses out of 36012 with flag 4625000/4743776
1723.36/935.38	c cleaning 18003 clauses out of 36011 with flag 4643001/4761777
1730.11/939.26	c cleaning 17991 clauses out of 36007 with flag 4661000/4779776
1735.95/942.54	c cleaning 18001 clauses out of 36016 with flag 4679000/4797776
1742.82/946.34	c cleaning 18002 clauses out of 36015 with flag 4697000/4815776
1749.87/950.25	c cleaning 17998 clauses out of 36013 with flag 4715000/4833776
1756.96/954.39	c cleaning 18008 clauses out of 36017 with flag 4733002/4851778
1764.62/958.55	c cleaning 18004 clauses out of 36008 with flag 4751001/4869777
1771.28/962.29	c cleaning 17990 clauses out of 36004 with flag 4769001/4887777
1778.13/966.02	c cleaning 18000 clauses out of 36013 with flag 4787000/4905776
1785.25/970.17	c cleaning 18003 clauses out of 36013 with flag 4805000/4923776
1790.88/973.40	c cleaning 17992 clauses out of 36010 with flag 4823000/4941776
1798.13/977.32	c cleaning 18007 clauses out of 36018 with flag 4841000/4959776
1800.20/978.72	c starts		: 297
1800.20/978.72	c conflicts		: 4965177
1800.20/978.72	c decisions		: 5244051
1800.20/978.74	c propagations		: 30017524
1800.20/978.74	c inspects		: 4081884444
1800.20/978.74	c shortcuts		: 0
1800.20/978.74	c learnt literals	: 0
1800.20/978.74	c learnt binary clauses	: 0
1800.20/978.74	c learnt ternary clauses	: 0
1800.20/978.74	c learnt constraints	: 4965177
1800.20/978.74	c ignored constraints	: 0
1800.20/978.74	c root simplifications	: 0
1800.20/978.74	c removed literals (reason simplification)	: 76992206
1800.20/978.74	c reason swapping (by a shorter reason)	: 0
1800.20/978.74	c Calls to reduceDB	: 285
1800.20/978.74	c number of reductions to clauses (during analyze)	: 0
1800.20/978.74	c number of learned constraints concerned by reduction	: 0
1800.20/978.74	c number of learning phase by resolution	: 0
1800.20/978.74	c number of learning phase by cutting planes	: 0
1800.20/978.74	c speed (assignments/second)	: 31254.689369305208
1800.20/978.74	c non guided choices	0
1800.20/978.74	c learnt constraints type 
1800.20/978.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 23493
1800.20/978.74	c constraints type 
1800.20/978.74	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.20/978.74	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17831
1800.20/978.74	c constraints type 
1800.20/978.74	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17831
1800.20/978.74	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.20/978.74	s SATISFIABLE
1800.20/978.74	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.20/978.74	c objective function=-26
1800.20/978.74	c Total wall clock time (in seconds): 978.63

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

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

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


[startup+0 s]
/proc/loadavg: 3.30 3.47 3.29 3/502 17819
/proc/meminfo: memFree=26218244/32951124 swapFree=38422276/67111528
[pid=17819] ppid=17817 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 13859 0 -1 4202496 2522 0 1 0 0 0 0 0 25 0 2 0 830544957 10681323520 2223 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/17819/statm: 2607745 2235 906 9 0 2598901 0
[pid=17819/tid=17820] ppid=17817 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) R 17817 17819 13859 0 -1 4202560 5542 0 1 0 0 0 0 0 25 0 2 0 830544958 10694979584 6359 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212435711035 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0918111 s]
/proc/loadavg: 3.30 3.47 3.29 3/502 17819
/proc/meminfo: memFree=26218244/32951124 swapFree=38422276/67111528
[pid=17819] ppid=17817 vsize=10539528 CPUtime=0.09 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 13859 0 -1 4202496 12951 0 1 0 8 1 0 0 25 0 18 0 830544957 10792476672 12640 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17819/statm: 2634882 12640 2083 9 0 2625616 0
[pid=17819/tid=17820] ppid=17817 vsize=10539528 CPUtime=0.07 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) R 17817 17819 13859 0 -1 4202560 11042 0 1 0 6 1 0 0 18 0 18 0 830544958 10792476672 12641 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 47227051559763 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539528

[startup+0.100433 s]
/proc/loadavg: 3.30 3.47 3.29 3/502 17819
/proc/meminfo: memFree=26218244/32951124 swapFree=38422276/67111528
[pid=17819] ppid=17817 vsize=10539660 CPUtime=0.1 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 13859 0 -1 4202496 13104 0 1 0 9 1 0 0 25 0 18 0 830544957 10792611840 12793 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17819/statm: 2634915 12793 2092 9 0 2625649 0
[pid=17819/tid=17820] ppid=17817 vsize=10539660 CPUtime=0.08 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) R 17817 17819 13859 0 -1 4202560 11183 0 1 0 7 1 0 0 18 0 18 0 830544958 10792611840 12793 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539660

[startup+0.300388 s]
/proc/loadavg: 3.30 3.47 3.29 3/502 17819
/proc/meminfo: memFree=26218244/32951124 swapFree=38422276/67111528
[pid=17819] ppid=17817 vsize=10539888 CPUtime=0.49 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 13859 0 -1 4202496 15976 0 1 0 47 2 0 0 25 0 18 0 830544957 10792845312 15157 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17819/statm: 2634972 15158 2199 9 0 2625706 0
[pid=17819/tid=17820] ppid=17817 vsize=10539888 CPUtime=0.28 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) R 17817 17819 13859 0 -1 4202560 12941 0 1 0 27 1 0 0 18 0 18 0 830544958 10792845312 15159 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 46912505608174 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10539888

[startup+0.700354 s]
/proc/loadavg: 3.30 3.47 3.29 3/502 17819
/proc/meminfo: memFree=26218244/32951124 swapFree=38422276/67111528
[pid=17819] ppid=17817 vsize=10547960 CPUtime=0.99 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 13859 0 -1 4202496 27178 0 1 0 96 3 0 0 25 0 19 0 830544957 10801111040 25280 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17819/statm: 2636990 25280 2225 9 0 2627724 0
[pid=17819/tid=17820] ppid=17817 vsize=10547960 CPUtime=0.46 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) S 17817 17819 13859 0 -1 4202560 20849 0 1 0 44 2 0 0 19 0 19 0 830544958 10801111040 25280 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 10547960

[startup+1.50113 s]
/proc/loadavg: 3.30 3.47 3.29 5/522 17844
/proc/meminfo: memFree=26117464/32951124 swapFree=38422276/67111528
[pid=17819] ppid=17817 vsize=10547960 CPUtime=1.08 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 13859 0 -1 4202496 27409 0 1 0 105 3 0 0 25 0 22 0 830544957 10801111040 25511 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17819/statm: 2636990 25511 2231 9 0 2627724 0
[pid=17819/tid=17820] ppid=17817 vsize=10547960 CPUtime=0.46 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) S 17817 17819 13859 0 -1 4202560 20910 0 1 0 44 2 0 0 16 0 22 0 830544958 10801111040 25511 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17822] ppid=17817 vsize=10547960 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17822/stat : 17822 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544959 10801111040 25511 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17823] ppid=17817 vsize=10547960 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17823/stat : 17823 (java) S 17817 17819 13859 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830544959 10801111040 25511 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17824] ppid=17817 vsize=10547960 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17824/stat : 17824 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544959 10801111040 25511 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17825] ppid=17817 vsize=10547960 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17825/stat : 17825 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544959 10801111040 25511 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17826] ppid=17817 vsize=10547960 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17826/stat : 17826 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544959 10801111040 25511 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17827] ppid=17817 vsize=10547960 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17827/stat : 17827 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544959 10801111040 25511 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17828] ppid=17817 vsize=10547960 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17828/stat : 17828 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544959 10801111040 25511 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17829] ppid=17817 vsize=10547960 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17829/stat : 17829 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544959 10801111040 25511 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17830] ppid=17817 vsize=10547960 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17830/stat : 17830 (java) S 17817 17819 13859 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830544960 10801111040 25511 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 0 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17831] ppid=17817 vsize=10547960 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17831/stat : 17831 (java) S 17817 17819 13859 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830544961 10801111040 25511 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17832] ppid=17817 vsize=10547960 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17832/stat : 17832 (java) S 17817 17819 13859 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830544961 10801111040 25511 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17833] ppid=17817 vsize=10547960 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17833/stat : 17833 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544963 10801111040 25511 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447840689 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17834] ppid=17817 vsize=10547960 CPUtime=0.28 cores=0,2,4,6
/proc/17819/task/17834/stat : 17834 (java) R 17817 17819 13859 0 -1 4202560 2600 0 0 0 28 0 0 0 16 0 22 0 830544963 10801111040 25511 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 47227050781544 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17819/tid=17835] ppid=17817 vsize=10547960 CPUtime=0.25 cores=0,2,4,6
/proc/17819/task/17835/stat : 17835 (java) R 17817 17819 13859 0 -1 4202560 2494 0 0 0 25 0 0 0 16 0 22 0 830544963 10801111040 25511 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 47227050584335 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17819/tid=17836] ppid=17817 vsize=10547960 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17836/stat : 17836 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544963 10801111040 25511 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17837] ppid=17817 vsize=10547960 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17837/stat : 17837 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830544963 10801111040 25511 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17844] ppid=17817 vsize=10547960 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17844/stat : 17844 (java) S 17817 17819 13859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830545056 10801111040 25511 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 10547960

[startup+3.10084 s]
/proc/loadavg: 3.20 3.44 3.29 3/521 17850
/proc/meminfo: memFree=26111784/32951124 swapFree=38422276/67111528
[pid=17819] ppid=17817 vsize=10556900 CPUtime=3.32 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 13859 0 -1 4202496 52662 0 1 0 326 6 0 0 25 0 22 0 830544957 10810265600 46986 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17819/statm: 2639225 46995 2241 9 0 2629959 0
[pid=17819/tid=17820] ppid=17817 vsize=10556900 CPUtime=0.47 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) S 17817 17819 13859 0 -1 4202560 20965 0 1 0 45 2 0 0 16 0 22 0 830544958 10810265600 46997 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17822] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17822/stat : 17822 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544959 10810265600 46999 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17823] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17823/stat : 17823 (java) S 17817 17819 13859 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830544959 10810265600 47000 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17824] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17824/stat : 17824 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544959 10810265600 47001 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17825] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17825/stat : 17825 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544959 10810265600 47002 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17826] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17826/stat : 17826 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544959 10810265600 47003 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17827] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17827/stat : 17827 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544959 10810265600 47003 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17828] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17828/stat : 17828 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544959 10810265600 47004 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17829] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17829/stat : 17829 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544959 10810265600 47006 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17830] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17830/stat : 17830 (java) S 17817 17819 13859 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830544960 10810265600 47008 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 0 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17831] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17831/stat : 17831 (java) S 17817 17819 13859 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830544961 10810265600 47010 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17832] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17832/stat : 17832 (java) S 17817 17819 13859 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830544961 10810265600 47015 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17833] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17833/stat : 17833 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544963 10810265600 47019 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447840689 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17834] ppid=17817 vsize=10556900 CPUtime=0.8 cores=0,2,4,6
/proc/17819/task/17834/stat : 17834 (java) S 17817 17819 13859 0 -1 4202560 4123 0 0 0 80 0 0 0 16 0 22 0 830544963 10810265600 47021 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 0 0 0 0
[pid=17819/tid=17835] ppid=17817 vsize=10556900 CPUtime=0.82 cores=0,2,4,6
/proc/17819/task/17835/stat : 17835 (java) S 17817 17819 13859 0 -1 4202560 8733 0 0 0 81 1 0 0 15 0 22 0 830544963 10810265600 47022 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17836] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17836/stat : 17836 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544963 10810265600 47023 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17837] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17837/stat : 17837 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830544963 10810265600 47025 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 10556900

[startup+6.30122 s]
/proc/loadavg: 3.20 3.44 3.29 5/524 17856
/proc/meminfo: memFree=25660896/32951124 swapFree=38422276/67111528
[pid=17819] ppid=17817 vsize=10556900 CPUtime=9.76 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 13859 0 -1 4202496 140924 0 1 0 960 16 0 0 25 0 22 0 830544957 10810265600 135223 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17819/statm: 2639225 135223 2268 9 0 2629959 0
[pid=17819/tid=17820] ppid=17817 vsize=10556900 CPUtime=0.47 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) S 17817 17819 13859 0 -1 4202560 20965 0 1 0 45 2 0 0 15 0 22 0 830544958 10810265600 135223 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17822] ppid=17817 vsize=10556900 CPUtime=0.01 cores=0,2,4,6
/proc/17819/task/17822/stat : 17822 (java) S 17817 17819 13859 0 -1 4202560 1287 0 0 0 1 0 0 0 15 0 22 0 830544959 10810265600 135223 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 0 0 0 0
[pid=17819/tid=17823] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17823/stat : 17823 (java) S 17817 17819 13859 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830544959 10810265600 135223 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17824] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17824/stat : 17824 (java) S 17817 17819 13859 0 -1 4202560 958 0 0 0 0 0 0 0 15 0 22 0 830544959 10810265600 135223 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 0 0 0 0
[pid=17819/tid=17825] ppid=17817 vsize=10556900 CPUtime=0.01 cores=0,2,4,6
/proc/17819/task/17825/stat : 17825 (java) S 17817 17819 13859 0 -1 4202560 1154 0 0 0 1 0 0 0 15 0 22 0 830544959 10810265600 135223 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17826] ppid=17817 vsize=10556900 CPUtime=0.01 cores=0,2,4,6
/proc/17819/task/17826/stat : 17826 (java) S 17817 17819 13859 0 -1 4202560 712 0 0 0 1 0 0 0 15 0 22 0 830544959 10810265600 135223 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 0 0 0 0
[pid=17819/tid=17827] ppid=17817 vsize=10556900 CPUtime=0.02 cores=0,2,4,6
/proc/17819/task/17827/stat : 17827 (java) S 17817 17819 13859 0 -1 4202560 2004 0 0 0 2 0 0 0 16 0 22 0 830544959 10810265600 135223 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 0 0 0 0
[pid=17819/tid=17828] ppid=17817 vsize=10556900 CPUtime=0.02 cores=0,2,4,6
/proc/17819/task/17828/stat : 17828 (java) S 17817 17819 13859 0 -1 4202560 1962 0 0 0 2 0 0 0 16 0 22 0 830544959 10810265600 135223 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17829] ppid=17817 vsize=10556900 CPUtime=0.02 cores=0,2,4,6
/proc/17819/task/17829/stat : 17829 (java) S 17817 17819 13859 0 -1 4202560 1700 0 0 0 2 0 0 0 16 0 22 0 830544959 10810265600 135223 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17830] ppid=17817 vsize=10556900 CPUtime=0.22 cores=0,2,4,6
/proc/17819/task/17830/stat : 17830 (java) S 17817 17819 13859 0 -1 4202560 9740 0 0 0 22 0 0 0 16 0 22 0 830544960 10810265600 135223 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 0 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17831] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17831/stat : 17831 (java) S 17817 17819 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830544961 10810265600 135223 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17832] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17832/stat : 17832 (java) S 17817 17819 13859 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830544961 10810265600 135223 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17833] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17833/stat : 17833 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544963 10810265600 135223 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447840689 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17834] ppid=17817 vsize=10556900 CPUtime=0.87 cores=0,2,4,6
/proc/17819/task/17834/stat : 17834 (java) S 17817 17819 13859 0 -1 4202560 4131 0 0 0 87 0 0 0 15 0 22 0 830544963 10810265600 135223 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 0 0 0 0
[pid=17819/tid=17835] ppid=17817 vsize=10556900 CPUtime=0.99 cores=0,2,4,6
/proc/17819/task/17835/stat : 17835 (java) S 17817 17819 13859 0 -1 4202560 8755 0 0 0 98 1 0 0 15 0 22 0 830544963 10810265600 135223 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17836] ppid=17817 vsize=10556900 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17836/stat : 17836 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544963 10810265600 135223 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0

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

[pid=17819/tid=17857] ppid=17817 vsize=10562752 CPUtime=721.55 cores=0,2,4,6
/proc/17819/task/17857/stat : 17857 (java) S 17817 17819 13859 0 -1 4202560 99 0 0 0 72155 0 0 0 21 0 22 0 830546788 10816258048 297771 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17858] ppid=17817 vsize=10562752 CPUtime=721.55 cores=0,2,4,6
/proc/17819/task/17858/stat : 17858 (java) S 17817 17819 13859 0 -1 4202560 15028 0 0 0 72152 3 0 0 22 0 22 0 830546788 10816258048 297771 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 0 0 0 0
[pid=17819/tid=17859] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17859/stat : 17859 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830546788 10816258048 297771 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1628.13
Current children cumulated vsize (KiB) 10562752

[startup+942.301 s]
/proc/loadavg: 3.76 3.75 3.60 4/524 17887
/proc/meminfo: memFree=24566084/32951124 swapFree=38422276/67111528
[pid=17819] ppid=17817 vsize=10562752 CPUtime=1735.55 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 13859 0 -1 4202496 305893 0 1 0 173514 41 0 0 25 0 22 0 830544957 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17819/statm: 2640688 299773 2269 9 0 2631422 0
[pid=17819/tid=17820] ppid=17817 vsize=10562752 CPUtime=0.47 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) S 17817 17819 13859 0 -1 4202560 21130 0 1 0 45 2 0 0 15 0 22 0 830544958 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17822] ppid=17817 vsize=10562752 CPUtime=1.77 cores=0,2,4,6
/proc/17819/task/17822/stat : 17822 (java) S 17817 17819 13859 0 -1 4202560 2570 0 0 0 177 0 0 0 15 0 22 0 830544959 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17823] ppid=17817 vsize=10562752 CPUtime=1.75 cores=0,2,4,6
/proc/17819/task/17823/stat : 17823 (java) S 17817 17819 13859 0 -1 4202560 1494 0 0 0 175 0 0 0 16 0 22 0 830544959 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17824] ppid=17817 vsize=10562752 CPUtime=1.82 cores=0,2,4,6
/proc/17819/task/17824/stat : 17824 (java) S 17817 17819 13859 0 -1 4202560 2157 0 0 0 182 0 0 0 16 0 22 0 830544959 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17825] ppid=17817 vsize=10562752 CPUtime=1.78 cores=0,2,4,6
/proc/17819/task/17825/stat : 17825 (java) S 17817 17819 13859 0 -1 4202560 1994 0 0 0 178 0 0 0 15 0 22 0 830544959 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17826] ppid=17817 vsize=10562752 CPUtime=1.85 cores=0,2,4,6
/proc/17819/task/17826/stat : 17826 (java) S 17817 17819 13859 0 -1 4202560 874 0 0 0 185 0 0 0 16 0 22 0 830544959 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17827] ppid=17817 vsize=10562752 CPUtime=1.81 cores=0,2,4,6
/proc/17819/task/17827/stat : 17827 (java) S 17817 17819 13859 0 -1 4202560 3350 0 0 0 181 0 0 0 15 0 22 0 830544959 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17828] ppid=17817 vsize=10562752 CPUtime=1.66 cores=0,2,4,6
/proc/17819/task/17828/stat : 17828 (java) S 17817 17819 13859 0 -1 4202560 3296 0 0 0 166 0 0 0 16 0 22 0 830544959 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17829] ppid=17817 vsize=10562752 CPUtime=1.68 cores=0,2,4,6
/proc/17819/task/17829/stat : 17829 (java) S 17817 17819 13859 0 -1 4202560 2270 0 0 0 168 0 0 0 15 0 22 0 830544959 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17830] ppid=17817 vsize=10562752 CPUtime=152.58 cores=0,2,4,6
/proc/17819/task/17830/stat : 17830 (java) S 17817 17819 13859 0 -1 4202560 93091 0 0 0 15246 12 0 0 15 0 22 0 830544960 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 0 0 16800975 18446604449726245056 0 0 -1 0 0 0 0
[pid=17819/tid=17831] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17831/stat : 17831 (java) S 17817 17819 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830544961 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17832] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17832/stat : 17832 (java) S 17817 17819 13859 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830544961 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17833] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17833/stat : 17833 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544963 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447840689 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17834] ppid=17817 vsize=10562752 CPUtime=0.98 cores=0,2,4,6
/proc/17819/task/17834/stat : 17834 (java) S 17817 17819 13859 0 -1 4202560 4141 0 0 0 98 0 0 0 15 0 22 0 830544963 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 0 0 0 0
[pid=17819/tid=17835] ppid=17817 vsize=10562752 CPUtime=1.68 cores=0,2,4,6
/proc/17819/task/17835/stat : 17835 (java) S 17817 17819 13859 0 -1 4202560 10267 0 0 0 167 1 0 0 16 0 22 0 830544963 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17836] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17836/stat : 17836 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544963 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17837] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17837/stat : 17837 (java) S 17817 17819 13859 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830544963 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17856] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17856/stat : 17856 (java) S 17817 17819 13859 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830545258 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17857] ppid=17817 vsize=10562752 CPUtime=768.34 cores=0,2,4,6
/proc/17819/task/17857/stat : 17857 (java) R 17817 17819 13859 0 -1 4202560 99 0 0 0 76834 0 0 0 19 0 22 0 830546788 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 46912505806966 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17819/tid=17858] ppid=17817 vsize=10562752 CPUtime=768.34 cores=0,2,4,6
/proc/17819/task/17858/stat : 17858 (java) R 17817 17819 13859 0 -1 4202560 15028 0 0 0 76831 3 0 0 18 0 22 0 830546788 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 46912505798218 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17819/tid=17859] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17859/stat : 17859 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830546788 10816258048 299773 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1735.55
Current children cumulated vsize (KiB) 10562752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+978.701 s]
/proc/loadavg: 3.34 3.65 3.57 4/522 17942
/proc/meminfo: memFree=25344956/32951124 swapFree=38422276/67111528
[pid=17819] ppid=17817 vsize=10562752 CPUtime=1800.2 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 13859 0 -1 4202496 307765 0 1 0 179978 42 0 0 25 0 22 0 830544957 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17819/statm: 2640688 301631 2269 9 0 2631422 0
[pid=17819/tid=17820] ppid=17817 vsize=10562752 CPUtime=0.47 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) S 17817 17819 13859 0 -1 4202560 21140 0 1 0 45 2 0 0 15 0 22 0 830544958 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17822] ppid=17817 vsize=10562752 CPUtime=1.89 cores=0,2,4,6
/proc/17819/task/17822/stat : 17822 (java) S 17817 17819 13859 0 -1 4202560 2570 0 0 0 189 0 0 0 15 0 22 0 830544959 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17823] ppid=17817 vsize=10562752 CPUtime=1.82 cores=0,2,4,6
/proc/17819/task/17823/stat : 17823 (java) S 17817 17819 13859 0 -1 4202560 1498 0 0 0 182 0 0 0 15 0 22 0 830544959 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17824] ppid=17817 vsize=10562752 CPUtime=1.85 cores=0,2,4,6
/proc/17819/task/17824/stat : 17824 (java) S 17817 17819 13859 0 -1 4202560 2157 0 0 0 185 0 0 0 16 0 22 0 830544959 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17825] ppid=17817 vsize=10562752 CPUtime=1.87 cores=0,2,4,6
/proc/17819/task/17825/stat : 17825 (java) S 17817 17819 13859 0 -1 4202560 1998 0 0 0 187 0 0 0 16 0 22 0 830544959 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17826] ppid=17817 vsize=10562752 CPUtime=1.91 cores=0,2,4,6
/proc/17819/task/17826/stat : 17826 (java) S 17817 17819 13859 0 -1 4202560 874 0 0 0 191 0 0 0 16 0 22 0 830544959 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17827] ppid=17817 vsize=10562752 CPUtime=1.9 cores=0,2,4,6
/proc/17819/task/17827/stat : 17827 (java) S 17817 17819 13859 0 -1 4202560 3353 0 0 0 190 0 0 0 16 0 22 0 830544959 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17828] ppid=17817 vsize=10562752 CPUtime=1.77 cores=0,2,4,6
/proc/17819/task/17828/stat : 17828 (java) S 17817 17819 13859 0 -1 4202560 3324 0 0 0 177 0 0 0 16 0 22 0 830544959 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17829] ppid=17817 vsize=10562752 CPUtime=1.73 cores=0,2,4,6
/proc/17819/task/17829/stat : 17829 (java) S 17817 17819 13859 0 -1 4202560 2271 0 0 0 173 0 0 0 16 0 22 0 830544959 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17830] ppid=17817 vsize=10562752 CPUtime=161.04 cores=0,2,4,6
/proc/17819/task/17830/stat : 17830 (java) S 17817 17819 13859 0 -1 4202560 94911 0 0 0 16091 13 0 0 16 0 22 0 830544960 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 0 0 16800975 18446604449726245056 0 0 -1 0 0 0 0
[pid=17819/tid=17831] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17831/stat : 17831 (java) S 17817 17819 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830544961 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17832] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17832/stat : 17832 (java) S 17817 17819 13859 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830544961 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17833] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17833/stat : 17833 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544963 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447840689 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17834] ppid=17817 vsize=10562752 CPUtime=0.98 cores=0,2,4,6
/proc/17819/task/17834/stat : 17834 (java) S 17817 17819 13859 0 -1 4202560 4141 0 0 0 98 0 0 0 15 0 22 0 830544963 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 0 0 0 0
[pid=17819/tid=17835] ppid=17817 vsize=10562752 CPUtime=1.68 cores=0,2,4,6
/proc/17819/task/17835/stat : 17835 (java) S 17817 17819 13859 0 -1 4202560 10267 0 0 0 167 1 0 0 16 0 22 0 830544963 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17836] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17836/stat : 17836 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544963 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17837] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17837/stat : 17837 (java) S 17817 17819 13859 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 830544963 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17856] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17856/stat : 17856 (java) S 17817 17819 13859 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830545258 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17857] ppid=17817 vsize=10562752 CPUtime=796.14 cores=0,2,4,6
/proc/17819/task/17857/stat : 17857 (java) R 17817 17819 13859 0 -1 4202560 99 0 0 0 79613 1 0 0 16 0 22 0 830546788 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 46912505838384 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17819/tid=17858] ppid=17817 vsize=10562752 CPUtime=796.14 cores=0,2,4,6
/proc/17819/task/17858/stat : 17858 (java) R 17817 17819 13859 0 -1 4202560 15028 0 0 0 79611 3 0 0 16 0 22 0 830546788 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 46912505905082 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17819/tid=17859] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17859/stat : 17859 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830546788 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 10562752

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

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

[startup+978.701 s]
/proc/loadavg: 3.34 3.65 3.57 4/522 17942
/proc/meminfo: memFree=25344956/32951124 swapFree=38422276/67111528
[pid=17819] ppid=17817 vsize=10562752 CPUtime=1800.2 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 13859 0 -1 4202496 307765 0 1 0 179978 42 0 0 25 0 22 0 830544957 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17819/statm: 2640688 301631 2269 9 0 2631422 0
[pid=17819/tid=17820] ppid=17817 vsize=10562752 CPUtime=0.47 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) S 17817 17819 13859 0 -1 4202560 21140 0 1 0 45 2 0 0 15 0 22 0 830544958 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17822] ppid=17817 vsize=10562752 CPUtime=1.89 cores=0,2,4,6
/proc/17819/task/17822/stat : 17822 (java) S 17817 17819 13859 0 -1 4202560 2570 0 0 0 189 0 0 0 15 0 22 0 830544959 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17823] ppid=17817 vsize=10562752 CPUtime=1.82 cores=0,2,4,6
/proc/17819/task/17823/stat : 17823 (java) S 17817 17819 13859 0 -1 4202560 1498 0 0 0 182 0 0 0 15 0 22 0 830544959 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17824] ppid=17817 vsize=10562752 CPUtime=1.85 cores=0,2,4,6
/proc/17819/task/17824/stat : 17824 (java) S 17817 17819 13859 0 -1 4202560 2157 0 0 0 185 0 0 0 16 0 22 0 830544959 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17825] ppid=17817 vsize=10562752 CPUtime=1.87 cores=0,2,4,6
/proc/17819/task/17825/stat : 17825 (java) S 17817 17819 13859 0 -1 4202560 1998 0 0 0 187 0 0 0 16 0 22 0 830544959 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17826] ppid=17817 vsize=10562752 CPUtime=1.91 cores=0,2,4,6
/proc/17819/task/17826/stat : 17826 (java) S 17817 17819 13859 0 -1 4202560 874 0 0 0 191 0 0 0 16 0 22 0 830544959 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17827] ppid=17817 vsize=10562752 CPUtime=1.9 cores=0,2,4,6
/proc/17819/task/17827/stat : 17827 (java) S 17817 17819 13859 0 -1 4202560 3353 0 0 0 190 0 0 0 16 0 22 0 830544959 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17828] ppid=17817 vsize=10562752 CPUtime=1.77 cores=0,2,4,6
/proc/17819/task/17828/stat : 17828 (java) S 17817 17819 13859 0 -1 4202560 3324 0 0 0 177 0 0 0 16 0 22 0 830544959 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
[pid=17819/tid=17829] ppid=17817 vsize=10562752 CPUtime=1.73 cores=0,2,4,6
/proc/17819/task/17829/stat : 17829 (java) S 17817 17819 13859 0 -1 4202560 2271 0 0 0 173 0 0 0 16 0 22 0 830544959 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17830] ppid=17817 vsize=10562752 CPUtime=161.04 cores=0,2,4,6
/proc/17819/task/17830/stat : 17830 (java) S 17817 17819 13859 0 -1 4202560 94911 0 0 0 16091 13 0 0 16 0 22 0 830544960 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 0 0 16800975 18446604449726245056 0 0 -1 0 0 0 0
[pid=17819/tid=17831] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17831/stat : 17831 (java) S 17817 17819 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830544961 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17832] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17832/stat : 17832 (java) S 17817 17819 13859 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830544961 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17833] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17833/stat : 17833 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544963 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447840689 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17834] ppid=17817 vsize=10562752 CPUtime=0.98 cores=0,2,4,6
/proc/17819/task/17834/stat : 17834 (java) S 17817 17819 13859 0 -1 4202560 4141 0 0 0 98 0 0 0 15 0 22 0 830544963 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 0 0 0 0
[pid=17819/tid=17835] ppid=17817 vsize=10562752 CPUtime=1.68 cores=0,2,4,6
/proc/17819/task/17835/stat : 17835 (java) S 17817 17819 13859 0 -1 4202560 10267 0 0 0 167 1 0 0 16 0 22 0 830544963 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17836] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17836/stat : 17836 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830544963 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447832985 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17837] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17837/stat : 17837 (java) S 17817 17819 13859 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 830544963 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 2 0 0 0
[pid=17819/tid=17856] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17856/stat : 17856 (java) S 17817 17819 13859 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830545258 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 4 0 0 0
[pid=17819/tid=17857] ppid=17817 vsize=10562752 CPUtime=796.14 cores=0,2,4,6
/proc/17819/task/17857/stat : 17857 (java) R 17817 17819 13859 0 -1 4202560 99 0 0 0 79613 1 0 0 16 0 22 0 830546788 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 46912505838384 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17819/tid=17858] ppid=17817 vsize=10562752 CPUtime=796.14 cores=0,2,4,6
/proc/17819/task/17858/stat : 17858 (java) R 17817 17819 13859 0 -1 4202560 15028 0 0 0 79611 3 0 0 16 0 22 0 830546788 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 46912505905082 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17819/tid=17859] ppid=17817 vsize=10562752 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17859/stat : 17859 (java) S 17817 17819 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830546788 10816258048 301631 33554432000 1073741824 1073778376 140734768757872 18446744073709551615 212447833600 0 4 0 16800975 18446604449726245056 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 10562752

Child status: 143
Real time (s): 978.794
CPU time (s): 1800.36
CPU user time (s): 1799.89
CPU system time (s): 0.470928
CPU usage (%): 183.937
Max. virtual memory (cumulated for all children) (KiB): 10562752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.470928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 307796
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= 30715
involuntary context switches= 23859

runsolver used 5.31219 second user time and 10.7764 second system time

The end

Launcher Data 

Begin job on node102 at 2011-06-04 14:10:26
IDJOB=3454423
IDBENCH=2238
IDSOLVER=1950
FILE ID=node102/3454423-1307189426
RUNJOBID= node102-1307187379-16959
PBS_JOBID= 13508853
Free space on /tmp= 73960 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-4.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454423-1307189426/watcher-3454423-1307189426 -o /tmp/evaluation-result-3454423-1307189426/solver-3454423-1307189426 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454423-1307189426.opb

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

MD5SUM BENCH= 7bb05c60facd55e51c4cfcaa0e217e6e
RANDOM SEED=1238291073

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:      26218276 kB
Buffers:        321140 kB
Cached:        1586408 kB
SwapCached:      86940 kB
Active:        1647244 kB
Inactive:      4782008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26218276 kB
SwapTotal:    67111528 kB
SwapFree:     38422276 kB
Dirty:            1856 kB
Writeback:          12 kB
AnonPages:     4457212 kB
Mapped:          21872 kB
Slab:           133224 kB
PageTables:     101640 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145826856 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= 73956 MiB
End job on node102 at 2011-06-04 14:26:47