Trace number 3710561

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 PB specific settings 2.3.2 snapshotSAT (TO)68 1800.05 1793.26

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-alu4.b.opb
MD5SUM9c27419d6022516b3a8580fda3ca43ee
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark50
Best CPU time to get the best result obtained on this benchmark1.46878
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 50
Optimality of the best value was proved NO
Number of variables807
Total number of constraints1823
Number of constraints which are clauses1823
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 constraint1
Maximum length of a constraint98
Number of terms in the objective function 807
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 807
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 807
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.03/0.08	c version 2.3.2.v20120418
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		501472288
0.03/0.08	c Max memory 		7480803328
0.03/0.08	c Total memory 		504102912
0.03/0.09	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710561-1338144413.opb
0.09/0.12	c reading problem ... 
0.53/0.34	c ... done. Wall clock time 0.223s.
0.53/0.34	c declared #vars     807
0.53/0.34	c #constraints  1711
0.53/0.34	c constraints type 
0.53/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1687
0.53/0.34	c ignored satisfied constraints => 112
0.53/0.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8
0.53/0.34	c org.sat4j.minisat.constraints.cnf.UnitClause => 16
0.53/0.34	c 1823 constraints processed.
0.53/0.36	c SATISFIABLE
0.53/0.36	c OPTIMIZING...
0.53/0.36	c Got one! Elapsed wall clock time (in seconds):0.24
0.53/0.36	o 68
1.38/0.86	c cleaning 2492 clauses out of 5000 with flag 5000/5000
1.82/1.27	c cleaning 4230 clauses out of 8509 with flag 11001/11001
2.36/1.74	c cleaning 5623 clauses out of 11278 with flag 18000/18000
2.97/2.30	c cleaning 6816 clauses out of 13655 with flag 26000/26000
3.62/2.92	c cleaning 7913 clauses out of 15839 with flag 35000/35000
4.32/3.61	c cleaning 8960 clauses out of 17927 with flag 45001/45001
5.02/4.38	c cleaning 9977 clauses out of 19966 with flag 56000/56000
5.93/5.21	c cleaning 10974 clauses out of 21990 with flag 68001/68001
6.83/6.12	c cleaning 11997 clauses out of 24016 with flag 81001/81001
7.83/7.11	c cleaning 12997 clauses out of 26018 with flag 95000/95000
8.84/8.15	c cleaning 14001 clauses out of 28024 with flag 110003/110003
9.94/9.27	c cleaning 15008 clauses out of 30021 with flag 126001/126001
11.15/10.49	c cleaning 15991 clauses out of 32012 with flag 143000/143000
12.55/11.83	c cleaning 16991 clauses out of 34021 with flag 161000/161000
13.96/13.24	c cleaning 18006 clauses out of 36030 with flag 180000/180000
15.46/14.70	c cleaning 19008 clauses out of 38024 with flag 200000/200000
16.86/16.19	c cleaning 19989 clauses out of 40017 with flag 221001/221001
18.47/17.74	c cleaning 20999 clauses out of 42027 with flag 243000/243000
20.18/19.47	c cleaning 22009 clauses out of 44031 with flag 266003/266003
21.88/21.17	c cleaning 23003 clauses out of 46019 with flag 290000/290000
23.69/22.95	c cleaning 23983 clauses out of 48016 with flag 315000/315000
25.71/24.99	c cleaning 24992 clauses out of 50036 with flag 341003/341003
27.73/27.00	c cleaning 25996 clauses out of 52042 with flag 368001/368001
29.95/29.14	c cleaning 27013 clauses out of 54045 with flag 396000/396000
31.96/31.17	c cleaning 28011 clauses out of 56035 with flag 425003/425003
34.09/33.26	c cleaning 28996 clauses out of 58021 with flag 455000/455000
36.31/35.47	c cleaning 30003 clauses out of 60025 with flag 486000/486000
38.92/38.02	c cleaning 30976 clauses out of 62022 with flag 518000/518000
41.45/40.58	c cleaning 31997 clauses out of 64046 with flag 551000/551000
44.25/43.35	c cleaning 33015 clauses out of 66049 with flag 585000/585000
46.80/45.86	c cleaning 34002 clauses out of 68034 with flag 620000/620000
49.51/48.52	c cleaning 34983 clauses out of 70035 with flag 656003/656003
52.45/51.45	c cleaning 35999 clauses out of 72051 with flag 693002/693002
55.26/54.21	c cleaning 37020 clauses out of 74051 with flag 731001/731001
58.29/57.21	c cleaning 37997 clauses out of 76030 with flag 770000/770000
61.30/60.24	c cleaning 39006 clauses out of 78035 with flag 810002/810002
64.63/63.51	c cleaning 40003 clauses out of 80028 with flag 851001/851001
68.05/66.96	c cleaning 41003 clauses out of 82024 with flag 893000/893000
71.18/70.05	c cleaning 41987 clauses out of 84021 with flag 936000/936000
74.18/73.03	c cleaning 43007 clauses out of 86034 with flag 980000/980000
77.60/76.42	c cleaning 44004 clauses out of 88028 with flag 1025001/1025001
81.12/79.91	c cleaning 44988 clauses out of 90024 with flag 1071001/1071001
84.85/83.66	c cleaning 45992 clauses out of 92035 with flag 1118000/1118000
88.85/87.60	c cleaning 46993 clauses out of 94043 with flag 1166000/1166000
92.96/91.72	c cleaning 48015 clauses out of 96056 with flag 1215006/1215006
97.17/95.90	c cleaning 48990 clauses out of 98035 with flag 1265000/1265000
101.20/99.91	c cleaning 49986 clauses out of 100045 with flag 1316000/1316000
105.24/103.94	c cleaning 50999 clauses out of 102059 with flag 1368000/1368000
109.18/107.89	c cleaning 52007 clauses out of 104060 with flag 1421000/1421000
113.39/112.09	c cleaning 52987 clauses out of 106053 with flag 1475000/1475000
117.94/116.59	c cleaning 54022 clauses out of 108066 with flag 1530000/1530000
122.56/121.11	c cleaning 54989 clauses out of 110044 with flag 1586000/1586000
126.79/125.38	c cleaning 56005 clauses out of 112055 with flag 1643000/1643000
131.60/130.19	c cleaning 57004 clauses out of 114050 with flag 1701000/1701000
136.62/135.20	c cleaning 57995 clauses out of 116046 with flag 1760000/1760000
141.54/140.04	c cleaning 59010 clauses out of 118055 with flag 1820004/1820004
147.07/145.54	c cleaning 59994 clauses out of 120042 with flag 1881001/1881001
152.68/151.13	c cleaning 61007 clauses out of 122050 with flag 1943003/1943003
158.00/156.48	c cleaning 62007 clauses out of 124041 with flag 2006001/2006001
163.03/161.43	c cleaning 63012 clauses out of 126035 with flag 2070002/2070002
168.34/166.74	c cleaning 63988 clauses out of 128021 with flag 2135000/2135000
173.57/171.93	c cleaning 65000 clauses out of 130036 with flag 2201003/2201003
179.48/177.83	c cleaning 65985 clauses out of 132034 with flag 2268001/2268001
185.32/183.66	c cleaning 66999 clauses out of 134048 with flag 2336000/2336000
191.33/189.62	c cleaning 68001 clauses out of 136049 with flag 2405000/2405000
196.56/194.80	c cleaning 69006 clauses out of 138048 with flag 2475000/2475000
202.19/200.43	c cleaning 70004 clauses out of 140042 with flag 2546000/2546000
208.02/206.23	c cleaning 70994 clauses out of 142038 with flag 2618000/2618000
213.76/211.91	c cleaning 72006 clauses out of 144046 with flag 2691002/2691002
220.49/218.62	c cleaning 73010 clauses out of 146038 with flag 2765000/2765000
227.23/225.35	c cleaning 73996 clauses out of 148030 with flag 2840002/2840002
234.57/232.68	c cleaning 74991 clauses out of 150032 with flag 2916000/2916000
241.61/239.63	c cleaning 76008 clauses out of 152041 with flag 2993000/2993000
247.83/245.88	c cleaning 77004 clauses out of 154033 with flag 3071000/3071000
254.35/252.31	c cleaning 77996 clauses out of 156031 with flag 3150002/3150002
260.38/258.38	c cleaning 78998 clauses out of 158035 with flag 3230002/3230002
266.70/264.67	c cleaning 80004 clauses out of 160038 with flag 3311003/3311003
273.64/271.54	c cleaning 80989 clauses out of 162031 with flag 3393000/3393000
280.37/278.24	c cleaning 81996 clauses out of 164042 with flag 3476000/3476000
287.78/285.61	c cleaning 82987 clauses out of 166046 with flag 3560000/3560000
295.32/293.12	c cleaning 83999 clauses out of 168060 with flag 3645001/3645001
302.34/300.19	c cleaning 85012 clauses out of 170060 with flag 3731000/3731000
310.07/307.82	c cleaning 86008 clauses out of 172052 with flag 3818004/3818004
317.90/315.68	c cleaning 86992 clauses out of 174040 with flag 3906000/3906000
325.33/323.07	c cleaning 87996 clauses out of 176048 with flag 3995000/3995000
333.57/331.25	c cleaning 88990 clauses out of 178054 with flag 4085002/4085002
341.50/339.18	c cleaning 90002 clauses out of 180064 with flag 4176002/4176002
349.72/347.33	c cleaning 91011 clauses out of 182062 with flag 4268002/4268002
357.76/355.31	c cleaning 91998 clauses out of 184049 with flag 4361000/4361000
366.29/363.88	c cleaning 92973 clauses out of 186051 with flag 4455000/4455000
374.32/371.82	c cleaning 94025 clauses out of 188078 with flag 4550000/4550000
381.64/379.10	c cleaning 95002 clauses out of 190053 with flag 4646000/4646000
390.16/387.60	c cleaning 95991 clauses out of 192052 with flag 4743001/4743001
398.48/395.93	c cleaning 97009 clauses out of 194063 with flag 4841003/4841003
406.62/404.09	c cleaning 98012 clauses out of 196051 with flag 4940000/4940000
415.95/413.39	c cleaning 99009 clauses out of 198041 with flag 5040002/5040002
425.75/423.06	c cleaning 99991 clauses out of 200030 with flag 5141000/5141000
436.00/433.28	c cleaning 100998 clauses out of 202039 with flag 5243000/5243000
445.84/443.01	c cleaning 101998 clauses out of 204041 with flag 5346000/5346000
455.98/453.11	c cleaning 102997 clauses out of 206043 with flag 5450000/5450000
464.92/462.04	c cleaning 104012 clauses out of 208048 with flag 5555002/5555002
474.65/471.73	c cleaning 104998 clauses out of 210035 with flag 5661001/5661001
485.68/482.74	c cleaning 105996 clauses out of 212036 with flag 5768000/5768000
496.41/493.48	c cleaning 107005 clauses out of 214044 with flag 5876004/5876004
507.63/504.60	c cleaning 108013 clauses out of 216036 with flag 5985001/5985001
515.87/512.80	c cleaning 108988 clauses out of 218022 with flag 6095000/6095000
523.60/520.57	c cleaning 110006 clauses out of 220034 with flag 6206000/6206000
531.93/528.87	c cleaning 110998 clauses out of 222028 with flag 6318000/6318000
540.96/537.84	c cleaning 111995 clauses out of 224030 with flag 6431000/6431000
550.09/546.93	c cleaning 112997 clauses out of 226042 with flag 6545007/6545007
560.73/557.52	c cleaning 113997 clauses out of 228038 with flag 6660000/6660000
570.17/566.97	c cleaning 115002 clauses out of 230043 with flag 6776002/6776002
579.39/576.18	c cleaning 115990 clauses out of 232039 with flag 6893000/6893000
589.43/586.14	c cleaning 116983 clauses out of 234049 with flag 7011000/7011000
599.48/596.14	c cleaning 118009 clauses out of 236067 with flag 7130001/7130001
610.01/606.67	c cleaning 119006 clauses out of 238058 with flag 7250001/7250001
621.86/618.44	c cleaning 120001 clauses out of 240051 with flag 7371000/7371000
633.39/629.95	c cleaning 120996 clauses out of 242050 with flag 7493000/7493000
645.71/642.20	c cleaning 122001 clauses out of 244054 with flag 7616000/7616000
656.96/653.48	c cleaning 123019 clauses out of 246053 with flag 7740000/7740000
668.33/664.74	c cleaning 123996 clauses out of 248037 with flag 7865003/7865003
680.16/676.52	c cleaning 124996 clauses out of 250041 with flag 7991003/7991003
691.69/688.07	c cleaning 125999 clauses out of 252045 with flag 8118003/8118003
702.72/699.01	c cleaning 127000 clauses out of 254043 with flag 8246000/8246000
715.38/711.61	c cleaning 128001 clauses out of 256043 with flag 8375000/8375000
727.44/723.61	c cleaning 128985 clauses out of 258042 with flag 8505000/8505000
741.07/737.23	c cleaning 130005 clauses out of 260057 with flag 8636000/8636000
753.41/749.56	c cleaning 130987 clauses out of 262052 with flag 8768000/8768000
767.15/763.27	c cleaning 132009 clauses out of 264065 with flag 8901000/8901000
779.18/775.24	c cleaning 133007 clauses out of 266057 with flag 9035001/9035001
791.42/787.47	c cleaning 133997 clauses out of 268049 with flag 9170000/9170000
806.56/802.55	c cleaning 134981 clauses out of 270052 with flag 9306000/9306000
820.22/816.16	c cleaning 135994 clauses out of 272071 with flag 9443000/9443000
834.65/830.55	c cleaning 137013 clauses out of 274077 with flag 9581000/9581000
848.48/844.36	c cleaning 137994 clauses out of 276067 with flag 9720003/9720003
863.91/859.74	c cleaning 139015 clauses out of 278071 with flag 9860001/9860001
880.15/875.93	c cleaning 140014 clauses out of 280055 with flag 10001000/10001000
893.58/889.37	c cleaning 141017 clauses out of 282041 with flag 10143000/10143000
905.41/901.14	c cleaning 142005 clauses out of 284025 with flag 10286001/10286001
917.34/913.06	c cleaning 142988 clauses out of 286019 with flag 10430000/10430000
928.96/924.65	c cleaning 143997 clauses out of 288031 with flag 10575000/10575000
943.38/939.00	c cleaning 144997 clauses out of 290035 with flag 10721001/10721001
955.62/951.26	c cleaning 146009 clauses out of 292038 with flag 10868001/10868001
969.18/964.71	c cleaning 146984 clauses out of 294028 with flag 11016000/11016000
981.70/977.27	c cleaning 147998 clauses out of 296045 with flag 11165001/11165001
996.74/992.29	c cleaning 149010 clauses out of 298051 with flag 11315005/11315005
1011.67/1007.13	c cleaning 150003 clauses out of 300036 with flag 11466000/11466000
1025.22/1020.60	c cleaning 150979 clauses out of 302034 with flag 11618001/11618001
1040.26/1035.69	c cleaning 151988 clauses out of 304054 with flag 11771000/11771000
1058.99/1054.34	c cleaning 153013 clauses out of 306069 with flag 11925003/11925003
1076.63/1071.98	c cleaning 154005 clauses out of 308056 with flag 12080003/12080003
1094.87/1090.12	c cleaning 155000 clauses out of 310049 with flag 12236001/12236001
1110.81/1106.04	c cleaning 156005 clauses out of 312049 with flag 12393001/12393001
1126.26/1121.40	c cleaning 156983 clauses out of 314044 with flag 12551001/12551001
1142.33/1137.49	c cleaning 157995 clauses out of 316060 with flag 12710000/12710000
1159.67/1154.71	c cleaning 159009 clauses out of 318065 with flag 12870000/12870000
1178.24/1173.22	c cleaning 160005 clauses out of 320056 with flag 13031000/13031000
1194.52/1189.41	c cleaning 160992 clauses out of 322052 with flag 13193001/13193001
1213.45/1208.31	c cleaning 161995 clauses out of 324059 with flag 13356000/13356000
1228.71/1223.53	c cleaning 163016 clauses out of 326064 with flag 13520000/13520000
1247.14/1241.98	c cleaning 163990 clauses out of 328056 with flag 13685008/13685008
1267.40/1262.13	c cleaning 165008 clauses out of 330058 with flag 13851000/13851000
1286.56/1281.22	c cleaning 165997 clauses out of 332050 with flag 14018000/14018000
1306.29/1300.91	c cleaning 167004 clauses out of 334053 with flag 14186000/14186000
1328.83/1323.43	c cleaning 167985 clauses out of 336053 with flag 14355004/14355004
1352.40/1346.92	c cleaning 169010 clauses out of 338064 with flag 14525000/14525000
1375.36/1369.86	c cleaning 169987 clauses out of 340056 with flag 14696002/14696002
1395.96/1390.35	c cleaning 170997 clauses out of 342068 with flag 14868001/14868001
1418.62/1412.98	c cleaning 172017 clauses out of 344072 with flag 15041002/15041002
1436.55/1430.86	c cleaning 173008 clauses out of 346053 with flag 15215000/15215000
1451.17/1445.34	c cleaning 173994 clauses out of 348048 with flag 15390003/15390003
1468.03/1462.19	c cleaning 175011 clauses out of 350051 with flag 15566000/15566000
1485.78/1479.80	c cleaning 175997 clauses out of 352041 with flag 15743001/15743001
1502.83/1496.84	c cleaning 177004 clauses out of 354043 with flag 15921000/15921000
1522.01/1515.93	c cleaning 177984 clauses out of 356044 with flag 16100005/16100005
1540.25/1534.17	c cleaning 179013 clauses out of 358055 with flag 16280000/16280000
1559.58/1553.42	c cleaning 179986 clauses out of 360042 with flag 16461000/16461000
1578.83/1572.65	c cleaning 181013 clauses out of 362057 with flag 16643001/16643001
1597.90/1591.61	c cleaning 182003 clauses out of 364043 with flag 16826000/16826000
1617.34/1611.04	c cleaning 182995 clauses out of 366041 with flag 17010001/17010001
1637.61/1631.21	c cleaning 183996 clauses out of 368045 with flag 17195000/17195000
1657.16/1650.72	c cleaning 184998 clauses out of 370051 with flag 17381002/17381002
1675.81/1669.35	c cleaning 186009 clauses out of 372051 with flag 17568000/17568000
1694.84/1688.38	c cleaning 187007 clauses out of 374043 with flag 17756001/17756001
1714.27/1707.79	c cleaning 188000 clauses out of 376035 with flag 17945000/17945000
1735.77/1729.18	c cleaning 188995 clauses out of 378035 with flag 18135000/18135000
1757.70/1751.09	c cleaning 189998 clauses out of 380041 with flag 18326001/18326001
1778.99/1772.27	c cleaning 191015 clauses out of 382042 with flag 18518000/18518000
1800.05/1793.21	c starts		: 351
1800.05/1793.21	c conflicts		: 18711000
1800.05/1793.21	c decisions		: 61800323
1800.05/1793.21	c propagations		: 1440374247
1800.05/1793.21	c inspects		: 4385474644
1800.05/1793.21	c shortcuts		: 0
1800.05/1793.21	c learnt literals	: 0
1800.05/1793.21	c learnt binary clauses	: 0
1800.05/1793.21	c learnt ternary clauses	: 0
1800.05/1793.21	c learnt constraints	: 18711000
1800.05/1793.21	c ignored constraints	: 0
1800.05/1793.21	c root simplifications	: 351
1800.05/1793.21	c removed literals (reason simplification)	: 16282909
1800.05/1793.21	c reason swapping (by a shorter reason)	: 0
1800.05/1793.21	c Calls to reduceDB	: 189
1800.05/1793.21	c number of reductions to clauses (during analyze)	: 0
1800.05/1793.21	c number of learned constraints concerned by reduction	: 0
1800.05/1793.21	c number of learning phase by resolution	: 0
1800.05/1793.21	c number of learning phase by cutting planes	: 0
1800.05/1793.21	c speed (assignments/second)	: 803393.3697109037
1800.05/1793.21	c non guided choices	2798
1800.05/1793.25	c learnt constraints type 
1800.05/1793.25	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 384027
1800.05/1793.25	c constraints type 
1800.05/1793.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1687
1800.05/1793.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.05/1793.25	c ignored satisfied constraints => 112
1800.05/1793.25	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8
1800.05/1793.25	c org.sat4j.minisat.constraints.cnf.UnitClause => 16
1800.05/1793.25	c 1824 constraints processed.
1800.05/1793.25	s SATISFIABLE
1800.05/1793.25	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 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 x624 -x625 -x626 x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 x795 x796 x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 
1800.05/1793.25	c objective function=68
1800.05/1793.25	c Total wall clock time (in seconds): 1793.128

