Trace number 3737438

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)-25 1800.12 918.837

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.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3737438-1338722067.opb
0.08/0.12	c reading problem ... 
0.98/0.58	c ... done. Wall clock time 0.464s.
0.98/0.58	c #vars     6620
0.98/0.58	c #constraints  13042
0.98/0.58	c constraints type 
0.98/0.58	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6220
0.98/0.58	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.98/0.58	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.98/0.58	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6220
0.98/0.58	c constraints type 
0.98/0.58	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
0.98/0.58	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6220
0.98/0.58	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
0.98/0.58	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6220
2.49/0.98	c  And the winner is CuttingPlanes
2.85/1.09	c SATISFIABLE
2.85/1.09	c OPTIMIZING...
2.85/1.09	c Got one! Elapsed wall clock time (in seconds):0.971
2.85/1.09	o -3
2.94/1.15	c  And the winner is CuttingPlanes
3.06/1.59	c Got one! Elapsed wall clock time (in seconds):1.476
3.06/1.59	o -5
3.08/1.67	c  And the winner is CuttingPlanes
3.35/2.10	c Got one! Elapsed wall clock time (in seconds):1.978
3.35/2.10	o -6
3.36/2.16	c  And the winner is CuttingPlanes
3.54/2.60	c Got one! Elapsed wall clock time (in seconds):2.479
3.54/2.60	o -7
3.54/2.66	c  And the winner is CuttingPlanes
3.70/3.10	c Got one! Elapsed wall clock time (in seconds):2.981
3.70/3.10	o -8
3.70/3.16	c  And the winner is CuttingPlanes
3.84/3.60	c Got one! Elapsed wall clock time (in seconds):3.482
3.84/3.60	o -9
3.84/3.66	c  And the winner is CuttingPlanes
3.98/4.10	c Got one! Elapsed wall clock time (in seconds):3.983
3.98/4.10	o -10
3.98/4.14	c  And the winner is CuttingPlanes
4.10/4.60	c Got one! Elapsed wall clock time (in seconds):4.484
4.10/4.60	o -11
4.10/4.65	c  And the winner is CuttingPlanes
4.21/5.10	c Got one! Elapsed wall clock time (in seconds):4.986
4.21/5.10	o -12
4.21/5.20	c  And the winner is CuttingPlanes
4.41/5.60	c Got one! Elapsed wall clock time (in seconds):5.487
4.41/5.60	o -13
4.41/5.67	c  And the winner is CuttingPlanes
4.55/6.11	c Got one! Elapsed wall clock time (in seconds):5.988
4.55/6.11	o -14
4.55/6.17	c  And the winner is CuttingPlanes
4.70/6.61	c Got one! Elapsed wall clock time (in seconds):6.489
4.70/6.61	o -15
4.70/6.65	c  And the winner is CuttingPlanes
4.85/7.11	c Got one! Elapsed wall clock time (in seconds):6.99
4.85/7.11	o -16
5.99/7.64	c  And the winner is CuttingPlanes
6.09/8.11	c Got one! Elapsed wall clock time (in seconds):7.991
6.09/8.11	o -18
6.73/8.40	c  And the winner is CuttingPlanes
6.73/8.61	c Got one! Elapsed wall clock time (in seconds):8.493
6.73/8.61	o -19
7.92/9.22	c  And the winner is CuttingPlanes
7.97/9.61	c Got one! Elapsed wall clock time (in seconds):9.494
7.97/9.61	o -20
11.40/11.34	c cleaning 3710 clauses out of 7570 with flag 3000/7570
18.27/14.73	c cleaning 4884 clauses out of 9860 with flag 9000/13570
25.05/18.13	c cleaning 5848 clauses out of 11976 with flag 16000/20570
27.61/19.46	c  And the winner is CuttingPlanes
27.71/19.61	c Got one! Elapsed wall clock time (in seconds):19.496
27.71/19.61	o -21
30.87/21.27	c  And the winner is CuttingPlanes
31.01/21.62	c Got one! Elapsed wall clock time (in seconds):21.498
31.01/21.62	o -22
31.78/22.10	c cleaning 6129 clauses out of 12257 with flag 1000/26699
38.32/25.35	c cleaning 5948 clauses out of 12128 with flag 7000/32699
43.76/28.07	c cleaning 6546 clauses out of 13180 with flag 14000/39699
51.96/32.19	c cleaning 7187 clauses out of 14634 with flag 22000/47699
60.32/36.40	c cleaning 8224 clauses out of 16447 with flag 31000/56699
69.44/40.94	c cleaning 9075 clauses out of 18223 with flag 41000/66699
81.97/47.25	c cleaning 10019 clauses out of 20148 with flag 52000/77699
92.72/52.63	c  And the winner is CuttingPlanes
92.63/52.84	c Got one! Elapsed wall clock time (in seconds):52.724
92.63/52.84	o -23
97.35/55.23	c cleaning 12575 clauses out of 25150 with flag 5000/92720
101.87/57.60	c cleaning 9229 clauses out of 18575 with flag 11000/98720
111.17/62.28	c cleaning 8022 clauses out of 16346 with flag 18000/105720
119.31/66.30	c cleaning 8033 clauses out of 16324 with flag 26000/113720
120.04/66.79	c  And the winner is CuttingPlanes
120.17/66.89	c Got one! Elapsed wall clock time (in seconds):66.776
120.17/66.89	o -24
124.37/69.04	c cleaning 6821 clauses out of 13822 with flag 4000/119251
130.90/72.34	c cleaning 6365 clauses out of 13001 with flag 10000/125251
137.80/75.90	c cleaning 6730 clauses out of 13636 with flag 17000/132251
147.73/80.87	c cleaning 7431 clauses out of 14906 with flag 25000/140251
155.86/84.94	c cleaning 8160 clauses out of 16475 with flag 34000/149251
164.19/89.20	c cleaning 9158 clauses out of 18315 with flag 44000/159251
176.28/95.20	c cleaning 9999 clauses out of 20157 with flag 55000/170251
188.99/101.67	c cleaning 11079 clauses out of 22158 with flag 67000/182251
202.92/108.61	c cleaning 11929 clauses out of 24079 with flag 80000/195251
220.23/117.35	c cleaning 13008 clauses out of 26150 with flag 94000/209251
235.68/125.13	c cleaning 13545 clauses out of 27142 with flag 108000/223251
255.19/134.99	c cleaning 13631 clauses out of 27597 with flag 122000/237251
272.49/143.66	c cleaning 13828 clauses out of 27966 with flag 136000/251251
293.60/154.29	c cleaning 14017 clauses out of 28138 with flag 150000/265251
315.44/165.25	c cleaning 13913 clauses out of 28121 with flag 164000/279251
334.14/174.67	c cleaning 14057 clauses out of 28208 with flag 178000/293251
354.45/184.85	c cleaning 14028 clauses out of 28151 with flag 192000/307251
374.50/194.99	c cleaning 13964 clauses out of 28123 with flag 206000/321251
387.31/201.46	c cleaning 14018 clauses out of 28159 with flag 220000/335251
397.76/206.72	c cleaning 13920 clauses out of 28141 with flag 234000/349251
411.43/213.61	c cleaning 14006 clauses out of 28221 with flag 248000/363251
422.70/219.32	c cleaning 14081 clauses out of 28215 with flag 262000/377251
436.08/226.13	c cleaning 13995 clauses out of 28134 with flag 276000/391251
449.75/233.09	c cleaning 13955 clauses out of 28139 with flag 290000/405251
463.42/239.93	c cleaning 13996 clauses out of 28184 with flag 304000/419251
480.46/248.51	c cleaning 13984 clauses out of 28188 with flag 318000/433251
496.28/256.57	c cleaning 14019 clauses out of 28204 with flag 332000/447251
510.73/263.83	c cleaning 14004 clauses out of 28185 with flag 346000/461251
528.38/272.73	c cleaning 14005 clauses out of 28181 with flag 360000/475251
542.84/280.02	c cleaning 13965 clauses out of 28176 with flag 374000/489251
556.82/287.16	c cleaning 14071 clauses out of 28211 with flag 388000/503251
570.86/294.23	c cleaning 14025 clauses out of 28140 with flag 402000/517251
587.10/302.43	c cleaning 14023 clauses out of 28115 with flag 416000/531251
601.37/309.64	c cleaning 13957 clauses out of 28092 with flag 430000/545251
616.33/317.26	c cleaning 13990 clauses out of 28135 with flag 444000/559251
621.18/319.75	c cleaning 0 clauses out of 7600 with flag 0/7600
632.86/325.65	c cleaning 14008 clauses out of 28145 with flag 458000/573251
647.90/333.27	c cleaning 13924 clauses out of 28137 with flag 472000/587251
664.07/341.49	c cleaning 13981 clauses out of 28213 with flag 486000/601251
681.91/350.48	c cleaning 13992 clauses out of 28232 with flag 500000/615251
698.15/358.61	c cleaning 14046 clauses out of 28240 with flag 514000/629251
715.79/367.53	c cleaning 13977 clauses out of 28194 with flag 528000/643251
734.32/376.92	c cleaning 14020 clauses out of 28217 with flag 542000/657251
751.55/385.69	c cleaning 13999 clauses out of 28197 with flag 556000/671251
766.79/393.35	c cleaning 13987 clauses out of 28198 with flag 570000/685251
783.23/401.61	c cleaning 14000 clauses out of 28211 with flag 584000/699251
798.36/409.35	c cleaning 13994 clauses out of 28211 with flag 598000/713251
817.17/418.81	c cleaning 14001 clauses out of 28217 with flag 612000/727251
834.79/427.76	c cleaning 13950 clauses out of 28216 with flag 626000/741251
849.41/435.12	c cleaning 14049 clauses out of 28266 with flag 640000/755251
865.13/443.17	c cleaning 14015 clauses out of 28217 with flag 654000/769251
880.96/451.12	c cleaning 14077 clauses out of 28202 with flag 668000/783251
896.18/458.87	c cleaning 13985 clauses out of 28125 with flag 682000/797251
909.78/465.75	c cleaning 13997 clauses out of 28140 with flag 696000/811251
922.90/472.47	c cleaning 14020 clauses out of 28143 with flag 710000/825251
936.91/479.60	c cleaning 14004 clauses out of 28123 with flag 724000/839251
952.13/487.25	c cleaning 13962 clauses out of 28119 with flag 738000/853251
967.15/494.82	c cleaning 13963 clauses out of 28157 with flag 752000/867251
982.06/502.45	c cleaning 14009 clauses out of 28194 with flag 766000/881251
996.87/509.95	c cleaning 14016 clauses out of 28185 with flag 780000/895251
1010.67/516.94	c cleaning 13935 clauses out of 28169 with flag 794000/909251
1025.26/524.36	c cleaning 14042 clauses out of 28234 with flag 808000/923251
1038.76/531.27	c cleaning 13984 clauses out of 28192 with flag 822000/937251
1052.17/538.07	c cleaning 14073 clauses out of 28208 with flag 836000/951251
1065.37/544.78	c cleaning 14003 clauses out of 28135 with flag 850000/965251
1077.97/551.19	c cleaning 13986 clauses out of 28132 with flag 864000/979251
1090.86/557.74	c cleaning 14017 clauses out of 28146 with flag 878000/993251
1103.26/564.05	c cleaning 14035 clauses out of 28129 with flag 892000/1007251
1118.87/571.91	c cleaning 14017 clauses out of 28094 with flag 906000/1021251
1134.28/579.71	c cleaning 13877 clauses out of 28077 with flag 920000/1035251
1150.34/587.90	c cleaning 14038 clauses out of 28200 with flag 934000/1049251
1165.13/595.48	c cleaning 14069 clauses out of 28162 with flag 948000/1063251
1180.32/603.19	c cleaning 13965 clauses out of 28093 with flag 962000/1077251
1196.11/611.10	c cleaning 13987 clauses out of 28128 with flag 976000/1091251
1210.99/618.71	c cleaning 14022 clauses out of 28141 with flag 990000/1105251
1221.18/623.95	c  And the winner is CuttingPlanes
1221.18/623.97	c Got one! Elapsed wall clock time (in seconds):623.852
1221.18/623.97	o -25
1223.80/626.54	c cleaning 14059 clauses out of 28117 with flag 5000/1119249
1229.40/629.41	c cleaning 9929 clauses out of 20058 with flag 11000/1125249
1236.40/633.05	c cleaning 8488 clauses out of 17129 with flag 18000/1132249
1243.45/636.76	c cleaning 8273 clauses out of 16641 with flag 26000/1140249
1253.83/642.08	c cleaning 8598 clauses out of 17368 with flag 35000/1149249
1265.01/647.78	c cleaning 9329 clauses out of 18770 with flag 45000/1159249
1274.59/652.61	c cleaning 10221 clauses out of 20441 with flag 56000/1170249
1288.85/659.95	c cleaning 10992 clauses out of 22220 with flag 68000/1182249
1303.83/667.54	c cleaning 12028 clauses out of 24228 with flag 81000/1195249
1316.61/674.05	c cleaning 13099 clauses out of 26200 with flag 95000/1209249
1332.39/682.05	c cleaning 13465 clauses out of 27101 with flag 109000/1223249
1347.44/689.78	c cleaning 13787 clauses out of 27636 with flag 123000/1237249
1362.83/697.51	c cleaning 13809 clauses out of 27849 with flag 137000/1251249
1376.60/704.55	c cleaning 13897 clauses out of 28040 with flag 151000/1265249
1393.56/713.17	c cleaning 14015 clauses out of 28143 with flag 165000/1279249
1407.60/720.30	c cleaning 14003 clauses out of 28128 with flag 179000/1293249
1424.17/728.77	c cleaning 14003 clauses out of 28125 with flag 193000/1307249
1441.74/737.64	c cleaning 14015 clauses out of 28122 with flag 207000/1321249
1458.52/746.20	c cleaning 13942 clauses out of 28107 with flag 221000/1335249
1474.96/754.55	c cleaning 13994 clauses out of 28165 with flag 235000/1349249
1493.72/764.03	c cleaning 14032 clauses out of 28171 with flag 249000/1363249
1511.29/772.95	c cleaning 13911 clauses out of 28139 with flag 263000/1377249
1528.45/781.61	c cleaning 14047 clauses out of 28228 with flag 277000/1391249
1546.07/790.68	c cleaning 13964 clauses out of 28181 with flag 291000/1405249
1562.83/799.19	c cleaning 14030 clauses out of 28217 with flag 305000/1419249
1578.00/806.87	c cleaning 14008 clauses out of 28187 with flag 319000/1433249
1593.56/814.73	c cleaning 14068 clauses out of 28179 with flag 333000/1447249
1606.96/821.67	c cleaning 13974 clauses out of 28111 with flag 347000/1461249
1619.52/828.00	c cleaning 14033 clauses out of 28137 with flag 361000/1475249
1630.49/833.61	c cleaning 13998 clauses out of 28104 with flag 375000/1489249
1646.24/841.63	c cleaning 13966 clauses out of 28106 with flag 389000/1503249
1662.03/849.74	c cleaning 13954 clauses out of 28140 with flag 403000/1517249
1679.60/858.60	c cleaning 14025 clauses out of 28186 with flag 417000/1531249
1699.34/868.61	c cleaning 13956 clauses out of 28161 with flag 431000/1545249
1715.90/877.01	c cleaning 14059 clauses out of 28205 with flag 445000/1559249
1729.30/883.95	c cleaning 14037 clauses out of 28146 with flag 459000/1573249
1742.04/890.50	c cleaning 13992 clauses out of 28109 with flag 473000/1587249
1756.19/897.63	c cleaning 13957 clauses out of 28117 with flag 487000/1601249
1770.71/905.06	c cleaning 14033 clauses out of 28160 with flag 501000/1615249
1784.49/912.13	c cleaning 14023 clauses out of 28127 with flag 515000/1629249
1797.65/918.81	c starts		: 56
1797.65/918.81	c conflicts		: 12325
1797.65/918.81	c decisions		: 188202
1797.65/918.81	c propagations		: 5551048
1797.65/918.81	c inspects		: 690984179
1797.65/918.81	c shortcuts		: 0
1797.65/918.81	c learnt literals	: 0
1797.65/918.81	c learnt binary clauses	: 0
1797.65/918.81	c learnt ternary clauses	: 0
1797.65/918.81	c learnt constraints	: 12325
1797.65/918.81	c ignored constraints	: 0
1797.65/918.81	c root simplifications	: 0
1797.65/918.81	c removed literals (reason simplification)	: 0
1797.65/918.81	c reason swapping (by a shorter reason)	: 0
1797.65/918.81	c Calls to reduceDB	: 1
1797.65/918.81	c number of reductions to clauses (during analyze)	: 0
1797.65/918.81	c number of learned constraints concerned by reduction	: 0
1797.65/918.81	c number of learning phase by resolution	: 0
1797.65/918.81	c number of learning phase by cutting planes	: 0
1797.65/918.81	c speed (assignments/second)	: 18827.259438137844
1797.65/918.81	c non guided choices	53
1797.65/918.82	c learnt constraints type 
1797.65/918.82	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3
1797.65/918.82	c org.sat4j.pb.constraints.pb.MaxWatchPb => 12322
1797.65/918.82	c constraints type 
1797.65/918.82	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6220
1797.65/918.82	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1797.65/918.82	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1797.65/918.82	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6220
1797.65/918.82	c constraints type 
1797.65/918.82	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
1797.65/918.82	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6220
1797.65/918.82	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 403
1797.65/918.82	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6220
1797.65/918.82	s SATISFIABLE
1797.65/918.82	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 
1797.65/918.82	c objective function=-25
1797.65/918.82	c Total wall clock time (in seconds): 918.702

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

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

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


