Trace number 3454049

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.0SAT (TO)-23 1800.29 919.346

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_5.opb
MD5SUMb1b77cfc7c7e45b216596a736ff4b926
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-33
Best CPU time to get the best result obtained on this benchmark1797.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
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 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12452
Sum of products size (including duplicates)24904
Number of different products6226
Sum of products size12452

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.12/0.12	c Pseudo Boolean Optimization
0.12/0.12	c ManyCore solver with 2 solvers running in parallel
0.12/0.12	c --- Begin Solver configuration ---
0.12/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.12/0.12	c Learn all clauses as in MiniSAT
0.12/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.12	c Expensive reason simplification
0.12/0.12	c Armin Biere (Picosat) restarts strategy
0.12/0.12	c Glucose learned constraints deletion strategy
0.12/0.12	c timeout=2147483s
0.12/0.12	c DB Simplification allowed=false
0.12/0.12	c --- End Solver configuration ---
0.12/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.12/0.12	c --- Begin Solver configuration ---
0.12/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.12/0.12	c Learn all clauses as in MiniSAT
0.12/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.12/0.12	c No reason simplification
0.12/0.12	c Armin Biere (Picosat) restarts strategy
0.12/0.12	c Glucose learned constraints deletion strategy
0.12/0.12	c timeout=2147483s
0.12/0.12	c DB Simplification allowed=false
0.12/0.12	c --- End Solver configuration ---
0.12/0.12	c solving HOME/instance-3454049-1307195525.opb
0.12/0.12	c reading problem ... 
0.96/0.60	c ... done. Wall clock time 0.48s.
0.96/0.60	c #vars     6626
0.96/0.60	c #constraints  13054
1.27/0.60	c constraints type 
1.27/0.60	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6226
1.27/0.60	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
1.27/0.60	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1.27/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226
1.27/0.60	c constraints type 
1.27/0.60	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
1.27/0.60	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6226
1.27/0.60	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
1.27/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6226
2.06/0.89	c  And the winner is CuttingPlanes
2.36/1.11	c SATISFIABLE
2.36/1.11	c OPTIMIZING...
2.36/1.11	c Got one! Elapsed wall clock time (in seconds):0.993
2.36/1.11	o -4
2.38/1.18	c  And the winner is CuttingPlanes
2.73/1.62	c Got one! Elapsed wall clock time (in seconds):1.5
2.73/1.62	o -5
2.97/1.71	c  And the winner is CuttingPlanes
3.06/2.12	c Got one! Elapsed wall clock time (in seconds):2.005
3.06/2.12	o -7
3.06/2.20	c  And the winner is CuttingPlanes
3.25/2.62	c Got one! Elapsed wall clock time (in seconds):2.509
3.25/2.62	o -8
3.41/2.70	c  And the winner is CuttingPlanes
3.43/3.13	c Got one! Elapsed wall clock time (in seconds):3.013
3.43/3.13	o -9
3.58/3.20	c  And the winner is CuttingPlanes
3.58/3.63	c Got one! Elapsed wall clock time (in seconds):3.517
3.58/3.63	o -10
3.58/3.68	c  And the winner is CuttingPlanes
3.65/4.14	c Got one! Elapsed wall clock time (in seconds):4.02
3.65/4.14	o -11
3.79/4.22	c  And the winner is CuttingPlanes
3.84/4.64	c Got one! Elapsed wall clock time (in seconds):4.524
3.84/4.64	o -12
3.95/4.77	c  And the winner is CuttingPlanes
4.15/5.14	c Got one! Elapsed wall clock time (in seconds):5.027
4.15/5.14	o -13
4.29/5.20	c  And the winner is CuttingPlanes
4.35/5.65	c Got one! Elapsed wall clock time (in seconds):5.53
4.35/5.65	o -14
4.35/5.69	c  And the winner is CuttingPlanes
4.44/6.15	c Got one! Elapsed wall clock time (in seconds):6.033
4.44/6.15	o -15
4.52/6.20	c  And the winner is CuttingPlanes
4.53/6.65	c Got one! Elapsed wall clock time (in seconds):6.536
4.53/6.65	o -16
4.67/6.79	c  And the winner is CuttingPlanes
4.86/7.15	c Got one! Elapsed wall clock time (in seconds):7.039
4.86/7.15	o -17
6.04/7.79	c  And the winner is CuttingPlanes
6.21/8.16	c Got one! Elapsed wall clock time (in seconds):8.044
6.21/8.16	o -18
6.68/8.43	c  And the winner is CuttingPlanes
6.75/8.66	c Got one! Elapsed wall clock time (in seconds):8.547
6.75/8.66	o -19
7.05/8.85	c  And the winner is CuttingPlanes
7.13/9.16	c Got one! Elapsed wall clock time (in seconds):9.049
7.13/9.16	o -20
10.66/10.94	c  And the winner is CuttingPlanes
10.76/11.17	c Got one! Elapsed wall clock time (in seconds):11.058
10.76/11.17	o -21
13.05/12.32	c cleaning 4286 clauses out of 8617 with flag 2000/8617
15.66/13.63	c  And the winner is CuttingPlanes
15.66/13.68	c Got one! Elapsed wall clock time (in seconds):13.569
15.66/13.68	o -22
18.75/15.24	c cleaning 4982 clauses out of 9963 with flag 3000/14249
25.50/18.65	c cleaning 5414 clauses out of 10981 with flag 9000/20249
31.66/21.77	c cleaning 6264 clauses out of 12567 with flag 16000/27249
39.58/25.75	c cleaning 7047 clauses out of 14303 with flag 24000/35249
51.54/31.74	c cleaning 8064 clauses out of 16256 with flag 33000/44249
61.07/36.58	c cleaning 9030 clauses out of 18192 with flag 43000/54249
75.42/43.79	c cleaning 9973 clauses out of 20162 with flag 54000/65249
88.80/50.43	c cleaning 11074 clauses out of 22189 with flag 66000/77249
106.76/59.47	c cleaning 11914 clauses out of 24115 with flag 79000/90249
126.47/69.40	c cleaning 12957 clauses out of 26201 with flag 93000/104249
145.14/78.75	c cleaning 13597 clauses out of 27244 with flag 107000/118249
163.21/87.85	c cleaning 13794 clauses out of 27647 with flag 121000/132249
181.14/96.89	c cleaning 13842 clauses out of 27853 with flag 135000/146249
200.60/106.68	c cleaning 13918 clauses out of 28011 with flag 149000/160249
221.68/117.21	c cleaning 14019 clauses out of 28093 with flag 163000/174249
243.12/128.09	c cleaning 13960 clauses out of 28074 with flag 177000/188249
265.60/139.32	c cleaning 13897 clauses out of 28114 with flag 191000/202249
283.68/148.45	c cleaning 14009 clauses out of 28217 with flag 205000/216249
305.78/159.55	c cleaning 13982 clauses out of 28208 with flag 219000/230249
325.17/169.30	c cleaning 14062 clauses out of 28226 with flag 233000/244249
346.44/180.01	c cleaning 14056 clauses out of 28165 with flag 247001/258250
364.73/189.23	c cleaning 13957 clauses out of 28108 with flag 261000/272249
380.96/197.46	c cleaning 14020 clauses out of 28151 with flag 275000/286249
401.38/207.77	c cleaning 13986 clauses out of 28131 with flag 289000/300249
418.25/216.25	c cleaning 14002 clauses out of 28145 with flag 303000/314249
430.35/222.35	c cleaning 14031 clauses out of 28143 with flag 317000/328249
441.21/227.87	c cleaning 0 clauses out of 6341 with flag 0/6341
441.59/228.17	c cleaning 14030 clauses out of 28112 with flag 331000/342249
450.85/232.84	c cleaning 13971 clauses out of 28082 with flag 345000/356249
465.71/240.39	c cleaning 13932 clauses out of 28111 with flag 359000/370249
482.19/248.66	c cleaning 14032 clauses out of 28179 with flag 373000/384249
500.15/257.70	c cleaning 13980 clauses out of 28147 with flag 387000/398249
514.01/264.76	c cleaning 14005 clauses out of 28167 with flag 401000/412249
528.86/272.26	c cleaning 14068 clauses out of 28163 with flag 415001/426250
546.91/281.31	c cleaning 13922 clauses out of 28094 with flag 429000/440249
547.69/281.84	c  And the winner is CuttingPlanes
547.78/282.05	c Got one! Elapsed wall clock time (in seconds):281.938
547.78/282.05	o -23
553.26/284.84	c cleaning 9849 clauses out of 19698 with flag 5000/445775
557.94/287.27	c cleaning 7866 clauses out of 15849 with flag 11000/451775
565.94/291.38	c cleaning 7363 clauses out of 14983 with flag 18000/458775
573.57/295.23	c cleaning 7796 clauses out of 15620 with flag 26000/466775
586.14/301.62	c cleaning 8355 clauses out of 16824 with flag 35000/475775
596.17/306.73	c cleaning 9206 clauses out of 18469 with flag 45000/485775
610.01/313.77	c cleaning 10032 clauses out of 20263 with flag 56000/496775
623.05/320.34	c cleaning 11083 clauses out of 22231 with flag 68000/508775
639.21/328.52	c cleaning 11992 clauses out of 24148 with flag 81000/521775
656.44/337.20	c cleaning 13015 clauses out of 26156 with flag 95000/535775
670.86/344.53	c cleaning 13555 clauses out of 27141 with flag 109000/549775
687.67/353.01	c cleaning 13750 clauses out of 27586 with flag 123000/563775
707.45/363.03	c cleaning 13820 clauses out of 27836 with flag 137000/577775
723.43/371.16	c cleaning 13979 clauses out of 28016 with flag 151000/591775
741.44/380.27	c cleaning 13924 clauses out of 28037 with flag 165000/605775
760.64/389.99	c cleaning 13959 clauses out of 28113 with flag 179000/619775
776.55/398.02	c cleaning 13983 clauses out of 28154 with flag 193000/633775
793.95/406.89	c cleaning 13957 clauses out of 28171 with flag 207000/647775
811.15/415.54	c cleaning 13983 clauses out of 28214 with flag 221000/661775
825.76/422.90	c cleaning 14059 clauses out of 28231 with flag 235000/675775
838.26/429.39	c cleaning 14016 clauses out of 28172 with flag 249000/689775
852.05/436.31	c cleaning 13947 clauses out of 28156 with flag 263000/703775
868.29/444.59	c cleaning 14067 clauses out of 28210 with flag 277001/717776
886.63/453.85	c cleaning 13961 clauses out of 28142 with flag 291000/731775
904.29/462.84	c cleaning 14008 clauses out of 28181 with flag 305000/745775
920.31/470.99	c cleaning 14020 clauses out of 28173 with flag 319000/759775
936.46/479.19	c cleaning 13962 clauses out of 28153 with flag 333000/773775
953.03/487.53	c cleaning 13958 clauses out of 28191 with flag 347000/787775
967.09/494.79	c cleaning 14061 clauses out of 28233 with flag 361000/801775
980.05/501.33	c cleaning 14015 clauses out of 28172 with flag 375000/815775
994.21/508.55	c cleaning 13949 clauses out of 28157 with flag 389000/829775
1011.56/517.31	c cleaning 13971 clauses out of 28208 with flag 403000/843775
1028.61/526.04	c cleaning 13970 clauses out of 28237 with flag 417000/857775
1045.35/534.58	c cleaning 14016 clauses out of 28267 with flag 431000/871775
1064.70/544.33	c cleaning 13969 clauses out of 28251 with flag 445000/885775
1084.44/554.37	c cleaning 14032 clauses out of 28282 with flag 459000/899775
1102.68/563.63	c cleaning 14015 clauses out of 28250 with flag 473000/913775
1121.67/573.26	c cleaning 14076 clauses out of 28236 with flag 487001/927776
1140.18/582.60	c cleaning 13969 clauses out of 28159 with flag 501000/941775
1154.51/589.92	c cleaning 14002 clauses out of 28190 with flag 515000/955775
1166.53/596.14	c cleaning 14025 clauses out of 28188 with flag 529000/969775
1176.86/601.49	c cleaning 14015 clauses out of 28163 with flag 543000/983775
1191.60/608.91	c cleaning 13937 clauses out of 28148 with flag 557000/997775
1210.54/618.57	c cleaning 14024 clauses out of 28211 with flag 571000/1011775
1229.95/628.45	c cleaning 14056 clauses out of 28187 with flag 585000/1025775
1249.27/638.25	c cleaning 13955 clauses out of 28131 with flag 599000/1039775
1268.20/647.83	c cleaning 14016 clauses out of 28176 with flag 613000/1053775
1287.71/657.71	c cleaning 14013 clauses out of 28160 with flag 627000/1067775
1307.12/667.70	c cleaning 13949 clauses out of 28147 with flag 641000/1081775
1328.62/678.52	c cleaning 13985 clauses out of 28198 with flag 655000/1095775
1351.74/690.28	c cleaning 13947 clauses out of 28213 with flag 669000/1109775
1374.06/701.52	c cleaning 14027 clauses out of 28266 with flag 683000/1123775
1397.04/713.27	c cleaning 14055 clauses out of 28239 with flag 697000/1137775
1417.55/723.63	c cleaning 14024 clauses out of 28184 with flag 711000/1151775
1431.67/730.88	c cleaning 14047 clauses out of 28160 with flag 725000/1165775
1445.58/737.94	c cleaning 13994 clauses out of 28113 with flag 739000/1179775
1458.16/744.48	c cleaning 13992 clauses out of 28119 with flag 753000/1193775
1469.87/750.43	c cleaning 14022 clauses out of 28127 with flag 767000/1207775
1483.38/757.36	c cleaning 13935 clauses out of 28105 with flag 781000/1221775
1501.28/766.41	c cleaning 14020 clauses out of 28170 with flag 795000/1235775
1516.07/774.02	c cleaning 13988 clauses out of 28150 with flag 809000/1249775
1529.58/780.94	c cleaning 14025 clauses out of 28162 with flag 823000/1263775
1541.48/787.08	c cleaning 14015 clauses out of 28137 with flag 837000/1277775
1553.19/793.09	c cleaning 14016 clauses out of 28122 with flag 851000/1291775
1568.15/800.77	c cleaning 13928 clauses out of 28106 with flag 865000/1305775
1581.28/807.46	c cleaning 14029 clauses out of 28178 with flag 879000/1319775
1596.75/815.30	c cleaning 13971 clauses out of 28149 with flag 893000/1333775
1614.05/824.10	c cleaning 13946 clauses out of 28178 with flag 907000/1347775
1631.61/833.11	c cleaning 14015 clauses out of 28232 with flag 921000/1361775
1650.70/842.81	c cleaning 14013 clauses out of 28217 with flag 935000/1375775
1668.19/851.75	c cleaning 14048 clauses out of 28204 with flag 949000/1389775
1686.28/860.92	c cleaning 13942 clauses out of 28156 with flag 963000/1403775
1703.04/869.51	c cleaning 14057 clauses out of 28214 with flag 977000/1417775
1717.93/877.16	c cleaning 14006 clauses out of 28157 with flag 991000/1431775
1732.02/884.36	c cleaning 13972 clauses out of 28151 with flag 1005000/1445775
1745.70/891.30	c cleaning 14037 clauses out of 28179 with flag 1019000/1459775
1758.25/897.83	c cleaning 14009 clauses out of 28142 with flag 1033000/1473775
1770.33/904.01	c cleaning 13985 clauses out of 28133 with flag 1047000/1487775
1787.21/912.62	c cleaning 13966 clauses out of 28148 with flag 1061000/1501775
1800.12/919.22	c starts		: 54
1800.12/919.22	c conflicts		: 11634
1800.12/919.22	c decisions		: 176572
1800.12/919.22	c propagations		: 4583395
1800.12/919.22	c inspects		: 650499738
1800.12/919.22	c shortcuts		: 0
1800.12/919.22	c learnt literals	: 0
1800.12/919.22	c learnt binary clauses	: 0
1800.12/919.22	c learnt ternary clauses	: 0
1800.12/919.22	c learnt constraints	: 11633
1800.12/919.22	c ignored constraints	: 0
1800.12/919.22	c root simplifications	: 0
1800.12/919.22	c removed literals (reason simplification)	: 0
1800.12/919.22	c reason swapping (by a shorter reason)	: 0
1800.12/919.22	c Calls to reduceDB	: 1
1800.12/919.22	c number of reductions to clauses (during analyze)	: 0
1800.12/919.22	c number of learned constraints concerned by reduction	: 0
1800.12/919.22	c number of learning phase by resolution	: 0
1800.12/919.22	c number of learning phase by cutting planes	: 0
1800.12/919.22	c speed (assignments/second)	: 7193.351549270133
1800.12/919.22	c non guided choices	5
1800.12/919.23	c learnt constraints type 
1800.12/919.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.12/919.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 11632
1800.12/919.23	c constraints type 
1800.12/919.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6226
1800.12/919.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.12/919.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.12/919.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226
1800.12/919.23	c constraints type 
1800.12/919.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
1800.12/919.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6226
1800.12/919.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 403
1800.12/919.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6226
1800.12/919.23	s SATISFIABLE
1800.12/919.23	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 
1800.12/919.23	c objective function=-23
1800.12/919.23	c Total wall clock time (in seconds): 919.118

