Trace number 3688530

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)57391 1800.5 973.35

General information on the benchmark

Namenormalized-PB07/OPT-BIGINT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
MD5SUM457d573eb873a5d33dddcaaf7d992dd1
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark57391
Best CPU time to get the best result obtained on this benchmark1800.5
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables3945
Total number of constraints8604
Number of constraints which are clauses8604
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint59
Number of terms in the objective function 1872
Biggest coefficient in the objective function 2110
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3036193
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2110
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3036193
Number of bits of the biggest sum of numbers22
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.08/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.08/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3688530-1337878475.opb
0.08/0.13	c reading problem ... 
0.75/0.42	c ... done. Wall clock time 0.291s.
0.75/0.42	c declared #vars     3945
0.75/0.42	c #constraints  8582
0.75/0.42	c constraints type 
0.75/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2071
0.75/0.42	c ignored satisfied constraints => 22
0.75/0.42	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
0.75/0.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6506
0.75/0.42	c 8604 constraints processed.
0.75/0.42	c constraints type 
0.75/0.42	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6506
0.75/0.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2071
0.75/0.42	c ignored satisfied constraints => 22
0.75/0.42	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.75/0.42	c 8604 constraints processed.
0.75/0.42	c objective function length is 1872 literals
1.11/0.52	c  And the winner is solver0
1.68/0.93	c SATISFIABLE
1.68/0.93	c OPTIMIZING...
1.68/0.93	c Got one! Elapsed wall clock time (in seconds):0.796
1.68/0.93	o 70191
1.68/0.99	c  And the winner is solver0
2.21/1.46	c Got one! Elapsed wall clock time (in seconds):1.328
2.21/1.46	o 68889
2.21/1.48	c  And the winner is solver0
2.39/1.97	c Got one! Elapsed wall clock time (in seconds):1.838
2.39/1.97	o 67587
2.39/1.98	c  And the winner is solver0
2.56/2.48	c Got one! Elapsed wall clock time (in seconds):2.346
2.56/2.48	o 66285
5.43/3.79	c  And the winner is solver1
5.62/3.98	c Got one! Elapsed wall clock time (in seconds):3.852
5.62/3.98	o 64983
6.85/4.64	c cleaning 2975 clauses out of 6015 with flag 2000/6015
8.67/5.54	c  And the winner is solver1
8.77/5.99	c Got one! Elapsed wall clock time (in seconds):5.858
8.77/5.99	o 63681
10.46/6.85	c cleaning 4419 clauses out of 8838 with flag 3001/11813
14.32/8.72	c cleaning 5203 clauses out of 10418 with flag 9000/17812
18.48/10.85	c cleaning 6100 clauses out of 12216 with flag 16001/24813
23.45/13.37	c cleaning 7043 clauses out of 14115 with flag 24000/32812
29.19/16.21	c cleaning 8037 clauses out of 16073 with flag 33001/41813
34.75/19.08	c cleaning 8985 clauses out of 18036 with flag 43001/51813
41.47/22.46	c cleaning 10008 clauses out of 20050 with flag 54000/62812
49.14/26.33	c cleaning 11010 clauses out of 22042 with flag 66000/74812
57.42/30.57	c cleaning 12001 clauses out of 24032 with flag 79000/87812
66.48/35.08	c cleaning 12997 clauses out of 26031 with flag 93000/101812
76.55/40.14	c cleaning 14015 clauses out of 28035 with flag 108001/116813
86.42/45.13	c cleaning 14996 clauses out of 30020 with flag 124001/132813
97.11/50.50	c cleaning 15996 clauses out of 32027 with flag 141004/149816
100.68/52.43	c  And the winner is solver1
100.68/52.45	c Got one! Elapsed wall clock time (in seconds):52.322
100.68/52.45	o 62823
103.48/53.84	c cleaning 13340 clauses out of 26728 with flag 5000/160513
105.79/55.14	c  And the winner is solver1
105.79/55.15	c Got one! Elapsed wall clock time (in seconds):55.017
105.79/55.15	o 62399
106.99/55.76	c cleaning 9481 clauses out of 18999 with flag 2000/166124
111.34/58.16	c cleaning 7715 clauses out of 15518 with flag 8000/172124
116.25/60.77	c cleaning 7358 clauses out of 14803 with flag 15000/179124
121.56/63.53	c cleaning 7715 clauses out of 15445 with flag 23000/187124
127.28/66.57	c cleaning 8351 clauses out of 16730 with flag 32000/196124
134.19/70.21	c cleaning 9185 clauses out of 18379 with flag 42000/206124
138.49/72.57	c  And the winner is solver1
138.49/72.59	c Got one! Elapsed wall clock time (in seconds):72.459
138.49/72.59	o 61123
141.51/74.03	c cleaning 10409 clauses out of 20825 with flag 5000/217755
145.43/76.10	c cleaning 8203 clauses out of 16416 with flag 11000/223755
149.70/78.42	c cleaning 7600 clauses out of 15213 with flag 18000/230755
154.74/81.24	c cleaning 7785 clauses out of 15613 with flag 26000/238755
160.20/84.11	c cleaning 8383 clauses out of 16828 with flag 35000/247755
166.05/87.25	c cleaning 9225 clauses out of 18451 with flag 45006/257761
172.66/90.78	c cleaning 10108 clauses out of 20220 with flag 56000/268755
180.43/94.93	c cleaning 11045 clauses out of 22113 with flag 68001/280756
181.84/95.87	c  And the winner is solver1
181.84/95.89	c Got one! Elapsed wall clock time (in seconds):95.759
181.84/95.89	o 59975
184.20/97.02	c cleaning 8328 clauses out of 16666 with flag 4000/286354
188.20/99.20	c cleaning 7159 clauses out of 14339 with flag 10001/292355
192.39/101.58	c cleaning 7081 clauses out of 14182 with flag 17003/299357
197.52/104.47	c cleaning 7540 clauses out of 15098 with flag 25000/307354
203.09/107.44	c cleaning 8271 clauses out of 16560 with flag 34002/316356
209.26/110.73	c cleaning 9124 clauses out of 18287 with flag 44000/326354
210.62/111.68	c  And the winner is solver1
210.81/111.71	c Got one! Elapsed wall clock time (in seconds):111.581
210.81/111.71	o 59937
212.98/112.81	c cleaning 7328 clauses out of 14704 with flag 4000/331895
216.46/114.93	c  And the winner is solver1
216.54/115.05	c Got one! Elapsed wall clock time (in seconds):114.923
216.54/115.05	o 59879
217.02/115.35	c cleaning 6661 clauses out of 13329 with flag 1000/337848
220.96/117.57	c cleaning 6315 clauses out of 12668 with flag 7000/343848
226.49/120.56	c cleaning 6668 clauses out of 13353 with flag 14000/350848
232.79/123.97	c cleaning 7341 clauses out of 14686 with flag 22001/358849
240.00/127.94	c cleaning 8161 clauses out of 16345 with flag 31001/367849
247.88/132.17	c cleaning 9067 clauses out of 18183 with flag 41000/377848
256.36/136.69	c cleaning 10052 clauses out of 20116 with flag 52000/388848
265.42/141.48	c cleaning 11027 clauses out of 22065 with flag 64001/400849
275.28/146.80	c cleaning 12017 clauses out of 24037 with flag 77000/413848
285.82/152.49	c cleaning 12998 clauses out of 26021 with flag 91001/427849
297.34/158.59	c cleaning 13993 clauses out of 28022 with flag 106000/442848
311.35/166.38	c cleaning 15001 clauses out of 30029 with flag 122000/458848
324.91/173.39	c cleaning 16007 clauses out of 32029 with flag 139001/475849
338.82/180.53	c cleaning 16983 clauses out of 34021 with flag 157000/493848
353.30/188.07	c cleaning 18014 clauses out of 36038 with flag 176000/512848
368.53/196.28	c cleaning 19007 clauses out of 38025 with flag 196001/532849
385.41/205.01	c cleaning 19993 clauses out of 40017 with flag 217000/553848
403.03/214.21	c cleaning 21008 clauses out of 42025 with flag 239001/575849
409.25/217.72	c  And the winner is solver1
409.31/218.11	c Got one! Elapsed wall clock time (in seconds):217.976
409.31/218.11	o 59765
412.91/219.91	c cleaning 16501 clauses out of 33110 with flag 5000/587942
418.74/223.59	c cleaning 11282 clauses out of 22609 with flag 11000/593942
424.72/226.97	c cleaning 9148 clauses out of 18327 with flag 18000/600942
431.28/230.67	c cleaning 8587 clauses out of 17180 with flag 26001/608943
438.44/234.65	c cleaning 8778 clauses out of 17592 with flag 35000/617942
446.69/239.41	c cleaning 9393 clauses out of 18814 with flag 45000/627942
455.24/244.15	c cleaning 10163 clauses out of 20421 with flag 56000/638942
464.35/249.12	c cleaning 11124 clauses out of 22258 with flag 68000/650942
474.05/254.49	c cleaning 12059 clauses out of 24135 with flag 81001/663943
485.68/260.94	c cleaning 13019 clauses out of 26075 with flag 95000/677942
497.65/267.39	c cleaning 14019 clauses out of 28056 with flag 110000/692942
510.95/274.91	c cleaning 15007 clauses out of 30039 with flag 126002/708944
524.41/282.24	c  And the winner is solver1
524.51/282.53	c Got one! Elapsed wall clock time (in seconds):282.405
524.51/282.53	o 59100
528.17/284.32	c cleaning 18063 clauses out of 36126 with flag 5002/730038
533.57/287.50	c cleaning 12008 clauses out of 24065 with flag 11004/736040
539.55/291.03	c cleaning 9502 clauses out of 19053 with flag 18000/743036
546.35/294.97	c cleaning 8766 clauses out of 17552 with flag 26001/751037
554.46/299.85	c cleaning 8885 clauses out of 17785 with flag 35000/760036
562.43/304.35	c cleaning 9434 clauses out of 18902 with flag 45002/770038
571.24/309.22	c cleaning 10177 clauses out of 20466 with flag 56000/781036
580.23/314.28	c cleaning 11111 clauses out of 22289 with flag 68000/793036
590.84/320.39	c cleaning 12086 clauses out of 24183 with flag 81005/806041
602.19/326.50	c cleaning 13033 clauses out of 26092 with flag 95000/820036
613.99/332.94	c cleaning 13991 clauses out of 28059 with flag 110000/835036
626.80/339.89	c cleaning 14991 clauses out of 30068 with flag 126000/851036
632.33/343.43	c  And the winner is solver1
632.40/343.64	c Got one! Elapsed wall clock time (in seconds):343.514
632.40/343.64	o 57821
632.90/343.97	c cleaning 10470 clauses out of 20945 with flag 1001/856904
638.08/347.05	c cleaning 8234 clauses out of 16474 with flag 7000/862903
643.65/350.39	c cleaning 7620 clauses out of 15241 with flag 14001/869904
650.05/354.10	c cleaning 7811 clauses out of 15622 with flag 22002/877905
658.30/359.03	c cleaning 8405 clauses out of 16809 with flag 31000/886903
666.04/363.44	c cleaning 9201 clauses out of 18405 with flag 41001/896904
674.59/368.25	c cleaning 10088 clauses out of 20203 with flag 52000/907903
683.95/373.42	c cleaning 11051 clauses out of 22115 with flag 64000/919903
694.47/379.56	c cleaning 12009 clauses out of 24064 with flag 77000/932903
699.60/382.70	c  And the winner is solver1
699.60/382.70	c Got one! Elapsed wall clock time (in seconds):382.573
699.60/382.70	o 57692
703.45/384.51	c cleaning 11488 clauses out of 22987 with flag 5000/943835
708.79/387.78	c cleaning 8747 clauses out of 17500 with flag 11001/949836
712.70/390.24	c  And the winner is solver1
712.80/390.44	c Got one! Elapsed wall clock time (in seconds):390.314
712.80/390.44	o 57391
714.13/391.12	c cleaning 7165 clauses out of 14395 with flag 2000/955478
720.05/395.06	c cleaning 6615 clauses out of 13231 with flag 8001/961479
725.93/398.52	c cleaning 6804 clauses out of 13615 with flag 15000/968478
732.41/402.38	c cleaning 7378 clauses out of 14811 with flag 23000/976478
739.69/406.58	c cleaning 8212 clauses out of 16435 with flag 32002/985480
748.39/411.89	c cleaning 9092 clauses out of 18221 with flag 42000/995478
757.40/416.93	c cleaning 10022 clauses out of 20129 with flag 53000/1006478
766.82/422.27	c cleaning 11054 clauses out of 22107 with flag 65000/1018478
777.56/428.24	c cleaning 12006 clauses out of 24053 with flag 78000/1031478
789.28/435.18	c cleaning 13001 clauses out of 26047 with flag 92000/1045478
801.21/441.79	c cleaning 13991 clauses out of 28046 with flag 107000/1060478
813.73/448.64	c cleaning 15021 clauses out of 30055 with flag 123000/1076478
827.39/456.15	c cleaning 15969 clauses out of 32034 with flag 140000/1093478
842.81/464.92	c cleaning 17012 clauses out of 34065 with flag 158000/1111478
857.78/473.09	c cleaning 18002 clauses out of 36053 with flag 177000/1130478
873.52/481.54	c cleaning 19014 clauses out of 38051 with flag 197000/1150478
890.27/490.50	c cleaning 20013 clauses out of 40037 with flag 218000/1171478
909.07/500.81	c cleaning 21001 clauses out of 42024 with flag 240000/1193478
927.79/510.77	c cleaning 21992 clauses out of 44023 with flag 263000/1216478
947.33/521.02	c cleaning 23016 clauses out of 46032 with flag 287001/1240479
968.48/532.25	c cleaning 24000 clauses out of 48015 with flag 312000/1265478
991.11/544.70	c cleaning 24985 clauses out of 50015 with flag 338000/1291478
1013.92/556.87	c cleaning 25986 clauses out of 52031 with flag 365001/1318479
1036.07/568.66	c cleaning 26985 clauses out of 54044 with flag 393000/1346478
1058.95/580.86	c cleaning 28012 clauses out of 56059 with flag 422000/1375478
1083.69/594.42	c cleaning 29005 clauses out of 58047 with flag 452000/1405478
1106.65/606.66	c cleaning 30001 clauses out of 60044 with flag 483002/1436480
1132.14/620.07	c cleaning 31019 clauses out of 62042 with flag 515001/1468479
1158.43/633.83	c cleaning 32001 clauses out of 64022 with flag 548000/1501478
1189.67/651.43	c cleaning 33004 clauses out of 66021 with flag 582000/1535478
1218.84/666.89	c cleaning 33995 clauses out of 68019 with flag 617002/1570480
1249.16/682.79	c cleaning 34984 clauses out of 70022 with flag 653000/1606478
1282.35/700.50	c cleaning 36010 clauses out of 72039 with flag 690001/1643479
1313.60/716.94	c cleaning 37000 clauses out of 74031 with flag 728003/1681481
1347.52/734.58	c cleaning 37978 clauses out of 76028 with flag 767000/1720478
1380.19/751.78	c cleaning 39006 clauses out of 78051 with flag 807001/1760479
1414.57/770.40	c cleaning 39983 clauses out of 80044 with flag 848000/1801478
1448.83/788.40	c cleaning 41008 clauses out of 82064 with flag 890003/1843481
1485.10/807.54	c cleaning 42007 clauses out of 84053 with flag 933000/1886478
1523.28/827.49	c cleaning 42987 clauses out of 86046 with flag 977000/1930478
1566.34/850.43	c cleaning 44022 clauses out of 88060 with flag 1022001/1975479
1608.82/872.40	c cleaning 44990 clauses out of 90037 with flag 1068000/2021478
1644.78/891.41	c cleaning 46020 clauses out of 92047 with flag 1115000/2068478
1683.47/911.62	c cleaning 46993 clauses out of 94028 with flag 1163001/2116479
1726.97/934.93	c cleaning 48006 clauses out of 96037 with flag 1212003/2165481
1768.28/956.48	c cleaning 48995 clauses out of 98028 with flag 1262000/2215478
1800.09/973.31	c starts		: 38
1800.09/973.31	c conflicts		: 4455
1800.09/973.31	c decisions		: 156141
1800.09/973.31	c propagations		: 2296185
1800.09/973.31	c inspects		: 243118060
1800.09/973.31	c shortcuts		: 0
1800.09/973.31	c learnt literals	: 0
1800.09/973.31	c learnt binary clauses	: 1
1800.09/973.31	c learnt ternary clauses	: 0
1800.09/973.31	c learnt constraints	: 4454
1800.09/973.31	c ignored constraints	: 0
1800.09/973.31	c root simplifications	: 0
1800.09/973.31	c removed literals (reason simplification)	: 0
1800.09/973.31	c reason swapping (by a shorter reason)	: 0
1800.09/973.31	c Calls to reduceDB	: 0
1800.09/973.31	c number of reductions to clauses (during analyze)	: 0
1800.09/973.31	c number of learned constraints concerned by reduction	: 0
1800.09/973.31	c number of learning phase by resolution	: 0
1800.09/973.31	c number of learning phase by cutting planes	: 0
1800.09/973.31	c speed (assignments/second)	: 2365.179655737519
1800.09/973.31	c non guided choices	0
1800.09/973.31	c learnt constraints type 
1800.09/973.31	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 7
1800.09/973.31	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 1
1800.09/973.31	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4446
1800.09/973.31	c constraints type 
1800.09/973.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2071
1800.09/973.31	c ignored satisfied constraints => 22
1800.09/973.31	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
1800.09/973.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6506
1800.09/973.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.09/973.31	c 8605 constraints processed.
1800.09/973.31	c constraints type 
1800.09/973.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6506
1800.09/973.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2071
1800.09/973.31	c ignored satisfied constraints => 22
1800.09/973.31	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
1800.09/973.31	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
1800.09/973.31	c 8605 constraints processed.
1800.09/973.31	s SATISFIABLE
1800.09/973.32	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 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 x2992 x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 x3119 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 x3390 x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 x3494 x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 x3618 x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 x3635 x3636 x3637 -x3638 -x3639 -x3640 -x3641 x3642 x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 x3697 x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 x3832 x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 x3904 x3905 x3906 x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 x3930 x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 x3938 x3939 x3940 x3941 x3942 x3943 -x3944 -x3945 
1800.09/973.33	c objective function=57391
1800.09/973.33	c Total wall clock time (in seconds): 973.197

