Trace number 3737603

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB11: Sat4j Res//CP 2.3.0SAT (TO)-96 1800.04 919.435

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_5.opb
MD5SUM9b75ee50c2c62e6be495e8bd0a94fa2c
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-146
Best CPU time to get the best result obtained on this benchmark1796.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -131
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12540
Sum of products size (including duplicates)25080
Number of different products6270
Sum of products size12540

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.11	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.11	c See www.sat4j.org for details.
0.08/0.11	c version 2.3.1.v20110525
0.08/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.11	c java.vm.version	19.1-b02
0.08/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.11	c sun.arch.data.model	64
0.08/0.11	c java.version		1.6.0_24
0.08/0.11	c os.name		Linux
0.08/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.11	c os.arch		amd64
0.08/0.11	c Free memory 		9996466904
0.08/0.11	c Max memory 		10048897024
0.08/0.11	c Total memory 		10048897024
0.08/0.11	c Number of processors 	8
0.08/0.14	c Pseudo Boolean Optimization
0.08/0.14	c ManyCore solver with 2 solvers running in parallel
0.08/0.14	c --- Begin Solver configuration ---
0.08/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.08/0.14	c Learn all clauses as in MiniSAT
0.08/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.14	c Expensive reason simplification
0.08/0.14	c Armin Biere (Picosat) restarts strategy
0.08/0.14	c Glucose learned constraints deletion strategy
0.08/0.14	c timeout=2147483s
0.08/0.14	c DB Simplification allowed=false
0.08/0.14	c --- End Solver configuration ---
0.08/0.14	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.14	c --- Begin Solver configuration ---
0.08/0.14	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.08/0.14	c Learn all clauses as in MiniSAT
0.08/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.14	c No reason simplification
0.08/0.14	c Armin Biere (Picosat) restarts strategy
0.08/0.14	c Glucose learned constraints deletion strategy
0.08/0.14	c timeout=2147483s
0.08/0.14	c DB Simplification allowed=false
0.08/0.14	c --- End Solver configuration ---
0.08/0.14	c solving HOME/instance-3737603-1338723381.opb
0.08/0.14	c reading problem ... 
1.24/0.66	c ... done. Wall clock time 0.522s.
1.24/0.66	c #vars     7270
1.24/0.66	c #constraints  14042
1.24/0.66	c constraints type 
1.24/0.66	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6270
1.24/0.66	c org.sat4j.minisat.constraints.card.MinWatchCard => 1002
1.24/0.66	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1.24/0.66	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6270
1.24/0.66	c constraints type 
1.24/0.66	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500
1.24/0.66	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6270
1.24/0.66	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1002
1.24/0.66	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6270
3.16/1.13	c  And the winner is CuttingPlanes
3.16/1.17	c SATISFIABLE
3.16/1.17	c OPTIMIZING...
3.16/1.17	c Got one! Elapsed wall clock time (in seconds):1.031
3.16/1.17	o -10
3.65/1.31	c  And the winner is CuttingPlanes
3.70/1.67	c Got one! Elapsed wall clock time (in seconds):1.538
3.70/1.67	o -15
3.77/1.74	c  And the winner is CuttingPlanes
3.90/2.18	c Got one! Elapsed wall clock time (in seconds):2.042
3.90/2.18	o -25
4.00/2.28	c  And the winner is CuttingPlanes
4.17/2.68	c Got one! Elapsed wall clock time (in seconds):2.545
4.17/2.68	o -26
4.20/2.76	c  And the winner is CuttingPlanes
4.34/3.18	c Got one! Elapsed wall clock time (in seconds):3.047
4.34/3.18	o -27
4.39/3.29	c  And the winner is CuttingPlanes
4.62/3.69	c Got one! Elapsed wall clock time (in seconds):3.55
4.62/3.69	o -28
4.64/3.80	c  And the winner is CuttingPlanes
4.95/4.19	c Got one! Elapsed wall clock time (in seconds):4.052
4.95/4.19	o -29
4.96/4.28	c  And the winner is CuttingPlanes
5.23/4.69	c Got one! Elapsed wall clock time (in seconds):4.555
5.23/4.69	o -30
5.44/4.81	c  And the winner is CuttingPlanes
5.47/5.19	c Got one! Elapsed wall clock time (in seconds):5.057
5.47/5.19	o -31
5.47/5.27	c  And the winner is CuttingPlanes
5.63/5.70	c Got one! Elapsed wall clock time (in seconds):5.56
5.63/5.70	o -32
5.84/5.80	c  And the winner is CuttingPlanes
5.85/6.20	c Got one! Elapsed wall clock time (in seconds):6.062
5.85/6.20	o -33
5.85/6.28	c  And the winner is CuttingPlanes
6.02/6.70	c Got one! Elapsed wall clock time (in seconds):6.565
6.02/6.70	o -34
6.22/6.81	c  And the winner is CuttingPlanes
6.27/7.20	c Got one! Elapsed wall clock time (in seconds):7.068
6.27/7.20	o -35
6.48/7.30	c  And the winner is CuttingPlanes
6.49/7.71	c Got one! Elapsed wall clock time (in seconds):7.57
6.49/7.71	o -36
6.71/7.81	c  And the winner is CuttingPlanes
6.74/8.21	c Got one! Elapsed wall clock time (in seconds):8.073
6.74/8.21	o -37
6.91/8.32	c  And the winner is CuttingPlanes
6.97/8.71	c Got one! Elapsed wall clock time (in seconds):8.575
6.97/8.71	o -38
7.15/8.85	c  And the winner is CuttingPlanes
7.26/9.21	c Got one! Elapsed wall clock time (in seconds):9.078
7.26/9.21	o -39
7.42/9.33	c  And the winner is CuttingPlanes
7.51/9.72	c Got one! Elapsed wall clock time (in seconds):9.58
7.51/9.72	o -40
7.67/9.83	c  And the winner is CuttingPlanes
7.75/10.22	c Got one! Elapsed wall clock time (in seconds):10.083
7.75/10.22	o -41
7.90/10.33	c  And the winner is CuttingPlanes
7.97/10.72	c Got one! Elapsed wall clock time (in seconds):10.585
7.97/10.72	o -44
8.12/10.83	c  And the winner is CuttingPlanes
8.20/11.22	c Got one! Elapsed wall clock time (in seconds):11.088
8.20/11.22	o -45
8.35/11.35	c  And the winner is CuttingPlanes
8.47/11.73	c Got one! Elapsed wall clock time (in seconds):11.59
8.47/11.73	o -46
8.61/11.85	c  And the winner is CuttingPlanes
8.73/12.23	c Got one! Elapsed wall clock time (in seconds):12.093
8.73/12.23	o -47
8.86/12.34	c  And the winner is CuttingPlanes
8.96/12.73	c Got one! Elapsed wall clock time (in seconds):12.595
8.96/12.73	o -48
9.33/12.93	c  And the winner is CuttingPlanes
9.41/13.23	c Got one! Elapsed wall clock time (in seconds):13.098
9.41/13.23	o -49
9.53/13.36	c  And the winner is CuttingPlanes
9.67/13.74	c Got one! Elapsed wall clock time (in seconds):13.6
9.67/13.74	o -50
10.00/13.92	c  And the winner is CuttingPlanes
10.05/14.24	c Got one! Elapsed wall clock time (in seconds):14.102
10.05/14.24	o -51
10.41/14.41	c  And the winner is CuttingPlanes
10.45/14.74	c Got one! Elapsed wall clock time (in seconds):14.605
10.45/14.74	o -52
10.56/14.84	c  And the winner is CuttingPlanes
10.68/15.24	c Got one! Elapsed wall clock time (in seconds):15.107
10.68/15.24	o -53
10.79/15.34	c  And the winner is CuttingPlanes
10.88/15.74	c Got one! Elapsed wall clock time (in seconds):15.609
10.88/15.74	o -73
10.98/15.88	c  And the winner is CuttingPlanes
11.16/16.25	c Got one! Elapsed wall clock time (in seconds):16.111
11.16/16.25	o -74
11.86/16.67	c  And the winner is CuttingPlanes
12.02/16.75	c Got one! Elapsed wall clock time (in seconds):16.614
12.02/16.75	o -75
15.31/18.47	c  And the winner is CuttingPlanes
15.47/18.75	c Got one! Elapsed wall clock time (in seconds):18.617
15.47/18.75	o -76
15.96/19.01	c  And the winner is CuttingPlanes
16.02/19.25	c Got one! Elapsed wall clock time (in seconds):19.119
16.02/19.25	o -77
16.50/19.52	c  And the winner is CuttingPlanes
16.57/19.76	c Got one! Elapsed wall clock time (in seconds):19.621
16.57/19.76	o -78
18.65/20.89	c  And the winner is CuttingPlanes
18.85/21.26	c Got one! Elapsed wall clock time (in seconds):21.124
18.85/21.26	o -79
21.55/22.69	c cleaning 6346 clauses out of 12692 with flag 2000/12692
30.55/27.12	c cleaning 6169 clauses out of 12347 with flag 8001/18693
40.90/32.35	c cleaning 6583 clauses out of 13177 with flag 15000/25692
52.69/38.26	c cleaning 7290 clauses out of 14595 with flag 23001/33693
56.00/39.99	c  And the winner is CuttingPlanes
56.13/40.37	c Got one! Elapsed wall clock time (in seconds):40.234
56.13/40.37	o -80
60.18/42.47	c cleaning 6285 clauses out of 12570 with flag 3001/38958
68.91/46.88	c cleaning 6136 clauses out of 12285 with flag 9001/44958
79.25/52.00	c cleaning 6566 clauses out of 13148 with flag 16000/51957
90.79/57.85	c cleaning 7288 clauses out of 14583 with flag 24001/59958
104.30/64.61	c cleaning 8142 clauses out of 16295 with flag 33001/68958
109.05/67.10	c  And the winner is Resolution
109.32/67.48	c Got one! Elapsed wall clock time (in seconds):67.344
109.32/67.48	o -84
111.99/68.86	c cleaning 6710 clauses out of 13425 with flag 2001/74230
120.71/73.28	c cleaning 6353 clauses out of 12715 with flag 8001/80230
131.03/78.42	c cleaning 6674 clauses out of 13362 with flag 15001/87230
141.92/83.92	c  And the winner is CuttingPlanes
141.89/84.04	c Got one! Elapsed wall clock time (in seconds):83.908
141.89/84.04	o -85
148.81/87.59	c cleaning 9558 clauses out of 19123 with flag 5000/99665
157.74/92.00	c cleaning 7775 clauses out of 15566 with flag 11001/105666
167.87/97.10	c cleaning 7390 clauses out of 14790 with flag 18000/112665
179.64/103.04	c cleaning 7694 clauses out of 15401 with flag 26001/120666
193.13/109.85	c cleaning 8350 clauses out of 16707 with flag 35001/129666
193.66/110.12	c  And the winner is CuttingPlanes
193.66/110.17	c Got one! Elapsed wall clock time (in seconds):110.034
193.66/110.17	o -86
200.44/113.67	c cleaning 6792 clauses out of 13601 with flag 5000/134910
209.17/118.02	c cleaning 6398 clauses out of 12810 with flag 11001/140911
219.52/123.21	c cleaning 6700 clauses out of 13412 with flag 18001/147911
231.39/129.29	c cleaning 7348 clauses out of 14712 with flag 26001/155911
280.51/153.87	c cleaning 8091 clauses out of 16363 with flag 35000/164910
283.62/155.41	c  And the winner is CuttingPlanes
283.62/155.48	c Got one! Elapsed wall clock time (in seconds):155.347
283.62/155.48	o -87
290.66/159.11	c cleaning 6936 clauses out of 13878 with flag 5001/170516
305.18/166.40	c cleaning 6465 clauses out of 12941 with flag 11000/176515
347.68/187.72	c cleaning 6481 clauses out of 13476 with flag 18000/183515
376.41/202.17	c  And the winner is CuttingPlanes
376.34/202.56	c Got one! Elapsed wall clock time (in seconds):202.427
376.34/202.56	o -88
383.40/206.16	c cleaning 9127 clauses out of 18259 with flag 5000/194779
392.31/210.64	c cleaning 7561 clauses out of 15133 with flag 11001/200780
392.63/210.86	c  And the winner is CuttingPlanes
392.73/211.07	c Got one! Elapsed wall clock time (in seconds):210.932
392.73/211.07	o -89
399.79/214.65	c cleaning 6371 clauses out of 12741 with flag 5001/205949
408.46/219.07	c cleaning 6182 clauses out of 12370 with flag 11001/211949
444.98/237.33	c cleaning 6453 clauses out of 13187 with flag 18000/218948
481.10/255.44	c cleaning 7366 clauses out of 14734 with flag 26000/226948
519.40/274.67	c cleaning 8158 clauses out of 16368 with flag 35000/235948
558.68/294.36	c cleaning 9024 clauses out of 18210 with flag 45000/245948
597.59/313.81	c cleaning 10038 clauses out of 20186 with flag 56000/256948
632.29/331.26	c  And the winner is CuttingPlanes
631.83/331.44	c Got one! Elapsed wall clock time (in seconds):331.308
631.83/331.44	o -90
638.94/335.07	c cleaning 13301 clauses out of 26601 with flag 5001/273401
648.26/339.71	c cleaning 9641 clauses out of 19299 with flag 11000/279400
668.69/350.06	c cleaning 8069 clauses out of 16658 with flag 18000/286400
704.61/368.04	c cleaning 8115 clauses out of 16589 with flag 26000/294400
721.11/376.39	c  And the winner is CuttingPlanes
721.08/376.46	c Got one! Elapsed wall clock time (in seconds):376.322
721.08/376.46	o -91
723.95/377.92	c cleaning 7147 clauses out of 14298 with flag 2001/300224
732.46/382.26	c  And the winner is CuttingPlanes
732.57/382.56	c Got one! Elapsed wall clock time (in seconds):382.425
732.57/382.56	o -92
739.66/386.19	c cleaning 8992 clauses out of 17993 with flag 5000/311066
768.69/400.72	c cleaning 7188 clauses out of 15001 with flag 11000/317066
799.19/416.04	c cleaning 7337 clauses out of 14813 with flag 18000/324066
832.50/432.78	c cleaning 7624 clauses out of 15476 with flag 26000/332066
867.60/450.36	c cleaning 8384 clauses out of 16852 with flag 35000/341066
903.04/468.13	c cleaning 9000 clauses out of 18468 with flag 45000/351066
936.94/485.18	c cleaning 10070 clauses out of 20468 with flag 56000/362066
959.59/496.51	c  And the winner is CuttingPlanes
959.07/496.82	c Got one! Elapsed wall clock time (in seconds):496.681
959.07/496.82	o -93
966.23/500.45	c cleaning 12132 clauses out of 24264 with flag 5000/375932
992.91/513.81	c  And the winner is CuttingPlanes
992.91/513.82	c Got one! Elapsed wall clock time (in seconds):513.686
992.91/513.82	o -94
995.62/515.28	c cleaning 8725 clauses out of 17457 with flag 2000/381257
1017.85/526.42	c cleaning 7037 clauses out of 14732 with flag 8000/387257
1047.94/541.56	c cleaning 7266 clauses out of 14695 with flag 15000/394257
1080.62/557.94	c cleaning 7608 clauses out of 15429 with flag 23000/402257
1114.91/575.11	c cleaning 8403 clauses out of 16821 with flag 32000/411257
1149.92/592.73	c cleaning 9041 clauses out of 18418 with flag 42000/421257
1182.82/609.25	c cleaning 10108 clauses out of 20377 with flag 53000/432257
1202.09/618.94	c  And the winner is CuttingPlanes
1201.69/619.40	c Got one! Elapsed wall clock time (in seconds):619.269
1201.69/619.40	o -95
1224.48/630.89	c cleaning 11533 clauses out of 23065 with flag 5000/445053
1250.35/643.81	c cleaning 8521 clauses out of 17532 with flag 11000/451053
1278.75/658.13	c cleaning 7619 clauses out of 16011 with flag 18000/458053
1309.43/673.52	c cleaning 8023 clauses out of 16392 with flag 26000/466053
1340.71/689.25	c cleaning 8618 clauses out of 17369 with flag 35000/475053
1371.81/704.82	c cleaning 9190 clauses out of 18751 with flag 45000/485053
1399.41/718.70	c cleaning 10251 clauses out of 20561 with flag 56000/496053
1432.49/735.36	c cleaning 11027 clauses out of 22310 with flag 68000/508053
1490.58/764.42	c cleaning 12033 clauses out of 24283 with flag 81000/521053
1546.65/792.55	c cleaning 13116 clauses out of 26250 with flag 95000/535053
1598.85/818.75	c cleaning 13983 clauses out of 28134 with flag 110000/550053
1639.95/839.34	c cleaning 14556 clauses out of 29151 with flag 125000/565053
1653.21/846.03	c  And the winner is CuttingPlanes
1652.19/846.50	c Got one! Elapsed wall clock time (in seconds):846.368
1652.19/846.50	o -96
1663.98/852.45	c cleaning 10208 clauses out of 20415 with flag 2000/570873
1690.26/865.61	c cleaning 7945 clauses out of 16207 with flag 8000/576873
1719.46/880.34	c cleaning 7464 clauses out of 15262 with flag 15000/583873
1750.73/896.05	c cleaning 7753 clauses out of 15798 with flag 23000/591873
1783.21/912.31	c cleaning 8351 clauses out of 17045 with flag 32000/600873
1797.29/919.41	c starts		: 76
1797.29/919.41	c conflicts		: 7017
1797.29/919.41	c decisions		: 531319
1797.29/919.41	c propagations		: 5957595
1797.29/919.41	c inspects		: 397556022
1797.29/919.41	c shortcuts		: 0
1797.29/919.41	c learnt literals	: 0
1797.29/919.41	c learnt binary clauses	: 0
1797.29/919.41	c learnt ternary clauses	: 0
1797.29/919.41	c learnt constraints	: 7016
1797.29/919.41	c ignored constraints	: 0
1797.29/919.41	c root simplifications	: 0
1797.29/919.41	c removed literals (reason simplification)	: 0
1797.29/919.41	c reason swapping (by a shorter reason)	: 0
1797.29/919.41	c Calls to reduceDB	: 0
1797.29/919.41	c number of reductions to clauses (during analyze)	: 0
1797.29/919.41	c number of learned constraints concerned by reduction	: 0
1797.29/919.41	c number of learning phase by resolution	: 0
1797.29/919.41	c number of learning phase by cutting planes	: 0
1797.29/919.41	c speed (assignments/second)	: 81717.23475756121
1797.29/919.41	c non guided choices	635
1797.29/919.41	c learnt constraints type 
1797.29/919.41	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 6
1797.29/919.41	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7010
1797.29/919.41	c constraints type 
1797.29/919.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6270
1797.29/919.41	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1797.29/919.41	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1797.29/919.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6270
1797.29/919.41	c constraints type 
1797.29/919.41	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500
1797.29/919.41	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6270
1797.29/919.41	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1003
1797.29/919.41	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6270
1797.29/919.41	s SATISFIABLE
1797.29/919.42	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 x33 -x34 x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 x57 x58 -x59 -x60 x61 x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 x128 -x129 -x130 x131 -x132 -x133 x134 -x135 -x136 -x137 x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 x187 -x188 -x189 -x190 -x191 x192 -x193 x194 x195 x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 x248 -x249 x250 -x251 -x252 x253 -x254 -x255 x256 -x257 x258 -x259 -x260 x261 x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 x325 -x326 x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 x340 x341 -x342 -x343 -x344 x345 x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 -x363 x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 x387 -x388 -x389 x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -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 
1797.29/919.42	c objective function=-96
1797.29/919.42	c Total wall clock time (in seconds): 919.281

