Trace number 3737449

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)-24 1800.18 920.433

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_1.opb
MD5SUM4142356c9f50acd7c9005938f6b31a6d
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.84
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)12408
Sum of products size (including duplicates)24816
Number of different products6204
Sum of products size12408

Quality of the solution as a function of time


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

Solver Data 

0.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.09	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		9996466904
0.03/0.09	c Max memory 		10048897024
0.03/0.09	c Total memory 		10048897024
0.03/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3737449-1338722213.opb
0.09/0.12	c reading problem ... 
0.99/0.58	c ... done. Wall clock time 0.467s.
0.99/0.58	c #vars     6604
0.99/0.58	c #constraints  13010
0.99/0.58	c constraints type 
0.99/0.58	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6204
0.99/0.58	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.99/0.58	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.99/0.58	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
0.99/0.58	c constraints type 
0.99/0.58	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
0.99/0.58	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6204
0.99/0.58	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
0.99/0.58	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6204
2.49/0.96	c  And the winner is CuttingPlanes
2.79/1.09	c SATISFIABLE
2.79/1.09	c OPTIMIZING...
2.79/1.09	c Got one! Elapsed wall clock time (in seconds):0.974
2.79/1.09	o -5
2.91/1.16	c  And the winner is CuttingPlanes
3.05/1.60	c Got one! Elapsed wall clock time (in seconds):1.479
3.05/1.60	o -6
3.05/1.68	c  And the winner is CuttingPlanes
3.29/2.10	c Got one! Elapsed wall clock time (in seconds):1.981
3.29/2.10	o -7
3.30/2.15	c  And the winner is CuttingPlanes
3.48/2.60	c Got one! Elapsed wall clock time (in seconds):2.483
3.48/2.60	o -8
3.48/2.65	c  And the winner is CuttingPlanes
3.59/3.10	c Got one! Elapsed wall clock time (in seconds):2.985
3.59/3.10	o -9
3.59/3.15	c  And the winner is CuttingPlanes
3.71/3.60	c Got one! Elapsed wall clock time (in seconds):3.486
3.71/3.60	o -10
3.71/3.66	c  And the winner is CuttingPlanes
3.83/4.10	c Got one! Elapsed wall clock time (in seconds):3.987
3.83/4.10	o -11
3.83/4.17	c  And the winner is CuttingPlanes
3.99/4.61	c Got one! Elapsed wall clock time (in seconds):4.488
3.99/4.61	o -12
3.99/4.69	c  And the winner is CuttingPlanes
4.18/5.11	c Got one! Elapsed wall clock time (in seconds):4.989
4.18/5.11	o -13
4.35/5.20	c  And the winner is CuttingPlanes
4.38/5.61	c Got one! Elapsed wall clock time (in seconds):5.49
4.38/5.61	o -14
4.38/5.66	c  And the winner is CuttingPlanes
4.50/6.11	c Got one! Elapsed wall clock time (in seconds):5.992
4.50/6.11	o -15
4.50/6.17	c  And the winner is CuttingPlanes
4.68/6.61	c Got one! Elapsed wall clock time (in seconds):6.493
4.68/6.61	o -16
5.64/7.02	c  And the winner is CuttingPlanes
5.70/7.11	c Got one! Elapsed wall clock time (in seconds):6.994
5.70/7.11	o -17
9.09/8.82	c  And the winner is CuttingPlanes
9.13/9.11	c Got one! Elapsed wall clock time (in seconds):8.995
9.13/9.11	o -18
12.10/10.67	c cleaning 4131 clauses out of 8396 with flag 3000/8396
16.35/12.76	c  And the winner is CuttingPlanes
16.46/13.11	c Got one! Elapsed wall clock time (in seconds):12.997
16.46/13.11	o -22
18.68/14.21	c cleaning 4947 clauses out of 9966 with flag 2000/14097
25.08/17.42	c cleaning 5464 clauses out of 11019 with flag 8000/20097
31.85/20.85	c cleaning 6136 clauses out of 12555 with flag 15000/27097
39.67/24.75	c cleaning 7201 clauses out of 14419 with flag 23000/35097
49.81/29.84	c cleaning 8093 clauses out of 16218 with flag 32000/44097
59.37/34.67	c cleaning 8930 clauses out of 18125 with flag 42000/54097
73.31/41.64	c cleaning 9987 clauses out of 20195 with flag 53000/65097
85.00/47.53	c cleaning 11066 clauses out of 22208 with flag 65000/77097
101.34/55.73	c cleaning 12062 clauses out of 24142 with flag 78000/90097
116.86/63.57	c cleaning 13014 clauses out of 26080 with flag 92000/104097
122.20/66.29	c  And the winner is CuttingPlanes
122.13/66.69	c Got one! Elapsed wall clock time (in seconds):66.57
122.13/66.69	o -23
127.35/69.38	c cleaning 11654 clauses out of 23307 with flag 5000/114338
133.61/72.56	c cleaning 8822 clauses out of 17653 with flag 11000/120338
141.11/76.39	c cleaning 7883 clauses out of 15831 with flag 18000/127338
150.43/81.04	c cleaning 7935 clauses out of 15948 with flag 26000/135338
159.34/85.56	c cleaning 8481 clauses out of 17013 with flag 35000/144338
167.41/89.64	c cleaning 9140 clauses out of 18532 with flag 45000/154338
178.14/95.09	c cleaning 10144 clauses out of 20392 with flag 56000/165338
189.64/100.85	c cleaning 11058 clauses out of 22248 with flag 68000/177338
202.54/107.39	c cleaning 11974 clauses out of 24190 with flag 81000/190338
216.01/114.10	c cleaning 13077 clauses out of 26216 with flag 95000/204338
228.71/120.55	c cleaning 13535 clauses out of 27139 with flag 109000/218338
241.21/126.87	c cleaning 13684 clauses out of 27604 with flag 123000/232338
253.11/132.82	c cleaning 13942 clauses out of 27920 with flag 137000/246338
264.56/138.64	c cleaning 13971 clauses out of 27978 with flag 151000/260338
276.43/144.68	c cleaning 13967 clauses out of 28007 with flag 165000/274338
287.92/150.46	c cleaning 13905 clauses out of 28040 with flag 179000/288338
299.41/156.29	c cleaning 13981 clauses out of 28135 with flag 193000/302338
313.64/163.47	c cleaning 13931 clauses out of 28154 with flag 207000/316338
326.71/170.03	c cleaning 13991 clauses out of 28223 with flag 221000/330338
338.60/176.05	c cleaning 14040 clauses out of 28232 with flag 235000/344338
349.27/181.49	c cleaning 14051 clauses out of 28192 with flag 249000/358338
360.10/186.96	c cleaning 13933 clauses out of 28141 with flag 263000/372338
371.95/192.95	c cleaning 14017 clauses out of 28208 with flag 277000/386338
383.42/198.78	c cleaning 14042 clauses out of 28191 with flag 291000/400338
393.30/203.76	c cleaning 13969 clauses out of 28149 with flag 305000/414338
403.72/209.06	c cleaning 14041 clauses out of 28180 with flag 319000/428338
415.77/215.13	c cleaning 14018 clauses out of 28139 with flag 333000/442338
427.23/220.99	c cleaning 14013 clauses out of 28121 with flag 347000/456338
432.89/223.87	c cleaning 0 clauses out of 6660 with flag 0/6660
438.11/226.56	c cleaning 14002 clauses out of 28108 with flag 361000/470338
448.17/231.65	c cleaning 14035 clauses out of 28106 with flag 375000/484338
457.65/236.45	c cleaning 13974 clauses out of 28071 with flag 389000/498338
469.89/242.62	c cleaning 13998 clauses out of 28097 with flag 403000/512338
481.07/248.38	c cleaning 13983 clauses out of 28099 with flag 417000/526338
493.72/254.74	c cleaning 14014 clauses out of 28116 with flag 431000/540338
504.99/260.50	c cleaning 13978 clauses out of 28102 with flag 445000/554338
516.46/266.26	c cleaning 14031 clauses out of 28124 with flag 459000/568338
528.23/272.24	c cleaning 13976 clauses out of 28093 with flag 473000/582338
540.10/278.23	c cleaning 13992 clauses out of 28117 with flag 487000/596338
551.14/283.89	c cleaning 13989 clauses out of 28125 with flag 501000/610338
562.17/289.40	c cleaning 14002 clauses out of 28136 with flag 515000/624338
573.53/295.21	c cleaning 14017 clauses out of 28134 with flag 529000/638338
584.78/300.96	c cleaning 14026 clauses out of 28117 with flag 543000/652338
595.81/306.57	c cleaning 13998 clauses out of 28091 with flag 557000/666338
606.47/311.98	c cleaning 14005 clauses out of 28093 with flag 571000/680338
616.83/317.26	c cleaning 13998 clauses out of 28088 with flag 585000/694338
628.08/322.92	c cleaning 13954 clauses out of 28090 with flag 599000/708338
639.73/328.88	c cleaning 14022 clauses out of 28136 with flag 613000/722338
651.96/335.04	c cleaning 13921 clauses out of 28114 with flag 627000/736338
665.52/341.98	c cleaning 14080 clauses out of 28193 with flag 641000/750338
678.97/348.72	c cleaning 13977 clauses out of 28113 with flag 655000/764338
691.60/355.12	c cleaning 13974 clauses out of 28136 with flag 669000/778338
704.24/361.57	c cleaning 13979 clauses out of 28162 with flag 683000/792338
716.79/367.93	c cleaning 13998 clauses out of 28183 with flag 697000/806338
728.83/374.03	c cleaning 14014 clauses out of 28185 with flag 711000/820338
741.43/380.41	c cleaning 14055 clauses out of 28171 with flag 725000/834338
753.86/386.78	c cleaning 13977 clauses out of 28116 with flag 739000/848338
766.80/393.30	c cleaning 13989 clauses out of 28139 with flag 753000/862338
778.64/399.39	c cleaning 14021 clauses out of 28150 with flag 767000/876338
790.64/405.41	c cleaning 14019 clauses out of 28129 with flag 781000/890338
801.87/411.16	c cleaning 14006 clauses out of 28110 with flag 795000/904338
813.02/416.85	c cleaning 13983 clauses out of 28104 with flag 809000/918338
824.65/422.77	c cleaning 13975 clauses out of 28121 with flag 823000/932338
838.67/429.82	c cleaning 13939 clauses out of 28146 with flag 837000/946338
851.89/436.51	c cleaning 14051 clauses out of 28207 with flag 851000/960338
865.00/443.22	c cleaning 13974 clauses out of 28156 with flag 865000/974338
877.80/449.72	c cleaning 14078 clauses out of 28182 with flag 879000/988338
890.61/456.26	c cleaning 13935 clauses out of 28104 with flag 893000/1002338
904.43/463.25	c cleaning 14003 clauses out of 28169 with flag 907000/1016338
918.94/470.65	c cleaning 13923 clauses out of 28166 with flag 921000/1030338
932.18/477.37	c cleaning 14115 clauses out of 28243 with flag 935000/1044338
946.78/484.76	c cleaning 13959 clauses out of 28128 with flag 949000/1058338
959.99/491.40	c cleaning 13974 clauses out of 28169 with flag 963000/1072338
973.67/498.47	c cleaning 14061 clauses out of 28195 with flag 977000/1086338
986.31/504.86	c cleaning 13987 clauses out of 28134 with flag 991000/1100338
998.91/511.29	c cleaning 13954 clauses out of 28147 with flag 1005000/1114338
1012.71/518.22	c cleaning 13947 clauses out of 28193 with flag 1019000/1128338
1026.40/525.30	c cleaning 14079 clauses out of 28246 with flag 1033000/1142338
1038.60/531.49	c cleaning 14058 clauses out of 28167 with flag 1047000/1156338
1050.40/537.42	c cleaning 13964 clauses out of 28109 with flag 1061000/1170338
1061.79/543.30	c cleaning 14016 clauses out of 28145 with flag 1075000/1184338
1066.66/545.80	c  And the winner is CuttingPlanes
1064.47/546.22	c Got one! Elapsed wall clock time (in seconds):546.102
1064.47/546.22	o -24
1069.83/548.96	c cleaning 12342 clauses out of 24851 with flag 5000/1195060
1075.83/552.06	c cleaning 9125 clauses out of 18509 with flag 11000/1201060
1082.23/555.34	c cleaning 8082 clauses out of 16384 with flag 18000/1208060
1091.64/560.19	c cleaning 8021 clauses out of 16302 with flag 26000/1216060
1100.92/564.97	c cleaning 8563 clauses out of 17281 with flag 35000/1225060
1110.73/569.95	c cleaning 9341 clauses out of 18718 with flag 45000/1235060
1124.54/576.98	c cleaning 10173 clauses out of 20377 with flag 56000/1246060
1140.94/585.29	c cleaning 11005 clauses out of 22204 with flag 68000/1258060
1159.42/594.63	c cleaning 11975 clauses out of 24199 with flag 81000/1271060
1176.04/603.06	c cleaning 13009 clauses out of 26224 with flag 95000/1285060
1192.43/611.38	c cleaning 13605 clauses out of 27215 with flag 109000/1299060
1207.00/618.74	c cleaning 13695 clauses out of 27610 with flag 123000/1313060
1221.28/626.08	c cleaning 13900 clauses out of 27915 with flag 137000/1327060
1235.88/633.46	c cleaning 13877 clauses out of 28015 with flag 151000/1341060
1248.86/640.10	c cleaning 13950 clauses out of 28138 with flag 165000/1355060
1261.26/646.37	c cleaning 14040 clauses out of 28188 with flag 179000/1369060
1275.12/653.46	c cleaning 14044 clauses out of 28148 with flag 193000/1383060
1286.10/659.05	c cleaning 13975 clauses out of 28104 with flag 207000/1397060
1300.91/666.60	c cleaning 14019 clauses out of 28129 with flag 221000/1411060
1315.88/674.11	c cleaning 13955 clauses out of 28110 with flag 235000/1425060
1328.95/680.82	c cleaning 13953 clauses out of 28155 with flag 249000/1439060
1341.53/687.25	c cleaning 14077 clauses out of 28202 with flag 263000/1453060
1355.51/694.36	c cleaning 14000 clauses out of 28125 with flag 277000/1467060
1369.11/701.24	c cleaning 13976 clauses out of 28125 with flag 291000/1481060
1383.17/708.44	c cleaning 14038 clauses out of 28149 with flag 305000/1495060
1396.54/715.22	c cleaning 13972 clauses out of 28111 with flag 319000/1509060
1410.16/722.14	c cleaning 14007 clauses out of 28139 with flag 333000/1523060
1422.16/728.21	c cleaning 13991 clauses out of 28132 with flag 347000/1537060
1434.82/734.79	c cleaning 13977 clauses out of 28141 with flag 361000/1551060
1445.79/740.40	c cleaning 14048 clauses out of 28164 with flag 375000/1565060
1457.37/746.22	c cleaning 13976 clauses out of 28116 with flag 389000/1579060
1469.37/752.31	c cleaning 14009 clauses out of 28140 with flag 403000/1593060
1484.79/760.22	c cleaning 14018 clauses out of 28131 with flag 417000/1607060
1497.96/766.93	c cleaning 14005 clauses out of 28113 with flag 431000/1621060
1510.94/773.59	c cleaning 13976 clauses out of 28108 with flag 445000/1635060
1525.14/780.72	c cleaning 13994 clauses out of 28132 with flag 459000/1649060
1539.77/788.23	c cleaning 13985 clauses out of 28138 with flag 473000/1663060
1553.56/795.24	c cleaning 14036 clauses out of 28153 with flag 487000/1677060
1565.51/801.30	c cleaning 14015 clauses out of 28117 with flag 501000/1691060
1576.08/806.75	c cleaning 14008 clauses out of 28102 with flag 515000/1705060
1587.91/812.84	c cleaning 13963 clauses out of 28094 with flag 529000/1719060
1598.25/818.15	c cleaning 13999 clauses out of 28131 with flag 543000/1733060
1607.63/822.97	c cleaning 14039 clauses out of 28132 with flag 557000/1747060
1617.20/827.87	c cleaning 13986 clauses out of 28093 with flag 571000/1761060
1626.43/832.65	c cleaning 13988 clauses out of 28107 with flag 585000/1775060
1638.78/838.90	c cleaning 13964 clauses out of 28119 with flag 599000/1789060
1653.15/846.28	c cleaning 13949 clauses out of 28155 with flag 613000/1803060
1666.72/853.12	c cleaning 14027 clauses out of 28206 with flag 627000/1817060
1680.75/860.33	c cleaning 14008 clauses out of 28179 with flag 641000/1831060
1694.91/867.56	c cleaning 13979 clauses out of 28171 with flag 655000/1845060
1707.27/873.82	c cleaning 14050 clauses out of 28192 with flag 669000/1859060
1719.83/880.28	c cleaning 14035 clauses out of 28142 with flag 683000/1873060
1731.42/886.24	c cleaning 14007 clauses out of 28107 with flag 697000/1887060
1741.97/891.68	c cleaning 14001 clauses out of 28100 with flag 711000/1901060
1752.73/897.19	c cleaning 13995 clauses out of 28099 with flag 725000/1915060
1764.68/903.20	c cleaning 13991 clauses out of 28104 with flag 739000/1929060
1775.08/908.62	c cleaning 13993 clauses out of 28113 with flag 753000/1943060
1784.62/913.59	c cleaning 14021 clauses out of 28120 with flag 767000/1957060
1795.17/918.98	c cleaning 13978 clauses out of 28099 with flag 781000/1971060
1797.92/920.41	c starts		: 52
1797.92/920.41	c conflicts		: 12056
1797.92/920.41	c decisions		: 175919
1797.92/920.41	c propagations		: 4152345
1797.92/920.41	c inspects		: 641779267
1797.92/920.41	c shortcuts		: 0
1797.92/920.41	c learnt literals	: 0
1797.92/920.41	c learnt binary clauses	: 0
1797.92/920.41	c learnt ternary clauses	: 0
1797.92/920.41	c learnt constraints	: 12056
1797.92/920.41	c ignored constraints	: 0
1797.92/920.41	c root simplifications	: 0
1797.92/920.41	c removed literals (reason simplification)	: 0
1797.92/920.41	c reason swapping (by a shorter reason)	: 0
1797.92/920.41	c Calls to reduceDB	: 1
1797.92/920.41	c number of reductions to clauses (during analyze)	: 0
1797.92/920.41	c number of learned constraints concerned by reduction	: 0
1797.92/920.41	c number of learning phase by resolution	: 0
1797.92/920.41	c number of learning phase by cutting planes	: 0
1797.92/920.41	c speed (assignments/second)	: 11096.918936687074
1797.92/920.41	c non guided choices	22
1797.92/920.42	c learnt constraints type 
1797.92/920.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
1797.92/920.42	c org.sat4j.pb.constraints.pb.MaxWatchPb => 12054
1797.92/920.42	c constraints type 
1797.92/920.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6204
1797.92/920.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1797.92/920.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1797.92/920.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
1797.92/920.42	c constraints type 
1797.92/920.42	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
1797.92/920.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6204
1797.92/920.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 403
1797.92/920.42	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6204
1797.92/920.42	s SATISFIABLE
1797.92/920.42	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.92/920.42	c objective function=-24
1797.92/920.42	c Total wall clock time (in seconds): 920.301