Verifier Data

OK	57391

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

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

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


[startup+0 s]
/proc/loadavg: 3.74 3.86 3.89 4/199 28151
/proc/meminfo: memFree=27534180/32873844 swapFree=7364/7364
[pid=28151] ppid=28149 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/28151/stat : 28151 (java) D 28149 28151 26250 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253972328 9515008 182 33554432000 1073741824 1073778376 140736614555440 140736614546472 215143497397 0 0 4096 0 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/28151/statm: 2323 182 140 9 0 71 0

[startup+0.0989001 s]
/proc/loadavg: 3.74 3.86 3.89 4/199 28151
/proc/meminfo: memFree=27534180/32873844 swapFree=7364/7364
[pid=28151] ppid=28149 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 3984 0 1 0 7 1 0 0 20 0 18 0 253972328 9787813888 4673 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28151/statm: 2389603 4690 2035 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.100256 s]
/proc/loadavg: 3.74 3.86 3.89 4/199 28151
/proc/meminfo: memFree=27534180/32873844 swapFree=7364/7364
[pid=28151] ppid=28149 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 4152 0 1 0 7 1 0 0 20 0 18 0 253972328 9787813888 4841 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28151/statm: 2389603 4850 2064 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300198 s]
/proc/loadavg: 3.74 3.86 3.89 4/199 28151
/proc/meminfo: memFree=27534180/32873844 swapFree=7364/7364
[pid=28151] ppid=28149 vsize=9558412 CPUtime=0.46 cores=0,2,4,6
/proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 5641 0 1 0 45 1 0 0 20 0 18 0 253972328 9787813888 7854 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28151/statm: 2389603 7854 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412