Verifier Data

OK	-96

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

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

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


[startup+0 s]
/proc/loadavg: 3.54 3.52 3.54 3/199 785
/proc/meminfo: memFree=26926952/32873844 swapFree=7124/7124
[pid=785] ppid=783 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/785/stat : 785 (java) D 783 785 30903 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 338463496 278528 33 33554432000 1073741824 1073778376 140735803427760 140735803424936 273896533287 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/785/statm: 68 33 25 9 0 25 0

[startup+0.0232571 s]
/proc/loadavg: 3.54 3.52 3.54 3/199 785
/proc/meminfo: memFree=26926952/32873844 swapFree=7124/7124
[pid=785] ppid=783 vsize=10496720 CPUtime=0 cores=1,3,5,7
/proc/785/stat : 785 (java) S 783 785 30903 0 -1 4202496 1547 0 1 0 0 0 0 0 20 0 2 0 338463496 10748641280 1740 33554432000 1073741824 1073778376 140736909100880 140736909092016 273909055549 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/785/statm: 2624180 1754 931 9 0 2615289 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10496720

[startup+0.100243 s]
/proc/loadavg: 3.54 3.52 3.54 3/199 785
/proc/meminfo: memFree=26926952/32873844 swapFree=7124/7124
[pid=785] ppid=783 vsize=11586392 CPUtime=0.08 cores=1,3,5,7
/proc/785/stat : 785 (java) S 783 785 30903 0 -1 4202496 4982 0 1 0 6 2 0 0 20 0 18 0 338463496 11864465408 12834 33554432000 1073741824 1073778376 140736909100880 140736909092016 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/785/statm: 2896598 12834 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11586392