Verifier Data 

OK	-24

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

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

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


[startup+0 s]
/proc/loadavg: 3.79 3.61 3.63 3/197 20922
/proc/meminfo: memFree=24718588/32873660 swapFree=7120/7120
[pid=20922] ppid=20920 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/20922/stat : 20922 (java) D 20920 20922 18226 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 338347060 9515008 182 33554432000 1073741824 1073778376 140734694895072 140734694886104 270330052277 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/20922/statm: 2323 182 140 9 0 71 0

[startup+0.062391 s]
/proc/loadavg: 3.79 3.61 3.63 3/197 20922
/proc/meminfo: memFree=24718588/32873660 swapFree=7120/7120
[pid=20922] ppid=20920 vsize=11253516 CPUtime=0.03 cores=0,2,4,6
/proc/20922/stat : 20922 (java) S 20920 20922 18226 0 -1 4202496 4817 0 1 0 2 1 0 0 20 0 13 0 338347060 11523600384 12157 33554432000 1073741824 1073778376 140734018561456 140734018552592 270333411389 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20922/statm: 2813379 12157 1708 9 0 2804080 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11253516

[startup+0.100217 s]
/proc/loadavg: 3.79 3.61 3.63 3/197 20922
/proc/meminfo: memFree=24718588/32873660 swapFree=7120/7120
[pid=20922] ppid=20920 vsize=11586392 CPUtime=0.09 cores=0,2,4,6
/proc/20922/stat : 20922 (java) S 20920 20922 18226 0 -1 4202496 5774 0 1 0 7 2 0 0 20 0 18 0 338347060 11864465408 13619 33554432000 1073741824 1073778376 140734018561456 140734018552592 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20922/statm: 2896598 13620 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392

