Trace number 3687668

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
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)336 1800.04 987.674

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
MD5SUM2821538067d8c071dc9bd4a000c6d040
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark334
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 340
Optimality of the best value was proved NO
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 2500
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 2500
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.08/0.08	c version 2.3.2.v20120418
0.08/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.08	c java.vm.version	19.1-b02
0.08/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.08	c sun.arch.data.model	64
0.08/0.08	c java.version		1.6.0_24
0.08/0.08	c os.name		Linux
0.08/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.08	c os.arch		amd64
0.08/0.08	c Free memory 		501472288
0.08/0.08	c Max memory 		7480803328
0.08/0.08	c Total memory 		504102912
0.08/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3687668-1337873060.opb
0.10/0.11	c reading problem ... 
2.11/1.08	c ... done. Wall clock time 0.965s.
2.11/1.08	c declared #vars     2700
2.11/1.08	c #constraints  43070
2.11/1.08	c constraints type 
2.11/1.08	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17340
2.11/1.08	c org.sat4j.minisat.constraints.card.MinWatchCard => 800
2.11/1.08	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3330
2.11/1.10	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21600
2.11/1.10	c 43070 constraints processed.
2.11/1.10	c constraints type 
2.11/1.10	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3330
2.11/1.10	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17340
2.11/1.10	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 800
2.11/1.10	c org.sat4j.pb.constraints.pb.MaxWatchPb => 21600
2.11/1.10	c 43070 constraints processed.
2.11/1.10	c objective function length is 900 literals
2.82/1.35	c  And the winner is solver0
3.04/1.58	c SATISFIABLE
3.04/1.58	c OPTIMIZING...
3.04/1.58	c Got one! Elapsed wall clock time (in seconds):1.469
3.04/1.58	o 350
6.25/2.57	c cleaning 2827 clauses out of 5671 with flag 5000/5671
7.26/3.06	c cleaning 4422 clauses out of 8844 with flag 11000/11671
8.16/3.55	c cleaning 5711 clauses out of 11422 with flag 18000/18671
9.27/4.13	c cleaning 6848 clauses out of 13711 with flag 26000/26671
10.70/4.90	c cleaning 7928 clauses out of 15864 with flag 35001/35672
12.00/5.65	c cleaning 8967 clauses out of 17936 with flag 45001/45672
13.47/6.50	c cleaning 9984 clauses out of 19968 with flag 56000/56671
15.30/7.44	c cleaning 10991 clauses out of 21985 with flag 68001/68672
17.21/8.53	c cleaning 11996 clauses out of 23993 with flag 81000/81671
19.40/9.70	c cleaning 12999 clauses out of 25998 with flag 95001/95672
21.41/10.89	c cleaning 13995 clauses out of 27998 with flag 110000/110671
23.81/12.17	c cleaning 15000 clauses out of 30006 with flag 126003/126674
26.26/13.59	c cleaning 16000 clauses out of 32004 with flag 143001/143672
28.81/14.95	c cleaning 16999 clauses out of 34004 with flag 161001/161672
31.58/16.45	c cleaning 18002 clauses out of 36004 with flag 180000/180671
34.71/18.10	c cleaning 18996 clauses out of 38002 with flag 200000/200671
37.91/19.97	c cleaning 20003 clauses out of 40007 with flag 221001/221672
41.42/21.88	c cleaning 20999 clauses out of 42003 with flag 243000/243671
44.93/23.76	c cleaning 21994 clauses out of 44006 with flag 266002/266673
48.82/25.82	c cleaning 23000 clauses out of 46010 with flag 290000/290671
52.96/28.10	c cleaning 24001 clauses out of 48011 with flag 315001/315672
56.84/30.24	c cleaning 25001 clauses out of 50009 with flag 341000/341671
60.71/32.33	c cleaning 25991 clauses out of 52008 with flag 368000/368671
64.79/34.52	c cleaning 27006 clauses out of 54017 with flag 396000/396671
69.24/37.05	c cleaning 27996 clauses out of 56011 with flag 425000/425671
73.96/39.56	c cleaning 28998 clauses out of 58015 with flag 455000/455671
79.00/42.21	c cleaning 30006 clauses out of 60017 with flag 486000/486671
83.84/44.80	c cleaning 31006 clauses out of 62011 with flag 518000/518671
88.87/47.66	c cleaning 31992 clauses out of 64005 with flag 551000/551671
94.67/50.71	c cleaning 33000 clauses out of 66013 with flag 585000/585671
99.86/53.55	c cleaning 34002 clauses out of 68014 with flag 620001/620672
105.66/56.67	c cleaning 34999 clauses out of 70011 with flag 656000/656671
112.24/60.24	c cleaning 36005 clauses out of 72015 with flag 693003/693674
119.02/63.87	c cleaning 36990 clauses out of 74008 with flag 731001/731672
125.76/67.44	c cleaning 38010 clauses out of 76021 with flag 770004/770675
132.10/70.85	c cleaning 38995 clauses out of 78008 with flag 810001/810672
139.38/74.84	c cleaning 40002 clauses out of 80015 with flag 851003/851674
146.67/78.70	c cleaning 41001 clauses out of 82011 with flag 893001/893672
154.72/83.03	c cleaning 41997 clauses out of 84009 with flag 936000/936671
163.17/87.59	c cleaning 42997 clauses out of 86013 with flag 980001/980672
172.53/92.66	c cleaning 44004 clauses out of 88016 with flag 1025001/1025672
177.56/95.44	c cleaning 0 clauses out of 5029 with flag 0/5029
183.96/98.64	c cleaning 45002 clauses out of 90011 with flag 1071000/1071671
192.76/103.37	c cleaning 45997 clauses out of 92009 with flag 1118000/1118671
202.62/108.72	c cleaning 47002 clauses out of 94012 with flag 1166000/1166671
212.88/114.10	c cleaning 48005 clauses out of 96010 with flag 1215000/1215671
223.14/119.54	c cleaning 49001 clauses out of 98006 with flag 1265001/1265672
234.38/125.43	c cleaning 49994 clauses out of 100004 with flag 1316000/1316671
243.85/130.69	c cleaning 51002 clauses out of 102011 with flag 1368001/1368672
254.00/136.04	c cleaning 51997 clauses out of 104009 with flag 1421001/1421672
264.97/141.81	c cleaning 53002 clauses out of 106017 with flag 1475006/1475677
275.08/147.27	c cleaning 54005 clauses out of 108009 with flag 1530000/1530671
286.47/153.69	c cleaning 54994 clauses out of 110004 with flag 1586000/1586671
297.40/159.64	c cleaning 55994 clauses out of 112010 with flag 1643000/1643671
308.93/165.94	c cleaning 57004 clauses out of 114017 with flag 1701001/1701672
321.47/172.72	c cleaning 57996 clauses out of 116014 with flag 1760002/1760673
333.23/179.43	c cleaning 59001 clauses out of 118019 with flag 1820003/1820674
344.50/185.61	c cleaning 59998 clauses out of 120015 with flag 1881000/1881671
357.72/192.85	c cleaning 61001 clauses out of 122018 with flag 1943001/1943672
370.49/199.89	c cleaning 62009 clauses out of 124017 with flag 2006001/2006672
385.39/208.13	c cleaning 62998 clauses out of 126007 with flag 2070000/2070671
398.92/215.58	c cleaning 63996 clauses out of 128010 with flag 2135001/2135672
415.46/224.43	c cleaning 65000 clauses out of 130013 with flag 2201000/2201671
430.25/232.52	c cleaning 66004 clauses out of 132014 with flag 2268001/2268672
445.19/240.97	c cleaning 67002 clauses out of 134010 with flag 2336001/2336672
460.86/249.59	c cleaning 67992 clauses out of 136009 with flag 2405002/2405673
476.61/258.13	c cleaning 69003 clauses out of 138016 with flag 2475001/2475672
492.96/267.02	c cleaning 70003 clauses out of 140012 with flag 2546000/2546671
507.92/275.59	c cleaning 70994 clauses out of 142009 with flag 2618000/2618671
522.10/283.32	c cleaning 72000 clauses out of 144015 with flag 2691000/2691671
539.65/292.86	c cleaning 73004 clauses out of 146015 with flag 2765000/2765671
555.48/301.57	c cleaning 74001 clauses out of 148011 with flag 2840000/2840671
573.14/311.45	c cleaning 75005 clauses out of 150010 with flag 2916000/2916671
588.97/320.12	c cleaning 75994 clauses out of 152005 with flag 2993000/2993671
606.40/329.65	c cleaning 77002 clauses out of 154011 with flag 3071000/3071671
622.92/338.76	c cleaning 78002 clauses out of 156009 with flag 3150000/3150671
639.58/348.26	c cleaning 78996 clauses out of 158007 with flag 3230000/3230671
655.51/357.04	c cleaning 79994 clauses out of 160011 with flag 3311000/3311671
738.39/400.65	c cleaning 80991 clauses out of 162018 with flag 3393001/3393672
748.85/406.44	c  And the winner is solver0
748.97/407.35	c Got one! Elapsed wall clock time (in seconds):407.234
748.97/407.35	o 348
749.67/408.16	c cleaning 46805 clauses out of 93609 with flag 5000/3406254
752.68/410.27	c cleaning 26399 clauses out of 52807 with flag 11003/3412257
755.44/412.23	c cleaning 16702 clauses out of 33405 with flag 18000/3419254
758.81/414.80	c cleaning 12329 clauses out of 24703 with flag 26000/3427254
761.66/416.85	c  And the winner is solver0
761.82/417.00	c Got one! Elapsed wall clock time (in seconds):416.889
761.82/417.00	o 344
762.65/417.40	c cleaning 11712 clauses out of 23435 with flag 5006/3438315
764.73/419.07	c cleaning 8844 clauses out of 17719 with flag 11002/3444311
767.15/420.90	c cleaning 7915 clauses out of 15873 with flag 18000/3451309
771.18/423.70	c cleaning 7966 clauses out of 15959 with flag 26001/3459310
774.03/425.76	c cleaning 8469 clauses out of 16994 with flag 35002/3468311
777.46/428.03	c cleaning 9235 clauses out of 18524 with flag 45001/3478310
781.30/430.53	c cleaning 10123 clauses out of 20292 with flag 56004/3489313
786.11/433.83	c cleaning 11038 clauses out of 22165 with flag 68000/3501309
791.14/436.96	c cleaning 12046 clauses out of 24127 with flag 81000/3514309
796.00/440.00	c cleaning 13022 clauses out of 26081 with flag 95000/3528309
801.04/443.07	c cleaning 13991 clauses out of 28059 with flag 110000/3543309
807.23/447.03	c cleaning 15007 clauses out of 30068 with flag 126000/3559309
813.10/450.53	c cleaning 15992 clauses out of 32063 with flag 143002/3576311
819.95/454.59	c cleaning 16989 clauses out of 34069 with flag 161000/3594309
827.39/458.85	c cleaning 17979 clauses out of 36080 with flag 180000/3613309
835.77/463.92	c cleaning 19001 clauses out of 38101 with flag 200000/3633309
846.41/469.82	c cleaning 20031 clauses out of 40101 with flag 221001/3654310
862.46/478.46	c  And the winner is solver0
863.13/479.19	c Got one! Elapsed wall clock time (in seconds):479.074
863.13/479.19	o 340
863.93/479.68	c cleaning 20867 clauses out of 41739 with flag 5000/3675979
866.36/481.47	c cleaning 13404 clauses out of 26872 with flag 11000/3681979
869.90/484.16	c cleaning 10156 clauses out of 20468 with flag 18000/3688979
873.12/486.32	c cleaning 9078 clauses out of 18313 with flag 26001/3696980
876.73/488.77	c cleaning 9048 clauses out of 18234 with flag 35000/3705979
882.18/492.07	c cleaning 9560 clauses out of 19187 with flag 45001/3715980
887.53/495.64	c cleaning 10221 clauses out of 20627 with flag 56001/3726980
892.79/498.80	c cleaning 11135 clauses out of 22405 with flag 68000/3738979
897.83/501.92	c cleaning 12083 clauses out of 24270 with flag 81000/3751979
903.47/505.33	c cleaning 13066 clauses out of 26188 with flag 95001/3765980
909.67/509.33	c cleaning 14040 clauses out of 28121 with flag 110000/3780979
917.88/514.00	c cleaning 15017 clauses out of 30081 with flag 126000/3796979
925.92/518.68	c cleaning 16005 clauses out of 32064 with flag 143000/3813979
933.14/522.90	c cleaning 16989 clauses out of 34060 with flag 161001/3831980
946.27/530.34	c cleaning 18010 clauses out of 36072 with flag 180002/3850981
955.10/535.33	c cleaning 18997 clauses out of 38060 with flag 200000/3870979
964.34/540.57	c cleaning 20014 clauses out of 40065 with flag 221002/3891981
975.76/546.89	c cleaning 21008 clauses out of 42051 with flag 243002/3913981
989.14/554.47	c cleaning 22007 clauses out of 44042 with flag 266001/3936980
1000.78/560.83	c cleaning 22973 clauses out of 46035 with flag 290001/3960980
1013.60/567.89	c cleaning 24030 clauses out of 48062 with flag 315001/3985980
1015.42/569.37	c  And the winner is solver0
1016.38/570.38	c Got one! Elapsed wall clock time (in seconds):570.266
1016.38/570.38	o 336
1016.90/570.74	c cleaning 14643 clauses out of 29326 with flag 4001/3991274
1019.89/573.14	c cleaning 10328 clauses out of 20683 with flag 10001/3997274
1022.29/574.95	c cleaning 8654 clauses out of 17355 with flag 17001/4004274
1025.11/576.90	c cleaning 8313 clauses out of 16701 with flag 25001/4012274
1028.32/579.18	c cleaning 8687 clauses out of 17388 with flag 34001/4021274
1032.68/582.21	c cleaning 9317 clauses out of 18702 with flag 44002/4031275
1036.69/584.83	c cleaning 10169 clauses out of 20383 with flag 55000/4042273
1041.49/587.89	c cleaning 11090 clauses out of 22215 with flag 67001/4054274
1046.31/590.83	c cleaning 12042 clauses out of 24124 with flag 80000/4067273
1052.01/594.66	c cleaning 13028 clauses out of 26083 with flag 94001/4081274
1057.40/597.99	c cleaning 14021 clauses out of 28055 with flag 109001/4096274
1065.40/602.58	c cleaning 14978 clauses out of 30037 with flag 125004/4112277
1075.63/608.24	c cleaning 15986 clauses out of 32061 with flag 142006/4129279
1084.76/613.78	c cleaning 16963 clauses out of 34069 with flag 160000/4147273
1094.38/619.18	c cleaning 18029 clauses out of 36106 with flag 179000/4166273
1103.77/624.41	c cleaning 19020 clauses out of 38077 with flag 199000/4186273
1113.20/629.77	c cleaning 20001 clauses out of 40057 with flag 220000/4207273
1125.33/636.76	c cleaning 20976 clauses out of 42056 with flag 242000/4229273
1136.53/642.98	c cleaning 21999 clauses out of 44080 with flag 265000/4252273
1150.11/650.39	c cleaning 23013 clauses out of 46084 with flag 289003/4276276
1162.12/656.93	c cleaning 24015 clauses out of 48069 with flag 314001/4301274
1174.67/664.17	c cleaning 24972 clauses out of 50055 with flag 340002/4327275
1187.66/671.26	c cleaning 26002 clauses out of 52088 with flag 367007/4354280
1200.04/678.02	c cleaning 26982 clauses out of 54082 with flag 395003/4382276
1215.02/686.14	c cleaning 27994 clauses out of 56097 with flag 424000/4411273
1242.19/700.61	c cleaning 28975 clauses out of 58104 with flag 454001/4441274
1262.12/711.27	c cleaning 30002 clauses out of 60130 with flag 485002/4472275
1284.85/723.25	c cleaning 31027 clauses out of 62127 with flag 517001/4504274
1315.12/738.96	c cleaning 31916 clauses out of 64099 with flag 550000/4537273
1372.06/768.21	c cleaning 32938 clauses out of 66183 with flag 584000/4571273
1411.47/788.57	c cleaning 34036 clauses out of 68246 with flag 619001/4606274
1430.42/798.70	c cleaning 34993 clauses out of 70210 with flag 655001/4642274
1481.99/825.02	c cleaning 36005 clauses out of 72216 with flag 692000/4679273
1485.14/827.62	c cleaning 0 clauses out of 11948 with flag 0/11950
1546.51/858.86	c cleaning 36998 clauses out of 74211 with flag 730000/4717273
1625.03/898.62	c cleaning 38020 clauses out of 76218 with flag 769005/4756278
1690.89/932.16	c cleaning 38990 clauses out of 78193 with flag 809000/4796273
1776.97/976.17	c cleaning 40009 clauses out of 80203 with flag 850000/4837273
1798.55/987.61	c starts		: 277
1798.55/987.61	c conflicts		: 4848684
1798.55/987.61	c decisions		: 6912266
1798.55/987.61	c propagations		: 239598732
1798.55/987.61	c inspects		: 4899429557
1798.55/987.61	c shortcuts		: 0
1798.55/987.61	c learnt literals	: 0
1798.55/987.61	c learnt binary clauses	: 0
1798.55/987.61	c learnt ternary clauses	: 0
1798.55/987.61	c learnt constraints	: 4848684
1798.55/987.61	c ignored constraints	: 0
1798.55/987.61	c root simplifications	: 0
1798.55/987.61	c removed literals (reason simplification)	: 17360195
1798.55/987.61	c reason swapping (by a shorter reason)	: 0
1798.55/987.61	c Calls to reduceDB	: 157
1798.55/987.61	c number of reductions to clauses (during analyze)	: 0
1798.55/987.61	c number of learned constraints concerned by reduction	: 0
1798.55/987.61	c number of learning phase by resolution	: 0
1798.55/987.61	c number of learning phase by cutting planes	: 0
1798.55/987.61	c speed (assignments/second)	: 242873.65841000047
1798.55/987.61	c non guided choices	5130
1798.55/987.63	c learnt constraints type 
1798.55/987.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 51617
1798.55/987.63	c constraints type 
1798.55/987.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17340
1798.55/987.63	c org.sat4j.minisat.constraints.card.MinWatchCard => 800
1798.55/987.63	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3330
1798.55/987.63	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21601
1798.55/987.63	c 43071 constraints processed.
1798.55/987.63	c constraints type 
1798.55/987.63	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3330
1798.55/987.63	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17340
1798.55/987.63	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 800
1798.55/987.63	c org.sat4j.pb.constraints.pb.MaxWatchPb => 21601
1798.55/987.63	c 43071 constraints processed.
1798.55/987.63	s SATISFIABLE
1798.55/987.64	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 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 -x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 x1710 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 x1802 x1803 -x1804 -x1805 -x1806 x1807 -x1808 -x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 x1900 -x1901 -x1902 x1903 -x1904 x1905 x1906 -x1907 x1908 -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 x2049 -x2050 -x2051 -x2052 x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 x2099 x2100 -x2101 -x2102 x2103 -x2104 x2105 -x2106 -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 x2159 -x2160 -x2161 -x2162 -x2163 -x2164 x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2199 x2200 -x2201 x2202 x2203 x2204 x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 x2298 x2299 x2300 x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 x2397 x2398 -x2399 x2400 x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 -x2494 x2495 -x2496 -x2497 -x2498 x2499 x2500 x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 x2593 x2594 -x2595 -x2596 -x2597 x2598 x2599 -x2600 x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 -x2640 -x2641 -x2642 x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 x2692 x2693 -x2694 -x2695 x2696 -x2697 -x2698 x2699 -x2700 
1798.55/987.64	c objective function=336
1798.55/987.64	c Total wall clock time (in seconds): 987.531

