Trace number 3718114

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 20.0659 18.2737

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo
MD5SUM8c7284b7ccf7c3e8bad0ea1f2a54ab5e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark0.759884
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 constraints69
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 3204
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3203
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1247
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.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.2.v20120528
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose 2 learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3718114-1338251638.wbo
0.07/0.13	c reading problem ... 
0.07/0.18	c ... done. Wall clock time 0.055s.
0.07/0.18	c declared #vars     169
0.07/0.18	c internal #vars     238
0.07/0.18	c #constraints  101
0.07/0.18	c constraints type 
0.07/0.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
0.07/0.18	c org.sat4j.minisat.constraints.card.MinWatchCard => 20
0.07/0.18	c ignored satisfied constraints => 1
0.07/0.18	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
0.07/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51
0.07/0.18	c 102 constraints processed.
0.07/0.18	c objective function length is 69 literals
0.22/0.25	c SATISFIABLE
0.22/0.25	c OPTIMIZING...
0.22/0.25	c Got one! Elapsed wall clock time (in seconds):0.126
0.22/0.25	o 988
0.22/0.26	c Got one! Elapsed wall clock time (in seconds):0.136
0.22/0.26	o 616
0.22/0.28	c Got one! Elapsed wall clock time (in seconds):0.152
0.22/0.28	o 602
0.22/0.29	c Got one! Elapsed wall clock time (in seconds):0.162
0.22/0.29	o 601
0.49/0.30	c Got one! Elapsed wall clock time (in seconds):0.17
0.49/0.30	o 596
0.49/0.31	c Got one! Elapsed wall clock time (in seconds):0.181
0.49/0.31	o 579
0.49/0.32	c Got one! Elapsed wall clock time (in seconds):0.194
0.49/0.32	o 578
0.49/0.34	c Got one! Elapsed wall clock time (in seconds):0.209
0.49/0.34	o 577
0.49/0.35	c Got one! Elapsed wall clock time (in seconds):0.227
0.49/0.35	o 576
0.49/0.36	c Got one! Elapsed wall clock time (in seconds):0.238
0.49/0.36	o 574
0.49/0.38	c Got one! Elapsed wall clock time (in seconds):0.251
0.49/0.38	o 560
0.64/0.40	c Got one! Elapsed wall clock time (in seconds):0.27
0.64/0.40	o 559
0.64/0.40	c Got one! Elapsed wall clock time (in seconds):0.277
0.64/0.40	o 554
0.64/0.42	c Got one! Elapsed wall clock time (in seconds):0.289
0.64/0.42	o 548
0.64/0.42	c Got one! Elapsed wall clock time (in seconds):0.298
0.64/0.42	o 541
0.64/0.44	c Got one! Elapsed wall clock time (in seconds):0.316
0.64/0.44	o 512
0.64/0.47	c Got one! Elapsed wall clock time (in seconds):0.34
0.64/0.47	o 503
0.64/0.47	c Got one! Elapsed wall clock time (in seconds):0.344
0.64/0.47	o 492
0.64/0.48	c Got one! Elapsed wall clock time (in seconds):0.352
0.64/0.48	o 490
0.64/0.48	c Got one! Elapsed wall clock time (in seconds):0.357
0.64/0.48	o 484
0.79/0.50	c Got one! Elapsed wall clock time (in seconds):0.369
0.79/0.50	o 483
0.79/0.56	c Got one! Elapsed wall clock time (in seconds):0.432
0.79/0.56	o 480
0.79/0.57	c Got one! Elapsed wall clock time (in seconds):0.44
0.79/0.57	o 468
0.79/0.57	c Got one! Elapsed wall clock time (in seconds):0.446
0.79/0.57	o 467
0.79/0.58	c Got one! Elapsed wall clock time (in seconds):0.456
0.79/0.58	o 465
0.79/0.59	c Got one! Elapsed wall clock time (in seconds):0.468
0.79/0.59	o 464
0.91/0.61	c Got one! Elapsed wall clock time (in seconds):0.486
0.91/0.61	o 463
0.91/0.64	c Got one! Elapsed wall clock time (in seconds):0.51
0.91/0.64	o 259
0.91/0.67	c Got one! Elapsed wall clock time (in seconds):0.546
0.91/0.67	o 242
1.04/0.73	c Got one! Elapsed wall clock time (in seconds):0.604
1.04/0.73	o 238
1.04/0.75	c Got one! Elapsed wall clock time (in seconds):0.628
1.04/0.75	o 236
1.04/0.79	c Got one! Elapsed wall clock time (in seconds):0.66
1.04/0.79	o 234
1.14/0.81	c Got one! Elapsed wall clock time (in seconds):0.685
1.14/0.81	o 233
1.14/0.88	c cleaning 8428 clauses out of 16863 with flag 3291/16863
1.27/0.97	c Got one! Elapsed wall clock time (in seconds):0.84
1.27/0.97	o 223
1.38/1.03	c Got one! Elapsed wall clock time (in seconds):0.898
1.38/1.03	o 218
1.38/1.08	c Got one! Elapsed wall clock time (in seconds):0.956
1.38/1.08	o 217
1.50/1.13	c cleaning 7687 clauses out of 15395 with flag 4962/23823
1.50/1.18	c Got one! Elapsed wall clock time (in seconds):1.055
1.50/1.18	o 216
1.67/1.29	c Got one! Elapsed wall clock time (in seconds):1.161
1.67/1.29	o 214
1.78/1.33	c cleaning 6629 clauses out of 13267 with flag 4722/29382
1.91/1.42	c Got one! Elapsed wall clock time (in seconds):1.289
1.91/1.42	o 202
1.91/1.45	c Got one! Elapsed wall clock time (in seconds):1.318
1.91/1.45	o 194
1.91/1.47	c Got one! Elapsed wall clock time (in seconds):1.344
1.91/1.47	o 193
2.09/1.52	c Got one! Elapsed wall clock time (in seconds):1.389
2.09/1.52	o 192
2.09/1.59	c cleaning 7199 clauses out of 14419 with flag 7369/37163
2.23/1.61	c Got one! Elapsed wall clock time (in seconds):1.484
2.23/1.61	o 191
2.36/1.78	c cleaning 6296 clauses out of 12593 with flag 23121/42536
2.46/1.85	c Got one! Elapsed wall clock time (in seconds):1.72
2.46/1.85	o 190
2.56/1.98	c cleaning 6126 clauses out of 12260 with flag 19939/48499
2.66/2.03	c Got one! Elapsed wall clock time (in seconds):1.9
2.66/2.03	o 189
2.66/2.03	c Got one! Elapsed wall clock time (in seconds):1.905
2.66/2.03	o 178
2.66/2.06	c Got one! Elapsed wall clock time (in seconds):1.933
2.66/2.06	o 151
2.77/2.17	c Got one! Elapsed wall clock time (in seconds):2.047
2.77/2.17	o 149
2.87/2.22	c cleaning 6433 clauses out of 12879 with flag 4711/55244
3.07/2.41	c Got one! Elapsed wall clock time (in seconds):2.286
3.07/2.41	o 148
3.17/2.60	c cleaning 8606 clauses out of 17231 with flag 22479/66029
3.27/2.62	c Got one! Elapsed wall clock time (in seconds):2.493
3.27/2.62	o 146
3.37/2.78	c cleaning 7024 clauses out of 14062 with flag 20864/71466
3.57/2.91	c Got one! Elapsed wall clock time (in seconds):2.779
3.57/2.91	o 144
3.57/2.95	c cleaning 6024 clauses out of 12054 with flag 4073/76482
3.57/3.00	c Got one! Elapsed wall clock time (in seconds):2.869
3.57/3.00	o 124
3.67/3.02	c Got one! Elapsed wall clock time (in seconds):2.894
3.67/3.02	o 121
3.80/3.19	c cleaning 5977 clauses out of 11966 with flag 18044/82418
3.98/3.22	c Got one! Elapsed wall clock time (in seconds):3.098
3.98/3.22	o 108
4.20/3.37	c Got one! Elapsed wall clock time (in seconds):3.246
4.20/3.37	o 71
4.39/3.43	c cleaning 6096 clauses out of 12206 with flag 5365/88635
4.79/3.65	c cleaning 6054 clauses out of 12107 with flag 32167/94632
4.79/3.68	c Got one! Elapsed wall clock time (in seconds):3.549
4.79/3.68	o 68
5.19/3.86	c cleaning 5865 clauses out of 11748 with flag 27127/100327
5.39/4.00	c Got one! Elapsed wall clock time (in seconds):3.872
5.39/4.00	o 66
5.39/4.04	c cleaning 5674 clauses out of 11363 with flag 5191/105807
5.59/4.24	c cleaning 5832 clauses out of 11691 with flag 32677/111809
5.70/4.33	c Got one! Elapsed wall clock time (in seconds):4.206
5.70/4.33	o 57
5.80/4.43	c cleaning 5884 clauses out of 11774 with flag 11354/117724
6.00/4.61	c cleaning 5939 clauses out of 11895 with flag 34589/123729
6.21/4.83	c cleaning 6460 clauses out of 12951 with flag 64611/130724
6.21/4.86	c Got one! Elapsed wall clock time (in seconds):4.738
6.21/4.86	o 55
6.42/5.03	c cleaning 6070 clauses out of 12164 with flag 26927/136397
6.63/5.22	c cleaning 6042 clauses out of 12092 with flag 53503/142395
6.83/5.44	c cleaning 6524 clauses out of 13050 with flag 85057/149395
7.03/5.69	c cleaning 7256 clauses out of 14526 with flag 116556/157395
7.35/5.90	c Got one! Elapsed wall clock time (in seconds):5.772
7.35/5.90	o 42
7.45/6.09	c cleaning 9583 clauses out of 19188 with flag 27214/169313
7.66/6.25	c Got one! Elapsed wall clock time (in seconds):6.119
7.66/6.25	o 27
7.66/6.29	c cleaning 7550 clauses out of 15110 with flag 4812/174818
7.88/6.43	c Got one! Elapsed wall clock time (in seconds):6.3
7.88/6.43	o 26
7.88/6.47	c cleaning 6690 clauses out of 13395 with flag 5748/180653
8.10/6.67	c cleaning 6349 clauses out of 12703 with flag 35295/186651
8.21/6.75	c Got one! Elapsed wall clock time (in seconds):6.622
8.21/6.75	o 25
8.31/6.86	c cleaning 5937 clauses out of 11881 with flag 17417/192178
8.51/7.05	c cleaning 5968 clauses out of 11945 with flag 48388/198179
8.51/7.07	c Got one! Elapsed wall clock time (in seconds):6.946
8.51/7.07	o 24
8.72/7.23	c cleaning 5678 clauses out of 11370 with flag 27119/203572
8.92/7.43	c cleaning 5837 clauses out of 11692 with flag 56662/209572
8.92/7.47	c Got one! Elapsed wall clock time (in seconds):7.347
8.92/7.47	o 23
9.13/7.60	c cleaning 5555 clauses out of 11136 with flag 19376/214853
9.33/7.80	c cleaning 5780 clauses out of 11581 with flag 47670/220853
9.53/8.03	c cleaning 6375 clauses out of 12800 with flag 80629/227852
9.73/8.26	c cleaning 7202 clauses out of 14425 with flag 114350/235852
10.03/8.52	c cleaning 8109 clauses out of 16224 with flag 153796/244853
10.34/8.82	c cleaning 9057 clauses out of 18115 with flag 199543/254853
10.64/9.16	c cleaning 10023 clauses out of 20055 with flag 244876/265852
10.75/9.20	c Got one! Elapsed wall clock time (in seconds):9.074
10.75/9.20	o 22
10.85/9.35	c cleaning 7530 clauses out of 15072 with flag 22976/270892
11.05/9.55	c cleaning 6764 clauses out of 13542 with flag 53973/276892
11.25/9.80	c cleaning 6870 clauses out of 13780 with flag 89248/283894
11.55/10.07	c cleaning 7444 clauses out of 14907 with flag 129771/291891
11.85/10.36	c cleaning 8230 clauses out of 16463 with flag 172814/300891
12.16/10.68	c cleaning 9115 clauses out of 18233 with flag 219731/310891
12.27/10.71	c Got one! Elapsed wall clock time (in seconds):10.579
12.27/10.71	o 18
12.37/10.88	c cleaning 7303 clauses out of 14613 with flag 28882/316386
12.59/11.09	c cleaning 6645 clauses out of 13310 with flag 59879/322386
12.69/11.11	c Got one! Elapsed wall clock time (in seconds):10.988
12.69/11.11	o 16
12.79/11.29	c cleaning 6200 clauses out of 12422 with flag 28817/328143
12.99/11.48	c cleaning 6111 clauses out of 12224 with flag 61076/334145
13.09/11.52	c Got one! Elapsed wall clock time (in seconds):11.394
13.09/11.52	o 13
13.19/11.65	c cleaning 5589 clauses out of 11192 with flag 23222/339224
13.39/11.85	c cleaning 5789 clauses out of 11603 with flag 55287/345224
13.60/12.10	c cleaning 6404 clauses out of 12815 with flag 92266/352225
13.89/12.36	c cleaning 7199 clauses out of 14408 with flag 132689/360224
14.11/12.53	c Got one! Elapsed wall clock time (in seconds):12.406
14.11/12.53	o 12
14.31/12.73	c cleaning 9026 clauses out of 18069 with flag 28880/371085
14.51/12.94	c cleaning 7508 clauses out of 15044 with flag 61157/377086
14.72/13.19	c cleaning 7256 clauses out of 14535 with flag 98001/384085
15.01/13.47	c cleaning 7621 clauses out of 15279 with flag 140539/392085
15.32/13.75	c cleaning 8326 clauses out of 16658 with flag 182883/401086
15.32/13.77	c Got one! Elapsed wall clock time (in seconds):13.641
15.32/13.77	o 11
15.52/13.95	c cleaning 6794 clauses out of 13602 with flag 29263/406356
15.72/14.15	c cleaning 6395 clauses out of 12807 with flag 59774/412355
15.93/14.39	c cleaning 6694 clauses out of 13413 with flag 93340/419356
16.23/14.66	c cleaning 7351 clauses out of 14719 with flag 134204/427356
16.53/14.98	c cleaning 8170 clauses out of 16367 with flag 179229/436355
16.94/15.34	c cleaning 9094 clauses out of 18198 with flag 228729/446356
17.34/15.72	c cleaning 10050 clauses out of 20104 with flag 282490/457357
17.54/15.91	c Got one! Elapsed wall clock time (in seconds):15.78
17.54/15.91	o 10
17.76/16.12	c cleaning 10414 clauses out of 20860 with flag 28450/468163
17.96/16.34	c cleaning 8217 clauses out of 16446 with flag 60768/474163
18.17/16.57	c cleaning 7610 clauses out of 15228 with flag 95436/481162
18.27/16.62	c Got one! Elapsed wall clock time (in seconds):16.493
18.27/16.62	o 9
18.37/16.76	c cleaning 6556 clauses out of 13117 with flag 20811/486661
18.56/16.94	c cleaning 6277 clauses out of 12559 with flag 48195/492662
18.77/17.17	c cleaning 6639 clauses out of 13280 with flag 81625/499662
18.99/17.30	c Got one! Elapsed wall clock time (in seconds):17.17
18.99/17.30	o 8
18.99/17.37	c cleaning 6235 clauses out of 12485 with flag 10420/505507
19.19/17.58	c cleaning 6116 clauses out of 12250 with flag 39636/511507
19.49/17.82	c cleaning 6557 clauses out of 13136 with flag 74356/518509
19.80/18.10	c cleaning 7278 clauses out of 14571 with flag 114669/526507
19.90/18.26	c starts		: 225
19.90/18.26	c conflicts		: 531267
19.90/18.26	c decisions		: 821505
19.90/18.26	c propagations		: 10736890
19.90/18.26	c inspects		: 119194988
19.90/18.26	c shortcuts		: 0
19.90/18.26	c learnt literals	: 26
19.90/18.26	c learnt binary clauses	: 26
19.90/18.26	c learnt ternary clauses	: 522
19.90/18.26	c learnt constraints	: 531240
19.90/18.26	c ignored constraints	: 0
19.90/18.26	c root simplifications	: 0
19.90/18.26	c removed literals (reason simplification)	: 0
19.90/18.26	c reason swapping (by a shorter reason)	: 0
19.90/18.26	c Calls to reduceDB	: 74
19.90/18.26	c Number of update (reduction) of LBD	: 141744
19.90/18.26	c number of reductions to clauses (during analyze)	: 0
19.90/18.26	c number of learned constraints concerned by reduction	: 0
19.90/18.26	c number of learning phase by resolution	: 0
19.90/18.26	c number of learning phase by cutting planes	: 0
19.90/18.26	c speed (assignments/second)	: 593887.383151723
19.90/18.26	c non guided choices	3161
19.90/18.26	c learnt constraints type 
19.90/18.26	c constraints type 
19.90/18.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
19.90/18.26	c org.sat4j.minisat.constraints.card.MinWatchCard => 20
19.90/18.26	c ignored satisfied constraints => 1
19.90/18.26	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
19.90/18.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51
19.90/18.26	c 102 constraints processed.
19.90/18.26	s OPTIMUM FOUND
19.90/18.27	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.90/18.27	c objective function=8
19.90/18.27	c Total wall clock time (in seconds): 18.139

