Trace number 3737435

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
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO)-25 1800.15 920.93

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_2.opb
MD5SUM219f407da86957d900e068170e9af8b6
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 benchmark1796.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -32
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)12440
Sum of products size (including duplicates)24880
Number of different products6220
Sum of products size12440

Quality of the solution as a function of time


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

Solver Data 

0.03/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.07	c See www.sat4j.org for details.
0.03/0.08	c version 2.2.0.v20100531
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		1349517296
0.03/0.08	c Max memory 		1356595200
0.03/0.08	c Total memory 		1356595200
0.03/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c Stops conflict analysis at the first Unique Implication Point
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@431b9fb1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c Stops conflict analysis at the first Unique Implication Point
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5b2558d6
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	
0.11/0.11	c solving HOME/instance-3737435-1338754095.opb
0.11/0.11	c reading problem ... 
2.90/2.22	c ... done. Wall clock time 2.107s.
2.90/2.22	c #vars     6620
2.90/2.22	c #constraints  13042
2.90/2.22	c constraints type 
2.90/2.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6220
2.90/2.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
2.90/2.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
2.90/2.22	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6220
2.90/2.22	c constraints type 
2.90/2.22	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
2.90/2.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6220
2.90/2.22	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
2.90/2.22	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6220
3.59/2.49	c And the winner is CuttingPlanes
3.89/3.23	c SATISFIABLE
3.89/3.23	c OPTIMIZING...
3.89/3.23	c Got one! Elapsed wall clock time (in seconds):3.116
3.89/3.23	o -3
3.89/3.29	c And the winner is CuttingPlanes
4.24/4.23	c Got one! Elapsed wall clock time (in seconds):4.12
4.24/4.23	o -5
4.47/4.32	c And the winner is CuttingPlanes
4.54/5.24	c Got one! Elapsed wall clock time (in seconds):5.123
4.54/5.24	o -6
4.71/5.31	c And the winner is CuttingPlanes
4.75/6.24	c Got one! Elapsed wall clock time (in seconds):6.124
4.75/6.24	o -7
4.92/6.32	c And the winner is CuttingPlanes
4.98/7.24	c Got one! Elapsed wall clock time (in seconds):7.126
4.98/7.24	o -8
5.09/7.31	c And the winner is CuttingPlanes
5.14/8.24	c Got one! Elapsed wall clock time (in seconds):8.127
5.14/8.24	o -9
5.36/8.32	c And the winner is CuttingPlanes
5.46/9.24	c Got one! Elapsed wall clock time (in seconds):9.128
5.46/9.24	o -10
5.46/9.28	c And the winner is CuttingPlanes
5.56/10.24	c Got one! Elapsed wall clock time (in seconds):10.13
5.56/10.24	o -11
5.56/10.29	c And the winner is CuttingPlanes
5.68/11.24	c Got one! Elapsed wall clock time (in seconds):11.131
5.68/11.24	o -12
5.79/11.32	c And the winner is CuttingPlanes
5.85/12.24	c Got one! Elapsed wall clock time (in seconds):12.132
5.85/12.24	o -13
5.96/12.30	c And the winner is CuttingPlanes
5.98/13.25	c Got one! Elapsed wall clock time (in seconds):13.133
5.98/13.25	o -14
6.08/13.30	c And the winner is CuttingPlanes
6.10/14.25	c Got one! Elapsed wall clock time (in seconds):14.135
6.10/14.25	o -15
6.10/14.28	c And the winner is CuttingPlanes
6.23/15.25	c Got one! Elapsed wall clock time (in seconds):15.136
6.23/15.25	o -16
7.55/15.86	c And the winner is CuttingPlanes
7.68/16.25	c Got one! Elapsed wall clock time (in seconds):16.137
7.68/16.25	o -18
8.24/16.56	c And the winner is CuttingPlanes
8.38/17.25	c Got one! Elapsed wall clock time (in seconds):17.138
8.38/17.25	o -19
9.72/17.95	c And the winner is CuttingPlanes
9.85/18.25	c Got one! Elapsed wall clock time (in seconds):18.14
9.85/18.25	o -20
12.88/19.75	c cleaning 2412 clauses out of 5000 with flag 5000/5000
21.53/24.04	c cleaning 4197 clauses out of 8588 with flag 11000/11000
30.01/28.25	c cleaning 5674 clauses out of 11391 with flag 18000/18000
33.38/29.93	c And the winner is CuttingPlanes
33.39/30.31	c Got one! Elapsed wall clock time (in seconds):30.198
33.39/30.31	o -21
37.61/32.45	c And the winner is CuttingPlanes
37.71/33.31	c Got one! Elapsed wall clock time (in seconds):33.2
37.71/33.31	o -22
41.50/35.26	c cleaning 6859 clauses out of 13717 with flag 26000/26000
51.58/40.20	c cleaning 7774 clauses out of 15858 with flag 35000/35000
69.06/48.93	c cleaning 9005 clauses out of 18084 with flag 45000/45000
83.73/56.21	c cleaning 10007 clauses out of 20079 with flag 56000/56000
101.94/65.36	c cleaning 10967 clauses out of 22072 with flag 68000/68000
115.31/72.02	c And the winner is CuttingPlanes
115.15/72.49	c Got one! Elapsed wall clock time (in seconds):72.376
115.15/72.49	o -23
119.19/74.59	c cleaning 12053 clauses out of 24105 with flag 81000/81000
137.22/83.51	c cleaning 12992 clauses out of 26052 with flag 95000/95000
149.40/89.62	c And the winner is CuttingPlanes
149.37/90.49	c Got one! Elapsed wall clock time (in seconds):90.379
149.37/90.49	o -24
154.60/93.17	c cleaning 13506 clauses out of 27060 with flag 109000/109000
175.07/103.36	c cleaning 13640 clauses out of 27554 with flag 123000/123000
195.65/113.62	c cleaning 13898 clauses out of 27914 with flag 137000/137000
214.30/122.95	c cleaning 13955 clauses out of 28016 with flag 151000/151000
232.09/131.88	c cleaning 14000 clauses out of 28061 with flag 165000/165000
253.11/142.30	c cleaning 13931 clauses out of 28061 with flag 179000/179000
270.82/151.24	c cleaning 13972 clauses out of 28130 with flag 193000/193000
288.81/160.25	c cleaning 13912 clauses out of 28158 with flag 207000/207000
307.85/169.70	c cleaning 0 clauses out of 5000 with flag 0/5000
312.95/172.15	c cleaning 14014 clauses out of 28246 with flag 221000/221000
333.05/182.15	c cleaning 14060 clauses out of 28232 with flag 235000/235000
354.25/192.70	c cleaning 13947 clauses out of 28172 with flag 249000/249000
376.08/203.61	c cleaning 14054 clauses out of 28225 with flag 263000/263000
394.67/212.92	c cleaning 14045 clauses out of 28171 with flag 277000/277000
409.75/220.52	c cleaning 13911 clauses out of 28126 with flag 291000/291000
433.37/232.32	c cleaning 14022 clauses out of 28215 with flag 305000/305000
457.81/244.51	c cleaning 13981 clauses out of 28193 with flag 319000/319000
483.61/257.49	c cleaning 13994 clauses out of 28213 with flag 333001/333001
505.27/268.40	c cleaning 14066 clauses out of 28218 with flag 347000/347000
531.26/281.39	c cleaning 13907 clauses out of 28152 with flag 361000/361000
553.44/292.43	c cleaning 14006 clauses out of 28245 with flag 375000/375000
571.22/301.35	c cleaning 14072 clauses out of 28239 with flag 389000/389000
589.64/310.65	c cleaning 13982 clauses out of 28167 with flag 403000/403000
607.40/319.50	c cleaning 14052 clauses out of 28185 with flag 417000/417000
628.59/330.16	c cleaning 13907 clauses out of 28133 with flag 431000/431000
647.57/339.69	c cleaning 14079 clauses out of 28226 with flag 445000/445000
668.43/350.10	c cleaning 13987 clauses out of 28147 with flag 459000/459000
686.37/359.11	c cleaning 13991 clauses out of 28160 with flag 473000/473000
702.53/367.23	c cleaning 14015 clauses out of 28169 with flag 487000/487000
716.83/374.46	c cleaning 13976 clauses out of 28154 with flag 501000/501000
730.45/381.39	c cleaning 13926 clauses out of 28178 with flag 515000/515000
748.15/390.23	c cleaning 14055 clauses out of 28252 with flag 529000/529000
765.91/399.15	c cleaning 14049 clauses out of 28197 with flag 543000/543000
780.19/406.35	c cleaning 14007 clauses out of 28148 with flag 557000/557000
792.24/412.43	c cleaning 14027 clauses out of 28141 with flag 571000/571000
805.95/419.35	c cleaning 14011 clauses out of 28114 with flag 585000/585000
826.49/429.69	c cleaning 13927 clauses out of 28103 with flag 599000/599000
844.24/438.53	c cleaning 13990 clauses out of 28176 with flag 613000/613000
860.27/446.69	c cleaning 14027 clauses out of 28186 with flag 627000/627000
878.19/455.62	c cleaning 14043 clauses out of 28159 with flag 641000/641000
897.10/465.19	c cleaning 13969 clauses out of 28116 with flag 655000/655000
916.07/474.61	c cleaning 14018 clauses out of 28147 with flag 669000/669000
932.30/482.81	c cleaning 14009 clauses out of 28129 with flag 683000/683000
948.39/490.99	c cleaning 13975 clauses out of 28120 with flag 697000/697000
963.26/498.49	c cleaning 14018 clauses out of 28145 with flag 711000/711000
977.12/505.45	c cleaning 14031 clauses out of 28127 with flag 725000/725000
997.01/515.47	c cleaning 13980 clauses out of 28096 with flag 739000/739000
1014.50/524.21	c cleaning 14002 clauses out of 28116 with flag 753000/753000
1029.41/531.73	c cleaning 13996 clauses out of 28115 with flag 767001/767001
1043.09/538.65	c cleaning 14005 clauses out of 28118 with flag 781000/781000
1057.07/545.76	c cleaning 14012 clauses out of 28113 with flag 795000/795000
1070.75/552.67	c cleaning 13989 clauses out of 28101 with flag 809000/809000
1083.07/558.84	c cleaning 14022 clauses out of 28112 with flag 823000/823000
1096.71/565.70	c cleaning 13951 clauses out of 28090 with flag 837000/837000
1112.34/573.60	c cleaning 14015 clauses out of 28139 with flag 851000/851000
1128.04/581.58	c cleaning 14013 clauses out of 28124 with flag 865000/865000
1141.34/588.29	c cleaning 14006 clauses out of 28111 with flag 879000/879000
1155.47/595.37	c cleaning 14008 clauses out of 28105 with flag 893000/893000
1171.09/603.21	c cleaning 13909 clauses out of 28097 with flag 907000/907000
1188.81/612.12	c cleaning 14006 clauses out of 28188 with flag 921000/921000
1207.33/621.44	c cleaning 14046 clauses out of 28182 with flag 935000/935000
1228.22/631.92	c cleaning 13980 clauses out of 28136 with flag 949000/949000
1245.42/640.66	c cleaning 13983 clauses out of 28156 with flag 963000/963000
1262.29/649.17	c cleaning 14005 clauses out of 28173 with flag 977000/977000
1278.80/657.42	c cleaning 14042 clauses out of 28168 with flag 991000/991000
1293.70/664.91	c cleaning 14025 clauses out of 28126 with flag 1005000/1005000
1311.06/673.71	c cleaning 13947 clauses out of 28101 with flag 1019000/1019000
1326.71/681.68	c cleaning 14012 clauses out of 28154 with flag 1033000/1033000
1343.18/689.96	c cleaning 13969 clauses out of 28142 with flag 1047000/1047000
1358.71/697.76	c cleaning 14032 clauses out of 28173 with flag 1061000/1061000
1375.68/706.32	c cleaning 13990 clauses out of 28141 with flag 1075000/1075000
1395.57/716.35	c cleaning 14071 clauses out of 28151 with flag 1089000/1089000
1414.08/725.67	c cleaning 13996 clauses out of 28080 with flag 1103000/1103000
1433.77/735.50	c cleaning 13999 clauses out of 28084 with flag 1117000/1117000
1451.98/744.78	c cleaning 13977 clauses out of 28085 with flag 1131000/1131000
1470.44/754.08	c cleaning 14027 clauses out of 28108 with flag 1145000/1145000
1487.96/762.87	c cleaning 13959 clauses out of 28081 with flag 1159000/1159000
1497.03/767.42	c And the winner is CuttingPlanes
1493.69/768.11	c Got one! Elapsed wall clock time (in seconds):767.994
1493.69/768.11	o -25
1504.00/773.30	c cleaning 13994 clauses out of 28122 with flag 1173000/1173000
1524.40/783.59	c cleaning 13977 clauses out of 28128 with flag 1187000/1187000
1540.30/791.55	c cleaning 13976 clauses out of 28151 with flag 1201000/1201000
1561.36/802.14	c cleaning 13943 clauses out of 28175 with flag 1215000/1215000
1581.47/812.24	c cleaning 13954 clauses out of 28232 with flag 1229000/1229000
1602.59/822.97	c cleaning 14008 clauses out of 28278 with flag 1243000/1243000
1619.46/831.45	c cleaning 14056 clauses out of 28270 with flag 1257000/1257000
1634.94/839.30	c cleaning 14027 clauses out of 28214 with flag 1271000/1271000
1649.80/846.76	c cleaning 13997 clauses out of 28187 with flag 1285000/1285000
1664.51/854.24	c cleaning 14013 clauses out of 28190 with flag 1299000/1299000
1678.58/861.37	c cleaning 13994 clauses out of 28177 with flag 1313000/1313000
1701.46/872.90	c cleaning 13935 clauses out of 28183 with flag 1327000/1327000
1723.38/883.87	c cleaning 13993 clauses out of 28248 with flag 1341000/1341000
1729.40/887.08	c cleaning 0 clauses out of 11002 with flag 0/11002
1745.94/895.40	c cleaning 13996 clauses out of 28255 with flag 1355000/1355000
1764.58/904.73	c cleaning 14041 clauses out of 28259 with flag 1369000/1369000
1788.35/916.65	c cleaning 14017 clauses out of 28218 with flag 1383000/1383000
1796.61/920.91	c starts		: 55
1796.61/920.91	c conflicts		: 11092
1796.61/920.91	c decisions		: 176375
1796.61/920.91	c propagations		: 5147199
1796.61/920.91	c inspects		: 574782595
1796.61/920.91	c learnt literals	: 0
1796.61/920.91	c learnt binary clauses	: 0
1796.61/920.91	c learnt ternary clauses	: 0
1796.61/920.91	c learnt clauses	: 11092
1796.61/920.91	c ignored clauses	: 0
1796.61/920.91	c root simplifications	: 0
1796.61/920.91	c removed literals (reason simplification)	: 0
1796.61/920.91	c reason swapping (by a shorter reason)	: 0
1796.61/920.91	c Calls to reduceDB	: 2
1796.61/920.91	c number of reductions to clauses (during analyze)	: 0
1796.61/920.91	c number of learned constraints concerned by reduction	: 0
1796.61/920.91	c number of learning phase by resolution	: 0
1796.61/920.91	c number of learning phase by cutting planes	: 0
1796.61/920.91	c speed (assignments/second)	: 33685.19597128329
1796.61/920.91	c non guided choices	53
1796.61/920.92	c learnt constraints type 
1796.61/920.92	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3
1796.61/920.92	c org.sat4j.pb.constraints.pb.MaxWatchPb => 11089
1796.61/920.92	c constraints type 
1796.61/920.92	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6220
1796.61/920.92	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1796.61/920.92	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1796.61/920.92	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6220
1796.61/920.92	c constraints type 
1796.61/920.92	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
1796.61/920.92	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6220
1796.61/920.92	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 403
1796.61/920.92	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6220
1796.61/920.92	s SATISFIABLE
1796.61/920.92	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 
1796.61/920.92	c objective function=-25
1796.61/920.92	c Total wall clock time (in seconds): 920.806

