Trace number 3458320

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0SAT (TO)40 1800.18 1796.67

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_2.opb
MD5SUMe4d0ce6c299ae1a05f607b170c68aad6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark1797.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 33
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint26
Maximum length of a constraint46
Number of terms in the objective function 500
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 500
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 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15670
Sum of products size (including duplicates)31340
Number of different products15670
Sum of products size31340

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.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		12995394264
0.00/0.09	c Max memory 		13063553024
0.00/0.09	c Total memory 		13063553024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458320-1307158812.opb
0.10/0.11	c reading problem ... 
1.36/0.60	c ... done. Wall clock time 0.49s.
1.36/0.60	c #vars     16170
1.36/0.60	c #constraints  31840
1.36/0.60	c constraints type 
1.36/0.60	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16170
1.36/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15670
1.66/0.73	c SATISFIABLE
1.66/0.73	c OPTIMIZING...
1.66/0.73	c Got one! Elapsed wall clock time (in seconds):0.626
1.66/0.73	o 45
2.36/1.13	c Got one! Elapsed wall clock time (in seconds):1.022
2.36/1.13	o 44
3.19/1.90	c Got one! Elapsed wall clock time (in seconds):1.794
3.19/1.90	o 43
4.09/2.82	c cleaning 3138 clauses out of 6283 with flag 3002/6283
4.25/3.00	c Got one! Elapsed wall clock time (in seconds):2.889
4.25/3.00	o 42
5.80/4.48	c cleaning 4258 clauses out of 8523 with flag 5001/11661
7.59/6.20	c cleaning 5127 clauses out of 10264 with flag 11000/17660
9.60/8.23	c cleaning 6065 clauses out of 12139 with flag 18002/24662
12.03/10.65	c cleaning 7030 clauses out of 14072 with flag 26000/32660
14.54/13.16	c cleaning 8018 clauses out of 16044 with flag 35002/41662
17.44/16.07	c cleaning 9009 clauses out of 18025 with flag 45001/51661
20.85/19.47	c cleaning 10001 clauses out of 20016 with flag 56001/62661
24.36/22.98	c cleaning 11005 clauses out of 22015 with flag 68001/74661
28.06/26.60	c cleaning 11996 clauses out of 24010 with flag 81001/87661
32.29/30.84	c cleaning 13001 clauses out of 26013 with flag 95000/101660
36.78/35.35	c cleaning 14002 clauses out of 28013 with flag 110001/116661
40.99/39.60	c Got one! Elapsed wall clock time (in seconds):39.489
40.99/39.60	o 41
42.23/40.75	c cleaning 16762 clauses out of 33546 with flag 5002/136196
43.82/42.39	c cleaning 11386 clauses out of 22783 with flag 11001/142195
46.22/44.71	c cleaning 9194 clauses out of 18396 with flag 18000/149194
48.73/47.30	c cleaning 8597 clauses out of 17203 with flag 26001/157195
51.73/50.28	c cleaning 8799 clauses out of 17607 with flag 35002/166196
55.04/53.50	c cleaning 9400 clauses out of 18806 with flag 45000/176194
58.25/56.76	c cleaning 10197 clauses out of 20406 with flag 56000/187194
62.35/60.84	c cleaning 11096 clauses out of 22209 with flag 68000/199194
66.56/65.03	c cleaning 12050 clauses out of 24114 with flag 81001/212195
71.37/69.86	c cleaning 13030 clauses out of 26064 with flag 95001/226195
75.78/74.25	c cleaning 14011 clauses out of 28034 with flag 110001/241195
80.58/79.07	c cleaning 15007 clauses out of 30023 with flag 126001/257195
85.29/83.76	c Got one! Elapsed wall clock time (in seconds):83.652
85.29/83.76	o 40
86.59/85.00	c cleaning 17784 clauses out of 35584 with flag 5000/277763
88.52/86.93	c cleaning 11896 clauses out of 23801 with flag 11001/283764
90.61/89.10	c cleaning 9445 clauses out of 18906 with flag 18002/290765
92.82/91.28	c cleaning 8720 clauses out of 17460 with flag 26001/298764
95.72/94.19	c cleaning 8863 clauses out of 17739 with flag 35000/307763
99.12/97.54	c cleaning 9429 clauses out of 18877 with flag 45001/317764
102.84/101.22	c cleaning 10217 clauses out of 20447 with flag 56000/328763
107.03/105.42	c cleaning 11108 clauses out of 22231 with flag 68001/340764
111.33/109.76	c cleaning 12059 clauses out of 24123 with flag 81001/353764
115.84/114.23	c cleaning 13016 clauses out of 26063 with flag 95000/367763
120.64/119.01	c cleaning 14014 clauses out of 28048 with flag 110001/382764
125.45/123.84	c cleaning 15010 clauses out of 30034 with flag 126001/398764
131.66/130.02	c cleaning 16003 clauses out of 32023 with flag 143000/415763
138.08/136.45	c cleaning 17003 clauses out of 34021 with flag 161001/433764
144.98/143.39	c cleaning 18000 clauses out of 36018 with flag 180001/452764
152.19/150.55	c cleaning 19004 clauses out of 38017 with flag 200000/472763
159.69/158.01	c cleaning 19997 clauses out of 40015 with flag 221002/493765
167.91/166.25	c cleaning 20997 clauses out of 42016 with flag 243000/515763
176.52/174.82	c cleaning 22000 clauses out of 44020 with flag 266001/538764
186.02/184.34	c cleaning 23004 clauses out of 46019 with flag 290000/562763
196.54/194.84	c cleaning 24003 clauses out of 48017 with flag 315002/587765
205.26/203.60	c cleaning 24997 clauses out of 50014 with flag 341002/613765
214.09/212.32	c cleaning 25999 clauses out of 52016 with flag 368001/640764
222.98/221.26	c cleaning 26998 clauses out of 54017 with flag 396001/668764
232.70/230.91	c cleaning 28002 clauses out of 56020 with flag 425002/697765
243.00/241.22	c cleaning 28997 clauses out of 58016 with flag 455000/727763
253.73/251.97	c cleaning 29996 clauses out of 60019 with flag 486000/758763
265.04/263.20	c cleaning 31005 clauses out of 62024 with flag 518001/790764
276.25/274.40	c cleaning 31503 clauses out of 63019 with flag 550001/822764
286.96/285.15	c cleaning 31749 clauses out of 63515 with flag 582000/854763
298.28/296.44	c cleaning 31880 clauses out of 63767 with flag 614001/886764
308.58/306.70	c cleaning 31933 clauses out of 63886 with flag 646000/918763
319.10/317.27	c cleaning 31969 clauses out of 63954 with flag 678001/950764
329.73/327.85	c cleaning 31984 clauses out of 63985 with flag 710001/982764
341.23/339.35	c cleaning 31995 clauses out of 64000 with flag 742000/1014763
351.66/349.75	c cleaning 31996 clauses out of 64006 with flag 774001/1046764
361.96/360.07	c cleaning 31995 clauses out of 64009 with flag 806000/1078763
372.88/370.96	c cleaning 31998 clauses out of 64014 with flag 838000/1110763
383.99/382.00	c cleaning 31999 clauses out of 64016 with flag 870000/1142763
395.20/393.27	c cleaning 31999 clauses out of 64018 with flag 902001/1174764
406.92/404.95	c cleaning 32004 clauses out of 64019 with flag 934001/1206764
419.36/417.33	c cleaning 31997 clauses out of 64016 with flag 966002/1238765
431.47/429.47	c cleaning 32000 clauses out of 64017 with flag 998000/1270763
443.09/441.11	c cleaning 32002 clauses out of 64017 with flag 1030000/1302763
455.20/453.11	c cleaning 31999 clauses out of 64017 with flag 1062002/1334765
466.21/464.17	c cleaning 32003 clauses out of 64016 with flag 1094000/1366763
476.62/474.51	c cleaning 31998 clauses out of 64013 with flag 1126000/1398763
486.64/484.59	c cleaning 32000 clauses out of 64017 with flag 1158002/1430765
496.65/494.52	c cleaning 31998 clauses out of 64015 with flag 1190000/1462763
506.97/504.90	c cleaning 32000 clauses out of 64017 with flag 1222000/1494763
518.48/516.37	c cleaning 32005 clauses out of 64018 with flag 1254001/1526764
530.51/528.36	c cleaning 31998 clauses out of 64012 with flag 1286000/1558763
543.12/540.97	c cleaning 31997 clauses out of 64015 with flag 1318001/1590764
555.94/553.75	c cleaning 32002 clauses out of 64017 with flag 1350000/1622763
566.84/564.67	c cleaning 32000 clauses out of 64016 with flag 1382001/1654764
578.17/575.94	c cleaning 31999 clauses out of 64015 with flag 1414000/1686763
589.70/587.49	c cleaning 31994 clauses out of 64017 with flag 1446001/1718764
601.00/598.71	c cleaning 31999 clauses out of 64023 with flag 1478001/1750764
611.90/609.63	c cleaning 32002 clauses out of 64024 with flag 1510001/1782764
624.12/621.88	c cleaning 32003 clauses out of 64022 with flag 1542001/1814764
636.22/633.92	c cleaning 31996 clauses out of 64019 with flag 1574001/1846764
648.54/646.25	c cleaning 31999 clauses out of 64023 with flag 1606001/1878764
660.66/658.32	c cleaning 32004 clauses out of 64024 with flag 1638001/1910764
674.07/671.71	c cleaning 31999 clauses out of 64019 with flag 1670000/1942763
687.48/685.15	c cleaning 32000 clauses out of 64021 with flag 1702001/1974764
699.00/696.61	c cleaning 32003 clauses out of 64022 with flag 1734002/2006765
709.30/706.94	c cleaning 32004 clauses out of 64017 with flag 1766000/2038763
720.62/718.25	c cleaning 31998 clauses out of 64014 with flag 1798001/2070764
732.53/730.19	c cleaning 32000 clauses out of 64015 with flag 1830000/2102763
744.96/742.53	c cleaning 32002 clauses out of 64016 with flag 1862001/2134764
756.85/754.42	c cleaning 32000 clauses out of 64016 with flag 1894003/2166766
767.98/765.61	c cleaning 32000 clauses out of 64013 with flag 1926000/2198763
779.99/777.57	c cleaning 31998 clauses out of 64014 with flag 1958001/2230764
792.60/790.14	c cleaning 32001 clauses out of 64017 with flag 1990002/2262765
804.01/801.57	c cleaning 32002 clauses out of 64015 with flag 2022001/2294764
815.53/813.02	c cleaning 31999 clauses out of 64012 with flag 2054000/2326763
826.64/824.19	c cleaning 31998 clauses out of 64013 with flag 2086000/2358763
838.06/835.54	c cleaning 32002 clauses out of 64015 with flag 2118000/2390763
848.97/846.44	c cleaning 32000 clauses out of 64014 with flag 2150001/2422764
860.08/857.50	c cleaning 32003 clauses out of 64013 with flag 2182000/2454763
871.69/869.10	c cleaning 31997 clauses out of 64011 with flag 2214001/2486764
883.60/881.07	c cleaning 32001 clauses out of 64014 with flag 2246001/2518764
895.91/893.35	c cleaning 31997 clauses out of 64012 with flag 2278000/2550763
908.32/905.70	c cleaning 31995 clauses out of 64015 with flag 2310000/2582763
920.44/917.83	c cleaning 32002 clauses out of 64020 with flag 2342000/2614763
931.95/929.30	c cleaning 32001 clauses out of 64019 with flag 2374001/2646764
943.85/941.21	c cleaning 31999 clauses out of 64017 with flag 2406000/2678763
956.76/954.19	c cleaning 32000 clauses out of 64018 with flag 2438000/2710763
970.28/967.60	c cleaning 32003 clauses out of 64019 with flag 2470001/2742764
983.79/981.13	c cleaning 31997 clauses out of 64016 with flag 2502001/2774764
997.20/994.56	c cleaning 32002 clauses out of 64020 with flag 2534002/2806765
1011.51/1008.87	c cleaning 31999 clauses out of 64016 with flag 2566000/2838763
1025.74/1023.09	c cleaning 31995 clauses out of 64018 with flag 2598001/2870764
1040.83/1038.13	c cleaning 31996 clauses out of 64022 with flag 2630000/2902763
1053.15/1050.48	c cleaning 32004 clauses out of 64026 with flag 2662000/2934763
1065.15/1062.47	c cleaning 31999 clauses out of 64022 with flag 2694000/2966763
1076.66/1073.93	c cleaning 32008 clauses out of 64025 with flag 2726002/2998765
1087.87/1085.14	c cleaning 32001 clauses out of 64015 with flag 2758000/3030763
1098.89/1096.11	c cleaning 31999 clauses out of 64014 with flag 2790000/3062763
1110.10/1107.34	c cleaning 32000 clauses out of 64016 with flag 2822001/3094764
1121.53/1118.79	c cleaning 31996 clauses out of 64015 with flag 2854000/3126763
1133.33/1130.55	c cleaning 31998 clauses out of 64019 with flag 2886000/3158763
1144.84/1142.05	c cleaning 32000 clauses out of 64021 with flag 2918000/3190763
1155.95/1153.13	c cleaning 31998 clauses out of 64022 with flag 2950001/3222764
1166.97/1164.20	c cleaning 32000 clauses out of 64024 with flag 2982001/3254764
1178.39/1175.56	c cleaning 32004 clauses out of 64023 with flag 3014000/3286763
1190.92/1188.03	c cleaning 32000 clauses out of 64019 with flag 3046000/3318763
1204.03/1201.19	c cleaning 32001 clauses out of 64019 with flag 3078000/3350763
1217.14/1214.27	c cleaning 31998 clauses out of 64019 with flag 3110001/3382764
1231.25/1228.39	c cleaning 32002 clauses out of 64020 with flag 3142000/3414763
1243.77/1240.86	c cleaning 32000 clauses out of 64018 with flag 3174000/3446763
1255.97/1253.09	c cleaning 31998 clauses out of 64019 with flag 3206001/3478764
1268.59/1265.67	c cleaning 32003 clauses out of 64020 with flag 3238000/3510763
1280.70/1277.70	c cleaning 31997 clauses out of 64018 with flag 3270001/3542764
1293.22/1290.23	c cleaning 32005 clauses out of 64021 with flag 3302001/3574764
1305.72/1302.79	c cleaning 32002 clauses out of 64015 with flag 3334000/3606763
1317.63/1314.62	c cleaning 31998 clauses out of 64013 with flag 3366000/3638763
1328.74/1325.77	c cleaning 31996 clauses out of 64016 with flag 3398001/3670764
1340.35/1337.35	c cleaning 31996 clauses out of 64020 with flag 3430001/3702764
1351.77/1348.71	c cleaning 32002 clauses out of 64025 with flag 3462002/3734765
1363.27/1360.24	c cleaning 32002 clauses out of 64022 with flag 3494001/3766764
1375.09/1372.07	c cleaning 31998 clauses out of 64020 with flag 3526001/3798764
1387.40/1384.30	c cleaning 31999 clauses out of 64021 with flag 3558000/3830763
1399.31/1396.22	c cleaning 32002 clauses out of 64023 with flag 3590001/3862764
1411.72/1408.64	c cleaning 32007 clauses out of 64022 with flag 3622002/3894765
1423.33/1420.26	c cleaning 31998 clauses out of 64014 with flag 3654001/3926764
1434.34/1431.29	c cleaning 31994 clauses out of 64016 with flag 3686001/3958764
1445.75/1442.65	c cleaning 32007 clauses out of 64021 with flag 3718000/3990763
1456.86/1453.75	c cleaning 31998 clauses out of 64014 with flag 3750000/4022763
1468.17/1465.08	c cleaning 32004 clauses out of 64018 with flag 3782002/4054765
1479.18/1476.01	c cleaning 31997 clauses out of 64013 with flag 3814001/4086764
1490.19/1487.01	c cleaning 31998 clauses out of 64015 with flag 3846000/4118763
1501.20/1498.07	c cleaning 31997 clauses out of 64018 with flag 3878001/4150764
1512.31/1509.16	c cleaning 31998 clauses out of 64020 with flag 3910000/4182763
1523.51/1520.32	c cleaning 32001 clauses out of 64023 with flag 3942001/4214764
1534.52/1531.37	c cleaning 31999 clauses out of 64021 with flag 3974000/4246763
1545.63/1542.46	c cleaning 32002 clauses out of 64023 with flag 4006001/4278764
1556.46/1553.25	c cleaning 32000 clauses out of 64020 with flag 4038000/4310763
1567.55/1564.30	c cleaning 32001 clauses out of 64021 with flag 4070001/4342764
1578.56/1575.30	c cleaning 31998 clauses out of 64019 with flag 4102000/4374763
1590.26/1587.04	c cleaning 32003 clauses out of 64022 with flag 4134001/4406764
1601.58/1598.38	c cleaning 31994 clauses out of 64018 with flag 4166000/4438763
1613.27/1610.03	c cleaning 32006 clauses out of 64025 with flag 4198001/4470764
1623.48/1620.30	c cleaning 32002 clauses out of 64019 with flag 4230001/4502764
1634.09/1630.84	c cleaning 31997 clauses out of 64017 with flag 4262001/4534764
1645.81/1642.54	c cleaning 32002 clauses out of 64020 with flag 4294001/4566764
1657.52/1654.20	c cleaning 32001 clauses out of 64017 with flag 4326000/4598763
1668.93/1665.62	c cleaning 32001 clauses out of 64016 with flag 4358000/4630763
1680.14/1676.87	c cleaning 31996 clauses out of 64016 with flag 4390001/4662764
1691.45/1688.11	c cleaning 32001 clauses out of 64020 with flag 4422001/4694764
1703.37/1700.06	c cleaning 32003 clauses out of 64018 with flag 4454000/4726763
1715.18/1711.83	c cleaning 31994 clauses out of 64015 with flag 4486000/4758763
1727.39/1724.02	c cleaning 32004 clauses out of 64022 with flag 4518001/4790764
1740.01/1736.62	c cleaning 31999 clauses out of 64017 with flag 4550000/4822763
1753.02/1749.63	c cleaning 31997 clauses out of 64018 with flag 4582000/4854763
1765.43/1762.07	c cleaning 32000 clauses out of 64022 with flag 4614001/4886764
1778.03/1774.62	c cleaning 32002 clauses out of 64023 with flag 4646002/4918765
1789.05/1785.65	c cleaning 31999 clauses out of 64020 with flag 4678001/4950764
1799.77/1796.38	c cleaning 32000 clauses out of 64020 with flag 4710000/4982763
1800.08/1796.62	c starts		: 279
1800.08/1796.62	c conflicts		: 4983362
1800.08/1796.62	c decisions		: 7498194
1800.08/1796.62	c propagations		: 1039106010
1800.08/1796.62	c inspects		: 12895734961
1800.08/1796.62	c shortcuts		: 0
1800.08/1796.62	c learnt literals	: 0
1800.08/1796.62	c learnt binary clauses	: 0
1800.08/1796.62	c learnt ternary clauses	: 0
1800.08/1796.62	c learnt constraints	: 4983362
1800.08/1796.62	c ignored constraints	: 0
1800.08/1796.62	c root simplifications	: 0
1800.08/1796.62	c removed literals (reason simplification)	: 11007954
1800.08/1796.62	c reason swapping (by a shorter reason)	: 0
1800.08/1796.62	c Calls to reduceDB	: 183
1800.08/1796.62	c number of reductions to clauses (during analyze)	: 0
1800.08/1796.62	c number of learned constraints concerned by reduction	: 0
1800.08/1796.62	c number of learning phase by resolution	: 0
1800.08/1796.62	c number of learning phase by cutting planes	: 0
1800.08/1796.62	c speed (assignments/second)	: 606649.0166750152
1800.08/1796.62	c non guided choices	591
1800.08/1796.64	c learnt constraints type 
1800.08/1796.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 32675
1800.08/1796.64	c constraints type 
1800.08/1796.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16170
1800.08/1796.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/1796.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15670
1800.08/1796.64	s SATISFIABLE
1800.08/1796.64	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 
1800.08/1796.64	c objective function=40
1800.08/1796.64	c Total wall clock time (in seconds): 1796.533

