Trace number 3718443

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.95 18.4189

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo
MD5SUM0635b24c475a73287c5e15439a6c459f
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.91286
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 4944
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4943
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1199
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.2.v20120528
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	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.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose 2 learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3718443-1338254221.wbo
0.10/0.10	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.057s.
0.10/0.16	c declared #vars     169
0.10/0.16	c internal #vars     270
0.10/0.16	c #constraints  101
0.10/0.16	c constraints type 
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.10/0.16	c ignored satisfied constraints => 1
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.10/0.16	c 102 constraints processed.
0.10/0.16	c objective function length is 101 literals
0.26/0.21	c SATISFIABLE
0.26/0.21	c OPTIMIZING...
0.26/0.21	c Got one! Elapsed wall clock time (in seconds):0.11
0.26/0.21	o 801
0.26/0.24	c Got one! Elapsed wall clock time (in seconds):0.133
0.26/0.24	o 799
0.26/0.25	c Got one! Elapsed wall clock time (in seconds):0.147
0.26/0.25	o 665
0.26/0.26	c Got one! Elapsed wall clock time (in seconds):0.155
0.26/0.26	o 620
0.26/0.27	c Got one! Elapsed wall clock time (in seconds):0.164
0.26/0.27	o 612
0.26/0.28	c Got one! Elapsed wall clock time (in seconds):0.178
0.26/0.28	o 588
0.26/0.29	c Got one! Elapsed wall clock time (in seconds):0.184
0.26/0.29	o 576
0.52/0.30	c Got one! Elapsed wall clock time (in seconds):0.192
0.52/0.30	o 556
0.52/0.31	c Got one! Elapsed wall clock time (in seconds):0.205
0.52/0.31	o 491
0.52/0.33	c Got one! Elapsed wall clock time (in seconds):0.222
0.52/0.33	o 470
0.52/0.33	c Got one! Elapsed wall clock time (in seconds):0.227
0.52/0.33	o 465
0.52/0.34	c Got one! Elapsed wall clock time (in seconds):0.234
0.52/0.34	o 422
0.52/0.35	c Got one! Elapsed wall clock time (in seconds):0.245
0.52/0.35	o 413
0.52/0.36	c Got one! Elapsed wall clock time (in seconds):0.258
0.52/0.36	o 403
0.52/0.39	c Got one! Elapsed wall clock time (in seconds):0.281
0.52/0.39	o 394
0.69/0.40	c Got one! Elapsed wall clock time (in seconds):0.292
0.69/0.40	o 393
0.69/0.41	c Got one! Elapsed wall clock time (in seconds):0.302
0.69/0.41	o 387
0.69/0.42	c Got one! Elapsed wall clock time (in seconds):0.311
0.69/0.42	o 362
0.69/0.45	c Got one! Elapsed wall clock time (in seconds):0.345
0.69/0.45	o 358
0.69/0.48	c Got one! Elapsed wall clock time (in seconds):0.372
0.69/0.48	o 357
0.69/0.49	c Got one! Elapsed wall clock time (in seconds):0.385
0.69/0.49	o 354
0.82/0.53	c Got one! Elapsed wall clock time (in seconds):0.426
0.82/0.53	o 353
0.82/0.56	c Got one! Elapsed wall clock time (in seconds):0.459
0.82/0.56	o 349
0.82/0.58	c Got one! Elapsed wall clock time (in seconds):0.477
0.82/0.58	o 344
0.97/0.60	c Got one! Elapsed wall clock time (in seconds):0.499
0.97/0.60	o 340
0.97/0.62	c Got one! Elapsed wall clock time (in seconds):0.513
0.97/0.62	o 339
1.21/0.72	c cleaning 5847 clauses out of 11697 with flag 8112/11697
1.21/0.75	c Got one! Elapsed wall clock time (in seconds):0.644
1.21/0.75	o 337
1.34/0.80	c Got one! Elapsed wall clock time (in seconds):0.692
1.34/0.80	o 336
1.34/0.82	c Got one! Elapsed wall clock time (in seconds):0.713
1.34/0.82	o 335
1.34/0.83	c Got one! Elapsed wall clock time (in seconds):0.728
1.34/0.83	o 329
1.34/0.87	c Got one! Elapsed wall clock time (in seconds):0.77
1.34/0.87	o 309
1.34/0.89	c Got one! Elapsed wall clock time (in seconds):0.787
1.34/0.89	o 307
1.44/0.95	c Got one! Elapsed wall clock time (in seconds):0.845
1.44/0.95	o 293
1.55/1.02	c cleaning 7163 clauses out of 14334 with flag 7768/20181
1.55/1.06	c Got one! Elapsed wall clock time (in seconds):0.954
1.55/1.06	o 289
1.55/1.07	c Got one! Elapsed wall clock time (in seconds):0.969
1.55/1.07	o 278
1.55/1.09	c Got one! Elapsed wall clock time (in seconds):0.988
1.55/1.09	o 276
1.66/1.11	c Got one! Elapsed wall clock time (in seconds):1.004
1.66/1.11	o 275
1.66/1.12	c Got one! Elapsed wall clock time (in seconds):1.02
1.66/1.12	o 261
1.66/1.19	c Got one! Elapsed wall clock time (in seconds):1.082
1.66/1.19	o 258
1.81/1.22	c Got one! Elapsed wall clock time (in seconds):1.111
1.81/1.22	o 255
1.91/1.30	c Got one! Elapsed wall clock time (in seconds):1.197
1.91/1.30	o 242
1.91/1.38	c cleaning 8657 clauses out of 17336 with flag 8469/30346
2.03/1.46	c Got one! Elapsed wall clock time (in seconds):1.353
2.03/1.46	o 238
2.03/1.48	c Got one! Elapsed wall clock time (in seconds):1.376
2.03/1.48	o 234
2.14/1.54	c Got one! Elapsed wall clock time (in seconds):1.433
2.14/1.54	o 233
2.14/1.59	c Got one! Elapsed wall clock time (in seconds):1.489
2.14/1.59	o 231
2.24/1.64	c cleaning 7795 clauses out of 15592 with flag 4112/37259
2.24/1.67	c Got one! Elapsed wall clock time (in seconds):1.564
2.24/1.67	o 229
2.33/1.76	c Got one! Elapsed wall clock time (in seconds):1.66
2.33/1.76	o 225
2.43/1.84	c cleaning 6652 clauses out of 13316 with flag 9233/42778
2.64/2.04	c Got one! Elapsed wall clock time (in seconds):1.938
2.64/2.04	o 221
2.64/2.07	c Got one! Elapsed wall clock time (in seconds):1.965
2.64/2.07	o 210
2.64/2.08	c Got one! Elapsed wall clock time (in seconds):1.972
2.64/2.08	o 207
2.64/2.10	c Got one! Elapsed wall clock time (in seconds):1.997
2.64/2.10	o 206
2.76/2.12	c Got one! Elapsed wall clock time (in seconds):2.017
2.76/2.12	o 205
2.76/2.14	c Got one! Elapsed wall clock time (in seconds):2.037
2.76/2.14	o 192
2.86/2.22	c Got one! Elapsed wall clock time (in seconds):2.111
2.86/2.22	o 191
2.96/2.32	c Got one! Elapsed wall clock time (in seconds):2.212
2.96/2.32	o 190
2.96/2.33	c Got one! Elapsed wall clock time (in seconds):2.23
2.96/2.33	o 188
2.96/2.39	c cleaning 10773 clauses out of 21560 with flag 4812/57674
3.17/2.50	c Got one! Elapsed wall clock time (in seconds):2.392
3.17/2.50	o 187
3.17/2.58	c cleaning 7976 clauses out of 15977 with flag 10004/62864
3.37/2.75	c Got one! Elapsed wall clock time (in seconds):2.644
3.37/2.75	o 185
3.57/2.93	c cleaning 9050 clauses out of 18148 with flag 21742/73011
3.70/3.01	c Got one! Elapsed wall clock time (in seconds):2.902
3.70/3.01	o 181
3.70/3.04	c Got one! Elapsed wall clock time (in seconds):2.931
3.70/3.04	o 180
3.70/3.06	c Got one! Elapsed wall clock time (in seconds):2.956
3.70/3.06	o 179
3.70/3.08	c Got one! Elapsed wall clock time (in seconds):2.973
3.70/3.08	o 158
3.82/3.16	c Got one! Elapsed wall clock time (in seconds):3.051
3.82/3.16	o 146
3.82/3.20	c cleaning 8191 clauses out of 16388 with flag 4205/80301
3.92/3.23	c Got one! Elapsed wall clock time (in seconds):3.127
3.92/3.23	o 143
4.02/3.35	c Got one! Elapsed wall clock time (in seconds):3.247
4.02/3.35	o 142
4.12/3.43	c cleaning 7130 clauses out of 14265 with flag 9856/86369
4.12/3.44	c Got one! Elapsed wall clock time (in seconds):3.339
4.12/3.44	o 133
4.32/3.60	c cleaning 6133 clauses out of 12283 with flag 25235/91517
4.32/3.64	c Got one! Elapsed wall clock time (in seconds):3.536
4.32/3.64	o 132
4.53/3.81	c cleaning 5981 clauses out of 11970 with flag 24835/97337
4.63/3.92	c Got one! Elapsed wall clock time (in seconds):3.82
4.63/3.92	o 129
4.74/4.00	c cleaning 5680 clauses out of 11379 with flag 10400/102727
4.94/4.21	c cleaning 5835 clauses out of 11700 with flag 40185/108728
5.05/4.38	c Got one! Elapsed wall clock time (in seconds):4.275
5.05/4.38	o 128
5.16/4.41	c Got one! Elapsed wall clock time (in seconds):4.306
5.16/4.41	o 125
5.16/4.46	c Got one! Elapsed wall clock time (in seconds):4.352
5.16/4.46	o 124
5.16/4.48	c Got one! Elapsed wall clock time (in seconds):4.379
5.16/4.48	o 122
5.25/4.58	c Got one! Elapsed wall clock time (in seconds):4.48
5.25/4.58	o 121
5.50/4.71	c cleaning 9268 clauses out of 18536 with flag 9692/121399
5.50/4.73	c Got one! Elapsed wall clock time (in seconds):4.63
5.50/4.73	o 120
5.72/4.86	c Got one! Elapsed wall clock time (in seconds):4.76
5.72/4.86	o 116
5.92/4.97	c cleaning 7559 clauses out of 15135 with flag 10994/127266
6.30/5.19	c Got one! Elapsed wall clock time (in seconds):5.087
6.30/5.19	o 114
6.50/5.40	c cleaning 9266 clauses out of 18551 with flag 26098/138241
6.63/5.49	c Got one! Elapsed wall clock time (in seconds):5.387
6.63/5.49	o 112
6.82/5.60	c cleaning 7405 clauses out of 14837 with flag 14824/143793
7.02/5.82	c cleaning 6699 clauses out of 13431 with flag 44404/149792
7.13/5.92	c Got one! Elapsed wall clock time (in seconds):5.819
7.13/5.92	o 111
7.23/6.01	c cleaning 5884 clauses out of 11793 with flag 11630/154853
7.43/6.22	c cleaning 5940 clauses out of 11907 with flag 43934/160851
7.63/6.47	c cleaning 6472 clauses out of 12966 with flag 79269/167850
7.84/6.61	c Got one! Elapsed wall clock time (in seconds):6.508
7.84/6.61	o 101
7.84/6.63	c Got one! Elapsed wall clock time (in seconds):6.53
7.84/6.63	o 98
7.84/6.69	c cleaning 6152 clauses out of 12320 with flag 5263/173676
7.93/6.72	c Got one! Elapsed wall clock time (in seconds):6.615
7.93/6.72	o 97
7.93/6.78	c Got one! Elapsed wall clock time (in seconds):6.678
7.93/6.78	o 91
8.13/6.92	c Got one! Elapsed wall clock time (in seconds):6.812
8.13/6.92	o 88
8.13/6.96	c cleaning 6434 clauses out of 12880 with flag 5976/180388
8.23/7.09	c Got one! Elapsed wall clock time (in seconds):6.989
8.23/7.09	o 83
8.33/7.18	c cleaning 6061 clauses out of 12134 with flag 11668/186076
8.43/7.28	c Got one! Elapsed wall clock time (in seconds):7.178
8.43/7.28	o 82
8.55/7.36	c cleaning 5636 clauses out of 11277 with flag 11895/191280
8.75/7.58	c cleaning 5812 clauses out of 11642 with flag 43605/197281
8.86/7.64	c Got one! Elapsed wall clock time (in seconds):7.534
8.86/7.64	o 77
8.96/7.79	c cleaning 5623 clauses out of 11273 with flag 22625/202724
9.25/8.00	c cleaning 5818 clauses out of 11650 with flag 55022/208724
9.25/8.07	c Got one! Elapsed wall clock time (in seconds):7.968
9.25/8.07	o 74
9.46/8.24	c cleaning 5867 clauses out of 11761 with flag 23754/214653
9.66/8.45	c cleaning 5936 clauses out of 11894 with flag 56480/220653
9.98/8.71	c cleaning 6470 clauses out of 12959 with flag 94697/227654
10.08/8.80	c Got one! Elapsed wall clock time (in seconds):8.698
10.08/8.80	o 65
10.18/8.92	c cleaning 6069 clauses out of 12150 with flag 16127/233315
10.39/9.15	c cleaning 6024 clauses out of 12081 with flag 50404/239315
10.60/9.39	c cleaning 6517 clauses out of 13056 with flag 84744/246314
10.99/9.70	c cleaning 7261 clauses out of 14540 with flag 126041/254315
11.12/9.88	c Got one! Elapsed wall clock time (in seconds):9.778
11.12/9.88	o 47
11.22/9.92	c Got one! Elapsed wall clock time (in seconds):9.814
11.22/9.92	o 46
11.32/10.07	c cleaning 8770 clauses out of 17540 with flag 19297/264576
11.43/10.18	c Got one! Elapsed wall clock time (in seconds):10.08
11.43/10.18	o 36
11.53/10.26	c cleaning 7050 clauses out of 14122 with flag 12449/269928
11.73/10.49	c cleaning 6528 clauses out of 13072 with flag 42911/275928
12.03/10.74	c cleaning 6771 clauses out of 13549 with flag 77336/282933
12.34/11.03	c cleaning 7374 clauses out of 14773 with flag 119206/290928
12.65/11.36	c cleaning 8189 clauses out of 16399 with flag 172752/299928
12.86/11.54	c Got one! Elapsed wall clock time (in seconds):11.439
12.86/11.54	o 25
13.06/11.73	c cleaning 9678 clauses out of 19385 with flag 27570/311103
13.28/11.97	c cleaning 7838 clauses out of 15707 with flag 61917/317103
13.50/12.14	c Got one! Elapsed wall clock time (in seconds):12.033
13.50/12.14	o 20
13.69/12.34	c cleaning 9143 clauses out of 18303 with flag 26996/327537
13.89/12.56	c cleaning 7569 clauses out of 15162 with flag 59347/333539
14.20/12.83	c cleaning 7288 clauses out of 14592 with flag 98532/340538
14.52/13.11	c cleaning 7642 clauses out of 15303 with flag 140898/348537
14.52/13.18	c Got one! Elapsed wall clock time (in seconds):13.079
14.52/13.18	o 18
14.62/13.29	c cleaning 6375 clauses out of 12770 with flag 16024/353646
14.81/13.49	c cleaning 6187 clauses out of 12394 with flag 46728/359645
15.12/13.73	c cleaning 6591 clauses out of 13207 with flag 81746/366645
15.42/14.01	c cleaning 7298 clauses out of 14618 with flag 122948/374647
15.73/14.33	c cleaning 8153 clauses out of 16321 with flag 170236/383648
16.03/14.69	c cleaning 9082 clauses out of 18165 with flag 220803/393645
16.23/14.85	c Got one! Elapsed wall clock time (in seconds):14.75
16.23/14.85	o 8
16.43/15.04	c cleaning 9614 clauses out of 19231 with flag 25172/403793
16.54/15.13	c Got one! Elapsed wall clock time (in seconds):15.028
16.54/15.13	o 6
16.64/15.24	c cleaning 7634 clauses out of 15291 with flag 16149/409468
16.85/15.46	c cleaning 6821 clauses out of 13657 with flag 47286/415468
17.05/15.68	c cleaning 6907 clauses out of 13837 with flag 79148/422469
17.35/15.93	c cleaning 7464 clauses out of 14928 with flag 116360/430468
17.35/16.00	c Got one! Elapsed wall clock time (in seconds):15.891
17.35/16.00	o 4
17.56/16.14	c cleaning 6667 clauses out of 13360 with flag 21326/436365
17.76/16.35	c cleaning 6334 clauses out of 12693 with flag 53646/442365
18.06/16.60	c cleaning 6673 clauses out of 13358 with flag 92121/449364
18.26/16.85	c cleaning 7337 clauses out of 14686 with flag 132225/457365
18.26/16.87	c Got one! Elapsed wall clock time (in seconds):16.768
18.26/16.87	o 3
18.46/17.03	c cleaning 6409 clauses out of 12852 with flag 27331/462868
18.66/17.22	c cleaning 6217 clauses out of 12441 with flag 55887/468866
18.86/17.43	c cleaning 6608 clauses out of 13224 with flag 89033/475866
18.97/17.51	c Got one! Elapsed wall clock time (in seconds):17.401
18.97/17.51	o 2
19.07/17.60	c cleaning 6163 clauses out of 12351 with flag 15046/481601
19.28/17.80	c cleaning 6085 clauses out of 12187 with flag 44264/487600
19.48/18.03	c cleaning 6550 clauses out of 13101 with flag 79151/494600
19.68/18.29	c cleaning 7275 clauses out of 14551 with flag 117887/502600
19.89/18.41	c starts		: 250
19.89/18.41	c conflicts		: 506033
19.89/18.41	c decisions		: 772318
19.89/18.41	c propagations		: 10926325
19.89/18.41	c inspects		: 124627491
19.89/18.41	c shortcuts		: 0
19.89/18.41	c learnt literals	: 16
19.89/18.41	c learnt binary clauses	: 27
19.89/18.41	c learnt ternary clauses	: 533
19.89/18.41	c learnt constraints	: 506016
19.89/18.41	c ignored constraints	: 0
19.89/18.41	c root simplifications	: 0
19.89/18.41	c removed literals (reason simplification)	: 0
19.89/18.41	c reason swapping (by a shorter reason)	: 0
19.89/18.41	c Calls to reduceDB	: 70
19.89/18.41	c Number of update (reduction) of LBD	: 128563
19.89/18.41	c number of reductions to clauses (during analyze)	: 0
19.89/18.41	c number of learned constraints concerned by reduction	: 0
19.89/18.41	c number of learning phase by resolution	: 0
19.89/18.41	c number of learning phase by cutting planes	: 0
19.89/18.41	c speed (assignments/second)	: 598866.8128254316
19.89/18.41	c non guided choices	5536
19.89/18.41	c learnt constraints type 
19.89/18.41	c constraints type 
19.89/18.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
19.89/18.41	c ignored satisfied constraints => 1
19.89/18.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
19.89/18.41	c 102 constraints processed.
19.89/18.41	s OPTIMUM FOUND
19.89/18.41	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.89/18.41	c objective function=2
19.89/18.41	c Total wall clock time (in seconds): 18.307

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-3718443-1338254221/watcher-3718443-1338254221 -o /tmp/evaluation-result-3718443-1338254221/solver-3718443-1338254221 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718443-1338254221.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.03 2.05 2.01 3/195 10084
/proc/meminfo: memFree=30793468/32873844 swapFree=7632/7632
[pid=10084] ppid=10082 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/10084/stat : 10084 (java) S 10082 10084 6647 0 -1 4202496 1163 0 0 0 0 0 0 0 20 0 2 0 291546388 91889664 885 33554432000 1073741824 1073778376 140735889800704 140735889791840 209887199293 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10084/statm: 22435 886 670 9 0 16770 0
[pid=10084/tid=10085] ppid=10082 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10085/stat : 10085 (java) R 10082 10084 6647 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 2 0 291546388 91889664 894 33554432000 1073741824 1073778376 140735889800704 140735889789768 209874677031 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.0175311 s]
/proc/loadavg: 2.03 2.05 2.01 3/195 10084
/proc/meminfo: memFree=30793468/32873844 swapFree=7632/7632
[pid=10084] ppid=10082 vsize=9016616 CPUtime=0 cores=0,2,4,6
/proc/10084/stat : 10084 (java) S 10082 10084 6647 0 -1 4202496 2288 0 1 0 0 0 0 0 20 0 10 0 291546388 9233014784 2989 33554432000 1073741824 1073778376 140735889800704 140735889791840 209887199293 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10084/statm: 2254154 2997 1131 9 0 2244855 0
[pid=10084/tid=10085] ppid=10082 vsize=9016616 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10085/stat : 10085 (java) R 10082 10084 6647 0 -1 4202560 1146 0 1 0 0 0 0 0 20 0 10 0 291546388 9233014784 3002 33554432000 1073741824 1073778376 140735889800704 140044569072320 140044559139943 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616

