Trace number 3454034

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)-25 1800.26 920.533

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 benchmark1797.13
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.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		9996466904
0.06/0.09	c Max memory 		10048897024
0.06/0.09	c Total memory 		10048897024
0.06/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3454034-1307195411.opb
0.10/0.11	c reading problem ... 
1.29/0.60	c ... done. Wall clock time 0.489s.
1.29/0.60	c #vars     6620
1.29/0.60	c #constraints  13042
1.29/0.60	c constraints type 
1.29/0.60	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6220
1.29/0.60	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
1.29/0.60	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1.29/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6220
1.29/0.60	c constraints type 
1.29/0.60	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
1.29/0.60	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6220
1.29/0.60	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
1.29/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6220
2.47/0.94	c  And the winner is CuttingPlanes
2.73/1.11	c SATISFIABLE
2.73/1.11	c OPTIMIZING...
2.73/1.11	c Got one! Elapsed wall clock time (in seconds):0.999
2.73/1.11	o -3
2.74/1.17	c  And the winner is CuttingPlanes
2.88/1.62	c Got one! Elapsed wall clock time (in seconds):1.508
2.88/1.62	o -5
3.13/1.70	c  And the winner is CuttingPlanes
3.18/2.13	c Got one! Elapsed wall clock time (in seconds):2.012
3.18/2.13	o -6
3.18/2.19	c  And the winner is CuttingPlanes
3.35/2.63	c Got one! Elapsed wall clock time (in seconds):2.516
3.35/2.63	o -7
3.35/2.69	c  And the winner is CuttingPlanes
3.49/3.13	c Got one! Elapsed wall clock time (in seconds):3.02
3.49/3.13	o -8
3.49/3.20	c  And the winner is CuttingPlanes
3.64/3.64	c Got one! Elapsed wall clock time (in seconds):3.524
3.64/3.64	o -9
3.77/3.70	c  And the winner is CuttingPlanes
3.78/4.14	c Got one! Elapsed wall clock time (in seconds):4.028
3.78/4.14	o -10
3.78/4.19	c  And the winner is CuttingPlanes
3.89/4.64	c Got one! Elapsed wall clock time (in seconds):4.532
3.89/4.65	o -11
3.89/4.69	c  And the winner is CuttingPlanes
4.00/5.15	c Got one! Elapsed wall clock time (in seconds):5.036
4.00/5.15	o -12
4.09/5.25	c  And the winner is CuttingPlanes
4.20/5.65	c Got one! Elapsed wall clock time (in seconds):5.539
4.20/5.65	o -13
4.28/5.72	c  And the winner is CuttingPlanes
4.33/6.15	c Got one! Elapsed wall clock time (in seconds):6.042
4.33/6.15	o -14
4.41/6.23	c  And the winner is CuttingPlanes
4.47/6.66	c Got one! Elapsed wall clock time (in seconds):6.544
4.47/6.66	o -15
4.60/6.70	c  And the winner is CuttingPlanes
4.61/7.16	c Got one! Elapsed wall clock time (in seconds):7.047
4.61/7.16	o -16
5.85/7.76	c  And the winner is CuttingPlanes
5.95/8.17	c Got one! Elapsed wall clock time (in seconds):8.053
5.95/8.17	o -18
6.47/8.49	c  And the winner is CuttingPlanes
6.66/8.67	c Got one! Elapsed wall clock time (in seconds):8.556
6.66/8.67	o -19
7.91/9.37	c  And the winner is CuttingPlanes
8.06/9.67	c Got one! Elapsed wall clock time (in seconds):9.561
8.06/9.67	o -20
11.95/11.60	c cleaning 3645 clauses out of 7542 with flag 3000/7542
18.55/14.95	c cleaning 4872 clauses out of 9897 with flag 9000/13542
25.53/18.41	c cleaning 5934 clauses out of 12025 with flag 16000/20542
30.11/20.75	c  And the winner is CuttingPlanes
30.23/21.22	c Got one! Elapsed wall clock time (in seconds):21.106
30.23/21.22	o -21
31.18/21.73	c cleaning 5614 clauses out of 11227 with flag 1000/25678
33.94/23.16	c  And the winner is CuttingPlanes
34.04/23.23	c Got one! Elapsed wall clock time (in seconds):23.114
34.04/23.23	o -22
37.18/24.89	c cleaning 5542 clauses out of 11094 with flag 3000/31159
44.31/28.49	c cleaning 5751 clauses out of 11552 with flag 9000/37159
50.74/31.65	c cleaning 6361 clauses out of 12801 with flag 16000/44159
58.74/35.69	c cleaning 7083 clauses out of 14440 with flag 24000/52159
67.84/40.22	c cleaning 8179 clauses out of 16357 with flag 33000/61159
77.97/45.34	c cleaning 9075 clauses out of 18178 with flag 43000/71159
89.89/51.39	c cleaning 9993 clauses out of 20103 with flag 54000/82159
102.82/57.86	c  And the winner is CuttingPlanes
102.95/58.01	c Got one! Elapsed wall clock time (in seconds):57.898
102.95/58.01	o -23
108.31/60.73	c cleaning 13121 clauses out of 26242 with flag 5000/98291
113.00/63.12	c cleaning 9561 clauses out of 19121 with flag 11000/104291
118.75/66.03	c cleaning 8249 clauses out of 16560 with flag 18000/111291
127.47/70.49	c cleaning 8030 clauses out of 16311 with flag 26000/119291
133.77/73.65	c  And the winner is CuttingPlanes
133.87/74.15	c Got one! Elapsed wall clock time (in seconds):74.035
133.87/74.15	o -24
139.16/76.91	c cleaning 9435 clauses out of 19037 with flag 5000/130047
145.24/79.98	c cleaning 7712 clauses out of 15602 with flag 11000/136047
151.55/83.11	c cleaning 7379 clauses out of 14890 with flag 18000/143047
161.47/88.14	c cleaning 7681 clauses out of 15511 with flag 26000/151047
169.58/92.29	c cleaning 8384 clauses out of 16830 with flag 35000/160047
180.69/97.85	c cleaning 9159 clauses out of 18446 with flag 45000/170047
189.39/102.23	c cleaning 9980 clauses out of 20287 with flag 56000/181047
201.68/108.44	c cleaning 11056 clauses out of 22307 with flag 68000/193047
213.18/114.25	c cleaning 12126 clauses out of 24251 with flag 81000/206047
225.82/120.68	c cleaning 13020 clauses out of 26125 with flag 95000/220047
243.49/129.55	c cleaning 13526 clauses out of 27105 with flag 109000/234047
261.96/138.83	c cleaning 13624 clauses out of 27579 with flag 123000/248047
277.03/146.43	c cleaning 13848 clauses out of 27955 with flag 137000/262047
295.66/155.87	c cleaning 13922 clauses out of 28107 with flag 151000/276047
313.76/164.94	c cleaning 13979 clauses out of 28185 with flag 165000/290047
329.81/173.01	c cleaning 13990 clauses out of 28206 with flag 179000/304047
347.87/182.16	c cleaning 13981 clauses out of 28216 with flag 193000/318047
365.87/191.24	c cleaning 13961 clauses out of 28235 with flag 207000/332047
384.33/200.51	c cleaning 14033 clauses out of 28274 with flag 221000/346047
402.99/209.98	c cleaning 14097 clauses out of 28241 with flag 235000/360047
422.63/219.80	c cleaning 13946 clauses out of 28144 with flag 249000/374047
441.20/229.23	c cleaning 14048 clauses out of 28198 with flag 263000/388047
462.06/239.80	c cleaning 13910 clauses out of 28150 with flag 277000/402047
484.11/250.85	c cleaning 13997 clauses out of 28240 with flag 291000/416047
503.10/260.40	c cleaning 14033 clauses out of 28243 with flag 305000/430047
520.65/269.32	c cleaning 13971 clauses out of 28210 with flag 319000/444047
537.49/277.82	c cleaning 14014 clauses out of 28239 with flag 333000/458047
552.33/285.35	c cleaning 14015 clauses out of 28225 with flag 347000/472047
571.36/294.93	c cleaning 13969 clauses out of 28210 with flag 361000/486047
589.29/304.00	c cleaning 14043 clauses out of 28241 with flag 375000/500047
605.11/312.03	c cleaning 14033 clauses out of 28198 with flag 389000/514047
623.35/321.22	c cleaning 13909 clauses out of 28165 with flag 403000/528047
642.97/331.12	c cleaning 14032 clauses out of 28256 with flag 417000/542047
662.86/341.26	c cleaning 14014 clauses out of 28224 with flag 431000/556047
683.29/351.53	c cleaning 14011 clauses out of 28210 with flag 445000/570047
696.30/358.19	c cleaning 0 clauses out of 7600 with flag 0/7600
701.73/360.98	c cleaning 14027 clauses out of 28199 with flag 459000/584047
719.05/369.76	c cleaning 14000 clauses out of 28172 with flag 473000/598047
735.65/378.14	c cleaning 13989 clauses out of 28172 with flag 487000/612047
751.05/385.94	c cleaning 14038 clauses out of 28183 with flag 501000/626047
765.86/393.43	c cleaning 13990 clauses out of 28145 with flag 515000/640047
781.17/401.21	c cleaning 13939 clauses out of 28155 with flag 529000/654047
796.57/409.09	c cleaning 14056 clauses out of 28216 with flag 543000/668047
810.97/416.40	c cleaning 14004 clauses out of 28160 with flag 557000/682047
825.20/423.55	c cleaning 14016 clauses out of 28156 with flag 571000/696047
838.47/430.39	c cleaning 14006 clauses out of 28140 with flag 585000/710047
854.26/438.34	c cleaning 13960 clauses out of 28134 with flag 599000/724047
871.65/447.10	c cleaning 14026 clauses out of 28174 with flag 613000/738047
888.08/455.45	c cleaning 13963 clauses out of 28148 with flag 627000/752047
904.33/463.77	c cleaning 14045 clauses out of 28185 with flag 641000/766047
920.55/471.95	c cleaning 13950 clauses out of 28140 with flag 655000/780047
936.10/479.86	c cleaning 13999 clauses out of 28190 with flag 669000/794047
952.91/488.33	c cleaning 13958 clauses out of 28191 with flag 683000/808047
969.76/496.97	c cleaning 13983 clauses out of 28233 with flag 697000/822047
987.16/505.75	c cleaning 14072 clauses out of 28250 with flag 711000/836047
1002.97/513.72	c cleaning 14018 clauses out of 28178 with flag 725000/850047
1018.91/521.89	c cleaning 13981 clauses out of 28160 with flag 739000/864047
1033.98/529.54	c cleaning 14017 clauses out of 28179 with flag 753000/878047
1049.15/537.20	c cleaning 14043 clauses out of 28162 with flag 767000/892047
1063.91/544.72	c cleaning 13961 clauses out of 28119 with flag 781000/906047
1079.07/552.47	c cleaning 13945 clauses out of 28158 with flag 795000/920047
1093.55/559.86	c cleaning 14032 clauses out of 28213 with flag 809000/934047
1108.29/567.33	c cleaning 14031 clauses out of 28181 with flag 823000/948047
1122.45/574.59	c cleaning 14037 clauses out of 28150 with flag 837000/962047
1136.40/581.67	c cleaning 14017 clauses out of 28113 with flag 851000/976047
1150.25/588.77	c cleaning 13971 clauses out of 28097 with flag 865001/990048
1163.21/595.38	c cleaning 14012 clauses out of 28125 with flag 879000/1004047
1176.56/602.18	c cleaning 13928 clauses out of 28113 with flag 893000/1018047
1191.91/609.97	c cleaning 14014 clauses out of 28185 with flag 907000/1032047
1206.54/617.45	c cleaning 14020 clauses out of 28171 with flag 921000/1046047
1222.89/625.80	c cleaning 14000 clauses out of 28151 with flag 935000/1060047
1238.27/633.57	c cleaning 14007 clauses out of 28151 with flag 949000/1074047
1252.59/640.81	c cleaning 14010 clauses out of 28144 with flag 963000/1088047
1266.02/647.71	c cleaning 13922 clauses out of 28134 with flag 977000/1102047
1279.40/654.53	c cleaning 14064 clauses out of 28212 with flag 991000/1116047
1292.71/661.34	c cleaning 14043 clauses out of 28148 with flag 1005000/1130047
1305.85/668.06	c cleaning 13891 clauses out of 28105 with flag 1019000/1144047
1320.09/675.32	c cleaning 14042 clauses out of 28214 with flag 1033000/1158047
1333.80/682.39	c cleaning 14036 clauses out of 28172 with flag 1047000/1172047
1347.33/689.26	c cleaning 13992 clauses out of 28136 with flag 1061000/1186047
1360.86/696.19	c cleaning 13970 clauses out of 28144 with flag 1075000/1200047
1375.68/703.77	c  And the winner is CuttingPlanes
1375.83/704.14	c Got one! Elapsed wall clock time (in seconds):704.024
1375.83/704.14	o -25
1381.14/706.84	c cleaning 16444 clauses out of 32887 with flag 5000/1218760
1386.10/709.43	c cleaning 11098 clauses out of 22443 with flag 11000/1224760
1392.43/712.76	c cleaning 9085 clauses out of 18345 with flag 18000/1231760
1401.53/717.48	c cleaning 8492 clauses out of 17260 with flag 26000/1239760
1410.12/721.94	c cleaning 8855 clauses out of 17768 with flag 35000/1248760
1420.27/727.14	c cleaning 9344 clauses out of 18913 with flag 45000/1258760
1432.14/733.22	c cleaning 10176 clauses out of 20569 with flag 56000/1269760
1444.65/739.65	c cleaning 11050 clauses out of 22393 with flag 68000/1281760
1460.03/747.52	c cleaning 12095 clauses out of 24343 with flag 81000/1294760
1474.54/754.95	c cleaning 13118 clauses out of 26248 with flag 95000/1308760
1490.06/762.87	c cleaning 13449 clauses out of 27130 with flag 109000/1322760
1506.41/771.13	c cleaning 13808 clauses out of 27681 with flag 123000/1336760
1522.55/779.46	c cleaning 13925 clauses out of 27873 with flag 137000/1350760
1540.06/788.30	c cleaning 13880 clauses out of 27948 with flag 151000/1364760
1556.03/796.48	c cleaning 14006 clauses out of 28068 with flag 165000/1378760
1575.11/806.18	c cleaning 13888 clauses out of 28062 with flag 179000/1392760
1594.72/816.19	c cleaning 14033 clauses out of 28174 with flag 193000/1406760
1612.82/825.39	c cleaning 13993 clauses out of 28141 with flag 207000/1420760
1633.32/835.73	c cleaning 13974 clauses out of 28148 with flag 221000/1434760
1654.82/846.67	c cleaning 14006 clauses out of 28174 with flag 235000/1448760
1677.01/857.93	c cleaning 13995 clauses out of 28168 with flag 249000/1462760
1699.10/869.14	c cleaning 14054 clauses out of 28173 with flag 263000/1476760
1720.64/880.06	c cleaning 13926 clauses out of 28119 with flag 277000/1490760
1742.91/891.31	c cleaning 14040 clauses out of 28193 with flag 291000/1504760
1765.90/903.02	c cleaning 13923 clauses out of 28153 with flag 305000/1518760
1789.58/915.01	c cleaning 13989 clauses out of 28230 with flag 319000/1532760
1800.09/920.42	c starts		: 55
1800.09/920.42	c conflicts		: 11566
1800.09/920.42	c decisions		: 180044
1800.09/920.42	c propagations		: 5334310
1800.09/920.42	c inspects		: 618802094
1800.09/920.42	c shortcuts		: 0
1800.09/920.42	c learnt literals	: 0
1800.09/920.42	c learnt binary clauses	: 0
1800.09/920.42	c learnt ternary clauses	: 0
1800.09/920.42	c learnt constraints	: 11566
1800.09/920.42	c ignored constraints	: 0
1800.09/920.42	c root simplifications	: 0
1800.09/920.42	c removed literals (reason simplification)	: 0
1800.09/920.42	c reason swapping (by a shorter reason)	: 0
1800.09/920.42	c Calls to reduceDB	: 1
1800.09/920.42	c number of reductions to clauses (during analyze)	: 0
1800.09/920.42	c number of learned constraints concerned by reduction	: 0
1800.09/920.42	c number of learning phase by resolution	: 0
1800.09/920.42	c number of learning phase by cutting planes	: 0
1800.09/920.42	c speed (assignments/second)	: 24663.451757873907
1800.09/920.42	c non guided choices	53
1800.09/920.43	c learnt constraints type 
1800.09/920.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3
1800.09/920.43	c org.sat4j.pb.constraints.pb.MaxWatchPb => 11563
1800.09/920.43	c constraints type 
1800.09/920.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6220
1800.09/920.43	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.09/920.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.09/920.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6220
1800.09/920.43	c constraints type 
1800.09/920.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
1800.09/920.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6220
1800.09/920.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 403
1800.09/920.43	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6220
1800.09/920.43	s SATISFIABLE
1800.09/920.43	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.09/920.43	c objective function=-25
1800.09/920.43	c Total wall clock time (in seconds): 920.318