Verifier Data 

OK	-23

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-3454049-1307195525/watcher-3454049-1307195525 -o /tmp/evaluation-result-3454049-1307195525/solver-3454049-1307195525 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454049-1307195525.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.29 3.42 3.66 2/534 28613
/proc/meminfo: memFree=28990448/32951124 swapFree=58212616/67111528
[pid=28613] ppid=28611 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/28613/stat : 28613 (java) S 28611 28613 23781 0 -1 4202496 4639 0 1 0 0 0 0 0 18 0 2 0 831150472 10694979584 4340 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/28613/statm: 2611079 4353 917 9 0 2602235 0
[pid=28613/tid=28615] ppid=28611 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28615/stat : 28615 (java) R 28611 28613 23781 0 -1 4202560 5280 0 1 0 0 0 0 0 17 0 2 0 831150473 10694979584 6096 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228244042811 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.11877 s]
/proc/loadavg: 2.29 3.42 3.66 2/534 28613
/proc/meminfo: memFree=28990448/32951124 swapFree=58212616/67111528
[pid=28613] ppid=28611 vsize=10540380 CPUtime=0.12 cores=1,3,5,7
/proc/28613/stat : 28613 (java) S 28611 28613 23781 0 -1 4202496 13270 0 1 0 10 2 0 0 18 0 18 0 831150472 10793349120 12966 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28613/statm: 2635095 12966 2122 9 0 2625829 0
[pid=28613/tid=28615] ppid=28611 vsize=10540380 CPUtime=0.1 cores=1,3,5,7
/proc/28613/task/28615/stat : 28615 (java) R 28611 28613 23781 0 -1 4202560 11300 0 1 0 8 2 0 0 18 0 18 0 831150473 10793349120 12966 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540380

