Trace number 3710789

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)9 1800.43 1795.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_30.r.opb
MD5SUM80d844acb755df30f8eb4d34a1c5fb81
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark0.074988
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses100
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 constraint10
Maximum length of a constraint30
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
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.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.09	c version 2.3.2.v20120418
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.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.12	c configuring ORDERS
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=true
0.08/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3710789-1338152962.opb
0.08/0.13	c reading problem ... 
0.24/0.20	c ... done. Wall clock time 0.067s.
0.24/0.20	c declared #vars     100
0.24/0.20	c #constraints  100
0.24/0.20	c constraints type 
0.24/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.24/0.20	c 100 constraints processed.
0.24/0.20	c SATISFIABLE
0.24/0.20	c OPTIMIZING...
0.24/0.20	c Got one! Elapsed wall clock time (in seconds):0.072
0.24/0.20	o 14
0.24/0.20	c Got one! Elapsed wall clock time (in seconds):0.076
0.24/0.20	o 13
0.69/0.44	c cleaning 2495 clauses out of 5002 with flag 5002/5002
0.87/0.54	c Got one! Elapsed wall clock time (in seconds):0.413
0.87/0.54	o 12
0.87/0.55	c Got one! Elapsed wall clock time (in seconds):0.421
0.87/0.55	o 11
0.99/0.66	c cleaning 6512 clauses out of 13029 with flag 5000/15524
1.10/0.79	c cleaning 6253 clauses out of 12519 with flag 11002/21526
1.36/0.94	c cleaning 6631 clauses out of 13264 with flag 18000/28524
1.58/1.11	c cleaning 7308 clauses out of 14636 with flag 26003/36527
1.78/1.30	c cleaning 8160 clauses out of 16330 with flag 35005/45529
1.88/1.44	c Got one! Elapsed wall clock time (in seconds):1.315
1.88/1.44	o 10
1.98/1.57	c cleaning 9928 clauses out of 19878 with flag 5000/57237
2.18/1.70	c cleaning 7974 clauses out of 15951 with flag 11001/63238
2.29/1.85	c cleaning 7482 clauses out of 14976 with flag 18000/70237
2.51/2.03	c cleaning 7748 clauses out of 15499 with flag 26005/78242
2.71/2.21	c cleaning 8369 clauses out of 16749 with flag 35003/87240
2.94/2.42	c cleaning 9180 clauses out of 18377 with flag 45000/97237
3.15/2.65	c cleaning 10086 clauses out of 20197 with flag 56000/108237
3.46/2.94	c cleaning 11047 clauses out of 22111 with flag 68000/120237
3.77/3.26	c cleaning 12015 clauses out of 24065 with flag 81001/133238
4.18/3.61	c cleaning 13015 clauses out of 26052 with flag 95003/147240
4.49/3.99	c cleaning 14006 clauses out of 28034 with flag 110000/162237
4.99/4.42	c cleaning 15007 clauses out of 30029 with flag 126001/178238
5.51/4.90	c cleaning 16005 clauses out of 32022 with flag 143001/195238
6.01/5.42	c cleaning 17007 clauses out of 34022 with flag 161006/213243
6.51/5.94	c cleaning 17992 clauses out of 36009 with flag 180000/232237
7.01/6.50	c cleaning 19002 clauses out of 38017 with flag 200000/252237
7.72/7.16	c cleaning 20002 clauses out of 40015 with flag 221000/273237
8.42/7.84	c cleaning 21000 clauses out of 42015 with flag 243002/295239
9.13/8.55	c cleaning 22005 clauses out of 44013 with flag 266000/318237
9.84/9.24	c Got one! Elapsed wall clock time (in seconds):9.108
9.84/9.24	o 9
10.14/9.51	c cleaning 25308 clauses out of 50633 with flag 5000/346862
10.35/9.73	c cleaning 15663 clauses out of 31327 with flag 11002/352864
10.56/9.92	c cleaning 11331 clauses out of 22666 with flag 18004/359866
10.75/10.11	c cleaning 9661 clauses out of 19338 with flag 26007/367869
10.86/10.29	c cleaning 9317 clauses out of 18670 with flag 35000/376862
11.19/10.54	c cleaning 9664 clauses out of 19354 with flag 45001/386863
11.51/10.81	c cleaning 10325 clauses out of 20689 with flag 56000/397862
11.72/11.09	c cleaning 11179 clauses out of 22367 with flag 68003/409865
12.12/11.41	c cleaning 12078 clauses out of 24185 with flag 81000/422862
12.42/11.75	c cleaning 13049 clauses out of 26108 with flag 95001/436863
12.83/12.13	c cleaning 14026 clauses out of 28059 with flag 110001/451863
13.22/12.56	c cleaning 15002 clauses out of 30034 with flag 126002/467864
13.72/13.00	c cleaning 16001 clauses out of 32030 with flag 143000/484862
14.13/13.47	c cleaning 16999 clauses out of 34030 with flag 161001/502863
14.63/13.93	c cleaning 18005 clauses out of 36032 with flag 180002/521864
15.24/14.50	c cleaning 18990 clauses out of 38025 with flag 200000/541862
15.84/15.11	c cleaning 20001 clauses out of 40035 with flag 221000/562862
16.45/15.70	c cleaning 20998 clauses out of 42036 with flag 243002/584864
17.15/16.45	c cleaning 22015 clauses out of 44037 with flag 266001/607863
17.85/17.19	c cleaning 22991 clauses out of 46021 with flag 290000/631862
18.65/17.93	c cleaning 23997 clauses out of 48030 with flag 315000/656862
19.46/18.72	c cleaning 25008 clauses out of 50033 with flag 341000/682862
20.36/19.61	c cleaning 25993 clauses out of 52025 with flag 368000/709862
21.28/20.55	c cleaning 27006 clauses out of 54035 with flag 396003/737865
22.19/21.49	c cleaning 28007 clauses out of 56026 with flag 425000/766862
23.39/22.61	c cleaning 29000 clauses out of 58019 with flag 455000/796862
24.49/23.73	c cleaning 30001 clauses out of 60019 with flag 486000/827862
25.60/24.88	c cleaning 30999 clauses out of 62018 with flag 518000/859862
26.91/26.17	c cleaning 32005 clauses out of 64020 with flag 551001/892863
28.33/27.54	c cleaning 33006 clauses out of 66015 with flag 585001/926863
29.73/28.94	c cleaning 33978 clauses out of 68008 with flag 620000/961862
31.04/30.28	c cleaning 35004 clauses out of 70030 with flag 656000/997862
32.54/31.72	c cleaning 36005 clauses out of 72027 with flag 693001/1034863
34.06/33.22	c cleaning 36996 clauses out of 74027 with flag 731006/1072868
35.46/34.62	c cleaning 37989 clauses out of 76026 with flag 770001/1111863
36.98/36.19	c cleaning 38993 clauses out of 78036 with flag 810000/1151862
38.69/37.83	c cleaning 40008 clauses out of 80043 with flag 851000/1192862
40.69/39.88	c cleaning 41007 clauses out of 82038 with flag 893003/1234865
42.60/41.79	c cleaning 42004 clauses out of 84028 with flag 936000/1277862
44.62/43.76	c cleaning 42988 clauses out of 86024 with flag 980000/1321862
46.92/46.04	c cleaning 44006 clauses out of 88036 with flag 1025000/1366862
49.03/48.14	c cleaning 44986 clauses out of 90030 with flag 1071000/1412862
51.35/50.43	c cleaning 45999 clauses out of 92044 with flag 1118000/1459862
53.86/52.91	c cleaning 47003 clauses out of 94046 with flag 1166001/1507863
56.30/55.33	c cleaning 48010 clauses out of 96043 with flag 1215001/1556863
59.11/58.10	c cleaning 48996 clauses out of 98033 with flag 1265001/1606863
61.64/60.65	c cleaning 50002 clauses out of 100040 with flag 1316004/1657866
64.57/63.52	c cleaning 50993 clauses out of 102035 with flag 1368001/1709863
67.48/66.44	c cleaning 52011 clauses out of 104041 with flag 1421000/1762862
70.49/69.41	c cleaning 53000 clauses out of 106030 with flag 1475000/1816862
73.40/72.35	c cleaning 53999 clauses out of 108036 with flag 1530006/1871868
76.34/75.25	c cleaning 55005 clauses out of 110033 with flag 1586002/1927864
79.15/78.09	c cleaning 55994 clauses out of 112027 with flag 1643001/1984863
83.05/81.90	c cleaning 57004 clauses out of 114032 with flag 1701000/2042862
86.36/85.26	c cleaning 57995 clauses out of 116028 with flag 1760000/2101862
89.76/88.62	c cleaning 59010 clauses out of 118035 with flag 1820002/2161864
92.77/91.65	c cleaning 59997 clauses out of 120023 with flag 1881000/2222862
95.69/94.53	c cleaning 61000 clauses out of 122028 with flag 1943002/2284864
99.40/98.26	c cleaning 61991 clauses out of 124027 with flag 2006001/2347863
103.32/102.12	c cleaning 63002 clauses out of 126035 with flag 2070000/2411862
106.84/105.68	c cleaning 63991 clauses out of 128033 with flag 2135000/2476862
110.74/109.58	c cleaning 65013 clauses out of 130042 with flag 2201000/2542862
114.85/113.67	c cleaning 65999 clauses out of 132030 with flag 2268001/2609863
118.89/117.67	c cleaning 66997 clauses out of 134030 with flag 2336000/2677862
123.34/122.07	c cleaning 67997 clauses out of 136033 with flag 2405000/2746862
127.36/126.01	c cleaning 69013 clauses out of 138039 with flag 2475003/2816865
131.77/130.49	c cleaning 69998 clauses out of 140023 with flag 2546000/2887862
136.59/135.28	c cleaning 70995 clauses out of 142026 with flag 2618001/2959863
142.21/140.86	c cleaning 71999 clauses out of 144030 with flag 2691000/3032862
146.93/145.54	c cleaning 72994 clauses out of 146032 with flag 2765001/3106863
152.15/150.76	c cleaning 73992 clauses out of 148037 with flag 2840000/3181862
157.78/156.35	c cleaning 75007 clauses out of 150045 with flag 2916000/3257862
163.10/161.66	c cleaning 76006 clauses out of 152038 with flag 2993000/3334862
168.93/167.46	c cleaning 77004 clauses out of 154034 with flag 3071002/3412864
175.26/173.74	c cleaning 78008 clauses out of 156028 with flag 3150000/3491862
182.06/180.50	c cleaning 78993 clauses out of 158020 with flag 3230000/3571862
187.90/186.36	c cleaning 80005 clauses out of 160028 with flag 3311001/3652863
194.31/192.79	c cleaning 80993 clauses out of 162024 with flag 3393002/3734864
200.43/198.85	c cleaning 81991 clauses out of 164030 with flag 3476001/3817863
205.96/204.38	c cleaning 82991 clauses out of 166038 with flag 3560000/3901862
212.38/210.79	c cleaning 84010 clauses out of 168047 with flag 3645000/3986862
219.89/218.22	c cleaning 85003 clauses out of 170037 with flag 3731000/4072862
227.03/225.35	c cleaning 86000 clauses out of 172034 with flag 3818000/4159862
233.88/232.16	c cleaning 87007 clauses out of 174036 with flag 3906002/4247864
240.71/238.95	c cleaning 88006 clauses out of 176029 with flag 3995002/4336864
247.44/245.62	c cleaning 88977 clauses out of 178021 with flag 4085000/4426862
255.49/253.61	c cleaning 90007 clauses out of 180044 with flag 4176000/4517862
263.52/261.60	c cleaning 91000 clauses out of 182040 with flag 4268003/4609865
271.64/269.79	c cleaning 91998 clauses out of 184038 with flag 4361001/4702863
280.39/278.44	c cleaning 93000 clauses out of 186039 with flag 4455000/4796862
289.42/287.44	c cleaning 94001 clauses out of 188045 with flag 4550006/4891868
297.54/295.55	c cleaning 95004 clauses out of 190038 with flag 4646000/4987862
305.46/303.43	c cleaning 96009 clauses out of 192036 with flag 4743002/5084864
313.29/311.29	c cleaning 96987 clauses out of 194025 with flag 4841000/5182862
322.52/320.41	c cleaning 97995 clauses out of 196040 with flag 4940002/5281864
330.85/328.71	c cleaning 99001 clauses out of 198045 with flag 5040002/5381864
338.02/335.84	c cleaning 100010 clauses out of 200043 with flag 5141001/5482863
345.55/343.35	c cleaning 101003 clauses out of 202032 with flag 5243000/5584862
353.88/351.69	c cleaning 101989 clauses out of 204029 with flag 5346000/5687862
362.51/360.24	c cleaning 103005 clauses out of 206040 with flag 5450000/5791862
369.45/367.12	c cleaning 104012 clauses out of 208039 with flag 5555004/5896866
378.29/375.94	c cleaning 104995 clauses out of 210023 with flag 5661000/6002862
388.92/386.56	c cleaning 105992 clauses out of 212030 with flag 5768002/6109864
397.65/395.24	c cleaning 106988 clauses out of 214036 with flag 5876000/6217862
408.38/405.99	c cleaning 108015 clauses out of 216050 with flag 5985002/6326864
419.89/417.40	c cleaning 108996 clauses out of 218035 with flag 6095002/6436864
429.93/427.48	c cleaning 110002 clauses out of 220037 with flag 6206000/6547862
441.25/438.73	c cleaning 111002 clauses out of 222035 with flag 6318000/6659862
454.87/452.39	c cleaning 111995 clauses out of 224033 with flag 6431000/6772862
468.39/465.89	c cleaning 112998 clauses out of 226038 with flag 6545000/6886862
479.42/476.87	c cleaning 114016 clauses out of 228046 with flag 6660006/7001868
491.24/488.64	c cleaning 114998 clauses out of 230024 with flag 6776000/7117862
503.87/501.21	c cleaning 115996 clauses out of 232029 with flag 6893003/7234865
516.71/514.06	c cleaning 116998 clauses out of 234030 with flag 7011000/7352862
529.76/527.05	c cleaning 118003 clauses out of 236032 with flag 7130000/7471862
544.19/541.40	c cleaning 118990 clauses out of 238030 with flag 7250001/7591863
556.03/553.22	c cleaning 119995 clauses out of 240039 with flag 7371000/7712862
570.13/567.32	c cleaning 121000 clauses out of 242044 with flag 7493000/7834862
582.78/579.96	c cleaning 122011 clauses out of 244046 with flag 7616002/7957864
597.31/594.41	c cleaning 122993 clauses out of 246035 with flag 7740002/8081864
609.15/606.28	c cleaning 124005 clauses out of 248040 with flag 7865000/8206862
623.66/620.78	c cleaning 125009 clauses out of 250041 with flag 7991006/8332868
636.37/633.43	c cleaning 125990 clauses out of 252026 with flag 8118000/8459862
651.08/648.17	c cleaning 126998 clauses out of 254037 with flag 8246001/8587863
665.53/662.55	c cleaning 128007 clauses out of 256038 with flag 8375000/8716862
677.94/675.00	c cleaning 128993 clauses out of 258031 with flag 8505000/8846862
692.70/689.68	c cleaning 130010 clauses out of 260038 with flag 8636000/8977862
710.24/707.14	c cleaning 131005 clauses out of 262028 with flag 8768000/9109862
726.67/723.60	c cleaning 131992 clauses out of 264025 with flag 8901002/9242864
743.11/739.95	c cleaning 133006 clauses out of 266034 with flag 9035003/9376865
757.96/754.78	c cleaning 133990 clauses out of 268027 with flag 9170002/9511864
774.07/770.81	c cleaning 135002 clauses out of 270036 with flag 9306001/9647863
789.38/786.19	c cleaning 136004 clauses out of 272035 with flag 9443002/9784864
807.21/803.93	c cleaning 136986 clauses out of 274029 with flag 9581000/9922862
822.03/818.78	c cleaning 138011 clauses out of 276047 with flag 9720004/10061866
844.48/841.14	c cleaning 139000 clauses out of 278033 with flag 9860001/10201863
863.12/859.76	c cleaning 140005 clauses out of 280034 with flag 10001002/10342864
882.56/879.14	c cleaning 140995 clauses out of 282027 with flag 10143000/10484862
903.09/899.62	c cleaning 142000 clauses out of 284032 with flag 10286000/10627862
923.63/920.19	c cleaning 142995 clauses out of 286032 with flag 10430000/10771862
942.16/938.64	c cleaning 143999 clauses out of 288038 with flag 10575001/10916863
960.68/957.16	c cleaning 145006 clauses out of 290044 with flag 10721006/11062868
980.41/976.81	c cleaning 146000 clauses out of 292032 with flag 10868000/11209862
1000.42/996.81	c cleaning 146997 clauses out of 294032 with flag 11016000/11357862
1017.65/1014.08	c cleaning 148003 clauses out of 296039 with flag 11165004/11506866
1037.69/1034.03	c cleaning 149005 clauses out of 298032 with flag 11315000/11656862
1060.01/1056.35	c cleaning 149990 clauses out of 300027 with flag 11466000/11807862
1080.55/1076.80	c cleaning 151001 clauses out of 302037 with flag 11618000/11959862
1099.27/1095.60	c cleaning 151995 clauses out of 304036 with flag 11771000/12112862
1119.99/1116.28	c cleaning 152999 clauses out of 306043 with flag 11925002/12266864
1142.82/1139.04	c cleaning 153997 clauses out of 308042 with flag 12080000/12421862
1167.64/1163.88	c cleaning 155002 clauses out of 310045 with flag 12236000/12577862
1188.67/1184.89	c cleaning 155997 clauses out of 312043 with flag 12393000/12734862
1213.42/1209.56	c cleaning 157007 clauses out of 314046 with flag 12551000/12892862
1234.45/1230.55	c cleaning 157993 clauses out of 316040 with flag 12710001/13051863
1257.09/1253.20	c cleaning 159009 clauses out of 318048 with flag 12870002/13211864
1281.21/1277.21	c cleaning 160004 clauses out of 320040 with flag 13031003/13372865
1305.26/1301.21	c cleaning 161004 clauses out of 322033 with flag 13193000/13534862
1328.09/1324.00	c cleaning 161999 clauses out of 324030 with flag 13356001/13697863
1350.74/1346.64	c cleaning 162990 clauses out of 326030 with flag 13520000/13861862
1373.69/1369.51	c cleaning 163992 clauses out of 328040 with flag 13685000/14026862
1397.12/1392.92	c cleaning 165010 clauses out of 330051 with flag 13851003/14192865
1419.15/1414.97	c cleaning 166001 clauses out of 332039 with flag 14018001/14359863
1440.97/1436.72	c cleaning 167001 clauses out of 334041 with flag 14186004/14527866
1461.62/1457.34	c cleaning 167989 clauses out of 336037 with flag 14355001/14696863
1483.06/1478.74	c cleaning 168992 clauses out of 338047 with flag 14525000/14866862
1504.51/1500.11	c cleaning 169996 clauses out of 340055 with flag 14696000/15037862
1532.81/1528.43	c cleaning 171017 clauses out of 342060 with flag 14868001/15209863
1561.84/1557.43	c cleaning 172014 clauses out of 344045 with flag 15041003/15382865
1588.46/1584.09	c cleaning 173007 clauses out of 346029 with flag 15215001/15556863
1617.59/1613.16	c cleaning 173987 clauses out of 348021 with flag 15390000/15731862
1646.71/1642.24	c cleaning 175007 clauses out of 350036 with flag 15566002/15907864
1674.53/1670.08	c cleaning 175999 clauses out of 352027 with flag 15743000/16084862
1701.56/1697.06	c cleaning 176995 clauses out of 354028 with flag 15921000/16262862
1732.86/1728.33	c cleaning 178012 clauses out of 356042 with flag 16100009/16441871
1762.11/1757.55	c cleaning 179003 clauses out of 358026 with flag 16280005/16621867
1791.82/1787.29	c cleaning 179990 clauses out of 360019 with flag 16461001/16802863
1800.03/1795.41	c starts		: 354
1800.03/1795.41	c conflicts		: 16879369
1800.03/1795.41	c decisions		: 32227241
1800.03/1795.41	c propagations		: 199417314
1800.03/1795.41	c inspects		: 21450704999
1800.03/1795.41	c shortcuts		: 0
1800.03/1795.41	c learnt literals	: 0
1800.03/1795.41	c learnt binary clauses	: 0
1800.03/1795.41	c learnt ternary clauses	: 0
1800.03/1795.41	c learnt constraints	: 16879370
1800.03/1795.41	c ignored constraints	: 0
1800.03/1795.41	c root simplifications	: 354
1800.03/1795.41	c removed literals (reason simplification)	: 8478144
1800.03/1795.41	c reason swapping (by a shorter reason)	: 0
1800.03/1795.41	c Calls to reduceDB	: 202
1800.03/1795.41	c number of reductions to clauses (during analyze)	: 0
1800.03/1795.41	c number of learned constraints concerned by reduction	: 0
1800.03/1795.41	c number of learning phase by resolution	: 0
1800.03/1795.41	c number of learning phase by cutting planes	: 0
1800.03/1795.41	c speed (assignments/second)	: 111083.00811604213
1800.03/1795.41	c non guided choices	256
1800.03/1795.44	c learnt constraints type 
1800.03/1795.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 256810
1800.03/1795.44	c constraints type 
1800.03/1795.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
1800.03/1795.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.03/1795.44	c 101 constraints processed.
1800.03/1795.44	s SATISFIABLE
1800.03/1795.44	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 
1800.03/1795.44	c objective function=9
1800.03/1795.44	c Total wall clock time (in seconds): 1795.315