Verifier Data 

OK	-25

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-3454034-1307195411/watcher-3454034-1307195411 -o /tmp/evaluation-result-3454034-1307195411/solver-3454034-1307195411 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454034-1307195411.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: 1.62 1.95 2.72 4/456 19913
/proc/meminfo: memFree=26250732/32951124 swapFree=60688864/67111528
[pid=19911] ppid=19908 vsize=36924 CPUtime=0 cores=0,2,4,6
/proc/19911/stat : 19911 (java) S 19908 19911 14960 0 -1 4202496 1369 0 1 0 0 0 0 0 17 0 2 0 831139275 37810176 1073 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/19911/statm: 9232 1075 834 9 0 388 0
[pid=19911/tid=19915] ppid=19908 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19915/stat : 19915 (java) R 19908 19911 14960 0 -1 4202560 3529 0 1 0 0 0 0 0 18 0 2 0 831139276 10694979584 4345 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0759241 s]
/proc/loadavg: 1.62 1.95 2.72 4/456 19913
/proc/meminfo: memFree=26250732/32951124 swapFree=60688864/67111528
[pid=19911] ppid=19908 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/19911/stat : 19911 (java) S 19908 19911 14960 0 -1 4202496 11875 0 1 0 4 2 0 0 17 0 18 0 831139275 10724442112 11573 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19911/statm: 2618272 11573 1754 9 0 2609006 0
[pid=19911/tid=19915] ppid=19908 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/19911/task/19915/stat : 19915 (java) R 19908 19911 14960 0 -1 4202560 10702 0 1 0 4 2 0 0 25 0 18 0 831139276 10724442112 11573 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347719115 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088