[startup+0 s]
/proc/loadavg: 3.70 3.59 3.63 4/197 20802
/proc/meminfo: memFree=26478748/32873660 swapFree=7120/7120
[pid=20802] ppid=20800 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/20802/stat : 20802 (java) D 20800 20802 18226 0 -1 4202496 239 0 0 0 0 0 0 0 20 0 1 0 338332494 9515008 175 33554432000 1073741824 1073778376 140735495751248 140735495733976 270330053520 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 2323 175 133 9 0 71 0

[startup+0.100495 s]
/proc/loadavg: 3.70 3.59 3.63 4/197 20802
/proc/meminfo: memFree=26478748/32873660 swapFree=7120/7120
[pid=20802] ppid=20800 vsize=11586392 CPUtime=0.08 cores=1,3,5,7
/proc/20802/stat : 20802 (java) S 20800 20802 18226 0 -1 4202496 5253 0 1 0 7 1 0 0 20 0 18 0 338332494 11864465408 13607 33554432000 1073741824 1073778376 140736627524816 140736627515952 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20802/statm: 2896598 13607 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11586392

[startup+0.200188 s]
/proc/loadavg: 3.70 3.59 3.63 4/197 20802
/proc/meminfo: memFree=26478748/32873660 swapFree=7120/7120
[pid=20802] ppid=20800 vsize=11586392 CPUtime=0.21 cores=1,3,5,7
/proc/20802/stat : 20802 (java) S 20800 20802 18226 0 -1 4202496 5474 0 1 0 20 1 0 0 20 0 18 0 338332494 11864465408 14801 33554432000 1073741824 1073778376 140736627524816 140736627515952 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20802/statm: 2896598 14801 2203 9 0 2887285 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 11586392