[startup+0.300168 s]
/proc/loadavg: 3.79 3.61 3.63 3/197 20922
/proc/meminfo: memFree=24718588/32873660 swapFree=7120/7120
[pid=20922] ppid=20920 vsize=11586392 CPUtime=0.46 cores=0,2,4,6
/proc/20922/stat : 20922 (java) S 20920 20922 18226 0 -1 4202496 7050 0 1 0 44 2 0 0 20 0 18 0 338347060 11864465408 16496 33554432000 1073741824 1073778376 140734018561456 140734018552592 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20922/statm: 2896598 16496 2231 9 0 2887285 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 11586392

[startup+0.70017 s]
/proc/loadavg: 3.79 3.61 3.63 3/197 20922
/proc/meminfo: memFree=24718588/32873660 swapFree=7120/7120
[pid=20922] ppid=20920 vsize=11852648 CPUtime=1.7 cores=0,2,4,6
/proc/20922/stat : 20922 (java) S 20920 20922 18226 0 -1 4202496 15565 0 1 0 166 4 0 0 20 0 22 0 338347060 12137111552 31469 33554432000 1073741824 1073778376 140734018561456 140734018552592 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20922/statm: 2963162 31469 2262 9 0 2953849 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 11852648

[startup+1.50061 s]
/proc/loadavg: 3.80 3.61 3.63 4/216 20944
/proc/meminfo: memFree=24578608/32873660 swapFree=7120/7120
[pid=20922] ppid=20920 vsize=11852648 CPUtime=3.04 cores=0,2,4,6
/proc/20922/stat : 20922 (java) S 20920 20922 18226 0 -1 4202496 17837 0 1 0 296 8 0 0 20 0 19 0 338347060 12137111552 42249 33554432000 1073741824 1073778376 140734018561456 140734018552592 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20922/statm: 2963162 42249 2269 9 0 2953849 0
[pid=20922/tid=20924] ppid=20920 vsize=11852648 CPUtime=0.56 cores=0,2,4,6
/proc/20922/task/20924/stat : 20924 (java) S 20920 20922 18226 0 -1 4202560 3916 0 1 0 53 3 0 0 20 0 19 0 338347061 12137111552 42249 33554432000 1073741824 1073778376 140734018561456 139952142656664 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20925] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20925/stat : 20925 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 42249 33554432000 1073741824 1073778376 140734018561456 139952118061864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20926] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20926/stat : 20926 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 42249 33554432000 1073741824 1073778376 140734018561456 139952117009064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20927] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20927/stat : 20927 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 42249 33554432000 1073741824 1073778376 140734018561456 139952115956776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20922/tid=20928] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20928/stat : 20928 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 42249 33554432000 1073741824 1073778376 140734018561456 139952114903976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20922/tid=20929] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20929/stat : 20929 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 42249 33554432000 1073741824 1073778376 140734018561456 139951975221544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20930] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20930/stat : 20930 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 42249 33554432000 1073741824 1073778376 140734018561456 139951974168744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20922/tid=20931] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20931/stat : 20931 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 42249 33554432000 1073741824 1073778376 140734018561456 139951973116456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20932] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20932/stat : 20932 (java) S 20920 20922 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 42249 33554432000 1073741824 1073778376 140734018561456 139951972063656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20933] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20933/stat : 20933 (java) S 20920 20922 18226 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 338347064 12137111552 42249 33554432000 1073741824 1073778376 140734018561456 139951959866088 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20934] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20934/stat : 20934 (java) S 20920 20922 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338347064 12137111552 42249 33554432000 1073741824 1073778376 140734018561456 139951958812152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20935] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20935/stat : 20935 (java) S 20920 20922 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338347064 12137111552 42249 33554432000 1073741824 1073778376 140734018561456 139951957759752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20936] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20936/stat : 20936 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347067 12137111552 42249 33554432000 1073741824 1073778376 140734018561456 139951956708240 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20937] ppid=20920 vsize=11852648 CPUtime=0.72 cores=0,2,4,6
/proc/20922/task/20937/stat : 20937 (java) S 20920 20922 18226 0 -1 4202560 6392 0 0 0 72 0 0 0 20 0 19 0 338347067 12137111552 42249 33554432000 1073741824 1073778376 140734018561456 139951955654840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20938] ppid=20920 vsize=11852648 CPUtime=0.83 cores=0,2,4,6
/proc/20922/task/20938/stat : 20938 (java) S 20920 20922 18226 0 -1 4202560 6205 0 0 0 83 0 0 0 20 0 19 0 338347067 12137111552 42249 33554432000 1073741824 1073778376 140734018561456 139951954602040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20939] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20939/stat : 20939 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347067 12137111552 42249 33554432000 1073741824 1073778376 140734018561456 139951953549944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20940] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20940/stat : 20940 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347067 12137111552 42249 33554432000 1073741824 1073778376 140734018561456 139951952497352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20943] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20943/stat : 20943 (java) S 20920 20922 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338347121 12137111552 42249 33554432000 1073741824 1073778376 140734018561456 139951949338280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 11852648