Verifier Data 

OK	9

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-3710789-1338152962/watcher-3710789-1338152962 -o /tmp/evaluation-result-3710789-1338152962/solver-3710789-1338152962 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710789-1338152962.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: 2.10 2.03 2.00 3/194 29319
/proc/meminfo: memFree=28838832/32873844 swapFree=6856/6856
[pid=29319] ppid=29317 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/29319/stat : 29319 (java) R 29317 29319 24682 0 -1 4202496 82 0 0 0 0 0 0 0 20 0 1 0 281421121 278528 34 33554432000 1073741824 1073778376 140734368136496 140737439165848 223642479911 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29319/statm: 68 34 25 9 0 25 0

[startup+0.0144591 s]
/proc/loadavg: 2.10 2.03 2.00 3/194 29319
/proc/meminfo: memFree=28838832/32873844 swapFree=6856/6856
[pid=29319] ppid=29317 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/29319/stat : 29319 (java) S 29317 29319 24682 0 -1 4202496 1218 0 0 0 0 0 0 0 20 0 2 0 281421121 95129600 927 33554432000 1073741824 1073778376 140735815517072 140735815508208 223655002173 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29319/statm: 23225 927 703 9 0 16769 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 92900

[startup+0.100561 s]
/proc/loadavg: 2.10 2.03 2.00 3/194 29319
/proc/meminfo: memFree=28838832/32873844 swapFree=6856/6856
[pid=29319] ppid=29317 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/29319/stat : 29319 (java) S 29317 29319 24682 0 -1 4202496 4179 0 1 0 7 1 0 0 20 0 18 0 281421121 9787842560 4874 33554432000 1073741824 1073778376 140735815517072 140735815508208 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29319/statm: 2389610 4874 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.300215 s]
/proc/loadavg: 2.10 2.03 2.00 3/194 29319
/proc/meminfo: memFree=28838832/32873844 swapFree=6856/6856
[pid=29319] ppid=29317 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/29319/stat : 29319 (java) S 29317 29319 24682 0 -1 4202496 7066 0 1 0 48 2 0 0 20 0 19 0 281421121 9856004096 8432 33554432000 1073741824 1073778376 140735815517072 140735815508208 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29319/statm: 2406251 8432 2238 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625004