Verifier Data 

OK	40

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 1.99 2/487 12812
/proc/meminfo: memFree=24011888/32951124 swapFree=56297244/67111528
[pid=12812] ppid=12810 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/12812/stat : 12812 (java) S 12810 12812 8699 0 -1 4202496 1179 0 0 0 0 0 0 0 25 0 2 0 906111689 27824128 906 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469868517 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/12812/statm: 6793 906 688 9 0 381 0
[pid=12812/tid=12813] ppid=12810 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12813/stat : 12813 (java) R 12810 12812 8699 0 -1 4202560 6080 0 1 0 0 0 0 0 25 0 2 0 906111690 13850947584 6896 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.0930871 s]
/proc/loadavg: 2.00 2.02 1.99 2/487 12812
/proc/meminfo: memFree=24011888/32951124 swapFree=56297244/67111528
[pid=12812] ppid=12810 vsize=13621960 CPUtime=0.1 cores=1,3,5,7
/proc/12812/stat : 12812 (java) S 12810 12812 8699 0 -1 4202496 15449 0 1 0 8 2 0 0 25 0 18 0 906111689 13948887040 15111 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12812/statm: 3405490 15111 2093 9 0 3396224 0
[pid=12812/tid=12813] ppid=12810 vsize=13621960 CPUtime=0.07 cores=1,3,5,7
/proc/12812/task/12813/stat : 12813 (java) R 12810 12812 8699 0 -1 4202560 13502 0 1 0 6 1 0 0 18 0 18 0 906111690 13948887040 15112 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 46989616941907 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621960