[startup+3.1007 s]
/proc/loadavg: 3.80 3.61 3.63 3/216 20950
/proc/meminfo: memFree=24529960/32873660 swapFree=7120/7120
[pid=20922] ppid=20920 vsize=11852648 CPUtime=3.59 cores=0,2,4,6
/proc/20922/stat : 20922 (java) S 20920 20922 18226 0 -1 4202496 18094 0 1 0 345 14 0 0 20 0 19 0 338347060 12137111552 58123 33554432000 1073741824 1073778376 140734018561456 140734018552592 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20922/statm: 2963162 58123 2270 9 0 2953849 0
[pid=20922/tid=20924] ppid=20920 vsize=11852648 CPUtime=0.57 cores=0,2,4,6
/proc/20922/task/20924/stat : 20924 (java) S 20920 20922 18226 0 -1 4202560 3917 0 1 0 54 3 0 0 20 0 19 0 338347061 12137111552 58123 33554432000 1073741824 1073778376 140734018561456 139952142656680 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20925] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20925/stat : 20925 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 58123 33554432000 1073741824 1073778376 140734018561456 139952118061864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20926] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20926/stat : 20926 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 58123 33554432000 1073741824 1073778376 140734018561456 139952117009064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20927] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20927/stat : 20927 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 58123 33554432000 1073741824 1073778376 140734018561456 139952115956776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20922/tid=20928] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20928/stat : 20928 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 58123 33554432000 1073741824 1073778376 140734018561456 139952114903976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20922/tid=20929] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20929/stat : 20929 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 58123 33554432000 1073741824 1073778376 140734018561456 139951975221544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20930] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20930/stat : 20930 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 58123 33554432000 1073741824 1073778376 140734018561456 139951974168744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20922/tid=20931] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20931/stat : 20931 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 58123 33554432000 1073741824 1073778376 140734018561456 139951973116456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20932] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20932/stat : 20932 (java) S 20920 20922 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 58123 33554432000 1073741824 1073778376 140734018561456 139951972063656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20933] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20933/stat : 20933 (java) S 20920 20922 18226 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338347064 12137111552 58123 33554432000 1073741824 1073778376 140734018561456 139951959866088 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20934] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20934/stat : 20934 (java) S 20920 20922 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338347064 12137111552 58123 33554432000 1073741824 1073778376 140734018561456 139951958812152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20935] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20935/stat : 20935 (java) S 20920 20922 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338347064 12137111552 58123 33554432000 1073741824 1073778376 140734018561456 139951957759752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20936] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20936/stat : 20936 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347067 12137111552 58123 33554432000 1073741824 1073778376 140734018561456 139951956708240 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20937] ppid=20920 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/20922/task/20937/stat : 20937 (java) S 20920 20922 18226 0 -1 4202560 6597 0 0 0 81 0 0 0 20 0 19 0 338347067 12137111552 58123 33554432000 1073741824 1073778376 140734018561456 139951955654840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20922/tid=20938] ppid=20920 vsize=11852648 CPUtime=0.9 cores=0,2,4,6
/proc/20922/task/20938/stat : 20938 (java) S 20920 20922 18226 0 -1 4202560 6206 0 0 0 90 0 0 0 20 0 19 0 338347067 12137111552 58123 33554432000 1073741824 1073778376 140734018561456 139951954602040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20939] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20939/stat : 20939 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347067 12137111552 58123 33554432000 1073741824 1073778376 140734018561456 139951953549944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20940] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20940/stat : 20940 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347067 12137111552 58123 33554432000 1073741824 1073778376 140734018561456 139951952497352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20943] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20943/stat : 20943 (java) S 20920 20922 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338347121 12137111552 58123 33554432000 1073741824 1073778376 140734018561456 139951949338280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 11852648