[startup+0.700192 s]
/proc/loadavg: 2.10 2.03 2.00 3/194 29319
/proc/meminfo: memFree=28838832/32873844 swapFree=6856/6856
[pid=29319] ppid=29317 vsize=9625004 CPUtime=1.1 cores=0,2,4,6
/proc/29319/stat : 29319 (java) S 29317 29319 24682 0 -1 4202496 8008 0 1 0 108 2 0 0 20 0 19 0 281421121 9856004096 10864 33554432000 1073741824 1073778376 140735815517072 140735815508208 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29319/statm: 2406251 10864 2275 9 0 2396937 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 9625004

[startup+1.50068 s]
/proc/loadavg: 2.10 2.03 2.00 3/213 29338
/proc/meminfo: memFree=28799520/32873844 swapFree=6856/6856
[pid=29319] ppid=29317 vsize=9625004 CPUtime=1.98 cores=0,2,4,6
/proc/29319/stat : 29319 (java) S 29317 29319 24682 0 -1 4202496 8538 0 1 0 196 2 0 0 20 0 19 0 281421121 9856004096 11416 33554432000 1073741824 1073778376 140735815517072 140735815508208 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29319/statm: 2406251 11416 2276 9 0 2396937 0
[pid=29319/tid=29321] ppid=29317 vsize=9625004 CPUtime=1.4 cores=0,2,4,6
/proc/29319/task/29321/stat : 29321 (java) R 29317 29319 24682 0 -1 4202560 2569 0 1 0 138 2 0 0 20 0 19 0 281421122 9856004096 11416 33554432000 1073741824 1073778376 140735815517072 140071901336000 140071841482242 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29322] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29322/stat : 29322 (java) S 29317 29319 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281421123 9856004096 11416 33554432000 1073741824 1073778376 140735815517072 140071840073896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29323] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29323/stat : 29323 (java) S 29317 29319 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281421123 9856004096 11416 33554432000 1073741824 1073778376 140735815517072 140071839021352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29324] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29324/stat : 29324 (java) S 29317 29319 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281421123 9856004096 11416 33554432000 1073741824 1073778376 140735815517072 140071837968808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29325] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29325/stat : 29325 (java) S 29317 29319 24682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281421123 9856004096 11416 33554432000 1073741824 1073778376 140735815517072 140071836916264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29326] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29326/stat : 29326 (java) S 29317 29319 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281421123 9856004096 11416 33554432000 1073741824 1073778376 140735815517072 140071740848808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29327] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29327/stat : 29327 (java) S 29317 29319 24682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281421123 9856004096 11416 33554432000 1073741824 1073778376 140735815517072 140071739796264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29328] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29328/stat : 29328 (java) S 29317 29319 24682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281421123 9856004096 11416 33554432000 1073741824 1073778376 140735815517072 140071738743720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29329] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29329/stat : 29329 (java) S 29317 29319 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281421123 9856004096 11416 33554432000 1073741824 1073778376 140735815517072 140071737691176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29330] ppid=29317 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/29319/task/29330/stat : 29330 (java) S 29317 29319 24682 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 19 0 281421125 9856004096 11416 33554432000 1073741824 1073778376 140735815517072 140071725492328 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29331] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29331/stat : 29331 (java) S 29317 29319 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281421125 9856004096 11416 33554432000 1073741824 1073778376 140735815517072 140071724438648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29332] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29332/stat : 29332 (java) S 29317 29319 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281421125 9856004096 11416 33554432000 1073741824 1073778376 140735815517072 140071723385992 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29333] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29333/stat : 29333 (java) S 29317 29319 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281421127 9856004096 11416 33554432000 1073741824 1073778376 140735815517072 140071722334736 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29334] ppid=29317 vsize=9625004 CPUtime=0.19 cores=0,2,4,6
/proc/29319/task/29334/stat : 29334 (java) S 29317 29319 24682 0 -1 4202560 1443 0 0 0 19 0 0 0 20 0 19 0 281421127 9856004096 11416 33554432000 1073741824 1073778376 140735815517072 140071721282104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29335] ppid=29317 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/29319/task/29335/stat : 29335 (java) S 29317 29319 24682 0 -1 4202560 3267 0 0 0 27 0 0 0 20 0 19 0 281421127 9856004096 11416 33554432000 1073741824 1073778376 140735815517072 140071720229560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29336] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29336/stat : 29336 (java) S 29317 29319 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281421127 9856004096 11416 33554432000 1073741824 1073778376 140735815517072 140071719177208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29337] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29337/stat : 29337 (java) S 29317 29319 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281421127 9856004096 11416 33554432000 1073741824 1073778376 140735815517072 140071718124872 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29338] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29338/stat : 29338 (java) S 29317 29319 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281421141 9856004096 11416 33554432000 1073741824 1073778376 140735815517072 140071717069608 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 9625004