Verifier Data

OK	68

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710561-1338144413/watcher-3710561-1338144413 -o /tmp/evaluation-result-3710561-1338144413/solver-3710561-1338144413 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710561-1338144413.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: 1.99 1.99 1.99 2/194 20210
/proc/meminfo: memFree=27495064/32873660 swapFree=7120/7120
[pid=20210] ppid=20208 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/20210/stat : 20210 (java) D 20208 20210 16973 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 280567070 9515008 183 33554432000 1073741824 1073778376 140733517213824 140733517204856 270330052277 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 2323 183 140 9 0 71 0

[startup+0.0641769 s]
/proc/loadavg: 1.99 1.99 1.99 2/194 20210
/proc/meminfo: memFree=27495064/32873660 swapFree=7120/7120
[pid=20210] ppid=20208 vsize=9558440 CPUtime=0.03 cores=0,2,4,6
/proc/20210/stat : 20210 (java) S 20208 20210 16973 0 -1 4202496 3191 0 1 0 3 0 0 0 20 0 18 0 280567070 9787842560 4400 33554432000 1073741824 1073778376 140736938779680 140736938770816 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 2389610 4400 1764 9 0 2380296 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9558440

[startup+0.100254 s]
/proc/loadavg: 1.99 1.99 1.99 2/194 20210
/proc/meminfo: memFree=27495064/32873660 swapFree=7120/7120
[pid=20210] ppid=20208 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/20210/stat : 20210 (java) S 20208 20210 16973 0 -1 4202496 4266 0 1 0 8 1 0 0 20 0 18 0 280567070 9787842560 5473 33554432000 1073741824 1073778376 140736938779680 140736938770816 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 2389610 5476 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300228 s]
/proc/loadavg: 1.99 1.99 1.99 2/194 20210
/proc/meminfo: memFree=27495064/32873660 swapFree=7120/7120
[pid=20210] ppid=20208 vsize=9558440 CPUtime=0.53 cores=0,2,4,6
/proc/20210/stat : 20210 (java) S 20208 20210 16973 0 -1 4202496 7446 0 1 0 51 2 0 0 20 0 18 0 280567070 9787842560 10179 33554432000 1073741824 1073778376 140736938779680 140736938770816 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 2389610 10179 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558440