[startup+0.200734 s]
/proc/loadavg: 2.29 3.42 3.66 2/534 28613
/proc/meminfo: memFree=28990448/32951124 swapFree=58212616/67111528
[pid=28613] ppid=28611 vsize=10540380 CPUtime=0.22 cores=1,3,5,7
/proc/28613/stat : 28613 (java) S 28611 28613 23781 0 -1 4202496 13931 0 1 0 20 2 0 0 18 0 18 0 831150472 10793349120 13627 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28613/statm: 2635095 13627 2179 9 0 2625829 0
[pid=28613/tid=28615] ppid=28611 vsize=10540380 CPUtime=0.18 cores=1,3,5,7
/proc/28613/task/28615/stat : 28615 (java) R 28611 28613 23781 0 -1 4202560 11903 0 1 0 16 2 0 0 18 0 18 0 831150473 10793349120 13628 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10540380

[startup+0.300717 s]
/proc/loadavg: 2.29 3.42 3.66 2/534 28613
/proc/meminfo: memFree=28990448/32951124 swapFree=58212616/67111528
[pid=28613] ppid=28611 vsize=10542056 CPUtime=0.45 cores=1,3,5,7
/proc/28613/stat : 28613 (java) S 28611 28613 23781 0 -1 4202496 15886 0 1 0 43 2 0 0 18 0 18 0 831150472 10795065344 15252 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28613/statm: 2635514 15252 2208 9 0 2626248 0
[pid=28613/tid=28615] ppid=28611 vsize=10542056 CPUtime=0.28 cores=1,3,5,7
/proc/28613/task/28615/stat : 28615 (java) R 28611 28613 23781 0 -1 4202560 12886 0 1 0 26 2 0 0 18 0 18 0 831150473 10795065344 15252 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 46912505365719 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10542056