Verifier Data 

OK	8

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-3718114-1338251638/watcher-3718114-1338251638 -o /tmp/evaluation-result-3718114-1338251638/solver-3718114-1338251638 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718114-1338251638.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: 0.93 1.39 1.74 3/174 13108
/proc/meminfo: memFree=29624196/32873648 swapFree=7368/7368
[pid=13108] ppid=13106 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/13108/stat : 13108 (java) R 13106 13108 13069 0 -1 4202496 79 0 0 0 0 0 0 0 20 0 1 0 291287878 278528 33 33554432000 1073741824 1073778376 140735293798416 140735293795592 251043867943 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13108/statm: 68 33 25 9 0 25 0

[startup+0.0791269 s]
/proc/loadavg: 0.93 1.39 1.74 3/174 13108
/proc/meminfo: memFree=29624196/32873648 swapFree=7368/7368
[pid=13108] ppid=13106 vsize=9558416 CPUtime=0.04 cores=0,2,4,6
/proc/13108/stat : 13108 (java) S 13106 13108 13069 0 -1 4202496 3187 0 2 0 3 1 0 0 20 0 18 0 291287878 9787817984 4398 33554432000 1073741824 1073778376 140733617884048 140733617875184 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13108/statm: 2389604 4398 1758 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558416

[startup+0.100281 s]
/proc/loadavg: 0.93 1.39 1.74 3/174 13108
/proc/meminfo: memFree=29624196/32873648 swapFree=7368/7368
[pid=13108] ppid=13106 vsize=9558416 CPUtime=0.07 cores=0,2,4,6
/proc/13108/stat : 13108 (java) S 13106 13108 13069 0 -1 4202496 3629 0 2 0 6 1 0 0 20 0 18 0 291287878 9787817984 4840 33554432000 1073741824 1073778376 140733617884048 140733617875184 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13108/statm: 2389604 4841 1933 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558416