[startup+0.300281 s]
/proc/loadavg: 3.54 3.52 3.54 3/199 785
/proc/meminfo: memFree=26926952/32873844 swapFree=7124/7124
[pid=785] ppid=783 vsize=11586392 CPUtime=0.44 cores=1,3,5,7
/proc/785/stat : 785 (java) S 783 785 30903 0 -1 4202496 7529 0 1 0 41 3 0 0 20 0 18 0 338463496 11864465408 16457 33554432000 1073741824 1073778376 140736909100880 140736909092016 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/785/statm: 2896598 16457 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 11586392

[startup+0.700192 s]
/proc/loadavg: 3.54 3.52 3.54 3/199 785
/proc/meminfo: memFree=26926952/32873844 swapFree=7124/7124
[pid=785] ppid=783 vsize=11852648 CPUtime=1.57 cores=1,3,5,7
/proc/785/stat : 785 (java) S 783 785 30903 0 -1 4202496 14733 0 1 0 151 6 0 0 20 0 22 0 338463496 12137111552 39010 33554432000 1073741824 1073778376 140736909100880 140736909092016 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/785/statm: 2963162 39010 2253 9 0 2953849 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 11852648

[startup+1.50079 s]
/proc/loadavg: 3.54 3.52 3.54 7/221 807
/proc/meminfo: memFree=26767752/32873844 swapFree=7124/7124
[pid=785] ppid=783 vsize=11852648 CPUtime=3.7 cores=1,3,5,7
/proc/785/stat : 785 (java) S 783 785 30903 0 -1 4202496 20277 0 1 0 359 11 0 0 20 0 19 0 338463496 12137111552 52391 33554432000 1073741824 1073778376 140736909100880 140736909092016 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/785/statm: 2963162 52391 2269 9 0 2953849 0
[pid=785/tid=787] ppid=783 vsize=11852648 CPUtime=0.63 cores=1,3,5,7
/proc/785/task/787/stat : 787 (java) S 783 785 30903 0 -1 4202560 3931 0 1 0 60 3 0 0 20 0 19 0 338463497 12137111552 52391 33554432000 1073741824 1073778376 140736909100880 140257755718808 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=788] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/788/stat : 788 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 52391 33554432000 1073741824 1073778376 140736909100880 140257731124136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=789] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/789/stat : 789 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 52391 33554432000 1073741824 1073778376 140736909100880 140257730071592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=790] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/790/stat : 790 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 52391 33554432000 1073741824 1073778376 140736909100880 140257729018536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=791] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/791/stat : 791 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 52391 33554432000 1073741824 1073778376 140736909100880 140257588988712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=792] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/792/stat : 792 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 52391 33554432000 1073741824 1073778376 140736909100880 140257587935656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=793] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/793/stat : 793 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 52391 33554432000 1073741824 1073778376 140736909100880 140257586883112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=794] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/794/stat : 794 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 52391 33554432000 1073741824 1073778376 140736909100880 140257585830056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=795] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/795/stat : 795 (java) S 783 785 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 52391 33554432000 1073741824 1073778376 140736909100880 140257584777512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=796] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/796/stat : 796 (java) S 783 785 30903 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338463501 12137111552 52391 33554432000 1073741824 1073778376 140736909100880 140257572580200 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=797] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/797/stat : 797 (java) S 783 785 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338463501 12137111552 52391 33554432000 1073741824 1073778376 140736909100880 140257571526520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=798] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/798/stat : 798 (java) S 783 785 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338463501 12137111552 52391 33554432000 1073741824 1073778376 140736909100880 140257570473352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=799] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/799/stat : 799 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463504 12137111552 52391 33554432000 1073741824 1073778376 140736909100880 140257569422096 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=800] ppid=783 vsize=11852648 CPUtime=0.86 cores=1,3,5,7
/proc/785/task/800/stat : 800 (java) S 783 785 30903 0 -1 4202560 5312 0 0 0 85 1 0 0 20 0 19 0 338463504 12137111552 52391 33554432000 1073741824 1073778376 140736909100880 140257568368952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=801] ppid=783 vsize=11852648 CPUtime=0.94 cores=1,3,5,7
/proc/785/task/801/stat : 801 (java) S 783 785 30903 0 -1 4202560 9707 0 0 0 92 2 0 0 20 0 19 0 338463504 12137111552 52391 33554432000 1073741824 1073778376 140736909100880 140257567316408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=802] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/802/stat : 802 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463504 12137111552 52391 33554432000 1073741824 1073778376 140736909100880 140257566263544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=803] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/803/stat : 803 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463504 12137111552 52391 33554432000 1073741824 1073778376 140736909100880 140257565211208 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=806] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/806/stat : 806 (java) S 783 785 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338463564 12137111552 52391 33554432000 1073741824 1073778376 140736909100880 140257562051880 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 11852648