[startup+3.10068 s]
/proc/loadavg: 2.09 2.03 2.00 3/213 29338
/proc/meminfo: memFree=28799396/32873844 swapFree=6856/6856
[pid=29319] ppid=29317 vsize=9625004 CPUtime=3.66 cores=0,2,4,6
/proc/29319/stat : 29319 (java) S 29317 29319 24682 0 -1 4202496 8553 0 1 0 364 2 0 0 20 0 19 0 281421121 9856004096 11423 33554432000 1073741824 1073778376 140735815517072 140735815508208 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29319/statm: 2406251 11423 2276 9 0 2396937 0
[pid=29319/tid=29321] ppid=29317 vsize=9625004 CPUtime=2.89 cores=0,2,4,6
/proc/29319/task/29321/stat : 29321 (java) R 29317 29319 24682 0 -1 4202560 2577 0 1 0 287 2 0 0 20 0 19 0 281421122 9856004096 11423 33554432000 1073741824 1073778376 140735815517072 140071901344048 140071841546555 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29322] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29322/stat : 29322 (java) S 29317 29319 24682 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281421123 9856004096 11423 33554432000 1073741824 1073778376 140735815517072 140071840073896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29323] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29323/stat : 29323 (java) S 29317 29319 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281421123 9856004096 11423 33554432000 1073741824 1073778376 140735815517072 140071839021352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29324] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29324/stat : 29324 (java) S 29317 29319 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281421123 9856004096 11423 33554432000 1073741824 1073778376 140735815517072 140071837968808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29325] ppid=29317 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/29319/task/29325/stat : 29325 (java) S 29317 29319 24682 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 281421123 9856004096 11423 33554432000 1073741824 1073778376 140735815517072 140071836916264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29326] ppid=29317 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/29319/task/29326/stat : 29326 (java) S 29317 29319 24682 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 281421123 9856004096 11423 33554432000 1073741824 1073778376 140735815517072 140071740848808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29327] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29327/stat : 29327 (java) S 29317 29319 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281421123 9856004096 11423 33554432000 1073741824 1073778376 140735815517072 140071739796264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29328] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29328/stat : 29328 (java) S 29317 29319 24682 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281421123 9856004096 11423 33554432000 1073741824 1073778376 140735815517072 140071738743720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29329] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29329/stat : 29329 (java) S 29317 29319 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281421123 9856004096 11423 33554432000 1073741824 1073778376 140735815517072 140071737691176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29330] ppid=29317 vsize=9625004 CPUtime=0.12 cores=0,2,4,6
/proc/29319/task/29330/stat : 29330 (java) S 29317 29319 24682 0 -1 4202560 31 0 0 0 12 0 0 0 20 0 19 0 281421125 9856004096 11423 33554432000 1073741824 1073778376 140735815517072 140071725492328 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29331] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29331/stat : 29331 (java) S 29317 29319 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281421125 9856004096 11423 33554432000 1073741824 1073778376 140735815517072 140071724438648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29332] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29332/stat : 29332 (java) S 29317 29319 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281421125 9856004096 11423 33554432000 1073741824 1073778376 140735815517072 140071723385992 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29333] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29333/stat : 29333 (java) S 29317 29319 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281421127 9856004096 11423 33554432000 1073741824 1073778376 140735815517072 140071722334736 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29334] ppid=29317 vsize=9625004 CPUtime=0.19 cores=0,2,4,6
/proc/29319/task/29334/stat : 29334 (java) S 29317 29319 24682 0 -1 4202560 1443 0 0 0 19 0 0 0 20 0 19 0 281421127 9856004096 11423 33554432000 1073741824 1073778376 140735815517072 140071721282104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29335] ppid=29317 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/29319/task/29335/stat : 29335 (java) S 29317 29319 24682 0 -1 4202560 3267 0 0 0 28 0 0 0 20 0 19 0 281421127 9856004096 11423 33554432000 1073741824 1073778376 140735815517072 140071720229560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29336] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29336/stat : 29336 (java) S 29317 29319 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281421127 9856004096 11423 33554432000 1073741824 1073778376 140735815517072 140071719177208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29337] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29337/stat : 29337 (java) S 29317 29319 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281421127 9856004096 11423 33554432000 1073741824 1073778376 140735815517072 140071718124872 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29338] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29338/stat : 29338 (java) S 29317 29319 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281421141 9856004096 11423 33554432000 1073741824 1073778376 140735815517072 140071717069608 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 9625004