Verifier Data 

OK	336

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-3687668-1337873060/watcher-3687668-1337873060 -o /tmp/evaluation-result-3687668-1337873060/solver-3687668-1337873060 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687668-1337873060.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.93 3.85 2.76 4/197 24146
/proc/meminfo: memFree=28732864/32873844 swapFree=7616/7616
[pid=24146] ppid=24144 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23801 0 -1 4202496 1206 0 0 0 0 0 0 0 20 0 2 0 253431606 94019584 917 33554432000 1073741824 1073778376 140735042030272 140735042021408 214373007421 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 22954 917 697 9 0 16769 0
[pid=24146/tid=24147] ppid=24144 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24147/stat : 24147 (java) D 24144 24146 23801 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 253431606 94019584 917 33554432000 1073741824 1073778376 140735042030272 140415821053480 214360485159 0 0 4096 0 18446744072100588836 0 0 -1 3 0 0 0 0 0

[startup+0.0853081 s]
/proc/loadavg: 3.93 3.85 2.76 4/197 24146
/proc/meminfo: memFree=28732864/32873844 swapFree=7616/7616
[pid=24146] ppid=24144 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23801 0 -1 4202496 4075 0 1 0 7 1 0 0 20 0 18 0 253431606 9787813888 5274 33554432000 1073741824 1073778376 140735042030272 140735042021408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 2389603 5275 2036 9 0 2380296 0
[pid=24146/tid=24147] ppid=24144 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/24146/task/24147/stat : 24147 (java) R 24144 24146 23801 0 -1 4202560 2267 0 1 0 6 0 0 0 20 0 18 0 253431606 9787813888 5276 33554432000 1073741824 1073778376 140735042030272 140415821056944 214369648309 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.100346 s]
/proc/loadavg: 3.93 3.85 2.76 4/197 24146
/proc/meminfo: memFree=28732864/32873844 swapFree=7616/7616
[pid=24146] ppid=24144 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23801 0 -1 4202496 4319 0 1 0 9 1 0 0 20 0 18 0 253431606 9787813888 6028 33554432000 1073741824 1073778376 140735042030272 140735042021408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 2389603 6028 2109 9 0 2380296 0
[pid=24146/tid=24147] ppid=24144 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/24146/task/24147/stat : 24147 (java) R 24144 24146 23801 0 -1 4202560 2365 0 1 0 7 0 0 0 20 0 18 0 253431606 9787813888 6028 33554432000 1073741824 1073778376 140735042030272 140415821056944 214373033229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.30022 s]
/proc/loadavg: 3.93 3.85 2.76 4/197 24146
/proc/meminfo: memFree=28732864/32873844 swapFree=7616/7616
[pid=24146] ppid=24144 vsize=9558412 CPUtime=0.52 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23801 0 -1 4202496 6052 0 1 0 50 2 0 0 20 0 18 0 253431606 9787813888 12543 33554432000 1073741824 1073778376 140735042030272 140735042021408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 2389603 12543 2217 9 0 2380296 0
[pid=24146/tid=24147] ppid=24144 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/24146/task/24147/stat : 24147 (java) R 24144 24146 23801 0 -1 4202560 2461 0 1 0 26 1 0 0 20 0 18 0 253431606 9787813888 12543 33554432000 1073741824 1073778376 140735042030272 140415821056944 140415651094071 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558412