[startup+0.700217 s]
/proc/loadavg: 1.99 1.99 1.99 2/194 20210
/proc/meminfo: memFree=27495064/32873660 swapFree=7120/7120
[pid=20210] ppid=20208 vsize=9625004 CPUtime=1.28 cores=0,2,4,6
/proc/20210/stat : 20210 (java) S 20208 20210 16973 0 -1 4202496 8609 0 1 0 126 2 0 0 20 0 19 0 280567070 9856004096 13902 33554432000 1073741824 1073778376 140736938779680 140736938770816 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 2406251 13902 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 9625004

[startup+1.5006 s]
/proc/loadavg: 2.15 2.02 2.01 5/213 20229
/proc/meminfo: memFree=27442152/32873660 swapFree=7120/7120
[pid=20210] ppid=20208 vsize=9625004 CPUtime=2.16 cores=0,2,4,6
/proc/20210/stat : 20210 (java) S 20208 20210 16973 0 -1 4202496 8669 0 1 0 213 3 0 0 20 0 19 0 280567070 9856004096 16508 33554432000 1073741824 1073778376 140736938779680 140736938770816 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 2406251 16508 2283 9 0 2396937 0
[pid=20210/tid=20212] ppid=20208 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (java) R 20208 20210 16973 0 -1 4202560 2531 0 1 0 142 2 0 0 20 0 19 0 280567071 9856004096 16508 33554432000 1073741824 1073778376 140736938779680 140014294229296 140014139275154 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20213] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20213/stat : 20213 (java) S 20208 20210 16973 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 16508 33554432000 1073741824 1073778376 140736938779680 140014266682152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20214] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20214/stat : 20214 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 16508 33554432000 1073741824 1073778376 140736938779680 140014265629352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20215] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20215/stat : 20215 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 16508 33554432000 1073741824 1073778376 140736938779680 140014264577064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20210/tid=20216] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20216/stat : 20216 (java) S 20208 20210 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 16508 33554432000 1073741824 1073778376 140736938779680 140014263524264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20210/tid=20217] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20217/stat : 20217 (java) S 20208 20210 16973 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 16508 33554432000 1073741824 1073778376 140736938779680 140014262470952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20218] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20218/stat : 20218 (java) S 20208 20210 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 16508 33554432000 1073741824 1073778376 140736938779680 140014261418152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20219] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20219/stat : 20219 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 16508 33554432000 1073741824 1073778376 140736938779680 140014260365864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20220] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20220/stat : 20220 (java) S 20208 20210 16973 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 16508 33554432000 1073741824 1073778376 140736938779680 140014259313064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20221] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20221/stat : 20221 (java) S 20208 20210 16973 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 280567073 9856004096 16508 33554432000 1073741824 1073778376 140736938779680 140013647932136 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20222] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20222/stat : 20222 (java) S 20208 20210 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280567074 9856004096 16508 33554432000 1073741824 1073778376 140736938779680 140013646878200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20223] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20223/stat : 20223 (java) S 20208 20210 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280567074 9856004096 16508 33554432000 1073741824 1073778376 140736938779680 140013645825800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20224] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20224/stat : 20224 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567076 9856004096 16508 33554432000 1073741824 1073778376 140736938779680 140013644774288 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20225] ppid=20208 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/20210/task/20225/stat : 20225 (java) S 20208 20210 16973 0 -1 4202560 2520 0 0 0 34 0 0 0 20 0 19 0 280567076 9856004096 16508 33554432000 1073741824 1073778376 140736938779680 140013643720888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20226] ppid=20208 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/20210/task/20226/stat : 20226 (java) S 20208 20210 16973 0 -1 4202560 2373 0 0 0 31 0 0 0 20 0 19 0 280567076 9856004096 16508 33554432000 1073741824 1073778376 140736938779680 140013642668088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20227] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20227/stat : 20227 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567076 9856004096 16508 33554432000 1073741824 1073778376 140736938779680 140013641615992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20228] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20228/stat : 20228 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567076 9856004096 16508 33554432000 1073741824 1073778376 140736938779680 140013640563400 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20229] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20229/stat : 20229 (java) S 20208 20210 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280567105 9856004096 16508 33554432000 1073741824 1073778376 140736938779680 140013639509416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 9625004