[startup+0.100941 s]
/proc/loadavg: 2.00 2.02 1.99 2/487 12812
/proc/meminfo: memFree=24011888/32951124 swapFree=56297244/67111528
[pid=12812] ppid=12810 vsize=13621960 CPUtime=0.1 cores=1,3,5,7
/proc/12812/stat : 12812 (java) S 12810 12812 8699 0 -1 4202496 15551 0 1 0 8 2 0 0 25 0 18 0 906111689 13948887040 15213 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12812/statm: 3405490 15214 2093 9 0 3396224 0
[pid=12812/tid=12813] ppid=12810 vsize=13621960 CPUtime=0.09 cores=1,3,5,7
/proc/12812/task/12813/stat : 12813 (java) R 12810 12812 8699 0 -1 4202560 13604 0 1 0 7 2 0 0 18 0 18 0 906111690 13948887040 15214 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469892555 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621960

[startup+0.30086 s]
/proc/loadavg: 2.00 2.02 1.99 2/487 12812
/proc/meminfo: memFree=24011888/32951124 swapFree=56297244/67111528
[pid=12812] ppid=12810 vsize=13622412 CPUtime=0.46 cores=1,3,5,7
/proc/12812/stat : 12812 (java) S 12810 12812 8699 0 -1 4202496 18076 0 1 0 44 2 0 0 25 0 18 0 906111689 13949349888 17440 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12812/statm: 3405603 17440 2218 9 0 3396337 0
[pid=12812/tid=12813] ppid=12810 vsize=13622412 CPUtime=0.28 cores=1,3,5,7
/proc/12812/task/12813/stat : 12813 (java) R 12810 12812 8699 0 -1 4202560 15232 0 1 0 26 2 0 0 18 0 18 0 906111690 13949349888 17441 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13622412