Verifier Data 

OK	-25

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737435-1338754095/watcher-3737435-1338754095 -o /tmp/evaluation-result-3737435-1338754095/solver-3737435-1338754095 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3737435-1338754095.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 3.91 3.91 3.75 4/199 21663
/proc/meminfo: memFree=28550912/32873844 swapFree=7620/7620
[pid=21663] ppid=21661 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/21663/stat : 21663 (java) R 21661 21663 19811 0 -1 4202496 982 0 0 0 0 0 0 0 20 0 1 0 341534272 23793664 709 33554432000 1073741824 1073778376 140735061561424 140735061550488 215115412840 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21663/statm: 5809 709 523 9 0 128 0

[startup+0.0428699 s]
/proc/loadavg: 3.91 3.91 3.75 4/199 21663
/proc/meminfo: memFree=28550912/32873844 swapFree=7620/7620
[pid=21663] ppid=21661 vsize=2367080 CPUtime=0.03 cores=0,2,4,6
/proc/21663/stat : 21663 (java) S 21661 21663 19811 0 -1 4202496 3769 0 1 0 2 1 0 0 20 0 13 0 341534272 2423889920 4466 33554432000 1073741824 1073778376 140735061561424 140735061552560 215127982141 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21663/statm: 591770 4466 1697 9 0 582471 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2367080