[startup+0.100912 s]
/proc/loadavg: 1.62 1.95 2.72 4/456 19913
/proc/meminfo: memFree=26250732/32951124 swapFree=60688864/67111528
[pid=19911] ppid=19908 vsize=10539936 CPUtime=0.1 cores=0,2,4,6
/proc/19911/stat : 19911 (java) S 19908 19911 14960 0 -1 4202496 12997 0 1 0 8 2 0 0 17 0 18 0 831139275 10792894464 12689 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19911/statm: 2634984 12689 2092 9 0 2625718 0
[pid=19911/tid=19915] ppid=19908 vsize=10539936 CPUtime=0.08 cores=0,2,4,6
/proc/19911/task/19915/stat : 19915 (java) R 19908 19911 14960 0 -1 4202560 11082 0 1 0 6 2 0 0 18 0 18 0 831139276 10792894464 12689 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 47109168498707 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539936

[startup+0.30087 s]
/proc/loadavg: 1.62 1.95 2.72 4/456 19913
/proc/meminfo: memFree=26250732/32951124 swapFree=60688864/67111528
[pid=19911] ppid=19908 vsize=10541672 CPUtime=0.48 cores=0,2,4,6
/proc/19911/stat : 19911 (java) S 19908 19911 14960 0 -1 4202496 15900 0 1 0 45 3 0 0 17 0 18 0 831139275 10794672128 15195 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19911/statm: 2635418 15195 2207 9 0 2626152 0
[pid=19911/tid=19915] ppid=19908 vsize=10541672 CPUtime=0.28 cores=0,2,4,6
/proc/19911/task/19915/stat : 19915 (java) R 19908 19911 14960 0 -1 4202560 12890 0 1 0 26 2 0 0 18 0 18 0 831139276 10794672128 15196 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 46912505556828 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541672