[startup+3.10069 s]
/proc/loadavg: 3.41 3.49 3.53 3/218 813
/proc/meminfo: memFree=26710592/32873844 swapFree=7124/7124
[pid=785] ppid=783 vsize=11852648 CPUtime=4.34 cores=1,3,5,7
/proc/785/stat : 785 (java) S 783 785 30903 0 -1 4202496 20325 0 1 0 417 17 0 0 20 0 19 0 338463496 12137111552 66727 33554432000 1073741824 1073778376 140736909100880 140736909092016 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/785/statm: 2963162 66727 2269 9 0 2953849 0
[pid=785/tid=787] ppid=783 vsize=11852648 CPUtime=0.65 cores=1,3,5,7
/proc/785/task/787/stat : 787 (java) S 783 785 30903 0 -1 4202560 3932 0 1 0 61 4 0 0 20 0 19 0 338463497 12137111552 66727 33554432000 1073741824 1073778376 140736909100880 140257755718824 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=788] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/788/stat : 788 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 66727 33554432000 1073741824 1073778376 140736909100880 140257731124136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=789] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/789/stat : 789 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 66727 33554432000 1073741824 1073778376 140736909100880 140257730071592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=790] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/790/stat : 790 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 66727 33554432000 1073741824 1073778376 140736909100880 140257729018536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=791] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/791/stat : 791 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 66727 33554432000 1073741824 1073778376 140736909100880 140257588988712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=792] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/792/stat : 792 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 66727 33554432000 1073741824 1073778376 140736909100880 140257587935656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=793] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/793/stat : 793 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 66727 33554432000 1073741824 1073778376 140736909100880 140257586883112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=794] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/794/stat : 794 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 66727 33554432000 1073741824 1073778376 140736909100880 140257585830056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=795] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/795/stat : 795 (java) S 783 785 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 66727 33554432000 1073741824 1073778376 140736909100880 140257584777512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=796] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/796/stat : 796 (java) S 783 785 30903 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338463501 12137111552 66727 33554432000 1073741824 1073778376 140736909100880 140257572580200 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=797] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/797/stat : 797 (java) S 783 785 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338463501 12137111552 66727 33554432000 1073741824 1073778376 140736909100880 140257571526520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=798] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/798/stat : 798 (java) S 783 785 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338463501 12137111552 66727 33554432000 1073741824 1073778376 140736909100880 140257570473352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=799] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/799/stat : 799 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463504 12137111552 66727 33554432000 1073741824 1073778376 140736909100880 140257569422096 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=800] ppid=783 vsize=11852648 CPUtime=0.96 cores=1,3,5,7
/proc/785/task/800/stat : 800 (java) S 783 785 30903 0 -1 4202560 5312 0 0 0 94 2 0 0 20 0 19 0 338463504 12137111552 66727 33554432000 1073741824 1073778376 140736909100880 140257568368952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=801] ppid=783 vsize=11852648 CPUtime=0.97 cores=1,3,5,7
/proc/785/task/801/stat : 801 (java) S 783 785 30903 0 -1 4202560 9707 0 0 0 95 2 0 0 20 0 19 0 338463504 12137111552 66727 33554432000 1073741824 1073778376 140736909100880 140257567316408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=802] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/802/stat : 802 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463504 12137111552 66727 33554432000 1073741824 1073778376 140736909100880 140257566263544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=803] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/803/stat : 803 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463504 12137111552 66727 33554432000 1073741824 1073778376 140736909100880 140257565211208 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=806] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/806/stat : 806 (java) S 783 785 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338463564 12137111552 66727 33554432000 1073741824 1073778376 140736909100880 140257562051880 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 11852648