[startup+0.700348 s]
/proc/loadavg: 3.93 3.85 2.76 4/197 24146
/proc/meminfo: memFree=28732864/32873844 swapFree=7616/7616
[pid=24146] ppid=24144 vsize=9558412 CPUtime=1.51 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23801 0 -1 4202496 13556 0 1 0 144 7 0 0 20 0 18 0 253431606 9787813888 45154 33554432000 1073741824 1073778376 140735042030272 140735042021408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 2389603 45154 2259 9 0 2380296 0
[pid=24146/tid=24147] ppid=24144 vsize=9558412 CPUtime=0.65 cores=1,3,5,7
/proc/24146/task/24147/stat : 24147 (java) R 24144 24146 23801 0 -1 4202560 2535 0 1 0 62 3 0 0 20 0 18 0 253431606 9787813888 45154 33554432000 1073741824 1073778376 140735042030272 140415821056664 140415651132904 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9558412

[startup+1.50077 s]
/proc/loadavg: 3.86 3.84 2.76 4/215 24164
/proc/meminfo: memFree=28535628/32873844 swapFree=7616/7616
[pid=24146] ppid=24144 vsize=9824668 CPUtime=3.04 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23801 0 -1 4202496 15798 0 1 0 291 13 0 0 20 0 19 0 253431606 10060460032 52265 33554432000 1073741824 1073778376 140735042030272 140735042021408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 2456167 52265 2269 9 0 2446860 0
[pid=24146/tid=24147] ppid=24144 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/24146/task/24147/stat : 24147 (java) S 24144 24146 23801 0 -1 4202560 2540 0 1 0 96 4 0 0 20 0 19 0 253431606 10060460032 52265 33554432000 1073741824 1073778376 140735042030272 140415821059064 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24149] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24149/stat : 24149 (java) S 24144 24146 23801 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253431607 10060460032 52265 33554432000 1073741824 1073778376 140735042030272 140415782550312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24150] ppid=24144 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24146/task/24150/stat : 24150 (java) S 24144 24146 23801 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 253431607 10060460032 52265 33554432000 1073741824 1073778376 140735042030272 140415781497512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24151] ppid=24144 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24146/task/24151/stat : 24151 (java) S 24144 24146 23801 0 -1 4202560 95 0 0 0 1 0 0 0 20 0 19 0 253431607 10060460032 52265 33554432000 1073741824 1073778376 140735042030272 140415780445224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24152] ppid=24144 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24146/task/24152/stat : 24152 (java) S 24144 24146 23801 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 253431607 10060460032 52265 33554432000 1073741824 1073778376 140735042030272 140415779392424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24153] ppid=24144 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24146/task/24153/stat : 24153 (java) S 24144 24146 23801 0 -1 4202560 99 0 0 0 1 0 0 0 20 0 19 0 253431607 10060460032 52265 33554432000 1073741824 1073778376 140735042030272 140415778339112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24154] ppid=24144 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24146/task/24154/stat : 24154 (java) S 24144 24146 23801 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 253431607 10060460032 52265 33554432000 1073741824 1073778376 140735042030272 140415777286312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24155] ppid=24144 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/24146/task/24155/stat : 24155 (java) S 24144 24146 23801 0 -1 4202560 104 0 0 0 2 1 0 0 20 0 19 0 253431607 10060460032 52265 33554432000 1073741824 1073778376 140735042030272 140415776234024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24156] ppid=24144 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24146/task/24156/stat : 24156 (java) S 24144 24146 23801 0 -1 4202560 81 0 0 0 1 0 0 0 20 0 19 0 253431607 10060460032 52265 33554432000 1073741824 1073778376 140735042030272 140415775181224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24157] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24157/stat : 24157 (java) S 24144 24146 23801 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 253431608 10060460032 52265 33554432000 1073741824 1073778376 140735042030272 140415644699368 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24158] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24158/stat : 24158 (java) S 24144 24146 23801 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 253431609 10060460032 52265 33554432000 1073741824 1073778376 140735042030272 140415643645432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24159] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24159/stat : 24159 (java) S 24144 24146 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253431609 10060460032 52265 33554432000 1073741824 1073778376 140735042030272 140415642593032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24160] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24160/stat : 24160 (java) S 24144 24146 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431611 10060460032 52265 33554432000 1073741824 1073778376 140735042030272 140415641541520 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24161] ppid=24144 vsize=9824668 CPUtime=0.71 cores=1,3,5,7
/proc/24146/task/24161/stat : 24161 (java) S 24144 24146 23801 0 -1 4202560 5863 0 0 0 71 0 0 0 20 0 19 0 253431611 10060460032 52265 33554432000 1073741824 1073778376 140735042030272 140415640488120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24162] ppid=24144 vsize=9824668 CPUtime=0.67 cores=1,3,5,7
/proc/24146/task/24162/stat : 24162 (java) S 24144 24146 23801 0 -1 4202560 5613 0 0 0 65 2 0 0 20 0 19 0 253431611 10060460032 52265 33554432000 1073741824 1073778376 140735042030272 140415639435320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24163] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24163/stat : 24163 (java) S 24144 24146 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431611 10060460032 52265 33554432000 1073741824 1073778376 140735042030272 140415638383224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24164] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24164/stat : 24164 (java) S 24144 24146 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431611 10060460032 52265 33554432000 1073741824 1073778376 140735042030272 140415637330632 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 9824668

