Trace number 3454526

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.31 973.014

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb
MD5SUM5909a36352b34473abff2d7e1fe31c04
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 benchmark947.527
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 constraints17874
Number of constraints which are clauses17874
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.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.10	c See www.sat4j.org for details.
0.06/0.10	c version 2.3.1.v20110525
0.06/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.11	c java.vm.version	19.1-b02
0.06/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.11	c sun.arch.data.model	64
0.06/0.11	c java.version		1.6.0_24
0.06/0.11	c os.name		Linux
0.06/0.11	c os.version		2.6.18-164.el5
0.06/0.11	c os.arch		amd64
0.06/0.11	c Free memory 		9996466904
0.06/0.11	c Max memory 		10048897024
0.06/0.11	c Total memory 		10048897024
0.06/0.11	c Number of processors 	8
0.06/0.13	c Pseudo Boolean Optimization
0.06/0.13	c ManyCore solver with 2 solvers running in parallel
0.06/0.13	c --- Begin Solver configuration ---
0.06/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.13	c Expensive reason simplification
0.06/0.13	c Armin Biere (Picosat) restarts strategy
0.06/0.13	c Glucose learned constraints deletion strategy
0.06/0.13	c timeout=2147483s
0.06/0.13	c DB Simplification allowed=false
0.06/0.13	c --- End Solver configuration ---
0.06/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.06/0.13	c --- Begin Solver configuration ---
0.06/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.06/0.13	c No reason simplification
0.06/0.13	c Armin Biere (Picosat) restarts strategy
0.06/0.13	c Glucose learned constraints deletion strategy
0.06/0.13	c timeout=2147483s
0.06/0.13	c DB Simplification allowed=false
0.06/0.13	c --- End Solver configuration ---
0.06/0.13	c solving HOME/instance-3454526-1307189412.opb
0.06/0.13	c reading problem ... 
0.68/0.49	c ... done. Wall clock time 0.36s.
0.68/0.49	c #vars     450
0.68/0.49	c #constraints  17874
0.68/0.49	c constraints type 
0.68/0.49	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17874
0.68/0.49	c constraints type 
0.68/0.49	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17874
0.94/0.50	c  And the winner is Resolution
0.95/1.00	c SATISFIABLE
0.95/1.00	c OPTIMIZING...
0.95/1.00	c Got one! Elapsed wall clock time (in seconds):0.872
0.95/1.00	o -23
2.49/1.44	c  And the winner is Resolution
2.79/1.51	c Got one! Elapsed wall clock time (in seconds):1.38
2.79/1.51	o -25
3.77/1.96	c cleaning 2930 clauses out of 5860 with flag 4001/5860
5.03/2.59	c cleaning 4462 clauses out of 8929 with flag 10000/11859
6.73/3.33	c cleaning 5734 clauses out of 11468 with flag 17001/18860
8.51/4.25	c cleaning 6864 clauses out of 13733 with flag 25000/26859
10.48/5.28	c cleaning 7933 clauses out of 15870 with flag 34001/35860
12.82/6.43	c cleaning 8968 clauses out of 17937 with flag 44001/45860
15.38/7.79	c cleaning 9980 clauses out of 19968 with flag 55000/56859
18.56/9.30	c cleaning 10994 clauses out of 21988 with flag 67000/68859
21.88/11.09	c cleaning 11989 clauses out of 23994 with flag 80000/81859
25.33/12.87	c cleaning 12999 clauses out of 26005 with flag 94000/95859
29.61/15.04	c cleaning 14000 clauses out of 28006 with flag 109000/110859
34.08/17.30	c cleaning 15002 clauses out of 30007 with flag 125001/126860
38.70/19.76	c cleaning 15999 clauses out of 32005 with flag 142001/143860
43.95/22.41	c cleaning 16993 clauses out of 34005 with flag 160000/161859
49.22/25.19	c cleaning 17499 clauses out of 35012 with flag 178000/179859
55.06/28.16	c cleaning 17749 clauses out of 35513 with flag 196000/197859
61.24/31.30	c cleaning 17882 clauses out of 35764 with flag 214000/215859
67.08/34.37	c cleaning 17934 clauses out of 35883 with flag 232001/233860
73.91/37.81	c cleaning 17968 clauses out of 35948 with flag 250000/251859
79.12/40.58	c cleaning 17987 clauses out of 35980 with flag 268000/269859
84.45/43.31	c cleaning 17988 clauses out of 35994 with flag 286001/287860
89.87/46.20	c cleaning 17999 clauses out of 36005 with flag 304000/305859
95.86/49.26	c cleaning 17996 clauses out of 36008 with flag 322002/323861
102.67/52.75	c cleaning 18000 clauses out of 36010 with flag 340000/341859
108.54/55.88	c cleaning 18006 clauses out of 36011 with flag 358001/359860
115.13/59.22	c cleaning 17998 clauses out of 36005 with flag 376001/377860
121.53/62.51	c cleaning 17999 clauses out of 36006 with flag 394000/395859
126.50/65.10	c cleaning 18005 clauses out of 36009 with flag 412002/413861
131.77/67.97	c cleaning 17989 clauses out of 36002 with flag 430000/431859
138.14/71.26	c cleaning 18001 clauses out of 36014 with flag 448001/449860
144.52/74.56	c cleaning 18006 clauses out of 36012 with flag 466000/467859
149.88/77.37	c cleaning 17997 clauses out of 36006 with flag 484000/485859
156.52/80.84	c cleaning 17994 clauses out of 36009 with flag 502000/503859
164.27/84.86	c cleaning 18000 clauses out of 36015 with flag 520000/521859
170.82/88.21	c cleaning 18000 clauses out of 36016 with flag 538001/539860
177.76/91.87	c cleaning 17995 clauses out of 36015 with flag 556000/557859
184.40/95.32	c cleaning 18003 clauses out of 36020 with flag 574000/575859
190.13/98.31	c cleaning 17999 clauses out of 36017 with flag 592000/593859
194.86/100.84	c cleaning 18002 clauses out of 36018 with flag 610000/611859
200.59/103.83	c cleaning 17996 clauses out of 36017 with flag 628001/629860
206.98/107.23	c cleaning 17999 clauses out of 36020 with flag 646000/647859
213.70/110.70	c cleaning 18001 clauses out of 36021 with flag 664000/665859
218.81/113.44	c cleaning 18005 clauses out of 36020 with flag 682000/683859
224.72/116.54	c cleaning 18001 clauses out of 36015 with flag 700000/701859
231.12/119.93	c cleaning 18004 clauses out of 36014 with flag 718000/719859
234.79/121.98	c cleaning 0 clauses out of 5084 with flag 0/5085
238.66/123.82	c cleaning 18003 clauses out of 36010 with flag 736000/737859
245.83/127.54	c cleaning 18004 clauses out of 36007 with flag 754000/755859
253.78/131.73	c cleaning 18002 clauses out of 36003 with flag 772000/773859
259.66/134.86	c cleaning 17996 clauses out of 36001 with flag 790000/791859
266.16/138.27	c cleaning 17996 clauses out of 36005 with flag 808000/809859
272.84/141.80	c cleaning 17998 clauses out of 36009 with flag 826000/827859
280.16/145.61	c cleaning 18004 clauses out of 36011 with flag 844000/845859
287.07/149.20	c cleaning 17997 clauses out of 36007 with flag 862000/863859
294.19/152.94	c cleaning 18003 clauses out of 36010 with flag 880000/881859
299.05/155.51	c cleaning 18001 clauses out of 36008 with flag 898001/899860
305.15/158.89	c cleaning 17995 clauses out of 36006 with flag 916000/917859
311.22/162.08	c cleaning 18005 clauses out of 36011 with flag 934000/935859
317.11/165.12	c cleaning 17999 clauses out of 36006 with flag 952000/953859
323.38/168.41	c cleaning 17994 clauses out of 36008 with flag 970001/971860
328.89/171.51	c cleaning 17992 clauses out of 36013 with flag 988000/989859
335.36/174.87	c cleaning 18008 clauses out of 36021 with flag 1006000/1007859
340.80/177.74	c cleaning 18005 clauses out of 36013 with flag 1024000/1025859
346.85/180.92	c cleaning 18001 clauses out of 36009 with flag 1042001/1043860
353.74/184.67	c cleaning 17995 clauses out of 36007 with flag 1060000/1061859
360.24/188.10	c cleaning 17997 clauses out of 36012 with flag 1078000/1079859
366.71/191.47	c cleaning 18001 clauses out of 36016 with flag 1096001/1097860
373.52/195.04	c cleaning 17995 clauses out of 36014 with flag 1114000/1115859
380.19/198.60	c cleaning 18006 clauses out of 36019 with flag 1132000/1133859
387.47/202.44	c cleaning 18003 clauses out of 36013 with flag 1150000/1151859
393.71/205.76	c cleaning 18003 clauses out of 36012 with flag 1168002/1169861
399.72/208.92	c cleaning 17990 clauses out of 36007 with flag 1186000/1187859
406.97/212.90	c cleaning 18009 clauses out of 36017 with flag 1204000/1205859
413.79/216.42	c cleaning 17996 clauses out of 36008 with flag 1222000/1223859
420.80/220.15	c cleaning 18002 clauses out of 36012 with flag 1240000/1241859
427.21/223.57	c cleaning 18002 clauses out of 36011 with flag 1258001/1259860
434.09/227.29	c cleaning 17993 clauses out of 36008 with flag 1276000/1277859
441.13/230.98	c cleaning 18001 clauses out of 36016 with flag 1294001/1295860
447.93/234.59	c cleaning 17998 clauses out of 36015 with flag 1312001/1313860
454.35/237.90	c cleaning 17998 clauses out of 36016 with flag 1330000/1331859
459.59/240.87	c cleaning 18000 clauses out of 36019 with flag 1348001/1349860
465.81/244.20	c cleaning 18000 clauses out of 36019 with flag 1366001/1367860
471.81/247.40	c cleaning 18005 clauses out of 36018 with flag 1384000/1385859
478.61/250.92	c cleaning 18002 clauses out of 36013 with flag 1402000/1403859
484.45/254.17	c cleaning 17997 clauses out of 36011 with flag 1420000/1421859
491.41/257.80	c cleaning 18006 clauses out of 36015 with flag 1438001/1439860
497.60/261.12	c cleaning 17993 clauses out of 36008 with flag 1456000/1457859
504.40/264.76	c cleaning 18002 clauses out of 36016 with flag 1474001/1475860
512.18/268.92	c cleaning 18000 clauses out of 36014 with flag 1492001/1493860
518.36/272.23	c cleaning 18000 clauses out of 36013 with flag 1510000/1511859
523.93/275.23	c cleaning 17999 clauses out of 36013 with flag 1528000/1529859
530.57/278.72	c cleaning 17998 clauses out of 36014 with flag 1546000/1547859
537.54/282.58	c cleaning 18002 clauses out of 36016 with flag 1564000/1565859
544.72/286.35	c cleaning 17997 clauses out of 36014 with flag 1582000/1583859
551.09/289.72	c cleaning 18006 clauses out of 36019 with flag 1600002/1601861
557.87/293.40	c cleaning 18005 clauses out of 36013 with flag 1618002/1619861
564.45/296.92	c cleaning 17990 clauses out of 36007 with flag 1636001/1637860
570.62/300.26	c cleaning 17988 clauses out of 36016 with flag 1654000/1655859
577.36/303.88	c cleaning 17996 clauses out of 36028 with flag 1672000/1673859
583.92/307.34	c cleaning 18001 clauses out of 36032 with flag 1690000/1691859
591.09/311.24	c cleaning 18011 clauses out of 36032 with flag 1708001/1709860
597.63/314.79	c cleaning 18000 clauses out of 36020 with flag 1726000/1727859
604.59/318.44	c cleaning 17992 clauses out of 36020 with flag 1744000/1745859
611.32/322.07	c cleaning 18007 clauses out of 36028 with flag 1762000/1763859
617.47/325.51	c cleaning 18001 clauses out of 36022 with flag 1780001/1781860
624.81/329.37	c cleaning 18007 clauses out of 36021 with flag 1798001/1799860
631.95/333.12	c cleaning 17999 clauses out of 36013 with flag 1816000/1817859
638.69/336.78	c cleaning 18003 clauses out of 36015 with flag 1834001/1835860
645.81/340.61	c cleaning 17996 clauses out of 36012 with flag 1852001/1853860
653.35/344.63	c cleaning 18002 clauses out of 36015 with flag 1870000/1871859
662.08/349.28	c cleaning 17998 clauses out of 36013 with flag 1888000/1889859
669.02/352.96	c cleaning 17990 clauses out of 36015 with flag 1906000/1907859
675.93/356.75	c cleaning 17997 clauses out of 36026 with flag 1924001/1925860
682.67/360.32	c cleaning 18003 clauses out of 36028 with flag 1942000/1943859
689.20/363.86	c cleaning 18011 clauses out of 36025 with flag 1960000/1961859
696.91/367.97	c cleaning 18000 clauses out of 36014 with flag 1978000/1979859
703.60/371.63	c cleaning 17993 clauses out of 36014 with flag 1996000/1997859
708.73/374.42	c cleaning 17998 clauses out of 36021 with flag 2014000/2015859
715.05/377.81	c cleaning 18004 clauses out of 36024 with flag 2032001/2033860
721.22/381.18	c cleaning 17996 clauses out of 36019 with flag 2050000/2051859
728.16/384.96	c cleaning 18001 clauses out of 36023 with flag 2068000/2069859
733.66/387.99	c cleaning 18001 clauses out of 36022 with flag 2086000/2087859
740.39/391.53	c cleaning 17985 clauses out of 36022 with flag 2104001/2105860
746.35/394.81	c cleaning 18013 clauses out of 36036 with flag 2122000/2123859
753.03/398.49	c cleaning 18003 clauses out of 36023 with flag 2140000/2141859
759.55/401.97	c cleaning 18001 clauses out of 36020 with flag 2158000/2159859
765.65/405.29	c cleaning 17999 clauses out of 36019 with flag 2176000/2177859
772.36/408.80	c cleaning 17993 clauses out of 36020 with flag 2194000/2195859
779.69/412.88	c cleaning 18003 clauses out of 36027 with flag 2212000/2213859
787.24/416.85	c cleaning 18006 clauses out of 36025 with flag 2230001/2231860
794.53/420.76	c cleaning 17990 clauses out of 36018 with flag 2248000/2249859
801.86/424.64	c cleaning 18003 clauses out of 36029 with flag 2266001/2267860
809.48/428.80	c cleaning 18002 clauses out of 36025 with flag 2284000/2285859
816.38/432.50	c cleaning 18000 clauses out of 36023 with flag 2302000/2303859
823.08/436.12	c cleaning 18001 clauses out of 36023 with flag 2320000/2321859
829.81/439.70	c cleaning 18004 clauses out of 36022 with flag 2338000/2339859
836.46/443.45	c cleaning 17998 clauses out of 36019 with flag 2356001/2357860
842.95/446.97	c cleaning 18001 clauses out of 36020 with flag 2374000/2375859
850.23/450.86	c cleaning 17998 clauses out of 36019 with flag 2392000/2393859
857.31/454.60	c cleaning 17994 clauses out of 36022 with flag 2410001/2411860
865.21/458.95	c cleaning 18010 clauses out of 36027 with flag 2428000/2429859
871.30/462.26	c cleaning 18006 clauses out of 36017 with flag 2446000/2447859
878.17/465.94	c cleaning 18003 clauses out of 36011 with flag 2464000/2465859
885.06/469.62	c cleaning 18000 clauses out of 36008 with flag 2482000/2483859
892.87/473.98	c cleaning 17998 clauses out of 36008 with flag 2500000/2501859
901.36/478.44	c cleaning 17995 clauses out of 36010 with flag 2518000/2519859
908.10/482.07	c cleaning 17999 clauses out of 36015 with flag 2536000/2537859
915.56/486.00	c cleaning 17998 clauses out of 36016 with flag 2554000/2555859
923.78/490.58	c cleaning 18005 clauses out of 36018 with flag 2572000/2573859
931.65/494.79	c cleaning 18000 clauses out of 36013 with flag 2590000/2591859
938.91/498.62	c cleaning 18001 clauses out of 36014 with flag 2608001/2609860
945.78/502.30	c cleaning 17998 clauses out of 36013 with flag 2626001/2627860
953.57/506.60	c cleaning 18002 clauses out of 36014 with flag 2644000/2645859
959.83/510.05	c cleaning 17989 clauses out of 36012 with flag 2662000/2663859
966.30/513.61	c cleaning 18001 clauses out of 36023 with flag 2680000/2681859
973.55/517.48	c cleaning 17993 clauses out of 36022 with flag 2698000/2699859
980.36/521.27	c cleaning 17985 clauses out of 36029 with flag 2716000/2717859
987.61/525.13	c cleaning 18013 clauses out of 36044 with flag 2734000/2735859
994.27/528.72	c cleaning 18013 clauses out of 36033 with flag 2752002/2753861
1001.71/532.77	c cleaning 17999 clauses out of 36018 with flag 2770000/2771859
1009.51/537.07	c cleaning 18003 clauses out of 36019 with flag 2788000/2789859
1016.36/540.79	c cleaning 17994 clauses out of 36016 with flag 2806000/2807859
1023.60/544.61	c cleaning 18004 clauses out of 36022 with flag 2824000/2825859
1030.64/548.44	c cleaning 18005 clauses out of 36018 with flag 2842000/2843859
1038.14/552.51	c cleaning 17989 clauses out of 36013 with flag 2860000/2861859
1045.02/556.27	c cleaning 17987 clauses out of 36024 with flag 2878000/2879859
1052.06/560.07	c cleaning 18017 clauses out of 36037 with flag 2896000/2897859
1058.50/563.59	c cleaning 18000 clauses out of 36020 with flag 2914000/2915859
1065.27/567.35	c cleaning 18000 clauses out of 36022 with flag 2932002/2933861
1072.50/571.24	c cleaning 18000 clauses out of 36020 with flag 2950000/2951859
1079.94/575.30	c cleaning 17989 clauses out of 36020 with flag 2968000/2969859
1088.56/579.85	c cleaning 17999 clauses out of 36031 with flag 2986000/2987859
1093.93/582.94	c cleaning 18007 clauses out of 36032 with flag 3004000/3005859
1099.55/586.03	c cleaning 17996 clauses out of 36026 with flag 3022001/3023860
1105.39/589.29	c cleaning 18008 clauses out of 36031 with flag 3040002/3041861
1111.21/592.46	c cleaning 18009 clauses out of 36023 with flag 3058002/3059861
1118.16/596.37	c cleaning 17997 clauses out of 36012 with flag 3076000/3077859
1125.20/600.14	c cleaning 17997 clauses out of 36015 with flag 3094000/3095859
1132.41/604.06	c cleaning 18006 clauses out of 36018 with flag 3112000/3113859
1138.03/607.14	c cleaning 18002 clauses out of 36012 with flag 3130000/3131859
1145.15/611.17	c cleaning 17986 clauses out of 36010 with flag 3148000/3149859
1151.98/614.86	c cleaning 18005 clauses out of 36024 with flag 3166000/3167859
1158.79/618.59	c cleaning 17999 clauses out of 36019 with flag 3184000/3185859
1165.41/622.18	c cleaning 18000 clauses out of 36021 with flag 3202001/3203860
1172.54/626.12	c cleaning 18000 clauses out of 36020 with flag 3220000/3221859
1179.15/629.73	c cleaning 17992 clauses out of 36020 with flag 3238000/3239859
1185.56/633.28	c cleaning 18009 clauses out of 36029 with flag 3256001/3257860
1192.18/636.87	c cleaning 17996 clauses out of 36019 with flag 3274000/3275859
1198.13/640.23	c cleaning 18001 clauses out of 36023 with flag 3292000/3293859
1204.90/643.93	c cleaning 17999 clauses out of 36022 with flag 3310000/3311859
1212.42/647.95	c cleaning 18001 clauses out of 36024 with flag 3328001/3329860
1218.80/651.47	c cleaning 17994 clauses out of 36022 with flag 3346000/3347859
1225.32/655.18	c cleaning 18009 clauses out of 36028 with flag 3364000/3365859
1232.36/658.96	c cleaning 17997 clauses out of 36019 with flag 3382000/3383859
1239.72/662.95	c cleaning 17998 clauses out of 36022 with flag 3400000/3401859
1245.94/666.38	c cleaning 18003 clauses out of 36024 with flag 3418000/3419859
1252.29/669.93	c cleaning 18001 clauses out of 36021 with flag 3436000/3437859
1253.65/671.01	c  And the winner is Resolution
1256.76/673.94	c Got one! Elapsed wall clock time (in seconds):673.81
1256.76/673.94	o -26
1257.09/674.21	c cleaning 11944 clauses out of 23914 with flag 2001/3443753
1259.20/675.48	c cleaning 8965 clauses out of 17969 with flag 8000/3449752
1261.63/676.97	c cleaning 7993 clauses out of 16005 with flag 15001/3456753
1264.59/678.89	c cleaning 8001 clauses out of 16012 with flag 23001/3464753
1268.02/680.83	c cleaning 8501 clauses out of 17010 with flag 32000/3473752
1271.60/682.91	c cleaning 9247 clauses out of 18509 with flag 42000/3483752
1275.41/685.20	c cleaning 10125 clauses out of 20262 with flag 53000/3494752
1280.19/687.89	c cleaning 11065 clauses out of 22138 with flag 65001/3506753
1284.99/690.53	c cleaning 12031 clauses out of 24072 with flag 78000/3519752
1289.99/693.37	c cleaning 13017 clauses out of 26042 with flag 92001/3533753
1295.64/696.46	c cleaning 14004 clauses out of 28025 with flag 107001/3548753
1302.83/700.48	c cleaning 15010 clauses out of 30020 with flag 123000/3564752
1310.01/704.37	c cleaning 16002 clauses out of 32010 with flag 140000/3581752
1319.19/709.23	c cleaning 17004 clauses out of 34008 with flag 158000/3599752
1328.01/713.98	c cleaning 17498 clauses out of 35004 with flag 176000/3617752
1336.78/718.75	c cleaning 17751 clauses out of 35507 with flag 194001/3635753
1345.38/723.34	c cleaning 17867 clauses out of 35755 with flag 212000/3653752
1352.76/727.37	c cleaning 17927 clauses out of 35888 with flag 230000/3671752
1358.94/730.75	c cleaning 17972 clauses out of 35961 with flag 248000/3689752
1366.27/734.84	c cleaning 17988 clauses out of 35990 with flag 266001/3707753
1373.42/738.77	c cleaning 17996 clauses out of 36001 with flag 284000/3725752
1380.23/742.43	c cleaning 18003 clauses out of 36006 with flag 302001/3743753
1387.07/746.16	c cleaning 17998 clauses out of 36002 with flag 320000/3761752
1394.94/750.58	c cleaning 17988 clauses out of 36004 with flag 338000/3779752
1403.12/754.98	c cleaning 18004 clauses out of 36016 with flag 356000/3797752
1410.52/758.94	c cleaning 18003 clauses out of 36012 with flag 374000/3815752
1418.30/763.16	c cleaning 17995 clauses out of 36009 with flag 392000/3833752
1426.25/767.53	c cleaning 17998 clauses out of 36014 with flag 410000/3851752
1434.42/771.95	c cleaning 17999 clauses out of 36016 with flag 428000/3869752
1442.20/776.12	c cleaning 18004 clauses out of 36018 with flag 446001/3887753
1450.36/780.50	c cleaning 17996 clauses out of 36014 with flag 464001/3905753
1458.62/785.16	c cleaning 18005 clauses out of 36017 with flag 482000/3923752
1467.06/789.65	c cleaning 17990 clauses out of 36012 with flag 500000/3941752
1475.43/794.19	c cleaning 18006 clauses out of 36023 with flag 518001/3959753
1483.82/798.62	c cleaning 17998 clauses out of 36016 with flag 536000/3977752
1492.24/803.33	c cleaning 18004 clauses out of 36019 with flag 554001/3995753
1499.38/807.21	c cleaning 17995 clauses out of 36014 with flag 572000/4013752
1506.34/811.04	c cleaning 17996 clauses out of 36019 with flag 590000/4031752
1513.50/814.97	c cleaning 18007 clauses out of 36025 with flag 608002/4049754
1521.78/819.56	c cleaning 17996 clauses out of 36016 with flag 626000/4067752
1529.35/823.60	c cleaning 17998 clauses out of 36020 with flag 644000/4085752
1536.54/827.55	c cleaning 17989 clauses out of 36022 with flag 662000/4103752
1543.90/831.52	c cleaning 18011 clauses out of 36033 with flag 680000/4121752
1551.53/835.83	c cleaning 18007 clauses out of 36023 with flag 698001/4139753
1558.47/839.61	c cleaning 17995 clauses out of 36015 with flag 716000/4157752
1565.29/843.36	c cleaning 17990 clauses out of 36021 with flag 734001/4175753
1572.49/847.25	c cleaning 17998 clauses out of 36031 with flag 752001/4193753
1580.91/851.98	c cleaning 18009 clauses out of 36032 with flag 770000/4211752
1588.45/856.04	c cleaning 18008 clauses out of 36024 with flag 788001/4229753
1595.59/859.98	c cleaning 18003 clauses out of 36015 with flag 806000/4247752
1603.92/864.43	c cleaning 18000 clauses out of 36013 with flag 824001/4265753
1612.00/868.97	c cleaning 18000 clauses out of 36012 with flag 842000/4283752
1618.78/872.65	c cleaning 17993 clauses out of 36012 with flag 860000/4301752
1625.91/876.54	c cleaning 17994 clauses out of 36020 with flag 878001/4319753
1633.64/880.72	c cleaning 17992 clauses out of 36025 with flag 896000/4337752
1640.84/884.87	c cleaning 18007 clauses out of 36033 with flag 914000/4355752
1648.57/889.03	c cleaning 18009 clauses out of 36026 with flag 932000/4373752
1656.11/893.21	c cleaning 18001 clauses out of 36018 with flag 950001/4391753
1664.01/897.41	c cleaning 17999 clauses out of 36016 with flag 968000/4409752
1672.03/901.94	c cleaning 17998 clauses out of 36017 with flag 986000/4427752
1679.46/905.96	c cleaning 18005 clauses out of 36019 with flag 1004000/4445752
1686.60/909.81	c cleaning 17997 clauses out of 36014 with flag 1022000/4463752
1694.34/914.02	c cleaning 17997 clauses out of 36017 with flag 1040000/4481752
1701.73/918.22	c cleaning 18000 clauses out of 36021 with flag 1058001/4499753
1707.47/921.43	c cleaning 17991 clauses out of 36020 with flag 1076000/4517752
1713.79/924.95	c cleaning 18009 clauses out of 36029 with flag 1094000/4535752
1721.11/928.94	c cleaning 18002 clauses out of 36021 with flag 1112001/4553753
1729.11/933.49	c cleaning 18003 clauses out of 36018 with flag 1130000/4571752
1735.23/936.86	c cleaning 17993 clauses out of 36015 with flag 1148000/4589752
1742.35/940.75	c cleaning 17997 clauses out of 36022 with flag 1166000/4607752
1749.66/944.78	c cleaning 18001 clauses out of 36025 with flag 1184000/4625752
1756.87/948.83	c cleaning 18008 clauses out of 36025 with flag 1202001/4643753
1764.18/952.84	c cleaning 18001 clauses out of 36016 with flag 1220000/4661752
1771.50/956.81	c cleaning 17996 clauses out of 36015 with flag 1238000/4679752
1778.01/960.48	c cleaning 18004 clauses out of 36019 with flag 1256000/4697752
1785.30/964.60	c cleaning 18001 clauses out of 36015 with flag 1274000/4715752
1792.49/968.43	c cleaning 18007 clauses out of 36015 with flag 1292001/4733753
1798.99/972.00	c cleaning 17991 clauses out of 36007 with flag 1310000/4751752
1800.10/972.92	c starts		: 274
1800.10/972.92	c conflicts		: 4753434
1800.10/972.92	c decisions		: 5024131
1800.10/972.92	c propagations		: 28673952
1800.10/972.92	c inspects		: 4236307061
1800.10/972.92	c shortcuts		: 0
1800.10/972.92	c learnt literals	: 0
1800.10/972.92	c learnt binary clauses	: 0
1800.10/972.92	c learnt ternary clauses	: 0
1800.10/972.92	c learnt constraints	: 4753435
1800.10/972.92	c ignored constraints	: 0
1800.10/972.92	c root simplifications	: 0
1800.10/972.92	c removed literals (reason simplification)	: 71384721
1800.10/972.92	c reason swapping (by a shorter reason)	: 0
1800.10/972.92	c Calls to reduceDB	: 274
1800.10/972.92	c number of reductions to clauses (during analyze)	: 0
1800.10/972.92	c number of learned constraints concerned by reduction	: 0
1800.10/972.92	c number of learning phase by resolution	: 0
1800.10/972.92	c number of learning phase by cutting planes	: 0
1800.10/972.92	c speed (assignments/second)	: 95905.01801105749
1800.10/972.92	c non guided choices	0
1800.10/972.95	c learnt constraints type 
1800.10/972.95	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19943
1800.10/972.95	c constraints type 
1800.10/972.95	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.10/972.95	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17874
1800.10/972.95	c constraints type 
1800.10/972.95	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17874
1800.10/972.95	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.10/972.95	s SATISFIABLE
1800.10/972.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.10/972.96	c objective function=-26
1800.10/972.96	c Total wall clock time (in seconds): 972.825

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-3454526-1307189412/watcher-3454526-1307189412 -o /tmp/evaluation-result-3454526-1307189412/solver-3454526-1307189412 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454526-1307189412.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.86 3.77 3.05 3/547 8983
/proc/meminfo: memFree=21370012/32951124 swapFree=64303760/67111528
[pid=8983] ppid=8981 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/8983/stat : 8983 (runsolver) S 8981 8983 4512 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 811357110 12079104 50 33554432000 4194304 5432328 140733860690240 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699968823 0 0 17 6 0 0 0
/proc/8983/statm: 2949 50 31 303 0 2643 0