[startup+3.10069 s]
/proc/loadavg: 2.15 2.02 2.01 3/213 20229
/proc/meminfo: memFree=27437560/32873660 swapFree=7120/7120
[pid=20210] ppid=20208 vsize=9625004 CPUtime=3.82 cores=0,2,4,6
/proc/20210/stat : 20210 (java) S 20208 20210 16973 0 -1 4202496 9268 0 1 0 379 3 0 0 20 0 19 0 280567070 9856004096 17029 33554432000 1073741824 1073778376 140736938779680 140736938770816 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 2406251 17029 2283 9 0 2396937 0
[pid=20210/tid=20212] ppid=20208 vsize=9625004 CPUtime=3 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (java) R 20208 20210 16973 0 -1 4202560 2532 0 1 0 298 2 0 0 20 0 19 0 280567071 9856004096 17029 33554432000 1073741824 1073778376 140736938779680 140014294229296 140014139348833 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20213] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20213/stat : 20213 (java) S 20208 20210 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 17029 33554432000 1073741824 1073778376 140736938779680 140014266682152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20214] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20214/stat : 20214 (java) S 20208 20210 16973 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 17029 33554432000 1073741824 1073778376 140736938779680 140014265629352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20215] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20215/stat : 20215 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 17029 33554432000 1073741824 1073778376 140736938779680 140014264577064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20216] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20216/stat : 20216 (java) S 20208 20210 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 17029 33554432000 1073741824 1073778376 140736938779680 140014263524264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20210/tid=20217] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20217/stat : 20217 (java) S 20208 20210 16973 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 17029 33554432000 1073741824 1073778376 140736938779680 140014262470952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20218] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20218/stat : 20218 (java) S 20208 20210 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 17029 33554432000 1073741824 1073778376 140736938779680 140014261418152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20210/tid=20219] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20219/stat : 20219 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 17029 33554432000 1073741824 1073778376 140736938779680 140014260365864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20220] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20220/stat : 20220 (java) S 20208 20210 16973 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 17029 33554432000 1073741824 1073778376 140736938779680 140014259313064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20221] ppid=20208 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/20210/task/20221/stat : 20221 (java) S 20208 20210 16973 0 -1 4202560 32 0 0 0 4 0 0 0 20 0 19 0 280567073 9856004096 17029 33554432000 1073741824 1073778376 140736938779680 140013647932136 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20210/tid=20222] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20222/stat : 20222 (java) S 20208 20210 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280567074 9856004096 17029 33554432000 1073741824 1073778376 140736938779680 140013646878200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20223] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20223/stat : 20223 (java) S 20208 20210 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280567074 9856004096 17029 33554432000 1073741824 1073778376 140736938779680 140013645825800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20224] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20224/stat : 20224 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567076 9856004096 17029 33554432000 1073741824 1073778376 140736938779680 140013644774288 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20225] ppid=20208 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/20210/task/20225/stat : 20225 (java) S 20208 20210 16973 0 -1 4202560 3107 0 0 0 39 0 0 0 20 0 19 0 280567076 9856004096 17029 33554432000 1073741824 1073778376 140736938779680 140013643720888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20226] ppid=20208 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/20210/task/20226/stat : 20226 (java) S 20208 20210 16973 0 -1 4202560 2373 0 0 0 31 0 0 0 20 0 19 0 280567076 9856004096 17029 33554432000 1073741824 1073778376 140736938779680 140013642668088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20227] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20227/stat : 20227 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567076 9856004096 17029 33554432000 1073741824 1073778376 140736938779680 140013641615992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20228] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20228/stat : 20228 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567076 9856004096 17029 33554432000 1073741824 1073778376 140736938779680 140013640563400 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20229] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20229/stat : 20229 (java) S 20208 20210 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280567105 9856004096 17029 33554432000 1073741824 1073778376 140736938779680 140013639509416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 9625004