[startup+0.300206 s]
/proc/loadavg: 0.93 1.39 1.74 3/174 13108
/proc/meminfo: memFree=29624196/32873648 swapFree=7368/7368
[pid=13108] ppid=13106 vsize=9624980 CPUtime=0.49 cores=0,2,4,6
/proc/13108/stat : 13108 (java) S 13106 13108 13069 0 -1 4202496 6598 0 2 0 48 1 0 0 20 0 19 0 291287878 9855979520 7506 33554432000 1073741824 1073778376 140733617884048 140733617875184 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13108/statm: 2406245 7506 2231 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9624980

[startup+0.700205 s]
/proc/loadavg: 0.93 1.39 1.74 3/174 13108
/proc/meminfo: memFree=29624196/32873648 swapFree=7368/7368
[pid=13108] ppid=13106 vsize=9624980 CPUtime=1.04 cores=0,2,4,6
/proc/13108/stat : 13108 (java) S 13106 13108 13069 0 -1 4202496 7102 0 2 0 102 2 0 0 20 0 19 0 291287878 9855979520 9081 33554432000 1073741824 1073778376 140733617884048 140733617875184 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13108/statm: 2406245 9081 2242 9 0 2396937 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 9624980

[startup+1.50068 s]
/proc/loadavg: 0.93 1.39 1.74 4/213 13150
/proc/meminfo: memFree=29546820/32873648 swapFree=7368/7368
[pid=13108] ppid=13106 vsize=9624980 CPUtime=2.09 cores=0,2,4,6
/proc/13108/stat : 13108 (java) S 13106 13108 13069 0 -1 4202496 11340 0 2 0 206 3 0 0 20 0 19 0 291287878 9855979520 14171 33554432000 1073741824 1073778376 140733617884048 140733617875184 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13108/statm: 2406245 14171 2273 9 0 2396937 0
[pid=13108/tid=13116] ppid=13106 vsize=9624980 CPUtime=1.42 cores=0,2,4,6
/proc/13108/task/13116/stat : 13116 (java) R 13106 13108 13069 0 -1 4202560 2465 0 1 0 142 0 0 0 20 0 19 0 291287880 9855979520 14171 33554432000 1073741824 1073778376 140733617884048 140545859223960 140545708429655 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13117] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13117/stat : 13117 (java) S 13106 13108 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 14171 33554432000 1073741824 1073778376 140733617884048 140545831676456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13118] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13118/stat : 13118 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 14171 33554432000 1073741824 1073778376 140733617884048 140545830623656 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13119] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13119/stat : 13119 (java) S 13106 13108 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 14171 33554432000 1073741824 1073778376 140733617884048 140545829570856 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13108/tid=13120] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13120/stat : 13120 (java) S 13106 13108 13069 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 14171 33554432000 1073741824 1073778376 140733617884048 140545828518056 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13108/tid=13121] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13121/stat : 13121 (java) S 13106 13108 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 14171 33554432000 1073741824 1073778376 140733617884048 140545827466280 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13122] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13122/stat : 13122 (java) S 13106 13108 13069 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 14171 33554432000 1073741824 1073778376 140733617884048 140545697033128 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13123] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13123/stat : 13123 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 14171 33554432000 1073741824 1073778376 140733617884048 140545695980328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13124] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13124/stat : 13124 (java) S 13106 13108 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 14171 33554432000 1073741824 1073778376 140733617884048 140545694927528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13134] ppid=13106 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13108/task/13134/stat : 13134 (java) S 13106 13108 13069 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 291287883 9855979520 14171 33554432000 1073741824 1073778376 140733617884048 140545211980264 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13137] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13137/stat : 13137 (java) S 13106 13108 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 14171 33554432000 1073741824 1073778376 140733617884048 140545210926328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13138] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13138/stat : 13138 (java) S 13106 13108 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 14171 33554432000 1073741824 1073778376 140733617884048 140545209873416 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13141] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13141/stat : 13141 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 14171 33554432000 1073741824 1073778376 140733617884048 140545208821904 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13143] ppid=13106 vsize=9624980 CPUtime=0.21 cores=0,2,4,6
/proc/13108/task/13143/stat : 13143 (java) S 13106 13108 13069 0 -1 4202560 2041 0 0 0 21 0 0 0 20 0 19 0 291287886 9855979520 14171 33554432000 1073741824 1073778376 140733617884048 140545207770040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13145] ppid=13106 vsize=9624980 CPUtime=0.38 cores=0,2,4,6
/proc/13108/task/13145/stat : 13145 (java) R 13106 13108 13069 0 -1 4202560 5587 0 0 0 38 0 0 0 20 0 19 0 291287886 9855979520 14171 33554432000 1073741824 1073778376 140733617884048 140545206694696 140545863338250 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13147] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13147/stat : 13147 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 14171 33554432000 1073741824 1073778376 140733617884048 140545205664632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13148] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13148/stat : 13148 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 14171 33554432000 1073741824 1073778376 140733617884048 140545204612040 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13150] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13150/stat : 13150 (java) S 13106 13108 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291287897 9855979520 14171 33554432000 1073741824 1073778376 140733617884048 140545203557544 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 9624980