[startup+0.0737499 s]
/proc/loadavg: 3.86 3.77 3.05 3/547 8983
/proc/meminfo: memFree=21370012/32951124 swapFree=64303760/67111528
[pid=8983] ppid=8981 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/8983/stat : 8983 (java) S 8981 8983 4512 0 -1 4202496 11448 0 1 0 3 1 0 0 25 0 13 0 811357110 10718838784 11145 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522100197 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/8983/statm: 2616904 11147 1684 9 0 2607652 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616

[startup+0.100782 s]
/proc/loadavg: 3.86 3.77 3.05 3/547 8983
/proc/meminfo: memFree=21370012/32951124 swapFree=64303760/67111528
[pid=8983] ppid=8981 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/8983/stat : 8983 (java) S 8981 8983 4512 0 -1 4202496 11988 0 1 0 5 1 0 0 25 0 18 0 811357110 10724442112 11685 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8983/statm: 2618272 11685 1755 9 0 2609006 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088

[startup+0.300674 s]
/proc/loadavg: 3.86 3.77 3.05 3/547 8983
/proc/meminfo: memFree=21370012/32951124 swapFree=64303760/67111528
[pid=8983] ppid=8981 vsize=10542020 CPUtime=0.43 cores=0,2,4,6
/proc/8983/stat : 8983 (java) S 8981 8983 4512 0 -1 4202496 15391 0 1 0 42 1 0 0 25 0 18 0 811357110 10795028480 14803 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8983/statm: 2635505 14803 2199 9 0 2626239 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10542020