[startup+0.100273 s]
/proc/loadavg: 2.03 2.05 2.01 3/195 10084
/proc/meminfo: memFree=30793468/32873844 swapFree=7632/7632
[pid=10084] ppid=10082 vsize=9558416 CPUtime=0.1 cores=0,2,4,6
/proc/10084/stat : 10084 (java) S 10082 10084 6647 0 -1 4202496 4375 0 1 0 9 1 0 0 20 0 18 0 291546388 9787817984 6085 33554432000 1073741824 1073778376 140735889800704 140735889791840 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10084/statm: 2389604 6085 2109 9 0 2380296 0
[pid=10084/tid=10085] ppid=10082 vsize=9558416 CPUtime=0.07 cores=0,2,4,6
/proc/10084/task/10085/stat : 10085 (java) R 10082 10084 6647 0 -1 4202560 2428 0 1 0 7 0 0 0 20 0 18 0 291546388 9787817984 6085 33554432000 1073741824 1073778376 140735889800704 140044569074608 140044572360256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416

[startup+0.300235 s]
/proc/loadavg: 2.03 2.05 2.01 3/195 10084
/proc/meminfo: memFree=30793468/32873844 swapFree=7632/7632
[pid=10084] ppid=10082 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/10084/stat : 10084 (java) S 10082 10084 6647 0 -1 4202496 6919 0 1 0 50 2 0 0 20 0 19 0 291546388 9855979520 8112 33554432000 1073741824 1073778376 140735889800704 140735889791840 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10084/statm: 2406245 8112 2233 9 0 2396937 0
[pid=10084/tid=10085] ppid=10082 vsize=9624980 CPUtime=0.27 cores=0,2,4,6
/proc/10084/task/10085/stat : 10085 (java) R 10082 10084 6647 0 -1 4202560 2450 0 1 0 27 0 0 0 20 0 19 0 291546388 9855979520 8112 33554432000 1073741824 1073778376 140735889800704 140044569076496 140044404808050 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9624980