[startup+0.700268 s]
/proc/loadavg: 3.74 3.86 3.89 4/199 28151
/proc/meminfo: memFree=27534180/32873844 swapFree=7364/7364
[pid=28151] ppid=28149 vsize=9824668 CPUtime=1.58 cores=0,2,4,6
/proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 20873 0 1 0 150 8 0 0 20 0 19 0 253972328 10060460032 22582 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28151/statm: 2456167 22582 2248 9 0 2446860 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9824668

[startup+1.50067 s]
/proc/loadavg: 3.74 3.86 3.89 6/219 28176
/proc/meminfo: memFree=27441348/32873844 swapFree=7364/7364
[pid=28151] ppid=28149 vsize=9824668 CPUtime=2.34 cores=0,2,4,6
/proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 21401 0 1 0 223 11 0 0 20 0 20 0 253972328 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28151/statm: 2456167 26252 2254 9 0 2446860 0
[pid=28151/tid=28153] ppid=28149 vsize=9824668 CPUtime=0.43 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (java) S 28149 28151 26250 0 -1 4202560 2549 0 1 0 41 2 0 0 20 0 20 0 253972329 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279263290360 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972331 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279107238056 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28155] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28155/stat : 28155 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972331 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279106185512 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28156] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28156/stat : 28156 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972331 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279105132968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28157] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28157/stat : 28157 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972331 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279104080424 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28158] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28158/stat : 28158 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972331 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279103027880 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28159] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28159/stat : 28159 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972331 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279101975336 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28160] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28160/stat : 28160 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972331 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279100922792 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28161] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28161/stat : 28161 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253972331 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279099870248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28162] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28162/stat : 28162 (java) S 28149 28151 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 253972332 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279087458408 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28163] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28163/stat : 28163 (java) S 28149 28151 26250 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 253972332 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279086404728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28164] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28164/stat : 28164 (java) S 28149 28151 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253972332 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279085352072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28165] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28165/stat : 28165 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972335 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279084300816 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28166] ppid=28149 vsize=9824668 CPUtime=0.71 cores=0,2,4,6
/proc/28151/task/28166/stat : 28166 (java) R 28149 28151 26250 0 -1 4202560 9273 0 0 0 68 3 0 0 20 0 20 0 253972335 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279083248184 140279270276642 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28167] ppid=28149 vsize=9824668 CPUtime=0.69 cores=0,2,4,6
/proc/28151/task/28167/stat : 28167 (java) S 28149 28151 26250 0 -1 4202560 8240 0 0 0 67 2 0 0 20 0 20 0 253972335 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279082195640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28168] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28168/stat : 28168 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972335 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279081143288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28169] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28169/stat : 28169 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972335 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279080090952 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28173] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28173/stat : 28173 (java) S 28149 28151 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253972375 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279074698408 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 9824668