[startup+0.700731 s]
/proc/loadavg: 1.62 1.95 2.72 4/456 19913
/proc/meminfo: memFree=26250732/32951124 swapFree=60688864/67111528
[pid=19911] ppid=19908 vsize=10556108 CPUtime=1.68 cores=0,2,4,6
/proc/19911/stat : 19911 (java) S 19908 19911 14960 0 -1 4202496 33206 0 1 0 164 4 0 0 17 0 22 0 831139275 10809454592 29705 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19911/statm: 2639027 29705 2241 9 0 2629761 0
[pid=19911/tid=19915] ppid=19908 vsize=10556108 CPUtime=0.59 cores=0,2,4,6
/proc/19911/task/19915/stat : 19915 (java) S 19908 19911 14960 0 -1 4202560 22646 0 1 0 56 3 0 0 19 0 22 0 831139276 10809454592 29705 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 10556108

[startup+1.50066 s]
/proc/loadavg: 1.62 1.95 2.72 3/495 19957
/proc/meminfo: memFree=25979076/32951124 swapFree=60688864/67111528
[pid=19911] ppid=19908 vsize=10556108 CPUtime=2.88 cores=0,2,4,6
/proc/19911/stat : 19911 (java) S 19908 19911 14960 0 -1 4202496 45667 0 1 0 281 7 0 0 17 0 19 0 831139275 10809454592 38912 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19911/statm: 2639027 38912 2245 9 0 2629761 0
[pid=19911/tid=19915] ppid=19908 vsize=10556108 CPUtime=0.59 cores=0,2,4,6
/proc/19911/task/19915/stat : 19915 (java) S 19908 19911 14960 0 -1 4202560 22681 0 1 0 56 3 0 0 16 0 19 0 831139276 10809454592 38912 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 0 0 0 0
[pid=19911/tid=19918] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19918/stat : 19918 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10809454592 38912 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19920] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19920/stat : 19920 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139277 10809454592 38912 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19922] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19922/stat : 19922 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139277 10809454592 38912 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19924] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19924/stat : 19924 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139277 10809454592 38912 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19926] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19926/stat : 19926 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139277 10809454592 38912 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19928] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19928/stat : 19928 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139277 10809454592 38912 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19930] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19930/stat : 19930 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139277 10809454592 38912 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19932] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19932/stat : 19932 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831139277 10809454592 38912 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19934] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19934/stat : 19934 (java) S 19908 19911 14960 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 831139278 10809454592 38912 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 0 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19936] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19936/stat : 19936 (java) S 19908 19911 14960 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 19 0 831139279 10809454592 38912 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19938] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19938/stat : 19938 (java) S 19908 19911 14960 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 831139279 10809454592 38912 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19942] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19942/stat : 19942 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 831139281 10809454592 38912 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347716017 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19943] ppid=19908 vsize=10556108 CPUtime=0.8 cores=0,2,4,6
/proc/19911/task/19943/stat : 19943 (java) S 19908 19911 14960 0 -1 4202560 7458 0 0 0 80 0 0 0 16 0 19 0 831139281 10809454592 38912 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 4 0 0 0
[pid=19911/tid=19946] ppid=19908 vsize=10556108 CPUtime=0.67 cores=0,2,4,6
/proc/19911/task/19946/stat : 19946 (java) S 19908 19911 14960 0 -1 4202560 4692 0 0 0 67 0 0 0 16 0 19 0 831139281 10809454592 38912 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 0 0 0 0
[pid=19911/tid=19947] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19947/stat : 19947 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831139281 10809454592 38912 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19949] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19949/stat : 19949 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831139281 10809454592 38912 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19957] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19957/stat : 19957 (java) S 19908 19911 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 831139337 10809454592 38912 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 10556108