[startup+6.30066 s]
/proc/loadavg: 3.80 3.61 3.63 3/215 20971
/proc/meminfo: memFree=24345420/32873660 swapFree=7120/7120
[pid=20922] ppid=20920 vsize=11852648 CPUtime=4.68 cores=0,2,4,6
/proc/20922/stat : 20922 (java) S 20920 20922 18226 0 -1 4202496 18248 0 1 0 439 29 0 0 20 0 19 0 338347060 12137111552 102603 33554432000 1073741824 1073778376 140734018561456 140734018552592 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20922/statm: 2963162 102603 2271 9 0 2953849 0
[pid=20922/tid=20924] ppid=20920 vsize=11852648 CPUtime=0.58 cores=0,2,4,6
/proc/20922/task/20924/stat : 20924 (java) S 20920 20922 18226 0 -1 4202560 3919 0 1 0 55 3 0 0 20 0 19 0 338347061 12137111552 102603 33554432000 1073741824 1073778376 140734018561456 139952142656680 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20925] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20925/stat : 20925 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 102603 33554432000 1073741824 1073778376 140734018561456 139952118061864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20926] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20926/stat : 20926 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 102603 33554432000 1073741824 1073778376 140734018561456 139952117009064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20927] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20927/stat : 20927 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 102603 33554432000 1073741824 1073778376 140734018561456 139952115956776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20922/tid=20928] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20928/stat : 20928 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 102603 33554432000 1073741824 1073778376 140734018561456 139952114903976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20922/tid=20929] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20929/stat : 20929 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 102603 33554432000 1073741824 1073778376 140734018561456 139951975221544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20930] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20930/stat : 20930 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 102603 33554432000 1073741824 1073778376 140734018561456 139951974168744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20922/tid=20931] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20931/stat : 20931 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 102603 33554432000 1073741824 1073778376 140734018561456 139951973116456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20932] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20932/stat : 20932 (java) S 20920 20922 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338347063 12137111552 102603 33554432000 1073741824 1073778376 140734018561456 139951972063656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20933] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20933/stat : 20933 (java) S 20920 20922 18226 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338347064 12137111552 102603 33554432000 1073741824 1073778376 140734018561456 139951959866088 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20922/tid=20934] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20934/stat : 20934 (java) S 20920 20922 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338347064 12137111552 102603 33554432000 1073741824 1073778376 140734018561456 139951958812152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20935] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20935/stat : 20935 (java) S 20920 20922 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338347064 12137111552 102603 33554432000 1073741824 1073778376 140734018561456 139951957759752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20936] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20936/stat : 20936 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347067 12137111552 102603 33554432000 1073741824 1073778376 140734018561456 139951956708240 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20937] ppid=20920 vsize=11852648 CPUtime=0.85 cores=0,2,4,6
/proc/20922/task/20937/stat : 20937 (java) S 20920 20922 18226 0 -1 4202560 6598 0 0 0 85 0 0 0 20 0 19 0 338347067 12137111552 102603 33554432000 1073741824 1073778376 140734018561456 139951955654840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20922/tid=20938] ppid=20920 vsize=11852648 CPUtime=0.96 cores=0,2,4,6
/proc/20922/task/20938/stat : 20938 (java) S 20920 20922 18226 0 -1 4202560 6207 0 0 0 96 0 0 0 20 0 19 0 338347067 12137111552 102603 33554432000 1073741824 1073778376 140734018561456 139951954602040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20939] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20939/stat : 20939 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347067 12137111552 102603 33554432000 1073741824 1073778376 140734018561456 139951953549944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20940] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20940/stat : 20940 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338347067 12137111552 102603 33554432000 1073741824 1073778376 140734018561456 139951952497352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20943] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20943/stat : 20943 (java) S 20920 20922 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338347121 12137111552 102603 33554432000 1073741824 1073778376 140734018561456 139951949338280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 11852648
heavy processes:


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