[startup+3.10058 s]
/proc/loadavg: 3.74 3.86 3.89 3/218 28182
/proc/meminfo: memFree=27428812/32873844 swapFree=7364/7364
[pid=28151] ppid=28149 vsize=9824668 CPUtime=4.17 cores=0,2,4,6
/proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 21502 0 1 0 404 13 0 0 20 0 22 0 253972328 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28151/statm: 2456167 32984 2262 9 0 2446860 0
[pid=28151/tid=28153] ppid=28149 vsize=9824668 CPUtime=0.45 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (java) S 28149 28151 26250 0 -1 4202560 2549 0 1 0 42 3 0 0 20 0 22 0 253972329 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279263290360 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279107238056 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28155] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28155/stat : 28155 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279106185512 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28156] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28156/stat : 28156 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279105132968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28157] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28157/stat : 28157 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279104080424 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28158] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28158/stat : 28158 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279103027880 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28159] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28159/stat : 28159 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279101975336 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28160] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28160/stat : 28160 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279100922792 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28161] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28161/stat : 28161 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279099870248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28162] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28162/stat : 28162 (java) S 28149 28151 26250 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279087458408 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28163] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28163/stat : 28163 (java) S 28149 28151 26250 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279086404728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28164] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28164/stat : 28164 (java) S 28149 28151 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279085352072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28165] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28165/stat : 28165 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279084300816 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28166] ppid=28149 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/28151/task/28166/stat : 28166 (java) S 28149 28151 26250 0 -1 4202560 9305 0 0 0 93 3 0 0 20 0 22 0 253972335 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279083248184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28167] ppid=28149 vsize=9824668 CPUtime=0.93 cores=0,2,4,6
/proc/28151/task/28167/stat : 28167 (java) S 28149 28151 26250 0 -1 4202560 8278 0 0 0 91 2 0 0 20 0 22 0 253972335 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279082195640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28168] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28168/stat : 28168 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279081143288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28169] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28169/stat : 28169 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279080090952 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28173] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28173/stat : 28173 (java) S 28149 28151 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253972375 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279074698408 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 9824668