[startup+3.10147 s]
/proc/loadavg: 1.62 1.95 2.72 2/495 19969
/proc/meminfo: memFree=25906412/32951124 swapFree=60688864/67111528
[pid=19911] ppid=19908 vsize=10556108 CPUtime=3.49 cores=0,2,4,6
/proc/19911/stat : 19911 (java) S 19908 19911 14960 0 -1 4202496 61175 0 1 0 341 8 0 0 17 0 19 0 831139275 10809454592 53634 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19911/statm: 2639027 53634 2246 9 0 2629761 0
[pid=19911/tid=19915] ppid=19908 vsize=10556108 CPUtime=0.6 cores=0,2,4,6
/proc/19911/task/19915/stat : 19915 (java) S 19908 19911 14960 0 -1 4202560 22767 0 1 0 57 3 0 0 16 0 19 0 831139276 10809454592 53634 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19918] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19918/stat : 19918 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10809454592 53634 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19920] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19920/stat : 19920 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139277 10809454592 53634 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19922] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19922/stat : 19922 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139277 10809454592 53634 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19924] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19924/stat : 19924 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139277 10809454592 53634 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19926] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19926/stat : 19926 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139277 10809454592 53634 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19928] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19928/stat : 19928 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139277 10809454592 53634 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19930] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19930/stat : 19930 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139277 10809454592 53634 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19932] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19932/stat : 19932 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831139277 10809454592 53634 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19934] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19934/stat : 19934 (java) S 19908 19911 14960 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831139278 10809454592 53634 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 0 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19936] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19936/stat : 19936 (java) S 19908 19911 14960 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 19 0 831139279 10809454592 53634 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19938] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19938/stat : 19938 (java) S 19908 19911 14960 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 831139279 10809454592 53634 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19942] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19942/stat : 19942 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 831139281 10809454592 53634 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347716017 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19943] ppid=19908 vsize=10556108 CPUtime=0.92 cores=0,2,4,6
/proc/19911/task/19943/stat : 19943 (java) S 19908 19911 14960 0 -1 4202560 8261 0 0 0 91 1 0 0 15 0 19 0 831139281 10809454592 53634 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 4 0 0 0
[pid=19911/tid=19946] ppid=19908 vsize=10556108 CPUtime=0.73 cores=0,2,4,6
/proc/19911/task/19946/stat : 19946 (java) S 19908 19911 14960 0 -1 4202560 4695 0 0 0 73 0 0 0 15 0 19 0 831139281 10809454592 53634 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19947] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19947/stat : 19947 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831139281 10809454592 53634 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19949] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19949/stat : 19949 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831139281 10809454592 53634 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19957] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19957/stat : 19957 (java) S 19908 19911 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 831139337 10809454592 53634 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 10556108

[startup+6.30082 s]
/proc/loadavg: 1.89 2.00 2.73 2/495 20011
/proc/meminfo: memFree=25628548/32951124 swapFree=60688864/67111528
[pid=19911] ppid=19908 vsize=10556108 CPUtime=4.47 cores=0,2,4,6
/proc/19911/stat : 19911 (java) S 19908 19911 14960 0 -1 4202496 95877 0 1 0 435 12 0 0 17 0 19 0 831139275 10809454592 88185 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19911/statm: 2639027 88185 2247 9 0 2629761 0
[pid=19911/tid=19915] ppid=19908 vsize=10556108 CPUtime=0.61 cores=0,2,4,6
/proc/19911/task/19915/stat : 19915 (java) S 19908 19911 14960 0 -1 4202560 22968 0 1 0 58 3 0 0 16 0 19 0 831139276 10809454592 88185 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19918] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19918/stat : 19918 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10809454592 88185 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19920] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19920/stat : 19920 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139277 10809454592 88185 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19922] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19922/stat : 19922 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139277 10809454592 88185 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19924] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19924/stat : 19924 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139277 10809454592 88185 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19926] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19926/stat : 19926 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139277 10809454592 88185 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19928] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19928/stat : 19928 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139277 10809454592 88185 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19930] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19930/stat : 19930 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139277 10809454592 88185 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19932] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19932/stat : 19932 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831139277 10809454592 88185 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19934] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19934/stat : 19934 (java) S 19908 19911 14960 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831139278 10809454592 88185 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 0 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19936] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19936/stat : 19936 (java) S 19908 19911 14960 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 19 0 831139279 10809454592 88185 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19938] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19938/stat : 19938 (java) S 19908 19911 14960 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 831139279 10809454592 88185 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19942] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19942/stat : 19942 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 831139281 10809454592 88185 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347716017 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19943] ppid=19908 vsize=10556108 CPUtime=0.96 cores=0,2,4,6
/proc/19911/task/19943/stat : 19943 (java) S 19908 19911 14960 0 -1 4202560 8265 0 0 0 95 1 0 0 15 0 19 0 831139281 10809454592 88185 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 4 0 0 0
[pid=19911/tid=19946] ppid=19908 vsize=10556108 CPUtime=0.74 cores=0,2,4,6
/proc/19911/task/19946/stat : 19946 (java) S 19908 19911 14960 0 -1 4202560 4695 0 0 0 74 0 0 0 15 0 19 0 831139281 10809454592 88185 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0

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