[startup+6.30061 s]
/proc/loadavg: 2.09 2.03 2.00 3/213 29338
/proc/meminfo: memFree=28799024/32873844 swapFree=6856/6856
[pid=29319] ppid=29317 vsize=9625004 CPUtime=6.91 cores=0,2,4,6
/proc/29319/stat : 29319 (java) S 29317 29319 24682 0 -1 4202496 8581 0 1 0 689 2 0 0 20 0 19 0 281421121 9856004096 11443 33554432000 1073741824 1073778376 140735815517072 140735815508208 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29319/statm: 2406251 11443 2276 9 0 2396937 0
[pid=29319/tid=29321] ppid=29317 vsize=9625004 CPUtime=5.97 cores=0,2,4,6
/proc/29319/task/29321/stat : 29321 (java) R 29317 29319 24682 0 -1 4202560 2585 0 1 0 595 2 0 0 20 0 19 0 281421122 9856004096 11443 33554432000 1073741824 1073778376 140735815517072 140071901344048 140071841510661 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29322] ppid=29317 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/29319/task/29322/stat : 29322 (java) S 29317 29319 24682 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 281421123 9856004096 11443 33554432000 1073741824 1073778376 140735815517072 140071840073896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29323] ppid=29317 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/29319/task/29323/stat : 29323 (java) S 29317 29319 24682 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 281421123 9856004096 11443 33554432000 1073741824 1073778376 140735815517072 140071839021352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29324] ppid=29317 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/29319/task/29324/stat : 29324 (java) S 29317 29319 24682 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 281421123 9856004096 11443 33554432000 1073741824 1073778376 140735815517072 140071837968808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29325] ppid=29317 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/29319/task/29325/stat : 29325 (java) S 29317 29319 24682 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 281421123 9856004096 11443 33554432000 1073741824 1073778376 140735815517072 140071836916264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29326] ppid=29317 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/29319/task/29326/stat : 29326 (java) S 29317 29319 24682 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 281421123 9856004096 11443 33554432000 1073741824 1073778376 140735815517072 140071740848808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29327] ppid=29317 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/29319/task/29327/stat : 29327 (java) S 29317 29319 24682 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 281421123 9856004096 11443 33554432000 1073741824 1073778376 140735815517072 140071739796264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29328] ppid=29317 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/29319/task/29328/stat : 29328 (java) S 29317 29319 24682 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 281421123 9856004096 11443 33554432000 1073741824 1073778376 140735815517072 140071738743720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29329] ppid=29317 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/29319/task/29329/stat : 29329 (java) S 29317 29319 24682 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 281421123 9856004096 11443 33554432000 1073741824 1073778376 140735815517072 140071737691176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29330] ppid=29317 vsize=9625004 CPUtime=0.2 cores=0,2,4,6
/proc/29319/task/29330/stat : 29330 (java) S 29317 29319 24682 0 -1 4202560 31 0 0 0 20 0 0 0 20 0 19 0 281421125 9856004096 11443 33554432000 1073741824 1073778376 140735815517072 140071725492328 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29331] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29331/stat : 29331 (java) S 29317 29319 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281421125 9856004096 11443 33554432000 1073741824 1073778376 140735815517072 140071724438648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29332] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29332/stat : 29332 (java) S 29317 29319 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281421125 9856004096 11443 33554432000 1073741824 1073778376 140735815517072 140071723385992 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29333] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29333/stat : 29333 (java) S 29317 29319 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281421127 9856004096 11443 33554432000 1073741824 1073778376 140735815517072 140071722334736 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29334] ppid=29317 vsize=9625004 CPUtime=0.19 cores=0,2,4,6
/proc/29319/task/29334/stat : 29334 (java) S 29317 29319 24682 0 -1 4202560 1443 0 0 0 19 0 0 0 20 0 19 0 281421127 9856004096 11443 33554432000 1073741824 1073778376 140735815517072 140071721282104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29335] ppid=29317 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/29319/task/29335/stat : 29335 (java) S 29317 29319 24682 0 -1 4202560 3267 0 0 0 28 0 0 0 20 0 19 0 281421127 9856004096 11443 33554432000 1073741824 1073778376 140735815517072 140071720229560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29336] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29336/stat : 29336 (java) S 29317 29319 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281421127 9856004096 11443 33554432000 1073741824 1073778376 140735815517072 140071719177208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29337] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29337/stat : 29337 (java) S 29317 29319 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281421127 9856004096 11443 33554432000 1073741824 1073778376 140735815517072 140071718124872 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29338] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29338/stat : 29338 (java) S 29317 29319 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281421141 9856004096 11443 33554432000 1073741824 1073778376 140735815517072 140071717069608 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.91
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=29319/tid=29327] ppid=29317 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/29319/task/29327/stat : 29327 (java) S 29317 29319 24682 0 -1 4202560 263 0 0 0 63 0 0 0 20 0 19 0 281421123 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071739796264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29328] ppid=29317 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/29319/task/29328/stat : 29328 (java) S 29317 29319 24682 0 -1 4202560 126 0 0 0 63 0 0 0 20 0 19 0 281421123 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071738743720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29329] ppid=29317 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/29319/task/29329/stat : 29329 (java) S 29317 29319 24682 0 -1 4202560 133 0 0 0 67 0 0 0 20 0 19 0 281421123 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071737691176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29330] ppid=29317 vsize=9625004 CPUtime=6.84 cores=0,2,4,6
/proc/29319/task/29330/stat : 29330 (java) S 29317 29319 24682 0 -1 4202560 145 0 0 0 681 3 0 0 20 0 19 0 281421125 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071725492328 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29331] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29331/stat : 29331 (java) S 29317 29319 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281421125 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071724438648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29332] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29332/stat : 29332 (java) S 29317 29319 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281421125 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071723385992 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29333] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29333/stat : 29333 (java) S 29317 29319 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281421127 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071722334736 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29334] ppid=29317 vsize=9625004 CPUtime=0.19 cores=0,2,4,6
/proc/29319/task/29334/stat : 29334 (java) S 29317 29319 24682 0 -1 4202560 1443 0 0 0 19 0 0 0 20 0 19 0 281421127 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071721282104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29335] ppid=29317 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/29319/task/29335/stat : 29335 (java) S 29317 29319 24682 0 -1 4202560 3357 0 0 0 30 0 0 0 20 0 19 0 281421127 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071720229560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29336] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29336/stat : 29336 (java) S 29317 29319 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281421127 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071719177208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29337] ppid=29317 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/29319/task/29337/stat : 29337 (java) S 29317 29319 24682 0 -1 4202560 97 0 0 0 28 31 0 0 20 0 19 0 281421127 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071718124872 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29338] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29338/stat : 29338 (java) S 29317 29319 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281421141 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071717069608 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1666.83
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/213 29412
/proc/meminfo: memFree=28866076/32873844 swapFree=6856/6856
[pid=29319] ppid=29317 vsize=9625004 CPUtime=1726.86 cores=0,2,4,6
/proc/29319/stat : 29319 (java) S 29317 29319 24682 0 -1 4202496 10609 0 1 0 172625 61 0 0 20 0 19 0 281421121 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140735815508208 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29319/statm: 2406251 33430 2277 9 0 2396937 0
[pid=29319/tid=29321] ppid=29317 vsize=9625004 CPUtime=1713.69 cores=0,2,4,6
/proc/29319/task/29321/stat : 29321 (java) R 29317 29319 24682 0 -1 4202560 2771 0 1 0 171336 33 0 0 20 0 19 0 281421122 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071901344048 140071841505128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29322] ppid=29317 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/29319/task/29322/stat : 29322 (java) S 29317 29319 24682 0 -1 4202560 264 0 0 0 58 0 0 0 20 0 19 0 281421123 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071840073896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29323] ppid=29317 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/29319/task/29323/stat : 29323 (java) S 29317 29319 24682 0 -1 4202560 206 0 0 0 58 1 0 0 20 0 19 0 281421123 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071839021352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29324] ppid=29317 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/29319/task/29324/stat : 29324 (java) S 29317 29319 24682 0 -1 4202560 186 0 0 0 65 2 0 0 20 0 19 0 281421123 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071837968808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29325] ppid=29317 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/29319/task/29325/stat : 29325 (java) S 29317 29319 24682 0 -1 4202560 161 0 0 0 69 0 0 0 20 0 19 0 281421123 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071836916264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29326] ppid=29317 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/29319/task/29326/stat : 29326 (java) S 29317 29319 24682 0 -1 4202560 269 0 0 0 68 0 0 0 20 0 19 0 281421123 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071740848808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29327] ppid=29317 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/29319/task/29327/stat : 29327 (java) S 29317 29319 24682 0 -1 4202560 263 0 0 0 63 0 0 0 20 0 19 0 281421123 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071739796264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29328] ppid=29317 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/29319/task/29328/stat : 29328 (java) S 29317 29319 24682 0 -1 4202560 126 0 0 0 64 0 0 0 20 0 19 0 281421123 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071738743720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29329] ppid=29317 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/29319/task/29329/stat : 29329 (java) S 29317 29319 24682 0 -1 4202560 133 0 0 0 67 0 0 0 20 0 19 0 281421123 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071737691176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29330] ppid=29317 vsize=9625004 CPUtime=6.96 cores=0,2,4,6
/proc/29319/task/29330/stat : 29330 (java) S 29317 29319 24682 0 -1 4202560 149 0 0 0 693 3 0 0 20 0 19 0 281421125 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071725492328 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29331] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29331/stat : 29331 (java) S 29317 29319 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281421125 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071724438648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29332] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29332/stat : 29332 (java) S 29317 29319 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281421125 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071723385992 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29333] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29333/stat : 29333 (java) S 29317 29319 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281421127 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071722334736 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29334] ppid=29317 vsize=9625004 CPUtime=0.19 cores=0,2,4,6
/proc/29319/task/29334/stat : 29334 (java) S 29317 29319 24682 0 -1 4202560 1443 0 0 0 19 0 0 0 20 0 19 0 281421127 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071721282104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29335] ppid=29317 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/29319/task/29335/stat : 29335 (java) S 29317 29319 24682 0 -1 4202560 3357 0 0 0 30 0 0 0 20 0 19 0 281421127 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071720229560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29336] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29336/stat : 29336 (java) S 29317 29319 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281421127 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071719177208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29337] ppid=29317 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/29319/task/29337/stat : 29337 (java) S 29317 29319 24682 0 -1 4202560 99 0 0 0 29 31 0 0 20 0 19 0 281421127 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071718124872 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29338] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29338/stat : 29338 (java) S 29317 29319 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281421141 9856004096 33430 33554432000 1073741824 1073778376 140735815517072 140071717069608 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1726.86
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/213 29412
/proc/meminfo: memFree=28849072/32873844 swapFree=6856/6856
[pid=29319] ppid=29317 vsize=9625004 CPUtime=1786.92 cores=0,2,4,6
/proc/29319/stat : 29319 (java) S 29317 29319 24682 0 -1 4202496 10626 0 1 0 178628 64 0 0 20 0 19 0 281421121 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140735815508208 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29319/statm: 2406251 34966 2277 9 0 2396937 0
[pid=29319/tid=29321] ppid=29317 vsize=9625004 CPUtime=1773.49 cores=0,2,4,6
/proc/29319/task/29321/stat : 29321 (java) R 29317 29319 24682 0 -1 4202560 2774 0 1 0 177315 34 0 0 20 0 19 0 281421122 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071901344048 140071841481746 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29322] ppid=29317 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/29319/task/29322/stat : 29322 (java) S 29317 29319 24682 0 -1 4202560 264 0 0 0 59 0 0 0 20 0 19 0 281421123 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071840073896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29323] ppid=29317 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/29319/task/29323/stat : 29323 (java) S 29317 29319 24682 0 -1 4202560 206 0 0 0 58 2 0 0 20 0 19 0 281421123 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071839021352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29324] ppid=29317 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/29319/task/29324/stat : 29324 (java) S 29317 29319 24682 0 -1 4202560 188 0 0 0 66 2 0 0 20 0 19 0 281421123 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071837968808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29325] ppid=29317 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/29319/task/29325/stat : 29325 (java) S 29317 29319 24682 0 -1 4202560 163 0 0 0 70 0 0 0 20 0 19 0 281421123 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071836916264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29326] ppid=29317 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/29319/task/29326/stat : 29326 (java) S 29317 29319 24682 0 -1 4202560 269 0 0 0 69 0 0 0 20 0 19 0 281421123 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071740848808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29327] ppid=29317 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/29319/task/29327/stat : 29327 (java) S 29317 29319 24682 0 -1 4202560 265 0 0 0 64 0 0 0 20 0 19 0 281421123 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071739796264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29328] ppid=29317 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/29319/task/29328/stat : 29328 (java) S 29317 29319 24682 0 -1 4202560 128 0 0 0 65 0 0 0 20 0 19 0 281421123 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071738743720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29329] ppid=29317 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/29319/task/29329/stat : 29329 (java) S 29317 29319 24682 0 -1 4202560 133 0 0 0 68 0 0 0 20 0 19 0 281421123 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071737691176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29330] ppid=29317 vsize=9625004 CPUtime=7.12 cores=0,2,4,6
/proc/29319/task/29330/stat : 29330 (java) S 29317 29319 24682 0 -1 4202560 151 0 0 0 709 3 0 0 20 0 19 0 281421125 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071725492328 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29331] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29331/stat : 29331 (java) S 29317 29319 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281421125 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071724438648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29332] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29332/stat : 29332 (java) S 29317 29319 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281421125 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071723385992 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29333] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29333/stat : 29333 (java) S 29317 29319 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281421127 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071722334736 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29334] ppid=29317 vsize=9625004 CPUtime=0.19 cores=0,2,4,6
/proc/29319/task/29334/stat : 29334 (java) S 29317 29319 24682 0 -1 4202560 1443 0 0 0 19 0 0 0 20 0 19 0 281421127 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071721282104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29335] ppid=29317 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/29319/task/29335/stat : 29335 (java) S 29317 29319 24682 0 -1 4202560 3357 0 0 0 30 0 0 0 20 0 19 0 281421127 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071720229560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29336] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29336/stat : 29336 (java) S 29317 29319 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281421127 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071719177208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29337] ppid=29317 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/29319/task/29337/stat : 29337 (java) S 29317 29319 24682 0 -1 4202560 103 0 0 0 29 33 0 0 20 0 19 0 281421127 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071718124872 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29338] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29338/stat : 29338 (java) S 29317 29319 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281421141 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071717069608 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.92
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.4 s]
/proc/loadavg: 2.03 2.03 2.00 3/213 29412
/proc/meminfo: memFree=28848948/32873844 swapFree=6856/6856
[pid=29319] ppid=29317 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6
/proc/29319/stat : 29319 (java) S 29317 29319 24682 0 -1 4202496 10631 0 1 0 179939 64 0 0 20 0 19 0 281421121 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140735815508208 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29319/statm: 2406251 34966 2277 9 0 2396937 0
[pid=29319/tid=29321] ppid=29317 vsize=9625004 CPUtime=1786.53 cores=0,2,4,6
/proc/29319/task/29321/stat : 29321 (java) R 29317 29319 24682 0 -1 4202560 2775 0 1 0 178618 35 0 0 20 0 19 0 281421122 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071901344048 140071841546555 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29322] ppid=29317 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/29319/task/29322/stat : 29322 (java) S 29317 29319 24682 0 -1 4202560 264 0 0 0 59 0 0 0 20 0 19 0 281421123 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071840073896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29323] ppid=29317 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/29319/task/29323/stat : 29323 (java) S 29317 29319 24682 0 -1 4202560 206 0 0 0 59 2 0 0 20 0 19 0 281421123 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071839021352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29324] ppid=29317 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/29319/task/29324/stat : 29324 (java) S 29317 29319 24682 0 -1 4202560 188 0 0 0 66 2 0 0 20 0 19 0 281421123 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071837968808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29325] ppid=29317 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/29319/task/29325/stat : 29325 (java) S 29317 29319 24682 0 -1 4202560 163 0 0 0 70 0 0 0 20 0 19 0 281421123 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071836916264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29326] ppid=29317 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/29319/task/29326/stat : 29326 (java) S 29317 29319 24682 0 -1 4202560 269 0 0 0 69 0 0 0 20 0 19 0 281421123 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071740848808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29327] ppid=29317 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/29319/task/29327/stat : 29327 (java) S 29317 29319 24682 0 -1 4202560 265 0 0 0 64 0 0 0 20 0 19 0 281421123 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071739796264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29328] ppid=29317 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/29319/task/29328/stat : 29328 (java) S 29317 29319 24682 0 -1 4202560 128 0 0 0 65 0 0 0 20 0 19 0 281421123 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071738743720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29329] ppid=29317 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/29319/task/29329/stat : 29329 (java) S 29317 29319 24682 0 -1 4202560 133 0 0 0 68 0 0 0 20 0 19 0 281421123 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071737691176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29330] ppid=29317 vsize=9625004 CPUtime=7.19 cores=0,2,4,6
/proc/29319/task/29330/stat : 29330 (java) S 29317 29319 24682 0 -1 4202560 153 0 0 0 715 4 0 0 20 0 19 0 281421125 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071725492328 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29319/tid=29331] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29331/stat : 29331 (java) S 29317 29319 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281421125 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071724438648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29332] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29332/stat : 29332 (java) S 29317 29319 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281421125 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071723385992 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29333] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29333/stat : 29333 (java) S 29317 29319 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281421127 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071722334736 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29334] ppid=29317 vsize=9625004 CPUtime=0.19 cores=0,2,4,6
/proc/29319/task/29334/stat : 29334 (java) S 29317 29319 24682 0 -1 4202560 1443 0 0 0 19 0 0 0 20 0 19 0 281421127 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071721282104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29335] ppid=29317 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/29319/task/29335/stat : 29335 (java) S 29317 29319 24682 0 -1 4202560 3357 0 0 0 30 0 0 0 20 0 19 0 281421127 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071720229560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29336] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29336/stat : 29336 (java) S 29317 29319 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281421127 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071719177208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29319/tid=29337] ppid=29317 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/29319/task/29337/stat : 29337 (java) S 29317 29319 24682 0 -1 4202560 105 0 0 0 29 33 0 0 20 0 19 0 281421127 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071718124872 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29338] ppid=29317 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29338/stat : 29338 (java) S 29317 29319 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281421141 9856004096 34966 33554432000 1073741824 1073778376 140735815517072 140071717069608 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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
Real time (s): 1795.45
CPU time (s): 1800.43
CPU user time (s): 1799.53
CPU system time (s): 0.903862
CPU usage (%): 100.277
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.903862
maximum resident set size= 140032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10678
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43530
involuntary context switches= 22160