[startup+0.700246 s]
/proc/loadavg: 2.03 2.05 2.01 3/195 10084
/proc/meminfo: memFree=30793468/32873844 swapFree=7632/7632
[pid=10084] ppid=10082 vsize=9624980 CPUtime=1.21 cores=0,2,4,6
/proc/10084/stat : 10084 (java) S 10082 10084 6647 0 -1 4202496 11731 0 1 0 118 3 0 0 20 0 19 0 291546388 9855979520 11263 33554432000 1073741824 1073778376 140735889800704 140735889791840 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10084/statm: 2406245 11263 2243 9 0 2396937 0
[pid=10084/tid=10085] ppid=10082 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/10084/task/10085/stat : 10085 (java) R 10082 10084 6647 0 -1 4202560 2452 0 1 0 67 0 0 0 20 0 19 0 291546388 9855979520 11263 33554432000 1073741824 1073778376 140735889800704 140044569076496 140044404848199 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9624980

[startup+1.50068 s]
/proc/loadavg: 2.03 2.05 2.01 3/214 10103
/proc/meminfo: memFree=30750640/32873844 swapFree=7632/7632
[pid=10084] ppid=10082 vsize=9624980 CPUtime=2.14 cores=0,2,4,6
/proc/10084/stat : 10084 (java) S 10082 10084 6647 0 -1 4202496 12379 0 1 0 211 3 0 0 20 0 19 0 291546388 9855979520 14457 33554432000 1073741824 1073778376 140735889800704 140735889791840 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10084/statm: 2406245 14457 2272 9 0 2396937 0
[pid=10084/tid=10085] ppid=10082 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/10084/task/10085/stat : 10085 (java) R 10082 10084 6647 0 -1 4202560 2456 0 1 0 142 1 0 0 20 0 19 0 291546388 9855979520 14457 33554432000 1073741824 1073778376 140735889800704 140044569076120 140044405285830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10087] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10087/stat : 10087 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 14457 33554432000 1073741824 1073778376 140735889800704 140044530567720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10088] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10088/stat : 10088 (java) S 10082 10084 6647 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 14457 33554432000 1073741824 1073778376 140735889800704 140044529514920 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10089] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10089/stat : 10089 (java) S 10082 10084 6647 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 14457 33554432000 1073741824 1073778376 140735889800704 140044528462120 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10090] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10090/stat : 10090 (java) S 10082 10084 6647 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 14457 33554432000 1073741824 1073778376 140735889800704 140044527409320 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10091] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10091/stat : 10091 (java) S 10082 10084 6647 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 14457 33554432000 1073741824 1073778376 140735889800704 140044526357544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10092] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10092/stat : 10092 (java) S 10082 10084 6647 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 14457 33554432000 1073741824 1073778376 140735889800704 140044525304744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10093] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10093/stat : 10093 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 14457 33554432000 1073741824 1073778376 140735889800704 140044524251944 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10094] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10094/stat : 10094 (java) S 10082 10084 6647 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 14457 33554432000 1073741824 1073778376 140735889800704 140044404779688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10095] ppid=10082 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/10084/task/10095/stat : 10095 (java) S 10082 10084 6647 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 291546390 9855979520 14457 33554432000 1073741824 1073778376 140735889800704 140044392581608 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10084/tid=10096] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10096/stat : 10096 (java) S 10082 10084 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291546391 9855979520 14457 33554432000 1073741824 1073778376 140735889800704 140044391527672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10097] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10097/stat : 10097 (java) S 10082 10084 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291546391 9855979520 14457 33554432000 1073741824 1073778376 140735889800704 140044390474760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10098] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10098/stat : 10098 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546393 9855979520 14457 33554432000 1073741824 1073778376 140735889800704 140044389423248 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10099] ppid=10082 vsize=9624980 CPUtime=0.31 cores=0,2,4,6
/proc/10084/task/10099/stat : 10099 (java) S 10082 10084 6647 0 -1 4202560 3842 0 0 0 31 0 0 0 20 0 19 0 291546393 9855979520 14457 33554432000 1073741824 1073778376 140735889800704 140043649805240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10100] ppid=10082 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/10084/task/10100/stat : 10100 (java) S 10082 10084 6647 0 -1 4202560 4836 0 0 0 30 2 0 0 20 0 19 0 291546393 9855979520 14457 33554432000 1073741824 1073778376 140735889800704 140043648752440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10101] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10101/stat : 10101 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546393 9855979520 14457 33554432000 1073741824 1073778376 140735889800704 140043647699832 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10102] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10102/stat : 10102 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546393 9855979520 14457 33554432000 1073741824 1073778376 140735889800704 140043646647240 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10103] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10103/stat : 10103 (java) S 10082 10084 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291546405 9855979520 14457 33554432000 1073741824 1073778376 140735889800704 140043645592744 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9624980