[startup+0.700693 s]
/proc/loadavg: 3.86 3.77 3.05 3/547 8983
/proc/meminfo: memFree=21370012/32951124 swapFree=64303760/67111528
[pid=8983] ppid=8981 vsize=10551624 CPUtime=0.95 cores=0,2,4,6
/proc/8983/stat : 8983 (java) S 8981 8983 4512 0 -1 4202496 27238 0 1 0 92 3 0 0 25 0 19 0 811357110 10804862976 25395 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8983/statm: 2637906 25395 2225 9 0 2628640 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10551624

[startup+1.50147 s]
/proc/loadavg: 3.86 3.77 3.05 5/566 9005
/proc/meminfo: memFree=21275816/32951124 swapFree=64303760/67111528
[pid=8983] ppid=8981 vsize=10564032 CPUtime=2.79 cores=0,2,4,6
/proc/8983/stat : 8983 (java) S 8981 8983 4512 0 -1 4202496 43006 0 1 0 274 5 0 0 25 0 19 0 811357110 10817568768 36875 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8983/statm: 2641008 36875 2238 9 0 2631742 0
[pid=8983/tid=8985] ppid=8981 vsize=10564032 CPUtime=0.46 cores=0,2,4,6
/proc/8983/task/8985/stat : 8985 (java) S 8981 8983 4512 0 -1 4202560 20905 0 1 0 44 2 0 0 16 0 19 0 811357113 10817568768 36875 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=8986] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8986/stat : 8986 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811357114 10817568768 36875 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8987] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8987/stat : 8987 (java) S 8981 8983 4512 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811357114 10817568768 36875 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8988] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8988/stat : 8988 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811357114 10817568768 36875 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8989] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8989/stat : 8989 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811357114 10817568768 36875 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8990] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8990/stat : 8990 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811357114 10817568768 36875 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8991] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8991/stat : 8991 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811357114 10817568768 36875 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8992] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8992/stat : 8992 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811357114 10817568768 36875 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8993] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8993/stat : 8993 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811357114 10817568768 36875 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8994] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8994/stat : 8994 (java) S 8981 8983 4512 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811357115 10817568768 36875 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 0 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=8995] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8995/stat : 8995 (java) S 8981 8983 4512 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811357116 10817568768 36875 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=8996] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8996/stat : 8996 (java) S 8981 8983 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811357116 10817568768 36875 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=8997] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8997/stat : 8997 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811357118 10817568768 36875 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522121137 0 4 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=8998] ppid=8981 vsize=10564032 CPUtime=0.72 cores=0,2,4,6
/proc/8983/task/8998/stat : 8998 (java) R 8981 8983 4512 0 -1 4202560 10326 0 0 0 71 1 0 0 21 0 19 0 811357118 10817568768 36875 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 47701971289576 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=8983/tid=8999] ppid=8981 vsize=10564032 CPUtime=0.69 cores=0,2,4,6
/proc/8983/task/8999/stat : 8999 (java) R 8981 8983 4512 0 -1 4202560 5363 0 0 0 69 0 0 0 16 0 19 0 811357118 10817568768 36875 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 47701971518291 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8983/tid=9000] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9000/stat : 9000 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811357118 10817568768 36875 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=9001] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9001/stat : 9001 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811357118 10817568768 36875 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=9004] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9004/stat : 9004 (java) S 8981 8983 4512 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 811357160 10817568768 36875 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 10564032

