Trace number 3687819

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)74 1800.58 1793.85

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
MD5SUM28425c3b4907da9ba10ee31a4de63042
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark77.6872
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 53
Optimality of the best value was proved NO
Number of variables225
Total number of constraints225
Number of constraints which are clauses225
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 constraint3
Maximum length of a constraint5
Number of terms in the objective function 225
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 225
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 225
Number of bits of the biggest sum of numbers8
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.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.09	c version 2.3.2.v20120418
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		501472288
0.03/0.09	c Max memory 		7480803328
0.03/0.09	c Total memory 		504102912
0.03/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3687819-1337875539.opb
0.09/0.11	c reading problem ... 
0.09/0.16	c ... done. Wall clock time 0.051s.
0.09/0.16	c declared #vars     225
0.09/0.16	c #constraints  225
0.09/0.16	c constraints type 
0.09/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 225
0.09/0.16	c 225 constraints processed.
0.09/0.16	c objective function length is 225 literals
0.09/0.17	c SATISFIABLE
0.09/0.17	c OPTIMIZING...
0.09/0.17	c Got one! Elapsed wall clock time (in seconds):0.058
0.09/0.17	o 75
0.09/0.18	c Got one! Elapsed wall clock time (in seconds):0.068
0.09/0.18	o 74
0.59/0.46	c cleaning 2506 clauses out of 5011 with flag 5000/5011
0.87/0.67	c cleaning 4248 clauses out of 8505 with flag 11000/11011
1.21/0.91	c cleaning 5628 clauses out of 11258 with flag 18001/18012
1.42/1.19	c cleaning 6814 clauses out of 13629 with flag 26000/26011
1.84/1.53	c cleaning 7906 clauses out of 15815 with flag 35000/35011
2.24/1.91	c cleaning 8951 clauses out of 17910 with flag 45001/45012
2.64/2.33	c cleaning 9978 clauses out of 19958 with flag 56000/56011
3.05/2.79	c cleaning 10984 clauses out of 21980 with flag 68000/68011
3.55/3.26	c cleaning 11996 clauses out of 23997 with flag 81001/81012
4.05/3.76	c cleaning 12999 clauses out of 26001 with flag 95001/95012
4.66/4.32	c cleaning 13998 clauses out of 28001 with flag 110000/110011
5.27/4.96	c cleaning 15002 clauses out of 30004 with flag 126001/126012
5.97/5.68	c cleaning 16000 clauses out of 32002 with flag 143001/143012
6.77/6.41	c cleaning 16997 clauses out of 34001 with flag 161000/161011
7.49/7.19	c cleaning 17998 clauses out of 36004 with flag 180000/180011
8.29/7.94	c cleaning 19003 clauses out of 38007 with flag 200001/200012
8.99/8.70	c cleaning 20000 clauses out of 40003 with flag 221000/221011
9.80/9.50	c cleaning 21001 clauses out of 42004 with flag 243001/243012
10.70/10.35	c cleaning 22000 clauses out of 44003 with flag 266001/266012
11.61/11.28	c cleaning 22998 clauses out of 46002 with flag 290000/290011
12.63/12.23	c cleaning 23998 clauses out of 48004 with flag 315000/315011
13.73/13.32	c cleaning 25000 clauses out of 50006 with flag 341000/341011
14.85/14.48	c cleaning 25995 clauses out of 52007 with flag 368001/368012
16.19/15.74	c cleaning 27003 clauses out of 54011 with flag 396000/396011
17.70/17.27	c cleaning 28005 clauses out of 56009 with flag 425001/425012
19.20/18.74	c cleaning 28997 clauses out of 58003 with flag 455000/455011
20.60/20.19	c cleaning 29999 clauses out of 60006 with flag 486000/486011
22.00/21.57	c cleaning 31001 clauses out of 62008 with flag 518001/518012
23.41/22.97	c cleaning 32001 clauses out of 64007 with flag 551001/551012
24.93/24.47	c cleaning 33001 clauses out of 66005 with flag 585000/585011
26.44/25.95	c cleaning 33998 clauses out of 68004 with flag 620000/620011
28.07/27.56	c cleaning 35001 clauses out of 70006 with flag 656000/656011
29.56/29.07	c cleaning 36000 clauses out of 72007 with flag 693002/693013
31.27/30.77	c cleaning 36998 clauses out of 74005 with flag 731000/731011
33.29/32.70	c cleaning 38003 clauses out of 76007 with flag 770000/770011
35.20/34.67	c cleaning 38996 clauses out of 78005 with flag 810001/810012
37.12/36.56	c cleaning 40003 clauses out of 80008 with flag 851000/851011
39.15/38.57	c cleaning 40998 clauses out of 82006 with flag 893001/893012
41.56/40.90	c cleaning 42000 clauses out of 84007 with flag 936000/936011
43.77/43.14	c cleaning 43001 clauses out of 86007 with flag 980000/980011
46.07/45.49	c cleaning 44000 clauses out of 88007 with flag 1025001/1025012
48.29/47.60	c cleaning 45002 clauses out of 90007 with flag 1071001/1071012
50.40/49.76	c cleaning 46000 clauses out of 92004 with flag 1118000/1118011
52.92/52.22	c cleaning 46999 clauses out of 94005 with flag 1166001/1166012
54.92/54.29	c cleaning 48003 clauses out of 96005 with flag 1215000/1215011
57.32/56.61	c cleaning 48998 clauses out of 98002 with flag 1265000/1265011
59.53/58.88	c cleaning 49999 clauses out of 100006 with flag 1316002/1316013
61.78/61.06	c cleaning 50995 clauses out of 102006 with flag 1368001/1368012
64.22/63.46	c cleaning 52000 clauses out of 104010 with flag 1421000/1421011
66.75/65.96	c cleaning 53000 clauses out of 106010 with flag 1475000/1475011
69.36/68.53	c cleaning 54006 clauses out of 108012 with flag 1530002/1530013
71.88/71.01	c cleaning 54998 clauses out of 110004 with flag 1586000/1586011
74.44/73.58	c cleaning 55999 clauses out of 112006 with flag 1643000/1643011
77.26/76.33	c cleaning 56999 clauses out of 114007 with flag 1701000/1701011
80.30/79.33	c cleaning 58001 clauses out of 116010 with flag 1760002/1760013
83.01/82.02	c cleaning 58999 clauses out of 118008 with flag 1820001/1820012
86.02/85.08	c cleaning 59999 clauses out of 120008 with flag 1881000/1881011
89.25/88.28	c cleaning 60997 clauses out of 122009 with flag 1943000/1943011
92.57/91.50	c cleaning 62003 clauses out of 124013 with flag 2006001/2006012
96.00/94.98	c cleaning 62999 clauses out of 126009 with flag 2070000/2070011
99.31/98.20	c cleaning 63999 clauses out of 128010 with flag 2135000/2135011
102.94/101.81	c cleaning 65003 clauses out of 130011 with flag 2201000/2201011
106.67/105.54	c cleaning 66004 clauses out of 132011 with flag 2268003/2268014
110.19/109.03	c cleaning 66997 clauses out of 134005 with flag 2336001/2336012
114.01/112.83	c cleaning 68002 clauses out of 136007 with flag 2405000/2405011
117.91/116.71	c cleaning 68998 clauses out of 138005 with flag 2475000/2475011
122.02/120.80	c cleaning 69996 clauses out of 140008 with flag 2546001/2546012
126.04/124.84	c cleaning 71000 clauses out of 142011 with flag 2618000/2618011
130.35/129.10	c cleaning 72002 clauses out of 144011 with flag 2691000/2691011
135.36/134.11	c cleaning 73002 clauses out of 146009 with flag 2765000/2765011
139.30/138.02	c cleaning 74001 clauses out of 148007 with flag 2840000/2840011
143.71/142.49	c cleaning 75000 clauses out of 150006 with flag 2916000/2916011
147.92/146.61	c cleaning 75992 clauses out of 152007 with flag 2993001/2993012
152.94/151.67	c cleaning 77006 clauses out of 154014 with flag 3071000/3071011
157.25/155.99	c cleaning 77999 clauses out of 156008 with flag 3150000/3150011
161.57/160.21	c cleaning 79001 clauses out of 158009 with flag 3230000/3230011
165.97/164.60	c cleaning 80002 clauses out of 160008 with flag 3311000/3311011
170.11/168.78	c cleaning 81002 clauses out of 162007 with flag 3393001/3393012
174.52/173.13	c cleaning 81999 clauses out of 164004 with flag 3476000/3476011
179.34/177.98	c cleaning 83000 clauses out of 166005 with flag 3560000/3560011
183.99/182.60	c cleaning 83996 clauses out of 168007 with flag 3645002/3645013
188.59/187.19	c cleaning 85003 clauses out of 170009 with flag 3731000/3731011
193.40/191.99	c cleaning 85993 clauses out of 172006 with flag 3818000/3818011
198.53/197.09	c cleaning 86999 clauses out of 174013 with flag 3906000/3906011
203.47/201.99	c cleaning 88000 clauses out of 176015 with flag 3995001/3995012
209.59/208.09	c cleaning 89008 clauses out of 178017 with flag 4085003/4085014
215.11/213.59	c cleaning 90001 clauses out of 180006 with flag 4176000/4176011
220.91/219.30	c cleaning 91002 clauses out of 182005 with flag 4268000/4268011
226.34/224.78	c cleaning 91999 clauses out of 184004 with flag 4361001/4361012
232.05/230.42	c cleaning 92999 clauses out of 186004 with flag 4455000/4455011
237.57/235.95	c cleaning 93997 clauses out of 188005 with flag 4550000/4550011
243.08/241.47	c cleaning 95000 clauses out of 190009 with flag 4646001/4646012
248.58/246.98	c cleaning 95999 clauses out of 192009 with flag 4743001/4743012
254.20/252.58	c cleaning 96999 clauses out of 194011 with flag 4841002/4841013
259.93/258.24	c cleaning 98002 clauses out of 196012 with flag 4940002/4940013
265.45/263.72	c cleaning 98996 clauses out of 198008 with flag 5040000/5040011
271.05/269.28	c cleaning 99995 clauses out of 200012 with flag 5141000/5141011
277.15/275.30	c cleaning 101004 clauses out of 202017 with flag 5243000/5243011
283.56/281.78	c cleaning 101998 clauses out of 204013 with flag 5346000/5346011
290.27/288.45	c cleaning 103003 clauses out of 206015 with flag 5450000/5450011
296.20/294.32	c cleaning 104003 clauses out of 208013 with flag 5555001/5555012
302.72/300.86	c cleaning 105005 clauses out of 210014 with flag 5661005/5661016
309.53/307.65	c cleaning 105996 clauses out of 212005 with flag 5768001/5768012
315.68/313.75	c cleaning 107004 clauses out of 214010 with flag 5876002/5876013
323.00/321.04	c cleaning 108000 clauses out of 216005 with flag 5985001/5985012
329.04/327.08	c cleaning 108998 clauses out of 218004 with flag 6095000/6095011
336.67/334.60	c cleaning 110002 clauses out of 220006 with flag 6206000/6206011
343.52/341.40	c cleaning 110996 clauses out of 222004 with flag 6318000/6318011
350.25/348.13	c cleaning 111997 clauses out of 224008 with flag 6431000/6431011
356.78/354.64	c cleaning 113000 clauses out of 226011 with flag 6545000/6545011
363.61/361.48	c cleaning 114001 clauses out of 228011 with flag 6660000/6660011
370.33/368.14	c cleaning 115001 clauses out of 230010 with flag 6776000/6776011
376.85/374.64	c cleaning 116002 clauses out of 232010 with flag 6893001/6893012
384.26/382.05	c cleaning 117001 clauses out of 234007 with flag 7011000/7011011
391.59/389.36	c cleaning 117998 clauses out of 236006 with flag 7130000/7130011
399.12/396.81	c cleaning 119001 clauses out of 238008 with flag 7250000/7250011
406.65/404.35	c cleaning 120001 clauses out of 240007 with flag 7371000/7371011
414.78/412.44	c cleaning 120994 clauses out of 242006 with flag 7493000/7493011
423.73/421.35	c cleaning 122006 clauses out of 244013 with flag 7616001/7616012
431.27/428.85	c cleaning 123000 clauses out of 246007 with flag 7740001/7740012
439.59/437.13	c cleaning 123994 clauses out of 248007 with flag 7865001/7865012
447.93/445.46	c cleaning 125003 clauses out of 250012 with flag 7991000/7991011
456.94/454.48	c cleaning 126001 clauses out of 252010 with flag 8118001/8118012
465.34/462.83	c cleaning 126993 clauses out of 254008 with flag 8246000/8246011
473.18/470.68	c cleaning 128004 clauses out of 256016 with flag 8375001/8375012
481.42/478.87	c cleaning 129000 clauses out of 258011 with flag 8505000/8505011
490.52/487.94	c cleaning 129995 clauses out of 260011 with flag 8636000/8636011
499.57/496.96	c cleaning 131002 clauses out of 262017 with flag 8768001/8768012
509.19/506.56	c cleaning 132000 clauses out of 264014 with flag 8901000/8901011
518.63/515.98	c cleaning 133001 clauses out of 266014 with flag 9035000/9035011
528.58/525.89	c cleaning 134001 clauses out of 268013 with flag 9170000/9170011
538.79/536.02	c cleaning 135002 clauses out of 270012 with flag 9306000/9306011
549.05/546.29	c cleaning 136001 clauses out of 272010 with flag 9443000/9443011
559.90/557.03	c cleaning 137000 clauses out of 274009 with flag 9581000/9581011
571.15/568.20	c cleaning 138002 clauses out of 276010 with flag 9720001/9720012
582.18/579.23	c cleaning 138999 clauses out of 278008 with flag 9860001/9860012
594.20/591.26	c cleaning 139996 clauses out of 280008 with flag 10001000/10001011
605.14/602.17	c cleaning 140995 clauses out of 282012 with flag 10143000/10143011
615.44/612.48	c cleaning 142008 clauses out of 284018 with flag 10286001/10286012
626.67/623.68	c cleaning 143002 clauses out of 286010 with flag 10430001/10430012
636.81/633.76	c cleaning 144000 clauses out of 288007 with flag 10575000/10575011
646.64/643.59	c cleaning 145002 clauses out of 290007 with flag 10721000/10721011
657.36/654.20	c cleaning 146001 clauses out of 292005 with flag 10868000/10868011
669.60/666.49	c cleaning 146998 clauses out of 294004 with flag 11016000/11016011
680.06/676.88	c cleaning 147999 clauses out of 296007 with flag 11165001/11165012
692.98/689.72	c cleaning 148999 clauses out of 298008 with flag 11315001/11315012
703.33/700.07	c cleaning 150004 clauses out of 300009 with flag 11466001/11466012
714.04/710.73	c cleaning 150995 clauses out of 302005 with flag 11618001/11618012
725.96/722.66	c cleaning 152000 clauses out of 304009 with flag 11771000/11771011
737.09/733.77	c cleaning 152993 clauses out of 306009 with flag 11925000/11925011
748.01/744.68	c cleaning 154004 clauses out of 308016 with flag 12080000/12080011
759.17/755.71	c cleaning 154998 clauses out of 310012 with flag 12236000/12236011
769.39/765.91	c cleaning 156002 clauses out of 312015 with flag 12393001/12393012
780.22/776.73	c cleaning 156996 clauses out of 314012 with flag 12551000/12551011
791.55/788.07	c cleaning 158003 clauses out of 316016 with flag 12710000/12710011
803.48/799.94	c cleaning 159005 clauses out of 318014 with flag 12870001/12870012
816.21/812.64	c cleaning 160002 clauses out of 320008 with flag 13031000/13031011
830.58/826.90	c cleaning 160999 clauses out of 322006 with flag 13193000/13193011
843.63/839.99	c cleaning 162003 clauses out of 324008 with flag 13356001/13356012
855.59/851.82	c cleaning 162997 clauses out of 326005 with flag 13520001/13520012
869.13/865.33	c cleaning 163999 clauses out of 328011 with flag 13685004/13685015
881.15/877.30	c cleaning 164998 clauses out of 330008 with flag 13851000/13851011
895.49/891.70	c cleaning 166000 clauses out of 332010 with flag 14018000/14018011
909.15/905.28	c cleaning 167003 clauses out of 334013 with flag 14186003/14186014
924.57/920.69	c cleaning 168004 clauses out of 336011 with flag 14355004/14355015
939.43/935.48	c cleaning 168999 clauses out of 338004 with flag 14525001/14525012
953.37/949.39	c cleaning 169995 clauses out of 340004 with flag 14696000/14696011
968.71/964.61	c cleaning 170993 clauses out of 342009 with flag 14868000/14868011
984.44/980.35	c cleaning 171998 clauses out of 344016 with flag 15041000/15041011
997.27/993.20	c cleaning 173005 clauses out of 346018 with flag 15215000/15215011
1011.59/1007.44	c cleaning 174002 clauses out of 348014 with flag 15390001/15390012
1027.11/1022.98	c cleaning 175000 clauses out of 350011 with flag 15566000/15566011
1040.32/1036.10	c cleaning 176004 clauses out of 352011 with flag 15743000/15743011
1053.64/1049.46	c cleaning 177000 clauses out of 354009 with flag 15921002/15921013
1068.20/1063.97	c cleaning 177993 clauses out of 356007 with flag 16100000/16100011
1080.22/1075.99	c cleaning 179006 clauses out of 358015 with flag 16280001/16280012
1095.25/1090.97	c cleaning 179999 clauses out of 360008 with flag 16461000/16461011
1108.33/1103.99	c cleaning 181000 clauses out of 362009 with flag 16643000/16643011
1124.85/1120.40	c cleaning 181999 clauses out of 364010 with flag 16826001/16826012
1141.09/1136.68	c cleaning 182997 clauses out of 366010 with flag 17010000/17010011
1158.21/1153.75	c cleaning 184002 clauses out of 368013 with flag 17195000/17195011
1175.75/1171.23	c cleaning 185001 clauses out of 370011 with flag 17381000/17381011
1191.72/1187.11	c cleaning 186002 clauses out of 372011 with flag 17568001/17568012
1210.54/1205.91	c cleaning 187003 clauses out of 374008 with flag 17756000/17756011
1230.91/1226.25	c cleaning 187997 clauses out of 376005 with flag 17945000/17945011
1249.17/1244.48	c cleaning 188997 clauses out of 378008 with flag 18135000/18135011
1268.43/1263.67	c cleaning 190004 clauses out of 380011 with flag 18326000/18326011
1289.48/1284.63	c cleaning 190999 clauses out of 382009 with flag 18518002/18518013
1307.02/1302.18	c cleaning 192001 clauses out of 384008 with flag 18711000/18711011
1325.54/1320.68	c cleaning 192999 clauses out of 386009 with flag 18905002/18905013
1348.50/1343.57	c cleaning 193997 clauses out of 388008 with flag 19100000/19100011
1366.73/1361.71	c cleaning 195006 clauses out of 390011 with flag 19296000/19296011
1383.35/1378.35	c cleaning 195997 clauses out of 392005 with flag 19493000/19493011
1400.40/1395.38	c cleaning 197000 clauses out of 394008 with flag 19691000/19691011
1416.88/1411.66	c cleaning 198001 clauses out of 396008 with flag 19890000/19890011
1436.09/1430.85	c cleaning 199000 clauses out of 398007 with flag 20090000/20090011
1452.01/1446.73	c cleaning 200002 clauses out of 400008 with flag 20291001/20291012
1469.93/1464.68	c cleaning 200994 clauses out of 402005 with flag 20493000/20493011
1487.59/1482.22	c cleaning 201996 clauses out of 404012 with flag 20696001/20696012
1510.92/1505.59	c cleaning 203008 clauses out of 406015 with flag 20900000/20900011
1528.22/1522.71	c cleaning 204002 clauses out of 408008 with flag 21105001/21105012
1544.67/1539.16	c cleaning 204999 clauses out of 410005 with flag 21311000/21311011
1565.52/1559.98	c cleaning 205999 clauses out of 412006 with flag 21518000/21518011
1588.18/1582.52	c cleaning 207003 clauses out of 414007 with flag 21726000/21726011
1606.84/1601.18	c cleaning 207995 clauses out of 416005 with flag 21935001/21935012
1624.76/1619.07	c cleaning 209000 clauses out of 418013 with flag 22145004/22145015
1645.23/1639.46	c cleaning 210001 clauses out of 420009 with flag 22356000/22356011
1667.15/1661.37	c cleaning 211004 clauses out of 422008 with flag 22568000/22568011
1686.39/1680.58	c cleaning 211994 clauses out of 424004 with flag 22781000/22781011
1704.77/1698.89	c cleaning 212999 clauses out of 426010 with flag 22995000/22995011
1722.61/1716.64	c cleaning 213995 clauses out of 428011 with flag 23210000/23210011
1740.88/1734.82	c cleaning 215003 clauses out of 430017 with flag 23426001/23426012
1759.52/1753.48	c cleaning 216006 clauses out of 432013 with flag 23643000/23643011
1776.73/1770.63	c cleaning 217001 clauses out of 434007 with flag 23861000/23861011
1792.57/1786.42	c cleaning 217995 clauses out of 436006 with flag 24080000/24080011
1800.04/1793.81	c starts		: 376
1800.04/1793.81	c conflicts		: 24227086
1800.04/1793.81	c decisions		: 38553732
1800.04/1793.81	c propagations		: 813155614
1800.04/1793.81	c inspects		: 14532453500
1800.04/1793.81	c shortcuts		: 0
1800.04/1793.81	c learnt literals	: 0
1800.04/1793.81	c learnt binary clauses	: 0
1800.04/1793.81	c learnt ternary clauses	: 0
1800.04/1793.81	c learnt constraints	: 24227088
1800.04/1793.81	c ignored constraints	: 0
1800.04/1793.81	c root simplifications	: 0
1800.04/1793.81	c removed literals (reason simplification)	: 0
1800.04/1793.81	c reason swapping (by a shorter reason)	: 0
1800.04/1793.81	c Calls to reduceDB	: 215
1800.04/1793.81	c number of reductions to clauses (during analyze)	: 0
1800.04/1793.81	c number of learned constraints concerned by reduction	: 0
1800.04/1793.81	c number of learning phase by resolution	: 0
1800.04/1793.81	c number of learning phase by cutting planes	: 0
1800.04/1793.81	c speed (assignments/second)	: 453354.6265085229
1800.04/1793.81	c non guided choices	0
1800.04/1793.84	c learnt constraints type 
1800.04/1793.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 365382
1800.04/1793.84	c constraints type 
1800.04/1793.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 225
1800.04/1793.84	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.04/1793.84	c 226 constraints processed.
1800.04/1793.84	s SATISFIABLE
1800.04/1793.85	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 
1800.04/1793.85	c objective function=74
1800.04/1793.85	c Total wall clock time (in seconds): 1793.733