[startup+0.700613 s]
/proc/loadavg: 2.29 3.42 3.66 2/534 28613
/proc/meminfo: memFree=28990448/32951124 swapFree=58212616/67111528
[pid=28613] ppid=28611 vsize=10556540 CPUtime=1.66 cores=1,3,5,7
/proc/28613/stat : 28613 (java) S 28611 28613 23781 0 -1 4202496 33132 0 1 0 160 6 0 0 18 0 22 0 831150472 10809896960 29726 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28613/statm: 2639135 29726 2242 9 0 2629869 0
[pid=28613/tid=28615] ppid=28611 vsize=10556540 CPUtime=0.57 cores=1,3,5,7
/proc/28613/task/28615/stat : 28615 (java) S 28611 28613 23781 0 -1 4202560 22641 0 1 0 54 3 0 0 19 0 22 0 831150473 10809896960 29726 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10556540

[startup+1.50151 s]
/proc/loadavg: 2.29 3.42 3.66 1/572 28660
/proc/meminfo: memFree=28755132/32951124 swapFree=58212616/67111528
[pid=28613] ppid=28611 vsize=10556540 CPUtime=2.73 cores=1,3,5,7
/proc/28613/stat : 28613 (java) S 28611 28613 23781 0 -1 4202496 46042 0 1 0 265 8 0 0 18 0 19 0 831150472 10809896960 38949 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28613/statm: 2639135 38949 2246 9 0 2629869 0
[pid=28613/tid=28615] ppid=28611 vsize=10556540 CPUtime=0.58 cores=1,3,5,7
/proc/28613/task/28615/stat : 28615 (java) S 28611 28613 23781 0 -1 4202560 22677 0 1 0 55 3 0 0 16 0 19 0 831150473 10809896960 38949 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 1 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28618/stat : 28618 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831150475 10809896960 38949 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28619] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28619/stat : 28619 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 38949 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28620] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28620/stat : 28620 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 38949 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28622] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28622/stat : 28622 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 38949 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28624] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28624/stat : 28624 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 38949 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28626] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28626/stat : 28626 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 38949 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28628] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28628/stat : 28628 (java) S 28611 28613 23781 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 38949 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28629] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28629/stat : 28629 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 38949 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28635] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28635/stat : 28635 (java) S 28611 28613 23781 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 831150476 10809896960 38949 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 0 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28637] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28637/stat : 28637 (java) S 28611 28613 23781 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 831150476 10809896960 38949 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28639] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28639/stat : 28639 (java) S 28611 28613 23781 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 831150476 10809896960 38949 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28640] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28640/stat : 28640 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150479 10809896960 38949 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256172465 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28642] ppid=28611 vsize=10556540 CPUtime=0.64 cores=1,3,5,7
/proc/28613/task/28642/stat : 28642 (java) S 28611 28613 23781 0 -1 4202560 4658 0 0 0 64 0 0 0 15 0 19 0 831150479 10809896960 38949 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 5 0 0 0
[pid=28613/tid=28644] ppid=28611 vsize=10556540 CPUtime=0.76 cores=1,3,5,7
/proc/28613/task/28644/stat : 28644 (java) S 28611 28613 23781 0 -1 4202560 7858 0 0 0 74 2 0 0 16 0 19 0 831150479 10809896960 38949 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28645] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28645/stat : 28645 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831150479 10809896960 38949 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28648] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28648/stat : 28648 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831150479 10809896960 38949 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28656] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28656/stat : 28656 (java) S 28611 28613 23781 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 831150534 10809896960 38949 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 10556540