[startup+0.300221 s]
/proc/loadavg: 3.70 3.59 3.63 4/197 20802
/proc/meminfo: memFree=26478748/32873660 swapFree=7120/7120
[pid=20802] ppid=20800 vsize=11586392 CPUtime=0.46 cores=1,3,5,7
/proc/20802/stat : 20802 (java) S 20800 20802 18226 0 -1 4202496 6537 0 1 0 44 2 0 0 20 0 18 0 338332494 11864465408 16458 33554432000 1073741824 1073778376 140736627524816 140736627515952 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20802/statm: 2896598 16458 2231 9 0 2887285 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 11586392

[startup+0.700183 s]
/proc/loadavg: 3.70 3.59 3.63 4/197 20802
/proc/meminfo: memFree=26478748/32873660 swapFree=7120/7120
[pid=20802] ppid=20800 vsize=11852648 CPUtime=1.69 cores=1,3,5,7
/proc/20802/stat : 20802 (java) S 20800 20802 18226 0 -1 4202496 15070 0 1 0 164 5 0 0 20 0 22 0 338332494 12137111552 31973 33554432000 1073741824 1073778376 140736627524816 140736627515952 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20802/statm: 2963162 31973 2262 9 0 2953849 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 11852648

[startup+1.5007 s]
/proc/loadavg: 3.70 3.59 3.63 10/219 20827
/proc/meminfo: memFree=26332644/32873660 swapFree=7120/7120
[pid=20802] ppid=20800 vsize=11852648 CPUtime=3.06 cores=1,3,5,7
/proc/20802/stat : 20802 (java) S 20800 20802 18226 0 -1 4202496 19958 0 1 0 296 10 0 0 20 0 19 0 338332494 12137111552 41819 33554432000 1073741824 1073778376 140736627524816 140736627515952 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20802/statm: 2963162 41819 2269 9 0 2953849 0
[pid=20802/tid=20804] ppid=20800 vsize=11852648 CPUtime=0.56 cores=1,3,5,7
/proc/20802/task/20804/stat : 20804 (java) S 20800 20802 18226 0 -1 4202560 3397 0 1 0 53 3 0 0 20 0 19 0 338332495 12137111552 41819 33554432000 1073741824 1073778376 140736627524816 140324151243928 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20805] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20805/stat : 20805 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 41819 33554432000 1073741824 1073778376 140736627524816 140324105997096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20806] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20806/stat : 20806 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 41819 33554432000 1073741824 1073778376 140736627524816 140324104944296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20807] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20807/stat : 20807 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 41819 33554432000 1073741824 1073778376 140736627524816 140324103892008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20802/tid=20808] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20808/stat : 20808 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 41819 33554432000 1073741824 1073778376 140736627524816 140324102839208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20809] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20809/stat : 20809 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 41819 33554432000 1073741824 1073778376 140736627524816 140324101785896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20810] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20810/stat : 20810 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 41819 33554432000 1073741824 1073778376 140736627524816 140324100733096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20811] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20811/stat : 20811 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 41819 33554432000 1073741824 1073778376 140736627524816 140324099680808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20812] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20812/stat : 20812 (java) S 20800 20802 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 41819 33554432000 1073741824 1073778376 140736627524816 140323980306856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20813] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20813/stat : 20813 (java) S 20800 20802 18226 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 338332498 12137111552 41819 33554432000 1073741824 1073778376 140736627524816 140323968109288 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20814] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20814/stat : 20814 (java) S 20800 20802 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338332498 12137111552 41819 33554432000 1073741824 1073778376 140736627524816 140323967055352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20815] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20815/stat : 20815 (java) S 20800 20802 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338332498 12137111552 41819 33554432000 1073741824 1073778376 140736627524816 140323966002952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20816] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20816/stat : 20816 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332501 12137111552 41819 33554432000 1073741824 1073778376 140736627524816 140323964951440 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20817] ppid=20800 vsize=11852648 CPUtime=0.74 cores=1,3,5,7
/proc/20802/task/20817/stat : 20817 (java) S 20800 20802 18226 0 -1 4202560 4406 0 0 0 74 0 0 0 20 0 19 0 338332501 12137111552 41819 33554432000 1073741824 1073778376 140736627524816 140323225331896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20818] ppid=20800 vsize=11852648 CPUtime=0.81 cores=1,3,5,7
/proc/20802/task/20818/stat : 20818 (java) S 20800 20802 18226 0 -1 4202560 10835 0 0 0 78 3 0 0 20 0 19 0 338332501 12137111552 41819 33554432000 1073741824 1073778376 140736627524816 140323224279096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20819] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20819/stat : 20819 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332501 12137111552 41819 33554432000 1073741824 1073778376 140736627524816 140323223227000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20820] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20820/stat : 20820 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332501 12137111552 41819 33554432000 1073741824 1073778376 140736627524816 140323222174408 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20824] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20824/stat : 20824 (java) S 20800 20802 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338332554 12137111552 41819 33554432000 1073741824 1073778376 140736627524816 140323217962536 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 11852648