[startup+3.10069 s]
/proc/loadavg: 2.03 2.05 2.01 3/214 10103
/proc/meminfo: memFree=30743628/32873844 swapFree=7632/7632
[pid=10084] ppid=10082 vsize=9624980 CPUtime=3.82 cores=0,2,4,6
/proc/10084/stat : 10084 (java) S 10082 10084 6647 0 -1 4202496 12394 0 1 0 378 4 0 0 20 0 19 0 291546388 9855979520 14467 33554432000 1073741824 1073778376 140735889800704 140735889791840 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10084/statm: 2406245 14467 2273 9 0 2396937 0
[pid=10084/tid=10085] ppid=10082 vsize=9624980 CPUtime=2.96 cores=0,2,4,6
/proc/10084/task/10085/stat : 10085 (java) R 10082 10084 6647 0 -1 4202560 2460 0 1 0 295 1 0 0 20 0 19 0 291546388 9855979520 14467 33554432000 1073741824 1073778376 140735889800704 140044569067968 140044405249221 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10087] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10087/stat : 10087 (java) S 10082 10084 6647 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 14467 33554432000 1073741824 1073778376 140735889800704 140044530567720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10088] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10088/stat : 10088 (java) S 10082 10084 6647 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 14467 33554432000 1073741824 1073778376 140735889800704 140044529514920 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10089] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10089/stat : 10089 (java) S 10082 10084 6647 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 14467 33554432000 1073741824 1073778376 140735889800704 140044528462120 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10090] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10090/stat : 10090 (java) S 10082 10084 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 14467 33554432000 1073741824 1073778376 140735889800704 140044527409320 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10091] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10091/stat : 10091 (java) S 10082 10084 6647 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 14467 33554432000 1073741824 1073778376 140735889800704 140044526357544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10092] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10092/stat : 10092 (java) S 10082 10084 6647 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 14467 33554432000 1073741824 1073778376 140735889800704 140044525304744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10093] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10093/stat : 10093 (java) S 10082 10084 6647 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 14467 33554432000 1073741824 1073778376 140735889800704 140044524251944 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10094] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10094/stat : 10094 (java) S 10082 10084 6647 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 14467 33554432000 1073741824 1073778376 140735889800704 140044404779688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10084/tid=10095] ppid=10082 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/10084/task/10095/stat : 10095 (java) S 10082 10084 6647 0 -1 4202560 31 0 0 0 6 0 0 0 20 0 19 0 291546390 9855979520 14467 33554432000 1073741824 1073778376 140735889800704 140044392581608 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10096] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10096/stat : 10096 (java) S 10082 10084 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291546391 9855979520 14467 33554432000 1073741824 1073778376 140735889800704 140044391527672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10097] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10097/stat : 10097 (java) S 10082 10084 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291546391 9855979520 14467 33554432000 1073741824 1073778376 140735889800704 140044390474760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10098] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10098/stat : 10098 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546393 9855979520 14467 33554432000 1073741824 1073778376 140735889800704 140044389423248 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10099] ppid=10082 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/10084/task/10099/stat : 10099 (java) S 10082 10084 6647 0 -1 4202560 3842 0 0 0 32 0 0 0 20 0 19 0 291546393 9855979520 14467 33554432000 1073741824 1073778376 140735889800704 140043649805240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10100] ppid=10082 vsize=9624980 CPUtime=0.36 cores=0,2,4,6
/proc/10084/task/10100/stat : 10100 (java) S 10082 10084 6647 0 -1 4202560 4838 0 0 0 34 2 0 0 20 0 19 0 291546393 9855979520 14467 33554432000 1073741824 1073778376 140735889800704 140043648752440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10101] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10101/stat : 10101 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546393 9855979520 14467 33554432000 1073741824 1073778376 140735889800704 140043647699832 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10102] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10102/stat : 10102 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546393 9855979520 14467 33554432000 1073741824 1073778376 140735889800704 140043646647240 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10103] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10103/stat : 10103 (java) S 10082 10084 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291546405 9855979520 14467 33554432000 1073741824 1073778376 140735889800704 140043645592744 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 9624980