[startup+0.700788 s]
/proc/loadavg: 2.00 2.02 1.99 2/487 12812
/proc/meminfo: memFree=24011888/32951124 swapFree=56297244/67111528
[pid=12812] ppid=12810 vsize=13630940 CPUtime=1.66 cores=1,3,5,7
/proc/12812/stat : 12812 (java) S 12810 12812 8699 0 -1 4202496 33937 0 1 0 161 5 0 0 25 0 19 0 906111689 13958082560 30722 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12812/statm: 3407735 30722 2239 9 0 3398469 0
[pid=12812/tid=12813] ppid=12810 vsize=13630940 CPUtime=0.68 cores=1,3,5,7
/proc/12812/task/12813/stat : 12813 (java) R 12810 12812 8699 0 -1 4202560 23276 0 1 0 65 3 0 0 19 0 19 0 906111690 13958082560 30722 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 46912505228269 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 13630940

[startup+1.50069 s]
/proc/loadavg: 2.16 2.06 2.00 3/506 12831
/proc/meminfo: memFree=23895260/32951124 swapFree=56297244/67111528
[pid=12812] ppid=12810 vsize=13630940 CPUtime=2.79 cores=1,3,5,7
/proc/12812/stat : 12812 (java) S 12810 12812 8699 0 -1 4202496 34914 0 1 0 274 5 0 0 25 0 19 0 906111689 13958082560 31698 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12812/statm: 3407735 31698 2246 9 0 3398469 0
[pid=12812/tid=12813] ppid=12810 vsize=13630940 CPUtime=1.49 cores=1,3,5,7
/proc/12812/task/12813/stat : 12813 (java) R 12810 12812 8699 0 -1 4202560 24203 0 1 0 145 4 0 0 20 0 19 0 906111690 13958082560 31698 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 46912506028081 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12812/tid=12815] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12815/stat : 12815 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111692 13958082560 31698 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12816] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12816/stat : 12816 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111692 13958082560 31698 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12817] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12817/stat : 12817 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111692 13958082560 31698 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12818] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12818/stat : 12818 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111692 13958082560 31698 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12819] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12819/stat : 12819 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111692 13958082560 31698 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12820] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12820/stat : 12820 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111692 13958082560 31698 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12821] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12821/stat : 12821 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111692 13958082560 31698 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12822] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12822/stat : 12822 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111692 13958082560 31698 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12823] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12823/stat : 12823 (java) S 12810 12812 8699 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 906111693 13958082560 31698 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469882368 0 0 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12824] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12824/stat : 12824 (java) S 12810 12812 8699 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906111693 13958082560 31698 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12825] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12825/stat : 12825 (java) S 12810 12812 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906111693 13958082560 31698 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12826] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12826/stat : 12826 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111695 13958082560 31698 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469889457 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12827] ppid=12810 vsize=13630940 CPUtime=0.63 cores=1,3,5,7
/proc/12812/task/12827/stat : 12827 (java) S 12810 12812 8699 0 -1 4202560 3450 0 0 0 63 0 0 0 20 0 19 0 906111695 13958082560 31698 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12828] ppid=12810 vsize=13630940 CPUtime=0.65 cores=1,3,5,7
/proc/12812/task/12828/stat : 12828 (java) S 12810 12812 8699 0 -1 4202560 6100 0 0 0 64 1 0 0 15 0 19 0 906111695 13958082560 31698 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 1 0 0 0
[pid=12812/tid=12829] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12829/stat : 12829 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111695 13958082560 31698 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12830] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12830/stat : 12830 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906111695 13958082560 31698 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469882368 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12831] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12831/stat : 12831 (java) S 12810 12812 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906111753 13958082560 31698 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469882368 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 13630940

