Trace number 3454675

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0OPT-1307731 906.09 460.015

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb
MD5SUMd0972750cf259b5b6f93d177cc7cfb4a
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-1307731
Best CPU time to get the best result obtained on this benchmark404.265
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -1307731
Optimality of the best value was proved YES
Number of variables901
Total number of constraints2521
Number of constraints which are clauses2520
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint840
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 576460752303423488
Number of bits of the biggest number in a constraint 60
Biggest sum of numbers in a constraint 2305841944493460011
Number of bits of the biggest sum of numbers61
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.08	c version 2.3.1.v20110525
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.18-164.el5
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		9996466904
0.01/0.08	c Max memory 		10048897024
0.01/0.08	c Total memory 		10048897024
0.01/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3454675-1307193240.opb
0.10/0.11	c reading problem ... 
0.48/0.32	c ... done. Wall clock time 0.209s.
0.48/0.32	c #vars     901
0.48/0.32	c #constraints  2816
0.48/0.32	c constraints type 
0.48/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 840
0.48/0.32	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1680
0.48/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
0.48/0.32	c constraints type 
0.48/0.32	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1680
0.48/0.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 840
0.48/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2
6.13/2.52	c cleaning 2500 clauses out of 5000 with flag 5000/5000
10.86/4.84	c cleaning 4251 clauses out of 8501 with flag 11001/11001
16.24/7.58	c cleaning 5625 clauses out of 11250 with flag 18001/18001
22.65/10.78	c cleaning 6812 clauses out of 13624 with flag 26000/26000
31.10/14.94	c cleaning 7898 clauses out of 15812 with flag 35000/35000
40.07/19.46	c cleaning 8950 clauses out of 17915 with flag 45001/45001
48.88/23.84	c cleaning 9476 clauses out of 18965 with flag 55001/55001
58.69/28.76	c cleaning 9739 clauses out of 19489 with flag 65001/65001
67.43/33.12	c cleaning 9872 clauses out of 19750 with flag 75001/75001
75.19/37.02	c cleaning 9936 clauses out of 19878 with flag 85001/85001
83.15/41.08	c cleaning 9965 clauses out of 19942 with flag 95001/95001
90.90/44.93	c cleaning 9979 clauses out of 19976 with flag 105000/105000
99.23/49.10	c cleaning 9998 clauses out of 19999 with flag 115002/115002
106.18/52.68	c cleaning 10000 clauses out of 19999 with flag 125000/125000
113.93/56.56	c cleaning 9991 clauses out of 20000 with flag 135001/135001
121.28/60.28	c cleaning 9999 clauses out of 20009 with flag 145001/145001
129.00/64.10	c cleaning 9996 clauses out of 20009 with flag 155000/155000
136.96/68.14	c cleaning 10001 clauses out of 20014 with flag 165001/165001
137.48/68.46	c  And the winner is Resolution
137.75/68.65	c SATISFIABLE
137.75/68.65	c OPTIMIZING...
137.75/68.65	c Got one! Elapsed wall clock time (in seconds):68.541
137.75/68.65	o -1
140.66/70.16	c cleaning 7514 clauses out of 15038 with flag 4002/170026
145.00/72.36	c cleaning 6756 clauses out of 13522 with flag 10000/176024
150.12/74.99	c cleaning 6878 clauses out of 13766 with flag 17000/183024
156.05/77.99	c cleaning 7441 clauses out of 14889 with flag 25001/191025
163.78/81.87	c cleaning 8219 clauses out of 16448 with flag 34001/200025
171.54/85.78	c cleaning 9113 clauses out of 18228 with flag 44000/210024
178.61/89.35	c cleaning 9552 clauses out of 19115 with flag 54000/220024
186.55/93.38	c cleaning 9777 clauses out of 19563 with flag 64000/230024
195.08/97.67	c cleaning 9890 clauses out of 19790 with flag 74004/240028
203.21/101.75	c cleaning 9937 clauses out of 19895 with flag 84000/250024
211.30/105.84	c cleaning 9975 clauses out of 19960 with flag 94002/260026
219.22/109.83	c cleaning 9986 clauses out of 19983 with flag 104000/270024
226.35/113.42	c cleaning 9991 clauses out of 19998 with flag 114001/280025
233.07/116.90	c cleaning 9995 clauses out of 20006 with flag 124000/290024
240.16/120.44	c cleaning 10003 clauses out of 20011 with flag 134000/300024
247.09/123.90	c cleaning 10001 clauses out of 20009 with flag 144001/310025
254.44/127.67	c cleaning 9999 clauses out of 20006 with flag 154000/320024
262.32/131.65	c cleaning 9998 clauses out of 20007 with flag 164000/330024
272.40/136.72	c cleaning 9994 clauses out of 20009 with flag 174000/340024
284.12/142.64	c cleaning 10003 clauses out of 20015 with flag 184000/350024
293.45/147.40	c cleaning 10002 clauses out of 20014 with flag 194002/360026
301.14/151.25	c cleaning 10001 clauses out of 20011 with flag 204001/370025
308.84/155.17	c cleaning 10002 clauses out of 20012 with flag 214003/380027
316.51/159.08	c cleaning 10001 clauses out of 20007 with flag 224000/390024
324.22/162.97	c cleaning 9999 clauses out of 20007 with flag 234001/400025
332.56/167.13	c cleaning 9994 clauses out of 20007 with flag 244000/410024
339.99/170.91	c cleaning 9993 clauses out of 20013 with flag 254000/420024
347.50/174.73	c cleaning 9997 clauses out of 20020 with flag 264000/430024
357.40/179.74	c cleaning 10001 clauses out of 20023 with flag 274000/440024
367.53/184.85	c cleaning 10003 clauses out of 20022 with flag 284000/450024
374.55/188.44	c cleaning 10005 clauses out of 20020 with flag 294001/460025
381.46/191.99	c cleaning 10002 clauses out of 20017 with flag 304003/470027
389.95/196.24	c cleaning 10001 clauses out of 20013 with flag 314001/480025
397.45/200.04	c cleaning 9996 clauses out of 20011 with flag 324000/490024
405.10/203.96	c cleaning 10006 clauses out of 20018 with flag 334003/500027
412.42/207.66	c cleaning 9995 clauses out of 20009 with flag 344000/510024
420.11/211.55	c cleaning 10000 clauses out of 20015 with flag 354001/520025
427.61/215.38	c cleaning 10005 clauses out of 20022 with flag 364008/530032
435.86/219.57	c cleaning 9999 clauses out of 20010 with flag 374001/540025
444.56/223.92	c cleaning 9999 clauses out of 20012 with flag 384002/550026
452.85/228.15	c cleaning 9999 clauses out of 20012 with flag 394001/560025
461.74/232.64	c cleaning 9996 clauses out of 20012 with flag 404000/570024
470.78/237.22	c cleaning 10000 clauses out of 20018 with flag 414002/580026
479.26/241.52	c cleaning 10000 clauses out of 20017 with flag 424001/590025
487.75/245.87	c cleaning 9998 clauses out of 20016 with flag 434000/600024
496.24/250.11	c cleaning 10008 clauses out of 20019 with flag 444001/610025
504.11/254.19	c cleaning 9998 clauses out of 20010 with flag 454000/620024
512.58/258.42	c cleaning 9997 clauses out of 20012 with flag 464000/630024
519.84/262.12	c cleaning 10005 clauses out of 20015 with flag 474000/640024
526.33/265.44	c cleaning 9992 clauses out of 20010 with flag 484000/650024
534.56/269.64	c cleaning 10004 clauses out of 20018 with flag 494000/660024
542.43/273.66	c cleaning 9998 clauses out of 20014 with flag 504000/670024
549.71/277.36	c cleaning 10004 clauses out of 20016 with flag 514000/680024
557.19/281.19	c cleaning 10001 clauses out of 20013 with flag 524001/690025
566.01/285.69	c cleaning 10002 clauses out of 20012 with flag 534001/700025
572.89/289.13	c cleaning 9998 clauses out of 20010 with flag 544001/710025
581.37/293.45	c cleaning 10002 clauses out of 20012 with flag 554001/720025
591.44/298.57	c cleaning 9996 clauses out of 20009 with flag 564000/730024
599.66/302.70	c cleaning 10002 clauses out of 20014 with flag 574001/740025
607.96/306.97	c cleaning 10001 clauses out of 20013 with flag 584002/750026
616.00/311.01	c cleaning 9996 clauses out of 20010 with flag 594000/760024
624.08/315.16	c cleaning 10002 clauses out of 20014 with flag 604000/770024
632.09/319.21	c cleaning 10002 clauses out of 20013 with flag 614001/780025
639.56/323.05	c cleaning 10000 clauses out of 20010 with flag 624000/790024
647.04/326.86	c cleaning 9998 clauses out of 20011 with flag 634001/800025
656.31/331.57	c cleaning 10001 clauses out of 20012 with flag 644000/810024
667.73/337.35	c cleaning 9996 clauses out of 20011 with flag 654000/820024
679.61/343.38	c cleaning 10001 clauses out of 20015 with flag 664000/830024
690.68/348.92	c cleaning 9998 clauses out of 20014 with flag 674000/840024
701.35/354.39	c cleaning 9997 clauses out of 20017 with flag 684001/850025
710.77/359.13	c cleaning 9999 clauses out of 20019 with flag 694000/860024
718.65/363.17	c cleaning 10002 clauses out of 20020 with flag 704000/870024
727.92/367.86	c cleaning 9997 clauses out of 20019 with flag 714001/880025
736.79/372.34	c cleaning 10002 clauses out of 20021 with flag 724000/890024
743.81/375.99	c cleaning 9997 clauses out of 20020 with flag 734001/900025
751.89/380.02	c cleaning 10008 clauses out of 20022 with flag 744000/910024
758.56/383.44	c cleaning 10002 clauses out of 20014 with flag 754000/920024
766.06/387.26	c cleaning 9999 clauses out of 20012 with flag 764000/930024
773.45/391.07	c cleaning 10003 clauses out of 20019 with flag 774006/940030
778.75/393.79	c  And the winner is Resolution
779.73/394.61	c Got one! Elapsed wall clock time (in seconds):394.504
779.73/394.61	o -2
784.91/397.25	c cleaning 11155 clauses out of 22314 with flag 5001/952328
789.98/399.84	c cleaning 8572 clauses out of 17158 with flag 11000/958327
795.65/402.76	c cleaning 7786 clauses out of 15586 with flag 18000/965327
802.07/406.09	c cleaning 7896 clauses out of 15800 with flag 26001/973328
809.54/409.83	c cleaning 8446 clauses out of 16905 with flag 35002/982329
811.62/410.91	c  And the winner is Resolution
811.94/411.24	c Got one! Elapsed wall clock time (in seconds):411.133
811.94/411.24	o -26606
814.32/412.51	c cleaning 7096 clauses out of 14204 with flag 3000/988074
818.97/414.83	c cleaning 6550 clauses out of 13110 with flag 9002/994076
825.03/417.95	c cleaning 6771 clauses out of 13558 with flag 16000/1001074
831.88/421.49	c cleaning 7387 clauses out of 14787 with flag 24000/1009074
839.97/425.58	c cleaning 8189 clauses out of 16397 with flag 33000/1018074
851.84/431.55	c cleaning 9093 clauses out of 18204 with flag 43000/1028074
860.05/435.70	c cleaning 9551 clauses out of 19111 with flag 53000/1038074
868.55/440.08	c cleaning 9771 clauses out of 19558 with flag 63000/1048074
876.58/444.10	c cleaning 9893 clauses out of 19788 with flag 73001/1058075
884.25/448.04	c cleaning 9941 clauses out of 19895 with flag 83001/1068075
892.07/452.06	c cleaning 9973 clauses out of 19953 with flag 93000/1078074
893.71/452.95	c  And the winner is Resolution
893.96/453.41	c Got one! Elapsed wall clock time (in seconds):453.305
893.96/453.41	o -1307731
896.32/454.61	c cleaning 7538 clauses out of 15085 with flag 3002/1083179
900.19/456.62	c cleaning 6769 clauses out of 13546 with flag 9001/1089178
904.45/458.89	c cleaning 6881 clauses out of 13776 with flag 16000/1096177
905.46/459.41	c  And the winner is Resolution
905.97/459.90	c starts		: 191
905.97/459.90	c conflicts		: 1097195
905.97/459.90	c decisions		: 1232791
905.97/459.90	c propagations		: 49233041
905.97/459.90	c inspects		: 1068389551
905.97/459.90	c shortcuts		: 0
905.97/459.90	c learnt literals	: 20
905.97/459.90	c learnt binary clauses	: 474
905.97/459.90	c learnt ternary clauses	: 700
905.97/459.90	c learnt constraints	: 1097174
905.97/459.90	c ignored constraints	: 0
905.97/459.90	c root simplifications	: 0
905.97/459.90	c removed literals (reason simplification)	: 224587132
905.97/459.90	c reason swapping (by a shorter reason)	: 0
905.97/459.90	c Calls to reduceDB	: 116
905.97/459.90	c number of reductions to clauses (during analyze)	: 0
905.97/459.90	c number of learned constraints concerned by reduction	: 0
905.97/459.90	c number of learning phase by resolution	: 0
905.97/459.90	c number of learning phase by cutting planes	: 0
905.97/459.90	c speed (assignments/second)	: 7585984.745762711
905.97/459.90	c non guided choices	22
905.97/459.90	c learnt constraints type 
905.97/459.90	c constraints type 
905.97/459.90	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 840
905.97/459.90	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1680
905.97/459.90	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
905.97/459.90	c constraints type 
905.97/459.90	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1680
905.97/459.90	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 840
905.97/459.90	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2
905.97/459.90	s OPTIMUM FOUND
905.97/459.91	v x1 x2 -x3 -x4 x5 -x6 x7 -x8 -x9 -x10 x11 -x12 x13 x14 x15 x16 x17 x18 -x19 -x20 x21 -x22 x23 x24 x25 -x26 x27 x28 x29 x30 x31 x32 -x33 -x34 x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 x64 x65 -x66 x67 x68 x69 x70 x71 x72 -x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 x104 x105 -x106 x107 x108 x109 x110 x111 x112 -x113 -x114 x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 x184 x185 -x186 x187 x188 x189 x190 x191 x192 -x193 -x194 x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 x224 x225 -x226 x227 x228 x229 x230 x231 x232 -x233 -x234 x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 x264 x265 -x266 x267 x268 x269 x270 x271 x272 -x273 -x274 x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 x304 x305 -x306 x307 x308 x309 x310 x311 x312 -x313 -x314 x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 x344 x345 -x346 x347 x348 x349 x350 x351 x352 -x353 -x354 x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 x384 x385 -x386 x387 x388 x389 x390 x391 x392 -x393 -x394 x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 x504 x505 -x506 x507 x508 x509 x510 x511 x512 -x513 -x514 x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 x544 x545 -x546 x547 x548 x549 x550 x551 x552 -x553 -x554 x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 x664 x665 -x666 x667 x668 x669 x670 x671 x672 -x673 -x674 x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 x744 x745 -x746 x747 x748 x749 x750 x751 x752 -x753 -x754 x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 
905.97/459.91	c objective function=-1307731
905.97/459.91	c Total wall clock time (in seconds): 459.8