Verifier Data 

OK	74

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-3687819-1337875539/watcher-3687819-1337875539 -o /tmp/evaluation-result-3687819-1337875539/solver-3687819-1337875539 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687819-1337875539.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.93 1.97 1.91 3/194 24012
/proc/meminfo: memFree=28831756/32873648 swapFree=7372/7372
[pid=24012] ppid=24010 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/24012/stat : 24012 (java) D 24010 24012 23489 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 253679922 2560000 46 33554432000 1073741824 1073778376 140733457066704 140733457063832 217401355559 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/24012/statm: 625 46 37 9 0 29 0

[startup+0.0669549 s]
/proc/loadavg: 1.93 1.97 1.91 3/194 24012
/proc/meminfo: memFree=28831756/32873648 swapFree=7372/7372
[pid=24012] ppid=24010 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/24012/stat : 24012 (java) S 24010 24012 23489 0 -1 4202496 3238 0 1 0 3 0 0 0 20 0 18 0 253679922 9787813888 3936 33554432000 1073741824 1073778376 140736519220048 140736519211184 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24012/statm: 2389603 3936 1757 9 0 2380296 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9558412

[startup+0.100197 s]
/proc/loadavg: 1.93 1.97 1.91 3/194 24012
/proc/meminfo: memFree=28831756/32873648 swapFree=7372/7372
[pid=24012] ppid=24010 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/24012/stat : 24012 (java) S 24010 24012 23489 0 -1 4202496 4343 0 1 0 8 1 0 0 20 0 18 0 253679922 9787813888 5032 33554432000 1073741824 1073778376 140736519220048 140736519211184 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24012/statm: 2389603 5032 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300211 s]
/proc/loadavg: 1.93 1.97 1.91 3/194 24012
/proc/meminfo: memFree=28831756/32873648 swapFree=7372/7372
[pid=24012] ppid=24010 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/24012/stat : 24012 (java) S 24010 24012 23489 0 -1 4202496 6915 0 1 0 46 1 0 0 20 0 19 0 253679922 9855975424 7211 33554432000 1073741824 1073778376 140736519220048 140736519211184 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24012/statm: 2406244 7211 2230 9 0 2396937 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9624976