[startup+3.10123 s]
/proc/loadavg: 2.29 3.42 3.66 3/575 28675
/proc/meminfo: memFree=28669796/32951124 swapFree=58212616/67111528
[pid=28613] ppid=28611 vsize=10556540 CPUtime=3.43 cores=1,3,5,7
/proc/28613/stat : 28613 (java) S 28611 28613 23781 0 -1 4202496 65413 0 1 0 333 10 0 0 18 0 19 0 831150472 10809896960 57466 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28613/statm: 2639135 57466 2247 9 0 2629869 0
[pid=28613/tid=28615] ppid=28611 vsize=10556540 CPUtime=0.58 cores=1,3,5,7
/proc/28613/task/28615/stat : 28615 (java) S 28611 28613 23781 0 -1 4202560 22763 0 1 0 55 3 0 0 16 0 19 0 831150473 10809896960 57466 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 1 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28618/stat : 28618 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831150475 10809896960 57466 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28619] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28619/stat : 28619 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 57466 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28620] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28620/stat : 28620 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 57466 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28622] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28622/stat : 28622 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 57466 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28624] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28624/stat : 28624 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 57466 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28626] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28626/stat : 28626 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 57466 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28628] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28628/stat : 28628 (java) S 28611 28613 23781 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 57466 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28629] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28629/stat : 28629 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 57466 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28635] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28635/stat : 28635 (java) S 28611 28613 23781 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831150476 10809896960 57466 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 0 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28637] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28637/stat : 28637 (java) S 28611 28613 23781 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 831150476 10809896960 57466 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28639] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28639/stat : 28639 (java) S 28611 28613 23781 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 831150476 10809896960 57466 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28640] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28640/stat : 28640 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150479 10809896960 57466 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256172465 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28642] ppid=28611 vsize=10556540 CPUtime=0.72 cores=1,3,5,7
/proc/28613/task/28642/stat : 28642 (java) S 28611 28613 23781 0 -1 4202560 4665 0 0 0 72 0 0 0 15 0 19 0 831150479 10809896960 57466 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 5 0 0 0
[pid=28613/tid=28644] ppid=28611 vsize=10556540 CPUtime=0.88 cores=1,3,5,7
/proc/28613/task/28644/stat : 28644 (java) S 28611 28613 23781 0 -1 4202560 8725 0 0 0 86 2 0 0 15 0 19 0 831150479 10809896960 57466 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28645] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28645/stat : 28645 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831150479 10809896960 57466 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28648] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28648/stat : 28648 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831150479 10809896960 57466 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28656] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28656/stat : 28656 (java) S 28611 28613 23781 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 831150534 10809896960 57466 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 10556540

[startup+6.30067 s]
/proc/loadavg: 2.27 3.40 3.65 2/572 28705
/proc/meminfo: memFree=28198004/32951124 swapFree=58212616/67111528
[pid=28613] ppid=28611 vsize=10556540 CPUtime=4.53 cores=1,3,5,7
/proc/28613/stat : 28613 (java) S 28611 28613 23781 0 -1 4202496 103975 0 1 0 439 14 0 0 18 0 19 0 831150472 10809896960 94190 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28613/statm: 2639135 94190 2248 9 0 2629869 0
[pid=28613/tid=28615] ppid=28611 vsize=10556540 CPUtime=0.59 cores=1,3,5,7
/proc/28613/task/28615/stat : 28615 (java) S 28611 28613 23781 0 -1 4202560 22964 0 1 0 56 3 0 0 16 0 19 0 831150473 10809896960 94190 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28618/stat : 28618 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831150475 10809896960 94190 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28619] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28619/stat : 28619 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 94190 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28620] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28620/stat : 28620 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 94190 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28622] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28622/stat : 28622 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 94190 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28624] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28624/stat : 28624 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 94190 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28626] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28626/stat : 28626 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 94190 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28628] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28628/stat : 28628 (java) S 28611 28613 23781 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 94190 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28629] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28629/stat : 28629 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150475 10809896960 94190 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28635] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28635/stat : 28635 (java) S 28611 28613 23781 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831150476 10809896960 94190 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 0 0 16800975 18446604462422702016 0 0 -1 5 0 0 0
[pid=28613/tid=28637] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28637/stat : 28637 (java) S 28611 28613 23781 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 831150476 10809896960 94190 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28639] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28639/stat : 28639 (java) S 28611 28613 23781 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 831150476 10809896960 94190 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28640] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28640/stat : 28640 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831150479 10809896960 94190 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256172465 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28642] ppid=28611 vsize=10556540 CPUtime=0.75 cores=1,3,5,7
/proc/28613/task/28642/stat : 28642 (java) S 28611 28613 23781 0 -1 4202560 4670 0 0 0 75 0 0 0 15 0 19 0 831150479 10809896960 94190 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 5 0 0 0
[pid=28613/tid=28644] ppid=28611 vsize=10556540 CPUtime=1.01 cores=1,3,5,7
/proc/28613/task/28644/stat : 28644 (java) S 28611 28613 23781 0 -1 4202560 10481 0 0 0 99 2 0 0 15 0 19 0 831150479 10809896960 94190 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0

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