[startup+6.30068 s]
/proc/loadavg: 3.76 3.86 3.89 5/221 28188
/proc/meminfo: memFree=27339872/32873844 swapFree=7364/7364
[pid=28151] ppid=28149 vsize=9824668 CPUtime=9.39 cores=0,2,4,6
/proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 21630 0 1 0 920 19 0 0 20 0 22 0 253972328 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28151/statm: 2456167 50397 2286 9 0 2446860 0
[pid=28151/tid=28153] ppid=28149 vsize=9824668 CPUtime=0.46 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (java) S 28149 28151 26250 0 -1 4202560 2550 0 1 0 43 3 0 0 20 0 22 0 253972329 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279263290360 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (java) S 28149 28151 26250 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279107238056 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28155] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28155/stat : 28155 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279106185512 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28156] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28156/stat : 28156 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279105132968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28157] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28157/stat : 28157 (java) S 28149 28151 26250 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279104080424 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28158] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28158/stat : 28158 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279103027880 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28159] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28159/stat : 28159 (java) S 28149 28151 26250 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279101975336 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28160] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28160/stat : 28160 (java) S 28149 28151 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279100922792 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28161] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28161/stat : 28161 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279099870248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28162] ppid=28149 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/28151/task/28162/stat : 28162 (java) S 28149 28151 26250 0 -1 4202560 37 0 0 0 3 0 0 0 20 0 22 0 253972332 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279087458408 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28163] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28163/stat : 28163 (java) S 28149 28151 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279086404728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28164] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28164/stat : 28164 (java) S 28149 28151 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279085352072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28165] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28165/stat : 28165 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279084300816 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28166] ppid=28149 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/28151/task/28166/stat : 28166 (java) S 28149 28151 26250 0 -1 4202560 9317 0 0 0 100 3 0 0 20 0 22 0 253972335 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279083248184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28167] ppid=28149 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/28151/task/28167/stat : 28167 (java) S 28149 28151 26250 0 -1 4202560 8283 0 0 0 96 2 0 0 20 0 22 0 253972335 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279082195640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28168] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28168/stat : 28168 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279081143288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28169] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28169/stat : 28169 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279080090952 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28185] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28185/stat : 28185 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253972577 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279076804264 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.39
Current children cumulated vsize (KiB) 9824668

[startup+12.7008 s]

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