[startup+0.700183 s]
/proc/loadavg: 1.93 1.97 1.91 3/194 24012
/proc/meminfo: memFree=28831756/32873648 swapFree=7372/7372
[pid=24012] ppid=24010 vsize=9624976 CPUtime=1.01 cores=1,3,5,7
/proc/24012/stat : 24012 (java) S 24010 24012 23489 0 -1 4202496 7710 0 1 0 98 3 0 0 20 0 19 0 253679922 9855975424 10401 33554432000 1073741824 1073778376 140736519220048 140736519211184 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24012/statm: 2406244 10401 2265 9 0 2396937 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 9624976

[startup+1.50061 s]
/proc/loadavg: 1.93 1.97 1.91 3/213 24031
/proc/meminfo: memFree=28796208/32873648 swapFree=7372/7372
[pid=24012] ppid=24010 vsize=9624976 CPUtime=1.84 cores=1,3,5,7
/proc/24012/stat : 24012 (java) S 24010 24012 23489 0 -1 4202496 7738 0 1 0 181 3 0 0 20 0 19 0 253679922 9855975424 10426 33554432000 1073741824 1073778376 140736519220048 140736519211184 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24012/statm: 2406244 10426 2266 9 0 2396937 0
[pid=24012/tid=24014] ppid=24010 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/24012/task/24014/stat : 24014 (java) R 24010 24012 23489 0 -1 4202560 2512 0 1 0 142 0 0 0 20 0 19 0 253679923 9855975424 10426 33554432000 1073741824 1073778376 140736519220048 139996076359968 139995949416319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24015] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24015/stat : 24015 (java) S 24010 24012 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 10426 33554432000 1073741824 1073778376 140736519220048 139995920382504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24012/tid=24016] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24016/stat : 24016 (java) S 24010 24012 23489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 10426 33554432000 1073741824 1073778376 140736519220048 139995919329704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24017] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24017/stat : 24017 (java) S 24010 24012 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 10426 33554432000 1073741824 1073778376 140736519220048 139995918276904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24012/tid=24018] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24018/stat : 24018 (java) S 24010 24012 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 10426 33554432000 1073741824 1073778376 140736519220048 139995917224104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24019] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24019/stat : 24019 (java) S 24010 24012 23489 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 10426 33554432000 1073741824 1073778376 140736519220048 139995916172328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24020] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24020/stat : 24020 (java) S 24010 24012 23489 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 10426 33554432000 1073741824 1073778376 140736519220048 139995915119528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24021] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24021/stat : 24021 (java) S 24010 24012 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 10426 33554432000 1073741824 1073778376 140736519220048 139995914066728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24012/tid=24022] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24022/stat : 24022 (java) S 24010 24012 23489 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 10426 33554432000 1073741824 1073778376 140736519220048 139995913013928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24023] ppid=24010 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/24012/task/24023/stat : 24023 (java) S 24010 24012 23489 0 -1 4202560 30 0 0 0 2 0 0 0 20 0 19 0 253679925 9855975424 10426 33554432000 1073741824 1073778376 140736519220048 139995900602856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24024] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24024/stat : 24024 (java) S 24010 24012 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679926 9855975424 10426 33554432000 1073741824 1073778376 140736519220048 139995899548920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24025] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24025/stat : 24025 (java) S 24010 24012 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679926 9855975424 10426 33554432000 1073741824 1073778376 140736519220048 139995898496008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24026] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24026/stat : 24026 (java) S 24010 24012 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679928 9855975424 10426 33554432000 1073741824 1073778376 140736519220048 139995897444496 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24027] ppid=24010 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/24012/task/24027/stat : 24027 (java) S 24010 24012 23489 0 -1 4202560 2591 0 0 0 19 0 0 0 20 0 19 0 253679928 9855975424 10426 33554432000 1073741824 1073778376 140736519220048 139995896392632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24028] ppid=24010 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/24012/task/24028/stat : 24028 (java) S 24010 24012 23489 0 -1 4202560 1370 0 0 0 13 0 0 0 20 0 19 0 253679928 9855975424 10426 33554432000 1073741824 1073778376 140736519220048 139995895339832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24029] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24029/stat : 24029 (java) S 24010 24012 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679928 9855975424 10426 33554432000 1073741824 1073778376 140736519220048 139995894287224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24030] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24030/stat : 24030 (java) S 24010 24012 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679928 9855975424 10426 33554432000 1073741824 1073778376 140736519220048 139995893234632 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24031] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24031/stat : 24031 (java) S 24010 24012 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679939 9855975424 10426 33554432000 1073741824 1073778376 140736519220048 139995892180136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 9624976