[startup+822.301 s]
/proc/loadavg: 3.87 3.79 3.41 6/501 20108
/proc/meminfo: memFree=21300196/32951124 swapFree=60688864/67111528
[pid=19911] ppid=19908 vsize=10556108 CPUtime=1606.82 cores=0,2,4,6
/proc/19911/stat : 19911 (java) S 19908 19911 14960 0 -1 4202496 623296 0 1 0 160602 80 0 0 17 0 22 0 831139275 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19911/statm: 2639027 615250 2272 9 0 2629761 0
[pid=19911/tid=19915] ppid=19908 vsize=10556108 CPUtime=0.61 cores=0,2,4,6
/proc/19911/task/19915/stat : 19915 (java) S 19908 19911 14960 0 -1 4202560 23147 0 1 0 58 3 0 0 15 0 22 0 831139276 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 0 0 0 0
[pid=19911/tid=19918] ppid=19908 vsize=10556108 CPUtime=0.4 cores=0,2,4,6
/proc/19911/task/19918/stat : 19918 (java) S 19908 19911 14960 0 -1 4202560 1326 0 0 0 40 0 0 0 16 0 22 0 831139277 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 0 0 0 0
[pid=19911/tid=19920] ppid=19908 vsize=10556108 CPUtime=0.34 cores=0,2,4,6
/proc/19911/task/19920/stat : 19920 (java) S 19908 19911 14960 0 -1 4202560 688 0 0 0 34 0 0 0 16 0 22 0 831139277 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 0 0 0 0
[pid=19911/tid=19922] ppid=19908 vsize=10556108 CPUtime=0.36 cores=0,2,4,6
/proc/19911/task/19922/stat : 19922 (java) S 19908 19911 14960 0 -1 4202560 312 0 0 0 36 0 0 0 15 0 22 0 831139277 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19924] ppid=19908 vsize=10556108 CPUtime=0.32 cores=0,2,4,6
/proc/19911/task/19924/stat : 19924 (java) S 19908 19911 14960 0 -1 4202560 712 0 0 0 32 0 0 0 16 0 22 0 831139277 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19926] ppid=19908 vsize=10556108 CPUtime=0.33 cores=0,2,4,6
/proc/19911/task/19926/stat : 19926 (java) S 19908 19911 14960 0 -1 4202560 804 0 0 0 33 0 0 0 16 0 22 0 831139277 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19928] ppid=19908 vsize=10556108 CPUtime=0.38 cores=0,2,4,6
/proc/19911/task/19928/stat : 19928 (java) S 19908 19911 14960 0 -1 4202560 1031 0 0 0 38 0 0 0 15 0 22 0 831139277 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 0 0 0 0
[pid=19911/tid=19930] ppid=19908 vsize=10556108 CPUtime=0.3 cores=0,2,4,6
/proc/19911/task/19930/stat : 19930 (java) S 19908 19911 14960 0 -1 4202560 1256 0 0 0 30 0 0 0 15 0 22 0 831139277 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19932] ppid=19908 vsize=10556108 CPUtime=0.42 cores=0,2,4,6
/proc/19911/task/19932/stat : 19932 (java) S 19908 19911 14960 0 -1 4202560 617 0 0 0 42 0 0 0 16 0 22 0 831139277 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 4 0 0 0
[pid=19911/tid=19934] ppid=19908 vsize=10556108 CPUtime=24.8 cores=0,2,4,6
/proc/19911/task/19934/stat : 19934 (java) S 19908 19911 14960 0 -1 4202560 40494 0 0 0 2476 4 0 0 15 0 22 0 831139278 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 0 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19936] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19936/stat : 19936 (java) S 19908 19911 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831139279 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19938] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19938/stat : 19938 (java) S 19908 19911 14960 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 22 0 831139279 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19942] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19942/stat : 19942 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 831139281 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347716017 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19943] ppid=19908 vsize=10556108 CPUtime=1.28 cores=0,2,4,6
/proc/19911/task/19943/stat : 19943 (java) S 19908 19911 14960 0 -1 4202560 8390 0 0 0 127 1 0 0 15 0 22 0 831139281 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19946] ppid=19908 vsize=10556108 CPUtime=1.2 cores=0,2,4,6
/proc/19911/task/19946/stat : 19946 (java) S 19908 19911 14960 0 -1 4202560 4749 0 0 0 120 0 0 0 16 0 22 0 831139281 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 4 0 0 0
[pid=19911/tid=19947] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19947/stat : 19947 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831139281 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19949] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19949/stat : 19949 (java) S 19908 19911 14960 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 831139281 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 0 0 0 0
[pid=19911/tid=19957] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19957/stat : 19957 (java) S 19908 19911 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831139337 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=20103] ppid=19908 vsize=10556108 CPUtime=112.44 cores=0,2,4,6
/proc/19911/task/20103/stat : 20103 (java) R 19908 19911 14960 0 -1 4202560 17 0 0 0 11244 0 0 0 25 0 22 0 831209689 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 46912506028544 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19911/tid=20104] ppid=19908 vsize=10556108 CPUtime=112.44 cores=0,2,4,6
/proc/19911/task/20104/stat : 20104 (java) R 19908 19911 14960 0 -1 4202560 0 0 0 0 11244 0 0 0 25 0 22 0 831209689 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 46912505981598 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19911/tid=20105] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/20105/stat : 20105 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831209689 10809454592 615250 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1606.82
Current children cumulated vsize (KiB) 10556108

