Trace number 3718451

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 NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28OPTIMUM 19.3611 17.5488

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo
MD5SUM08393a4a0fbe261470f6b3451acbb15e
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.734887
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 5034
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 5033
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1240
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version 2.3.2.v20120528
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3718451-1338254265.wbo
0.11/0.10	c reading problem ... 
0.11/0.15	c ... done. Wall clock time 0.053s.
0.11/0.15	c declared #vars     169
0.11/0.15	c internal #vars     270
0.11/0.15	c #constraints  101
0.11/0.15	c constraints type 
0.11/0.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.11/0.15	c ignored satisfied constraints => 1
0.11/0.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.11/0.15	c 102 constraints processed.
0.11/0.15	c objective function length is 101 literals
0.29/0.20	c SATISFIABLE
0.29/0.20	c OPTIMIZING...
0.29/0.20	c Got one! Elapsed wall clock time (in seconds):0.103
0.29/0.20	o 632
0.29/0.24	c Got one! Elapsed wall clock time (in seconds):0.142
0.29/0.24	o 630
0.29/0.25	c Got one! Elapsed wall clock time (in seconds):0.154
0.29/0.25	o 624
0.29/0.26	c Got one! Elapsed wall clock time (in seconds):0.167
0.29/0.26	o 622
0.29/0.27	c Got one! Elapsed wall clock time (in seconds):0.173
0.29/0.27	o 600
0.29/0.28	c Got one! Elapsed wall clock time (in seconds):0.183
0.29/0.28	o 598
0.51/0.30	c Got one! Elapsed wall clock time (in seconds):0.199
0.51/0.30	o 596
0.51/0.32	c Got one! Elapsed wall clock time (in seconds):0.223
0.51/0.32	o 595
0.51/0.33	c Got one! Elapsed wall clock time (in seconds):0.23
0.51/0.33	o 590
0.51/0.34	c Got one! Elapsed wall clock time (in seconds):0.244
0.51/0.34	o 583
0.51/0.36	c Got one! Elapsed wall clock time (in seconds):0.259
0.51/0.36	o 580
0.51/0.37	c Got one! Elapsed wall clock time (in seconds):0.268
0.51/0.37	o 579
0.51/0.37	c Got one! Elapsed wall clock time (in seconds):0.275
0.51/0.37	o 560
0.51/0.38	c Got one! Elapsed wall clock time (in seconds):0.28
0.51/0.38	o 558
0.51/0.39	c Got one! Elapsed wall clock time (in seconds):0.289
0.51/0.39	o 551
0.70/0.40	c Got one! Elapsed wall clock time (in seconds):0.303
0.70/0.40	o 546
0.70/0.42	c Got one! Elapsed wall clock time (in seconds):0.325
0.70/0.42	o 540
0.70/0.43	c Got one! Elapsed wall clock time (in seconds):0.331
0.70/0.43	o 529
0.70/0.44	c Got one! Elapsed wall clock time (in seconds):0.338
0.70/0.44	o 528
0.70/0.45	c Got one! Elapsed wall clock time (in seconds):0.35
0.70/0.45	o 492
0.70/0.46	c Got one! Elapsed wall clock time (in seconds):0.363
0.70/0.46	o 391
0.70/0.49	c Got one! Elapsed wall clock time (in seconds):0.388
0.70/0.49	o 389
0.82/0.52	c Got one! Elapsed wall clock time (in seconds):0.422
0.82/0.52	o 387
0.82/0.52	c Got one! Elapsed wall clock time (in seconds):0.425
0.82/0.52	o 374
0.82/0.53	c Got one! Elapsed wall clock time (in seconds):0.431
0.82/0.53	o 368
0.82/0.54	c Got one! Elapsed wall clock time (in seconds):0.44
0.82/0.54	o 337
0.82/0.57	c Got one! Elapsed wall clock time (in seconds):0.474
0.82/0.57	o 335
0.99/0.62	c Got one! Elapsed wall clock time (in seconds):0.521
0.99/0.62	o 333
0.99/0.63	c Got one! Elapsed wall clock time (in seconds):0.535
0.99/0.63	o 303
0.99/0.67	c Got one! Elapsed wall clock time (in seconds):0.576
0.99/0.67	o 294
0.99/0.68	c Got one! Elapsed wall clock time (in seconds):0.578
0.99/0.68	o 291
1.21/0.70	c Got one! Elapsed wall clock time (in seconds):0.6
1.21/0.70	o 290
1.21/0.70	c Got one! Elapsed wall clock time (in seconds):0.605
1.21/0.70	o 288
1.21/0.72	c Got one! Elapsed wall clock time (in seconds):0.622
1.21/0.72	o 285
1.31/0.82	c cleaning 8280 clauses out of 16560 with flag 7204/16560
1.31/0.84	c Got one! Elapsed wall clock time (in seconds):0.739
1.31/0.84	o 284
1.44/0.90	c Got one! Elapsed wall clock time (in seconds):0.803
1.44/0.90	o 270
1.44/0.96	c Got one! Elapsed wall clock time (in seconds):0.864
1.44/0.96	o 264
1.44/0.97	c Got one! Elapsed wall clock time (in seconds):0.874
1.44/0.97	o 262
1.44/0.98	c Got one! Elapsed wall clock time (in seconds):0.883
1.44/0.98	o 257
1.59/1.00	c Got one! Elapsed wall clock time (in seconds):0.906
1.59/1.00	o 256
1.59/1.02	c Got one! Elapsed wall clock time (in seconds):0.921
1.59/1.02	o 246
1.59/1.07	c Got one! Elapsed wall clock time (in seconds):0.974
1.59/1.07	o 242
1.59/1.08	c Got one! Elapsed wall clock time (in seconds):0.981
1.59/1.08	o 239
1.70/1.13	c cleaning 8329 clauses out of 16671 with flag 4517/24951
1.70/1.16	c Got one! Elapsed wall clock time (in seconds):1.066
1.70/1.16	o 238
1.85/1.25	c Got one! Elapsed wall clock time (in seconds):1.148
1.85/1.25	o 216
1.95/1.35	c cleaning 7502 clauses out of 15015 with flag 12455/31624
1.95/1.38	c Got one! Elapsed wall clock time (in seconds):1.282
1.95/1.38	o 215
2.08/1.43	c Got one! Elapsed wall clock time (in seconds):1.329
2.08/1.43	o 214
2.08/1.47	c Got one! Elapsed wall clock time (in seconds):1.369
2.08/1.47	o 213
2.18/1.51	c Got one! Elapsed wall clock time (in seconds):1.416
2.18/1.51	o 211
2.18/1.56	c Got one! Elapsed wall clock time (in seconds):1.463
2.18/1.56	o 209
2.30/1.60	c cleaning 7340 clauses out of 14700 with flag 4790/38811
2.30/1.67	c Got one! Elapsed wall clock time (in seconds):1.577
2.30/1.67	o 208
2.40/1.77	c cleaning 6237 clauses out of 12482 with flag 13045/43933
2.60/1.99	c cleaning 6116 clauses out of 12244 with flag 38899/49932
2.70/2.01	c Got one! Elapsed wall clock time (in seconds):1.916
2.70/2.01	o 203
2.70/2.03	c Got one! Elapsed wall clock time (in seconds):1.931
2.70/2.03	o 197
2.70/2.09	c Got one! Elapsed wall clock time (in seconds):1.997
2.70/2.09	o 196
2.81/2.16	c Got one! Elapsed wall clock time (in seconds):2.059
2.81/2.16	o 185
2.91/2.21	c Got one! Elapsed wall clock time (in seconds):2.113
2.91/2.21	o 183
2.91/2.25	c cleaning 6932 clauses out of 13871 with flag 4825/57675
3.11/2.44	c Got one! Elapsed wall clock time (in seconds):2.337
3.11/2.44	o 182
3.31/2.61	c cleaning 8783 clauses out of 17586 with flag 22351/68322
3.41/2.71	c Got one! Elapsed wall clock time (in seconds):2.608
3.41/2.71	o 181
3.53/2.80	c cleaning 7254 clauses out of 14535 with flag 15750/74054
3.53/2.86	c Got one! Elapsed wall clock time (in seconds):2.763
3.53/2.86	o 179
3.53/2.90	c Got one! Elapsed wall clock time (in seconds):2.798
3.53/2.90	o 178
3.64/2.99	c Got one! Elapsed wall clock time (in seconds):2.89
3.64/2.99	o 177
3.74/3.03	c Got one! Elapsed wall clock time (in seconds):2.93
3.74/3.03	o 176
3.74/3.07	c cleaning 7334 clauses out of 14679 with flag 5082/81452
3.95/3.29	c cleaning 6659 clauses out of 13340 with flag 32386/87447
4.15/3.42	c Got one! Elapsed wall clock time (in seconds):3.318
4.15/3.42	o 175
4.15/3.48	c cleaning 5957 clauses out of 11926 with flag 9537/92692
4.35/3.65	c Got one! Elapsed wall clock time (in seconds):3.549
4.35/3.65	o 150
4.35/3.68	c cleaning 5617 clauses out of 11247 with flag 4861/97970
4.55/3.80	c Got one! Elapsed wall clock time (in seconds):3.702
4.55/3.80	o 141
4.69/3.90	c cleaning 5678 clauses out of 11369 with flag 10595/103709
5.10/4.11	c cleaning 5832 clauses out of 11690 with flag 39910/109708
5.25/4.23	c Got one! Elapsed wall clock time (in seconds):4.135
5.25/4.23	o 140
5.25/4.26	c Got one! Elapsed wall clock time (in seconds):4.163
5.25/4.26	o 134
5.38/4.32	c cleaning 5810 clauses out of 11627 with flag 4127/115477
5.38/4.34	c Got one! Elapsed wall clock time (in seconds):4.244
5.38/4.34	o 132
5.38/4.37	c Got one! Elapsed wall clock time (in seconds):4.277
5.38/4.37	o 131
5.58/4.47	c Got one! Elapsed wall clock time (in seconds):4.372
5.58/4.47	o 130
5.79/4.52	c Got one! Elapsed wall clock time (in seconds):4.424
5.79/4.52	o 124
5.79/4.58	c cleaning 6426 clauses out of 12866 with flag 5347/122526
6.18/4.73	c Got one! Elapsed wall clock time (in seconds):4.629
6.18/4.73	o 120
6.18/4.78	c cleaning 5862 clauses out of 11747 with flag 5369/127833
6.36/4.88	c Got one! Elapsed wall clock time (in seconds):4.787
6.36/4.88	o 75
6.46/4.96	c cleaning 5580 clauses out of 11177 with flag 10305/133125
6.68/5.14	c cleaning 5788 clauses out of 11597 with flag 38858/139125
6.68/5.18	c Got one! Elapsed wall clock time (in seconds):5.08
6.68/5.18	o 74
6.88/5.34	c cleaning 5878 clauses out of 11778 with flag 23773/145094
7.08/5.55	c cleaning 5943 clauses out of 11899 with flag 53466/151093
7.18/5.62	c Got one! Elapsed wall clock time (in seconds):5.524
7.18/5.62	o 73
7.28/5.73	c cleaning 5625 clauses out of 11270 with flag 15496/156407
7.48/5.93	c cleaning 5795 clauses out of 11644 with flag 47033/162406
7.68/6.17	c cleaning 6403 clauses out of 12849 with flag 81925/169406
7.78/6.26	c Got one! Elapsed wall clock time (in seconds):6.162
7.78/6.26	o 48
7.78/6.29	c Got one! Elapsed wall clock time (in seconds):6.197
7.78/6.29	o 43
7.89/6.33	c Got one! Elapsed wall clock time (in seconds):6.23
7.89/6.33	o 41
7.89/6.37	c cleaning 6210 clauses out of 12424 with flag 4367/175384
7.99/6.43	c Got one! Elapsed wall clock time (in seconds):6.329
7.99/6.43	o 31
8.09/6.52	c cleaning 5741 clauses out of 11482 with flag 14710/180652
8.09/6.60	c Got one! Elapsed wall clock time (in seconds):6.499
8.09/6.60	o 30
8.20/6.69	c cleaning 5810 clauses out of 11655 with flag 15569/186566
8.39/6.87	c cleaning 5914 clauses out of 11844 with flag 41691/192565
8.59/7.01	c Got one! Elapsed wall clock time (in seconds):6.914
8.59/7.01	o 29
8.69/7.19	c cleaning 8040 clauses out of 16093 with flag 26469/202728
8.90/7.39	c cleaning 7007 clauses out of 14053 with flag 59669/208728
9.10/7.57	c Got one! Elapsed wall clock time (in seconds):7.473
9.10/7.57	o 28
9.31/7.76	c cleaning 9086 clauses out of 18200 with flag 26065/219882
9.51/7.97	c cleaning 7551 clauses out of 15118 with flag 58428/225886
9.71/8.13	c Got one! Elapsed wall clock time (in seconds):8.036
9.71/8.13	o 27
9.91/8.33	c cleaning 8861 clauses out of 17754 with flag 28042/236073
10.13/8.54	c cleaning 7442 clauses out of 14894 with flag 60400/242074
10.34/8.80	c cleaning 7219 clauses out of 14451 with flag 99452/249073
10.63/9.06	c cleaning 7602 clauses out of 15234 with flag 139601/257075
10.73/9.13	c Got one! Elapsed wall clock time (in seconds):9.034
10.73/9.13	o 17
10.83/9.21	c Got one! Elapsed wall clock time (in seconds):9.111
10.83/9.21	o 16
10.83/9.25	c cleaning 6798 clauses out of 13603 with flag 4978/263046
10.83/9.29	c Got one! Elapsed wall clock time (in seconds):9.195
10.83/9.29	o 15
11.04/9.42	c cleaning 6009 clauses out of 12018 with flag 20949/268259
11.25/9.61	c cleaning 5998 clauses out of 12009 with flag 51887/274259
11.35/9.73	c Got one! Elapsed wall clock time (in seconds):9.636
11.35/9.73	o 13
11.46/9.81	c cleaning 5985 clauses out of 11984 with flag 11538/280232
11.65/10.01	c cleaning 5983 clauses out of 11999 with flag 45987/286232
11.75/10.13	c Got one! Elapsed wall clock time (in seconds):10.029
11.75/10.13	o 12
11.75/10.16	c cleaning 5524 clauses out of 11071 with flag 5640/291287
11.95/10.37	c cleaning 5757 clauses out of 11548 with flag 39880/297288
12.06/10.42	c Got one! Elapsed wall clock time (in seconds):10.317
12.06/10.42	o 11
12.16/10.55	c cleaning 5587 clauses out of 11194 with flag 22278/302691
12.37/10.76	c cleaning 5789 clauses out of 11605 with flag 56388/308689
12.57/11.00	c cleaning 6406 clauses out of 12816 with flag 97695/315689
12.67/11.08	c Got one! Elapsed wall clock time (in seconds):10.981
12.67/11.08	o 10
12.77/11.19	c cleaning 5955 clauses out of 11937 with flag 18326/321216
12.98/11.39	c cleaning 5983 clauses out of 11982 with flag 52996/327216
13.28/11.63	c cleaning 6486 clauses out of 12999 with flag 92014/334216
13.58/11.90	c cleaning 7241 clauses out of 14516 with flag 134117/342219
13.89/12.20	c cleaning 8133 clauses out of 16273 with flag 183374/351217
14.19/12.54	c cleaning 9061 clauses out of 18138 with flag 238337/361216
14.50/12.87	c Got one! Elapsed wall clock time (in seconds):12.772
14.50/12.87	o 9
14.70/13.09	c cleaning 12302 clauses out of 24624 with flag 30172/376764
15.00/13.32	c cleaning 9150 clauses out of 18324 with flag 65031/382766
15.20/13.57	c cleaning 8078 clauses out of 16173 with flag 106163/389765
15.51/13.87	c cleaning 8040 clauses out of 16096 with flag 153872/397766
15.93/14.21	c cleaning 8512 clauses out of 17055 with flag 205212/406765
16.12/14.40	c Got one! Elapsed wall clock time (in seconds):14.299
16.12/14.40	o 8
16.22/14.58	c cleaning 9500 clauses out of 19008 with flag 27999/417230
16.55/14.80	c cleaning 7747 clauses out of 15506 with flag 61468/423230
16.75/15.04	c cleaning 7377 clauses out of 14759 with flag 100501/430231
16.86/15.16	c Got one! Elapsed wall clock time (in seconds):15.066
16.86/15.16	o 7
16.96/15.24	c cleaning 6644 clauses out of 13300 with flag 12321/436150
17.17/15.44	c cleaning 6314 clauses out of 12652 with flag 45598/442146
17.17/15.50	c Got one! Elapsed wall clock time (in seconds):15.399
17.17/15.50	o 3
17.36/15.63	c cleaning 6086 clauses out of 12183 with flag 21439/447991
17.56/15.82	c cleaning 6036 clauses out of 12098 with flag 51802/453992
17.76/16.04	c cleaning 6525 clauses out of 13058 with flag 86438/460990
17.96/16.21	c Got one! Elapsed wall clock time (in seconds):16.116
17.96/16.21	o 2
18.17/16.40	c cleaning 8577 clauses out of 17174 with flag 26034/471632
18.37/16.61	c cleaning 7296 clauses out of 14598 with flag 57986/477633
18.57/16.86	c cleaning 7147 clauses out of 14301 with flag 96131/484632
18.86/17.13	c cleaning 7572 clauses out of 15152 with flag 136978/492632
19.17/17.43	c cleaning 8278 clauses out of 16578 with flag 185643/501633
19.28/17.54	c starts		: 246
19.28/17.54	c conflicts		: 504894
19.28/17.54	c decisions		: 791760
19.28/17.54	c propagations		: 10995447
19.28/17.54	c inspects		: 125827525
19.28/17.54	c shortcuts		: 0
19.28/17.54	c learnt literals	: 21
19.28/17.54	c learnt binary clauses	: 49
19.28/17.54	c learnt ternary clauses	: 345
19.28/17.54	c learnt constraints	: 504872
19.28/17.54	c ignored constraints	: 0
19.28/17.54	c root simplifications	: 0
19.28/17.54	c removed literals (reason simplification)	: 0
19.28/17.54	c reason swapping (by a shorter reason)	: 0
19.28/17.54	c Calls to reduceDB	: 71
19.28/17.54	c Number of update (reduction) of LBD	: 142219
19.28/17.54	c number of reductions to clauses (during analyze)	: 0
19.28/17.54	c number of learned constraints concerned by reduction	: 0
19.28/17.54	c number of learning phase by resolution	: 0
19.28/17.54	c number of learning phase by cutting planes	: 0
19.28/17.54	c speed (assignments/second)	: 632467.471958585
19.28/17.54	c non guided choices	4648
19.28/17.54	c learnt constraints type 
19.28/17.54	c constraints type 
19.28/17.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
19.28/17.54	c ignored satisfied constraints => 1
19.28/17.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
19.28/17.54	c 102 constraints processed.
19.28/17.54	s OPTIMUM FOUND
19.28/17.54	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 
19.28/17.54	c objective function=2
19.28/17.54	c Total wall clock time (in seconds): 17.443