[startup+3.10061 s]
/proc/loadavg: 1.93 1.97 1.91 3/213 24031
/proc/meminfo: memFree=28791368/32873648 swapFree=7372/7372
[pid=24012] ppid=24010 vsize=9624976 CPUtime=3.45 cores=1,3,5,7
/proc/24012/stat : 24012 (java) S 24010 24012 23489 0 -1 4202496 7761 0 1 0 342 3 0 0 20 0 19 0 253679922 9855975424 11975 33554432000 1073741824 1073778376 140736519220048 140736519211184 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24012/statm: 2406244 11975 2266 9 0 2396937 0
[pid=24012/tid=24014] ppid=24010 vsize=9624976 CPUtime=2.97 cores=1,3,5,7
/proc/24012/task/24014/stat : 24014 (java) R 24010 24012 23489 0 -1 4202560 2516 0 1 0 297 0 0 0 20 0 19 0 253679923 9855975424 11975 33554432000 1073741824 1073778376 140736519220048 139996076359968 139995949416215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24015] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24015/stat : 24015 (java) S 24010 24012 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 11975 33554432000 1073741824 1073778376 140736519220048 139995920382504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24012/tid=24016] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24016/stat : 24016 (java) S 24010 24012 23489 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 11975 33554432000 1073741824 1073778376 140736519220048 139995919329704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24017] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24017/stat : 24017 (java) S 24010 24012 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 11975 33554432000 1073741824 1073778376 140736519220048 139995918276904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24012/tid=24018] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24018/stat : 24018 (java) S 24010 24012 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 11975 33554432000 1073741824 1073778376 140736519220048 139995917224104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24019] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24019/stat : 24019 (java) S 24010 24012 23489 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 11975 33554432000 1073741824 1073778376 140736519220048 139995916172328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24020] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24020/stat : 24020 (java) S 24010 24012 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 11975 33554432000 1073741824 1073778376 140736519220048 139995915119528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24021] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24021/stat : 24021 (java) S 24010 24012 23489 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 11975 33554432000 1073741824 1073778376 140736519220048 139995914066728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24022] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24022/stat : 24022 (java) S 24010 24012 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 11975 33554432000 1073741824 1073778376 140736519220048 139995913013928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24023] ppid=24010 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/24012/task/24023/stat : 24023 (java) S 24010 24012 23489 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 19 0 253679925 9855975424 11975 33554432000 1073741824 1073778376 140736519220048 139995900602856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24024] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24024/stat : 24024 (java) S 24010 24012 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679926 9855975424 11975 33554432000 1073741824 1073778376 140736519220048 139995899548920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24025] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24025/stat : 24025 (java) S 24010 24012 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679926 9855975424 11975 33554432000 1073741824 1073778376 140736519220048 139995898496008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24026] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24026/stat : 24026 (java) S 24010 24012 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679928 9855975424 11975 33554432000 1073741824 1073778376 140736519220048 139995897444496 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24027] ppid=24010 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/24012/task/24027/stat : 24027 (java) S 24010 24012 23489 0 -1 4202560 2591 0 0 0 19 0 0 0 20 0 19 0 253679928 9855975424 11975 33554432000 1073741824 1073778376 140736519220048 139995896392632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24028] ppid=24010 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/24012/task/24028/stat : 24028 (java) S 24010 24012 23489 0 -1 4202560 1370 0 0 0 13 0 0 0 20 0 19 0 253679928 9855975424 11975 33554432000 1073741824 1073778376 140736519220048 139995895339832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24029] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24029/stat : 24029 (java) S 24010 24012 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679928 9855975424 11975 33554432000 1073741824 1073778376 140736519220048 139995894287224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24030] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24030/stat : 24030 (java) S 24010 24012 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679928 9855975424 11975 33554432000 1073741824 1073778376 140736519220048 139995893234632 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24031] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24031/stat : 24031 (java) S 24010 24012 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679939 9855975424 11975 33554432000 1073741824 1073778376 140736519220048 139995892180136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 9624976