[startup+6.3007 s]
/proc/loadavg: 2.13 2.02 2.00 3/213 20229
/proc/meminfo: memFree=27432968/32873660 swapFree=7120/7120
[pid=20210] ppid=20208 vsize=9625004 CPUtime=7.03 cores=0,2,4,6
/proc/20210/stat : 20210 (java) S 20208 20210 16973 0 -1 4202496 9278 0 1 0 700 3 0 0 20 0 19 0 280567070 9856004096 17545 33554432000 1073741824 1073778376 140736938779680 140736938770816 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 2406251 17545 2283 9 0 2396937 0
[pid=20210/tid=20212] ppid=20208 vsize=9625004 CPUtime=6.13 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (java) R 20208 20210 16973 0 -1 4202560 2537 0 1 0 611 2 0 0 20 0 19 0 280567071 9856004096 17545 33554432000 1073741824 1073778376 140736938779680 140014294229296 140014139313844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20213] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20213/stat : 20213 (java) S 20208 20210 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 17545 33554432000 1073741824 1073778376 140736938779680 140014266682152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20214] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20214/stat : 20214 (java) S 20208 20210 16973 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 17545 33554432000 1073741824 1073778376 140736938779680 140014265629352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20215] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20215/stat : 20215 (java) S 20208 20210 16973 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 17545 33554432000 1073741824 1073778376 140736938779680 140014264577064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20216] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20216/stat : 20216 (java) S 20208 20210 16973 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 17545 33554432000 1073741824 1073778376 140736938779680 140014263524264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20210/tid=20217] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20217/stat : 20217 (java) S 20208 20210 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 17545 33554432000 1073741824 1073778376 140736938779680 140014262470952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20218] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20218/stat : 20218 (java) S 20208 20210 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 17545 33554432000 1073741824 1073778376 140736938779680 140014261418152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20210/tid=20219] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20219/stat : 20219 (java) S 20208 20210 16973 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 17545 33554432000 1073741824 1073778376 140736938779680 140014260365864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20220] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20220/stat : 20220 (java) S 20208 20210 16973 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280567072 9856004096 17545 33554432000 1073741824 1073778376 140736938779680 140014259313064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20221] ppid=20208 vsize=9625004 CPUtime=0.09 cores=0,2,4,6
/proc/20210/task/20221/stat : 20221 (java) S 20208 20210 16973 0 -1 4202560 33 0 0 0 9 0 0 0 20 0 19 0 280567073 9856004096 17545 33554432000 1073741824 1073778376 140736938779680 140013647932136 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20222] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20222/stat : 20222 (java) S 20208 20210 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280567074 9856004096 17545 33554432000 1073741824 1073778376 140736938779680 140013646878200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20223] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20223/stat : 20223 (java) S 20208 20210 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280567074 9856004096 17545 33554432000 1073741824 1073778376 140736938779680 140013645825800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20224] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20224/stat : 20224 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567076 9856004096 17545 33554432000 1073741824 1073778376 140736938779680 140013644774288 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20225] ppid=20208 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/20210/task/20225/stat : 20225 (java) S 20208 20210 16973 0 -1 4202560 3107 0 0 0 39 0 0 0 20 0 19 0 280567076 9856004096 17545 33554432000 1073741824 1073778376 140736938779680 140013643720888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20226] ppid=20208 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/20210/task/20226/stat : 20226 (java) S 20208 20210 16973 0 -1 4202560 2373 0 0 0 31 0 0 0 20 0 19 0 280567076 9856004096 17545 33554432000 1073741824 1073778376 140736938779680 140013642668088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20227] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20227/stat : 20227 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567076 9856004096 17545 33554432000 1073741824 1073778376 140736938779680 140013641615992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20228] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20228/stat : 20228 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567076 9856004096 17545 33554432000 1073741824 1073778376 140736938779680 140013640563400 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20229] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20229/stat : 20229 (java) S 20208 20210 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280567105 9856004096 17545 33554432000 1073741824 1073778376 140736938779680 140013639509416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=20210/tid=20225] ppid=20208 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/20210/task/20225/stat : 20225 (java) S 20208 20210 16973 0 -1 4202560 3123 0 0 0 41 0 0 0 20 0 19 0 280567076 9856004096 70522 33554432000 1073741824 1073778376 140736938779680 140013643720888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20226] ppid=20208 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/20210/task/20226/stat : 20226 (java) S 20208 20210 16973 0 -1 4202560 2373 0 0 0 31 0 0 0 20 0 19 0 280567076 9856004096 70522 33554432000 1073741824 1073778376 140736938779680 140013642668088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20227] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20227/stat : 20227 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567076 9856004096 70522 33554432000 1073741824 1073778376 140736938779680 140013641615992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20228] ppid=20208 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/20210/task/20228/stat : 20228 (java) S 20208 20210 16973 0 -1 4202560 95 0 0 0 14 16 0 0 20 0 19 0 280567076 9856004096 70522 33554432000 1073741824 1073778376 140736938779680 140013640563400 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20229] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20229/stat : 20229 (java) S 20208 20210 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280567105 9856004096 70522 33554432000 1073741824 1073778376 140736938779680 140013639509416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1668.81
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 20326
/proc/meminfo: memFree=27039076/32873660 swapFree=7120/7120
[pid=20210] ppid=20208 vsize=9625004 CPUtime=1728.97 cores=0,2,4,6
/proc/20210/stat : 20210 (java) S 20208 20210 16973 0 -1 4202496 11931 0 1 0 172854 43 0 0 20 0 19 0 280567070 9856004096 70533 33554432000 1073741824 1073778376 140736938779680 140736938770816 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 2406251 70533 2284 9 0 2396937 0
[pid=20210/tid=20212] ppid=20208 vsize=9625004 CPUtime=1705.87 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (java) R 20208 20210 16973 0 -1 4202560 2736 0 1 0 170559 28 0 0 20 0 19 0 280567071 9856004096 70533 33554432000 1073741824 1073778376 140736938779680 140014294229296 140014139383443 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20213] ppid=20208 vsize=9625004 CPUtime=1 cores=0,2,4,6
/proc/20210/task/20213/stat : 20213 (java) S 20208 20210 16973 0 -1 4202560 263 0 0 0 98 2 0 0 20 0 19 0 280567072 9856004096 70533 33554432000 1073741824 1073778376 140736938779680 140014266682152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20210/tid=20214] ppid=20208 vsize=9625004 CPUtime=1.12 cores=0,2,4,6
/proc/20210/task/20214/stat : 20214 (java) S 20208 20210 16973 0 -1 4202560 157 0 0 0 110 2 0 0 20 0 19 0 280567072 9856004096 70533 33554432000 1073741824 1073778376 140736938779680 140014265629352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20215] ppid=20208 vsize=9625004 CPUtime=0.92 cores=0,2,4,6
/proc/20210/task/20215/stat : 20215 (java) S 20208 20210 16973 0 -1 4202560 260 0 0 0 90 2 0 0 20 0 19 0 280567072 9856004096 70533 33554432000 1073741824 1073778376 140736938779680 140014264577064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20210/tid=20216] ppid=20208 vsize=9625004 CPUtime=0.99 cores=0,2,4,6
/proc/20210/task/20216/stat : 20216 (java) S 20208 20210 16973 0 -1 4202560 234 0 0 0 96 3 0 0 20 0 19 0 280567072 9856004096 70533 33554432000 1073741824 1073778376 140736938779680 140014263524264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20217] ppid=20208 vsize=9625004 CPUtime=1.06 cores=0,2,4,6
/proc/20210/task/20217/stat : 20217 (java) S 20208 20210 16973 0 -1 4202560 275 0 0 0 103 3 0 0 20 0 19 0 280567072 9856004096 70533 33554432000 1073741824 1073778376 140736938779680 140014262470952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20218] ppid=20208 vsize=9625004 CPUtime=1.04 cores=0,2,4,6
/proc/20210/task/20218/stat : 20218 (java) S 20208 20210 16973 0 -1 4202560 272 0 0 0 101 3 0 0 20 0 19 0 280567072 9856004096 70533 33554432000 1073741824 1073778376 140736938779680 140014261418152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20210/tid=20219] ppid=20208 vsize=9625004 CPUtime=0.97 cores=0,2,4,6
/proc/20210/task/20219/stat : 20219 (java) S 20208 20210 16973 0 -1 4202560 489 0 0 0 94 3 0 0 20 0 19 0 280567072 9856004096 70533 33554432000 1073741824 1073778376 140736938779680 140014260365864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20220] ppid=20208 vsize=9625004 CPUtime=0.94 cores=0,2,4,6
/proc/20210/task/20220/stat : 20220 (java) S 20208 20210 16973 0 -1 4202560 287 0 0 0 92 2 0 0 20 0 19 0 280567072 9856004096 70533 33554432000 1073741824 1073778376 140736938779680 140014259313064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20210/tid=20221] ppid=20208 vsize=9625004 CPUtime=9.57 cores=0,2,4,6
/proc/20210/task/20221/stat : 20221 (java) S 20208 20210 16973 0 -1 4202560 182 0 0 0 955 2 0 0 20 0 19 0 280567073 9856004096 70533 33554432000 1073741824 1073778376 140736938779680 140013647932136 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20222] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20222/stat : 20222 (java) S 20208 20210 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280567074 9856004096 70533 33554432000 1073741824 1073778376 140736938779680 140013646878200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20223] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20223/stat : 20223 (java) S 20208 20210 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280567074 9856004096 70533 33554432000 1073741824 1073778376 140736938779680 140013645825800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20224] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20224/stat : 20224 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567076 9856004096 70533 33554432000 1073741824 1073778376 140736938779680 140013644774288 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20225] ppid=20208 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/20210/task/20225/stat : 20225 (java) S 20208 20210 16973 0 -1 4202560 3123 0 0 0 41 0 0 0 20 0 19 0 280567076 9856004096 70533 33554432000 1073741824 1073778376 140736938779680 140013643720888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20226] ppid=20208 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/20210/task/20226/stat : 20226 (java) S 20208 20210 16973 0 -1 4202560 2373 0 0 0 31 0 0 0 20 0 19 0 280567076 9856004096 70533 33554432000 1073741824 1073778376 140736938779680 140013642668088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20227] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20227/stat : 20227 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567076 9856004096 70533 33554432000 1073741824 1073778376 140736938779680 140013641615992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20228] ppid=20208 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/20210/task/20228/stat : 20228 (java) S 20208 20210 16973 0 -1 4202560 99 0 0 0 14 16 0 0 20 0 19 0 280567076 9856004096 70533 33554432000 1073741824 1073778376 140736938779680 140013640563400 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20229] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20229/stat : 20229 (java) S 20208 20210 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280567105 9856004096 70533 33554432000 1073741824 1073778376 140736938779680 140013639509416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1728.97
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 20326
/proc/meminfo: memFree=27036784/32873660 swapFree=7120/7120
[pid=20210] ppid=20208 vsize=9625004 CPUtime=1789.15 cores=0,2,4,6
/proc/20210/stat : 20210 (java) S 20208 20210 16973 0 -1 4202496 11947 0 1 0 178871 44 0 0 20 0 19 0 280567070 9856004096 70540 33554432000 1073741824 1073778376 140736938779680 140736938770816 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 2406251 70540 2284 9 0 2396937 0
[pid=20210/tid=20212] ppid=20208 vsize=9625004 CPUtime=1765.33 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (java) R 20208 20210 16973 0 -1 4202560 2739 0 1 0 176504 29 0 0 20 0 19 0 280567071 9856004096 70540 33554432000 1073741824 1073778376 140736938779680 140014294229296 140014139367802 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20213] ppid=20208 vsize=9625004 CPUtime=1.06 cores=0,2,4,6
/proc/20210/task/20213/stat : 20213 (java) S 20208 20210 16973 0 -1 4202560 263 0 0 0 104 2 0 0 20 0 19 0 280567072 9856004096 70540 33554432000 1073741824 1073778376 140736938779680 140014266682152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20214] ppid=20208 vsize=9625004 CPUtime=1.18 cores=0,2,4,6
/proc/20210/task/20214/stat : 20214 (java) S 20208 20210 16973 0 -1 4202560 157 0 0 0 116 2 0 0 20 0 19 0 280567072 9856004096 70540 33554432000 1073741824 1073778376 140736938779680 140014265629352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20215] ppid=20208 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/20210/task/20215/stat : 20215 (java) S 20208 20210 16973 0 -1 4202560 260 0 0 0 93 2 0 0 20 0 19 0 280567072 9856004096 70540 33554432000 1073741824 1073778376 140736938779680 140014264577064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20210/tid=20216] ppid=20208 vsize=9625004 CPUtime=1.01 cores=0,2,4,6
/proc/20210/task/20216/stat : 20216 (java) S 20208 20210 16973 0 -1 4202560 234 0 0 0 98 3 0 0 20 0 19 0 280567072 9856004096 70540 33554432000 1073741824 1073778376 140736938779680 140014263524264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20217] ppid=20208 vsize=9625004 CPUtime=1.09 cores=0,2,4,6
/proc/20210/task/20217/stat : 20217 (java) S 20208 20210 16973 0 -1 4202560 282 0 0 0 106 3 0 0 20 0 19 0 280567072 9856004096 70540 33554432000 1073741824 1073778376 140736938779680 140014262470952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20218] ppid=20208 vsize=9625004 CPUtime=1.05 cores=0,2,4,6
/proc/20210/task/20218/stat : 20218 (java) S 20208 20210 16973 0 -1 4202560 272 0 0 0 102 3 0 0 20 0 19 0 280567072 9856004096 70540 33554432000 1073741824 1073778376 140736938779680 140014261418152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20210/tid=20219] ppid=20208 vsize=9625004 CPUtime=1 cores=0,2,4,6
/proc/20210/task/20219/stat : 20219 (java) S 20208 20210 16973 0 -1 4202560 489 0 0 0 97 3 0 0 20 0 19 0 280567072 9856004096 70540 33554432000 1073741824 1073778376 140736938779680 140014260365864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20220] ppid=20208 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/20210/task/20220/stat : 20220 (java) S 20208 20210 16973 0 -1 4202560 287 0 0 0 94 2 0 0 20 0 19 0 280567072 9856004096 70540 33554432000 1073741824 1073778376 140736938779680 140014259313064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20210/tid=20221] ppid=20208 vsize=9625004 CPUtime=9.88 cores=0,2,4,6
/proc/20210/task/20221/stat : 20221 (java) S 20208 20210 16973 0 -1 4202560 184 0 0 0 986 2 0 0 20 0 19 0 280567073 9856004096 70540 33554432000 1073741824 1073778376 140736938779680 140013647932136 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20222] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20222/stat : 20222 (java) S 20208 20210 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280567074 9856004096 70540 33554432000 1073741824 1073778376 140736938779680 140013646878200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20223] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20223/stat : 20223 (java) S 20208 20210 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280567074 9856004096 70540 33554432000 1073741824 1073778376 140736938779680 140013645825800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20224] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20224/stat : 20224 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567076 9856004096 70540 33554432000 1073741824 1073778376 140736938779680 140013644774288 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20225] ppid=20208 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/20210/task/20225/stat : 20225 (java) S 20208 20210 16973 0 -1 4202560 3123 0 0 0 41 0 0 0 20 0 19 0 280567076 9856004096 70540 33554432000 1073741824 1073778376 140736938779680 140013643720888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20226] ppid=20208 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/20210/task/20226/stat : 20226 (java) S 20208 20210 16973 0 -1 4202560 2373 0 0 0 31 0 0 0 20 0 19 0 280567076 9856004096 70540 33554432000 1073741824 1073778376 140736938779680 140013642668088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20227] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20227/stat : 20227 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567076 9856004096 70540 33554432000 1073741824 1073778376 140736938779680 140013641615992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20228] ppid=20208 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/20210/task/20228/stat : 20228 (java) S 20208 20210 16973 0 -1 4202560 103 0 0 0 15 17 0 0 20 0 19 0 280567076 9856004096 70540 33554432000 1073741824 1073778376 140736938779680 140013640563400 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20229] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20229/stat : 20229 (java) S 20208 20210 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280567105 9856004096 70540 33554432000 1073741824 1073778376 140736938779680 140013639509416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1789.15
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 20326
/proc/meminfo: memFree=27026792/32873660 swapFree=7120/7120
[pid=20210] ppid=20208 vsize=9625004 CPUtime=1800.05 cores=0,2,4,6
/proc/20210/stat : 20210 (java) S 20208 20210 16973 0 -1 4202496 11952 0 1 0 179961 44 0 0 20 0 19 0 280567070 9856004096 73100 33554432000 1073741824 1073778376 140736938779680 140736938770816 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20210/statm: 2406251 73100 2284 9 0 2396937 0
[pid=20210/tid=20212] ppid=20208 vsize=9625004 CPUtime=1776.21 cores=0,2,4,6
/proc/20210/task/20212/stat : 20212 (java) R 20208 20210 16973 0 -1 4202560 2744 0 1 0 177592 29 0 0 20 0 19 0 280567071 9856004096 73100 33554432000 1073741824 1073778376 140736938779680 140014294229296 140014139481663 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20213] ppid=20208 vsize=9625004 CPUtime=1.06 cores=0,2,4,6
/proc/20210/task/20213/stat : 20213 (java) S 20208 20210 16973 0 -1 4202560 263 0 0 0 104 2 0 0 20 0 19 0 280567072 9856004096 73100 33554432000 1073741824 1073778376 140736938779680 140014266682152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20214] ppid=20208 vsize=9625004 CPUtime=1.18 cores=0,2,4,6
/proc/20210/task/20214/stat : 20214 (java) S 20208 20210 16973 0 -1 4202560 157 0 0 0 116 2 0 0 20 0 19 0 280567072 9856004096 73100 33554432000 1073741824 1073778376 140736938779680 140014265629352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20215] ppid=20208 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/20210/task/20215/stat : 20215 (java) S 20208 20210 16973 0 -1 4202560 260 0 0 0 93 2 0 0 20 0 19 0 280567072 9856004096 73100 33554432000 1073741824 1073778376 140736938779680 140014264577064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20210/tid=20216] ppid=20208 vsize=9625004 CPUtime=1.01 cores=0,2,4,6
/proc/20210/task/20216/stat : 20216 (java) S 20208 20210 16973 0 -1 4202560 234 0 0 0 98 3 0 0 20 0 19 0 280567072 9856004096 73100 33554432000 1073741824 1073778376 140736938779680 140014263524264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20217] ppid=20208 vsize=9625004 CPUtime=1.09 cores=0,2,4,6
/proc/20210/task/20217/stat : 20217 (java) S 20208 20210 16973 0 -1 4202560 282 0 0 0 106 3 0 0 20 0 19 0 280567072 9856004096 73100 33554432000 1073741824 1073778376 140736938779680 140014262470952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20218] ppid=20208 vsize=9625004 CPUtime=1.05 cores=0,2,4,6
/proc/20210/task/20218/stat : 20218 (java) S 20208 20210 16973 0 -1 4202560 272 0 0 0 102 3 0 0 20 0 19 0 280567072 9856004096 73100 33554432000 1073741824 1073778376 140736938779680 140014261418152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20210/tid=20219] ppid=20208 vsize=9625004 CPUtime=1 cores=0,2,4,6
/proc/20210/task/20219/stat : 20219 (java) S 20208 20210 16973 0 -1 4202560 489 0 0 0 97 3 0 0 20 0 19 0 280567072 9856004096 73100 33554432000 1073741824 1073778376 140736938779680 140014260365864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20220] ppid=20208 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/20210/task/20220/stat : 20220 (java) S 20208 20210 16973 0 -1 4202560 287 0 0 0 94 2 0 0 20 0 19 0 280567072 9856004096 73100 33554432000 1073741824 1073778376 140736938779680 140014259313064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20210/tid=20221] ppid=20208 vsize=9625004 CPUtime=9.88 cores=0,2,4,6
/proc/20210/task/20221/stat : 20221 (java) S 20208 20210 16973 0 -1 4202560 184 0 0 0 986 2 0 0 20 0 19 0 280567073 9856004096 73100 33554432000 1073741824 1073778376 140736938779680 140013647932136 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20222] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20222/stat : 20222 (java) S 20208 20210 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280567074 9856004096 73100 33554432000 1073741824 1073778376 140736938779680 140013646878200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20223] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20223/stat : 20223 (java) S 20208 20210 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280567074 9856004096 73100 33554432000 1073741824 1073778376 140736938779680 140013645825800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20224] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20224/stat : 20224 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567076 9856004096 73100 33554432000 1073741824 1073778376 140736938779680 140013644774288 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20225] ppid=20208 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/20210/task/20225/stat : 20225 (java) S 20208 20210 16973 0 -1 4202560 3123 0 0 0 41 0 0 0 20 0 19 0 280567076 9856004096 73100 33554432000 1073741824 1073778376 140736938779680 140013643720888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20210/tid=20226] ppid=20208 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/20210/task/20226/stat : 20226 (java) S 20208 20210 16973 0 -1 4202560 2373 0 0 0 31 0 0 0 20 0 19 0 280567076 9856004096 73100 33554432000 1073741824 1073778376 140736938779680 140013642668088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20227] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20227/stat : 20227 (java) S 20208 20210 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280567076 9856004096 73100 33554432000 1073741824 1073778376 140736938779680 140013641615992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20210/tid=20228] ppid=20208 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/20210/task/20228/stat : 20228 (java) S 20208 20210 16973 0 -1 4202560 103 0 0 0 15 17 0 0 20 0 19 0 280567076 9856004096 73100 33554432000 1073741824 1073778376 140736938779680 140013640563400 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20210/tid=20229] ppid=20208 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/20210/task/20229/stat : 20229 (java) S 20208 20210 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280567105 9856004096 73100 33554432000 1073741824 1073778376 140736938779680 140013639509416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20210 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=968123
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=821875
# CPU time returned by wait4() is 1795.79
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1793.26
CPU time (s): 1800.05
CPU user time (s): 1799.61
CPU system time (s): 0.44
CPU usage (%): 100.379
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.97
system time used= 0.821875
maximum resident set size= 296628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11990
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43142
involuntary context switches= 16900