[startup+3.10085 s]
/proc/loadavg: 3.86 3.84 2.76 7/219 24171
/proc/meminfo: memFree=28471740/32873844 swapFree=7616/7616
[pid=24146] ppid=24144 vsize=9824668 CPUtime=7.46 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23801 0 -1 4202496 28239 0 1 0 717 29 0 0 20 0 22 0 253431606 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140735042021408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 2456167 105850 2287 9 0 2446860 0
[pid=24146/tid=24147] ppid=24144 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/24146/task/24147/stat : 24147 (java) S 24144 24146 23801 0 -1 4202560 2540 0 1 0 96 4 0 0 20 0 22 0 253431606 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140415821059064 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24149] ppid=24144 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/24146/task/24149/stat : 24149 (java) S 24144 24146 23801 0 -1 4202560 33 0 0 0 4 2 0 0 20 0 22 0 253431607 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140415782550312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24150] ppid=24144 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/24146/task/24150/stat : 24150 (java) S 24144 24146 23801 0 -1 4202560 23 0 0 0 2 2 0 0 20 0 22 0 253431607 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140415781497512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24151] ppid=24144 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/24146/task/24151/stat : 24151 (java) S 24144 24146 23801 0 -1 4202560 133 0 0 0 3 2 0 0 20 0 22 0 253431607 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140415780445224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24152] ppid=24144 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/24146/task/24152/stat : 24152 (java) S 24144 24146 23801 0 -1 4202560 33 0 0 0 4 2 0 0 20 0 22 0 253431607 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140415779392424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24153] ppid=24144 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/24146/task/24153/stat : 24153 (java) S 24144 24146 23801 0 -1 4202560 144 0 0 0 7 2 0 0 20 0 22 0 253431607 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140415778339112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24154] ppid=24144 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/24146/task/24154/stat : 24154 (java) S 24144 24146 23801 0 -1 4202560 28 0 0 0 4 2 0 0 20 0 22 0 253431607 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140415777286312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24155] ppid=24144 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/24146/task/24155/stat : 24155 (java) S 24144 24146 23801 0 -1 4202560 155 0 0 0 9 4 0 0 20 0 22 0 253431607 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140415776234024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24156] ppid=24144 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/24146/task/24156/stat : 24156 (java) S 24144 24146 23801 0 -1 4202560 103 0 0 0 2 2 0 0 20 0 22 0 253431607 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140415775181224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24157] ppid=24144 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/24146/task/24157/stat : 24157 (java) R 24144 24146 23801 0 -1 4202560 230 0 0 0 15 0 0 0 20 0 22 0 253431608 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140415644698344 140415825195357 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24158] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24158/stat : 24158 (java) S 24144 24146 23801 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253431609 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140415643645432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24159] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24159/stat : 24159 (java) S 24144 24146 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253431609 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140415642593032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24160] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24160/stat : 24160 (java) S 24144 24146 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431611 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140415641541520 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24161] ppid=24144 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/24146/task/24161/stat : 24161 (java) S 24144 24146 23801 0 -1 4202560 17763 0 0 0 143 3 0 0 20 0 22 0 253431611 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140415640488120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24162] ppid=24144 vsize=9824668 CPUtime=1.29 cores=1,3,5,7
/proc/24146/task/24162/stat : 24162 (java) S 24144 24146 23801 0 -1 4202560 5697 0 0 0 127 2 0 0 20 0 22 0 253431611 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140415639435320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24163] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24163/stat : 24163 (java) S 24144 24146 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431611 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140415638383224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24164] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24164/stat : 24164 (java) S 24144 24146 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431611 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140415637330632 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24168] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24168/stat : 24168 (java) S 24144 24146 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253431716 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140414491280936 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24169] ppid=24144 vsize=9824668 CPUtime=1.19 cores=1,3,5,7
/proc/24146/task/24169/stat : 24169 (java) S 24144 24146 23801 0 -1 4202560 4 0 0 0 119 0 0 0 20 0 22 0 253431765 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140414493385032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24170] ppid=24144 vsize=9824668 CPUtime=1.22 cores=1,3,5,7
/proc/24146/task/24170/stat : 24170 (java) S 24144 24146 23801 0 -1 4202560 63 0 0 0 120 2 0 0 20 0 22 0 253431765 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140415636273128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24171] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24171/stat : 24171 (java) S 24144 24146 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253431765 10060460032 105850 33554432000 1073741824 1073778376 140735042030272 140414492333224 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 9824668