[startup+6.30064 s]
/proc/loadavg: 1.94 1.97 1.91 3/213 24031
/proc/meminfo: memFree=28774948/32873648 swapFree=7372/7372
[pid=24012] ppid=24010 vsize=9624976 CPUtime=6.67 cores=1,3,5,7
/proc/24012/stat : 24012 (java) S 24010 24012 23489 0 -1 4202496 7795 0 1 0 664 3 0 0 20 0 19 0 253679922 9855975424 13374 33554432000 1073741824 1073778376 140736519220048 140736519211184 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24012/statm: 2406244 13374 2266 9 0 2396937 0
[pid=24012/tid=24014] ppid=24010 vsize=9624976 CPUtime=6.09 cores=1,3,5,7
/proc/24012/task/24014/stat : 24014 (java) R 24010 24012 23489 0 -1 4202560 2523 0 1 0 608 1 0 0 20 0 19 0 253679923 9855975424 13374 33554432000 1073741824 1073778376 140736519220048 139996076359968 139995949416347 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24015] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24015/stat : 24015 (java) S 24010 24012 23489 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 13374 33554432000 1073741824 1073778376 140736519220048 139995920382504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24012/tid=24016] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24016/stat : 24016 (java) S 24010 24012 23489 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 13374 33554432000 1073741824 1073778376 140736519220048 139995919329704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24017] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24017/stat : 24017 (java) S 24010 24012 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 13374 33554432000 1073741824 1073778376 140736519220048 139995918276904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24018] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24018/stat : 24018 (java) S 24010 24012 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 13374 33554432000 1073741824 1073778376 140736519220048 139995917224104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24019] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24019/stat : 24019 (java) S 24010 24012 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 13374 33554432000 1073741824 1073778376 140736519220048 139995916172328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24020] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24020/stat : 24020 (java) S 24010 24012 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 13374 33554432000 1073741824 1073778376 140736519220048 139995915119528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24021] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24021/stat : 24021 (java) S 24010 24012 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 13374 33554432000 1073741824 1073778376 140736519220048 139995914066728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24022] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24022/stat : 24022 (java) S 24010 24012 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253679924 9855975424 13374 33554432000 1073741824 1073778376 140736519220048 139995913013928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24012/tid=24023] ppid=24010 vsize=9624976 CPUtime=0.12 cores=1,3,5,7
/proc/24012/task/24023/stat : 24023 (java) S 24010 24012 23489 0 -1 4202560 32 0 0 0 12 0 0 0 20 0 19 0 253679925 9855975424 13374 33554432000 1073741824 1073778376 140736519220048 139995900602856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24024] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24024/stat : 24024 (java) S 24010 24012 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679926 9855975424 13374 33554432000 1073741824 1073778376 140736519220048 139995899548920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24025] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24025/stat : 24025 (java) S 24010 24012 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679926 9855975424 13374 33554432000 1073741824 1073778376 140736519220048 139995898496008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24026] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24026/stat : 24026 (java) S 24010 24012 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679928 9855975424 13374 33554432000 1073741824 1073778376 140736519220048 139995897444496 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24027] ppid=24010 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/24012/task/24027/stat : 24027 (java) S 24010 24012 23489 0 -1 4202560 2591 0 0 0 19 0 0 0 20 0 19 0 253679928 9855975424 13374 33554432000 1073741824 1073778376 140736519220048 139995896392632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24028] ppid=24010 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/24012/task/24028/stat : 24028 (java) S 24010 24012 23489 0 -1 4202560 1370 0 0 0 13 0 0 0 20 0 19 0 253679928 9855975424 13374 33554432000 1073741824 1073778376 140736519220048 139995895339832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24029] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24029/stat : 24029 (java) S 24010 24012 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679928 9855975424 13374 33554432000 1073741824 1073778376 140736519220048 139995894287224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24030] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24030/stat : 24030 (java) S 24010 24012 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679928 9855975424 13374 33554432000 1073741824 1073778376 140736519220048 139995893234632 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24031] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24031/stat : 24031 (java) S 24010 24012 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679939 9855975424 13374 33554432000 1073741824 1073778376 140736519220048 139995892180136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=24012/tid=24020] ppid=24010 vsize=9624976 CPUtime=0.97 cores=1,3,5,7
/proc/24012/task/24020/stat : 24020 (java) S 24010 24012 23489 0 -1 4202560 279 0 0 0 95 2 0 0 20 0 19 0 253679924 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995915119528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24021] ppid=24010 vsize=9624976 CPUtime=0.93 cores=1,3,5,7
/proc/24012/task/24021/stat : 24021 (java) S 24010 24012 23489 0 -1 4202560 287 0 0 0 90 3 0 0 20 0 19 0 253679924 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995914066728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24022] ppid=24010 vsize=9624976 CPUtime=0.94 cores=1,3,5,7
/proc/24012/task/24022/stat : 24022 (java) S 24010 24012 23489 0 -1 4202560 409 0 0 0 91 3 0 0 20 0 19 0 253679924 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995913013928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24012/tid=24023] ppid=24010 vsize=9624976 CPUtime=10.19 cores=1,3,5,7
/proc/24012/task/24023/stat : 24023 (java) S 24010 24012 23489 0 -1 4202560 176 0 0 0 1015 4 0 0 20 0 19 0 253679925 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995900602856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24012/tid=24024] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24024/stat : 24024 (java) S 24010 24012 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679926 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995899548920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24025] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24025/stat : 24025 (java) S 24010 24012 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679926 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995898496008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24026] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24026/stat : 24026 (java) S 24010 24012 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679928 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995897444496 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24027] ppid=24010 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/24012/task/24027/stat : 24027 (java) S 24010 24012 23489 0 -1 4202560 2685 0 0 0 22 0 0 0 20 0 19 0 253679928 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995896392632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24028] ppid=24010 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/24012/task/24028/stat : 24028 (java) S 24010 24012 23489 0 -1 4202560 1370 0 0 0 13 0 0 0 20 0 19 0 253679928 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995895339832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24029] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24029/stat : 24029 (java) S 24010 24012 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679928 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995894287224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24030] ppid=24010 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/24012/task/24030/stat : 24030 (java) S 24010 24012 23489 0 -1 4202560 97 0 0 0 17 22 0 0 20 0 19 0 253679928 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995893234632 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24031] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24031/stat : 24031 (java) S 24010 24012 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679939 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995892180136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1668.19
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/213 24047
/proc/meminfo: memFree=27347772/32873648 swapFree=7372/7372
[pid=24012] ppid=24010 vsize=9624976 CPUtime=1728.37 cores=1,3,5,7
/proc/24012/stat : 24012 (java) S 24010 24012 23489 0 -1 4202496 11028 0 1 0 172783 54 0 0 20 0 19 0 253679922 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 140736519211184 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24012/statm: 2406244 76458 2267 9 0 2396937 0
[pid=24012/tid=24014] ppid=24010 vsize=9624976 CPUtime=1709.52 cores=1,3,5,7
/proc/24012/task/24014/stat : 24014 (java) R 24010 24012 23489 0 -1 4202560 2753 0 1 0 170923 29 0 0 20 0 19 0 253679923 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139996076359968 139995949416300 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24015] ppid=24010 vsize=9624976 CPUtime=0.96 cores=1,3,5,7
/proc/24012/task/24015/stat : 24015 (java) S 24010 24012 23489 0 -1 4202560 352 0 0 0 93 3 0 0 20 0 19 0 253679924 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995920382504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24016] ppid=24010 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/24012/task/24016/stat : 24016 (java) S 24010 24012 23489 0 -1 4202560 391 0 0 0 99 4 0 0 20 0 19 0 253679924 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995919329704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24017] ppid=24010 vsize=9624976 CPUtime=0.95 cores=1,3,5,7
/proc/24012/task/24017/stat : 24017 (java) S 24010 24012 23489 0 -1 4202560 289 0 0 0 92 3 0 0 20 0 19 0 253679924 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995918276904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24018] ppid=24010 vsize=9624976 CPUtime=0.9 cores=1,3,5,7
/proc/24012/task/24018/stat : 24018 (java) S 24010 24012 23489 0 -1 4202560 472 0 0 0 87 3 0 0 20 0 19 0 253679924 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995917224104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24019] ppid=24010 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/24012/task/24019/stat : 24019 (java) S 24010 24012 23489 0 -1 4202560 284 0 0 0 99 4 0 0 20 0 19 0 253679924 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995916172328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24020] ppid=24010 vsize=9624976 CPUtime=1 cores=1,3,5,7
/proc/24012/task/24020/stat : 24020 (java) S 24010 24012 23489 0 -1 4202560 279 0 0 0 98 2 0 0 20 0 19 0 253679924 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995915119528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24021] ppid=24010 vsize=9624976 CPUtime=0.96 cores=1,3,5,7
/proc/24012/task/24021/stat : 24021 (java) S 24010 24012 23489 0 -1 4202560 287 0 0 0 93 3 0 0 20 0 19 0 253679924 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995914066728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24022] ppid=24010 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/24012/task/24022/stat : 24022 (java) S 24010 24012 23489 0 -1 4202560 409 0 0 0 95 3 0 0 20 0 19 0 253679924 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995913013928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24023] ppid=24010 vsize=9624976 CPUtime=10.45 cores=1,3,5,7
/proc/24012/task/24023/stat : 24023 (java) S 24010 24012 23489 0 -1 4202560 178 0 0 0 1041 4 0 0 20 0 19 0 253679925 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995900602856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24024] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24024/stat : 24024 (java) S 24010 24012 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679926 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995899548920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24025] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24025/stat : 24025 (java) S 24010 24012 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679926 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995898496008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24026] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24026/stat : 24026 (java) S 24010 24012 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679928 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995897444496 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24027] ppid=24010 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/24012/task/24027/stat : 24027 (java) S 24010 24012 23489 0 -1 4202560 2685 0 0 0 22 0 0 0 20 0 19 0 253679928 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995896392632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24028] ppid=24010 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/24012/task/24028/stat : 24028 (java) S 24010 24012 23489 0 -1 4202560 1370 0 0 0 13 0 0 0 20 0 19 0 253679928 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995895339832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24029] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24029/stat : 24029 (java) S 24010 24012 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679928 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995894287224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24030] ppid=24010 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/24012/task/24030/stat : 24030 (java) S 24010 24012 23489 0 -1 4202560 99 0 0 0 18 23 0 0 20 0 19 0 253679928 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995893234632 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24031] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24031/stat : 24031 (java) S 24010 24012 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679939 9855975424 76458 33554432000 1073741824 1073778376 140736519220048 139995892180136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1728.37
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/213 24106
/proc/meminfo: memFree=28397388/32873648 swapFree=7372/7372
[pid=24012] ppid=24010 vsize=9624976 CPUtime=1788.46 cores=1,3,5,7
/proc/24012/stat : 24012 (java) S 24010 24012 23489 0 -1 4202496 11041 0 1 0 178790 56 0 0 20 0 19 0 253679922 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 140736519211184 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24012/statm: 2406244 77482 2267 9 0 2396937 0
[pid=24012/tid=24014] ppid=24010 vsize=9624976 CPUtime=1769.2 cores=1,3,5,7
/proc/24012/task/24014/stat : 24014 (java) R 24010 24012 23489 0 -1 4202560 2758 0 1 0 176890 30 0 0 20 0 19 0 253679923 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139996076359968 139995949489389 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24015] ppid=24010 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/24012/task/24015/stat : 24015 (java) S 24010 24012 23489 0 -1 4202560 352 0 0 0 95 3 0 0 20 0 19 0 253679924 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995920382504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24016] ppid=24010 vsize=9624976 CPUtime=1.05 cores=1,3,5,7
/proc/24012/task/24016/stat : 24016 (java) S 24010 24012 23489 0 -1 4202560 391 0 0 0 101 4 0 0 20 0 19 0 253679924 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995919329704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24017] ppid=24010 vsize=9624976 CPUtime=0.97 cores=1,3,5,7
/proc/24012/task/24017/stat : 24017 (java) S 24010 24012 23489 0 -1 4202560 289 0 0 0 94 3 0 0 20 0 19 0 253679924 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995918276904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24018] ppid=24010 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/24012/task/24018/stat : 24018 (java) S 24010 24012 23489 0 -1 4202560 472 0 0 0 88 3 0 0 20 0 19 0 253679924 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995917224104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24019] ppid=24010 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/24012/task/24019/stat : 24019 (java) S 24010 24012 23489 0 -1 4202560 284 0 0 0 99 4 0 0 20 0 19 0 253679924 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995916172328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24020] ppid=24010 vsize=9624976 CPUtime=1.01 cores=1,3,5,7
/proc/24012/task/24020/stat : 24020 (java) S 24010 24012 23489 0 -1 4202560 279 0 0 0 99 2 0 0 20 0 19 0 253679924 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995915119528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24021] ppid=24010 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/24012/task/24021/stat : 24021 (java) S 24010 24012 23489 0 -1 4202560 287 0 0 0 95 3 0 0 20 0 19 0 253679924 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995914066728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24022] ppid=24010 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/24012/task/24022/stat : 24022 (java) S 24010 24012 23489 0 -1 4202560 409 0 0 0 96 3 0 0 20 0 19 0 253679924 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995913013928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24012/tid=24023] ppid=24010 vsize=9624976 CPUtime=10.74 cores=1,3,5,7
/proc/24012/task/24023/stat : 24023 (java) S 24010 24012 23489 0 -1 4202560 182 0 0 0 1070 4 0 0 20 0 19 0 253679925 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995900602856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24024] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24024/stat : 24024 (java) S 24010 24012 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679926 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995899548920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24025] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24025/stat : 24025 (java) S 24010 24012 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679926 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995898496008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24026] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24026/stat : 24026 (java) S 24010 24012 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679928 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995897444496 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24027] ppid=24010 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/24012/task/24027/stat : 24027 (java) S 24010 24012 23489 0 -1 4202560 2685 0 0 0 22 0 0 0 20 0 19 0 253679928 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995896392632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24028] ppid=24010 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/24012/task/24028/stat : 24028 (java) S 24010 24012 23489 0 -1 4202560 1370 0 0 0 13 0 0 0 20 0 19 0 253679928 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995895339832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24029] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24029/stat : 24029 (java) S 24010 24012 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679928 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995894287224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24030] ppid=24010 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/24012/task/24030/stat : 24030 (java) S 24010 24012 23489 0 -1 4202560 103 0 0 0 19 23 0 0 20 0 19 0 253679928 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995893234632 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24031] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24031/stat : 24031 (java) S 24010 24012 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679939 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995892180136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1788.46
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.8 s]
/proc/loadavg: 1.99 1.98 1.93 3/213 24106
/proc/meminfo: memFree=28364532/32873648 swapFree=7372/7372
[pid=24012] ppid=24010 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/24012/stat : 24012 (java) S 24010 24012 23489 0 -1 4202496 11042 0 1 0 179948 56 0 0 20 0 19 0 253679922 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 140736519211184 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24012/statm: 2406244 77482 2267 9 0 2396937 0
[pid=24012/tid=24014] ppid=24010 vsize=9624976 CPUtime=1780.59 cores=1,3,5,7
/proc/24012/task/24014/stat : 24014 (java) R 24010 24012 23489 0 -1 4202560 2759 0 1 0 178028 31 0 0 20 0 19 0 253679923 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139996076359968 139995949352992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24015] ppid=24010 vsize=9624976 CPUtime=1 cores=1,3,5,7
/proc/24012/task/24015/stat : 24015 (java) S 24010 24012 23489 0 -1 4202560 352 0 0 0 97 3 0 0 20 0 19 0 253679924 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995920382504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24016] ppid=24010 vsize=9624976 CPUtime=1.05 cores=1,3,5,7
/proc/24012/task/24016/stat : 24016 (java) S 24010 24012 23489 0 -1 4202560 391 0 0 0 101 4 0 0 20 0 19 0 253679924 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995919329704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24017] ppid=24010 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/24012/task/24017/stat : 24017 (java) S 24010 24012 23489 0 -1 4202560 289 0 0 0 95 3 0 0 20 0 19 0 253679924 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995918276904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24012/tid=24018] ppid=24010 vsize=9624976 CPUtime=0.92 cores=1,3,5,7
/proc/24012/task/24018/stat : 24018 (java) S 24010 24012 23489 0 -1 4202560 472 0 0 0 89 3 0 0 20 0 19 0 253679924 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995917224104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24019] ppid=24010 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/24012/task/24019/stat : 24019 (java) S 24010 24012 23489 0 -1 4202560 284 0 0 0 100 4 0 0 20 0 19 0 253679924 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995916172328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24020] ppid=24010 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/24012/task/24020/stat : 24020 (java) S 24010 24012 23489 0 -1 4202560 279 0 0 0 101 2 0 0 20 0 19 0 253679924 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995915119528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24021] ppid=24010 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/24012/task/24021/stat : 24021 (java) S 24010 24012 23489 0 -1 4202560 287 0 0 0 96 3 0 0 20 0 19 0 253679924 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995914066728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24022] ppid=24010 vsize=9624976 CPUtime=1.01 cores=1,3,5,7
/proc/24012/task/24022/stat : 24022 (java) S 24010 24012 23489 0 -1 4202560 409 0 0 0 98 3 0 0 20 0 19 0 253679924 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995913013928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24012/tid=24023] ppid=24010 vsize=9624976 CPUtime=10.83 cores=1,3,5,7
/proc/24012/task/24023/stat : 24023 (java) S 24010 24012 23489 0 -1 4202560 182 0 0 0 1079 4 0 0 20 0 19 0 253679925 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995900602856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24024] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24024/stat : 24024 (java) S 24010 24012 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679926 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995899548920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24025] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24025/stat : 24025 (java) S 24010 24012 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679926 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995898496008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24026] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24026/stat : 24026 (java) S 24010 24012 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679928 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995897444496 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24027] ppid=24010 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/24012/task/24027/stat : 24027 (java) S 24010 24012 23489 0 -1 4202560 2685 0 0 0 22 0 0 0 20 0 19 0 253679928 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995896392632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24012/tid=24028] ppid=24010 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/24012/task/24028/stat : 24028 (java) S 24010 24012 23489 0 -1 4202560 1370 0 0 0 13 0 0 0 20 0 19 0 253679928 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995895339832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24029] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24029/stat : 24029 (java) S 24010 24012 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679928 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995894287224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24012/tid=24030] ppid=24010 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/24012/task/24030/stat : 24030 (java) S 24010 24012 23489 0 -1 4202560 103 0 0 0 19 24 0 0 20 0 19 0 253679928 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995893234632 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24012/tid=24031] ppid=24010 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24012/task/24031/stat : 24031 (java) S 24010 24012 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679939 9855975424 77482 33554432000 1073741824 1073778376 140736519220048 139995892180136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624976

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): 1793.85
CPU time (s): 1800.58
CPU user time (s): 1799.6
CPU system time (s): 0.98085
CPU usage (%): 100.375
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.98085
maximum resident set size= 310100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11088
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43904
involuntary context switches= 20768