Verifier Data 

OK	2

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

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: 2.01 2.04 2.01 3/195 10256
/proc/meminfo: memFree=30865912/32873844 swapFree=7632/7632
[pid=10256] ppid=10254 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/10256/stat : 10256 (java) R 10254 10256 6647 0 -1 4202496 984 0 0 0 0 0 0 0 20 0 1 0 291550877 23793664 713 33554432000 1073741824 1073778376 140737452459008 140737452448072 209874622978 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10256/statm: 5809 713 527 9 0 128 0

[startup+0.00914798 s]
/proc/loadavg: 2.01 2.04 2.01 3/195 10256
/proc/meminfo: memFree=30865912/32873844 swapFree=7632/7632
[pid=10256] ppid=10254 vsize=101528 CPUtime=0 cores=0,2,4,6
/proc/10256/stat : 10256 (java) S 10254 10256 6647 0 -1 4202496 1366 0 0 0 0 0 0 0 20 0 2 0 291550877 103964672 1050 33554432000 1073741824 1073778376 140737452459008 140737452450144 209887199293 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10256/statm: 25382 1050 805 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528

[startup+0.100111 s]
/proc/loadavg: 2.01 2.04 2.01 3/195 10256
/proc/meminfo: memFree=30865912/32873844 swapFree=7632/7632
[pid=10256] ppid=10254 vsize=9558416 CPUtime=0.11 cores=0,2,4,6
/proc/10256/stat : 10256 (java) S 10254 10256 6647 0 -1 4202496 4460 0 1 0 10 1 0 0 20 0 18 0 291550877 9787817984 6128 33554432000 1073741824 1073778376 140737452459008 140737452450144 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10256/statm: 2389604 6128 2139 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558416