Verifier Data 

OK	-1307731

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454675-1307193240/watcher-3454675-1307193240 -o /tmp/evaluation-result-3454675-1307193240/solver-3454675-1307193240 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454675-1307193240.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: 3.21 3.25 3.36 3/458 13256
/proc/meminfo: memFree=23343776/32951124 swapFree=50923800/67111528
[pid=13256] ppid=13254 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13256/stat : 13256 (java) S 13254 13256 9722 0 -1 4202496 4147 0 1 0 0 0 0 0 25 0 2 0 811739644 10694979584 3848 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/13256/statm: 2611079 3862 917 9 0 2602235 0
[pid=13256/tid=13257] ppid=13254 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13257/stat : 13257 (java) R 13254 13256 9722 0 -1 4202560 5667 0 1 0 0 0 0 0 25 0 2 0 811739644 10694979584 6483 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.021636 s]
/proc/loadavg: 3.21 3.25 3.36 3/458 13256
/proc/meminfo: memFree=23343776/32951124 swapFree=50923800/67111528
[pid=13256] ppid=13254 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/13256/stat : 13256 (java) S 13254 13256 9722 0 -1 4202496 9952 0 1 0 0 1 0 0 25 0 10 0 811739644 10703900672 9653 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/13256/statm: 2613257 9653 952 9 0 2604413 0
[pid=13256/tid=13257] ppid=13254 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13257/stat : 13257 (java) R 13254 13256 9722 0 -1 4202560 8829 0 1 0 0 0 0 0 25 0 10 0 811739644 10703900672 9654 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 47654171976362 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028