[pid=28151/tid=28993] ppid=28149 vsize=9824668 CPUtime=406.62 cores=0,2,4,6
/proc/28151/task/28993/stat : 28993 (java) R 28149 28151 26250 0 -1 4202560 70 0 0 0 40656 6 0 0 20 0 22 0 254011374 10060460032 608992 33554432000 1073741824 1073778376 140734606855968 140279077855856 140279203807467 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28994] ppid=28149 vsize=9824668 CPUtime=406.62 cores=0,2,4,6
/proc/28151/task/28994/stat : 28994 (java) R 28149 28151 26250 0 -1 4202560 54 0 0 0 40656 6 0 0 20 0 22 0 254011374 10060460032 608992 33554432000 1073741824 1073778376 140734606855968 140279074695936 140279204041744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28995] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28995/stat : 28995 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254011374 10060460032 608992 33554432000 1073741824 1073778376 140734606855968 140279075751464 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1626.52
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 4.31 4.05 3.92 5/222 29006
/proc/meminfo: memFree=23260516/32873844 swapFree=7364/7364
[pid=28151] ppid=28149 vsize=9824668 CPUtime=1739.68 cores=0,2,4,6
/proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 33935 0 1 0 173771 197 0 0 20 0 22 0 253972328 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28151/statm: 2456167 632173 2288 9 0 2446860 0
[pid=28151/tid=28153] ppid=28149 vsize=9824668 CPUtime=0.57 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (java) S 28149 28151 26250 0 -1 4202560 2665 0 1 0 53 4 0 0 20 0 22 0 253972329 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279263290360 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=9824668 CPUtime=4.1 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (java) S 28149 28151 26250 0 -1 4202560 1495 0 0 0 395 15 0 0 20 0 22 0 253972331 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279107238056 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28155] ppid=28149 vsize=9824668 CPUtime=4.18 cores=0,2,4,6
/proc/28151/task/28155/stat : 28155 (java) S 28149 28151 26250 0 -1 4202560 1103 0 0 0 405 13 0 0 20 0 22 0 253972331 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279106185512 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28156] ppid=28149 vsize=9824668 CPUtime=4.17 cores=0,2,4,6
/proc/28151/task/28156/stat : 28156 (java) S 28149 28151 26250 0 -1 4202560 689 0 0 0 404 13 0 0 20 0 22 0 253972331 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279105132968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28157] ppid=28149 vsize=9824668 CPUtime=4.24 cores=0,2,4,6
/proc/28151/task/28157/stat : 28157 (java) S 28149 28151 26250 0 -1 4202560 949 0 0 0 410 14 0 0 20 0 22 0 253972331 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279104080424 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28158] ppid=28149 vsize=9824668 CPUtime=4.09 cores=0,2,4,6
/proc/28151/task/28158/stat : 28158 (java) S 28149 28151 26250 0 -1 4202560 1000 0 0 0 397 12 0 0 20 0 22 0 253972331 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279103027880 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28159] ppid=28149 vsize=9824668 CPUtime=4.15 cores=0,2,4,6
/proc/28151/task/28159/stat : 28159 (java) S 28149 28151 26250 0 -1 4202560 734 0 0 0 403 12 0 0 20 0 22 0 253972331 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279101975336 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28160] ppid=28149 vsize=9824668 CPUtime=4.01 cores=0,2,4,6
/proc/28151/task/28160/stat : 28160 (java) S 28149 28151 26250 0 -1 4202560 1140 0 0 0 390 11 0 0 20 0 22 0 253972331 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279100922792 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28161] ppid=28149 vsize=9824668 CPUtime=4.18 cores=0,2,4,6
/proc/28151/task/28161/stat : 28161 (java) S 28149 28151 26250 0 -1 4202560 931 0 0 0 406 12 0 0 20 0 22 0 253972331 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279099870248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28162] ppid=28149 vsize=9824668 CPUtime=155.02 cores=0,2,4,6
/proc/28151/task/28162/stat : 28162 (java) S 28149 28151 26250 0 -1 4202560 3644 0 0 0 15461 41 0 0 20 0 22 0 253972332 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279087458408 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28163] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28163/stat : 28163 (java) S 28149 28151 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279086404728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28164] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28164/stat : 28164 (java) S 28149 28151 26250 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279085352072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28165] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28165/stat : 28165 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279084300816 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28166] ppid=28149 vsize=9824668 CPUtime=1.43 cores=0,2,4,6
/proc/28151/task/28166/stat : 28166 (java) S 28149 28151 26250 0 -1 4202560 9379 0 0 0 140 3 0 0 20 0 22 0 253972335 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279083248184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28167] ppid=28149 vsize=9824668 CPUtime=1.32 cores=0,2,4,6
/proc/28151/task/28167/stat : 28167 (java) S 28149 28151 26250 0 -1 4202560 8335 0 0 0 130 2 0 0 20 0 22 0 253972335 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279082195640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28168] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28168/stat : 28168 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279081143288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28169] ppid=28149 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/28151/task/28169/stat : 28169 (java) S 28149 28151 26250 0 -1 4202560 55 0 0 0 15 15 0 0 20 0 22 0 253972335 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279080090952 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28185] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28185/stat : 28185 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253972577 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279076804264 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28993] ppid=28149 vsize=9824668 CPUtime=457.87 cores=0,2,4,6
/proc/28151/task/28993/stat : 28993 (java) R 28149 28151 26250 0 -1 4202560 78 0 0 0 45781 6 0 0 20 0 22 0 254011374 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279077854912 140279203769222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28994] ppid=28149 vsize=9824668 CPUtime=457.85 cores=0,2,4,6
/proc/28151/task/28994/stat : 28994 (java) R 28149 28151 26250 0 -1 4202560 59 0 0 0 45779 6 0 0 20 0 22 0 254011374 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279074696080 140279203570889 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28995] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28995/stat : 28995 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254011374 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279075751464 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1739.68
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+973.301 s]
/proc/loadavg: 4.19 4.04 3.92 5/222 29006
/proc/meminfo: memFree=23178224/32873844 swapFree=7364/7364
[pid=28151] ppid=28149 vsize=9824668 CPUtime=1800.09 cores=0,2,4,6
/proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 34132 0 1 0 179805 204 0 0 20 0 22 0 253972328 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28151/statm: 2456167 652748 2288 9 0 2446860 0
[pid=28151/tid=28153] ppid=28149 vsize=9824668 CPUtime=0.57 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (java) S 28149 28151 26250 0 -1 4202560 2666 0 1 0 53 4 0 0 20 0 22 0 253972329 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279263290360 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=9824668 CPUtime=4.27 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (java) S 28149 28151 26250 0 -1 4202560 1516 0 0 0 411 16 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279107238056 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28155] ppid=28149 vsize=9824668 CPUtime=4.32 cores=0,2,4,6
/proc/28151/task/28155/stat : 28155 (java) S 28149 28151 26250 0 -1 4202560 1115 0 0 0 419 13 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279106185512 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28156] ppid=28149 vsize=9824668 CPUtime=4.37 cores=0,2,4,6
/proc/28151/task/28156/stat : 28156 (java) S 28149 28151 26250 0 -1 4202560 697 0 0 0 424 13 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279105132968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28157] ppid=28149 vsize=9824668 CPUtime=4.48 cores=0,2,4,6
/proc/28151/task/28157/stat : 28157 (java) S 28149 28151 26250 0 -1 4202560 978 0 0 0 432 16 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279104080424 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28158] ppid=28149 vsize=9824668 CPUtime=4.27 cores=0,2,4,6
/proc/28151/task/28158/stat : 28158 (java) S 28149 28151 26250 0 -1 4202560 1004 0 0 0 415 12 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279103027880 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28159] ppid=28149 vsize=9824668 CPUtime=4.35 cores=0,2,4,6
/proc/28151/task/28159/stat : 28159 (java) S 28149 28151 26250 0 -1 4202560 743 0 0 0 423 12 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279101975336 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28160] ppid=28149 vsize=9824668 CPUtime=4.24 cores=0,2,4,6
/proc/28151/task/28160/stat : 28160 (java) S 28149 28151 26250 0 -1 4202560 1163 0 0 0 412 12 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279100922792 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28161] ppid=28149 vsize=9824668 CPUtime=4.41 cores=0,2,4,6
/proc/28151/task/28161/stat : 28161 (java) S 28149 28151 26250 0 -1 4202560 967 0 0 0 429 12 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279099870248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28162] ppid=28149 vsize=9824668 CPUtime=157.37 cores=0,2,4,6
/proc/28151/task/28162/stat : 28162 (java) S 28149 28151 26250 0 -1 4202560 3689 0 0 0 15695 42 0 0 20 0 22 0 253972332 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279087458408 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28163] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28163/stat : 28163 (java) S 28149 28151 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279086404728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28164] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28164/stat : 28164 (java) S 28149 28151 26250 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279085352072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28165] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28165/stat : 28165 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279084300816 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28166] ppid=28149 vsize=9824668 CPUtime=1.43 cores=0,2,4,6
/proc/28151/task/28166/stat : 28166 (java) S 28149 28151 26250 0 -1 4202560 9379 0 0 0 140 3 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279083248184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28167] ppid=28149 vsize=9824668 CPUtime=1.32 cores=0,2,4,6
/proc/28151/task/28167/stat : 28167 (java) S 28149 28151 26250 0 -1 4202560 8335 0 0 0 130 2 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279082195640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28168] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28168/stat : 28168 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279081143288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28169] ppid=28149 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/28151/task/28169/stat : 28169 (java) S 28149 28151 26250 0 -1 4202560 57 0 0 0 16 15 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279080090952 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28185] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28185/stat : 28185 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253972577 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279076804264 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28993] ppid=28149 vsize=9824668 CPUtime=486.11 cores=0,2,4,6
/proc/28151/task/28993/stat : 28993 (java) R 28149 28151 26250 0 -1 4202560 84 0 0 0 48604 7 0 0 20 0 22 0 254011374 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279077854912 140279203769563 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28994] ppid=28149 vsize=9824668 CPUtime=486.1 cores=0,2,4,6
/proc/28151/task/28994/stat : 28994 (java) R 28149 28151 26250 0 -1 4202560 60 0 0 0 48603 7 0 0 20 0 22 0 254011374 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279074696328 140279203830606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28995] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28995/stat : 28995 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254011374 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279075751464 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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