[startup+0.100256 s]
/proc/loadavg: 3.91 3.91 3.75 4/199 21663
/proc/meminfo: memFree=28550912/32873844 swapFree=7620/7620
[pid=21663] ppid=21661 vsize=2699928 CPUtime=0.11 cores=0,2,4,6
/proc/21663/stat : 21663 (java) S 21661 21663 19811 0 -1 4202496 4745 0 1 0 9 2 0 0 20 0 18 0 341534272 2764726272 5947 33554432000 1073741824 1073778376 140735061561424 140735061552560 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21663/statm: 674982 5947 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928

[startup+0.300221 s]
/proc/loadavg: 3.91 3.91 3.75 4/199 21663
/proc/meminfo: memFree=28550912/32873844 swapFree=7620/7620
[pid=21663] ppid=21661 vsize=2699928 CPUtime=0.46 cores=0,2,4,6
/proc/21663/stat : 21663 (java) S 21661 21663 19811 0 -1 4202496 6092 0 1 0 44 2 0 0 20 0 18 0 341534272 2764726272 7918 33554432000 1073741824 1073778376 140735061561424 140735061552560 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21663/statm: 674982 7918 2222 9 0 665676 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2699928

[startup+0.700224 s]
/proc/loadavg: 3.91 3.91 3.75 4/199 21663
/proc/meminfo: memFree=28550912/32873844 swapFree=7620/7620
[pid=21663] ppid=21661 vsize=2699928 CPUtime=1.09 cores=0,2,4,6
/proc/21663/stat : 21663 (java) S 21661 21663 19811 0 -1 4202496 8905 0 1 0 106 3 0 0 20 0 18 0 341534272 2764726272 12892 33554432000 1073741824 1073778376 140735061561424 140735061552560 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21663/statm: 674982 12892 2234 9 0 665676 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 2699928