[startup+0.100618 s]
/proc/loadavg: 3.21 3.25 3.36 3/458 13256
/proc/meminfo: memFree=23343776/32951124 swapFree=50923800/67111528
[pid=13256] ppid=13254 vsize=10539948 CPUtime=0.1 cores=1,3,5,7
/proc/13256/stat : 13256 (java) S 13254 13256 9722 0 -1 4202496 13125 0 1 0 8 2 0 0 25 0 18 0 811739644 10792906752 12779 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13256/statm: 2634987 12780 2093 9 0 2625721 0
[pid=13256/tid=13257] ppid=13254 vsize=10539948 CPUtime=0.08 cores=1,3,5,7
/proc/13256/task/13257/stat : 13257 (java) R 13254 13256 9722 0 -1 4202560 11171 0 1 0 7 1 0 0 18 0 18 0 811739644 10792906752 12780 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350210507 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539948

[startup+0.304612 s]
/proc/loadavg: 3.21 3.25 3.36 3/458 13256
/proc/meminfo: memFree=23343776/32951124 swapFree=50923800/67111528
[pid=13256] ppid=13254 vsize=10540732 CPUtime=0.48 cores=1,3,5,7
/proc/13256/stat : 13256 (java) S 13254 13256 9722 0 -1 4202496 16094 0 1 0 46 2 0 0 25 0 18 0 811739644 10793709568 15294 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13256/statm: 2635183 15294 2201 9 0 2625917 0
[pid=13256/tid=13257] ppid=13254 vsize=10540732 CPUtime=0.29 cores=1,3,5,7
/proc/13256/task/13257/stat : 13257 (java) R 13254 13256 9722 0 -1 4202560 13023 0 1 0 27 2 0 0 18 0 18 0 811739644 10793709568 15294 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 47654175988851 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10540732