[startup+6.30094 s]
/proc/loadavg: 3.86 3.84 2.76 5/219 24171
/proc/meminfo: memFree=28299892/32873844 swapFree=7616/7616
[pid=24146] ppid=24144 vsize=9824668 CPUtime=13.27 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23801 0 -1 4202496 29221 0 1 0 1297 30 0 0 20 0 22 0 253431606 10060460032 111515 33554432000 1073741824 1073778376 140735042030272 140735042021408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 2456167 111515 2287 9 0 2446860 0
[pid=24146/tid=24147] ppid=24144 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/24146/task/24147/stat : 24147 (java) S 24144 24146 23801 0 -1 4202560 2540 0 1 0 96 4 0 0 20 0 22 0 253431606 10060460032 111515 33554432000 1073741824 1073778376 140735042030272 140415821059064 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24149] ppid=24144 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/24146/task/24149/stat : 24149 (java) S 24144 24146 23801 0 -1 4202560 40 0 0 0 6 2 0 0 20 0 22 0 253431607 10060460032 111515 33554432000 1073741824 1073778376 140735042030272 140415782550312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24150] ppid=24144 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/24146/task/24150/stat : 24150 (java) S 24144 24146 23801 0 -1 4202560 24 0 0 0 5 2 0 0 20 0 22 0 253431607 10060460032 111515 33554432000 1073741824 1073778376 140735042030272 140415781497512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24151] ppid=24144 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/24146/task/24151/stat : 24151 (java) S 24144 24146 23801 0 -1 4202560 133 0 0 0 5 2 0 0 20 0 22 0 253431607 10060460032 111515 33554432000 1073741824 1073778376 140735042030272 140415780445224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24152] ppid=24144 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/24146/task/24152/stat : 24152 (java) S 24144 24146 23801 0 -1 4202560 33 0 0 0 6 2 0 0 20 0 22 0 253431607 10060460032 111515 33554432000 1073741824 1073778376 140735042030272 140415779392424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24153] ppid=24144 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/24146/task/24153/stat : 24153 (java) S 24144 24146 23801 0 -1 4202560 144 0 0 0 9 3 0 0 20 0 22 0 253431607 10060460032 111515 33554432000 1073741824 1073778376 140735042030272 140415778339112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24154] ppid=24144 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/24146/task/24154/stat : 24154 (java) S 24144 24146 23801 0 -1 4202560 32 0 0 0 7 2 0 0 20 0 22 0 253431607 10060460032 111515 33554432000 1073741824 1073778376 140735042030272 140415777286312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24155] ppid=24144 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/24146/task/24155/stat : 24155 (java) S 24144 24146 23801 0 -1 4202560 157 0 0 0 11 4 0 0 20 0 22 0 253431607 10060460032 111515 33554432000 1073741824 1073778376 140735042030272 140415776234024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24156] ppid=24144 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/24146/task/24156/stat : 24156 (java) S 24144 24146 23801 0 -1 4202560 103 0 0 0 4 2 0 0 20 0 22 0 253431607 10060460032 111515 33554432000 1073741824 1073778376 140735042030272 140415775181224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24157] ppid=24144 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/24146/task/24157/stat : 24157 (java) S 24144 24146 23801 0 -1 4202560 242 0 0 0 98 1 0 0 20 0 22 0 253431608 10060460032 111515 33554432000 1073741824 1073778376 140735042030272 140415644699368 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24158] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24158/stat : 24158 (java) S 24144 24146 23801 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253431609 10060460032 111515 33554432000 1073741824 1073778376 140735042030272 140415643645432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24159] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24159/stat : 24159 (java) S 24144 24146 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253431609 10060460032 111515 33554432000 1073741824 1073778376 140735042030272 140415642593032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24160] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24160/stat : 24160 (java) S 24144 24146 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431611 10060460032 111515 33554432000 1073741824 1073778376 140735042030272 140415641541520 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