runsolver used 7.2209 second user time and 13.5019 second system time

The end

Launcher Data 

Begin job on node122 at 2012-05-24 18:05:39
IDJOB=3687819
IDBENCH=2214
IDSOLVER=2269
FILE ID=node122/3687819-1337875539
RUNJOBID= node122-1337871880-23506
PBS_JOBID= 14620082
Free space on /tmp= 71376 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g15x15.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687819-1337875539/watcher-3687819-1337875539 -o /tmp/evaluation-result-3687819-1337875539/solver-3687819-1337875539 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687819-1337875539.opb

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

MD5SUM BENCH= 28425c3b4907da9ba10ee31a4de63042
RANDOM SEED=1017472112

node122.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.533
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	: 5333.06
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.533
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.533
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	: 5332.04
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.533
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.533
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		: 2666.533
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	: 5438.54
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.533
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.533
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:       32873648 kB
MemFree:        28832508 kB
Buffers:          187988 kB
Cached:          2924272 kB
SwapCached:            0 kB
Active:          1380848 kB
Inactive:        1875440 kB
Active(anon):     135444 kB
Inactive(anon):    11052 kB
Active(file):    1245404 kB
Inactive(file):  1864388 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1128 kB
Writeback:             0 kB
AnonPages:        204400 kB
Mapped:            22008 kB
Shmem:               200 kB
Slab:             634316 kB
SReclaimable:      78488 kB
SUnreclaim:       555828 kB
KernelStack:        1760 kB
PageTables:         4532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    167936 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= 71372 MiB
End job on node122 at 2012-05-24 18:35:35