[startup+6.30069 s]
/proc/loadavg: 3.41 3.49 3.53 3/218 834
/proc/meminfo: memFree=26564704/32873844 swapFree=7124/7124
[pid=785] ppid=783 vsize=11852648 CPUtime=6.02 cores=1,3,5,7
/proc/785/stat : 785 (java) S 783 785 30903 0 -1 4202496 22396 0 1 0 571 31 0 0 20 0 19 0 338463496 12137111552 102545 33554432000 1073741824 1073778376 140736909100880 140736909092016 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/785/statm: 2963162 102545 2270 9 0 2953849 0
[pid=785/tid=787] ppid=783 vsize=11852648 CPUtime=0.67 cores=1,3,5,7
/proc/785/task/787/stat : 787 (java) S 783 785 30903 0 -1 4202560 3934 0 1 0 63 4 0 0 20 0 19 0 338463497 12137111552 102545 33554432000 1073741824 1073778376 140736909100880 140257755718824 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=788] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/788/stat : 788 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 102545 33554432000 1073741824 1073778376 140736909100880 140257731124136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=789] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/789/stat : 789 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 102545 33554432000 1073741824 1073778376 140736909100880 140257730071592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=790] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/790/stat : 790 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 102545 33554432000 1073741824 1073778376 140736909100880 140257729018536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=791] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/791/stat : 791 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 102545 33554432000 1073741824 1073778376 140736909100880 140257588988712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=792] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/792/stat : 792 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 102545 33554432000 1073741824 1073778376 140736909100880 140257587935656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=793] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/793/stat : 793 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 102545 33554432000 1073741824 1073778376 140736909100880 140257586883112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=794] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/794/stat : 794 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 102545 33554432000 1073741824 1073778376 140736909100880 140257585830056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=795] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/795/stat : 795 (java) S 783 785 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338463499 12137111552 102545 33554432000 1073741824 1073778376 140736909100880 140257584777512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=796] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/796/stat : 796 (java) S 783 785 30903 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338463501 12137111552 102545 33554432000 1073741824 1073778376 140736909100880 140257572580200 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=797] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/797/stat : 797 (java) S 783 785 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338463501 12137111552 102545 33554432000 1073741824 1073778376 140736909100880 140257571526520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=798] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/798/stat : 798 (java) S 783 785 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338463501 12137111552 102545 33554432000 1073741824 1073778376 140736909100880 140257570473352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=799] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/799/stat : 799 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463504 12137111552 102545 33554432000 1073741824 1073778376 140736909100880 140257569422096 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=800] ppid=783 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/785/task/800/stat : 800 (java) S 783 785 30903 0 -1 4202560 5312 0 0 0 103 2 0 0 20 0 19 0 338463504 12137111552 102545 33554432000 1073741824 1073778376 140736909100880 140257568368952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=801] ppid=783 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/785/task/801/stat : 801 (java) S 783 785 30903 0 -1 4202560 11645 0 0 0 110 2 0 0 20 0 19 0 338463504 12137111552 102545 33554432000 1073741824 1073778376 140736909100880 140257567316408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=802] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/802/stat : 802 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463504 12137111552 102545 33554432000 1073741824 1073778376 140736909100880 140257566263544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=803] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/803/stat : 803 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463504 12137111552 102545 33554432000 1073741824 1073778376 140736909100880 140257565211208 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=806] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/806/stat : 806 (java) S 783 785 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338463564 12137111552 102545 33554432000 1073741824 1073778376 140736909100880 140257562051880 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 11852648