[pid=24146/tid=24152] ppid=24144 vsize=9824668 CPUtime=2.31 cores=1,3,5,7
/proc/24146/task/24152/stat : 24152 (java) S 24144 24146 23801 0 -1 4202560 1948 0 0 0 217 14 0 0 20 0 22 0 253431607 10060460032 864239 33554432000 1073741824 1073778376 140735042030272 140415779392424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24153] ppid=24144 vsize=9824668 CPUtime=2.32 cores=1,3,5,7
/proc/24146/task/24153/stat : 24153 (java) S 24144 24146 23801 0 -1 4202560 2525 0 0 0 214 18 0 0 20 0 22 0 253431607 10060460032 864239 33554432000 1073741824 1073778376 140735042030272 140415778339112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24154] ppid=24144 vsize=9824668 CPUtime=2.29 cores=1,3,5,7
/proc/24146/task/24154/stat : 24154 (java) S 24144 24146 23801 0 -1 4202560 2440 0 0 0 214 15 0 0 20 0 22 0 253431607 10060460032 864239 33554432000 1073741824 1073778376 140735042030272 140415777286312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24155] ppid=24144 vsize=9824668 CPUtime=2.49 cores=1,3,5,7
/proc/24146/task/24155/stat : 24155 (java) S 24144 24146 23801 0 -1 4202560 1962 0 0 0 231 18 0 0 20 0 22 0 253431607 10060460032 864239 33554432000 1073741824 1073778376 140735042030272 140415776234024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24156] ppid=24144 vsize=9824668 CPUtime=2.3 cores=1,3,5,7
/proc/24146/task/24156/stat : 24156 (java) S 24144 24146 23801 0 -1 4202560 2730 0 0 0 210 20 0 0 20 0 22 0 253431607 10060460032 864239 33554432000 1073741824 1073778376 140735042030272 140415775181224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24157] ppid=24144 vsize=9824668 CPUtime=177.57 cores=1,3,5,7
/proc/24146/task/24157/stat : 24157 (java) S 24144 24146 23801 0 -1 4202560 4292 0 0 0 17736 21 0 0 20 0 22 0 253431608 10060460032 864239 33554432000 1073741824 1073778376 140735042030272 140415644699368 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24158] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24158/stat : 24158 (java) S 24144 24146 23801 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253431609 10060460032 864239 33554432000 1073741824 1073778376 140735042030272 140415643645432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24159] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24159/stat : 24159 (java) S 24144 24146 23801 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253431609 10060460032 864239 33554432000 1073741824 1073778376 140735042030272 140415642593032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24160] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24160/stat : 24160 (java) S 24144 24146 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431611 10060460032 864239 33554432000 1073741824 1073778376 140735042030272 140415641541520 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24161] ppid=24144 vsize=9824668 CPUtime=2.4 cores=1,3,5,7
/proc/24146/task/24161/stat : 24161 (java) S 24144 24146 23801 0 -1 4202560 25352 0 0 0 235 5 0 0 20 0 22 0 253431611 10060460032 864239 33554432000 1073741824 1073778376 140735042030272 140415640488120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24162] ppid=24144 vsize=9824668 CPUtime=1.41 cores=1,3,5,7
/proc/24146/task/24162/stat : 24162 (java) S 24144 24146 23801 0 -1 4202560 5700 0 0 0 139 2 0 0 20 0 22 0 253431611 10060460032 864239 33554432000 1073741824 1073778376 140735042030272 140415639435320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24163] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24163/stat : 24163 (java) S 24144 24146 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431611 10060460032 864239 33554432000 1073741824 1073778376 140735042030272 140415638383224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24164] ppid=24144 vsize=9824668 CPUtime=0.46 cores=1,3,5,7
/proc/24146/task/24164/stat : 24164 (java) S 24144 24146 23801 0 -1 4202560 50 0 0 0 22 24 0 0 20 0 22 0 253431611 10060460032 864239 33554432000 1073741824 1073778376 140735042030272 140415637330632 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24168] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24168/stat : 24168 (java) S 24144 24146 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253431716 10060460032 864239 33554432000 1073741824 1073778376 140735042030272 140414491280936 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24186] ppid=24144 vsize=9824668 CPUtime=258.61 cores=1,3,5,7
/proc/24146/task/24186/stat : 24186 (java) R 24144 24146 23801 0 -1 4202560 277 0 0 0 25858 3 0 0 20 0 22 0 253488645 10060460032 864239 33554432000 1073741824 1073778376 140735042030272 140414492331792 140415651987522 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24187] ppid=24144 vsize=9824668 CPUtime=258.52 cores=1,3,5,7
/proc/24146/task/24187/stat : 24187 (java) R 24144 24146 23801 0 -1 4202560 395 0 0 0 25846 6 0 0 20 0 22 0 253488645 10060460032 864239 33554432000 1073741824 1073778376 140735042030272 140415636273920 140415651934074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24188] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24188/stat : 24188 (java) S 24144 24146 23801 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253488645 10060460032 864239 33554432000 1073741824 1073778376 140735042030272 140414493386408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1592.28
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 3.89 3.69 3.30 5/219 24347
/proc/meminfo: memFree=25116100/32873844 swapFree=7616/7616
[pid=24146] ppid=24144 vsize=9824668 CPUtime=1709.07 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23801 0 -1 4202496 58218 0 1 0 170662 245 0 0 20 0 22 0 253431606 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140735042021408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 2456167 868951 2288 9 0 2446860 0
[pid=24146/tid=24147] ppid=24144 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/24146/task/24147/stat : 24147 (java) S 24144 24146 23801 0 -1 4202560 2633 0 1 0 101 6 0 0 20 0 22 0 253431606 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140415821059064 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24149] ppid=24144 vsize=9824668 CPUtime=2.37 cores=1,3,5,7
/proc/24146/task/24149/stat : 24149 (java) S 24144 24146 23801 0 -1 4202560 1097 0 0 0 220 17 0 0 20 0 22 0 253431607 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140415782550312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24150] ppid=24144 vsize=9824668 CPUtime=2.37 cores=1,3,5,7
/proc/24146/task/24150/stat : 24150 (java) S 24144 24146 23801 0 -1 4202560 1952 0 0 0 222 15 0 0 20 0 22 0 253431607 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140415781497512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24151] ppid=24144 vsize=9824668 CPUtime=2.58 cores=1,3,5,7
/proc/24146/task/24151/stat : 24151 (java) S 24144 24146 23801 0 -1 4202560 1856 0 0 0 241 17 0 0 20 0 22 0 253431607 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140415780445224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24152] ppid=24144 vsize=9824668 CPUtime=2.45 cores=1,3,5,7
/proc/24146/task/24152/stat : 24152 (java) S 24144 24146 23801 0 -1 4202560 1964 0 0 0 231 14 0 0 20 0 22 0 253431607 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140415779392424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24153] ppid=24144 vsize=9824668 CPUtime=2.41 cores=1,3,5,7
/proc/24146/task/24153/stat : 24153 (java) S 24144 24146 23801 0 -1 4202560 2553 0 0 0 223 18 0 0 20 0 22 0 253431607 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140415778339112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24154] ppid=24144 vsize=9824668 CPUtime=2.39 cores=1,3,5,7
/proc/24146/task/24154/stat : 24154 (java) S 24144 24146 23801 0 -1 4202560 2454 0 0 0 224 15 0 0 20 0 22 0 253431607 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140415777286312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24155] ppid=24144 vsize=9824668 CPUtime=2.73 cores=1,3,5,7
/proc/24146/task/24155/stat : 24155 (java) S 24144 24146 23801 0 -1 4202560 1979 0 0 0 254 19 0 0 20 0 22 0 253431607 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140415776234024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24156] ppid=24144 vsize=9824668 CPUtime=2.47 cores=1,3,5,7
/proc/24146/task/24156/stat : 24156 (java) S 24144 24146 23801 0 -1 4202560 2740 0 0 0 227 20 0 0 20 0 22 0 253431607 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140415775181224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24157] ppid=24144 vsize=9824668 CPUtime=181.34 cores=1,3,5,7
/proc/24146/task/24157/stat : 24157 (java) S 24144 24146 23801 0 -1 4202560 4304 0 0 0 18113 21 0 0 20 0 22 0 253431608 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140415644699368 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24158] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24158/stat : 24158 (java) S 24144 24146 23801 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253431609 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140415643645432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24159] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24159/stat : 24159 (java) S 24144 24146 23801 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253431609 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140415642593032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24160] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24160/stat : 24160 (java) S 24144 24146 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431611 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140415641541520 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24161] ppid=24144 vsize=9824668 CPUtime=2.4 cores=1,3,5,7
/proc/24146/task/24161/stat : 24161 (java) S 24144 24146 23801 0 -1 4202560 25352 0 0 0 235 5 0 0 20 0 22 0 253431611 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140415640488120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24162] ppid=24144 vsize=9824668 CPUtime=1.41 cores=1,3,5,7
/proc/24146/task/24162/stat : 24162 (java) S 24144 24146 23801 0 -1 4202560 5700 0 0 0 139 2 0 0 20 0 22 0 253431611 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140415639435320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24163] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24163/stat : 24163 (java) S 24144 24146 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431611 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140415638383224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24164] ppid=24144 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/24146/task/24164/stat : 24164 (java) S 24144 24146 23801 0 -1 4202560 54 0 0 0 24 25 0 0 20 0 22 0 253431611 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140415637330632 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24168] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24168/stat : 24168 (java) S 24144 24146 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253431716 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140414491280936 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24186] ppid=24144 vsize=9824668 CPUtime=314.37 cores=1,3,5,7
/proc/24146/task/24186/stat : 24186 (java) R 24144 24146 23801 0 -1 4202560 279 0 0 0 31433 4 0 0 20 0 22 0 253488645 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140414492332752 140415651962838 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24187] ppid=24144 vsize=9824668 CPUtime=314.25 cores=1,3,5,7
/proc/24146/task/24187/stat : 24187 (java) R 24144 24146 23801 0 -1 4202560 398 0 0 0 31418 7 0 0 20 0 22 0 253488645 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140415636273920 140415652207357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24188] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24188/stat : 24188 (java) S 24144 24146 23801 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253488645 10060460032 868951 33554432000 1073741824 1073778376 140735042030272 140414493386408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1709.07
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+987.601 s]
/proc/loadavg: 3.95 3.73 3.33 5/220 24348
/proc/meminfo: memFree=24767792/32873844 swapFree=7616/7616
[pid=24146] ppid=24144 vsize=9824668 CPUtime=1798.55 cores=1,3,5,7
/proc/24146/stat : 24146 (java) S 24144 24146 23801 0 -1 4202496 58278 0 1 0 179609 246 0 0 20 0 22 0 253431606 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140735042021408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 2456167 874302 2288 9 0 2446860 0
[pid=24146/tid=24147] ppid=24144 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/24146/task/24147/stat : 24147 (java) S 24144 24146 23801 0 -1 4202560 2634 0 1 0 102 6 0 0 20 0 22 0 253431606 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140415821059064 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24149] ppid=24144 vsize=9824668 CPUtime=2.47 cores=1,3,5,7
/proc/24146/task/24149/stat : 24149 (java) S 24144 24146 23801 0 -1 4202560 1097 0 0 0 230 17 0 0 20 0 22 0 253431607 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140415782550312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24150] ppid=24144 vsize=9824668 CPUtime=2.49 cores=1,3,5,7
/proc/24146/task/24150/stat : 24150 (java) S 24144 24146 23801 0 -1 4202560 1952 0 0 0 234 15 0 0 20 0 22 0 253431607 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140415781497512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24151] ppid=24144 vsize=9824668 CPUtime=2.64 cores=1,3,5,7
/proc/24146/task/24151/stat : 24151 (java) S 24144 24146 23801 0 -1 4202560 1856 0 0 0 247 17 0 0 20 0 22 0 253431607 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140415780445224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24152] ppid=24144 vsize=9824668 CPUtime=2.52 cores=1,3,5,7
/proc/24146/task/24152/stat : 24152 (java) S 24144 24146 23801 0 -1 4202560 1974 0 0 0 238 14 0 0 20 0 22 0 253431607 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140415779392424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24153] ppid=24144 vsize=9824668 CPUtime=2.52 cores=1,3,5,7
/proc/24146/task/24153/stat : 24153 (java) S 24144 24146 23801 0 -1 4202560 2564 0 0 0 234 18 0 0 20 0 22 0 253431607 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140415778339112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24154] ppid=24144 vsize=9824668 CPUtime=2.54 cores=1,3,5,7
/proc/24146/task/24154/stat : 24154 (java) S 24144 24146 23801 0 -1 4202560 2456 0 0 0 239 15 0 0 20 0 22 0 253431607 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140415777286312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24155] ppid=24144 vsize=9824668 CPUtime=2.91 cores=1,3,5,7
/proc/24146/task/24155/stat : 24155 (java) S 24144 24146 23801 0 -1 4202560 1983 0 0 0 272 19 0 0 20 0 22 0 253431607 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140415776234024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24156] ppid=24144 vsize=9824668 CPUtime=2.65 cores=1,3,5,7
/proc/24146/task/24156/stat : 24156 (java) S 24144 24146 23801 0 -1 4202560 2745 0 0 0 245 20 0 0 20 0 22 0 253431607 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140415775181224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24157] ppid=24144 vsize=9824668 CPUtime=182.91 cores=1,3,5,7
/proc/24146/task/24157/stat : 24157 (java) S 24144 24146 23801 0 -1 4202560 4327 0 0 0 18269 22 0 0 20 0 22 0 253431608 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140415644699368 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24158] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24158/stat : 24158 (java) S 24144 24146 23801 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253431609 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140415643645432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24159] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24159/stat : 24159 (java) S 24144 24146 23801 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253431609 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140415642593032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24160] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24160/stat : 24160 (java) S 24144 24146 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431611 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140415641541520 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24146/tid=24161] ppid=24144 vsize=9824668 CPUtime=2.4 cores=1,3,5,7
/proc/24146/task/24161/stat : 24161 (java) S 24144 24146 23801 0 -1 4202560 25352 0 0 0 235 5 0 0 20 0 22 0 253431611 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140415640488120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24162] ppid=24144 vsize=9824668 CPUtime=1.41 cores=1,3,5,7
/proc/24146/task/24162/stat : 24162 (java) S 24144 24146 23801 0 -1 4202560 5700 0 0 0 139 2 0 0 20 0 22 0 253431611 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140415639435320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24163] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24163/stat : 24163 (java) S 24144 24146 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431611 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140415638383224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24146/tid=24164] ppid=24144 vsize=9824668 CPUtime=0.51 cores=1,3,5,7
/proc/24146/task/24164/stat : 24164 (java) S 24144 24146 23801 0 -1 4202560 56 0 0 0 25 26 0 0 20 0 22 0 253431611 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140415637330632 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24168] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24168/stat : 24168 (java) S 24144 24146 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253431716 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140414491280936 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24186] ppid=24144 vsize=9824668 CPUtime=357.73 cores=1,3,5,7
/proc/24146/task/24186/stat : 24186 (java) R 24144 24146 23801 0 -1 4202560 280 0 0 0 35768 5 0 0 20 0 22 0 253488645 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140414492332752 140415651962507 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24146/tid=24187] ppid=24144 vsize=9824668 CPUtime=357.6 cores=1,3,5,7
/proc/24146/task/24187/stat : 24187 (java) R 24144 24146 23801 0 -1 4202560 399 0 0 0 35752 8 0 0 20 0 22 0 253488645 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140415636273920 140415651909692 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24146/tid=24188] ppid=24144 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24146/task/24188/stat : 24188 (java) S 24144 24146 23801 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253488645 10060460032 874302 33554432000 1073741824 1073778376 140735042030272 140414493386408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (KiB) 9824668

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 24146 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=809299
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=771578
# CPU time returned by wait4() is 1796.58
# while last known CPU time is 1798.55
#
# 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): 1.49005
#  lost CPU user time (s): 1.62006
#  lost CPU system time (s): -0.13