[startup+3.10137 s]
/proc/loadavg: 2.16 2.06 2.00 3/506 12831
/proc/meminfo: memFree=23889432/32951124 swapFree=56297244/67111528
[pid=12812] ppid=12810 vsize=13630940 CPUtime=4.45 cores=1,3,5,7
/proc/12812/stat : 12812 (java) S 12810 12812 8699 0 -1 4202496 43555 0 1 0 439 6 0 0 25 0 19 0 906111689 13958082560 40327 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12812/statm: 3407735 40327 2271 9 0 3398469 0
[pid=12812/tid=12813] ppid=12810 vsize=13630940 CPUtime=3.01 cores=1,3,5,7
/proc/12812/task/12813/stat : 12813 (java) R 12810 12812 8699 0 -1 4202560 25272 0 1 0 297 4 0 0 25 0 19 0 906111690 13958082560 40327 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 46912505932713 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12812/tid=12815] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12815/stat : 12815 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906111692 13958082560 40327 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12816] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12816/stat : 12816 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906111692 13958082560 40327 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12817] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12817/stat : 12817 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906111692 13958082560 40327 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12818] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12818/stat : 12818 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906111692 13958082560 40327 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12819] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12819/stat : 12819 (java) S 12810 12812 8699 0 -1 4202560 767 0 0 0 0 0 0 0 18 0 19 0 906111692 13958082560 40327 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 1 0 0 0
[pid=12812/tid=12820] ppid=12810 vsize=13630940 CPUtime=0.01 cores=1,3,5,7
/proc/12812/task/12820/stat : 12820 (java) S 12810 12812 8699 0 -1 4202560 1001 0 0 0 1 0 0 0 18 0 19 0 906111692 13958082560 40327 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12821] ppid=12810 vsize=13630940 CPUtime=0.01 cores=1,3,5,7
/proc/12812/task/12821/stat : 12821 (java) S 12810 12812 8699 0 -1 4202560 907 0 0 0 1 0 0 0 18 0 19 0 906111692 13958082560 40327 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12822] ppid=12810 vsize=13630940 CPUtime=0.01 cores=1,3,5,7
/proc/12812/task/12822/stat : 12822 (java) S 12810 12812 8699 0 -1 4202560 1111 0 0 0 1 0 0 0 18 0 19 0 906111692 13958082560 40327 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12823] ppid=12810 vsize=13630940 CPUtime=0.05 cores=1,3,5,7
/proc/12812/task/12823/stat : 12823 (java) S 12810 12812 8699 0 -1 4202560 3779 0 0 0 5 0 0 0 17 0 19 0 906111693 13958082560 40327 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469882368 0 0 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12824] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12824/stat : 12824 (java) S 12810 12812 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906111693 13958082560 40327 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12825] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12825/stat : 12825 (java) S 12810 12812 8699 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906111693 13958082560 40327 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12826] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12826/stat : 12826 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111695 13958082560 40327 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469889457 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12827] ppid=12810 vsize=13630940 CPUtime=0.65 cores=1,3,5,7
/proc/12812/task/12827/stat : 12827 (java) S 12810 12812 8699 0 -1 4202560 3458 0 0 0 65 0 0 0 17 0 19 0 906111695 13958082560 40327 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12828] ppid=12810 vsize=13630940 CPUtime=0.66 cores=1,3,5,7
/proc/12812/task/12828/stat : 12828 (java) S 12810 12812 8699 0 -1 4202560 6104 0 0 0 65 1 0 0 16 0 19 0 906111695 13958082560 40327 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 1 0 0 0
[pid=12812/tid=12829] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12829/stat : 12829 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111695 13958082560 40327 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12830] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12830/stat : 12830 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906111695 13958082560 40327 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469882368 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12831] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12831/stat : 12831 (java) S 12810 12812 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906111753 13958082560 40327 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469882368 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 13630940

[startup+6.30078 s]
/proc/loadavg: 2.16 2.06 2.00 3/506 12831
/proc/meminfo: memFree=23852400/32951124 swapFree=56297244/67111528
[pid=12812] ppid=12810 vsize=13630940 CPUtime=7.7 cores=1,3,5,7
/proc/12812/stat : 12812 (java) S 12810 12812 8699 0 -1 4202496 45010 0 1 0 763 7 0 0 25 0 19 0 906111689 13958082560 41776 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12812/statm: 3407735 41776 2271 9 0 3398469 0
[pid=12812/tid=12813] ppid=12810 vsize=13630940 CPUtime=6.1 cores=1,3,5,7
/proc/12812/task/12813/stat : 12813 (java) R 12810 12812 8699 0 -1 4202560 25276 0 1 0 606 4 0 0 25 0 19 0 906111690 13958082560 41776 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 46912506028517 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12812/tid=12815] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12815/stat : 12815 (java) S 12810 12812 8699 0 -1 4202560 357 0 0 0 0 0 0 0 15 0 19 0 906111692 13958082560 41776 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12816] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12816/stat : 12816 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906111692 13958082560 41776 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12817] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12817/stat : 12817 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906111692 13958082560 41776 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 1 0 0 0
[pid=12812/tid=12818] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12818/stat : 12818 (java) S 12810 12812 8699 0 -1 4202560 282 0 0 0 0 0 0 0 16 0 19 0 906111692 13958082560 41776 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12819] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12819/stat : 12819 (java) S 12810 12812 8699 0 -1 4202560 768 0 0 0 0 0 0 0 15 0 19 0 906111692 13958082560 41776 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 1 0 0 0
[pid=12812/tid=12820] ppid=12810 vsize=13630940 CPUtime=0.01 cores=1,3,5,7
/proc/12812/task/12820/stat : 12820 (java) S 12810 12812 8699 0 -1 4202560 1001 0 0 0 1 0 0 0 16 0 19 0 906111692 13958082560 41776 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12821] ppid=12810 vsize=13630940 CPUtime=0.01 cores=1,3,5,7
/proc/12812/task/12821/stat : 12821 (java) S 12810 12812 8699 0 -1 4202560 1204 0 0 0 1 0 0 0 18 0 19 0 906111692 13958082560 41776 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12822] ppid=12810 vsize=13630940 CPUtime=0.01 cores=1,3,5,7
/proc/12812/task/12822/stat : 12822 (java) S 12810 12812 8699 0 -1 4202560 1111 0 0 0 1 0 0 0 15 0 19 0 906111692 13958082560 41776 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12823] ppid=12810 vsize=13630940 CPUtime=0.15 cores=1,3,5,7
/proc/12812/task/12823/stat : 12823 (java) S 12810 12812 8699 0 -1 4202560 4288 0 0 0 15 0 0 0 16 0 19 0 906111693 13958082560 41776 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469882368 0 0 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12824] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12824/stat : 12824 (java) S 12810 12812 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906111693 13958082560 41776 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12825] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12825/stat : 12825 (java) S 12810 12812 8699 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906111693 13958082560 41776 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12826] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12826/stat : 12826 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111695 13958082560 41776 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469889457 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12827] ppid=12810 vsize=13630940 CPUtime=0.67 cores=1,3,5,7
/proc/12812/task/12827/stat : 12827 (java) S 12810 12812 8699 0 -1 4202560 3463 0 0 0 67 0 0 0 15 0 19 0 906111695 13958082560 41776 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12828] ppid=12810 vsize=13630940 CPUtime=0.68 cores=1,3,5,7
/proc/12812/task/12828/stat : 12828 (java) S 12810 12812 8699 0 -1 4202560 6106 0 0 0 67 1 0 0 15 0 19 0 906111695 13958082560 41776 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 1 0 0 0

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