[startup+3.10067 s]
/proc/loadavg: 3.72 3.60 3.64 3/216 20833
/proc/meminfo: memFree=26274812/32873660 swapFree=7120/7120
[pid=20802] ppid=20800 vsize=11852648 CPUtime=3.7 cores=1,3,5,7
/proc/20802/stat : 20802 (java) S 20800 20802 18226 0 -1 4202496 20117 0 1 0 354 16 0 0 20 0 19 0 338332494 12137111552 58717 33554432000 1073741824 1073778376 140736627524816 140736627515952 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20802/statm: 2963162 58717 2270 9 0 2953849 0
[pid=20802/tid=20804] ppid=20800 vsize=11852648 CPUtime=0.57 cores=1,3,5,7
/proc/20802/task/20804/stat : 20804 (java) S 20800 20802 18226 0 -1 4202560 3397 0 1 0 54 3 0 0 20 0 19 0 338332495 12137111552 58717 33554432000 1073741824 1073778376 140736627524816 140324151243944 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20805] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20805/stat : 20805 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 58717 33554432000 1073741824 1073778376 140736627524816 140324105997096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20806] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20806/stat : 20806 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 58717 33554432000 1073741824 1073778376 140736627524816 140324104944296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20807] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20807/stat : 20807 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 58717 33554432000 1073741824 1073778376 140736627524816 140324103892008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20802/tid=20808] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20808/stat : 20808 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 58717 33554432000 1073741824 1073778376 140736627524816 140324102839208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20809] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20809/stat : 20809 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 58717 33554432000 1073741824 1073778376 140736627524816 140324101785896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20810] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20810/stat : 20810 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 58717 33554432000 1073741824 1073778376 140736627524816 140324100733096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20811] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20811/stat : 20811 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 58717 33554432000 1073741824 1073778376 140736627524816 140324099680808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20812] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20812/stat : 20812 (java) S 20800 20802 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 58717 33554432000 1073741824 1073778376 140736627524816 140323980306856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20813] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20813/stat : 20813 (java) S 20800 20802 18226 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338332498 12137111552 58717 33554432000 1073741824 1073778376 140736627524816 140323968109288 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20814] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20814/stat : 20814 (java) S 20800 20802 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338332498 12137111552 58717 33554432000 1073741824 1073778376 140736627524816 140323967055352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20815] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20815/stat : 20815 (java) S 20800 20802 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338332498 12137111552 58717 33554432000 1073741824 1073778376 140736627524816 140323966002952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20816] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20816/stat : 20816 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332501 12137111552 58717 33554432000 1073741824 1073778376 140736627524816 140323964951440 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20817] ppid=20800 vsize=11852648 CPUtime=0.83 cores=1,3,5,7
/proc/20802/task/20817/stat : 20817 (java) S 20800 20802 18226 0 -1 4202560 4406 0 0 0 83 0 0 0 20 0 19 0 338332501 12137111552 58717 33554432000 1073741824 1073778376 140736627524816 140323225331896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20818] ppid=20800 vsize=11852648 CPUtime=0.9 cores=1,3,5,7
/proc/20802/task/20818/stat : 20818 (java) S 20800 20802 18226 0 -1 4202560 10940 0 0 0 87 3 0 0 20 0 19 0 338332501 12137111552 58717 33554432000 1073741824 1073778376 140736627524816 140323224279096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20819] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20819/stat : 20819 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332501 12137111552 58717 33554432000 1073741824 1073778376 140736627524816 140323223227000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20820] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20820/stat : 20820 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332501 12137111552 58717 33554432000 1073741824 1073778376 140736627524816 140323222174408 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20824] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20824/stat : 20824 (java) S 20800 20802 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338332554 12137111552 58717 33554432000 1073741824 1073778376 140736627524816 140323217962536 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 11852648