runsolver used 5.88211 second user time and 14.3908 second system time

The end

Launcher Data

Begin job on node117 at 2012-05-27 20:46:53
IDJOB=3710561
IDBENCH=2052
IDSOLVER=2289
FILE ID=node117/3710561-1338144413
RUNJOBID= node117-1338124635-16989
PBS_JOBID= 14624513
Free space on /tmp= 70048 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-alu4.b.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710561-1338144413/watcher-3710561-1338144413 -o /tmp/evaluation-result-3710561-1338144413/solver-3710561-1338144413 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710561-1338144413.opb

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

MD5SUM BENCH= 9c27419d6022516b3a8580fda3ca43ee
RANDOM SEED=194119946

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        27495452 kB
Buffers:          331044 kB
Cached:          4045940 kB
SwapCached:            0 kB
Active:          2311728 kB
Inactive:        2186332 kB
Active(anon):     112404 kB
Inactive(anon):    11356 kB
Active(file):    2199324 kB
Inactive(file):  2174976 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1208 kB
Writeback:             0 kB
AnonPages:        134812 kB
Mapped:            22584 kB
Shmem:               200 kB
Slab:             735096 kB
SReclaimable:     179312 kB
SUnreclaim:       555784 kB
KernelStack:        1584 kB
PageTables:         4644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     698004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    106496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70048 MiB
End job on node117 at 2012-05-27 21:16:48