[startup+12.7007 s]

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

/proc/785/task/789/stat : 789 (java) S 783 785 30903 0 -1 4202560 44 0 0 0 32 2 0 0 20 0 19 0 338463499 12137111552 649130 33554432000 1073741824 1073778376 140736909100880 140257730071592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=790] ppid=783 vsize=11852648 CPUtime=0.38 cores=1,3,5,7
/proc/785/task/790/stat : 790 (java) S 783 785 30903 0 -1 4202560 38 0 0 0 38 0 0 0 20 0 19 0 338463499 12137111552 649130 33554432000 1073741824 1073778376 140736909100880 140257729018536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=791] ppid=783 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/785/task/791/stat : 791 (java) S 783 785 30903 0 -1 4202560 47 0 0 0 32 2 0 0 20 0 19 0 338463499 12137111552 649130 33554432000 1073741824 1073778376 140736909100880 140257588988712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=792] ppid=783 vsize=11852648 CPUtime=0.37 cores=1,3,5,7
/proc/785/task/792/stat : 792 (java) S 783 785 30903 0 -1 4202560 46 0 0 0 35 2 0 0 20 0 19 0 338463499 12137111552 649130 33554432000 1073741824 1073778376 140736909100880 140257587935656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=793] ppid=783 vsize=11852648 CPUtime=0.39 cores=1,3,5,7
/proc/785/task/793/stat : 793 (java) S 783 785 30903 0 -1 4202560 44 0 0 0 37 2 0 0 20 0 19 0 338463499 12137111552 649130 33554432000 1073741824 1073778376 140736909100880 140257586883112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=794] ppid=783 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/785/task/794/stat : 794 (java) S 783 785 30903 0 -1 4202560 35 0 0 0 35 0 0 0 20 0 19 0 338463499 12137111552 649130 33554432000 1073741824 1073778376 140736909100880 140257585830056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=795] ppid=783 vsize=11852648 CPUtime=0.32 cores=1,3,5,7
/proc/785/task/795/stat : 795 (java) S 783 785 30903 0 -1 4202560 26 0 0 0 32 0 0 0 20 0 19 0 338463499 12137111552 649130 33554432000 1073741824 1073778376 140736909100880 140257584777512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=796] ppid=783 vsize=11852648 CPUtime=8.17 cores=1,3,5,7
/proc/785/task/796/stat : 796 (java) S 783 785 30903 0 -1 4202560 117 0 0 0 811 6 0 0 20 0 19 0 338463501 12137111552 649130 33554432000 1073741824 1073778376 140736909100880 140257572580200 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=797] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/797/stat : 797 (java) S 783 785 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338463501 12137111552 649130 33554432000 1073741824 1073778376 140736909100880 140257571526520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=798] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/798/stat : 798 (java) S 783 785 30903 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 19 0 338463501 12137111552 649130 33554432000 1073741824 1073778376 140736909100880 140257570473352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=799] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/799/stat : 799 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463504 12137111552 649130 33554432000 1073741824 1073778376 140736909100880 140257569422096 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=800] ppid=783 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/785/task/800/stat : 800 (java) S 783 785 30903 0 -1 4202560 5350 0 0 0 143 2 0 0 20 0 19 0 338463504 12137111552 649130 33554432000 1073741824 1073778376 140736909100880 140257568368952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=801] ppid=783 vsize=11852648 CPUtime=1.24 cores=1,3,5,7
/proc/785/task/801/stat : 801 (java) S 783 785 30903 0 -1 4202560 11648 0 0 0 122 2 0 0 20 0 19 0 338463504 12137111552 649130 33554432000 1073741824 1073778376 140736909100880 140257567316408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=802] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/802/stat : 802 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338463504 12137111552 649130 33554432000 1073741824 1073778376 140736909100880 140257566263544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=803] ppid=783 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/785/task/803/stat : 803 (java) S 783 785 30903 0 -1 4202560 49 0 0 0 25 19 0 0 20 0 19 0 338463504 12137111552 649130 33554432000 1073741824 1073778376 140736909100880 140257565211208 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=921] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/921/stat : 921 (java) S 783 785 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338470244 12137111552 649130 33554432000 1073741824 1073778376 140736909100880 140257562051752 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1652.19
Current children cumulated vsize (KiB) 11852648
#
############