[startup+3.10121 s]
/proc/loadavg: 3.86 3.77 3.05 4/569 9011
/proc/meminfo: memFree=21088048/32951124 swapFree=64303760/67111528
[pid=8983] ppid=8981 vsize=10564032 CPUtime=6.29 cores=0,2,4,6
/proc/8983/stat : 8983 (java) S 8981 8983 4512 0 -1 4202496 111941 0 1 0 615 14 0 0 25 0 22 0 811357110 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8983/statm: 2641008 105802 2267 9 0 2631742 0
[pid=8983/tid=8985] ppid=8981 vsize=10564032 CPUtime=0.46 cores=0,2,4,6
/proc/8983/task/8985/stat : 8985 (java) S 8981 8983 4512 0 -1 4202560 20924 0 1 0 44 2 0 0 15 0 22 0 811357113 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8986] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8986/stat : 8986 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811357114 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8987] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8987/stat : 8987 (java) S 8981 8983 4512 0 -1 4202560 1342 0 0 0 0 0 0 0 16 0 22 0 811357114 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8988] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8988/stat : 8988 (java) S 8981 8983 4512 0 -1 4202560 1493 0 0 0 0 0 0 0 16 0 22 0 811357114 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8989] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8989/stat : 8989 (java) S 8981 8983 4512 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 811357114 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8990] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8990/stat : 8990 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811357114 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8991] ppid=8981 vsize=10564032 CPUtime=0.01 cores=0,2,4,6
/proc/8983/task/8991/stat : 8991 (java) S 8981 8983 4512 0 -1 4202560 1016 0 0 0 1 0 0 0 15 0 22 0 811357114 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8992] ppid=8981 vsize=10564032 CPUtime=0.01 cores=0,2,4,6
/proc/8983/task/8992/stat : 8992 (java) S 8981 8983 4512 0 -1 4202560 3124 0 0 0 1 0 0 0 16 0 22 0 811357114 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8993] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8993/stat : 8993 (java) S 8981 8983 4512 0 -1 4202560 1118 0 0 0 0 0 0 0 15 0 22 0 811357114 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8994] ppid=8981 vsize=10564032 CPUtime=0.08 cores=0,2,4,6
/proc/8983/task/8994/stat : 8994 (java) S 8981 8983 4512 0 -1 4202560 6776 0 0 0 8 0 0 0 16 0 22 0 811357115 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 0 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=8995] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8995/stat : 8995 (java) S 8981 8983 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811357116 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8996] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8996/stat : 8996 (java) S 8981 8983 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811357116 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8997] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8997/stat : 8997 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811357118 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522121137 0 4 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=8998] ppid=8981 vsize=10564032 CPUtime=0.94 cores=0,2,4,6
/proc/8983/task/8998/stat : 8998 (java) S 8981 8983 4512 0 -1 4202560 10444 0 0 0 93 1 0 0 15 0 22 0 811357118 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8999] ppid=8981 vsize=10564032 CPUtime=0.86 cores=0,2,4,6
/proc/8983/task/8999/stat : 8999 (java) S 8981 8983 4512 0 -1 4202560 5391 0 0 0 86 0 0 0 15 0 22 0 811357118 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=9000] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9000/stat : 9000 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811357118 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=9001] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9001/stat : 9001 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811357118 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=9004] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9004/stat : 9004 (java) S 8981 8983 4512 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811357160 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=9009] ppid=8981 vsize=10564032 CPUtime=1.47 cores=0,2,4,6
/proc/8983/task/9009/stat : 9009 (java) R 8981 8983 4512 0 -1 4202560 4710 0 0 0 146 1 0 0 17 0 22 0 811357262 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 46912505827245 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8983/tid=9010] ppid=8981 vsize=10564032 CPUtime=1.46 cores=0,2,4,6
/proc/8983/task/9010/stat : 9010 (java) R 8981 8983 4512 0 -1 4202560 49188 0 0 0 141 5 0 0 18 0 22 0 811357262 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 46912505972590 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8983/tid=9011] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9011/stat : 9011 (java) S 8981 8983 4512 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811357262 10817568768 105802 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10564032