[startup+6.3006 s]
/proc/loadavg: 2.03 2.05 2.01 3/214 10103
/proc/meminfo: memFree=30741272/32873844 swapFree=7632/7632
[pid=10084] ppid=10082 vsize=9624980 CPUtime=7.53 cores=0,2,4,6
/proc/10084/stat : 10084 (java) S 10082 10084 6647 0 -1 4202496 16299 0 1 0 748 5 0 0 20 0 19 0 291546388 9855979520 15185 33554432000 1073741824 1073778376 140735889800704 140735889791840 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10084/statm: 2406245 15185 2274 9 0 2396937 0
[pid=10084/tid=10085] ppid=10082 vsize=9624980 CPUtime=6.01 cores=0,2,4,6
/proc/10084/task/10085/stat : 10085 (java) R 10082 10084 6647 0 -1 4202560 2473 0 1 0 600 1 0 0 20 0 19 0 291546388 9855979520 15185 33554432000 1073741824 1073778376 140735889800704 140044569076000 140044405249228 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10087] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10087/stat : 10087 (java) S 10082 10084 6647 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 15185 33554432000 1073741824 1073778376 140735889800704 140044530567720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10084/tid=10088] ppid=10082 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/10084/task/10088/stat : 10088 (java) S 10082 10084 6647 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 291546389 9855979520 15185 33554432000 1073741824 1073778376 140735889800704 140044529514920 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10089] ppid=10082 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/10084/task/10089/stat : 10089 (java) S 10082 10084 6647 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291546389 9855979520 15185 33554432000 1073741824 1073778376 140735889800704 140044528462120 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10090] ppid=10082 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/10084/task/10090/stat : 10090 (java) S 10082 10084 6647 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291546389 9855979520 15185 33554432000 1073741824 1073778376 140735889800704 140044527409320 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10091] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10091/stat : 10091 (java) S 10082 10084 6647 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 15185 33554432000 1073741824 1073778376 140735889800704 140044526357544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10092] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10092/stat : 10092 (java) S 10082 10084 6647 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 15185 33554432000 1073741824 1073778376 140735889800704 140044525304744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10084/tid=10093] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10093/stat : 10093 (java) S 10082 10084 6647 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 15185 33554432000 1073741824 1073778376 140735889800704 140044524251944 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10094] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10094/stat : 10094 (java) S 10082 10084 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291546389 9855979520 15185 33554432000 1073741824 1073778376 140735889800704 140044404779688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10095] ppid=10082 vsize=9624980 CPUtime=0.18 cores=0,2,4,6
/proc/10084/task/10095/stat : 10095 (java) S 10082 10084 6647 0 -1 4202560 40 0 0 0 18 0 0 0 20 0 19 0 291546390 9855979520 15185 33554432000 1073741824 1073778376 140735889800704 140044392581608 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10096] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10096/stat : 10096 (java) S 10082 10084 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291546391 9855979520 15185 33554432000 1073741824 1073778376 140735889800704 140044391527672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10097] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10097/stat : 10097 (java) S 10082 10084 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291546391 9855979520 15185 33554432000 1073741824 1073778376 140735889800704 140044390474760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10098] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10098/stat : 10098 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546393 9855979520 15185 33554432000 1073741824 1073778376 140735889800704 140044389423248 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10099] ppid=10082 vsize=9624980 CPUtime=0.39 cores=0,2,4,6
/proc/10084/task/10099/stat : 10099 (java) S 10082 10084 6647 0 -1 4202560 4140 0 0 0 39 0 0 0 20 0 19 0 291546393 9855979520 15185 33554432000 1073741824 1073778376 140735889800704 140043649805240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10100] ppid=10082 vsize=9624980 CPUtime=0.76 cores=0,2,4,6
/proc/10084/task/10100/stat : 10100 (java) S 10082 10084 6647 0 -1 4202560 8417 0 0 0 74 2 0 0 20 0 19 0 291546393 9855979520 15185 33554432000 1073741824 1073778376 140735889800704 140043648752440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