[startup+3.1007 s]
/proc/loadavg: 0.93 1.39 1.74 4/213 13150
/proc/meminfo: memFree=29507136/32873648 swapFree=7368/7368
[pid=13108] ppid=13106 vsize=9624980 CPUtime=3.8 cores=0,2,4,6
/proc/13108/stat : 13108 (java) S 13106 13108 13069 0 -1 4202496 11433 0 2 0 377 3 0 0 20 0 19 0 291287878 9855979520 14257 33554432000 1073741824 1073778376 140733617884048 140733617875184 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13108/statm: 2406245 14257 2273 9 0 2396937 0
[pid=13108/tid=13116] ppid=13106 vsize=9624980 CPUtime=2.95 cores=0,2,4,6
/proc/13108/task/13116/stat : 13116 (java) R 13106 13108 13069 0 -1 4202560 2472 0 1 0 295 0 0 0 20 0 19 0 291287880 9855979520 14257 33554432000 1073741824 1073778376 140733617884048 140545859223840 140545708489416 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13117] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13117/stat : 13117 (java) S 13106 13108 13069 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 14257 33554432000 1073741824 1073778376 140733617884048 140545831676456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13118] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13118/stat : 13118 (java) S 13106 13108 13069 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 14257 33554432000 1073741824 1073778376 140733617884048 140545830623656 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13108/tid=13119] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13119/stat : 13119 (java) S 13106 13108 13069 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 14257 33554432000 1073741824 1073778376 140733617884048 140545829570856 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13108/tid=13120] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13120/stat : 13120 (java) S 13106 13108 13069 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 14257 33554432000 1073741824 1073778376 140733617884048 140545828518056 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13121] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13121/stat : 13121 (java) S 13106 13108 13069 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 14257 33554432000 1073741824 1073778376 140733617884048 140545827466280 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13122] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13122/stat : 13122 (java) S 13106 13108 13069 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 14257 33554432000 1073741824 1073778376 140733617884048 140545697033128 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13123] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13123/stat : 13123 (java) S 13106 13108 13069 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 14257 33554432000 1073741824 1073778376 140733617884048 140545695980328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13124] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13124/stat : 13124 (java) S 13106 13108 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 14257 33554432000 1073741824 1073778376 140733617884048 140545694927528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13134] ppid=13106 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/13108/task/13134/stat : 13134 (java) S 13106 13108 13069 0 -1 4202560 31 0 0 0 7 0 0 0 20 0 19 0 291287883 9855979520 14257 33554432000 1073741824 1073778376 140733617884048 140545211980264 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13137] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13137/stat : 13137 (java) S 13106 13108 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 14257 33554432000 1073741824 1073778376 140733617884048 140545210926328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13138] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13138/stat : 13138 (java) S 13106 13108 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 14257 33554432000 1073741824 1073778376 140733617884048 140545209873416 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13141] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13141/stat : 13141 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 14257 33554432000 1073741824 1073778376 140733617884048 140545208821904 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13143] ppid=13106 vsize=9624980 CPUtime=0.23 cores=0,2,4,6
/proc/13108/task/13143/stat : 13143 (java) S 13106 13108 13069 0 -1 4202560 2044 0 0 0 23 0 0 0 20 0 19 0 291287886 9855979520 14257 33554432000 1073741824 1073778376 140733617884048 140545207770040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13145] ppid=13106 vsize=9624980 CPUtime=0.46 cores=0,2,4,6
/proc/13108/task/13145/stat : 13145 (java) S 13106 13108 13069 0 -1 4202560 5662 0 0 0 46 0 0 0 20 0 19 0 291287886 9855979520 14257 33554432000 1073741824 1073778376 140733617884048 140545206717240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13147] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13147/stat : 13147 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 14257 33554432000 1073741824 1073778376 140733617884048 140545205664632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13148] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13148/stat : 13148 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 14257 33554432000 1073741824 1073778376 140733617884048 140545204612040 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13150] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13150/stat : 13150 (java) S 13106 13108 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291287897 9855979520 14257 33554432000 1073741824 1073778376 140733617884048 140545203557544 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 9624980