[startup+0.700455 s]
/proc/loadavg: 3.21 3.25 3.36 3/458 13256
/proc/meminfo: memFree=23343776/32951124 swapFree=50923800/67111528
[pid=13256] ppid=13254 vsize=10552572 CPUtime=2.03 cores=1,3,5,7
/proc/13256/stat : 13256 (java) S 13254 13256 9722 0 -1 4202496 40383 0 1 0 198 5 0 0 25 0 22 0 811739644 10805833728 35440 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13256/statm: 2638143 35443 2226 9 0 2628877 0
[pid=13256/tid=13257] ppid=13254 vsize=10552572 CPUtime=0.31 cores=1,3,5,7
/proc/13256/task/13257/stat : 13257 (java) S 13254 13256 9722 0 -1 4202560 13180 0 1 0 29 2 0 0 19 0 22 0 811739644 10805833728 35443 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 10552572

[startup+1.50133 s]
/proc/loadavg: 3.21 3.25 3.36 4/480 13279
/proc/meminfo: memFree=23056240/32951124 swapFree=50923800/67111528
[pid=13256] ppid=13254 vsize=10555332 CPUtime=3.94 cores=1,3,5,7
/proc/13256/stat : 13256 (java) S 13254 13256 9722 0 -1 4202496 149041 0 1 0 378 16 0 0 25 0 22 0 811739644 10808659968 144063 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13256/statm: 2638833 144070 2230 9 0 2629567 0
[pid=13256/tid=13257] ppid=13254 vsize=10555332 CPUtime=0.31 cores=1,3,5,7
/proc/13256/task/13257/stat : 13257 (java) S 13254 13256 9722 0 -1 4202560 13180 0 1 0 29 2 0 0 15 0 22 0 811739644 10808659968 144072 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13259] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13259/stat : 13259 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811739646 10808659968 144076 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13260] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13260/stat : 13260 (java) S 13254 13256 9722 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811739646 10808659968 144081 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13262] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13262/stat : 13262 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811739646 10808659968 144084 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13263] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13263/stat : 13263 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811739646 10808659968 144088 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13264] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13264/stat : 13264 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811739646 10808659968 144093 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13265] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13265/stat : 13265 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811739646 10808659968 144096 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13266] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13266/stat : 13266 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811739646 10808659968 144099 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13267] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13267/stat : 13267 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811739646 10808659968 144105 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13268] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13268/stat : 13268 (java) S 13254 13256 9722 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 811739647 10808659968 144108 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 0 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13269] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13269/stat : 13269 (java) S 13254 13256 9722 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811739647 10808659968 144111 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13270] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13270/stat : 13270 (java) S 13254 13256 9722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811739647 10808659968 144116 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13271] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13271/stat : 13271 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811739649 10808659968 144119 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350207409 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13272] ppid=13254 vsize=10555332 CPUtime=0.62 cores=1,3,5,7
/proc/13256/task/13272/stat : 13272 (java) S 13254 13256 9722 0 -1 4202560 6186 0 0 0 61 1 0 0 20 0 22 0 811739649 10808659968 144122 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13273] ppid=13254 vsize=10555332 CPUtime=0.63 cores=1,3,5,7
/proc/13256/task/13273/stat : 13273 (java) S 13254 13256 9722 0 -1 4202560 4667 0 0 0 63 0 0 0 15 0 22 0 811739649 10808659968 144128 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 5 0 0 0
[pid=13256/tid=13274] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13274/stat : 13274 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811739649 10808659968 144131 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13275] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13275/stat : 13275 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811739649 10808659968 144134 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13276] ppid=13254 vsize=10555332 CPUtime=1.17 cores=1,3,5,7
/proc/13256/task/13276/stat : 13276 (java) R 13254 13256 9722 0 -1 4202560 980 0 0 0 117 0 0 0 20 0 22 0 811739676 10808659968 144139 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 46912505711071 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13256/tid=13277] ppid=13254 vsize=10555332 CPUtime=1.16 cores=1,3,5,7
/proc/13256/task/13277/stat : 13277 (java) R 13254 13256 9722 0 -1 4202560 122940 0 0 0 105 11 0 0 25 0 22 0 811739676 10808659968 144143 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 46912505808532 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13256/tid=13278] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13278/stat : 13278 (java) S 13254 13256 9722 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 811739676 10808659968 144146 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13279] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13279/stat : 13279 (java) S 13254 13256 9722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 811739676 10808659968 144150 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 10555332