/proc/10084/task/10087/stat : 10087 (java) S 10082 10084 6647 0 -1 4202560 4 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044530567720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10088] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10088/stat : 10088 (java) S 10082 10084 6647 0 -1 4202560 6 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044529514920 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10084/tid=10089] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10089/stat : 10089 (java) S 10082 10084 6647 0 -1 4202560 9 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044528462120 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10090] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10090/stat : 10090 (java) S 10082 10084 6647 0 -1 4202560 9 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044527409320 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10091] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10091/stat : 10091 (java) S 10082 10084 6647 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044526357544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10092] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10092/stat : 10092 (java) S 10082 10084 6647 0 -1 4202560 5 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044525304744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10093] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10093/stat : 10093 (java) S 10082 10084 6647 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044524251944 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10084/tid=10094] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10094/stat : 10094 (java) S 10082 10084 6647 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044404779688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10095] ppid=10082 vsize=9624980 CPUtime=0.59 cores=0,2,4,6
/proc/10084/task/10095/stat : 10095 (java) S 10082 10084 6647 0 -1 4202560 40 0 0 0 59 0 0 0 20 0 19 0 291546390 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044392581608 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10084/tid=10096] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10096/stat : 10096 (java) S 10082 10084 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291546391 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044391527672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10097] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10097/stat : 10097 (java) S 10082 10084 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291546391 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044390474760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10098] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10098/stat : 10098 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044389423248 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10099] ppid=10082 vsize=9624980 CPUtime=0.4 cores=0,2,4,6
/proc/10084/task/10099/stat : 10099 (java) S 10082 10084 6647 0 -1 4202560 4140 0 0 0 40 0 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043649805240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10100] ppid=10082 vsize=9624980 CPUtime=0.8 cores=0,2,4,6
/proc/10084/task/10100/stat : 10100 (java) S 10082 10084 6647 0 -1 4202560 8419 0 0 0 78 2 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043648752440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10101] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10101/stat : 10101 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043647699832 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10102] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10102/stat : 10102 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043646647240 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10103] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10103/stat : 10103 (java) S 10082 10084 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291546405 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043645592744 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 18.97
Current children cumulated vsize (KiB) 9624980