[startup+6.30072 s]
/proc/loadavg: 3.72 3.60 3.64 3/216 20851
/proc/meminfo: memFree=26135120/32873660 swapFree=7120/7120
[pid=20802] ppid=20800 vsize=11852648 CPUtime=4.7 cores=1,3,5,7
/proc/20802/stat : 20802 (java) S 20800 20802 18226 0 -1 4202496 20258 0 1 0 440 30 0 0 20 0 19 0 338332494 12137111552 99679 33554432000 1073741824 1073778376 140736627524816 140736627515952 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20802/statm: 2963162 99679 2271 9 0 2953849 0
[pid=20802/tid=20804] ppid=20800 vsize=11852648 CPUtime=0.58 cores=1,3,5,7
/proc/20802/task/20804/stat : 20804 (java) S 20800 20802 18226 0 -1 4202560 3398 0 1 0 55 3 0 0 20 0 19 0 338332495 12137111552 99679 33554432000 1073741824 1073778376 140736627524816 140324151243944 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20805] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20805/stat : 20805 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 99679 33554432000 1073741824 1073778376 140736627524816 140324105997096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20806] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20806/stat : 20806 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 99679 33554432000 1073741824 1073778376 140736627524816 140324104944296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20807] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20807/stat : 20807 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 99679 33554432000 1073741824 1073778376 140736627524816 140324103892008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20802/tid=20808] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20808/stat : 20808 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 99679 33554432000 1073741824 1073778376 140736627524816 140324102839208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20809] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20809/stat : 20809 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 99679 33554432000 1073741824 1073778376 140736627524816 140324101785896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20810] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20810/stat : 20810 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 99679 33554432000 1073741824 1073778376 140736627524816 140324100733096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20811] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20811/stat : 20811 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 99679 33554432000 1073741824 1073778376 140736627524816 140324099680808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20812] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20812/stat : 20812 (java) S 20800 20802 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338332497 12137111552 99679 33554432000 1073741824 1073778376 140736627524816 140323980306856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20813] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20813/stat : 20813 (java) S 20800 20802 18226 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338332498 12137111552 99679 33554432000 1073741824 1073778376 140736627524816 140323968109288 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20814] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20814/stat : 20814 (java) S 20800 20802 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338332498 12137111552 99679 33554432000 1073741824 1073778376 140736627524816 140323967055352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20815] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20815/stat : 20815 (java) S 20800 20802 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338332498 12137111552 99679 33554432000 1073741824 1073778376 140736627524816 140323966002952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20816] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20816/stat : 20816 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332501 12137111552 99679 33554432000 1073741824 1073778376 140736627524816 140323964951440 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20817] ppid=20800 vsize=11852648 CPUtime=0.88 cores=1,3,5,7
/proc/20802/task/20817/stat : 20817 (java) S 20800 20802 18226 0 -1 4202560 4407 0 0 0 86 2 0 0 20 0 19 0 338332501 12137111552 99679 33554432000 1073741824 1073778376 140736627524816 140323225331896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20818] ppid=20800 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/20802/task/20818/stat : 20818 (java) S 20800 20802 18226 0 -1 4202560 10940 0 0 0 88 3 0 0 20 0 19 0 338332501 12137111552 99679 33554432000 1073741824 1073778376 140736627524816 140323224279096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20819] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20819/stat : 20819 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332501 12137111552 99679 33554432000 1073741824 1073778376 140736627524816 140323223227000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20820] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20820/stat : 20820 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338332501 12137111552 99679 33554432000 1073741824 1073778376 140736627524816 140323222174408 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20824] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20824/stat : 20824 (java) S 20800 20802 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338332554 12137111552 99679 33554432000 1073741824 1073778376 140736627524816 140323217962536 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.7
Current children cumulated vsize (KiB) 11852648
heavy processes:


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