[startup+3.10102 s]
/proc/loadavg: 3.27 3.26 3.36 4/480 13279
/proc/meminfo: memFree=22441200/32951124 swapFree=50923800/67111528
[pid=13256] ppid=13254 vsize=10555332 CPUtime=7.37 cores=1,3,5,7
/proc/13256/stat : 13256 (java) S 13254 13256 9722 0 -1 4202496 311263 0 1 0 703 34 0 0 25 0 22 0 811739644 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13256/statm: 2638833 306279 2257 9 0 2629567 0
[pid=13256/tid=13257] ppid=13254 vsize=10555332 CPUtime=0.31 cores=1,3,5,7
/proc/13256/task/13257/stat : 13257 (java) S 13254 13256 9722 0 -1 4202560 13180 0 1 0 29 2 0 0 15 0 22 0 811739644 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13259] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13259/stat : 13259 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811739646 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13260] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13260/stat : 13260 (java) S 13254 13256 9722 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811739646 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13262] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13262/stat : 13262 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811739646 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13263] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13263/stat : 13263 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811739646 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13264] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13264/stat : 13264 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811739646 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13265] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13265/stat : 13265 (java) S 13254 13256 9722 0 -1 4202560 237 0 0 0 0 0 0 0 18 0 22 0 811739646 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13266] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13266/stat : 13266 (java) S 13254 13256 9722 0 -1 4202560 312 0 0 0 0 0 0 0 18 0 22 0 811739646 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13267] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13267/stat : 13267 (java) S 13254 13256 9722 0 -1 4202560 828 0 0 0 0 0 0 0 18 0 22 0 811739646 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13268] ppid=13254 vsize=10555332 CPUtime=0.01 cores=1,3,5,7
/proc/13256/task/13268/stat : 13268 (java) S 13254 13256 9722 0 -1 4202560 1360 0 0 0 1 0 0 0 17 0 22 0 811739647 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 0 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13269] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13269/stat : 13269 (java) S 13254 13256 9722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811739647 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13270] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13270/stat : 13270 (java) S 13254 13256 9722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811739647 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13271] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13271/stat : 13271 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811739649 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350207409 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13272] ppid=13254 vsize=10555332 CPUtime=0.76 cores=1,3,5,7
/proc/13256/task/13272/stat : 13272 (java) S 13254 13256 9722 0 -1 4202560 6204 0 0 0 75 1 0 0 15 0 22 0 811739649 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13273] ppid=13254 vsize=10555332 CPUtime=0.74 cores=1,3,5,7
/proc/13256/task/13273/stat : 13273 (java) S 13254 13256 9722 0 -1 4202560 4688 0 0 0 74 0 0 0 15 0 22 0 811739649 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 5 0 0 0
[pid=13256/tid=13274] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13274/stat : 13274 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811739649 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13275] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13275/stat : 13275 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811739649 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13276] ppid=13254 vsize=10555332 CPUtime=2.75 cores=1,3,5,7
/proc/13256/task/13276/stat : 13276 (java) R 13254 13256 9722 0 -1 4202560 1813 0 0 0 275 0 0 0 25 0 22 0 811739676 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 46912505702683 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13256/tid=13277] ppid=13254 vsize=10555332 CPUtime=2.74 cores=1,3,5,7
/proc/13256/task/13277/stat : 13277 (java) R 13254 13256 9722 0 -1 4202560 281477 0 0 0 245 29 0 0 25 0 22 0 811739676 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 46912505812064 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13256/tid=13278] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13278/stat : 13278 (java) S 13254 13256 9722 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 811739676 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13279] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13279/stat : 13279 (java) S 13254 13256 9722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 811739676 10808659968 306279 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.37
Current children cumulated vsize (KiB) 10555332

[startup+6.30137 s]
/proc/loadavg: 3.27 3.26 3.36 4/480 13279
/proc/meminfo: memFree=21650212/32951124 swapFree=50923800/67111528
[pid=13256] ppid=13254 vsize=10555332 CPUtime=13.85 cores=1,3,5,7
/proc/13256/stat : 13256 (java) S 13254 13256 9722 0 -1 4202496 429439 0 1 0 1339 46 0 0 25 0 22 0 811739644 10808659968 424443 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13256/statm: 2638833 424443 2257 9 0 2629567 0
[pid=13256/tid=13257] ppid=13254 vsize=10555332 CPUtime=0.31 cores=1,3,5,7
/proc/13256/task/13257/stat : 13257 (java) S 13254 13256 9722 0 -1 4202560 13181 0 1 0 29 2 0 0 15 0 22 0 811739644 10808659968 424443 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13259] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13259/stat : 13259 (java) S 13254 13256 9722 0 -1 4202560 784 0 0 0 0 0 0 0 16 0 22 0 811739646 10808659968 424443 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13260] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13260/stat : 13260 (java) S 13254 13256 9722 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 811739646 10808659968 424443 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13262] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13262/stat : 13262 (java) S 13254 13256 9722 0 -1 4202560 740 0 0 0 0 0 0 0 16 0 22 0 811739646 10808659968 424443 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13263] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13263/stat : 13263 (java) S 13254 13256 9722 0 -1 4202560 640 0 0 0 0 0 0 0 16 0 22 0 811739646 10808659968 424443 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 5 0 0 0
[pid=13256/tid=13264] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13264/stat : 13264 (java) S 13254 13256 9722 0 -1 4202560 289 0 0 0 0 0 0 0 16 0 22 0 811739646 10808659968 424443 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13265] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13265/stat : 13265 (java) S 13254 13256 9722 0 -1 4202560 237 0 0 0 0 0 0 0 18 0 22 0 811739646 10808659968 424443 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13266] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13266/stat : 13266 (java) S 13254 13256 9722 0 -1 4202560 312 0 0 0 0 0 0 0 18 0 22 0 811739646 10808659968 424443 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13267] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13267/stat : 13267 (java) S 13254 13256 9722 0 -1 4202560 828 0 0 0 0 0 0 0 18 0 22 0 811739646 10808659968 424443 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0

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

[pid=13256/tid=13273] ppid=13254 vsize=10555332 CPUtime=0.95 cores=1,3,5,7
/proc/13256/task/13273/stat : 13273 (java) S 13254 13256 9722 0 -1 4202560 4715 0 0 0 95 0 0 0 16 0 22 0 811739649 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 5 0 0 0
[pid=13256/tid=13274] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13274/stat : 13274 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811739649 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13275] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13275/stat : 13275 (java) S 13254 13256 9722 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 22 0 811739649 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13279] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13279/stat : 13279 (java) S 13254 13256 9722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 811739676 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13354] ppid=13254 vsize=10555332 CPUtime=3.8 cores=1,3,5,7
/proc/13256/task/13354/stat : 13354 (java) R 13254 13256 9722 0 -1 4202560 2 0 0 0 380 0 0 0 19 0 22 0 811784985 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 46912505727637 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13256/tid=13355] ppid=13254 vsize=10555332 CPUtime=3.8 cores=1,3,5,7
/proc/13256/task/13355/stat : 13355 (java) R 13254 13256 9722 0 -1 4202560 0 0 0 0 380 0 0 0 25 0 22 0 811784985 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 46912505716365 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13256/tid=13356] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13356/stat : 13356 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811785016 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 901.87
Current children cumulated vsize (KiB) 10555332