[pid=12812/tid=12820] ppid=12810 vsize=13630940 CPUtime=0.35 cores=1,3,5,7
/proc/12812/task/12820/stat : 12820 (java) S 12810 12812 8699 0 -1 4202560 1747 0 0 0 35 0 0 0 15 0 19 0 906111692 13958082560 57829 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12821] ppid=12810 vsize=13630940 CPUtime=0.32 cores=1,3,5,7
/proc/12812/task/12821/stat : 12821 (java) S 12810 12812 8699 0 -1 4202560 2984 0 0 0 32 0 0 0 15 0 19 0 906111692 13958082560 57829 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 1 0 0 0
[pid=12812/tid=12822] ppid=12810 vsize=13630940 CPUtime=0.38 cores=1,3,5,7
/proc/12812/task/12822/stat : 12822 (java) S 12810 12812 8699 0 -1 4202560 1749 0 0 0 38 0 0 0 15 0 19 0 906111692 13958082560 57829 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12823] ppid=12810 vsize=13630940 CPUtime=12.33 cores=1,3,5,7
/proc/12812/task/12823/stat : 12823 (java) S 12810 12812 8699 0 -1 4202560 12656 0 0 0 1230 3 0 0 15 0 19 0 906111693 13958082560 57829 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469882368 0 0 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12824] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12824/stat : 12824 (java) S 12810 12812 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906111693 13958082560 57829 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12825] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12825/stat : 12825 (java) S 12810 12812 8699 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906111693 13958082560 57829 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12826] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12826/stat : 12826 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111695 13958082560 57829 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469889457 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12827] ppid=12810 vsize=13630940 CPUtime=0.71 cores=1,3,5,7
/proc/12812/task/12827/stat : 12827 (java) S 12810 12812 8699 0 -1 4202560 3472 0 0 0 71 0 0 0 15 0 19 0 906111695 13958082560 57829 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12828] ppid=12810 vsize=13630940 CPUtime=0.72 cores=1,3,5,7
/proc/12812/task/12828/stat : 12828 (java) S 12810 12812 8699 0 -1 4202560 6116 0 0 0 71 1 0 0 15 0 19 0 906111695 13958082560 57829 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 1 0 0 0
[pid=12812/tid=12829] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12829/stat : 12829 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111695 13958082560 57829 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12830] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12830/stat : 12830 (java) S 12810 12812 8699 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 906111695 13958082560 57829 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469882368 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12831] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12831/stat : 12831 (java) S 12810 12812 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906111753 13958082560 57829 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469882368 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1665.63
Current children cumulated vsize (KiB) 13630940

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 12980
/proc/meminfo: memFree=23820544/32951124 swapFree=56297244/67111528
[pid=12812] ppid=12810 vsize=13630940 CPUtime=1725.69 cores=1,3,5,7
/proc/12812/stat : 12812 (java) S 12810 12812 8699 0 -1 4202496 61646 0 1 0 172557 12 0 0 25 0 19 0 906111689 13958082560 58034 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12812/statm: 3407735 58034 2272 9 0 3398469 0
[pid=12812/tid=12813] ppid=12810 vsize=13630940 CPUtime=1708.62 cores=1,3,5,7
/proc/12812/task/12813/stat : 12813 (java) R 12810 12812 8699 0 -1 4202560 25449 0 1 0 170858 4 0 0 25 0 19 0 906111690 13958082560 58034 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 46912505918113 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12812/tid=12815] ppid=12810 vsize=13630940 CPUtime=0.33 cores=1,3,5,7
/proc/12812/task/12815/stat : 12815 (java) S 12810 12812 8699 0 -1 4202560 1177 0 0 0 33 0 0 0 15 0 19 0 906111692 13958082560 58034 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12816] ppid=12810 vsize=13630940 CPUtime=0.33 cores=1,3,5,7
/proc/12812/task/12816/stat : 12816 (java) S 12810 12812 8699 0 -1 4202560 1130 0 0 0 33 0 0 0 16 0 19 0 906111692 13958082560 58034 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12817] ppid=12810 vsize=13630940 CPUtime=0.32 cores=1,3,5,7
/proc/12812/task/12817/stat : 12817 (java) S 12810 12812 8699 0 -1 4202560 1495 0 0 0 32 0 0 0 16 0 19 0 906111692 13958082560 58034 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 1 0 0 0
[pid=12812/tid=12818] ppid=12810 vsize=13630940 CPUtime=0.31 cores=1,3,5,7
/proc/12812/task/12818/stat : 12818 (java) S 12810 12812 8699 0 -1 4202560 1024 0 0 0 31 0 0 0 15 0 19 0 906111692 13958082560 58034 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12819] ppid=12810 vsize=13630940 CPUtime=0.43 cores=1,3,5,7
/proc/12812/task/12819/stat : 12819 (java) S 12810 12812 8699 0 -1 4202560 1216 0 0 0 43 0 0 0 15 0 19 0 906111692 13958082560 58034 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12820] ppid=12810 vsize=13630940 CPUtime=0.35 cores=1,3,5,7
/proc/12812/task/12820/stat : 12820 (java) S 12810 12812 8699 0 -1 4202560 1747 0 0 0 35 0 0 0 15 0 19 0 906111692 13958082560 58034 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12821] ppid=12810 vsize=13630940 CPUtime=0.32 cores=1,3,5,7
/proc/12812/task/12821/stat : 12821 (java) S 12810 12812 8699 0 -1 4202560 2984 0 0 0 32 0 0 0 16 0 19 0 906111692 13958082560 58034 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12822] ppid=12810 vsize=13630940 CPUtime=0.4 cores=1,3,5,7
/proc/12812/task/12822/stat : 12822 (java) S 12810 12812 8699 0 -1 4202560 1752 0 0 0 40 0 0 0 16 0 19 0 906111692 13958082560 58034 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12823] ppid=12810 vsize=13630940 CPUtime=12.76 cores=1,3,5,7
/proc/12812/task/12823/stat : 12823 (java) S 12810 12812 8699 0 -1 4202560 12834 0 0 0 1273 3 0 0 15 0 19 0 906111693 13958082560 58034 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469882368 0 0 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12824] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12824/stat : 12824 (java) S 12810 12812 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906111693 13958082560 58034 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12825] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12825/stat : 12825 (java) S 12810 12812 8699 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906111693 13958082560 58034 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12826] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12826/stat : 12826 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111695 13958082560 58034 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469889457 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12827] ppid=12810 vsize=13630940 CPUtime=0.71 cores=1,3,5,7
/proc/12812/task/12827/stat : 12827 (java) S 12810 12812 8699 0 -1 4202560 3472 0 0 0 71 0 0 0 15 0 19 0 906111695 13958082560 58034 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12828] ppid=12810 vsize=13630940 CPUtime=0.72 cores=1,3,5,7
/proc/12812/task/12828/stat : 12828 (java) S 12810 12812 8699 0 -1 4202560 6116 0 0 0 71 1 0 0 15 0 19 0 906111695 13958082560 58034 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 1 0 0 0
[pid=12812/tid=12829] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12829/stat : 12829 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111695 13958082560 58034 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12830] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12830/stat : 12830 (java) S 12810 12812 8699 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 906111695 13958082560 58034 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469882368 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12831] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12831/stat : 12831 (java) S 12810 12812 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906111753 13958082560 58034 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469882368 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1725.69
Current children cumulated vsize (KiB) 13630940

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 12982
/proc/meminfo: memFree=23822856/32951124 swapFree=56297244/67111528
[pid=12812] ppid=12810 vsize=13630940 CPUtime=1785.75 cores=1,3,5,7
/proc/12812/stat : 12812 (java) S 12810 12812 8699 0 -1 4202496 61677 0 1 0 178563 12 0 0 25 0 19 0 906111689 13958082560 58052 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12812/statm: 3407735 58052 2272 9 0 3398469 0
[pid=12812/tid=12813] ppid=12810 vsize=13630940 CPUtime=1768.2 cores=1,3,5,7
/proc/12812/task/12813/stat : 12813 (java) R 12810 12812 8699 0 -1 4202560 25454 0 1 0 176816 4 0 0 25 0 19 0 906111690 13958082560 58052 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 46912506028047 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12812/tid=12815] ppid=12810 vsize=13630940 CPUtime=0.35 cores=1,3,5,7
/proc/12812/task/12815/stat : 12815 (java) S 12810 12812 8699 0 -1 4202560 1186 0 0 0 35 0 0 0 15 0 19 0 906111692 13958082560 58052 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12816] ppid=12810 vsize=13630940 CPUtime=0.34 cores=1,3,5,7
/proc/12812/task/12816/stat : 12816 (java) S 12810 12812 8699 0 -1 4202560 1132 0 0 0 34 0 0 0 16 0 19 0 906111692 13958082560 58052 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12817] ppid=12810 vsize=13630940 CPUtime=0.33 cores=1,3,5,7
/proc/12812/task/12817/stat : 12817 (java) S 12810 12812 8699 0 -1 4202560 1495 0 0 0 33 0 0 0 16 0 19 0 906111692 13958082560 58052 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12818] ppid=12810 vsize=13630940 CPUtime=0.33 cores=1,3,5,7
/proc/12812/task/12818/stat : 12818 (java) S 12810 12812 8699 0 -1 4202560 1024 0 0 0 33 0 0 0 15 0 19 0 906111692 13958082560 58052 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12819] ppid=12810 vsize=13630940 CPUtime=0.44 cores=1,3,5,7
/proc/12812/task/12819/stat : 12819 (java) S 12810 12812 8699 0 -1 4202560 1216 0 0 0 44 0 0 0 15 0 19 0 906111692 13958082560 58052 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12820] ppid=12810 vsize=13630940 CPUtime=0.36 cores=1,3,5,7
/proc/12812/task/12820/stat : 12820 (java) S 12810 12812 8699 0 -1 4202560 1748 0 0 0 36 0 0 0 16 0 19 0 906111692 13958082560 58052 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 1 0 0 0
[pid=12812/tid=12821] ppid=12810 vsize=13630940 CPUtime=0.33 cores=1,3,5,7
/proc/12812/task/12821/stat : 12821 (java) S 12810 12812 8699 0 -1 4202560 2984 0 0 0 33 0 0 0 16 0 19 0 906111692 13958082560 58052 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12822] ppid=12810 vsize=13630940 CPUtime=0.4 cores=1,3,5,7
/proc/12812/task/12822/stat : 12822 (java) S 12810 12812 8699 0 -1 4202560 1752 0 0 0 40 0 0 0 15 0 19 0 906111692 13958082560 58052 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12823] ppid=12810 vsize=13630940 CPUtime=13.16 cores=1,3,5,7
/proc/12812/task/12823/stat : 12823 (java) S 12810 12812 8699 0 -1 4202560 12844 0 0 0 1313 3 0 0 15 0 19 0 906111693 13958082560 58052 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469882368 0 0 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12824] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12824/stat : 12824 (java) S 12810 12812 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906111693 13958082560 58052 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12825] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12825/stat : 12825 (java) S 12810 12812 8699 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906111693 13958082560 58052 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12826] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12826/stat : 12826 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111695 13958082560 58052 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469889457 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12827] ppid=12810 vsize=13630940 CPUtime=0.71 cores=1,3,5,7
/proc/12812/task/12827/stat : 12827 (java) S 12810 12812 8699 0 -1 4202560 3472 0 0 0 71 0 0 0 15 0 19 0 906111695 13958082560 58052 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12828] ppid=12810 vsize=13630940 CPUtime=0.72 cores=1,3,5,7
/proc/12812/task/12828/stat : 12828 (java) S 12810 12812 8699 0 -1 4202560 6116 0 0 0 71 1 0 0 15 0 19 0 906111695 13958082560 58052 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 1 0 0 0
[pid=12812/tid=12829] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12829/stat : 12829 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111695 13958082560 58052 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12830] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12830/stat : 12830 (java) S 12810 12812 8699 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 906111695 13958082560 58052 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469882368 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12831] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12831/stat : 12831 (java) S 12810 12812 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906111753 13958082560 58052 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469882368 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1785.75
Current children cumulated vsize (KiB) 13630940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.6 s]
/proc/loadavg: 2.16 2.03 2.01 3/506 12982
/proc/meminfo: memFree=23822468/32951124 swapFree=56297244/67111528
[pid=12812] ppid=12810 vsize=13630940 CPUtime=1800.08 cores=1,3,5,7
/proc/12812/stat : 12812 (java) S 12810 12812 8699 0 -1 4202496 61795 0 1 0 179996 12 0 0 25 0 19 0 906111689 13958082560 58168 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12812/statm: 3407735 58168 2272 9 0 3398469 0
[pid=12812/tid=12813] ppid=12810 vsize=13630940 CPUtime=1782.35 cores=1,3,5,7
/proc/12812/task/12813/stat : 12813 (java) R 12810 12812 8699 0 -1 4202560 25456 0 1 0 178231 4 0 0 17 0 19 0 906111690 13958082560 58168 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 46912505800999 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12812/tid=12815] ppid=12810 vsize=13630940 CPUtime=0.35 cores=1,3,5,7
/proc/12812/task/12815/stat : 12815 (java) S 12810 12812 8699 0 -1 4202560 1186 0 0 0 35 0 0 0 15 0 19 0 906111692 13958082560 58168 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12816] ppid=12810 vsize=13630940 CPUtime=0.35 cores=1,3,5,7
/proc/12812/task/12816/stat : 12816 (java) S 12810 12812 8699 0 -1 4202560 1132 0 0 0 35 0 0 0 16 0 19 0 906111692 13958082560 58168 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12817] ppid=12810 vsize=13630940 CPUtime=0.33 cores=1,3,5,7
/proc/12812/task/12817/stat : 12817 (java) S 12810 12812 8699 0 -1 4202560 1495 0 0 0 33 0 0 0 15 0 19 0 906111692 13958082560 58168 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 1 0 0 0
[pid=12812/tid=12818] ppid=12810 vsize=13630940 CPUtime=0.34 cores=1,3,5,7
/proc/12812/task/12818/stat : 12818 (java) S 12810 12812 8699 0 -1 4202560 1025 0 0 0 34 0 0 0 16 0 19 0 906111692 13958082560 58168 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12819] ppid=12810 vsize=13630940 CPUtime=0.44 cores=1,3,5,7
/proc/12812/task/12819/stat : 12819 (java) S 12810 12812 8699 0 -1 4202560 1216 0 0 0 44 0 0 0 16 0 19 0 906111692 13958082560 58168 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12820] ppid=12810 vsize=13630940 CPUtime=0.37 cores=1,3,5,7
/proc/12812/task/12820/stat : 12820 (java) S 12810 12812 8699 0 -1 4202560 1754 0 0 0 37 0 0 0 15 0 19 0 906111692 13958082560 58168 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 1 0 0 0
[pid=12812/tid=12821] ppid=12810 vsize=13630940 CPUtime=0.33 cores=1,3,5,7
/proc/12812/task/12821/stat : 12821 (java) S 12810 12812 8699 0 -1 4202560 2984 0 0 0 33 0 0 0 15 0 19 0 906111692 13958082560 58168 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12822] ppid=12810 vsize=13630940 CPUtime=0.4 cores=1,3,5,7
/proc/12812/task/12822/stat : 12822 (java) S 12810 12812 8699 0 -1 4202560 1752 0 0 0 40 0 0 0 15 0 19 0 906111692 13958082560 58168 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12823] ppid=12810 vsize=13630940 CPUtime=13.31 cores=1,3,5,7
/proc/12812/task/12823/stat : 12823 (java) S 12810 12812 8699 0 -1 4202560 12953 0 0 0 1328 3 0 0 16 0 19 0 906111693 13958082560 58168 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469882368 0 0 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12824] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12824/stat : 12824 (java) S 12810 12812 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906111693 13958082560 58168 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12825] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12825/stat : 12825 (java) S 12810 12812 8699 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906111693 13958082560 58168 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12826] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12826/stat : 12826 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111695 13958082560 58168 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469889457 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12827] ppid=12810 vsize=13630940 CPUtime=0.71 cores=1,3,5,7
/proc/12812/task/12827/stat : 12827 (java) S 12810 12812 8699 0 -1 4202560 3472 0 0 0 71 0 0 0 15 0 19 0 906111695 13958082560 58168 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 7 0 0 0
[pid=12812/tid=12828] ppid=12810 vsize=13630940 CPUtime=0.72 cores=1,3,5,7
/proc/12812/task/12828/stat : 12828 (java) S 12810 12812 8699 0 -1 4202560 6116 0 0 0 71 1 0 0 15 0 19 0 906111695 13958082560 58168 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 1 0 0 0
[pid=12812/tid=12829] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12829/stat : 12829 (java) S 12810 12812 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906111695 13958082560 58168 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469881753 0 4 0 16800975 18446604470651020288 0 0 -1 5 0 0 0
[pid=12812/tid=12830] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12830/stat : 12830 (java) S 12810 12812 8699 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 906111695 13958082560 58168 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469882368 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
[pid=12812/tid=12831] ppid=12810 vsize=13630940 CPUtime=0 cores=1,3,5,7
/proc/12812/task/12831/stat : 12831 (java) S 12810 12812 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906111753 13958082560 58168 33554432000 1073741824 1073778376 140735769892480 18446744073709551615 252469882368 0 4 0 16800975 18446604470651020288 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13630940

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

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