[pid=20922/tid=20928] ppid=20920 vsize=11852648 CPUtime=0.74 cores=0,2,4,6
/proc/20922/task/20928/stat : 20928 (java) S 20920 20922 18226 0 -1 4202560 68 0 0 0 74 0 0 0 20 0 22 0 338347063 12137111552 611567 33554432000 1073741824 1073778376 140734018561456 139952114903976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20929] ppid=20920 vsize=11852648 CPUtime=0.72 cores=0,2,4,6
/proc/20922/task/20929/stat : 20929 (java) S 20920 20922 18226 0 -1 4202560 59 0 0 0 70 2 0 0 20 0 22 0 338347063 12137111552 611567 33554432000 1073741824 1073778376 140734018561456 139951975221544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20930] ppid=20920 vsize=11852648 CPUtime=0.76 cores=0,2,4,6
/proc/20922/task/20930/stat : 20930 (java) S 20920 20922 18226 0 -1 4202560 76 0 0 0 76 0 0 0 20 0 22 0 338347063 12137111552 611567 33554432000 1073741824 1073778376 140734018561456 139951974168744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20931] ppid=20920 vsize=11852648 CPUtime=0.69 cores=0,2,4,6
/proc/20922/task/20931/stat : 20931 (java) S 20920 20922 18226 0 -1 4202560 73 0 0 0 69 0 0 0 20 0 22 0 338347063 12137111552 611567 33554432000 1073741824 1073778376 140734018561456 139951973116456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20932] ppid=20920 vsize=11852648 CPUtime=0.76 cores=0,2,4,6
/proc/20922/task/20932/stat : 20932 (java) S 20920 20922 18226 0 -1 4202560 53 0 0 0 76 0 0 0 20 0 22 0 338347063 12137111552 611567 33554432000 1073741824 1073778376 140734018561456 139951972063656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20933] ppid=20920 vsize=11852648 CPUtime=27.08 cores=0,2,4,6
/proc/20922/task/20933/stat : 20933 (java) S 20920 20922 18226 0 -1 4202560 166 0 0 0 2702 6 0 0 20 0 22 0 338347064 12137111552 611567 33554432000 1073741824 1073778376 140734018561456 139951959866088 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20922/tid=20934] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20934/stat : 20934 (java) S 20920 20922 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338347064 12137111552 611567 33554432000 1073741824 1073778376 140734018561456 139951958812152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20935] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20935/stat : 20935 (java) S 20920 20922 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338347064 12137111552 611567 33554432000 1073741824 1073778376 140734018561456 139951957759752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20936] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20936/stat : 20936 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338347067 12137111552 611567 33554432000 1073741824 1073778376 140734018561456 139951956708240 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20937] ppid=20920 vsize=11852648 CPUtime=1.21 cores=0,2,4,6
/proc/20922/task/20937/stat : 20937 (java) S 20920 20922 18226 0 -1 4202560 6865 0 0 0 120 1 0 0 20 0 22 0 338347067 12137111552 611567 33554432000 1073741824 1073778376 140734018561456 139951955654840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20922/tid=20938] ppid=20920 vsize=11852648 CPUtime=1.29 cores=0,2,4,6
/proc/20922/task/20938/stat : 20938 (java) S 20920 20922 18226 0 -1 4202560 6221 0 0 0 129 0 0 0 20 0 22 0 338347067 12137111552 611567 33554432000 1073741824 1073778376 140734018561456 139951954602040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20939] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20939/stat : 20939 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338347067 12137111552 611567 33554432000 1073741824 1073778376 140734018561456 139951953549944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20940] ppid=20920 vsize=11852648 CPUtime=0.28 cores=0,2,4,6
/proc/20922/task/20940/stat : 20940 (java) S 20920 20922 18226 0 -1 4202560 47 0 0 0 14 14 0 0 20 0 22 0 338347067 12137111552 611567 33554432000 1073741824 1073778376 140734018561456 139951952497352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20943] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20943/stat : 20943 (java) S 20920 20922 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338347121 12137111552 611567 33554432000 1073741824 1073778376 140734018561456 139951949338280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20922/tid=21001] ppid=20920 vsize=11852648 CPUtime=263.49 cores=0,2,4,6
/proc/20922/task/21001/stat : 21001 (java) R 20920 20922 18226 0 -1 4202560 19 0 0 0 26345 4 0 0 20 0 22 0 338401682 12137111552 611567 33554432000 1073741824 1073778376 140734018561456 139951951442128 139951996827061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=21002] ppid=20920 vsize=11852648 CPUtime=263.45 cores=0,2,4,6
/proc/20922/task/21002/stat : 21002 (java) R 20920 20922 18226 0 -1 4202560 9 0 0 0 26340 5 0 0 20 0 22 0 338401682 12137111552 611567 33554432000 1073741824 1073778376 140734018561456 139951950387552 139951996814459 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=21003] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/21003/stat : 21003 (java) S 20920 20922 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338401682 12137111552 611567 33554432000 1073741824 1073778376 140734018561456 139951948285096 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1606.43
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.99 3.95 3.81 5/219 21122
/proc/meminfo: memFree=21923920/32873660 swapFree=7120/7120
[pid=20922] ppid=20920 vsize=11852648 CPUtime=1723.63 cores=0,2,4,6
/proc/20922/stat : 20922 (java) S 20920 20922 18226 0 -1 4202496 20454 0 1 0 172247 116 0 0 20 0 22 0 338347060 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 140734018552592 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20922/statm: 2963162 612635 2296 9 0 2953849 0
[pid=20922/tid=20924] ppid=20920 vsize=11852648 CPUtime=0.61 cores=0,2,4,6
/proc/20922/task/20924/stat : 20924 (java) S 20920 20922 18226 0 -1 4202560 3978 0 1 0 58 3 0 0 20 0 22 0 338347061 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139952142656680 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20925] ppid=20920 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/20922/task/20925/stat : 20925 (java) S 20920 20922 18226 0 -1 4202560 81 0 0 0 77 2 0 0 20 0 22 0 338347063 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139952118061864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20926] ppid=20920 vsize=11852648 CPUtime=0.84 cores=0,2,4,6
/proc/20922/task/20926/stat : 20926 (java) S 20920 20922 18226 0 -1 4202560 84 0 0 0 82 2 0 0 20 0 22 0 338347063 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139952117009064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20927] ppid=20920 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/20922/task/20927/stat : 20927 (java) S 20920 20922 18226 0 -1 4202560 84 0 0 0 79 0 0 0 20 0 22 0 338347063 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139952115956776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20922/tid=20928] ppid=20920 vsize=11852648 CPUtime=0.82 cores=0,2,4,6
/proc/20922/task/20928/stat : 20928 (java) S 20920 20922 18226 0 -1 4202560 75 0 0 0 82 0 0 0 20 0 22 0 338347063 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139952114903976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20929] ppid=20920 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/20922/task/20929/stat : 20929 (java) S 20920 20922 18226 0 -1 4202560 61 0 0 0 77 2 0 0 20 0 22 0 338347063 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139951975221544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20922/tid=20930] ppid=20920 vsize=11852648 CPUtime=0.83 cores=0,2,4,6
/proc/20922/task/20930/stat : 20930 (java) S 20920 20922 18226 0 -1 4202560 87 0 0 0 83 0 0 0 20 0 22 0 338347063 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139951974168744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20922/tid=20931] ppid=20920 vsize=11852648 CPUtime=0.77 cores=0,2,4,6
/proc/20922/task/20931/stat : 20931 (java) S 20920 20922 18226 0 -1 4202560 80 0 0 0 77 0 0 0 20 0 22 0 338347063 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139951973116456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20932] ppid=20920 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/20922/task/20932/stat : 20932 (java) S 20920 20922 18226 0 -1 4202560 55 0 0 0 81 0 0 0 20 0 22 0 338347063 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139951972063656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20922/tid=20933] ppid=20920 vsize=11852648 CPUtime=30.09 cores=0,2,4,6
/proc/20922/task/20933/stat : 20933 (java) S 20920 20922 18226 0 -1 4202560 172 0 0 0 3003 6 0 0 20 0 22 0 338347064 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139951959866088 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20922/tid=20934] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20934/stat : 20934 (java) S 20920 20922 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338347064 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139951958812152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20935] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20935/stat : 20935 (java) S 20920 20922 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338347064 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139951957759752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20936] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20936/stat : 20936 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338347067 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139951956708240 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20937] ppid=20920 vsize=11852648 CPUtime=1.21 cores=0,2,4,6
/proc/20922/task/20937/stat : 20937 (java) S 20920 20922 18226 0 -1 4202560 6865 0 0 0 120 1 0 0 20 0 22 0 338347067 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139951955654840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20922/tid=20938] ppid=20920 vsize=11852648 CPUtime=1.29 cores=0,2,4,6
/proc/20922/task/20938/stat : 20938 (java) S 20920 20922 18226 0 -1 4202560 6221 0 0 0 129 0 0 0 20 0 22 0 338347067 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139951954602040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20939] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20939/stat : 20939 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338347067 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139951953549944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20940] ppid=20920 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/20922/task/20940/stat : 20940 (java) S 20920 20922 18226 0 -1 4202560 51 0 0 0 15 15 0 0 20 0 22 0 338347067 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139951952497352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20943] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20943/stat : 20943 (java) S 20920 20922 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338347121 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139951949338280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20922/tid=21001] ppid=20920 vsize=11852648 CPUtime=320.15 cores=0,2,4,6
/proc/20922/task/21001/stat : 21001 (java) R 20920 20922 18226 0 -1 4202560 22 0 0 0 32011 4 0 0 20 0 22 0 338401682 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139951951442128 139951996827035 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=21002] ppid=20920 vsize=11852648 CPUtime=320.11 cores=0,2,4,6
/proc/20922/task/21002/stat : 21002 (java) R 20920 20922 18226 0 -1 4202560 9 0 0 0 32006 5 0 0 20 0 22 0 338401682 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139951950387440 139951996815083 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=21003] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/21003/stat : 21003 (java) S 20920 20922 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338401682 12137111552 612635 33554432000 1073741824 1073778376 140734018561456 139951948285096 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1723.63
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+920.401 s]
/proc/loadavg: 3.99 3.95 3.81 5/218 21122
/proc/meminfo: memFree=21909348/32873660 swapFree=7120/7120
[pid=20922] ppid=20920 vsize=11852648 CPUtime=1797.92 cores=0,2,4,6
/proc/20922/stat : 20922 (java) S 20920 20922 18226 0 -1 4202496 20495 0 1 0 179674 118 0 0 20 0 22 0 338347060 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 140734018552592 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20922/statm: 2963162 615220 2296 9 0 2953849 0
[pid=20922/tid=20924] ppid=20920 vsize=11852648 CPUtime=0.61 cores=0,2,4,6
/proc/20922/task/20924/stat : 20924 (java) S 20920 20922 18226 0 -1 4202560 3982 0 1 0 58 3 0 0 20 0 22 0 338347061 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139952142656680 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20925] ppid=20920 vsize=11852648 CPUtime=0.84 cores=0,2,4,6
/proc/20922/task/20925/stat : 20925 (java) S 20920 20922 18226 0 -1 4202560 86 0 0 0 82 2 0 0 20 0 22 0 338347063 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139952118061864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20926] ppid=20920 vsize=11852648 CPUtime=0.9 cores=0,2,4,6
/proc/20922/task/20926/stat : 20926 (java) S 20920 20922 18226 0 -1 4202560 91 0 0 0 88 2 0 0 20 0 22 0 338347063 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139952117009064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20927] ppid=20920 vsize=11852648 CPUtime=0.82 cores=0,2,4,6
/proc/20922/task/20927/stat : 20927 (java) S 20920 20922 18226 0 -1 4202560 84 0 0 0 82 0 0 0 20 0 22 0 338347063 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139952115956776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20928] ppid=20920 vsize=11852648 CPUtime=0.85 cores=0,2,4,6
/proc/20922/task/20928/stat : 20928 (java) S 20920 20922 18226 0 -1 4202560 75 0 0 0 85 0 0 0 20 0 22 0 338347063 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139952114903976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20929] ppid=20920 vsize=11852648 CPUtime=0.82 cores=0,2,4,6
/proc/20922/task/20929/stat : 20929 (java) S 20920 20922 18226 0 -1 4202560 63 0 0 0 80 2 0 0 20 0 22 0 338347063 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139951975221544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20930] ppid=20920 vsize=11852648 CPUtime=0.86 cores=0,2,4,6
/proc/20922/task/20930/stat : 20930 (java) S 20920 20922 18226 0 -1 4202560 92 0 0 0 86 0 0 0 20 0 22 0 338347063 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139951974168744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20922/tid=20931] ppid=20920 vsize=11852648 CPUtime=0.82 cores=0,2,4,6
/proc/20922/task/20931/stat : 20931 (java) S 20920 20922 18226 0 -1 4202560 80 0 0 0 82 0 0 0 20 0 22 0 338347063 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139951973116456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20932] ppid=20920 vsize=11852648 CPUtime=0.84 cores=0,2,4,6
/proc/20922/task/20932/stat : 20932 (java) S 20920 20922 18226 0 -1 4202560 60 0 0 0 84 0 0 0 20 0 22 0 338347063 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139951972063656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20922/tid=20933] ppid=20920 vsize=11852648 CPUtime=32.12 cores=0,2,4,6
/proc/20922/task/20933/stat : 20933 (java) S 20920 20922 18226 0 -1 4202560 180 0 0 0 3206 6 0 0 20 0 22 0 338347064 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139951959866088 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20922/tid=20934] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20934/stat : 20934 (java) S 20920 20922 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338347064 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139951958812152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20935] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20935/stat : 20935 (java) S 20920 20922 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338347064 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139951957759752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20936] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20936/stat : 20936 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338347067 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139951956708240 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20937] ppid=20920 vsize=11852648 CPUtime=1.21 cores=0,2,4,6
/proc/20922/task/20937/stat : 20937 (java) S 20920 20922 18226 0 -1 4202560 6865 0 0 0 120 1 0 0 20 0 22 0 338347067 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139951955654840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20922/tid=20938] ppid=20920 vsize=11852648 CPUtime=1.29 cores=0,2,4,6
/proc/20922/task/20938/stat : 20938 (java) S 20920 20922 18226 0 -1 4202560 6221 0 0 0 129 0 0 0 20 0 22 0 338347067 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139951954602040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20939] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20939/stat : 20939 (java) S 20920 20922 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338347067 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139951953549944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=20940] ppid=20920 vsize=11852648 CPUtime=0.32 cores=0,2,4,6
/proc/20922/task/20940/stat : 20940 (java) S 20920 20922 18226 0 -1 4202560 53 0 0 0 16 16 0 0 20 0 22 0 338347067 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139951952497352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=20943] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/20943/stat : 20943 (java) S 20920 20922 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338347121 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139951949338280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20922/tid=21001] ppid=20920 vsize=11852648 CPUtime=356.03 cores=0,2,4,6
/proc/20922/task/21001/stat : 21001 (java) R 20920 20922 18226 0 -1 4202560 22 0 0 0 35598 5 0 0 20 0 22 0 338401682 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139951951442128 139951996842680 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20922/tid=21002] ppid=20920 vsize=11852648 CPUtime=355.98 cores=0,2,4,6
/proc/20922/task/21002/stat : 21002 (java) R 20920 20922 18226 0 -1 4202560 12 0 0 0 35592 6 0 0 20 0 22 0 338401682 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139951950387440 139951996814461 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20922/tid=21003] ppid=20920 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20922/task/21003/stat : 21003 (java) S 20920 20922 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338401682 12137111552 615220 33554432000 1073741824 1073778376 140734018561456 139951948285096 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1797.92
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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20922 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=879136
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=343795
# CPU time returned by wait4() is 1796.22
# while last known CPU time is 1797.92
#
# 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.26007
#  lost CPU user time (s): 2.4401
#  lost CPU system time (s): -0.18