[startup+459.102 s]
/proc/loadavg: 3.95 3.78 3.56 5/480 13357
/proc/meminfo: memFree=18092176/32951124 swapFree=50923800/67111528
[pid=13256] ppid=13254 vsize=10555332 CPUtime=904.87 cores=1,3,5,7
/proc/13256/stat : 13256 (java) S 13254 13256 9722 0 -1 4202496 697515 0 1 0 90409 78 0 0 25 0 22 0 811739644 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13256/statm: 2638833 692331 2260 9 0 2629567 0
[pid=13256/tid=13257] ppid=13254 vsize=10555332 CPUtime=0.31 cores=1,3,5,7
/proc/13256/task/13257/stat : 13257 (java) S 13254 13256 9722 0 -1 4202560 13185 0 1 0 29 2 0 0 15 0 22 0 811739644 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13259] ppid=13254 vsize=10555332 CPUtime=0.19 cores=1,3,5,7
/proc/13256/task/13259/stat : 13259 (java) S 13254 13256 9722 0 -1 4202560 940 0 0 0 19 0 0 0 15 0 22 0 811739646 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13260] ppid=13254 vsize=10555332 CPUtime=0.24 cores=1,3,5,7
/proc/13256/task/13260/stat : 13260 (java) S 13254 13256 9722 0 -1 4202560 272 0 0 0 24 0 0 0 16 0 22 0 811739646 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13262] ppid=13254 vsize=10555332 CPUtime=0.22 cores=1,3,5,7
/proc/13256/task/13262/stat : 13262 (java) S 13254 13256 9722 0 -1 4202560 1002 0 0 0 22 0 0 0 15 0 22 0 811739646 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13263] ppid=13254 vsize=10555332 CPUtime=0.21 cores=1,3,5,7
/proc/13256/task/13263/stat : 13263 (java) S 13254 13256 9722 0 -1 4202560 1021 0 0 0 21 0 0 0 15 0 22 0 811739646 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13264] ppid=13254 vsize=10555332 CPUtime=0.22 cores=1,3,5,7
/proc/13256/task/13264/stat : 13264 (java) S 13254 13256 9722 0 -1 4202560 746 0 0 0 22 0 0 0 15 0 22 0 811739646 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13265] ppid=13254 vsize=10555332 CPUtime=0.2 cores=1,3,5,7
/proc/13256/task/13265/stat : 13265 (java) S 13254 13256 9722 0 -1 4202560 642 0 0 0 20 0 0 0 15 0 22 0 811739646 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13266] ppid=13254 vsize=10555332 CPUtime=0.23 cores=1,3,5,7
/proc/13256/task/13266/stat : 13266 (java) S 13254 13256 9722 0 -1 4202560 402 0 0 0 23 0 0 0 15 0 22 0 811739646 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13267] ppid=13254 vsize=10555332 CPUtime=0.2 cores=1,3,5,7
/proc/13256/task/13267/stat : 13267 (java) S 13254 13256 9722 0 -1 4202560 841 0 0 0 20 0 0 0 15 0 22 0 811739646 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13268] ppid=13254 vsize=10555332 CPUtime=13.35 cores=1,3,5,7
/proc/13256/task/13268/stat : 13268 (java) R 13254 13256 9722 0 -1 4202560 28287 0 0 0 1330 5 0 0 16 0 22 0 811739647 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270338081410 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=13256/tid=13269] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13269/stat : 13269 (java) S 13254 13256 9722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811739647 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 5 0 0 0
[pid=13256/tid=13270] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13270/stat : 13270 (java) S 13254 13256 9722 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 811739647 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13271] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13271/stat : 13271 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811739649 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350207409 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13272] ppid=13254 vsize=10555332 CPUtime=0.99 cores=1,3,5,7
/proc/13256/task/13272/stat : 13272 (java) S 13254 13256 9722 0 -1 4202560 6233 0 0 0 98 1 0 0 15 0 22 0 811739649 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13273] ppid=13254 vsize=10555332 CPUtime=0.95 cores=1,3,5,7
/proc/13256/task/13273/stat : 13273 (java) S 13254 13256 9722 0 -1 4202560 4715 0 0 0 95 0 0 0 16 0 22 0 811739649 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 5 0 0 0
[pid=13256/tid=13274] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13274/stat : 13274 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811739649 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13275] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13275/stat : 13275 (java) S 13254 13256 9722 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 22 0 811739649 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13279] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13279/stat : 13279 (java) S 13254 13256 9722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 811739676 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13354] ppid=13254 vsize=10555332 CPUtime=5.18 cores=1,3,5,7
/proc/13256/task/13354/stat : 13354 (java) S 13254 13256 9722 0 -1 4202560 2 0 0 0 518 0 0 0 21 0 22 0 811784985 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13355] ppid=13254 vsize=10555332 CPUtime=5.18 cores=1,3,5,7
/proc/13256/task/13355/stat : 13355 (java) S 13254 13256 9722 0 -1 4202560 0 0 0 0 518 0 0 0 25 0 22 0 811784985 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 5 0 0 0
[pid=13256/tid=13356] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13356/stat : 13356 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811785016 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 904.87
Current children cumulated vsize (KiB) 10555332