Real time (s): 987.674
CPU time (s): 1800.04
CPU user time (s): 1797.71
CPU system time (s): 2.33
CPU usage (%): 182.25
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.81
system time used= 2.77158
maximum resident set size= 3497328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58310
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27960
involuntary context switches= 37365

runsolver used 4.13137 second user time and 9.46256 second system time

The end

Launcher Data 

Begin job on node130 at 2012-05-24 17:24:20
IDJOB=3687668
IDBENCH=2013
IDSOLVER=2268
FILE ID=node130/3687668-1337873060
RUNJOBID= node130-1337871881-23818
PBS_JOBID= 14620074
Free space on /tmp= 71652 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687668-1337873060/watcher-3687668-1337873060 -o /tmp/evaluation-result-3687668-1337873060/solver-3687668-1337873060 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687668-1337873060.opb

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

MD5SUM BENCH= 2821538067d8c071dc9bd4a000c6d040
RANDOM SEED=1789182882

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
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		: 2666.875
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		: 2666.875
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.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
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		: 2666.875
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
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		: 2666.875
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	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28733400 kB
Buffers:          193496 kB
Cached:          2141776 kB
SwapCached:            0 kB
Active:          1550596 kB
Inactive:        1820244 kB
Active(anon):    1037900 kB
Inactive(anon):        0 kB
Active(file):     512696 kB
Inactive(file):  1820244 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3596 kB
Writeback:             0 kB
AnonPages:       1075504 kB
Mapped:            22604 kB
Shmem:               200 kB
Slab:             627468 kB
SReclaimable:      69388 kB
SUnreclaim:       558080 kB
KernelStack:        1784 kB
PageTables:         5888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1627616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1009664 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node130 at 2012-05-24 17:40:50