[startup+6.30061 s]
/proc/loadavg: 1.10 1.42 1.75 3/213 13150
/proc/meminfo: memFree=29501684/32873648 swapFree=7368/7368
[pid=13108] ppid=13106 vsize=9624980 CPUtime=7.78 cores=0,2,4,6
/proc/13108/stat : 13108 (java) S 13106 13108 13069 0 -1 4202496 18856 0 2 0 773 5 0 0 20 0 19 0 291287878 9855979520 17257 33554432000 1073741824 1073778376 140733617884048 140733617875184 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13108/statm: 2406245 17257 2274 9 0 2396937 0
[pid=13108/tid=13116] ppid=13106 vsize=9624980 CPUtime=5.98 cores=0,2,4,6
/proc/13108/task/13116/stat : 13116 (java) S 13106 13108 13069 0 -1 4202560 2485 0 1 0 598 0 0 0 20 0 19 0 291287880 9855979520 17257 33554432000 1073741824 1073778376 140733617884048 140545859223960 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13117] ppid=13106 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13108/task/13117/stat : 13117 (java) R 13106 13108 13069 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 291287882 9855979520 17257 33554432000 1073741824 1073778376 140733617884048 140545831676456 251056403516 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13118] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13118/stat : 13118 (java) S 13106 13108 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17257 33554432000 1073741824 1073778376 140733617884048 140545830623656 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13119] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13119/stat : 13119 (java) S 13106 13108 13069 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17257 33554432000 1073741824 1073778376 140733617884048 140545829570856 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13108/tid=13120] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13120/stat : 13120 (java) S 13106 13108 13069 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17257 33554432000 1073741824 1073778376 140733617884048 140545828518056 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13121] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13121/stat : 13121 (java) S 13106 13108 13069 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17257 33554432000 1073741824 1073778376 140733617884048 140545827466280 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13122] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13122/stat : 13122 (java) S 13106 13108 13069 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17257 33554432000 1073741824 1073778376 140733617884048 140545697033128 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13108/tid=13123] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13123/stat : 13123 (java) S 13106 13108 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17257 33554432000 1073741824 1073778376 140733617884048 140545695980328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13124] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13124/stat : 13124 (java) S 13106 13108 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17257 33554432000 1073741824 1073778376 140733617884048 140545694927528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13134] ppid=13106 vsize=9624980 CPUtime=0.2 cores=0,2,4,6
/proc/13108/task/13134/stat : 13134 (java) R 13106 13108 13069 0 -1 4202560 31 0 0 0 20 0 0 0 20 0 19 0 291287883 9855979520 17257 33554432000 1073741824 1073778376 140733617884048 140545211979240 140545864908794 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13137] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13137/stat : 13137 (java) S 13106 13108 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 17257 33554432000 1073741824 1073778376 140733617884048 140545210926328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13138] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13138/stat : 13138 (java) S 13106 13108 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 17257 33554432000 1073741824 1073778376 140733617884048 140545209873416 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13141] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13141/stat : 13141 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17257 33554432000 1073741824 1073778376 140733617884048 140545208821904 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13143] ppid=13106 vsize=9624980 CPUtime=0.85 cores=0,2,4,6
/proc/13108/task/13143/stat : 13143 (java) S 13106 13108 13069 0 -1 4202560 9428 0 0 0 83 2 0 0 20 0 19 0 291287886 9855979520 17257 33554432000 1073741824 1073778376 140733617884048 140545207770040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13145] ppid=13106 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/13108/task/13145/stat : 13145 (java) S 13106 13108 13069 0 -1 4202560 5684 0 0 0 56 0 0 0 20 0 19 0 291287886 9855979520 17257 33554432000 1073741824 1073778376 140733617884048 140545206717240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13147] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13147/stat : 13147 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17257 33554432000 1073741824 1073778376 140733617884048 140545205664632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13148] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13148/stat : 13148 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17257 33554432000 1073741824 1073778376 140733617884048 140545204612040 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13150] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13150/stat : 13150 (java) S 13106 13108 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291287897 9855979520 17257 33554432000 1073741824 1073778376 140733617884048 140545203557544 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.78
Current children cumulated vsize (KiB) 9624980