[startup+973.301 s]
/proc/loadavg: 4.19 4.04 3.92 5/222 29006
/proc/meminfo: memFree=23178224/32873844 swapFree=7364/7364
[pid=28151] ppid=28149 vsize=9824668 CPUtime=1800.09 cores=0,2,4,6
/proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 34132 0 1 0 179805 204 0 0 20 0 22 0 253972328 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28151/statm: 2456167 652748 2288 9 0 2446860 0
[pid=28151/tid=28153] ppid=28149 vsize=9824668 CPUtime=0.57 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (java) S 28149 28151 26250 0 -1 4202560 2666 0 1 0 53 4 0 0 20 0 22 0 253972329 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279263290360 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=9824668 CPUtime=4.27 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (java) S 28149 28151 26250 0 -1 4202560 1516 0 0 0 411 16 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279107238056 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28155] ppid=28149 vsize=9824668 CPUtime=4.32 cores=0,2,4,6
/proc/28151/task/28155/stat : 28155 (java) S 28149 28151 26250 0 -1 4202560 1115 0 0 0 419 13 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279106185512 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28156] ppid=28149 vsize=9824668 CPUtime=4.37 cores=0,2,4,6
/proc/28151/task/28156/stat : 28156 (java) S 28149 28151 26250 0 -1 4202560 697 0 0 0 424 13 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279105132968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28157] ppid=28149 vsize=9824668 CPUtime=4.48 cores=0,2,4,6
/proc/28151/task/28157/stat : 28157 (java) S 28149 28151 26250 0 -1 4202560 978 0 0 0 432 16 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279104080424 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28158] ppid=28149 vsize=9824668 CPUtime=4.27 cores=0,2,4,6
/proc/28151/task/28158/stat : 28158 (java) S 28149 28151 26250 0 -1 4202560 1004 0 0 0 415 12 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279103027880 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28159] ppid=28149 vsize=9824668 CPUtime=4.35 cores=0,2,4,6
/proc/28151/task/28159/stat : 28159 (java) S 28149 28151 26250 0 -1 4202560 743 0 0 0 423 12 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279101975336 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28160] ppid=28149 vsize=9824668 CPUtime=4.24 cores=0,2,4,6
/proc/28151/task/28160/stat : 28160 (java) S 28149 28151 26250 0 -1 4202560 1163 0 0 0 412 12 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279100922792 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28161] ppid=28149 vsize=9824668 CPUtime=4.41 cores=0,2,4,6
/proc/28151/task/28161/stat : 28161 (java) S 28149 28151 26250 0 -1 4202560 967 0 0 0 429 12 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279099870248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28162] ppid=28149 vsize=9824668 CPUtime=157.37 cores=0,2,4,6
/proc/28151/task/28162/stat : 28162 (java) S 28149 28151 26250 0 -1 4202560 3689 0 0 0 15695 42 0 0 20 0 22 0 253972332 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279087458408 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28163] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28163/stat : 28163 (java) S 28149 28151 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279086404728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28164] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28164/stat : 28164 (java) S 28149 28151 26250 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279085352072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28165] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28165/stat : 28165 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279084300816 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28166] ppid=28149 vsize=9824668 CPUtime=1.43 cores=0,2,4,6
/proc/28151/task/28166/stat : 28166 (java) S 28149 28151 26250 0 -1 4202560 9379 0 0 0 140 3 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279083248184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28167] ppid=28149 vsize=9824668 CPUtime=1.32 cores=0,2,4,6
/proc/28151/task/28167/stat : 28167 (java) S 28149 28151 26250 0 -1 4202560 8335 0 0 0 130 2 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279082195640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28151/tid=28168] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28168/stat : 28168 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279081143288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28169] ppid=28149 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/28151/task/28169/stat : 28169 (java) S 28149 28151 26250 0 -1 4202560 57 0 0 0 16 15 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279080090952 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28185] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28185/stat : 28185 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253972577 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279076804264 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28151/tid=28993] ppid=28149 vsize=9824668 CPUtime=486.11 cores=0,2,4,6
/proc/28151/task/28993/stat : 28993 (java) R 28149 28151 26250 0 -1 4202560 84 0 0 0 48604 7 0 0 20 0 22 0 254011374 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279077854912 140279203769563 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28151/tid=28994] ppid=28149 vsize=9824668 CPUtime=486.1 cores=0,2,4,6
/proc/28151/task/28994/stat : 28994 (java) R 28149 28151 26250 0 -1 4202560 60 0 0 0 48603 7 0 0 20 0 22 0 254011374 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279074696328 140279203830606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28151/tid=28995] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28995/stat : 28995 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254011374 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279075751464 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9824668