[pid=20802/tid=20808] ppid=20800 vsize=11852648 CPUtime=0.67 cores=1,3,5,7
/proc/20802/task/20808/stat : 20808 (java) S 20800 20802 18226 0 -1 4202560 68 0 0 0 66 1 0 0 20 0 22 0 338332497 12137111552 668519 33554432000 1073741824 1073778376 140736627524816 140324102839208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20809] ppid=20800 vsize=11852648 CPUtime=0.63 cores=1,3,5,7
/proc/20802/task/20809/stat : 20809 (java) S 20800 20802 18226 0 -1 4202560 82 0 0 0 61 2 0 0 20 0 22 0 338332497 12137111552 668519 33554432000 1073741824 1073778376 140736627524816 140324101785896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20810] ppid=20800 vsize=11852648 CPUtime=0.66 cores=1,3,5,7
/proc/20802/task/20810/stat : 20810 (java) S 20800 20802 18226 0 -1 4202560 58 0 0 0 66 0 0 0 20 0 22 0 338332497 12137111552 668519 33554432000 1073741824 1073778376 140736627524816 140324100733096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20811] ppid=20800 vsize=11852648 CPUtime=0.58 cores=1,3,5,7
/proc/20802/task/20811/stat : 20811 (java) S 20800 20802 18226 0 -1 4202560 61 0 0 0 58 0 0 0 20 0 22 0 338332497 12137111552 668519 33554432000 1073741824 1073778376 140736627524816 140324099680808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20812] ppid=20800 vsize=11852648 CPUtime=0.67 cores=1,3,5,7
/proc/20802/task/20812/stat : 20812 (java) S 20800 20802 18226 0 -1 4202560 66 0 0 0 67 0 0 0 20 0 22 0 338332497 12137111552 668519 33554432000 1073741824 1073778376 140736627524816 140323980306856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20813] ppid=20800 vsize=11852648 CPUtime=25.19 cores=1,3,5,7
/proc/20802/task/20813/stat : 20813 (java) S 20800 20802 18226 0 -1 4202560 178 0 0 0 2514 5 0 0 20 0 22 0 338332498 12137111552 668519 33554432000 1073741824 1073778376 140736627524816 140323968109288 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20802/tid=20814] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20814/stat : 20814 (java) S 20800 20802 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338332498 12137111552 668519 33554432000 1073741824 1073778376 140736627524816 140323967055352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20815] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20815/stat : 20815 (java) S 20800 20802 18226 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 22 0 338332498 12137111552 668519 33554432000 1073741824 1073778376 140736627524816 140323966002952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20816] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20816/stat : 20816 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338332501 12137111552 668519 33554432000 1073741824 1073778376 140736627524816 140323964951440 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20817] ppid=20800 vsize=11852648 CPUtime=1.25 cores=1,3,5,7
/proc/20802/task/20817/stat : 20817 (java) S 20800 20802 18226 0 -1 4202560 4419 0 0 0 123 2 0 0 20 0 22 0 338332501 12137111552 668519 33554432000 1073741824 1073778376 140736627524816 140323225331896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20818] ppid=20800 vsize=11852648 CPUtime=1.31 cores=1,3,5,7
/proc/20802/task/20818/stat : 20818 (java) S 20800 20802 18226 0 -1 4202560 11661 0 0 0 128 3 0 0 20 0 22 0 338332501 12137111552 668519 33554432000 1073741824 1073778376 140736627524816 140323224279096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20819] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20819/stat : 20819 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338332501 12137111552 668519 33554432000 1073741824 1073778376 140736627524816 140323223227000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20820] ppid=20800 vsize=11852648 CPUtime=0.33 cores=1,3,5,7
/proc/20802/task/20820/stat : 20820 (java) S 20800 20802 18226 0 -1 4202560 53 0 0 0 13 20 0 0 20 0 22 0 338332501 12137111552 668519 33554432000 1073741824 1073778376 140736627524816 140323222174408 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20824] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20824/stat : 20824 (java) S 20800 20802 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338332554 12137111552 668519 33554432000 1073741824 1073778376 140736627524816 140323217962536 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20998] ppid=20800 vsize=11852648 CPUtime=247.22 cores=1,3,5,7
/proc/20802/task/20998/stat : 20998 (java) R 20800 20802 18226 0 -1 4202560 16 0 0 0 24719 3 0 0 20 0 22 0 338394891 12137111552 668519 33554432000 1073741824 1073778376 140736627524816 140323221119696 140323980860022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20999] ppid=20800 vsize=11852648 CPUtime=247.16 cores=1,3,5,7
/proc/20802/task/20999/stat : 20999 (java) R 20800 20802 18226 0 -1 4202560 8 0 0 0 24712 4 0 0 20 0 22 0 338394891 12137111552 668519 33554432000 1073741824 1073778376 140736627524816 140323220065008 140323981255216 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=21000] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/21000/stat : 21000 (java) S 20800 20802 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338394891 12137111552 668519 33554432000 1073741824 1073778376 140736627524816 140323219015336 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.1
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+918.801 s]
/proc/loadavg: 4.20 3.99 3.80 5/219 21006
/proc/meminfo: memFree=22080480/32873660 swapFree=7120/7120
[pid=20802] ppid=20800 vsize=11852648 CPUtime=1797.65 cores=1,3,5,7
/proc/20802/stat : 20802 (java) S 20800 20802 18226 0 -1 4202496 22983 0 1 0 179622 143 0 0 20 0 22 0 338332494 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140736627515952 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20802/statm: 2963162 669043 2297 9 0 2953849 0
[pid=20802/tid=20804] ppid=20800 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/20802/task/20804/stat : 20804 (java) S 20800 20802 18226 0 -1 4202560 3447 0 1 0 57 5 0 0 20 0 22 0 338332495 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140324151243944 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20805] ppid=20800 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/20802/task/20805/stat : 20805 (java) S 20800 20802 18226 0 -1 4202560 67 0 0 0 61 1 0 0 20 0 22 0 338332497 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140324105997096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20806] ppid=20800 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/20802/task/20806/stat : 20806 (java) S 20800 20802 18226 0 -1 4202560 53 0 0 0 62 0 0 0 20 0 22 0 338332497 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140324104944296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20807] ppid=20800 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/20802/task/20807/stat : 20807 (java) S 20800 20802 18226 0 -1 4202560 50 0 0 0 62 0 0 0 20 0 22 0 338332497 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140324103892008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20808] ppid=20800 vsize=11852648 CPUtime=0.69 cores=1,3,5,7
/proc/20802/task/20808/stat : 20808 (java) S 20800 20802 18226 0 -1 4202560 72 0 0 0 68 1 0 0 20 0 22 0 338332497 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140324102839208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20809] ppid=20800 vsize=11852648 CPUtime=0.63 cores=1,3,5,7
/proc/20802/task/20809/stat : 20809 (java) S 20800 20802 18226 0 -1 4202560 82 0 0 0 61 2 0 0 20 0 22 0 338332497 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140324101785896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20810] ppid=20800 vsize=11852648 CPUtime=0.71 cores=1,3,5,7
/proc/20802/task/20810/stat : 20810 (java) S 20800 20802 18226 0 -1 4202560 58 0 0 0 71 0 0 0 20 0 22 0 338332497 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140324100733096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20811] ppid=20800 vsize=11852648 CPUtime=0.6 cores=1,3,5,7
/proc/20802/task/20811/stat : 20811 (java) S 20800 20802 18226 0 -1 4202560 61 0 0 0 60 0 0 0 20 0 22 0 338332497 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140324099680808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20812] ppid=20800 vsize=11852648 CPUtime=0.7 cores=1,3,5,7
/proc/20802/task/20812/stat : 20812 (java) S 20800 20802 18226 0 -1 4202560 66 0 0 0 70 0 0 0 20 0 22 0 338332497 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323980306856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20813] ppid=20800 vsize=11852648 CPUtime=26.72 cores=1,3,5,7
/proc/20802/task/20813/stat : 20813 (java) S 20800 20802 18226 0 -1 4202560 183 0 0 0 2667 5 0 0 20 0 22 0 338332498 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323968109288 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20802/tid=20814] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20814/stat : 20814 (java) S 20800 20802 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338332498 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323967055352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20815] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20815/stat : 20815 (java) S 20800 20802 18226 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 22 0 338332498 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323966002952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20816] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20816/stat : 20816 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338332501 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323964951440 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20817] ppid=20800 vsize=11852648 CPUtime=1.25 cores=1,3,5,7
/proc/20802/task/20817/stat : 20817 (java) S 20800 20802 18226 0 -1 4202560 4419 0 0 0 123 2 0 0 20 0 22 0 338332501 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323225331896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20818] ppid=20800 vsize=11852648 CPUtime=1.31 cores=1,3,5,7
/proc/20802/task/20818/stat : 20818 (java) S 20800 20802 18226 0 -1 4202560 11661 0 0 0 128 3 0 0 20 0 22 0 338332501 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323224279096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20819] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20819/stat : 20819 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338332501 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323223227000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20820] ppid=20800 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/20802/task/20820/stat : 20820 (java) S 20800 20802 18226 0 -1 4202560 55 0 0 0 14 20 0 0 20 0 22 0 338332501 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323222174408 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20824] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20824/stat : 20824 (java) S 20800 20802 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338332554 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323217962536 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20998] ppid=20800 vsize=11852648 CPUtime=282.04 cores=1,3,5,7
/proc/20802/task/20998/stat : 20998 (java) R 20800 20802 18226 0 -1 4202560 20 0 0 0 28200 4 0 0 20 0 22 0 338394891 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323221119696 140323981263448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20999] ppid=20800 vsize=11852648 CPUtime=281.96 cores=1,3,5,7
/proc/20802/task/20999/stat : 20999 (java) R 20800 20802 18226 0 -1 4202560 10 0 0 0 28191 5 0 0 20 0 22 0 338394891 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323220065008 140323981245047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=21000] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/21000/stat : 21000 (java) S 20800 20802 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338394891 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323219015336 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (KiB) 11852648

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

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