[startup+12.7006 s]

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

/proc/13108/task/13117/stat : 13117 (java) S 13106 13108 13069 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17271 33554432000 1073741824 1073778376 140733617884048 140545831676456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13118] ppid=13106 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/13108/task/13118/stat : 13118 (java) S 13106 13108 13069 0 -1 4202560 5 0 0 0 3 0 0 0 20 0 19 0 291287882 9855979520 17271 33554432000 1073741824 1073778376 140733617884048 140545830623656 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13108/tid=13119] ppid=13106 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/13108/task/13119/stat : 13119 (java) S 13106 13108 13069 0 -1 4202560 6 0 0 0 3 0 0 0 20 0 19 0 291287882 9855979520 17271 33554432000 1073741824 1073778376 140733617884048 140545829570856 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13120] ppid=13106 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/13108/task/13120/stat : 13120 (java) S 13106 13108 13069 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 19 0 291287882 9855979520 17271 33554432000 1073741824 1073778376 140733617884048 140545828518056 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13121] ppid=13106 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/13108/task/13121/stat : 13121 (java) S 13106 13108 13069 0 -1 4202560 8 0 0 0 3 0 0 0 20 0 19 0 291287882 9855979520 17271 33554432000 1073741824 1073778376 140733617884048 140545827466280 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13122] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13122/stat : 13122 (java) S 13106 13108 13069 0 -1 4202560 5 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17271 33554432000 1073741824 1073778376 140733617884048 140545697033128 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13123] ppid=13106 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/13108/task/13123/stat : 13123 (java) S 13106 13108 13069 0 -1 4202560 4 0 0 0 3 0 0 0 20 0 19 0 291287882 9855979520 17271 33554432000 1073741824 1073778376 140733617884048 140545695980328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13108/tid=13124] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13124/stat : 13124 (java) S 13106 13108 13069 0 -1 4202560 9 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17271 33554432000 1073741824 1073778376 140733617884048 140545694927528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13134] ppid=13106 vsize=9624980 CPUtime=0.61 cores=0,2,4,6
/proc/13108/task/13134/stat : 13134 (java) S 13106 13108 13069 0 -1 4202560 31 0 0 0 61 0 0 0 20 0 19 0 291287883 9855979520 17271 33554432000 1073741824 1073778376 140733617884048 140545211980264 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13137] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13137/stat : 13137 (java) S 13106 13108 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 17271 33554432000 1073741824 1073778376 140733617884048 140545210926328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13138] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13138/stat : 13138 (java) S 13106 13108 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 17271 33554432000 1073741824 1073778376 140733617884048 140545209873416 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13141] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13141/stat : 13141 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17271 33554432000 1073741824 1073778376 140733617884048 140545208821904 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13143] ppid=13106 vsize=9624980 CPUtime=0.88 cores=0,2,4,6
/proc/13108/task/13143/stat : 13143 (java) S 13106 13108 13069 0 -1 4202560 9428 0 0 0 86 2 0 0 20 0 19 0 291287886 9855979520 17271 33554432000 1073741824 1073778376 140733617884048 140545207770040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13108/tid=13145] ppid=13106 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/13108/task/13145/stat : 13145 (java) S 13106 13108 13069 0 -1 4202560 5684 0 0 0 58 0 0 0 20 0 19 0 291287886 9855979520 17271 33554432000 1073741824 1073778376 140733617884048 140545206717240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13147] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13147/stat : 13147 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17271 33554432000 1073741824 1073778376 140733617884048 140545205664632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13148] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13148/stat : 13148 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17271 33554432000 1073741824 1073778376 140733617884048 140545204612040 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13150] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13150/stat : 13150 (java) S 13106 13108 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291287897 9855979520 17271 33554432000 1073741824 1073778376 140733617884048 140545203557544 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (KiB) 9624980