[startup+882.301 s]
/proc/loadavg: 3.94 3.83 3.45 6/501 20113
/proc/meminfo: memFree=21289708/32951124 swapFree=60688864/67111528
[pid=19911] ppid=19908 vsize=10556108 CPUtime=1724.91 cores=0,2,4,6
/proc/19911/stat : 19911 (java) S 19908 19911 14960 0 -1 4202496 624206 0 1 0 172410 81 0 0 17 0 22 0 831139275 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19911/statm: 2639027 616146 2272 9 0 2629761 0
[pid=19911/tid=19915] ppid=19908 vsize=10556108 CPUtime=0.61 cores=0,2,4,6
/proc/19911/task/19915/stat : 19915 (java) S 19908 19911 14960 0 -1 4202560 23147 0 1 0 58 3 0 0 15 0 22 0 831139276 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 0 0 0 0
[pid=19911/tid=19918] ppid=19908 vsize=10556108 CPUtime=0.41 cores=0,2,4,6
/proc/19911/task/19918/stat : 19918 (java) S 19908 19911 14960 0 -1 4202560 1330 0 0 0 41 0 0 0 15 0 22 0 831139277 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 0 0 0 0
[pid=19911/tid=19920] ppid=19908 vsize=10556108 CPUtime=0.36 cores=0,2,4,6
/proc/19911/task/19920/stat : 19920 (java) S 19908 19911 14960 0 -1 4202560 688 0 0 0 36 0 0 0 15 0 22 0 831139277 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 0 0 0 0
[pid=19911/tid=19922] ppid=19908 vsize=10556108 CPUtime=0.4 cores=0,2,4,6
/proc/19911/task/19922/stat : 19922 (java) S 19908 19911 14960 0 -1 4202560 312 0 0 0 40 0 0 0 16 0 22 0 831139277 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19924] ppid=19908 vsize=10556108 CPUtime=0.35 cores=0,2,4,6
/proc/19911/task/19924/stat : 19924 (java) S 19908 19911 14960 0 -1 4202560 716 0 0 0 35 0 0 0 16 0 22 0 831139277 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19926] ppid=19908 vsize=10556108 CPUtime=0.35 cores=0,2,4,6
/proc/19911/task/19926/stat : 19926 (java) S 19908 19911 14960 0 -1 4202560 804 0 0 0 35 0 0 0 15 0 22 0 831139277 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19928] ppid=19908 vsize=10556108 CPUtime=0.41 cores=0,2,4,6
/proc/19911/task/19928/stat : 19928 (java) S 19908 19911 14960 0 -1 4202560 1034 0 0 0 41 0 0 0 16 0 22 0 831139277 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 0 0 0 0
[pid=19911/tid=19930] ppid=19908 vsize=10556108 CPUtime=0.31 cores=0,2,4,6
/proc/19911/task/19930/stat : 19930 (java) S 19908 19911 14960 0 -1 4202560 1256 0 0 0 31 0 0 0 15 0 22 0 831139277 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19932] ppid=19908 vsize=10556108 CPUtime=0.46 cores=0,2,4,6
/proc/19911/task/19932/stat : 19932 (java) S 19908 19911 14960 0 -1 4202560 617 0 0 0 46 0 0 0 15 0 22 0 831139277 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 4 0 0 0
[pid=19911/tid=19934] ppid=19908 vsize=10556108 CPUtime=26.78 cores=0,2,4,6
/proc/19911/task/19934/stat : 19934 (java) S 19908 19911 14960 0 -1 4202560 41383 0 0 0 2674 4 0 0 15 0 22 0 831139278 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 0 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19936] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19936/stat : 19936 (java) S 19908 19911 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831139279 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19938] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19938/stat : 19938 (java) S 19908 19911 14960 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 22 0 831139279 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19942] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19942/stat : 19942 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 831139281 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347716017 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19943] ppid=19908 vsize=10556108 CPUtime=1.28 cores=0,2,4,6
/proc/19911/task/19943/stat : 19943 (java) S 19908 19911 14960 0 -1 4202560 8390 0 0 0 127 1 0 0 15 0 22 0 831139281 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19946] ppid=19908 vsize=10556108 CPUtime=1.2 cores=0,2,4,6
/proc/19911/task/19946/stat : 19946 (java) S 19908 19911 14960 0 -1 4202560 4749 0 0 0 120 0 0 0 16 0 22 0 831139281 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 4 0 0 0
[pid=19911/tid=19947] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19947/stat : 19947 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831139281 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19949] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19949/stat : 19949 (java) S 19908 19911 14960 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831139281 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 0 0 0 0
[pid=19911/tid=19957] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19957/stat : 19957 (java) S 19908 19911 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831139337 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=20103] ppid=19908 vsize=10556108 CPUtime=170.39 cores=0,2,4,6
/proc/19911/task/20103/stat : 20103 (java) R 19908 19911 14960 0 -1 4202560 23 0 0 0 17039 0 0 0 25 0 22 0 831209689 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 46912505656205 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19911/tid=20104] ppid=19908 vsize=10556108 CPUtime=170.39 cores=0,2,4,6
/proc/19911/task/20104/stat : 20104 (java) R 19908 19911 14960 0 -1 4202560 0 0 0 0 17039 0 0 0 25 0 22 0 831209689 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 46912505981675 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19911/tid=20105] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/20105/stat : 20105 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831209689 10809454592 616146 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.91
Current children cumulated vsize (KiB) 10556108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+920.401 s]
/proc/loadavg: 3.94 3.85 3.47 5/501 20114
/proc/meminfo: memFree=21186348/32951124 swapFree=60688864/67111528
[pid=19911] ppid=19908 vsize=10556108 CPUtime=1800.09 cores=0,2,4,6
/proc/19911/stat : 19911 (java) S 19908 19911 14960 0 -1 4202496 649355 0 1 0 179926 83 0 0 17 0 22 0 831139275 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19911/statm: 2639027 641288 2272 9 0 2629761 0
[pid=19911/tid=19915] ppid=19908 vsize=10556108 CPUtime=0.61 cores=0,2,4,6
/proc/19911/task/19915/stat : 19915 (java) S 19908 19911 14960 0 -1 4202560 23148 0 1 0 58 3 0 0 15 0 22 0 831139276 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 0 0 0 0
[pid=19911/tid=19918] ppid=19908 vsize=10556108 CPUtime=0.45 cores=0,2,4,6
/proc/19911/task/19918/stat : 19918 (java) S 19908 19911 14960 0 -1 4202560 1330 0 0 0 45 0 0 0 16 0 22 0 831139277 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 0 0 0 0
[pid=19911/tid=19920] ppid=19908 vsize=10556108 CPUtime=0.37 cores=0,2,4,6
/proc/19911/task/19920/stat : 19920 (java) S 19908 19911 14960 0 -1 4202560 689 0 0 0 37 0 0 0 16 0 22 0 831139277 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 4 0 0 0
[pid=19911/tid=19922] ppid=19908 vsize=10556108 CPUtime=0.42 cores=0,2,4,6
/proc/19911/task/19922/stat : 19922 (java) S 19908 19911 14960 0 -1 4202560 314 0 0 0 42 0 0 0 16 0 22 0 831139277 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19924] ppid=19908 vsize=10556108 CPUtime=0.38 cores=0,2,4,6
/proc/19911/task/19924/stat : 19924 (java) S 19908 19911 14960 0 -1 4202560 716 0 0 0 38 0 0 0 15 0 22 0 831139277 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19926] ppid=19908 vsize=10556108 CPUtime=0.35 cores=0,2,4,6
/proc/19911/task/19926/stat : 19926 (java) S 19908 19911 14960 0 -1 4202560 804 0 0 0 35 0 0 0 15 0 22 0 831139277 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 0 0 0 0
[pid=19911/tid=19928] ppid=19908 vsize=10556108 CPUtime=0.41 cores=0,2,4,6
/proc/19911/task/19928/stat : 19928 (java) S 19908 19911 14960 0 -1 4202560 1034 0 0 0 41 0 0 0 15 0 22 0 831139277 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 0 0 0 0
[pid=19911/tid=19930] ppid=19908 vsize=10556108 CPUtime=0.33 cores=0,2,4,6
/proc/19911/task/19930/stat : 19930 (java) S 19908 19911 14960 0 -1 4202560 1269 0 0 0 33 0 0 0 15 0 22 0 831139277 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19932] ppid=19908 vsize=10556108 CPUtime=0.47 cores=0,2,4,6
/proc/19911/task/19932/stat : 19932 (java) S 19908 19911 14960 0 -1 4202560 617 0 0 0 47 0 0 0 16 0 22 0 831139277 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 4 0 0 0
[pid=19911/tid=19934] ppid=19908 vsize=10556108 CPUtime=27.87 cores=0,2,4,6
/proc/19911/task/19934/stat : 19934 (java) S 19908 19911 14960 0 -1 4202560 43166 0 0 0 2783 4 0 0 15 0 22 0 831139278 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 0 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19936] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19936/stat : 19936 (java) S 19908 19911 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831139279 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=19938] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19938/stat : 19938 (java) S 19908 19911 14960 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 22 0 831139279 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19942] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19942/stat : 19942 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 831139281 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347716017 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19943] ppid=19908 vsize=10556108 CPUtime=1.28 cores=0,2,4,6
/proc/19911/task/19943/stat : 19943 (java) S 19908 19911 14960 0 -1 4202560 8390 0 0 0 127 1 0 0 15 0 22 0 831139281 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19946] ppid=19908 vsize=10556108 CPUtime=1.2 cores=0,2,4,6
/proc/19911/task/19946/stat : 19946 (java) S 19908 19911 14960 0 -1 4202560 4749 0 0 0 120 0 0 0 16 0 22 0 831139281 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 4 0 0 0
[pid=19911/tid=19947] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19947/stat : 19947 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831139281 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708313 0 4 0 16800975 18446604449460671744 0 0 -1 2 0 0 0
[pid=19911/tid=19949] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19949/stat : 19949 (java) S 19908 19911 14960 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831139281 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 0 0 0 0
[pid=19911/tid=19957] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19957/stat : 19957 (java) S 19908 19911 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831139337 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
[pid=19911/tid=20103] ppid=19908 vsize=10556108 CPUtime=207.39 cores=0,2,4,6
/proc/19911/task/20103/stat : 20103 (java) R 19908 19911 14960 0 -1 4202560 140 0 0 0 20739 0 0 0 25 0 22 0 831209689 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 46912505924371 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19911/tid=20104] ppid=19908 vsize=10556108 CPUtime=207.39 cores=0,2,4,6
/proc/19911/task/20104/stat : 20104 (java) R 19908 19911 14960 0 -1 4202560 23230 0 0 0 20737 2 0 0 25 0 22 0 831209689 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 46912505982347 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19911/tid=20105] ppid=19908 vsize=10556108 CPUtime=0 cores=0,2,4,6
/proc/19911/task/20105/stat : 20105 (java) S 19908 19911 14960 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831209689 10809454592 641288 33554432000 1073741824 1073778376 140734056991040 18446744073709551615 232347708928 0 4 0 16800975 18446604449460671744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10556108

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

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