[startup+0.300265 s]
/proc/loadavg: 2.01 2.04 2.01 3/195 10256
/proc/meminfo: memFree=30865912/32873844 swapFree=7632/7632
[pid=10256] ppid=10254 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/10256/stat : 10256 (java) S 10254 10256 6647 0 -1 4202496 7222 0 1 0 50 1 0 0 20 0 19 0 291550877 9855979520 8305 33554432000 1073741824 1073778376 140737452459008 140737452450144 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10256/statm: 2406245 8305 2234 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9624980

[startup+0.700262 s]
/proc/loadavg: 2.01 2.04 2.01 3/195 10256
/proc/meminfo: memFree=30865912/32873844 swapFree=7632/7632
[pid=10256] ppid=10254 vsize=9624980 CPUtime=1.21 cores=0,2,4,6
/proc/10256/stat : 10256 (java) S 10254 10256 6647 0 -1 4202496 10777 0 1 0 119 2 0 0 20 0 19 0 291550877 9855979520 9834 33554432000 1073741824 1073778376 140737452459008 140737452450144 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10256/statm: 2406245 9834 2243 9 0 2396937 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9624980

[startup+1.50072 s]
/proc/loadavg: 2.01 2.04 2.01 4/214 10275
/proc/meminfo: memFree=30824380/32873844 swapFree=7632/7632
[pid=10256] ppid=10254 vsize=9624980 CPUtime=2.18 cores=0,2,4,6
/proc/10256/stat : 10256 (java) S 10254 10256 6647 0 -1 4202496 11766 0 1 0 216 2 0 0 20 0 19 0 291550877 9855979520 12967 33554432000 1073741824 1073778376 140737452459008 140737452450144 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10256/statm: 2406245 12967 2273 9 0 2396937 0
[pid=10256/tid=10258] ppid=10254 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/10256/task/10258/stat : 10258 (java) R 10254 10256 6647 0 -1 4202560 2461 0 1 0 143 0 0 0 20 0 19 0 291550878 9855979520 12967 33554432000 1073741824 1073778376 140737452459008 140159763894720 140159631201867 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10259] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10259/stat : 10259 (java) S 10254 10256 6647 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 12967 33554432000 1073741824 1073778376 140737452459008 140159752965160 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10260] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10260/stat : 10260 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 12967 33554432000 1073741824 1073778376 140737452459008 140159751912360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10261] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10261/stat : 10261 (java) S 10254 10256 6647 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 12967 33554432000 1073741824 1073778376 140737452459008 140159750859560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10262] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10262/stat : 10262 (java) S 10254 10256 6647 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 12967 33554432000 1073741824 1073778376 140737452459008 140159749806760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10263] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10263/stat : 10263 (java) S 10254 10256 6647 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 12967 33554432000 1073741824 1073778376 140737452459008 140159603128872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10264] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10264/stat : 10264 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 12967 33554432000 1073741824 1073778376 140737452459008 140159602076072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10265] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10265/stat : 10265 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 12967 33554432000 1073741824 1073778376 140737452459008 140159601023272 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10266] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10266/stat : 10266 (java) S 10254 10256 6647 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 12967 33554432000 1073741824 1073778376 140737452459008 140159599970472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10267] ppid=10254 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/10256/task/10267/stat : 10267 (java) S 10254 10256 6647 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 291550879 9855979520 12967 33554432000 1073741824 1073778376 140737452459008 140159587773416 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10268] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10268/stat : 10268 (java) S 10254 10256 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550880 9855979520 12967 33554432000 1073741824 1073778376 140737452459008 140159586719480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10269] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10269/stat : 10269 (java) S 10254 10256 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550880 9855979520 12967 33554432000 1073741824 1073778376 140737452459008 140159585666568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10270] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10270/stat : 10270 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 12967 33554432000 1073741824 1073778376 140737452459008 140159584615056 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10271] ppid=10254 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/10256/task/10271/stat : 10271 (java) S 10254 10256 6647 0 -1 4202560 4771 0 0 0 32 0 0 0 20 0 19 0 291550882 9855979520 12967 33554432000 1073741824 1073778376 140737452459008 140159583562168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10272] ppid=10254 vsize=9624980 CPUtime=0.34 cores=0,2,4,6
/proc/10256/task/10272/stat : 10272 (java) S 10254 10256 6647 0 -1 4202560 3283 0 0 0 34 0 0 0 20 0 19 0 291550882 9855979520 12967 33554432000 1073741824 1073778376 140737452459008 140159582509368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10273] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10273/stat : 10273 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 12967 33554432000 1073741824 1073778376 140737452459008 140159581456760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10274] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10274/stat : 10274 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 12967 33554432000 1073741824 1073778376 140737452459008 140159580404168 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10275] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10275/stat : 10275 (java) S 10254 10256 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550893 9855979520 12967 33554432000 1073741824 1073778376 140737452459008 140159579350696 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 9624980