Child status: 143
Real time (s): 973.35
CPU time (s): 1800.5
CPU user time (s): 1798.1
CPU system time (s): 2.40064
CPU usage (%): 184.98
Max. virtual memory (cumulated for all children) (KiB): 9825560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.1
system time used= 2.40063
maximum resident set size= 2611112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34164
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31769
involuntary context switches= 66210

runsolver used 3.70044 second user time and 8.77567 second system time

The end

Launcher Data

Begin job on node133 at 2012-05-24 18:54:35
IDJOB=3688530
IDBENCH=25048
IDSOLVER=2268
FILE ID=node133/3688530-1337878475
RUNJOBID= node133-1337871880-26266
PBS_JOBID= 14620071
Free space on /tmp= 71624 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688530-1337878475/watcher-3688530-1337878475 -o /tmp/evaluation-result-3688530-1337878475/solver-3688530-1337878475 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688530-1337878475.opb

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

MD5SUM BENCH= 457d573eb873a5d33dddcaaf7d992dd1
RANDOM SEED=1559812517

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27534800 kB
Buffers:          215280 kB
Cached:          2375552 kB
SwapCached:            0 kB
Active:          2395136 kB
Inactive:        2171312 kB
Active(anon):    1978232 kB
Inactive(anon):        0 kB
Active(file):     416904 kB
Inactive(file):  2171312 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               548 kB
Writeback:             0 kB
AnonPages:       1984744 kB
Mapped:            22604 kB
Shmem:               212 kB
Slab:             628844 kB
SReclaimable:      71088 kB
SUnreclaim:       557756 kB
KernelStack:        1648 kB
PageTables:         8124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2585624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1884160 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= 71624 MiB
End job on node133 at 2012-05-24 19:10:51