[startup+920.524 s]
/proc/loadavg: 3.94 3.85 3.47 5/501 20114
/proc/meminfo: memFree=21186348/32951124 swapFree=60688864/67111528
[pid=19911] ppid=19908 vsize=0 CPUtime=1800.24 cores=0,2,4,6
/proc/19911/stat : 19911 (java) Z 19908 19911 14960 0 -1 4203548 649383 0 1 0 179932 92 0 0 15 0 2 0 831139275 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19911/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 920.533
CPU time (s): 1800.26
CPU user time (s): 1799.32
CPU system time (s): 0.935857
CPU usage (%): 195.567
Max. virtual memory (cumulated for all children) (KiB): 10556108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.935857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 649383
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= 25492
involuntary context switches= 21815

runsolver used 4.73028 second user time and 10.3084 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-04 15:50:11
IDJOB=3454034
IDBENCH=48238
IDSOLVER=1950
FILE ID=node132/3454034-1307195411
RUNJOBID= node132-1307195411-19894
PBS_JOBID= 13508840
Free space on /tmp= 73928 MiB

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

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

MD5SUM BENCH= 219f407da86957d900e068170e9af8b6
RANDOM SEED=700727095

node132.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.833
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.66
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.833
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.74
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.833
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.76
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.833
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.75
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.833
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.77
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.833
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.67
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.833
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.82
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.833
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26250896 kB
Buffers:        329736 kB
Cached:        3051176 kB
SwapCached:      15140 kB
Active:        1028764 kB
Inactive:      5409660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26250896 kB
SwapTotal:    67111528 kB
SwapFree:     60688864 kB
Dirty:             836 kB
Writeback:           0 kB
AnonPages:     3050316 kB
Mapped:          18752 kB
Slab:           144468 kB
PageTables:      49896 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 109201072 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73928 MiB
End job on node132 at 2011-06-04 16:05:34