[startup+17.9006 s]
/proc/loadavg: 2.03 2.05 2.01 4/214 10103
/proc/meminfo: memFree=30788356/32873844 swapFree=7632/7632
[pid=10084] ppid=10082 vsize=9624980 CPUtime=19.38 cores=0,2,4,6
/proc/10084/stat : 10084 (java) S 10082 10084 6647 0 -1 4202496 16368 0 1 0 1932 6 0 0 20 0 19 0 291546388 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140735889791840 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10084/statm: 2406245 14837 2276 9 0 2396937 0
[pid=10084/tid=10085] ppid=10082 vsize=9624980 CPUtime=17.02 cores=0,2,4,6
/proc/10084/task/10085/stat : 10085 (java) R 10082 10084 6647 0 -1 4202560 2520 0 1 0 1701 1 0 0 20 0 19 0 291546388 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044569076120 140044405285903 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10087] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10087/stat : 10087 (java) S 10082 10084 6647 0 -1 4202560 4 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044530567720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10088] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10088/stat : 10088 (java) S 10082 10084 6647 0 -1 4202560 6 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044529514920 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10089] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10089/stat : 10089 (java) S 10082 10084 6647 0 -1 4202560 9 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044528462120 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10090] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10090/stat : 10090 (java) S 10082 10084 6647 0 -1 4202560 9 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044527409320 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10091] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10091/stat : 10091 (java) S 10082 10084 6647 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044526357544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10092] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10092/stat : 10092 (java) S 10082 10084 6647 0 -1 4202560 5 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044525304744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10093] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10093/stat : 10093 (java) S 10082 10084 6647 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044524251944 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10084/tid=10094] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10094/stat : 10094 (java) S 10082 10084 6647 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044404779688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10095] ppid=10082 vsize=9624980 CPUtime=0.61 cores=0,2,4,6
/proc/10084/task/10095/stat : 10095 (java) S 10082 10084 6647 0 -1 4202560 40 0 0 0 61 0 0 0 20 0 19 0 291546390 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044392581608 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10084/tid=10096] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10096/stat : 10096 (java) S 10082 10084 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291546391 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044391527672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10097] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10097/stat : 10097 (java) S 10082 10084 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291546391 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044390474760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10098] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10098/stat : 10098 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044389423248 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10099] ppid=10082 vsize=9624980 CPUtime=0.4 cores=0,2,4,6
/proc/10084/task/10099/stat : 10099 (java) S 10082 10084 6647 0 -1 4202560 4140 0 0 0 40 0 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043649805240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10100] ppid=10082 vsize=9624980 CPUtime=0.8 cores=0,2,4,6
/proc/10084/task/10100/stat : 10100 (java) S 10082 10084 6647 0 -1 4202560 8419 0 0 0 78 2 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043648752440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10101] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10101/stat : 10101 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043647699832 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10102] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10102/stat : 10102 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043646647240 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10103] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10103/stat : 10103 (java) S 10082 10084 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291546405 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043645592744 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 19.38
Current children cumulated vsize (KiB) 9624980

[startup+18.3006 s]
/proc/loadavg: 2.03 2.05 2.01 4/214 10103
/proc/meminfo: memFree=30788356/32873844 swapFree=7632/7632
[pid=10084] ppid=10082 vsize=9624980 CPUtime=19.79 cores=0,2,4,6
/proc/10084/stat : 10084 (java) S 10082 10084 6647 0 -1 4202496 16369 0 1 0 1973 6 0 0 20 0 19 0 291546388 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140735889791840 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10084/statm: 2406245 14837 2276 9 0 2396937 0
[pid=10084/tid=10085] ppid=10082 vsize=9624980 CPUtime=17.4 cores=0,2,4,6
/proc/10084/task/10085/stat : 10085 (java) S 10082 10084 6647 0 -1 4202560 2521 0 1 0 1739 1 0 0 20 0 19 0 291546388 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044569076120 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10087] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10087/stat : 10087 (java) R 10082 10084 6647 0 -1 4202560 4 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044530567720 209887212604 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10084/tid=10088] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10088/stat : 10088 (java) R 10082 10084 6647 0 -1 4202560 6 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044529515048 209883794567 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10089] ppid=10082 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/10084/task/10089/stat : 10089 (java) S 10082 10084 6647 0 -1 4202560 9 0 0 0 5 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044528462120 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10090] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10090/stat : 10090 (java) S 10082 10084 6647 0 -1 4202560 9 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044527409320 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10091] ppid=10082 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/10084/task/10091/stat : 10091 (java) R 10082 10084 6647 0 -1 4202560 20 0 0 0 5 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044526357544 209883794567 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10092] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10092/stat : 10092 (java) R 10082 10084 6647 0 -1 4202560 5 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044525304744 140044576571632 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10093] ppid=10082 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/10084/task/10093/stat : 10093 (java) R 10082 10084 6647 0 -1 4202560 8 0 0 0 5 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044524252072 209883794567 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10084/tid=10094] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10094/stat : 10094 (java) R 10082 10084 6647 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044404779816 209883794567 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10095] ppid=10082 vsize=9624980 CPUtime=0.62 cores=0,2,4,6
/proc/10084/task/10095/stat : 10095 (java) S 10082 10084 6647 0 -1 4202560 40 0 0 0 62 0 0 0 20 0 19 0 291546390 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044392580584 209887212604 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10084/tid=10096] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10096/stat : 10096 (java) S 10082 10084 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291546391 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044391527672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10097] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10097/stat : 10097 (java) S 10082 10084 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291546391 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044390474760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10098] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10098/stat : 10098 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044389423248 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10099] ppid=10082 vsize=9624980 CPUtime=0.4 cores=0,2,4,6
/proc/10084/task/10099/stat : 10099 (java) S 10082 10084 6647 0 -1 4202560 4140 0 0 0 40 0 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043649805240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10100] ppid=10082 vsize=9624980 CPUtime=0.8 cores=0,2,4,6
/proc/10084/task/10100/stat : 10100 (java) S 10082 10084 6647 0 -1 4202560 8419 0 0 0 78 2 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043648752440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10101] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10101/stat : 10101 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043647699832 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10102] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10102/stat : 10102 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043646647240 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10103] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10103/stat : 10103 (java) S 10082 10084 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291546405 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043645592744 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 19.79
Current children cumulated vsize (KiB) 9624980