[startup+918.801 s]
/proc/loadavg: 4.20 3.99 3.80 5/219 21006
/proc/meminfo: memFree=22080480/32873660 swapFree=7120/7120
[pid=20802] ppid=20800 vsize=11852648 CPUtime=1797.65 cores=1,3,5,7
/proc/20802/stat : 20802 (java) S 20800 20802 18226 0 -1 4202496 22983 0 1 0 179622 143 0 0 20 0 22 0 338332494 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140736627515952 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20802/statm: 2963162 669043 2297 9 0 2953849 0
[pid=20802/tid=20804] ppid=20800 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/20802/task/20804/stat : 20804 (java) S 20800 20802 18226 0 -1 4202560 3447 0 1 0 57 5 0 0 20 0 22 0 338332495 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140324151243944 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20805] ppid=20800 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/20802/task/20805/stat : 20805 (java) S 20800 20802 18226 0 -1 4202560 67 0 0 0 61 1 0 0 20 0 22 0 338332497 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140324105997096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20806] ppid=20800 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/20802/task/20806/stat : 20806 (java) S 20800 20802 18226 0 -1 4202560 53 0 0 0 62 0 0 0 20 0 22 0 338332497 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140324104944296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20807] ppid=20800 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/20802/task/20807/stat : 20807 (java) S 20800 20802 18226 0 -1 4202560 50 0 0 0 62 0 0 0 20 0 22 0 338332497 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140324103892008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20808] ppid=20800 vsize=11852648 CPUtime=0.69 cores=1,3,5,7
/proc/20802/task/20808/stat : 20808 (java) S 20800 20802 18226 0 -1 4202560 72 0 0 0 68 1 0 0 20 0 22 0 338332497 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140324102839208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20809] ppid=20800 vsize=11852648 CPUtime=0.63 cores=1,3,5,7
/proc/20802/task/20809/stat : 20809 (java) S 20800 20802 18226 0 -1 4202560 82 0 0 0 61 2 0 0 20 0 22 0 338332497 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140324101785896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20810] ppid=20800 vsize=11852648 CPUtime=0.71 cores=1,3,5,7
/proc/20802/task/20810/stat : 20810 (java) S 20800 20802 18226 0 -1 4202560 58 0 0 0 71 0 0 0 20 0 22 0 338332497 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140324100733096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20811] ppid=20800 vsize=11852648 CPUtime=0.6 cores=1,3,5,7
/proc/20802/task/20811/stat : 20811 (java) S 20800 20802 18226 0 -1 4202560 61 0 0 0 60 0 0 0 20 0 22 0 338332497 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140324099680808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20812] ppid=20800 vsize=11852648 CPUtime=0.7 cores=1,3,5,7
/proc/20802/task/20812/stat : 20812 (java) S 20800 20802 18226 0 -1 4202560 66 0 0 0 70 0 0 0 20 0 22 0 338332497 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323980306856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20813] ppid=20800 vsize=11852648 CPUtime=26.72 cores=1,3,5,7
/proc/20802/task/20813/stat : 20813 (java) S 20800 20802 18226 0 -1 4202560 183 0 0 0 2667 5 0 0 20 0 22 0 338332498 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323968109288 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20802/tid=20814] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20814/stat : 20814 (java) S 20800 20802 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338332498 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323967055352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20815] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20815/stat : 20815 (java) S 20800 20802 18226 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 22 0 338332498 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323966002952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20816] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20816/stat : 20816 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338332501 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323964951440 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20817] ppid=20800 vsize=11852648 CPUtime=1.25 cores=1,3,5,7
/proc/20802/task/20817/stat : 20817 (java) S 20800 20802 18226 0 -1 4202560 4419 0 0 0 123 2 0 0 20 0 22 0 338332501 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323225331896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20818] ppid=20800 vsize=11852648 CPUtime=1.31 cores=1,3,5,7
/proc/20802/task/20818/stat : 20818 (java) S 20800 20802 18226 0 -1 4202560 11661 0 0 0 128 3 0 0 20 0 22 0 338332501 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323224279096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20819] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20819/stat : 20819 (java) S 20800 20802 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338332501 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323223227000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20820] ppid=20800 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/20802/task/20820/stat : 20820 (java) S 20800 20802 18226 0 -1 4202560 55 0 0 0 14 20 0 0 20 0 22 0 338332501 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323222174408 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=20824] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/20824/stat : 20824 (java) S 20800 20802 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338332554 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323217962536 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20802/tid=20998] ppid=20800 vsize=11852648 CPUtime=282.04 cores=1,3,5,7
/proc/20802/task/20998/stat : 20998 (java) R 20800 20802 18226 0 -1 4202560 20 0 0 0 28200 4 0 0 20 0 22 0 338394891 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323221119696 140323981263448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20802/tid=20999] ppid=20800 vsize=11852648 CPUtime=281.96 cores=1,3,5,7
/proc/20802/task/20999/stat : 20999 (java) R 20800 20802 18226 0 -1 4202560 10 0 0 0 28191 5 0 0 20 0 22 0 338394891 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323220065008 140323981245047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20802/tid=21000] ppid=20800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20802/task/21000/stat : 21000 (java) S 20800 20802 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338394891 12137111552 669043 33554432000 1073741824 1073778376 140736627524816 140323219015336 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (KiB) 11852648

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20802 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=718161
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=542765
# CPU time returned by wait4() is 1796.26
# while last known CPU time is 1797.65
#
# 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): 2.46988
#  lost CPU user time (s): 2.64993
#  lost CPU system time (s): -0.18