Real time (s): 920.433
CPU time (s): 1800.18
CPU user time (s): 1799.18
CPU system time (s): 1
CPU usage (%): 195.58
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.88
system time used= 1.3438
maximum resident set size= 2460992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20524
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26568
involuntary context switches= 23110

runsolver used 3.37949 second user time and 8.11577 second system time

The end

Launcher Data 

Begin job on node117 at 2012-06-03 13:16:53
IDJOB=3737449
IDBENCH=48239
IDSOLVER=2328
FILE ID=node117/3737449-1338722213
RUNJOBID= node117-1338713269-18242
PBS_JOBID= 14636728
Free space on /tmp= 69120 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_1.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737449-1338722213/watcher-3737449-1338722213 -o /tmp/evaluation-result-3737449-1338722213/solver-3737449-1338722213 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3737449-1338722213.opb

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

MD5SUM BENCH= 4142356c9f50acd7c9005938f6b31a6d
RANDOM SEED=1903906294

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:        24718852 kB
Buffers:          620656 kB
Cached:          4126340 kB
SwapCached:          776 kB
Active:          4763312 kB
Inactive:        2458108 kB
Active(anon):    2459964 kB
Inactive(anon):     9972 kB
Active(file):    2303348 kB
Inactive(file):  2448136 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:               100 kB
Writeback:             0 kB
AnonPages:       2588352 kB
Mapped:            20520 kB
Shmem:                80 kB
Slab:             776948 kB
SReclaimable:     221096 kB
SUnreclaim:       555852 kB
KernelStack:        1784 kB
PageTables:         9240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:   10460872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2535424 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:32:16