/proc/meminfo: memFree=25009872/32951124 swapFree=58212616/67111528
[pid=28613] ppid=28611 vsize=10556540 CPUtime=1610.45 cores=1,3,5,7
/proc/28613/stat : 28613 (java) S 28611 28613 23781 0 -1 4202496 699770 0 1 0 160959 86 0 0 18 0 22 0 831150472 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28613/statm: 2639135 689375 2273 9 0 2629869 0
[pid=28613/tid=28615] ppid=28611 vsize=10556540 CPUtime=0.6 cores=1,3,5,7
/proc/28613/task/28615/stat : 28615 (java) S 28611 28613 23781 0 -1 4202560 23214 0 1 0 56 4 0 0 15 0 22 0 831150473 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=10556540 CPUtime=0.46 cores=1,3,5,7
/proc/28613/task/28618/stat : 28618 (java) S 28611 28613 23781 0 -1 4202560 1717 0 0 0 46 0 0 0 15 0 22 0 831150475 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28619] ppid=28611 vsize=10556540 CPUtime=0.36 cores=1,3,5,7
/proc/28613/task/28619/stat : 28619 (java) S 28611 28613 23781 0 -1 4202560 509 0 0 0 36 0 0 0 15 0 22 0 831150475 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28620] ppid=28611 vsize=10556540 CPUtime=0.35 cores=1,3,5,7
/proc/28613/task/28620/stat : 28620 (java) S 28611 28613 23781 0 -1 4202560 289 0 0 0 35 0 0 0 16 0 22 0 831150475 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28622] ppid=28611 vsize=10556540 CPUtime=0.32 cores=1,3,5,7
/proc/28613/task/28622/stat : 28622 (java) S 28611 28613 23781 0 -1 4202560 334 0 0 0 32 0 0 0 15 0 22 0 831150475 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28624] ppid=28611 vsize=10556540 CPUtime=0.36 cores=1,3,5,7
/proc/28613/task/28624/stat : 28624 (java) S 28611 28613 23781 0 -1 4202560 556 0 0 0 36 0 0 0 16 0 22 0 831150475 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28626] ppid=28611 vsize=10556540 CPUtime=0.32 cores=1,3,5,7
/proc/28613/task/28626/stat : 28626 (java) S 28611 28613 23781 0 -1 4202560 1982 0 0 0 32 0 0 0 16 0 22 0 831150475 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 5 0 0 0
[pid=28613/tid=28628] ppid=28611 vsize=10556540 CPUtime=0.32 cores=1,3,5,7
/proc/28613/task/28628/stat : 28628 (java) S 28611 28613 23781 0 -1 4202560 1696 0 0 0 32 0 0 0 15 0 22 0 831150475 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 5 0 0 0
[pid=28613/tid=28629] ppid=28611 vsize=10556540 CPUtime=0.41 cores=1,3,5,7
/proc/28613/task/28629/stat : 28629 (java) S 28611 28613 23781 0 -1 4202560 476 0 0 0 41 0 0 0 15 0 22 0 831150475 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28635] ppid=28611 vsize=10556540 CPUtime=23.27 cores=1,3,5,7
/proc/28613/task/28635/stat : 28635 (java) S 28611 28613 23781 0 -1 4202560 41529 0 0 0 2323 4 0 0 15 0 22 0 831150476 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 0 0 16800975 18446604462422702016 0 0 -1 1 0 0 0
[pid=28613/tid=28637] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28637/stat : 28637 (java) S 28611 28613 23781 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831150476 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28639] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28639/stat : 28639 (java) S 28611 28613 23781 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 831150476 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28640] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28640/stat : 28640 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831150479 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256172465 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28642] ppid=28611 vsize=10556540 CPUtime=1.22 cores=1,3,5,7
/proc/28613/task/28642/stat : 28642 (java) S 28611 28613 23781 0 -1 4202560 4721 0 0 0 121 1 0 0 15 0 22 0 831150479 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 5 0 0 0
[pid=28613/tid=28644] ppid=28611 vsize=10556540 CPUtime=1.19 cores=1,3,5,7
/proc/28613/task/28644/stat : 28644 (java) S 28611 28613 23781 0 -1 4202560 10849 0 0 0 117 2 0 0 15 0 22 0 831150479 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28645] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28645/stat : 28645 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831150479 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28648] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28648/stat : 28648 (java) S 28611 28613 23781 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 831150479 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28656] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28656/stat : 28656 (java) S 28611 28613 23781 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831150534 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28760] ppid=28611 vsize=10556540 CPUtime=521.01 cores=1,3,5,7
/proc/28613/task/28760/stat : 28760 (java) R 28611 28613 23781 0 -1 4202560 2 0 0 0 52101 0 0 0 25 0 22 0 831178678 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 46912506053309 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28613/tid=28762] ppid=28611 vsize=10556540 CPUtime=521.03 cores=1,3,5,7
/proc/28613/task/28762/stat : 28762 (java) R 28611 28613 23781 0 -1 4202560 26 0 0 0 52103 0 0 0 25 0 22 0 831178678 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 46912506039215 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28613/tid=28763] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28763/stat : 28763 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831178678 10809896960 689375 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1610.45
Current children cumulated vsize (KiB) 10556540