Child status: 143
Real time (s): 1796.67
CPU time (s): 1800.18
CPU user time (s): 1800.03
CPU system time (s): 0.140978
CPU usage (%): 100.195
Max. virtual memory (cumulated for all children) (KiB): 13631132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.140978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61838
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= 42243
involuntary context switches= 7196

runsolver used 8.13676 second user time and 19.681 second system time

The end

Launcher Data 

Begin job on node111 at 2011-06-04 05:40:12
IDJOB=3458320
IDBENCH=48140
IDSOLVER=1952
FILE ID=node111/3458320-1307158812
RUNJOBID= node111-1307156522-11741
PBS_JOBID= 13508805
Free space on /tmp= 73868 MiB

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

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

MD5SUM BENCH= e4d0ce6c299ae1a05f607b170c68aad6
RANDOM SEED=1283734675

node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24012168 kB
Buffers:        312852 kB
Cached:         819020 kB
SwapCached:      11784 kB
Active:        7894688 kB
Inactive:       765380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24012168 kB
SwapTotal:    67111528 kB
SwapFree:     56297244 kB
Dirty:             460 kB
Writeback:           0 kB
AnonPages:     7525064 kB
Mapped:          36124 kB
Slab:           143696 kB
PageTables:      66592 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162523864 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= 73868 MiB
End job on node111 at 2011-06-04 06:10:11