[startup+17.9006 s]
/proc/loadavg: 1.23 1.44 1.75 3/213 13150
/proc/meminfo: memFree=29503032/32873648 swapFree=7368/7368
[pid=13108] ppid=13106 vsize=9624980 CPUtime=19.6 cores=0,2,4,6
/proc/13108/stat : 13108 (java) S 13106 13108 13069 0 -1 4202496 18921 0 2 0 1954 6 0 0 20 0 19 0 291287878 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140733617875184 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13108/statm: 2406245 17273 2274 9 0 2396937 0
[pid=13108/tid=13116] ppid=13106 vsize=9624980 CPUtime=17.04 cores=0,2,4,6
/proc/13108/task/13116/stat : 13116 (java) R 13106 13108 13069 0 -1 4202560 2534 0 1 0 1704 0 0 0 20 0 19 0 291287880 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545859223840 140545708064661 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13117] ppid=13106 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/13108/task/13117/stat : 13117 (java) S 13106 13108 13069 0 -1 4202560 14 0 0 0 5 0 0 0 20 0 19 0 291287882 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545831676456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13118] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13118/stat : 13118 (java) S 13106 13108 13069 0 -1 4202560 6 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545830623656 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13108/tid=13119] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13119/stat : 13119 (java) S 13106 13108 13069 0 -1 4202560 6 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545829570856 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13120] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13120/stat : 13120 (java) S 13106 13108 13069 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545828518056 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13121] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13121/stat : 13121 (java) S 13106 13108 13069 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545827466280 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13122] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13122/stat : 13122 (java) S 13106 13108 13069 0 -1 4202560 5 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545697033128 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13123] ppid=13106 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/13108/task/13123/stat : 13123 (java) S 13106 13108 13069 0 -1 4202560 4 0 0 0 3 0 0 0 20 0 19 0 291287882 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545695980328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13108/tid=13124] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13124/stat : 13124 (java) S 13106 13108 13069 0 -1 4202560 9 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545694927528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13134] ppid=13106 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/13108/task/13134/stat : 13134 (java) S 13106 13108 13069 0 -1 4202560 31 0 0 0 63 0 0 0 20 0 19 0 291287883 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545211980264 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13137] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13137/stat : 13137 (java) S 13106 13108 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545210926328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13138] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13138/stat : 13138 (java) S 13106 13108 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545209873416 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13141] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13141/stat : 13141 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545208821904 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13143] ppid=13106 vsize=9624980 CPUtime=0.88 cores=0,2,4,6
/proc/13108/task/13143/stat : 13143 (java) S 13106 13108 13069 0 -1 4202560 9428 0 0 0 86 2 0 0 20 0 19 0 291287886 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545207770040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13108/tid=13145] ppid=13106 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/13108/task/13145/stat : 13145 (java) S 13106 13108 13069 0 -1 4202560 5684 0 0 0 58 0 0 0 20 0 19 0 291287886 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545206717240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13147] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13147/stat : 13147 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545205664632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13148] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13148/stat : 13148 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545204612040 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13150] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13150/stat : 13150 (java) S 13106 13108 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291287897 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545203557544 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 19.6
Current children cumulated vsize (KiB) 9624980

[startup+18.1006 s]
/proc/loadavg: 1.23 1.44 1.75 3/213 13150
/proc/meminfo: memFree=29503032/32873648 swapFree=7368/7368
[pid=13108] ppid=13106 vsize=9624980 CPUtime=19.8 cores=0,2,4,6
/proc/13108/stat : 13108 (java) S 13106 13108 13069 0 -1 4202496 18921 0 2 0 1974 6 0 0 20 0 19 0 291287878 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140733617875184 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13108/statm: 2406245 17273 2274 9 0 2396937 0
[pid=13108/tid=13116] ppid=13106 vsize=9624980 CPUtime=17.24 cores=0,2,4,6
/proc/13108/task/13116/stat : 13116 (java) R 13106 13108 13069 0 -1 4202560 2534 0 1 0 1724 0 0 0 20 0 19 0 291287880 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545859223840 140545708669163 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13117] ppid=13106 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/13108/task/13117/stat : 13117 (java) S 13106 13108 13069 0 -1 4202560 14 0 0 0 5 0 0 0 20 0 19 0 291287882 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545831676456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13118] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13118/stat : 13118 (java) S 13106 13108 13069 0 -1 4202560 6 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545830623656 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13108/tid=13119] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13119/stat : 13119 (java) S 13106 13108 13069 0 -1 4202560 6 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545829570856 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13120] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13120/stat : 13120 (java) S 13106 13108 13069 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545828518056 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13121] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13121/stat : 13121 (java) S 13106 13108 13069 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545827466280 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13122] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13122/stat : 13122 (java) S 13106 13108 13069 0 -1 4202560 5 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545697033128 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13123] ppid=13106 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/13108/task/13123/stat : 13123 (java) S 13106 13108 13069 0 -1 4202560 4 0 0 0 3 0 0 0 20 0 19 0 291287882 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545695980328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13108/tid=13124] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13124/stat : 13124 (java) S 13106 13108 13069 0 -1 4202560 9 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545694927528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13134] ppid=13106 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/13108/task/13134/stat : 13134 (java) S 13106 13108 13069 0 -1 4202560 31 0 0 0 63 0 0 0 20 0 19 0 291287883 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545211980264 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13137] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13137/stat : 13137 (java) S 13106 13108 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545210926328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13138] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13138/stat : 13138 (java) S 13106 13108 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545209873416 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13141] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13141/stat : 13141 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545208821904 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13143] ppid=13106 vsize=9624980 CPUtime=0.88 cores=0,2,4,6
/proc/13108/task/13143/stat : 13143 (java) S 13106 13108 13069 0 -1 4202560 9428 0 0 0 86 2 0 0 20 0 19 0 291287886 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545207770040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13108/tid=13145] ppid=13106 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/13108/task/13145/stat : 13145 (java) S 13106 13108 13069 0 -1 4202560 5684 0 0 0 58 0 0 0 20 0 19 0 291287886 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545206717240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13147] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13147/stat : 13147 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545205664632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13148] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13148/stat : 13148 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545204612040 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13150] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13150/stat : 13150 (java) S 13106 13108 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291287897 9855979520 17273 33554432000 1073741824 1073778376 140733617884048 140545203557544 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 19.8
Current children cumulated vsize (KiB) 9624980