[startup+1.50062 s]
/proc/loadavg: 3.84 3.89 3.75 4/217 21681
/proc/meminfo: memFree=28496236/32873844 swapFree=7620/7620
[pid=21663] ppid=21661 vsize=2699928 CPUtime=2.13 cores=0,2,4,6
/proc/21663/stat : 21663 (java) S 21661 21663 19811 0 -1 4202496 12856 0 1 0 210 3 0 0 20 0 18 0 341534272 2764726272 18347 33554432000 1073741824 1073778376 140735061561424 140735061552560 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21663/statm: 674982 18347 2237 9 0 665676 0
[pid=21663/tid=21665] ppid=21661 vsize=2699928 CPUtime=1.47 cores=0,2,4,6
/proc/21663/task/21665/stat : 21665 (java) R 21661 21663 19811 0 -1 4202560 2848 0 1 0 145 2 0 0 20 0 18 0 341534273 2764726272 18347 33554432000 1073741824 1073778376 140735061561424 139662879299928 139662751669494 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21666] ppid=21661 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21666/stat : 21666 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341534274 2764726272 18347 33554432000 1073741824 1073778376 140735061561424 139662745680040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21667] ppid=21661 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21667/stat : 21667 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341534274 2764726272 18347 33554432000 1073741824 1073778376 140735061561424 139662744627496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21663/tid=21668] ppid=21661 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21668/stat : 21668 (java) S 21661 21663 19811 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341534274 2764726272 18347 33554432000 1073741824 1073778376 140735061561424 139662743574952 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21663/tid=21669] ppid=21661 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21669/stat : 21669 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341534274 2764726272 18347 33554432000 1073741824 1073778376 140735061561424 139662742522408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21670] ppid=21661 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21670/stat : 21670 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341534274 2764726272 18347 33554432000 1073741824 1073778376 140735061561424 139662741469864 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21671] ppid=21661 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21671/stat : 21671 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341534274 2764726272 18347 33554432000 1073741824 1073778376 140735061561424 139662404348712 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21672] ppid=21661 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21672/stat : 21672 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341534274 2764726272 18347 33554432000 1073741824 1073778376 140735061561424 139662403296168 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21673] ppid=21661 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21673/stat : 21673 (java) S 21661 21663 19811 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341534274 2764726272 18347 33554432000 1073741824 1073778376 140735061561424 139662402243624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21674] ppid=21661 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21674/stat : 21674 (java) S 21661 21663 19811 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341534275 2764726272 18347 33554432000 1073741824 1073778376 140735061561424 139662390044776 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21675] ppid=21661 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21675/stat : 21675 (java) S 21661 21663 19811 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341534276 2764726272 18347 33554432000 1073741824 1073778376 140735061561424 139662388991096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21676] ppid=21661 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21676/stat : 21676 (java) S 21661 21663 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341534276 2764726272 18347 33554432000 1073741824 1073778376 140735061561424 139662387938440 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21677] ppid=21661 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21677/stat : 21677 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341534278 2764726272 18347 33554432000 1073741824 1073778376 140735061561424 139662386887184 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21678] ppid=21661 vsize=2699928 CPUtime=0.2 cores=0,2,4,6
/proc/21663/task/21678/stat : 21678 (java) S 21661 21663 19811 0 -1 4202560 2549 0 0 0 20 0 0 0 20 0 18 0 341534278 2764726272 18347 33554432000 1073741824 1073778376 140735061561424 139662385834552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21679] ppid=21661 vsize=2699928 CPUtime=0.41 cores=0,2,4,6
/proc/21663/task/21679/stat : 21679 (java) S 21661 21663 19811 0 -1 4202560 6272 0 0 0 41 0 0 0 20 0 18 0 341534278 2764726272 18347 33554432000 1073741824 1073778376 140735061561424 139662384782008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21663/tid=21680] ppid=21661 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21680/stat : 21680 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341534278 2764726272 18347 33554432000 1073741824 1073778376 140735061561424 139662383729656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21663/tid=21681] ppid=21661 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21681/stat : 21681 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341534278 2764726272 18347 33554432000 1073741824 1073778376 140735061561424 139662382677320 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 2699928