[startup+459.501 s]
/proc/loadavg: 3.95 3.78 3.56 5/480 13357
/proc/meminfo: memFree=18092176/32951124 swapFree=50923800/67111528
[pid=13256] ppid=13254 vsize=10555332 CPUtime=905.57 cores=1,3,5,7
/proc/13256/stat : 13256 (java) S 13254 13256 9722 0 -1 4202496 697515 0 1 0 90479 78 0 0 25 0 20 0 811739644 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13256/statm: 2638833 692331 2260 9 0 2629567 0
[pid=13256/tid=13257] ppid=13254 vsize=10555332 CPUtime=0.31 cores=1,3,5,7
/proc/13256/task/13257/stat : 13257 (java) S 13254 13256 9722 0 -1 4202560 13185 0 1 0 29 2 0 0 15 0 20 0 811739644 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13259] ppid=13254 vsize=10555332 CPUtime=0.19 cores=1,3,5,7
/proc/13256/task/13259/stat : 13259 (java) S 13254 13256 9722 0 -1 4202560 940 0 0 0 19 0 0 0 15 0 20 0 811739646 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13260] ppid=13254 vsize=10555332 CPUtime=0.24 cores=1,3,5,7
/proc/13256/task/13260/stat : 13260 (java) S 13254 13256 9722 0 -1 4202560 272 0 0 0 24 0 0 0 16 0 20 0 811739646 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13262] ppid=13254 vsize=10555332 CPUtime=0.22 cores=1,3,5,7
/proc/13256/task/13262/stat : 13262 (java) S 13254 13256 9722 0 -1 4202560 1002 0 0 0 22 0 0 0 15 0 20 0 811739646 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13263] ppid=13254 vsize=10555332 CPUtime=0.21 cores=1,3,5,7
/proc/13256/task/13263/stat : 13263 (java) S 13254 13256 9722 0 -1 4202560 1021 0 0 0 21 0 0 0 15 0 20 0 811739646 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13264] ppid=13254 vsize=10555332 CPUtime=0.22 cores=1,3,5,7
/proc/13256/task/13264/stat : 13264 (java) S 13254 13256 9722 0 -1 4202560 746 0 0 0 22 0 0 0 15 0 20 0 811739646 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13265] ppid=13254 vsize=10555332 CPUtime=0.2 cores=1,3,5,7
/proc/13256/task/13265/stat : 13265 (java) S 13254 13256 9722 0 -1 4202560 642 0 0 0 20 0 0 0 15 0 20 0 811739646 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13266] ppid=13254 vsize=10555332 CPUtime=0.23 cores=1,3,5,7
/proc/13256/task/13266/stat : 13266 (java) S 13254 13256 9722 0 -1 4202560 402 0 0 0 23 0 0 0 15 0 20 0 811739646 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13267] ppid=13254 vsize=10555332 CPUtime=0.2 cores=1,3,5,7
/proc/13256/task/13267/stat : 13267 (java) S 13254 13256 9722 0 -1 4202560 841 0 0 0 20 0 0 0 15 0 20 0 811739646 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13268] ppid=13254 vsize=10555332 CPUtime=13.35 cores=1,3,5,7
/proc/13256/task/13268/stat : 13268 (java) S 13254 13256 9722 0 -1 4202560 28287 0 0 0 1330 5 0 0 16 0 20 0 811739647 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 0 0 16800975 18446604468864431168 0 0 -1 5 0 0 0
[pid=13256/tid=13269] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13269/stat : 13269 (java) S 13254 13256 9722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 20 0 811739647 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 5 0 0 0
[pid=13256/tid=13270] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13270/stat : 13270 (java) S 13254 13256 9722 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 20 0 811739647 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13271] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13271/stat : 13271 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811739649 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350207409 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13272] ppid=13254 vsize=10555332 CPUtime=0.99 cores=1,3,5,7
/proc/13256/task/13272/stat : 13272 (java) S 13254 13256 9722 0 -1 4202560 6233 0 0 0 98 1 0 0 15 0 20 0 811739649 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13273] ppid=13254 vsize=10555332 CPUtime=0.95 cores=1,3,5,7
/proc/13256/task/13273/stat : 13273 (java) S 13254 13256 9722 0 -1 4202560 4715 0 0 0 95 0 0 0 16 0 20 0 811739649 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 5 0 0 0
[pid=13256/tid=13274] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13274/stat : 13274 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811739649 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13275] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13275/stat : 13275 (java) S 13254 13256 9722 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 20 0 811739649 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13279] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13279/stat : 13279 (java) S 13254 13256 9722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 811739676 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13355] ppid=13254 vsize=10555332 CPUtime=5.57 cores=1,3,5,7
/proc/13256/task/13355/stat : 13355 (java) R 13254 13256 9722 0 -1 4202560 0 0 0 0 557 0 0 0 25 0 20 0 811784985 10808659968 692331 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 46912505604444 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 905.57
Current children cumulated vsize (KiB) 10555332