[startup+6.30165 s]
/proc/loadavg: 3.87 3.78 3.06 5/569 9011
/proc/meminfo: memFree=20836416/32951124 swapFree=64303760/67111528
[pid=8983] ppid=8981 vsize=10564032 CPUtime=12.62 cores=0,2,4,6
/proc/8983/stat : 8983 (java) S 8981 8983 4512 0 -1 4202496 140759 0 1 0 1245 17 0 0 25 0 22 0 811357110 10817568768 134413 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8983/statm: 2641008 134413 2268 9 0 2631742 0
[pid=8983/tid=8985] ppid=8981 vsize=10564032 CPUtime=0.46 cores=0,2,4,6
/proc/8983/task/8985/stat : 8985 (java) S 8981 8983 4512 0 -1 4202560 20924 0 1 0 44 2 0 0 15 0 22 0 811357113 10817568768 134413 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8986] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8986/stat : 8986 (java) S 8981 8983 4512 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 22 0 811357114 10817568768 134413 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8987] ppid=8981 vsize=10564032 CPUtime=0.01 cores=0,2,4,6
/proc/8983/task/8987/stat : 8987 (java) S 8981 8983 4512 0 -1 4202560 1382 0 0 0 1 0 0 0 15 0 22 0 811357114 10817568768 134413 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8988] ppid=8981 vsize=10564032 CPUtime=0.01 cores=0,2,4,6
/proc/8983/task/8988/stat : 8988 (java) S 8981 8983 4512 0 -1 4202560 1539 0 0 0 1 0 0 0 15 0 22 0 811357114 10817568768 134413 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8989] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8989/stat : 8989 (java) S 8981 8983 4512 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 811357114 10817568768 134413 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8990] ppid=8981 vsize=10564032 CPUtime=0.02 cores=0,2,4,6
/proc/8983/task/8990/stat : 8990 (java) S 8981 8983 4512 0 -1 4202560 811 0 0 0 2 0 0 0 16 0 22 0 811357114 10817568768 134413 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8991] ppid=8981 vsize=10564032 CPUtime=0.01 cores=0,2,4,6
/proc/8983/task/8991/stat : 8991 (java) S 8981 8983 4512 0 -1 4202560 1083 0 0 0 1 0 0 0 16 0 22 0 811357114 10817568768 134413 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8992] ppid=8981 vsize=10564032 CPUtime=0.02 cores=0,2,4,6
/proc/8983/task/8992/stat : 8992 (java) S 8981 8983 4512 0 -1 4202560 3662 0 0 0 2 0 0 0 16 0 22 0 811357114 10817568768 134413 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8993] ppid=8981 vsize=10564032 CPUtime=0.01 cores=0,2,4,6
/proc/8983/task/8993/stat : 8993 (java) S 8981 8983 4512 0 -1 4202560 1670 0 0 0 1 0 0 0 16 0 22 0 811357114 10817568768 134413 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8994] ppid=8981 vsize=10564032 CPUtime=0.31 cores=0,2,4,6
/proc/8983/task/8994/stat : 8994 (java) S 8981 8983 4512 0 -1 4202560 12072 0 0 0 30 1 0 0 16 0 22 0 811357115 10817568768 134413 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 0 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=8995] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8995/stat : 8995 (java) S 8981 8983 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811357116 10817568768 134413 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8996] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8996/stat : 8996 (java) S 8981 8983 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811357116 10817568768 134413 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8997] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8997/stat : 8997 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811357118 10817568768 134413 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522121137 0 4 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=8998] ppid=8981 vsize=10564032 CPUtime=0.95 cores=0,2,4,6
/proc/8983/task/8998/stat : 8998 (java) S 8981 8983 4512 0 -1 4202560 10445 0 0 0 94 1 0 0 15 0 22 0 811357118 10817568768 134413 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8999] ppid=8981 vsize=10564032 CPUtime=0.98 cores=0,2,4,6
/proc/8983/task/8999/stat : 8999 (java) S 8981 8983 4512 0 -1 4202560 5475 0 0 0 98 0 0 0 15 0 22 0 811357118 10817568768 134413 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=9000] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9000/stat : 9000 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811357118 10817568768 134413 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=9001] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9001/stat : 9001 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811357118 10817568768 134413 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0

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