[startup+3.10069 s]
/proc/loadavg: 3.84 3.89 3.75 4/217 21681
/proc/meminfo: memFree=28472468/32873844 swapFree=7620/7620
[pid=21663] ppid=21661 vsize=2966184 CPUtime=3.89 cores=0,2,4,6
/proc/21663/stat : 21663 (java) S 21661 21663 19811 0 -1 4202496 15445 0 1 0 383 6 0 0 20 0 20 0 341534272 3037372416 36586 33554432000 1073741824 1073778376 140735061561424 140735061552560 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21663/statm: 741546 36586 2257 9 0 732240 0
[pid=21663/tid=21665] ppid=21661 vsize=2966184 CPUtime=2.19 cores=0,2,4,6
/proc/21663/task/21665/stat : 21665 (java) S 21661 21663 19811 0 -1 4202560 2868 0 1 0 217 2 0 0 20 0 20 0 341534273 3037372416 36586 33554432000 1073741824 1073778376 140735061561424 139662879302808 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21666] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21666/stat : 21666 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341534274 3037372416 36586 33554432000 1073741824 1073778376 140735061561424 139662745680040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21667] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21667/stat : 21667 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341534274 3037372416 36586 33554432000 1073741824 1073778376 140735061561424 139662744627496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21663/tid=21668] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21668/stat : 21668 (java) S 21661 21663 19811 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341534274 3037372416 36586 33554432000 1073741824 1073778376 140735061561424 139662743574952 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21663/tid=21669] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21669/stat : 21669 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341534274 3037372416 36586 33554432000 1073741824 1073778376 140735061561424 139662742522408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21670] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21670/stat : 21670 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341534274 3037372416 36586 33554432000 1073741824 1073778376 140735061561424 139662741469864 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21671] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21671/stat : 21671 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341534274 3037372416 36586 33554432000 1073741824 1073778376 140735061561424 139662404348712 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21672] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21672/stat : 21672 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341534274 3037372416 36586 33554432000 1073741824 1073778376 140735061561424 139662403296168 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21673] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21673/stat : 21673 (java) S 21661 21663 19811 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341534274 3037372416 36586 33554432000 1073741824 1073778376 140735061561424 139662402243624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21674] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21674/stat : 21674 (java) S 21661 21663 19811 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 341534275 3037372416 36586 33554432000 1073741824 1073778376 140735061561424 139662390044776 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21675] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21675/stat : 21675 (java) S 21661 21663 19811 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341534276 3037372416 36586 33554432000 1073741824 1073778376 140735061561424 139662388991096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21676] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21676/stat : 21676 (java) S 21661 21663 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341534276 3037372416 36586 33554432000 1073741824 1073778376 140735061561424 139662387938440 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21677] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21677/stat : 21677 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341534278 3037372416 36586 33554432000 1073741824 1073778376 140735061561424 139662386887184 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21678] ppid=21661 vsize=2966184 CPUtime=0.45 cores=0,2,4,6
/proc/21663/task/21678/stat : 21678 (java) S 21661 21663 19811 0 -1 4202560 4944 0 0 0 45 0 0 0 20 0 20 0 341534278 3037372416 36586 33554432000 1073741824 1073778376 140735061561424 139662385834552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21679] ppid=21661 vsize=2966184 CPUtime=0.66 cores=0,2,4,6
/proc/21663/task/21679/stat : 21679 (java) S 21661 21663 19811 0 -1 4202560 6308 0 0 0 66 0 0 0 20 0 20 0 341534278 3037372416 36586 33554432000 1073741824 1073778376 140735061561424 139662384782008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21663/tid=21680] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21680/stat : 21680 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341534278 3037372416 36586 33554432000 1073741824 1073778376 140735061561424 139662383729656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21663/tid=21681] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21681/stat : 21681 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341534278 3037372416 36586 33554432000 1073741824 1073778376 140735061561424 139662382677320 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 2966184

[startup+6.30062 s]
/proc/loadavg: 3.69 3.86 3.74 3/219 21691
/proc/meminfo: memFree=28283836/32873844 swapFree=7620/7620
[pid=21663] ppid=21661 vsize=2966184 CPUtime=4.92 cores=0,2,4,6
/proc/21663/stat : 21663 (java) S 21661 21663 19811 0 -1 4202496 19235 0 1 0 478 14 0 0 20 0 22 0 341534272 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 140735061552560 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21663/statm: 741546 77593 2262 9 0 732240 0
[pid=21663/tid=21665] ppid=21661 vsize=2966184 CPUtime=2.21 cores=0,2,4,6
/proc/21663/task/21665/stat : 21665 (java) S 21661 21663 19811 0 -1 4202560 2869 0 1 0 219 2 0 0 20 0 22 0 341534273 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 139662879302824 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21666] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21666/stat : 21666 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341534274 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 139662745680040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21667] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21667/stat : 21667 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341534274 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 139662744627496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21663/tid=21668] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21668/stat : 21668 (java) S 21661 21663 19811 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341534274 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 139662743574952 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21663/tid=21669] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21669/stat : 21669 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341534274 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 139662742522408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21670] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21670/stat : 21670 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341534274 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 139662741469864 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21671] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21671/stat : 21671 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341534274 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 139662404348712 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21672] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21672/stat : 21672 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341534274 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 139662403296168 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21673] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21673/stat : 21673 (java) S 21661 21663 19811 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341534274 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 139662402243624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21674] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21674/stat : 21674 (java) S 21661 21663 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341534275 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 139662390044776 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21675] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21675/stat : 21675 (java) S 21661 21663 19811 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 341534276 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 139662388991096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21676] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21676/stat : 21676 (java) S 21661 21663 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341534276 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 139662387938440 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21677] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21677/stat : 21677 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341534278 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 139662386887184 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21678] ppid=21661 vsize=2966184 CPUtime=0.72 cores=0,2,4,6
/proc/21663/task/21678/stat : 21678 (java) R 21661 21663 19811 0 -1 4202560 8615 0 0 0 70 2 0 0 20 0 22 0 341534278 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 139662385834432 139662883419728 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21663/tid=21679] ppid=21661 vsize=2966184 CPUtime=0.8 cores=0,2,4,6
/proc/21663/task/21679/stat : 21679 (java) S 21661 21663 19811 0 -1 4202560 6324 0 0 0 80 0 0 0 20 0 22 0 341534278 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 139662384782008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21663/tid=21680] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21680/stat : 21680 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341534278 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 139662383729656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21663/tid=21681] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21681/stat : 21681 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341534278 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 139662382677320 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21684] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21684/stat : 21684 (java) S 21661 21663 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341534497 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 139662379488296 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21685] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21685/stat : 21685 (java) S 21661 21663 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341534497 3037372416 77593 33554432000 1073741824 1073778376 140735061561424 139662378435752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 2966184
heavy processes:

[startup+12.7007 s]
/proc/loadavg: 3.55 3.83 3.73 3/219 21703

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

[pid=21663/tid=21669] ppid=21661 vsize=2966184 CPUtime=3.35 cores=0,2,4,6
/proc/21663/task/21669/stat : 21669 (java) S 21661 21663 19811 0 -1 4202560 304 0 0 0 330 5 0 0 20 0 22 0 341534274 3037372416 175919 33554432000 1073741824 1073778376 140735061561424 139662742522408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21663/tid=21670] ppid=21661 vsize=2966184 CPUtime=3.3 cores=0,2,4,6
/proc/21663/task/21670/stat : 21670 (java) S 21661 21663 19811 0 -1 4202560 299 0 0 0 325 5 0 0 20 0 22 0 341534274 3037372416 175919 33554432000 1073741824 1073778376 140735061561424 139662741469864 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21671] ppid=21661 vsize=2966184 CPUtime=3.35 cores=0,2,4,6
/proc/21663/task/21671/stat : 21671 (java) S 21661 21663 19811 0 -1 4202560 301 0 0 0 330 5 0 0 20 0 22 0 341534274 3037372416 175919 33554432000 1073741824 1073778376 140735061561424 139662404348712 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21663/tid=21672] ppid=21661 vsize=2966184 CPUtime=3.61 cores=0,2,4,6
/proc/21663/task/21672/stat : 21672 (java) S 21661 21663 19811 0 -1 4202560 324 0 0 0 355 6 0 0 20 0 22 0 341534274 3037372416 175919 33554432000 1073741824 1073778376 140735061561424 139662403296168 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21663/tid=21673] ppid=21661 vsize=2966184 CPUtime=3.55 cores=0,2,4,6
/proc/21663/task/21673/stat : 21673 (java) S 21661 21663 19811 0 -1 4202560 305 0 0 0 349 6 0 0 20 0 22 0 341534274 3037372416 175919 33554432000 1073741824 1073778376 140735061561424 139662402243624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21674] ppid=21661 vsize=2966184 CPUtime=19.6 cores=0,2,4,6
/proc/21663/task/21674/stat : 21674 (java) S 21661 21663 19811 0 -1 4202560 119 0 0 0 1926 34 0 0 20 0 22 0 341534275 3037372416 175919 33554432000 1073741824 1073778376 140735061561424 139662390044776 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21663/tid=21675] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21675/stat : 21675 (java) S 21661 21663 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341534276 3037372416 175919 33554432000 1073741824 1073778376 140735061561424 139662388991096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21676] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21676/stat : 21676 (java) S 21661 21663 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341534276 3037372416 175919 33554432000 1073741824 1073778376 140735061561424 139662387938440 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21677] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21677/stat : 21677 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341534278 3037372416 175919 33554432000 1073741824 1073778376 140735061561424 139662386887184 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21678] ppid=21661 vsize=2966184 CPUtime=1.74 cores=0,2,4,6
/proc/21663/task/21678/stat : 21678 (java) S 21661 21663 19811 0 -1 4202560 17348 0 0 0 171 3 0 0 20 0 22 0 341534278 3037372416 175919 33554432000 1073741824 1073778376 140735061561424 139662385834552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21679] ppid=21661 vsize=2966184 CPUtime=1.42 cores=0,2,4,6
/proc/21663/task/21679/stat : 21679 (java) S 21661 21663 19811 0 -1 4202560 6398 0 0 0 142 0 0 0 20 0 22 0 341534278 3037372416 175919 33554432000 1073741824 1073778376 140735061561424 139662384782008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21680] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21680/stat : 21680 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341534278 3037372416 175919 33554432000 1073741824 1073778376 140735061561424 139662383729656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21663/tid=21681] ppid=21661 vsize=2966184 CPUtime=0.33 cores=0,2,4,6
/proc/21663/task/21681/stat : 21681 (java) S 21661 21663 19811 0 -1 4202560 50 0 0 0 16 17 0 0 20 0 22 0 341534278 3037372416 175919 33554432000 1073741824 1073778376 140735061561424 139662382677320 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21684] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21684/stat : 21684 (java) S 21661 21663 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341534497 3037372416 175919 33554432000 1073741824 1073778376 140735061561424 139662379488296 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21685] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21685/stat : 21685 (java) S 21661 21663 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341534497 3037372416 175919 33554432000 1073741824 1073778376 140735061561424 139662378435752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21663/tid=21871] ppid=21661 vsize=2966184 CPUtime=109.25 cores=0,2,4,6
/proc/21663/task/21871/stat : 21871 (java) R 21661 21663 19811 0 -1 4202560 52 0 0 0 10924 1 0 0 20 0 22 0 341611083 3037372416 175919 33554432000 1073741824 1073778376 140735061561424 139662381592128 139662752125828 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21663/tid=21872] ppid=21661 vsize=2966184 CPUtime=109.24 cores=0,2,4,6
/proc/21663/task/21872/stat : 21872 (java) R 21661 21663 19811 0 -1 4202560 40 0 0 0 10923 1 0 0 20 0 22 0 341611083 3037372416 175919 33554432000 1073741824 1073778376 140735061561424 139662380538912 139662752079136 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1720.37
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+920.901 s]
/proc/loadavg: 4.07 3.86 3.71 5/221 21876
/proc/meminfo: memFree=27756956/32873844 swapFree=7620/7620
[pid=21663] ppid=21661 vsize=2966184 CPUtime=1796.61 cores=0,2,4,6
/proc/21663/stat : 21663 (java) S 21661 21663 19811 0 -1 4202496 31496 0 1 0 179494 167 0 0 20 0 22 0 341534272 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 140735061552560 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21663/statm: 741546 175923 2289 9 0 732240 0
[pid=21663/tid=21665] ppid=21661 vsize=2966184 CPUtime=2.26 cores=0,2,4,6
/proc/21663/task/21665/stat : 21665 (java) S 21661 21663 19811 0 -1 4202560 2889 0 1 0 222 4 0 0 20 0 22 0 341534273 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662879302824 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21663/tid=21666] ppid=21661 vsize=2966184 CPUtime=3.64 cores=0,2,4,6
/proc/21663/task/21666/stat : 21666 (java) S 21661 21663 19811 0 -1 4202560 302 0 0 0 358 6 0 0 20 0 22 0 341534274 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662745680040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21663/tid=21667] ppid=21661 vsize=2966184 CPUtime=3.55 cores=0,2,4,6
/proc/21663/task/21667/stat : 21667 (java) S 21661 21663 19811 0 -1 4202560 308 0 0 0 349 6 0 0 20 0 22 0 341534274 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662744627496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21668] ppid=21661 vsize=2966184 CPUtime=3.71 cores=0,2,4,6
/proc/21663/task/21668/stat : 21668 (java) S 21661 21663 19811 0 -1 4202560 295 0 0 0 365 6 0 0 20 0 22 0 341534274 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662743574952 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21669] ppid=21661 vsize=2966184 CPUtime=3.51 cores=0,2,4,6
/proc/21663/task/21669/stat : 21669 (java) S 21661 21663 19811 0 -1 4202560 304 0 0 0 346 5 0 0 20 0 22 0 341534274 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662742522408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21663/tid=21670] ppid=21661 vsize=2966184 CPUtime=3.5 cores=0,2,4,6
/proc/21663/task/21670/stat : 21670 (java) S 21661 21663 19811 0 -1 4202560 299 0 0 0 345 5 0 0 20 0 22 0 341534274 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662741469864 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21663/tid=21671] ppid=21661 vsize=2966184 CPUtime=3.55 cores=0,2,4,6
/proc/21663/task/21671/stat : 21671 (java) S 21661 21663 19811 0 -1 4202560 303 0 0 0 350 5 0 0 20 0 22 0 341534274 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662404348712 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21672] ppid=21661 vsize=2966184 CPUtime=3.79 cores=0,2,4,6
/proc/21663/task/21672/stat : 21672 (java) S 21661 21663 19811 0 -1 4202560 324 0 0 0 373 6 0 0 20 0 22 0 341534274 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662403296168 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21673] ppid=21661 vsize=2966184 CPUtime=3.73 cores=0,2,4,6
/proc/21663/task/21673/stat : 21673 (java) S 21661 21663 19811 0 -1 4202560 305 0 0 0 367 6 0 0 20 0 22 0 341534274 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662402243624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21663/tid=21674] ppid=21661 vsize=2966184 CPUtime=21.18 cores=0,2,4,6
/proc/21663/task/21674/stat : 21674 (java) S 21661 21663 19811 0 -1 4202560 121 0 0 0 2081 37 0 0 20 0 22 0 341534275 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662390044776 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21675] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21675/stat : 21675 (java) S 21661 21663 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341534276 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662388991096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21676] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21676/stat : 21676 (java) S 21661 21663 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341534276 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662387938440 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21677] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21677/stat : 21677 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341534278 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662386887184 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21678] ppid=21661 vsize=2966184 CPUtime=1.76 cores=0,2,4,6
/proc/21663/task/21678/stat : 21678 (java) S 21661 21663 19811 0 -1 4202560 17349 0 0 0 173 3 0 0 20 0 22 0 341534278 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662385834552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21679] ppid=21661 vsize=2966184 CPUtime=1.42 cores=0,2,4,6
/proc/21663/task/21679/stat : 21679 (java) S 21661 21663 19811 0 -1 4202560 6398 0 0 0 142 0 0 0 20 0 22 0 341534278 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662384782008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21680] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21680/stat : 21680 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341534278 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662383729656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21663/tid=21681] ppid=21661 vsize=2966184 CPUtime=0.35 cores=0,2,4,6
/proc/21663/task/21681/stat : 21681 (java) S 21661 21663 19811 0 -1 4202560 52 0 0 0 18 17 0 0 20 0 22 0 341534278 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662382677320 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21684] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21684/stat : 21684 (java) S 21661 21663 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341534497 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662379488296 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21685] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21685/stat : 21685 (java) S 21661 21663 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341534497 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662378435752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21663/tid=21871] ppid=21661 vsize=2966184 CPUtime=145.75 cores=0,2,4,6
/proc/21663/task/21871/stat : 21871 (java) R 21661 21663 19811 0 -1 4202560 64 0 0 0 14573 2 0 0 20 0 22 0 341611083 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662381592272 139662752158186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21872] ppid=21661 vsize=2966184 CPUtime=145.73 cores=0,2,4,6
/proc/21663/task/21872/stat : 21872 (java) R 21661 21663 19811 0 -1 4202560 56 0 0 0 14571 2 0 0 20 0 22 0 341611083 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662380538912 139662752079152 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 2966184

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

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