[startup+882.321 s]
/proc/loadavg: 3.82 3.72 3.70 5/578 28793
/proc/meminfo: memFree=24999304/32951124 swapFree=58212616/67111528
[pid=28613] ppid=28611 vsize=10556540 CPUtime=1728.06 cores=1,3,5,7
/proc/28613/stat : 28613 (java) S 28611 28613 23781 0 -1 4202496 700802 0 1 0 172720 86 0 0 18 0 22 0 831150472 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28613/statm: 2639135 690392 2273 9 0 2629869 0
[pid=28613/tid=28615] ppid=28611 vsize=10556540 CPUtime=0.6 cores=1,3,5,7
/proc/28613/task/28615/stat : 28615 (java) S 28611 28613 23781 0 -1 4202560 23218 0 1 0 56 4 0 0 15 0 22 0 831150473 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=10556540 CPUtime=0.51 cores=1,3,5,7
/proc/28613/task/28618/stat : 28618 (java) S 28611 28613 23781 0 -1 4202560 1723 0 0 0 51 0 0 0 16 0 22 0 831150475 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28619] ppid=28611 vsize=10556540 CPUtime=0.39 cores=1,3,5,7
/proc/28613/task/28619/stat : 28619 (java) S 28611 28613 23781 0 -1 4202560 515 0 0 0 39 0 0 0 15 0 22 0 831150475 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28620] ppid=28611 vsize=10556540 CPUtime=0.39 cores=1,3,5,7
/proc/28613/task/28620/stat : 28620 (java) S 28611 28613 23781 0 -1 4202560 290 0 0 0 39 0 0 0 16 0 22 0 831150475 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28622] ppid=28611 vsize=10556540 CPUtime=0.36 cores=1,3,5,7
/proc/28613/task/28622/stat : 28622 (java) S 28611 28613 23781 0 -1 4202560 340 0 0 0 36 0 0 0 15 0 22 0 831150475 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28624] ppid=28611 vsize=10556540 CPUtime=0.38 cores=1,3,5,7
/proc/28613/task/28624/stat : 28624 (java) S 28611 28613 23781 0 -1 4202560 556 0 0 0 38 0 0 0 15 0 22 0 831150475 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28626] ppid=28611 vsize=10556540 CPUtime=0.34 cores=1,3,5,7
/proc/28613/task/28626/stat : 28626 (java) S 28611 28613 23781 0 -1 4202560 1982 0 0 0 34 0 0 0 16 0 22 0 831150475 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 5 0 0 0
[pid=28613/tid=28628] ppid=28611 vsize=10556540 CPUtime=0.37 cores=1,3,5,7
/proc/28613/task/28628/stat : 28628 (java) S 28611 28613 23781 0 -1 4202560 1701 0 0 0 37 0 0 0 15 0 22 0 831150475 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28629] ppid=28611 vsize=10556540 CPUtime=0.44 cores=1,3,5,7
/proc/28613/task/28629/stat : 28629 (java) S 28611 28613 23781 0 -1 4202560 477 0 0 0 44 0 0 0 15 0 22 0 831150475 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 5 0 0 0
[pid=28613/tid=28635] ppid=28611 vsize=10556540 CPUtime=25.77 cores=1,3,5,7
/proc/28613/task/28635/stat : 28635 (java) S 28611 28613 23781 0 -1 4202560 42525 0 0 0 2573 4 0 0 15 0 22 0 831150476 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 0 0 16800975 18446604462422702016 0 0 -1 1 0 0 0
[pid=28613/tid=28637] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28637/stat : 28637 (java) S 28611 28613 23781 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831150476 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28639] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28639/stat : 28639 (java) S 28611 28613 23781 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 831150476 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28640] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28640/stat : 28640 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831150479 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256172465 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28642] ppid=28611 vsize=10556540 CPUtime=1.22 cores=1,3,5,7
/proc/28613/task/28642/stat : 28642 (java) S 28611 28613 23781 0 -1 4202560 4721 0 0 0 121 1 0 0 15 0 22 0 831150479 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 5 0 0 0
[pid=28613/tid=28644] ppid=28611 vsize=10556540 CPUtime=1.19 cores=1,3,5,7
/proc/28613/task/28644/stat : 28644 (java) S 28611 28613 23781 0 -1 4202560 10849 0 0 0 117 2 0 0 15 0 22 0 831150479 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28645] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28645/stat : 28645 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831150479 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28648] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28648/stat : 28648 (java) S 28611 28613 23781 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831150479 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28656] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28656/stat : 28656 (java) S 28611 28613 23781 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831150534 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28760] ppid=28611 vsize=10556540 CPUtime=578.43 cores=1,3,5,7
/proc/28613/task/28760/stat : 28760 (java) R 28611 28613 23781 0 -1 4202560 2 0 0 0 57843 0 0 0 25 0 22 0 831178678 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 46912505650478 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28613/tid=28762] ppid=28611 vsize=10556540 CPUtime=578.45 cores=1,3,5,7
/proc/28613/task/28762/stat : 28762 (java) R 28611 28613 23781 0 -1 4202560 29 0 0 0 57845 0 0 0 25 0 22 0 831178678 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 46912505991231 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28613/tid=28763] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28763/stat : 28763 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831178678 10809896960 690392 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.06
Current children cumulated vsize (KiB) 10556540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+919.201 s]
/proc/loadavg: 3.77 3.72 3.70 5/578 28794
/proc/meminfo: memFree=24991576/32951124 swapFree=58212616/67111528
[pid=28613] ppid=28611 vsize=10556540 CPUtime=1800.12 cores=1,3,5,7
/proc/28613/stat : 28613 (java) S 28611 28613 23781 0 -1 4202496 701620 0 1 0 179926 86 0 0 18 0 22 0 831150472 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28613/statm: 2639135 691201 2273 9 0 2629869 0
[pid=28613/tid=28615] ppid=28611 vsize=10556540 CPUtime=0.6 cores=1,3,5,7
/proc/28613/task/28615/stat : 28615 (java) S 28611 28613 23781 0 -1 4202560 23222 0 1 0 56 4 0 0 15 0 22 0 831150473 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=10556540 CPUtime=0.53 cores=1,3,5,7
/proc/28613/task/28618/stat : 28618 (java) S 28611 28613 23781 0 -1 4202560 1726 0 0 0 53 0 0 0 16 0 22 0 831150475 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28619] ppid=28611 vsize=10556540 CPUtime=0.42 cores=1,3,5,7
/proc/28613/task/28619/stat : 28619 (java) S 28611 28613 23781 0 -1 4202560 517 0 0 0 42 0 0 0 16 0 22 0 831150475 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28620] ppid=28611 vsize=10556540 CPUtime=0.41 cores=1,3,5,7
/proc/28613/task/28620/stat : 28620 (java) S 28611 28613 23781 0 -1 4202560 293 0 0 0 41 0 0 0 15 0 22 0 831150475 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28622] ppid=28611 vsize=10556540 CPUtime=0.39 cores=1,3,5,7
/proc/28613/task/28622/stat : 28622 (java) S 28611 28613 23781 0 -1 4202560 340 0 0 0 39 0 0 0 16 0 22 0 831150475 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 5 0 0 0
[pid=28613/tid=28624] ppid=28611 vsize=10556540 CPUtime=0.4 cores=1,3,5,7
/proc/28613/task/28624/stat : 28624 (java) S 28611 28613 23781 0 -1 4202560 558 0 0 0 40 0 0 0 15 0 22 0 831150475 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28626] ppid=28611 vsize=10556540 CPUtime=0.36 cores=1,3,5,7
/proc/28613/task/28626/stat : 28626 (java) S 28611 28613 23781 0 -1 4202560 1983 0 0 0 36 0 0 0 15 0 22 0 831150475 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28628] ppid=28611 vsize=10556540 CPUtime=0.41 cores=1,3,5,7
/proc/28613/task/28628/stat : 28628 (java) S 28611 28613 23781 0 -1 4202560 1707 0 0 0 41 0 0 0 16 0 22 0 831150475 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 5 0 0 0
[pid=28613/tid=28629] ppid=28611 vsize=10556540 CPUtime=0.44 cores=1,3,5,7
/proc/28613/task/28629/stat : 28629 (java) S 28611 28613 23781 0 -1 4202560 477 0 0 0 44 0 0 0 15 0 22 0 831150475 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 5 0 0 0
[pid=28613/tid=28635] ppid=28611 vsize=10556540 CPUtime=27.56 cores=1,3,5,7
/proc/28613/task/28635/stat : 28635 (java) S 28611 28613 23781 0 -1 4202560 43319 0 0 0 2752 4 0 0 15 0 22 0 831150476 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 0 0 16800975 18446604462422702016 0 0 -1 1 0 0 0
[pid=28613/tid=28637] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28637/stat : 28637 (java) S 28611 28613 23781 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831150476 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28639] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28639/stat : 28639 (java) S 28611 28613 23781 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 831150476 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28640] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28640/stat : 28640 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831150479 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256172465 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28642] ppid=28611 vsize=10556540 CPUtime=1.22 cores=1,3,5,7
/proc/28613/task/28642/stat : 28642 (java) S 28611 28613 23781 0 -1 4202560 4721 0 0 0 121 1 0 0 15 0 22 0 831150479 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 5 0 0 0
[pid=28613/tid=28644] ppid=28611 vsize=10556540 CPUtime=1.19 cores=1,3,5,7
/proc/28613/task/28644/stat : 28644 (java) S 28611 28613 23781 0 -1 4202560 10849 0 0 0 117 2 0 0 15 0 22 0 831150479 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28645] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28645/stat : 28645 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831150479 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256164761 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28648] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28648/stat : 28648 (java) S 28611 28613 23781 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831150479 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 3 0 0 0
[pid=28613/tid=28656] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28656/stat : 28656 (java) S 28611 28613 23781 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831150534 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
[pid=28613/tid=28760] ppid=28611 vsize=10556540 CPUtime=613.49 cores=1,3,5,7
/proc/28613/task/28760/stat : 28760 (java) R 28611 28613 23781 0 -1 4202560 2 0 0 0 61349 0 0 0 25 0 22 0 831178678 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 46912506050928 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28613/tid=28762] ppid=28611 vsize=10556540 CPUtime=613.51 cores=1,3,5,7
/proc/28613/task/28762/stat : 28762 (java) R 28611 28613 23781 0 -1 4202560 30 0 0 0 61351 0 0 0 25 0 22 0 831178678 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 46912506039448 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28613/tid=28763] ppid=28611 vsize=10556540 CPUtime=0 cores=1,3,5,7
/proc/28613/task/28763/stat : 28763 (java) S 28611 28613 23781 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831178678 10809896960 691201 33554432000 1073741824 1073778376 140735578516720 18446744073709551615 228256165376 0 4 0 16800975 18446604462422702016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10556540

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

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