runsolver used 5.36318 second user time and 15.1107 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-27 23:09:22
IDJOB=3710789
IDBENCH=2849
IDSOLVER=2289
FILE ID=node144/3710789-1338152962
RUNJOBID= node144-1338138284-27028
PBS_JOBID= 14624480
Free space on /tmp= 71496 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_30.r.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-3710789-1338152962/watcher-3710789-1338152962 -o /tmp/evaluation-result-3710789-1338152962/solver-3710789-1338152962 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710789-1338152962.opb

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

MD5SUM BENCH= 80d844acb755df30f8eb4d34a1c5fb81
RANDOM SEED=1870067521

node144.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		: 2666.196
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	: 5332.39
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		: 2666.196
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		: 2666.196
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	: 5438.54
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		: 2666.196
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.91
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		: 2666.196
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.90
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		: 2666.196
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.92
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		: 2666.196
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		: 2666.196
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:       32873844 kB
MemFree:        28839468 kB
Buffers:          375832 kB
Cached:          2610708 kB
SwapCached:            0 kB
Active:          1009260 kB
Inactive:        2182464 kB
Active(anon):     206620 kB
Inactive(anon):        0 kB
Active(file):     802640 kB
Inactive(file):  2182464 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               816 kB
Writeback:             0 kB
AnonPages:        216860 kB
Mapped:            22540 kB
Shmem:               200 kB
Slab:             697100 kB
SReclaimable:     139340 kB
SUnreclaim:       557760 kB
KernelStack:        1600 kB
PageTables:         4620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71496 MiB
End job on node144 at 2012-05-27 23:39:20