[startup+920.901 s]
/proc/loadavg: 4.07 3.86 3.71 5/221 21876
/proc/meminfo: memFree=27756956/32873844 swapFree=7620/7620
[pid=21663] ppid=21661 vsize=2966184 CPUtime=1796.61 cores=0,2,4,6
/proc/21663/stat : 21663 (java) S 21661 21663 19811 0 -1 4202496 31496 0 1 0 179494 167 0 0 20 0 22 0 341534272 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 140735061552560 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21663/statm: 741546 175923 2289 9 0 732240 0
[pid=21663/tid=21665] ppid=21661 vsize=2966184 CPUtime=2.26 cores=0,2,4,6
/proc/21663/task/21665/stat : 21665 (java) S 21661 21663 19811 0 -1 4202560 2889 0 1 0 222 4 0 0 20 0 22 0 341534273 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662879302824 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21663/tid=21666] ppid=21661 vsize=2966184 CPUtime=3.64 cores=0,2,4,6
/proc/21663/task/21666/stat : 21666 (java) S 21661 21663 19811 0 -1 4202560 302 0 0 0 358 6 0 0 20 0 22 0 341534274 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662745680040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21663/tid=21667] ppid=21661 vsize=2966184 CPUtime=3.55 cores=0,2,4,6
/proc/21663/task/21667/stat : 21667 (java) S 21661 21663 19811 0 -1 4202560 308 0 0 0 349 6 0 0 20 0 22 0 341534274 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662744627496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21668] ppid=21661 vsize=2966184 CPUtime=3.71 cores=0,2,4,6
/proc/21663/task/21668/stat : 21668 (java) S 21661 21663 19811 0 -1 4202560 295 0 0 0 365 6 0 0 20 0 22 0 341534274 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662743574952 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21669] ppid=21661 vsize=2966184 CPUtime=3.51 cores=0,2,4,6
/proc/21663/task/21669/stat : 21669 (java) S 21661 21663 19811 0 -1 4202560 304 0 0 0 346 5 0 0 20 0 22 0 341534274 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662742522408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21663/tid=21670] ppid=21661 vsize=2966184 CPUtime=3.5 cores=0,2,4,6
/proc/21663/task/21670/stat : 21670 (java) S 21661 21663 19811 0 -1 4202560 299 0 0 0 345 5 0 0 20 0 22 0 341534274 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662741469864 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21663/tid=21671] ppid=21661 vsize=2966184 CPUtime=3.55 cores=0,2,4,6
/proc/21663/task/21671/stat : 21671 (java) S 21661 21663 19811 0 -1 4202560 303 0 0 0 350 5 0 0 20 0 22 0 341534274 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662404348712 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21672] ppid=21661 vsize=2966184 CPUtime=3.79 cores=0,2,4,6
/proc/21663/task/21672/stat : 21672 (java) S 21661 21663 19811 0 -1 4202560 324 0 0 0 373 6 0 0 20 0 22 0 341534274 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662403296168 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21673] ppid=21661 vsize=2966184 CPUtime=3.73 cores=0,2,4,6
/proc/21663/task/21673/stat : 21673 (java) S 21661 21663 19811 0 -1 4202560 305 0 0 0 367 6 0 0 20 0 22 0 341534274 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662402243624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21663/tid=21674] ppid=21661 vsize=2966184 CPUtime=21.18 cores=0,2,4,6
/proc/21663/task/21674/stat : 21674 (java) S 21661 21663 19811 0 -1 4202560 121 0 0 0 2081 37 0 0 20 0 22 0 341534275 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662390044776 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21675] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21675/stat : 21675 (java) S 21661 21663 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341534276 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662388991096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21676] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21676/stat : 21676 (java) S 21661 21663 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341534276 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662387938440 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21677] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21677/stat : 21677 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341534278 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662386887184 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21678] ppid=21661 vsize=2966184 CPUtime=1.76 cores=0,2,4,6
/proc/21663/task/21678/stat : 21678 (java) S 21661 21663 19811 0 -1 4202560 17349 0 0 0 173 3 0 0 20 0 22 0 341534278 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662385834552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21679] ppid=21661 vsize=2966184 CPUtime=1.42 cores=0,2,4,6
/proc/21663/task/21679/stat : 21679 (java) S 21661 21663 19811 0 -1 4202560 6398 0 0 0 142 0 0 0 20 0 22 0 341534278 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662384782008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21680] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21680/stat : 21680 (java) S 21661 21663 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341534278 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662383729656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21663/tid=21681] ppid=21661 vsize=2966184 CPUtime=0.35 cores=0,2,4,6
/proc/21663/task/21681/stat : 21681 (java) S 21661 21663 19811 0 -1 4202560 52 0 0 0 18 17 0 0 20 0 22 0 341534278 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662382677320 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21663/tid=21684] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21684/stat : 21684 (java) S 21661 21663 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341534497 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662379488296 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21685] ppid=21661 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21663/task/21685/stat : 21685 (java) S 21661 21663 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341534497 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662378435752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21663/tid=21871] ppid=21661 vsize=2966184 CPUtime=145.75 cores=0,2,4,6
/proc/21663/task/21871/stat : 21871 (java) R 21661 21663 19811 0 -1 4202560 64 0 0 0 14573 2 0 0 20 0 22 0 341611083 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662381592272 139662752158186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21663/tid=21872] ppid=21661 vsize=2966184 CPUtime=145.73 cores=0,2,4,6
/proc/21663/task/21872/stat : 21872 (java) R 21661 21663 19811 0 -1 4202560 56 0 0 0 14571 2 0 0 20 0 22 0 341611083 3037372416 175923 33554432000 1073741824 1073778376 140735061561424 139662380538912 139662752079152 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 2966184

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21663 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=239234
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=882713
# CPU time returned by wait4() is 1796.12
# while last known CPU time is 1796.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 3.53984
#  lost CPU user time (s): 3.7599
#  lost CPU system time (s): -0.22