[startup+919.328 s]
/proc/loadavg: 3.77 3.72 3.70 5/578 28794
/proc/meminfo: memFree=24991576/32951124 swapFree=58212616/67111528
[pid=28613] ppid=28611 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/28613/stat : 28613 (java) Z 28611 28613 23781 0 -1 4203548 701647 0 1 0 179931 95 0 0 17 0 2 0 831150472 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28613/statm: 0 0 0 0 0 0 0
[pid=28613/tid=28762] ppid=28611 vsize=0 CPUtime=613.62 cores=1,3,5,7
/proc/28613/task/28762/stat : 28762 (java) R 28611 28613 23781 0 -1 4203588 30 0 0 0 61353 9 0 0 25 0 2 0 831178678 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 919.346
CPU time (s): 1800.29
CPU user time (s): 1799.31
CPU system time (s): 0.973851
CPU usage (%): 195.823
Max. virtual memory (cumulated for all children) (KiB): 10556540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.973851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 701647
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= 24989
involuntary context switches= 25329

runsolver used 5.02923 second user time and 11.8032 second system time

The end

Launcher Data 

Begin job on node136 at 2011-06-04 15:52:05
IDJOB=3454049
IDBENCH=48253
IDSOLVER=1950
FILE ID=node136/3454049-1307195525
RUNJOBID= node136-1307195525-28595
PBS_JOBID= 13508850
Free space on /tmp= 73844 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_5.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454049-1307195525/watcher-3454049-1307195525 -o /tmp/evaluation-result-3454049-1307195525/solver-3454049-1307195525 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454049-1307195525.opb

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

MD5SUM BENCH= b1b77cfc7c7e45b216596a736ff4b926
RANDOM SEED=387525120

node136.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.809
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.61
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.809
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	: 5332.75
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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.76
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.809
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.809
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.809
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.75
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28990596 kB
Buffers:        299924 kB
Cached:         545480 kB
SwapCached:       7704 kB
Active:        3242816 kB
Inactive:       421968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28990596 kB
SwapTotal:    67111528 kB
SwapFree:     58212616 kB
Dirty:             856 kB
Writeback:           0 kB
AnonPages:     2817228 kB
Mapped:          24640 kB
Slab:           156168 kB
PageTables:      68988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 169232920 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= 73844 MiB
End job on node136 at 2011-06-04 16:07:26