[startup+3.10066 s]
/proc/loadavg: 2.01 2.04 2.01 3/214 10275
/proc/meminfo: memFree=30821588/32873844 swapFree=7632/7632
[pid=10256] ppid=10254 vsize=9624980 CPUtime=3.84 cores=0,2,4,6
/proc/10256/stat : 10256 (java) S 10254 10256 6647 0 -1 4202496 11782 0 1 0 382 2 0 0 20 0 19 0 291550877 9855979520 12976 33554432000 1073741824 1073778376 140737452459008 140737452450144 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10256/statm: 2406245 12976 2274 9 0 2396937 0
[pid=10256/tid=10258] ppid=10254 vsize=9624980 CPUtime=2.96 cores=0,2,4,6
/proc/10256/task/10258/stat : 10258 (java) R 10254 10256 6647 0 -1 4202560 2468 0 1 0 296 0 0 0 20 0 19 0 291550878 9855979520 12976 33554432000 1073741824 1073778376 140737452459008 140159763902872 140159631104422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10259] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10259/stat : 10259 (java) S 10254 10256 6647 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 12976 33554432000 1073741824 1073778376 140737452459008 140159752965160 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10260] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10260/stat : 10260 (java) S 10254 10256 6647 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 12976 33554432000 1073741824 1073778376 140737452459008 140159751912360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10261] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10261/stat : 10261 (java) S 10254 10256 6647 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 12976 33554432000 1073741824 1073778376 140737452459008 140159750859560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10262] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10262/stat : 10262 (java) S 10254 10256 6647 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 12976 33554432000 1073741824 1073778376 140737452459008 140159749806760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10263] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10263/stat : 10263 (java) S 10254 10256 6647 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 12976 33554432000 1073741824 1073778376 140737452459008 140159603128872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10264] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10264/stat : 10264 (java) S 10254 10256 6647 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 12976 33554432000 1073741824 1073778376 140737452459008 140159602076072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10265] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10265/stat : 10265 (java) S 10254 10256 6647 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 12976 33554432000 1073741824 1073778376 140737452459008 140159601023272 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10266] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10266/stat : 10266 (java) S 10254 10256 6647 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 12976 33554432000 1073741824 1073778376 140737452459008 140159599970472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10267] ppid=10254 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/10256/task/10267/stat : 10267 (java) S 10254 10256 6647 0 -1 4202560 31 0 0 0 7 0 0 0 20 0 19 0 291550879 9855979520 12976 33554432000 1073741824 1073778376 140737452459008 140159587773416 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10268] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10268/stat : 10268 (java) S 10254 10256 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550880 9855979520 12976 33554432000 1073741824 1073778376 140737452459008 140159586719480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10269] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10269/stat : 10269 (java) S 10254 10256 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550880 9855979520 12976 33554432000 1073741824 1073778376 140737452459008 140159585666568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10270] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10270/stat : 10270 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 12976 33554432000 1073741824 1073778376 140737452459008 140159584615056 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10271] ppid=10254 vsize=9624980 CPUtime=0.33 cores=0,2,4,6
/proc/10256/task/10271/stat : 10271 (java) S 10254 10256 6647 0 -1 4202560 4771 0 0 0 33 0 0 0 20 0 19 0 291550882 9855979520 12976 33554432000 1073741824 1073778376 140737452459008 140159583562168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10272] ppid=10254 vsize=9624980 CPUtime=0.38 cores=0,2,4,6
/proc/10256/task/10272/stat : 10272 (java) S 10254 10256 6647 0 -1 4202560 3284 0 0 0 38 0 0 0 20 0 19 0 291550882 9855979520 12976 33554432000 1073741824 1073778376 140737452459008 140159582509368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10273] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10273/stat : 10273 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 12976 33554432000 1073741824 1073778376 140737452459008 140159581456760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10274] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10274/stat : 10274 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 12976 33554432000 1073741824 1073778376 140737452459008 140159580404168 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10275] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10275/stat : 10275 (java) S 10254 10256 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550893 9855979520 12976 33554432000 1073741824 1073778376 140737452459008 140159579350696 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 9624980