[pid=8983/tid=9099] ppid=8981 vsize=10564032 CPUtime=168.41 cores=0,2,4,6
/proc/8983/task/9099/stat : 9099 (java) R 8981 8983 4512 0 -1 4202560 7 0 0 0 16841 0 0 0 18 0 22 0 811424505 10817568768 290808 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 46912505848925 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8983/tid=9100] ppid=8981 vsize=10564032 CPUtime=168.41 cores=0,2,4,6
/proc/8983/task/9100/stat : 9100 (java) R 8981 8983 4512 0 -1 4202560 1 0 0 0 16841 0 0 0 18 0 22 0 811424505 10817568768 290808 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 46912506251129 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8983/tid=9101] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9101/stat : 9101 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811424505 10817568768 290808 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1635.85
Current children cumulated vsize (KiB) 10564032

[startup+942.302 s]
/proc/loadavg: 3.74 3.83 3.54 4/569 9114
/proc/meminfo: memFree=18124776/32951124 swapFree=64303760/67111528
[pid=8983] ppid=8981 vsize=10564032 CPUtime=1744.86 cores=0,2,4,6
/proc/8983/stat : 8983 (java) S 8981 8983 4512 0 -1 4202496 299743 0 1 0 174442 44 0 0 25 0 22 0 811357110 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8983/statm: 2641008 293008 2269 9 0 2631742 0
[pid=8983/tid=8985] ppid=8981 vsize=10564032 CPUtime=0.48 cores=0,2,4,6
/proc/8983/task/8985/stat : 8985 (java) S 8981 8983 4512 0 -1 4202560 21131 0 1 0 45 3 0 0 15 0 22 0 811357113 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=8986] ppid=8981 vsize=10564032 CPUtime=1.79 cores=0,2,4,6
/proc/8983/task/8986/stat : 8986 (java) S 8981 8983 4512 0 -1 4202560 1160 0 0 0 179 0 0 0 16 0 22 0 811357114 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8987] ppid=8981 vsize=10564032 CPUtime=1.71 cores=0,2,4,6
/proc/8983/task/8987/stat : 8987 (java) S 8981 8983 4512 0 -1 4202560 1791 0 0 0 171 0 0 0 16 0 22 0 811357114 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8988] ppid=8981 vsize=10564032 CPUtime=1.67 cores=0,2,4,6
/proc/8983/task/8988/stat : 8988 (java) S 8981 8983 4512 0 -1 4202560 2155 0 0 0 167 0 0 0 16 0 22 0 811357114 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8989] ppid=8981 vsize=10564032 CPUtime=1.87 cores=0,2,4,6
/proc/8983/task/8989/stat : 8989 (java) S 8981 8983 4512 0 -1 4202560 758 0 0 0 187 0 0 0 16 0 22 0 811357114 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8990] ppid=8981 vsize=10564032 CPUtime=1.95 cores=0,2,4,6
/proc/8983/task/8990/stat : 8990 (java) S 8981 8983 4512 0 -1 4202560 2528 0 0 0 195 0 0 0 16 0 22 0 811357114 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=8991] ppid=8981 vsize=10564032 CPUtime=1.77 cores=0,2,4,6
/proc/8983/task/8991/stat : 8991 (java) S 8981 8983 4512 0 -1 4202560 2882 0 0 0 177 0 0 0 15 0 22 0 811357114 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8992] ppid=8981 vsize=10564032 CPUtime=1.77 cores=0,2,4,6
/proc/8983/task/8992/stat : 8992 (java) S 8981 8983 4512 0 -1 4202560 3877 0 0 0 177 0 0 0 15 0 22 0 811357114 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=8993] ppid=8981 vsize=10564032 CPUtime=1.63 cores=0,2,4,6
/proc/8983/task/8993/stat : 8993 (java) S 8981 8983 4512 0 -1 4202560 2648 0 0 0 163 0 0 0 16 0 22 0 811357114 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=8994] ppid=8981 vsize=10564032 CPUtime=143.29 cores=0,2,4,6
/proc/8983/task/8994/stat : 8994 (java) S 8981 8983 4512 0 -1 4202560 95299 0 0 0 14316 13 0 0 16 0 22 0 811357115 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 0 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=8995] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8995/stat : 8995 (java) S 8981 8983 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811357116 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8996] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8996/stat : 8996 (java) S 8981 8983 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811357116 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8997] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8997/stat : 8997 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811357118 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522121137 0 4 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=8998] ppid=8981 vsize=10564032 CPUtime=1.03 cores=0,2,4,6
/proc/8983/task/8998/stat : 8998 (java) S 8981 8983 4512 0 -1 4202560 10459 0 0 0 102 1 0 0 15 0 22 0 811357118 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8999] ppid=8981 vsize=10564032 CPUtime=1.56 cores=0,2,4,6
/proc/8983/task/8999/stat : 8999 (java) S 8981 8983 4512 0 -1 4202560 5539 0 0 0 156 0 0 0 15 0 22 0 811357118 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=9000] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9000/stat : 9000 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811357118 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=9001] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9001/stat : 9001 (java) S 8981 8983 4512 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 811357118 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=9004] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9004/stat : 9004 (java) S 8981 8983 4512 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811357160 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=9099] ppid=8981 vsize=10564032 CPUtime=216.71 cores=0,2,4,6
/proc/8983/task/9099/stat : 9099 (java) R 8981 8983 4512 0 -1 4202560 7 0 0 0 21671 0 0 0 19 0 22 0 811424505 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 46912505848943 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8983/tid=9100] ppid=8981 vsize=10564032 CPUtime=216.72 cores=0,2,4,6
/proc/8983/task/9100/stat : 9100 (java) R 8981 8983 4512 0 -1 4202560 1 0 0 0 21672 0 0 0 19 0 22 0 811424505 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 46912505972017 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8983/tid=9101] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9101/stat : 9101 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811424505 10817568768 293008 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1744.86
Current children cumulated vsize (KiB) 10564032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+972.901 s]
/proc/loadavg: 3.86 3.84 3.55 5/569 9181
/proc/meminfo: memFree=19776924/32951124 swapFree=64303760/67111528
[pid=8983] ppid=8981 vsize=10564032 CPUtime=1800.1 cores=0,2,4,6
/proc/8983/stat : 8983 (java) S 8981 8983 4512 0 -1 4202496 303531 0 1 0 179965 45 0 0 25 0 22 0 811357110 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8983/statm: 2641008 296784 2269 9 0 2631742 0
[pid=8983/tid=8985] ppid=8981 vsize=10564032 CPUtime=0.48 cores=0,2,4,6
/proc/8983/task/8985/stat : 8985 (java) S 8981 8983 4512 0 -1 4202560 21136 0 1 0 45 3 0 0 15 0 22 0 811357113 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=8986] ppid=8981 vsize=10564032 CPUtime=1.83 cores=0,2,4,6
/proc/8983/task/8986/stat : 8986 (java) S 8981 8983 4512 0 -1 4202560 1160 0 0 0 183 0 0 0 15 0 22 0 811357114 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=8987] ppid=8981 vsize=10564032 CPUtime=1.79 cores=0,2,4,6
/proc/8983/task/8987/stat : 8987 (java) S 8981 8983 4512 0 -1 4202560 1797 0 0 0 179 0 0 0 16 0 22 0 811357114 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8988] ppid=8981 vsize=10564032 CPUtime=1.72 cores=0,2,4,6
/proc/8983/task/8988/stat : 8988 (java) S 8981 8983 4512 0 -1 4202560 2155 0 0 0 172 0 0 0 15 0 22 0 811357114 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8989] ppid=8981 vsize=10564032 CPUtime=1.95 cores=0,2,4,6
/proc/8983/task/8989/stat : 8989 (java) S 8981 8983 4512 0 -1 4202560 763 0 0 0 195 0 0 0 15 0 22 0 811357114 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=8990] ppid=8981 vsize=10564032 CPUtime=2.02 cores=0,2,4,6
/proc/8983/task/8990/stat : 8990 (java) S 8981 8983 4512 0 -1 4202560 2528 0 0 0 202 0 0 0 16 0 22 0 811357114 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8991] ppid=8981 vsize=10564032 CPUtime=1.85 cores=0,2,4,6
/proc/8983/task/8991/stat : 8991 (java) S 8981 8983 4512 0 -1 4202560 2882 0 0 0 185 0 0 0 15 0 22 0 811357114 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=8992] ppid=8981 vsize=10564032 CPUtime=1.81 cores=0,2,4,6
/proc/8983/task/8992/stat : 8992 (java) S 8981 8983 4512 0 -1 4202560 3877 0 0 0 181 0 0 0 16 0 22 0 811357114 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8993] ppid=8981 vsize=10564032 CPUtime=1.7 cores=0,2,4,6
/proc/8983/task/8993/stat : 8993 (java) S 8981 8983 4512 0 -1 4202560 2648 0 0 0 170 0 0 0 16 0 22 0 811357114 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8994] ppid=8981 vsize=10564032 CPUtime=149.45 cores=0,2,4,6
/proc/8983/task/8994/stat : 8994 (java) S 8981 8983 4512 0 -1 4202560 99066 0 0 0 14932 13 0 0 16 0 22 0 811357115 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 0 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=8995] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8995/stat : 8995 (java) S 8981 8983 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811357116 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8996] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8996/stat : 8996 (java) S 8981 8983 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811357116 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8997] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8997/stat : 8997 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811357118 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522121137 0 4 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=8998] ppid=8981 vsize=10564032 CPUtime=1.03 cores=0,2,4,6
/proc/8983/task/8998/stat : 8998 (java) S 8981 8983 4512 0 -1 4202560 10459 0 0 0 102 1 0 0 15 0 22 0 811357118 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8999] ppid=8981 vsize=10564032 CPUtime=1.56 cores=0,2,4,6
/proc/8983/task/8999/stat : 8999 (java) S 8981 8983 4512 0 -1 4202560 5539 0 0 0 156 0 0 0 15 0 22 0 811357118 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=9000] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9000/stat : 9000 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811357118 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=9001] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9001/stat : 9001 (java) S 8981 8983 4512 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 811357118 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=9004] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9004/stat : 9004 (java) S 8981 8983 4512 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811357160 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=9099] ppid=8981 vsize=10564032 CPUtime=241.02 cores=0,2,4,6
/proc/8983/task/9099/stat : 9099 (java) R 8981 8983 4512 0 -1 4202560 10 0 0 0 24101 1 0 0 18 0 22 0 811424505 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 46912505821363 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8983/tid=9100] ppid=8981 vsize=10564032 CPUtime=241.01 cores=0,2,4,6
/proc/8983/task/9100/stat : 9100 (java) R 8981 8983 4512 0 -1 4202560 1 0 0 0 24101 0 0 0 18 0 22 0 811424505 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 46912506251009 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8983/tid=9101] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9101/stat : 9101 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811424505 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10564032

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

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