[startup+882.301 s]
/proc/loadavg: 3.75 3.73 3.65 4/221 1030
/proc/meminfo: memFree=24226140/32873844 swapFree=7124/7124
[pid=785] ppid=783 vsize=11852648 CPUtime=1723.33 cores=1,3,5,7
/proc/785/stat : 785 (java) S 783 785 30903 0 -1 4202496 24380 0 1 0 172146 187 0 0 20 0 22 0 338463496 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140736909092016 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/785/statm: 2963162 649655 2295 9 0 2953849 0
[pid=785/tid=787] ppid=783 vsize=11852648 CPUtime=0.8 cores=1,3,5,7
/proc/785/task/787/stat : 787 (java) S 783 785 30903 0 -1 4202560 3961 0 1 0 73 7 0 0 20 0 22 0 338463497 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257755718792 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=788] ppid=783 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/785/task/788/stat : 788 (java) S 783 785 30903 0 -1 4202560 40 0 0 0 33 1 0 0 20 0 22 0 338463499 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257731124136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=789] ppid=783 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/785/task/789/stat : 789 (java) S 783 785 30903 0 -1 4202560 45 0 0 0 34 2 0 0 20 0 22 0 338463499 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257730071592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=790] ppid=783 vsize=11852648 CPUtime=0.39 cores=1,3,5,7
/proc/785/task/790/stat : 790 (java) S 783 785 30903 0 -1 4202560 38 0 0 0 39 0 0 0 20 0 22 0 338463499 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257729018536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=791] ppid=783 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/785/task/791/stat : 791 (java) S 783 785 30903 0 -1 4202560 48 0 0 0 33 2 0 0 20 0 22 0 338463499 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257588988712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=792] ppid=783 vsize=11852648 CPUtime=0.39 cores=1,3,5,7
/proc/785/task/792/stat : 792 (java) S 783 785 30903 0 -1 4202560 46 0 0 0 37 2 0 0 20 0 22 0 338463499 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257587935656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=793] ppid=783 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/785/task/793/stat : 793 (java) S 783 785 30903 0 -1 4202560 44 0 0 0 38 2 0 0 20 0 22 0 338463499 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257586883112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=794] ppid=783 vsize=11852648 CPUtime=0.37 cores=1,3,5,7
/proc/785/task/794/stat : 794 (java) S 783 785 30903 0 -1 4202560 37 0 0 0 37 0 0 0 20 0 22 0 338463499 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257585830056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=795] ppid=783 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/785/task/795/stat : 795 (java) S 783 785 30903 0 -1 4202560 28 0 0 0 35 0 0 0 20 0 22 0 338463499 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257584777512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=796] ppid=783 vsize=11852648 CPUtime=8.67 cores=1,3,5,7
/proc/785/task/796/stat : 796 (java) S 783 785 30903 0 -1 4202560 120 0 0 0 860 7 0 0 20 0 22 0 338463501 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257572580200 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=797] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/797/stat : 797 (java) S 783 785 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338463501 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257571526520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=798] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/798/stat : 798 (java) S 783 785 30903 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 22 0 338463501 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257570473352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=799] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/799/stat : 799 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338463504 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257569422096 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=800] ppid=783 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/785/task/800/stat : 800 (java) S 783 785 30903 0 -1 4202560 5350 0 0 0 143 2 0 0 20 0 22 0 338463504 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257568368952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=801] ppid=783 vsize=11852648 CPUtime=1.24 cores=1,3,5,7
/proc/785/task/801/stat : 801 (java) S 783 785 30903 0 -1 4202560 11648 0 0 0 122 2 0 0 20 0 22 0 338463504 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257567316408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=802] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/802/stat : 802 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338463504 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257566263544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=803] ppid=783 vsize=11852648 CPUtime=0.47 cores=1,3,5,7
/proc/785/task/803/stat : 803 (java) S 783 785 30903 0 -1 4202560 51 0 0 0 27 20 0 0 20 0 22 0 338463504 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257565211208 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=921] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/921/stat : 921 (java) S 783 785 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338470244 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257562051752 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=1028] ppid=783 vsize=11852648 CPUtime=35.15 cores=1,3,5,7
/proc/785/task/1028/stat : 1028 (java) R 783 785 30903 0 -1 4202560 3 0 0 0 3515 0 0 0 20 0 22 0 338548146 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257564156112 140257610608494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=785/tid=1029] ppid=783 vsize=11852648 CPUtime=35.15 cores=1,3,5,7
/proc/785/task/1029/stat : 1029 (java) R 783 785 30903 0 -1 4202560 2 0 0 0 3515 0 0 0 20 0 22 0 338548146 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257560996960 140257610572488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=785/tid=1030] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/1030/stat : 1030 (java) S 783 785 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338548147 12137111552 649655 33554432000 1073741824 1073778376 140736909100880 140257563104936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1723.33
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+919.401 s]
/proc/loadavg: 3.86 3.76 3.66 5/221 1030
/proc/meminfo: memFree=24213976/32873844 swapFree=7124/7124
[pid=785] ppid=783 vsize=11852648 CPUtime=1797.29 cores=1,3,5,7
/proc/785/stat : 785 (java) S 783 785 30903 0 -1 4202496 24389 0 1 0 179541 188 0 0 20 0 22 0 338463496 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140736909092016 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/785/statm: 2963162 649658 2295 9 0 2953849 0
[pid=785/tid=787] ppid=783 vsize=11852648 CPUtime=0.8 cores=1,3,5,7
/proc/785/task/787/stat : 787 (java) S 783 785 30903 0 -1 4202560 3961 0 1 0 73 7 0 0 20 0 22 0 338463497 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257755718792 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=788] ppid=783 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/785/task/788/stat : 788 (java) S 783 785 30903 0 -1 4202560 40 0 0 0 33 1 0 0 20 0 22 0 338463499 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257731124136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=789] ppid=783 vsize=11852648 CPUtime=0.37 cores=1,3,5,7
/proc/785/task/789/stat : 789 (java) S 783 785 30903 0 -1 4202560 47 0 0 0 35 2 0 0 20 0 22 0 338463499 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257730071592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=790] ppid=783 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/785/task/790/stat : 790 (java) S 783 785 30903 0 -1 4202560 39 0 0 0 40 0 0 0 20 0 22 0 338463499 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257729018536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=791] ppid=783 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/785/task/791/stat : 791 (java) S 783 785 30903 0 -1 4202560 48 0 0 0 34 2 0 0 20 0 22 0 338463499 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257588988712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=792] ppid=783 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/785/task/792/stat : 792 (java) S 783 785 30903 0 -1 4202560 46 0 0 0 38 2 0 0 20 0 22 0 338463499 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257587935656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=793] ppid=783 vsize=11852648 CPUtime=0.41 cores=1,3,5,7
/proc/785/task/793/stat : 793 (java) S 783 785 30903 0 -1 4202560 44 0 0 0 39 2 0 0 20 0 22 0 338463499 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257586883112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=794] ppid=783 vsize=11852648 CPUtime=0.37 cores=1,3,5,7
/proc/785/task/794/stat : 794 (java) S 783 785 30903 0 -1 4202560 37 0 0 0 37 0 0 0 20 0 22 0 338463499 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257585830056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=795] ppid=783 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/785/task/795/stat : 795 (java) S 783 785 30903 0 -1 4202560 28 0 0 0 35 0 0 0 20 0 22 0 338463499 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257584777512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=796] ppid=783 vsize=11852648 CPUtime=8.96 cores=1,3,5,7
/proc/785/task/796/stat : 796 (java) S 783 785 30903 0 -1 4202560 122 0 0 0 889 7 0 0 20 0 22 0 338463501 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257572580200 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=797] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/797/stat : 797 (java) S 783 785 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338463501 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257571526520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=798] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/798/stat : 798 (java) S 783 785 30903 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 22 0 338463501 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257570473352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=799] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/799/stat : 799 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338463504 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257569422096 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=800] ppid=783 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/785/task/800/stat : 800 (java) S 783 785 30903 0 -1 4202560 5350 0 0 0 143 2 0 0 20 0 22 0 338463504 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257568368952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=785/tid=801] ppid=783 vsize=11852648 CPUtime=1.24 cores=1,3,5,7
/proc/785/task/801/stat : 801 (java) S 783 785 30903 0 -1 4202560 11648 0 0 0 122 2 0 0 20 0 22 0 338463504 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257567316408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=802] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/802/stat : 802 (java) S 783 785 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338463504 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257566263544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=785/tid=803] ppid=783 vsize=11852648 CPUtime=0.49 cores=1,3,5,7
/proc/785/task/803/stat : 803 (java) S 783 785 30903 0 -1 4202560 53 0 0 0 28 21 0 0 20 0 22 0 338463504 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257565211208 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=785/tid=921] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/921/stat : 921 (java) S 783 785 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338470244 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257562051752 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=785/tid=1028] ppid=783 vsize=11852648 CPUtime=71.85 cores=1,3,5,7
/proc/785/task/1028/stat : 1028 (java) R 783 785 30903 0 -1 4202560 5 0 0 0 7184 1 0 0 20 0 22 0 338548146 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257564156112 140257610609245 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=785/tid=1029] ppid=783 vsize=11852648 CPUtime=71.85 cores=1,3,5,7
/proc/785/task/1029/stat : 1029 (java) R 783 785 30903 0 -1 4202560 2 0 0 0 7184 1 0 0 20 0 22 0 338548146 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257560996848 140257610641709 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=785/tid=1030] ppid=783 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/785/task/1030/stat : 1030 (java) S 783 785 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338548147 12137111552 649658 33554432000 1073741824 1073778376 140736909100880 140257563104936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.29
Current children cumulated vsize (KiB) 11852648

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 785 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=10116
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=65685
# CPU time returned by wait4() is 1797.08
# while last known CPU time is 1797.29
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 2.75005
#  lost CPU user time (s): 3.03001
#  lost CPU system time (s): -0.28