[startup+6.30073 s]
/proc/loadavg: 2.01 2.04 2.01 3/214 10275
/proc/meminfo: memFree=30804972/32873844 swapFree=7632/7632
[pid=10256] ppid=10254 vsize=9624980 CPUtime=7.89 cores=0,2,4,6
/proc/10256/stat : 10256 (java) S 10254 10256 6647 0 -1 4202496 24222 0 1 0 784 5 0 0 20 0 19 0 291550877 9855979520 16971 33554432000 1073741824 1073778376 140737452459008 140737452450144 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10256/statm: 2406245 16971 2274 9 0 2396937 0
[pid=10256/tid=10258] ppid=10254 vsize=9624980 CPUtime=5.98 cores=0,2,4,6
/proc/10256/task/10258/stat : 10258 (java) R 10254 10256 6647 0 -1 4202560 2484 0 1 0 598 0 0 0 20 0 19 0 291550878 9855979520 16971 33554432000 1073741824 1073778376 140737452459008 140159763894720 140159631132126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10259] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10259/stat : 10259 (java) S 10254 10256 6647 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 16971 33554432000 1073741824 1073778376 140737452459008 140159752965160 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10260] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10260/stat : 10260 (java) S 10254 10256 6647 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 16971 33554432000 1073741824 1073778376 140737452459008 140159751912360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10261] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10261/stat : 10261 (java) S 10254 10256 6647 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 16971 33554432000 1073741824 1073778376 140737452459008 140159750859560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10262] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10262/stat : 10262 (java) S 10254 10256 6647 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 16971 33554432000 1073741824 1073778376 140737452459008 140159749806760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10263] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10263/stat : 10263 (java) S 10254 10256 6647 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 16971 33554432000 1073741824 1073778376 140737452459008 140159603128872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10264] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10264/stat : 10264 (java) S 10254 10256 6647 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 16971 33554432000 1073741824 1073778376 140737452459008 140159602076072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10265] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10265/stat : 10265 (java) S 10254 10256 6647 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 16971 33554432000 1073741824 1073778376 140737452459008 140159601023272 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10266] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10266/stat : 10266 (java) S 10254 10256 6647 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291550878 9855979520 16971 33554432000 1073741824 1073778376 140737452459008 140159599970472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10267] ppid=10254 vsize=9624980 CPUtime=0.2 cores=0,2,4,6
/proc/10256/task/10267/stat : 10267 (java) S 10254 10256 6647 0 -1 4202560 45 0 0 0 20 0 0 0 20 0 19 0 291550879 9855979520 16971 33554432000 1073741824 1073778376 140737452459008 140159587773416 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10268] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10268/stat : 10268 (java) S 10254 10256 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550880 9855979520 16971 33554432000 1073741824 1073778376 140737452459008 140159586719480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10269] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10269/stat : 10269 (java) S 10254 10256 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550880 9855979520 16971 33554432000 1073741824 1073778376 140737452459008 140159585666568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10270] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10270/stat : 10270 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 16971 33554432000 1073741824 1073778376 140737452459008 140159584615056 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10271] ppid=10254 vsize=9624980 CPUtime=0.64 cores=0,2,4,6
/proc/10256/task/10271/stat : 10271 (java) S 10254 10256 6647 0 -1 4202560 10850 0 0 0 62 2 0 0 20 0 19 0 291550882 9855979520 16971 33554432000 1073741824 1073778376 140737452459008 140159583562168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10272] ppid=10254 vsize=9624980 CPUtime=0.9 cores=0,2,4,6
/proc/10256/task/10272/stat : 10272 (java) S 10254 10256 6647 0 -1 4202560 9614 0 0 0 88 2 0 0 20 0 19 0 291550882 9855979520 16971 33554432000 1073741824 1073778376 140737452459008 140159582509368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10273] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10273/stat : 10273 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 16971 33554432000 1073741824 1073778376 140737452459008 140159581456760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10274] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10274/stat : 10274 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 16971 33554432000 1073741824 1073778376 140737452459008 140159580404168 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10275] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10275/stat : 10275 (java) S 10254 10256 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550893 9855979520 16971 33554432000 1073741824 1073778376 140737452459008 140159579350696 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 9624980