[startup+972.901 s]
/proc/loadavg: 3.86 3.84 3.55 5/569 9181
/proc/meminfo: memFree=19776924/32951124 swapFree=64303760/67111528
[pid=8983] ppid=8981 vsize=10564032 CPUtime=1800.1 cores=0,2,4,6
/proc/8983/stat : 8983 (java) S 8981 8983 4512 0 -1 4202496 303531 0 1 0 179965 45 0 0 25 0 22 0 811357110 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8983/statm: 2641008 296784 2269 9 0 2631742 0
[pid=8983/tid=8985] ppid=8981 vsize=10564032 CPUtime=0.48 cores=0,2,4,6
/proc/8983/task/8985/stat : 8985 (java) S 8981 8983 4512 0 -1 4202560 21136 0 1 0 45 3 0 0 15 0 22 0 811357113 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=8986] ppid=8981 vsize=10564032 CPUtime=1.83 cores=0,2,4,6
/proc/8983/task/8986/stat : 8986 (java) S 8981 8983 4512 0 -1 4202560 1160 0 0 0 183 0 0 0 15 0 22 0 811357114 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=8987] ppid=8981 vsize=10564032 CPUtime=1.79 cores=0,2,4,6
/proc/8983/task/8987/stat : 8987 (java) S 8981 8983 4512 0 -1 4202560 1797 0 0 0 179 0 0 0 16 0 22 0 811357114 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8988] ppid=8981 vsize=10564032 CPUtime=1.72 cores=0,2,4,6
/proc/8983/task/8988/stat : 8988 (java) S 8981 8983 4512 0 -1 4202560 2155 0 0 0 172 0 0 0 15 0 22 0 811357114 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8989] ppid=8981 vsize=10564032 CPUtime=1.95 cores=0,2,4,6
/proc/8983/task/8989/stat : 8989 (java) S 8981 8983 4512 0 -1 4202560 763 0 0 0 195 0 0 0 15 0 22 0 811357114 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=8990] ppid=8981 vsize=10564032 CPUtime=2.02 cores=0,2,4,6
/proc/8983/task/8990/stat : 8990 (java) S 8981 8983 4512 0 -1 4202560 2528 0 0 0 202 0 0 0 16 0 22 0 811357114 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 4 0 0 0
[pid=8983/tid=8991] ppid=8981 vsize=10564032 CPUtime=1.85 cores=0,2,4,6
/proc/8983/task/8991/stat : 8991 (java) S 8981 8983 4512 0 -1 4202560 2882 0 0 0 185 0 0 0 15 0 22 0 811357114 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=8992] ppid=8981 vsize=10564032 CPUtime=1.81 cores=0,2,4,6
/proc/8983/task/8992/stat : 8992 (java) S 8981 8983 4512 0 -1 4202560 3877 0 0 0 181 0 0 0 16 0 22 0 811357114 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8993] ppid=8981 vsize=10564032 CPUtime=1.7 cores=0,2,4,6
/proc/8983/task/8993/stat : 8993 (java) S 8981 8983 4512 0 -1 4202560 2648 0 0 0 170 0 0 0 16 0 22 0 811357114 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8994] ppid=8981 vsize=10564032 CPUtime=149.45 cores=0,2,4,6
/proc/8983/task/8994/stat : 8994 (java) S 8981 8983 4512 0 -1 4202560 99066 0 0 0 14932 13 0 0 16 0 22 0 811357115 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 0 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=8995] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8995/stat : 8995 (java) S 8981 8983 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811357116 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8996] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8996/stat : 8996 (java) S 8981 8983 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811357116 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8997] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8997/stat : 8997 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811357118 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522121137 0 4 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=8998] ppid=8981 vsize=10564032 CPUtime=1.03 cores=0,2,4,6
/proc/8983/task/8998/stat : 8998 (java) S 8981 8983 4512 0 -1 4202560 10459 0 0 0 102 1 0 0 15 0 22 0 811357118 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=8999] ppid=8981 vsize=10564032 CPUtime=1.56 cores=0,2,4,6
/proc/8983/task/8999/stat : 8999 (java) S 8981 8983 4512 0 -1 4202560 5539 0 0 0 156 0 0 0 15 0 22 0 811357118 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=9000] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9000/stat : 9000 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811357118 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170048 0 0 -1 2 0 0 0
[pid=8983/tid=9001] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9001/stat : 9001 (java) S 8981 8983 4512 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 811357118 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 0 0 0 0
[pid=8983/tid=9004] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9004/stat : 9004 (java) S 8981 8983 4512 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811357160 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
[pid=8983/tid=9099] ppid=8981 vsize=10564032 CPUtime=241.02 cores=0,2,4,6
/proc/8983/task/9099/stat : 9099 (java) R 8981 8983 4512 0 -1 4202560 10 0 0 0 24101 1 0 0 18 0 22 0 811424505 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 46912505821363 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8983/tid=9100] ppid=8981 vsize=10564032 CPUtime=241.01 cores=0,2,4,6
/proc/8983/task/9100/stat : 9100 (java) R 8981 8983 4512 0 -1 4202560 1 0 0 0 24101 0 0 0 18 0 22 0 811424505 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 46912506251009 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8983/tid=9101] ppid=8981 vsize=10564032 CPUtime=0 cores=0,2,4,6
/proc/8983/task/9101/stat : 9101 (java) S 8981 8983 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811424505 10817568768 296784 33554432000 1073741824 1073778376 140733618223984 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10564032