[startup+459.901 s]
/proc/loadavg: 3.95 3.78 3.56 4/478 13357
/proc/meminfo: memFree=18090456/32951124 swapFree=50923800/67111528
[pid=13256] ppid=13254 vsize=10555332 CPUtime=905.97 cores=1,3,5,7
/proc/13256/stat : 13256 (java) S 13254 13256 9722 0 -1 4202496 697517 0 1 0 90519 78 0 0 25 0 19 0 811739644 10808659968 692332 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13256/statm: 2638833 692332 2260 9 0 2629567 0
[pid=13256/tid=13257] ppid=13254 vsize=10555332 CPUtime=0.5 cores=1,3,5,7
/proc/13256/task/13257/stat : 13257 (java) R 13254 13256 9722 0 -1 4202560 13185 0 1 0 48 2 0 0 16 0 19 0 811739644 10808659968 692332 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 46912506435842 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13256/tid=13259] ppid=13254 vsize=10555332 CPUtime=0.19 cores=1,3,5,7
/proc/13256/task/13259/stat : 13259 (java) S 13254 13256 9722 0 -1 4202560 940 0 0 0 19 0 0 0 15 0 19 0 811739646 10808659968 692332 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13260] ppid=13254 vsize=10555332 CPUtime=0.24 cores=1,3,5,7
/proc/13256/task/13260/stat : 13260 (java) S 13254 13256 9722 0 -1 4202560 272 0 0 0 24 0 0 0 16 0 19 0 811739646 10808659968 692332 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13262] ppid=13254 vsize=10555332 CPUtime=0.22 cores=1,3,5,7
/proc/13256/task/13262/stat : 13262 (java) S 13254 13256 9722 0 -1 4202560 1002 0 0 0 22 0 0 0 15 0 19 0 811739646 10808659968 692332 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13263] ppid=13254 vsize=10555332 CPUtime=0.21 cores=1,3,5,7
/proc/13256/task/13263/stat : 13263 (java) S 13254 13256 9722 0 -1 4202560 1021 0 0 0 21 0 0 0 15 0 19 0 811739646 10808659968 692332 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13264] ppid=13254 vsize=10555332 CPUtime=0.22 cores=1,3,5,7
/proc/13256/task/13264/stat : 13264 (java) S 13254 13256 9722 0 -1 4202560 746 0 0 0 22 0 0 0 15 0 19 0 811739646 10808659968 692332 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13265] ppid=13254 vsize=10555332 CPUtime=0.2 cores=1,3,5,7
/proc/13256/task/13265/stat : 13265 (java) S 13254 13256 9722 0 -1 4202560 642 0 0 0 20 0 0 0 15 0 19 0 811739646 10808659968 692332 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13266] ppid=13254 vsize=10555332 CPUtime=0.23 cores=1,3,5,7
/proc/13256/task/13266/stat : 13266 (java) S 13254 13256 9722 0 -1 4202560 402 0 0 0 23 0 0 0 15 0 19 0 811739646 10808659968 692332 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13267] ppid=13254 vsize=10555332 CPUtime=0.2 cores=1,3,5,7
/proc/13256/task/13267/stat : 13267 (java) S 13254 13256 9722 0 -1 4202560 841 0 0 0 20 0 0 0 15 0 19 0 811739646 10808659968 692332 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13268] ppid=13254 vsize=10555332 CPUtime=13.35 cores=1,3,5,7
/proc/13256/task/13268/stat : 13268 (java) S 13254 13256 9722 0 -1 4202560 28287 0 0 0 1330 5 0 0 16 0 19 0 811739647 10808659968 692332 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 0 0 16800975 18446604468864431168 0 0 -1 5 0 0 0
[pid=13256/tid=13269] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13269/stat : 13269 (java) S 13254 13256 9722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 811739647 10808659968 692332 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 5 0 0 0
[pid=13256/tid=13270] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13270/stat : 13270 (java) S 13254 13256 9722 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 811739647 10808659968 692332 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13271] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13271/stat : 13271 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811739649 10808659968 692332 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350207409 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13272] ppid=13254 vsize=10555332 CPUtime=0.99 cores=1,3,5,7
/proc/13256/task/13272/stat : 13272 (java) S 13254 13256 9722 0 -1 4202560 6233 0 0 0 98 1 0 0 15 0 19 0 811739649 10808659968 692332 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13273] ppid=13254 vsize=10555332 CPUtime=0.95 cores=1,3,5,7
/proc/13256/task/13273/stat : 13273 (java) S 13254 13256 9722 0 -1 4202560 4717 0 0 0 95 0 0 0 15 0 19 0 811739649 10808659968 692332 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 7 0 0 0
[pid=13256/tid=13274] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13274/stat : 13274 (java) S 13254 13256 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811739649 10808659968 692332 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350199705 0 4 0 16800975 18446604468864431168 0 0 -1 3 0 0 0
[pid=13256/tid=13275] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13275/stat : 13275 (java) S 13254 13256 9722 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 811739649 10808659968 692332 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
[pid=13256/tid=13279] ppid=13254 vsize=10555332 CPUtime=0 cores=1,3,5,7
/proc/13256/task/13279/stat : 13279 (java) S 13254 13256 9722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 811739676 10808659968 692332 33554432000 1073741824 1073778376 140735658651152 18446744073709551615 270350200320 0 4 0 16800975 18446604468864431168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 905.97
Current children cumulated vsize (KiB) 10555332

[startup+460.001 s]
/proc/loadavg: 3.95 3.78 3.56 4/478 13357
/proc/meminfo: memFree=18090456/32951124 swapFree=50923800/67111528
[pid=13256] ppid=13254 vsize=0 CPUtime=906.07 cores=1,3,5,7
/proc/13256/stat : 13256 (java) Z 13254 13256 9722 0 -1 4203548 697522 0 1 0 90520 87 0 0 18 0 2 0 811739644 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13256/statm: 0 0 0 0 0 0 0
[pid=13256/tid=13279] ppid=13254 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/13256/task/13279/stat : 13279 (java) R 13254 13256 9722 0 -1 4203588 7 0 0 0 0 8 0 0 18 0 2 0 811739676 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 906.07
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 460.015
CPU time (s): 906.09
CPU user time (s): 905.204
CPU system time (s): 0.885865
CPU usage (%): 196.97
Max. virtual memory (cumulated for all children) (KiB): 10555332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 905.204
system time used= 0.885865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 697522
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14338
involuntary context switches= 7455

runsolver used 1.9557 second user time and 4.77027 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-04 15:14:00
IDJOB=3454675
IDBENCH=3035
IDSOLVER=1950
FILE ID=node143/3454675-1307193240
RUNJOBID= node143-1307192135-12788
PBS_JOBID= 13508843
Free space on /tmp= 73976 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454675-1307193240/watcher-3454675-1307193240 -o /tmp/evaluation-result-3454675-1307193240/solver-3454675-1307193240 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454675-1307193240.opb

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

MD5SUM BENCH= d0972750cf259b5b6f93d177cc7cfb4a
RANDOM SEED=2096541837

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23343932 kB
Buffers:        317572 kB
Cached:         473700 kB
SwapCached:       9140 kB
Active:        8837948 kB
Inactive:       484244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23343932 kB
SwapTotal:    67111528 kB
SwapFree:     50923800 kB
Dirty:             520 kB
Writeback:           0 kB
AnonPages:     8528184 kB
Mapped:          30000 kB
Slab:           133192 kB
PageTables:      82660 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 126048256 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73976 MiB
End job on node143 at 2011-06-04 15:21:40