[startup+12.7007 s]

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

/proc/10256/task/10259/stat : 10259 (java) S 10254 10256 6647 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 291550878 9855979520 16765 33554432000 1073741824 1073778376 140737452459008 140159752965160 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10260] ppid=10254 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/10256/task/10260/stat : 10260 (java) S 10254 10256 6647 0 -1 4202560 5 0 0 0 3 0 0 0 20 0 19 0 291550878 9855979520 16765 33554432000 1073741824 1073778376 140737452459008 140159751912360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10261] ppid=10254 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/10256/task/10261/stat : 10261 (java) S 10254 10256 6647 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 19 0 291550878 9855979520 16765 33554432000 1073741824 1073778376 140737452459008 140159750859560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10262] ppid=10254 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/10256/task/10262/stat : 10262 (java) S 10254 10256 6647 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 291550878 9855979520 16765 33554432000 1073741824 1073778376 140737452459008 140159749806760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10263] ppid=10254 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/10256/task/10263/stat : 10263 (java) S 10254 10256 6647 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 291550878 9855979520 16765 33554432000 1073741824 1073778376 140737452459008 140159603128872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10264] ppid=10254 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/10256/task/10264/stat : 10264 (java) S 10254 10256 6647 0 -1 4202560 4 0 0 0 2 0 0 0 20 0 19 0 291550878 9855979520 16765 33554432000 1073741824 1073778376 140737452459008 140159602076072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10265] ppid=10254 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/10256/task/10265/stat : 10265 (java) S 10254 10256 6647 0 -1 4202560 8 0 0 0 3 0 0 0 20 0 19 0 291550878 9855979520 16765 33554432000 1073741824 1073778376 140737452459008 140159601023272 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10266] ppid=10254 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/10256/task/10266/stat : 10266 (java) S 10254 10256 6647 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 291550878 9855979520 16765 33554432000 1073741824 1073778376 140737452459008 140159599970472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10267] ppid=10254 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/10256/task/10267/stat : 10267 (java) S 10254 10256 6647 0 -1 4202560 45 0 0 0 58 0 0 0 20 0 19 0 291550879 9855979520 16765 33554432000 1073741824 1073778376 140737452459008 140159587773416 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10268] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10268/stat : 10268 (java) S 10254 10256 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550880 9855979520 16765 33554432000 1073741824 1073778376 140737452459008 140159586719480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10269] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10269/stat : 10269 (java) S 10254 10256 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550880 9855979520 16765 33554432000 1073741824 1073778376 140737452459008 140159585666568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10270] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10270/stat : 10270 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 16765 33554432000 1073741824 1073778376 140737452459008 140159584615056 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10271] ppid=10254 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/10256/task/10271/stat : 10271 (java) S 10254 10256 6647 0 -1 4202560 10850 0 0 0 65 2 0 0 20 0 19 0 291550882 9855979520 16765 33554432000 1073741824 1073778376 140737452459008 140159583562168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10272] ppid=10254 vsize=9624980 CPUtime=0.92 cores=0,2,4,6
/proc/10256/task/10272/stat : 10272 (java) S 10254 10256 6647 0 -1 4202560 9614 0 0 0 90 2 0 0 20 0 19 0 291550882 9855979520 16765 33554432000 1073741824 1073778376 140737452459008 140159582509368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10273] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10273/stat : 10273 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 16765 33554432000 1073741824 1073778376 140737452459008 140159581456760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10274] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10274/stat : 10274 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 16765 33554432000 1073741824 1073778376 140737452459008 140159580404168 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10275] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10275/stat : 10275 (java) S 10254 10256 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550893 9855979520 16765 33554432000 1073741824 1073778376 140737452459008 140159579350696 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 17.66
Current children cumulated vsize (KiB) 9624980