Real time (s): 918.837
CPU time (s): 1800.12
CPU user time (s): 1798.87
CPU system time (s): 1.25
CPU usage (%): 195.913
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.72
system time used= 1.54276
maximum resident set size= 2676288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23013
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25866
involuntary context switches= 25177

runsolver used 3.69944 second user time and 8.21575 second system time

The end

Launcher Data 

Begin job on node117 at 2012-06-03 13:14:27
IDJOB=3737438
IDBENCH=48238
IDSOLVER=2328
FILE ID=node117/3737438-1338722067
RUNJOBID= node117-1338713269-18243
PBS_JOBID= 14636728
Free space on /tmp= 69124 MiB

SOLVER NAME= PB11: 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-3737438-1338722067/watcher-3737438-1338722067 -o /tmp/evaluation-result-3737438-1338722067/solver-3737438-1338722067 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3737438-1338722067.opb

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

MD5SUM BENCH= 219f407da86957d900e068170e9af8b6
RANDOM SEED=201802522

node117.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		: 2667.148
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	: 5334.29
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		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        26479648 kB
Buffers:          620572 kB
Cached:          4126424 kB
SwapCached:          776 kB
Active:          3023148 kB
Inactive:        2458096 kB
Active(anon):     720068 kB
Inactive(anon):     9972 kB
Active(file):    2303080 kB
Inactive(file):  2448124 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:               512 kB
Writeback:             0 kB
AnonPages:        733812 kB
Mapped:            20472 kB
Shmem:                80 kB
Slab:             776952 kB
SReclaimable:     221084 kB
SUnreclaim:       555868 kB
KernelStack:        1640 kB
PageTables:         5404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:   10461004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    673792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69120 MiB
End job on node117 at 2012-06-03 13:29:48