Child status: 143
Real time (s): 973.014
CPU time (s): 1800.31
CPU user time (s): 1799.8
CPU system time (s): 0.510922
CPU usage (%): 185.024
Max. virtual memory (cumulated for all children) (KiB): 10564032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.510922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 303560
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= 30149
involuntary context switches= 25802

runsolver used 5.64314 second user time and 11.8632 second system time

The end

Launcher Data 

Begin job on node145 at 2011-06-04 14:10:13
IDJOB=3454526
IDBENCH=2237
IDSOLVER=1950
FILE ID=node145/3454526-1307189412
RUNJOBID= node145-1307188484-8766
PBS_JOBID= 13508838
Free space on /tmp= 73988 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-2.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454526-1307189412/watcher-3454526-1307189412 -o /tmp/evaluation-result-3454526-1307189412/solver-3454526-1307189412 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454526-1307189412.opb

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

MD5SUM BENCH= 5909a36352b34473abff2d7e1fe31c04
RANDOM SEED=248728908

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21370176 kB
Buffers:        271116 kB
Cached:         602328 kB
SwapCached:        944 kB
Active:       10826024 kB
Inactive:       482684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21370176 kB
SwapTotal:    67111528 kB
SwapFree:     64303760 kB
Dirty:             848 kB
Writeback:           0 kB
AnonPages:    10433928 kB
Mapped:          42632 kB
Slab:           135140 kB
PageTables:      68480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 163587932 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= 73988 MiB
End job on node145 at 2011-06-04 14:26:27