[startup+16.7007 s]
/proc/loadavg: 2.08 2.05 2.01 3/214 10275
/proc/meminfo: memFree=30802808/32873844 swapFree=7632/7632
[pid=10256] ppid=10254 vsize=9624980 CPUtime=18.47 cores=0,2,4,6
/proc/10256/stat : 10256 (java) S 10254 10256 6647 0 -1 4202496 24299 0 1 0 1842 5 0 0 20 0 19 0 291550877 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140737452450144 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10256/statm: 2406245 16766 2274 9 0 2396937 0
[pid=10256/tid=10258] ppid=10254 vsize=9624980 CPUtime=15.88 cores=0,2,4,6
/proc/10256/task/10258/stat : 10258 (java) R 10254 10256 6647 0 -1 4202560 2527 0 1 0 1588 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159763902872 140159631214352 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10259] ppid=10254 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/10256/task/10259/stat : 10259 (java) S 10254 10256 6647 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159752965160 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10260] ppid=10254 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/10256/task/10260/stat : 10260 (java) S 10254 10256 6647 0 -1 4202560 5 0 0 0 3 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159751912360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10261] ppid=10254 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/10256/task/10261/stat : 10261 (java) S 10254 10256 6647 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159750859560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10262] ppid=10254 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/10256/task/10262/stat : 10262 (java) S 10254 10256 6647 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159749806760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10263] ppid=10254 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/10256/task/10263/stat : 10263 (java) S 10254 10256 6647 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159603128872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10264] ppid=10254 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/10256/task/10264/stat : 10264 (java) S 10254 10256 6647 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159602076072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10265] ppid=10254 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/10256/task/10265/stat : 10265 (java) S 10254 10256 6647 0 -1 4202560 8 0 0 0 3 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159601023272 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10266] ppid=10254 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/10256/task/10266/stat : 10266 (java) S 10254 10256 6647 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159599970472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10267] ppid=10254 vsize=9624980 CPUtime=0.61 cores=0,2,4,6
/proc/10256/task/10267/stat : 10267 (java) S 10254 10256 6647 0 -1 4202560 45 0 0 0 61 0 0 0 20 0 19 0 291550879 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159587773416 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10268] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10268/stat : 10268 (java) S 10254 10256 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550880 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159586719480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10269] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10269/stat : 10269 (java) S 10254 10256 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550880 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159585666568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10270] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10270/stat : 10270 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159584615056 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10271] ppid=10254 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/10256/task/10271/stat : 10271 (java) S 10254 10256 6647 0 -1 4202560 10850 0 0 0 65 2 0 0 20 0 19 0 291550882 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159583562168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10272] ppid=10254 vsize=9624980 CPUtime=0.92 cores=0,2,4,6
/proc/10256/task/10272/stat : 10272 (java) S 10254 10256 6647 0 -1 4202560 9614 0 0 0 90 2 0 0 20 0 19 0 291550882 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159582509368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10273] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10273/stat : 10273 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159581456760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10274] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10274/stat : 10274 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159580404168 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10275] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10275/stat : 10275 (java) S 10254 10256 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550893 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159579350696 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 18.47
Current children cumulated vsize (KiB) 9624980

[startup+17.1007 s]
/proc/loadavg: 2.08 2.05 2.01 3/214 10275
/proc/meminfo: memFree=30802808/32873844 swapFree=7632/7632
[pid=10256] ppid=10254 vsize=9624980 CPUtime=18.86 cores=0,2,4,6
/proc/10256/stat : 10256 (java) S 10254 10256 6647 0 -1 4202496 24300 0 1 0 1881 5 0 0 20 0 19 0 291550877 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140737452450144 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10256/statm: 2406245 16766 2274 9 0 2396937 0
[pid=10256/tid=10258] ppid=10254 vsize=9624980 CPUtime=16.27 cores=0,2,4,6
/proc/10256/task/10258/stat : 10258 (java) R 10254 10256 6647 0 -1 4202560 2528 0 1 0 1627 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159763902752 140159631133038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10259] ppid=10254 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/10256/task/10259/stat : 10259 (java) S 10254 10256 6647 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159752965160 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10260] ppid=10254 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/10256/task/10260/stat : 10260 (java) S 10254 10256 6647 0 -1 4202560 5 0 0 0 3 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159751912360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10261] ppid=10254 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/10256/task/10261/stat : 10261 (java) S 10254 10256 6647 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159750859560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10262] ppid=10254 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/10256/task/10262/stat : 10262 (java) S 10254 10256 6647 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159749806760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10263] ppid=10254 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/10256/task/10263/stat : 10263 (java) S 10254 10256 6647 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159603128872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10264] ppid=10254 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/10256/task/10264/stat : 10264 (java) S 10254 10256 6647 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159602076072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10265] ppid=10254 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/10256/task/10265/stat : 10265 (java) S 10254 10256 6647 0 -1 4202560 8 0 0 0 3 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159601023272 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10266] ppid=10254 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/10256/task/10266/stat : 10266 (java) S 10254 10256 6647 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159599970472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10267] ppid=10254 vsize=9624980 CPUtime=0.62 cores=0,2,4,6
/proc/10256/task/10267/stat : 10267 (java) S 10254 10256 6647 0 -1 4202560 45 0 0 0 62 0 0 0 20 0 19 0 291550879 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159587773416 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10268] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10268/stat : 10268 (java) S 10254 10256 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550880 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159586719480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10269] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10269/stat : 10269 (java) S 10254 10256 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550880 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159585666568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10270] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10270/stat : 10270 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159584615056 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10271] ppid=10254 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/10256/task/10271/stat : 10271 (java) S 10254 10256 6647 0 -1 4202560 10850 0 0 0 65 2 0 0 20 0 19 0 291550882 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159583562168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10272] ppid=10254 vsize=9624980 CPUtime=0.92 cores=0,2,4,6
/proc/10256/task/10272/stat : 10272 (java) S 10254 10256 6647 0 -1 4202560 9614 0 0 0 90 2 0 0 20 0 19 0 291550882 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159582509368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10273] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10273/stat : 10273 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159581456760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10274] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10274/stat : 10274 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159580404168 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10275] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10275/stat : 10275 (java) S 10254 10256 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550893 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159579350696 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 18.86
Current children cumulated vsize (KiB) 9624980