[startup+18.4006 s]
/proc/loadavg: 2.03 2.05 2.01 4/214 10103
/proc/meminfo: memFree=30788356/32873844 swapFree=7632/7632
[pid=10084] ppid=10082 vsize=9624980 CPUtime=19.89 cores=0,2,4,6
/proc/10084/stat : 10084 (java) S 10082 10084 6647 0 -1 4202496 16370 0 1 0 1983 6 0 0 20 0 19 0 291546388 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140735889791840 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10084/statm: 2406245 14837 2276 9 0 2396937 0
[pid=10084/tid=10085] ppid=10082 vsize=9624980 CPUtime=17.49 cores=0,2,4,6
/proc/10084/task/10085/stat : 10085 (java) R 10082 10084 6647 0 -1 4202560 2522 0 1 0 1748 1 0 0 20 0 19 0 291546388 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044569076000 140044405263233 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10087] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10087/stat : 10087 (java) S 10082 10084 6647 0 -1 4202560 4 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044530567720 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10084/tid=10088] ppid=10082 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/10084/task/10088/stat : 10088 (java) S 10082 10084 6647 0 -1 4202560 6 0 0 0 5 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044529514920 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10089] ppid=10082 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/10084/task/10089/stat : 10089 (java) S 10082 10084 6647 0 -1 4202560 9 0 0 0 5 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044528462120 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10090] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10090/stat : 10090 (java) S 10082 10084 6647 0 -1 4202560 9 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044527409320 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10091] ppid=10082 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/10084/task/10091/stat : 10091 (java) S 10082 10084 6647 0 -1 4202560 20 0 0 0 5 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044526357544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10092] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10092/stat : 10092 (java) S 10082 10084 6647 0 -1 4202560 5 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044525304744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10093] ppid=10082 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/10084/task/10093/stat : 10093 (java) S 10082 10084 6647 0 -1 4202560 8 0 0 0 5 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044524251944 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10084/tid=10094] ppid=10082 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/10084/task/10094/stat : 10094 (java) S 10082 10084 6647 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 19 0 291546389 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044404779688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10095] ppid=10082 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/10084/task/10095/stat : 10095 (java) S 10082 10084 6647 0 -1 4202560 40 0 0 0 63 0 0 0 20 0 19 0 291546390 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044392581608 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10084/tid=10096] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10096/stat : 10096 (java) S 10082 10084 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291546391 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044391527672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10097] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10097/stat : 10097 (java) S 10082 10084 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291546391 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044390474760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10098] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10098/stat : 10098 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140044389423248 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10099] ppid=10082 vsize=9624980 CPUtime=0.4 cores=0,2,4,6
/proc/10084/task/10099/stat : 10099 (java) S 10082 10084 6647 0 -1 4202560 4140 0 0 0 40 0 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043649805240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10084/tid=10100] ppid=10082 vsize=9624980 CPUtime=0.8 cores=0,2,4,6
/proc/10084/task/10100/stat : 10100 (java) S 10082 10084 6647 0 -1 4202560 8419 0 0 0 78 2 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043648752440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10101] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10101/stat : 10101 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043647699832 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10084/tid=10102] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10102/stat : 10102 (java) S 10082 10084 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546393 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043646647240 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10084/tid=10103] ppid=10082 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10084/task/10103/stat : 10103 (java) S 10082 10084 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291546405 9855979520 14837 33554432000 1073741824 1073778376 140735889800704 140043645592744 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 19.89
Current children cumulated vsize (KiB) 9624980

Child status: 30
Real time (s): 18.4189
CPU time (s): 19.95
CPU user time (s): 19.788
CPU system time (s): 0.161975
CPU usage (%): 108.312
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.788
system time used= 0.161975
maximum resident set size= 67576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16388
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= 2531
involuntary context switches= 2303

runsolver used 0.051992 second user time and 0.155976 second system time

The end

Launcher Data 

Begin job on node141 at 2012-05-29 03:17:01
IDJOB=3718443
IDBENCH=79233
IDSOLVER=2301
FILE ID=node141/3718443-1338254221
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.1111213868--soft-0-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718443-1338254221/watcher-3718443-1338254221 -o /tmp/evaluation-result-3718443-1338254221/solver-3718443-1338254221 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718443-1338254221.wbo

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

MD5SUM BENCH= 0635b24c475a73287c5e15439a6c459f
RANDOM SEED=382330071

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:        30793740 kB
Buffers:          230560 kB
Cached:           401648 kB
SwapCached:          220 kB
Active:          1181528 kB
Inactive:          27372 kB
Active(anon):     566696 kB
Inactive(anon):    12056 kB
Active(file):     614832 kB
Inactive(file):    15316 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108636 kB
Dirty:               152 kB
Writeback:             0 kB
AnonPages:        612084 kB
Mapped:            18276 kB
Shmem:               172 kB
Slab:             728852 kB
SReclaimable:     171132 kB
SUnreclaim:       557720 kB
KernelStack:        1688 kB
PageTables:         5072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     851056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    555008 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:17:19