[startup+18.2006 s]
/proc/loadavg: 1.23 1.44 1.75 3/213 13150
/proc/meminfo: memFree=29503032/32873648 swapFree=7368/7368
[pid=13108] ppid=13106 vsize=9624980 CPUtime=19.9 cores=0,2,4,6
/proc/13108/stat : 13108 (java) S 13106 13108 13069 0 -1 4202496 18923 0 2 0 1984 6 0 0 20 0 19 0 291287878 9855979520 17274 33554432000 1073741824 1073778376 140733617884048 140733617875184 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13108/statm: 2406245 17274 2274 9 0 2396937 0
[pid=13108/tid=13116] ppid=13106 vsize=9624980 CPUtime=17.33 cores=0,2,4,6
/proc/13108/task/13116/stat : 13116 (java) R 13106 13108 13069 0 -1 4202560 2535 0 1 0 1733 0 0 0 20 0 19 0 291287880 9855979520 17274 33554432000 1073741824 1073778376 140733617884048 140545859223840 140545708474128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13117] ppid=13106 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/13108/task/13117/stat : 13117 (java) S 13106 13108 13069 0 -1 4202560 14 0 0 0 5 0 0 0 20 0 19 0 291287882 9855979520 17274 33554432000 1073741824 1073778376 140733617884048 140545831676456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13118] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13118/stat : 13118 (java) S 13106 13108 13069 0 -1 4202560 6 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17274 33554432000 1073741824 1073778376 140733617884048 140545830623656 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13108/tid=13119] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13119/stat : 13119 (java) S 13106 13108 13069 0 -1 4202560 6 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17274 33554432000 1073741824 1073778376 140733617884048 140545829570856 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13120] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13120/stat : 13120 (java) S 13106 13108 13069 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17274 33554432000 1073741824 1073778376 140733617884048 140545828518056 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13121] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13121/stat : 13121 (java) S 13106 13108 13069 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17274 33554432000 1073741824 1073778376 140733617884048 140545827466280 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13122] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13122/stat : 13122 (java) S 13106 13108 13069 0 -1 4202560 5 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17274 33554432000 1073741824 1073778376 140733617884048 140545697033128 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13123] ppid=13106 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/13108/task/13123/stat : 13123 (java) S 13106 13108 13069 0 -1 4202560 4 0 0 0 3 0 0 0 20 0 19 0 291287882 9855979520 17274 33554432000 1073741824 1073778376 140733617884048 140545695980328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13108/tid=13124] ppid=13106 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/13108/task/13124/stat : 13124 (java) S 13106 13108 13069 0 -1 4202560 9 0 0 0 4 0 0 0 20 0 19 0 291287882 9855979520 17274 33554432000 1073741824 1073778376 140733617884048 140545694927528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13134] ppid=13106 vsize=9624980 CPUtime=0.64 cores=0,2,4,6
/proc/13108/task/13134/stat : 13134 (java) S 13106 13108 13069 0 -1 4202560 31 0 0 0 64 0 0 0 20 0 19 0 291287883 9855979520 17274 33554432000 1073741824 1073778376 140733617884048 140545211980264 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13108/tid=13137] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13137/stat : 13137 (java) S 13106 13108 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 17274 33554432000 1073741824 1073778376 140733617884048 140545210926328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13138] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13138/stat : 13138 (java) S 13106 13108 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 17274 33554432000 1073741824 1073778376 140733617884048 140545209873416 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13141] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13141/stat : 13141 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17274 33554432000 1073741824 1073778376 140733617884048 140545208821904 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13143] ppid=13106 vsize=9624980 CPUtime=0.88 cores=0,2,4,6
/proc/13108/task/13143/stat : 13143 (java) S 13106 13108 13069 0 -1 4202560 9428 0 0 0 86 2 0 0 20 0 19 0 291287886 9855979520 17274 33554432000 1073741824 1073778376 140733617884048 140545207770040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13108/tid=13145] ppid=13106 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/13108/task/13145/stat : 13145 (java) S 13106 13108 13069 0 -1 4202560 5684 0 0 0 58 0 0 0 20 0 19 0 291287886 9855979520 17274 33554432000 1073741824 1073778376 140733617884048 140545206717240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13108/tid=13147] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13147/stat : 13147 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17274 33554432000 1073741824 1073778376 140733617884048 140545205664632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13108/tid=13148] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13148/stat : 13148 (java) S 13106 13108 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17274 33554432000 1073741824 1073778376 140733617884048 140545204612040 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13108/tid=13150] ppid=13106 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13108/task/13150/stat : 13150 (java) S 13106 13108 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291287897 9855979520 17274 33554432000 1073741824 1073778376 140733617884048 140545203557544 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 19.9
Current children cumulated vsize (KiB) 9624980

Child status: 30
Real time (s): 18.2737
CPU time (s): 20.0659
CPU user time (s): 19.919
CPU system time (s): 0.146977
CPU usage (%): 109.808
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.919
system time used= 0.146977
maximum resident set size= 72376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18941
page faults= 2
swaps= 0
block input operations= 8
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2628
involuntary context switches= 2202

runsolver used 0.036994 second user time and 0.074988 second system time

The end

Launcher Data 

Begin job on node149 at 2012-05-29 02:33:58
IDJOB=3718114
IDBENCH=78774
IDSOLVER=2301
FILE ID=node149/3718114-1338251638
RUNJOBID= node149-1338251638-13085
PBS_JOBID= 14624666
Free space on /tmp= 71700 MiB

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

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

MD5SUM BENCH= 8c7284b7ccf7c3e8bad0ea1f2a54ab5e
RANDOM SEED=1084722368

node149.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.145
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	: 5332.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
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:       32873648 kB
MemFree:        29625624 kB
Buffers:          641048 kB
Cached:          1747564 kB
SwapCached:         2476 kB
Active:          1122296 kB
Inactive:        1285120 kB
Active(anon):       2088 kB
Inactive(anon):     9368 kB
Active(file):    1120208 kB
Inactive(file):  1275752 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104884 kB
Dirty:               436 kB
Writeback:             0 kB
AnonPages:         13856 kB
Mapped:            13508 kB
Shmem:                96 kB
Slab:             701740 kB
SReclaimable:     144756 kB
SUnreclaim:       556984 kB
KernelStack:        1400 kB
PageTables:         3736 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     102932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71696 MiB
End job on node149 at 2012-05-29 02:34:16