[startup+17.5007 s]
/proc/loadavg: 2.08 2.05 2.01 3/214 10275
/proc/meminfo: memFree=30802684/32873844 swapFree=7632/7632
[pid=10256] ppid=10254 vsize=9624980 CPUtime=19.28 cores=0,2,4,6
/proc/10256/stat : 10256 (java) S 10254 10256 6647 0 -1 4202496 24302 0 1 0 1923 5 0 0 20 0 19 0 291550877 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140737452450144 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10256/statm: 2406245 16766 2274 9 0 2396937 0
[pid=10256/tid=10258] ppid=10254 vsize=9624980 CPUtime=16.65 cores=0,2,4,6
/proc/10256/task/10258/stat : 10258 (java) R 10254 10256 6647 0 -1 4202560 2530 0 1 0 1665 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159763902872 140159631202109 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10259] ppid=10254 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/10256/task/10259/stat : 10259 (java) S 10254 10256 6647 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159752965160 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10260] ppid=10254 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/10256/task/10260/stat : 10260 (java) S 10254 10256 6647 0 -1 4202560 5 0 0 0 3 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159751912360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10261] ppid=10254 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/10256/task/10261/stat : 10261 (java) S 10254 10256 6647 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159750859560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10262] ppid=10254 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/10256/task/10262/stat : 10262 (java) S 10254 10256 6647 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159749806760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10263] ppid=10254 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/10256/task/10263/stat : 10263 (java) S 10254 10256 6647 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159603128872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10264] ppid=10254 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/10256/task/10264/stat : 10264 (java) S 10254 10256 6647 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159602076072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10256/tid=10265] ppid=10254 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/10256/task/10265/stat : 10265 (java) S 10254 10256 6647 0 -1 4202560 8 0 0 0 3 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159601023272 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10266] ppid=10254 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/10256/task/10266/stat : 10266 (java) S 10254 10256 6647 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 291550878 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159599970472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10267] ppid=10254 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/10256/task/10267/stat : 10267 (java) S 10254 10256 6647 0 -1 4202560 45 0 0 0 63 0 0 0 20 0 19 0 291550879 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159587773416 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10268] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10268/stat : 10268 (java) S 10254 10256 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550880 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159586719480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10269] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10269/stat : 10269 (java) S 10254 10256 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550880 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159585666568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10270] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10270/stat : 10270 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159584615056 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10271] ppid=10254 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/10256/task/10271/stat : 10271 (java) S 10254 10256 6647 0 -1 4202560 10850 0 0 0 65 2 0 0 20 0 19 0 291550882 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159583562168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10256/tid=10272] ppid=10254 vsize=9624980 CPUtime=0.92 cores=0,2,4,6
/proc/10256/task/10272/stat : 10272 (java) S 10254 10256 6647 0 -1 4202560 9614 0 0 0 90 2 0 0 20 0 19 0 291550882 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159582509368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10273] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10273/stat : 10273 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159581456760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10256/tid=10274] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10274/stat : 10274 (java) S 10254 10256 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550882 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159580404168 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10256/tid=10275] ppid=10254 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10256/task/10275/stat : 10275 (java) S 10254 10256 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550893 9855979520 16766 33554432000 1073741824 1073778376 140737452459008 140159579350696 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 19.28
Current children cumulated vsize (KiB) 9624980

Child status: 30
Real time (s): 17.5488
CPU time (s): 19.3611
CPU user time (s): 19.1981
CPU system time (s): 0.162975
CPU usage (%): 110.327
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.1981
system time used= 0.162975
maximum resident set size= 79416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24314
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2534
involuntary context switches= 1258

runsolver used 0.082987 second user time and 0.185971 second system time

The end

Launcher Data 

Begin job on node141 at 2012-05-29 03:17:45
IDJOB=3718451
IDBENCH=79252
IDSOLVER=2301
FILE ID=node141/3718451-1338254265
RUNJOBID= node141-1338248797-9481
PBS_JOBID= 14624658
Free space on /tmp= 71232 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718451-1338254265/watcher-3718451-1338254265 -o /tmp/evaluation-result-3718451-1338254265/solver-3718451-1338254265 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718451-1338254265.wbo

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

MD5SUM BENCH= 08393a4a0fbe261470f6b3451acbb15e
RANDOM SEED=462973500

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
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.92
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.744
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:        30866804 kB
Buffers:          230732 kB
Cached:           402036 kB
SwapCached:          220 kB
Active:          1108332 kB
Inactive:          27532 kB
Active(anon):     493316 kB
Inactive(anon):    12056 kB
Active(file):     615016 kB
Inactive(file):    15476 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108636 kB
Dirty:               548 kB
Writeback:             0 kB
AnonPages:        510276 kB
Mapped:            18216 kB
Shmem:               172 kB
Slab:             728948 kB
SReclaimable:     171140 kB
SUnreclaim:       557808 kB
KernelStack:        1592 kB
PageTables:         5672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     665148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    479232 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= 71232 MiB
End job on node141 at 2012-05-29 03:18:03