Real time (s): 920.93
CPU time (s): 1800.15
CPU user time (s): 1798.7
CPU system time (s): 1.45
CPU usage (%): 195.471
Max. virtual memory (cumulated for all children) (KiB): 2967768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.24
system time used= 1.88271
maximum resident set size= 703804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31526
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40968
involuntary context switches= 61565

runsolver used 3.65144 second user time and 7.8838 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-03 22:08:15
IDJOB=3737435
IDBENCH=48238
IDSOLVER=2324
FILE ID=node135/3737435-1338754095
RUNJOBID= node135-1338747255-19827
PBS_JOBID= 14636778
Free space on /tmp= 70980 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_2.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737435-1338754095/watcher-3737435-1338754095 -o /tmp/evaluation-result-3737435-1338754095/solver-3737435-1338754095 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3737435-1338754095.opb

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

MD5SUM BENCH= 219f407da86957d900e068170e9af8b6
RANDOM SEED=1295485556

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28551440 kB
Buffers:          379452 kB
Cached:          2521684 kB
SwapCached:         1672 kB
Active:          1743556 kB
Inactive:        1729320 kB
Active(anon):     562204 kB
Inactive(anon):    12036 kB
Active(file):    1181352 kB
Inactive(file):  1717284 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:               492 kB
Writeback:             8 kB
AnonPages:        579888 kB
Mapped:            18720 kB
Shmem:               132 kB
Slab:             709144 kB
SReclaimable:     150708 kB
SUnreclaim:       558436 kB
KernelStack:        1640 kB
PageTables:         5420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1574260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    514048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70980 MiB
End job on node135 at 2012-06-03 22:23:38