Real time (s): 919.435
CPU time (s): 1800.04
CPU user time (s): 1798.44
CPU system time (s): 1.6
CPU usage (%): 195.777
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.01
system time used= 2.06569
maximum resident set size= 2598744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24417
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25084
involuntary context switches= 14536

runsolver used 3.2905 second user time and 9.32658 second system time

The end

Launcher Data

Begin job on node134 at 2012-06-03 13:36:21
IDJOB=3737603
IDBENCH=48268
IDSOLVER=2328
FILE ID=node134/3737603-1338723381
RUNJOBID= node134-1338713778-30920
PBS_JOBID= 14636743
Free space on /tmp= 70360 MiB

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

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

MD5SUM BENCH= 9b75ee50c2c62e6be495e8bd0a94fa2c
RANDOM SEED=96707069

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26927108 kB
Buffers:          487104 kB
Cached:          3303280 kB
SwapCached:           76 kB
Active:          2988448 kB
Inactive:        2049512 kB
Active(anon):    1238816 kB
Inactive(anon):    10496 kB
Active(file):    1749632 kB
Inactive(file):  2039016 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:               444 kB
Writeback:             0 kB
AnonPages:       1259676 kB
Mapped:            19340 kB
Shmem:                96 kB
Slab:             761304 kB
SReclaimable:     202880 kB
SUnreclaim:       558424 kB
KernelStack:        1640 kB
PageTables:         6296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10458592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1202176 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= 70360 MiB
End job on node134 at 2012-06-03 13:51:43