Trace number 3718433

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 22.8005 20.6963

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972763--soft-0-100-0.wbo
MD5SUMc968c5c5686ce999c268d6dcbb002538
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.576912
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 1209
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.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.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3718433-1338254211.wbo
0.11/0.10	c reading problem ... 
0.11/0.15	c ... done. Wall clock time 0.054s.
0.11/0.15	c declared #vars     169
0.11/0.15	c internal #vars     270
0.11/0.15	c #constraints  101
0.11/0.15	c constraints type 
0.11/0.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.11/0.15	c ignored satisfied constraints => 1
0.11/0.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.11/0.15	c 102 constraints processed.
0.11/0.15	c objective function length is 101 literals
0.29/0.21	c SATISFIABLE
0.29/0.21	c OPTIMIZING...
0.29/0.21	c Got one! Elapsed wall clock time (in seconds):0.108
0.29/0.21	o 915
0.29/0.23	c Got one! Elapsed wall clock time (in seconds):0.129
0.29/0.23	o 679
0.29/0.24	c Got one! Elapsed wall clock time (in seconds):0.144
0.29/0.24	o 669
0.29/0.25	c Got one! Elapsed wall clock time (in seconds):0.153
0.29/0.25	o 664
0.29/0.27	c Got one! Elapsed wall clock time (in seconds):0.168
0.29/0.27	o 661
0.29/0.27	c Got one! Elapsed wall clock time (in seconds):0.173
0.29/0.27	o 636
0.29/0.28	c Got one! Elapsed wall clock time (in seconds):0.184
0.29/0.28	o 621
0.52/0.30	c Got one! Elapsed wall clock time (in seconds):0.197
0.52/0.30	o 619
0.52/0.31	c Got one! Elapsed wall clock time (in seconds):0.211
0.52/0.31	o 602
0.52/0.32	c Got one! Elapsed wall clock time (in seconds):0.218
0.52/0.32	o 599
0.52/0.33	c Got one! Elapsed wall clock time (in seconds):0.227
0.52/0.33	o 597
0.52/0.33	c Got one! Elapsed wall clock time (in seconds):0.235
0.52/0.33	o 592
0.52/0.34	c Got one! Elapsed wall clock time (in seconds):0.245
0.52/0.34	o 588
0.52/0.36	c Got one! Elapsed wall clock time (in seconds):0.266
0.52/0.37	o 581
0.52/0.38	c Got one! Elapsed wall clock time (in seconds):0.277
0.52/0.38	o 574
0.52/0.38	c Got one! Elapsed wall clock time (in seconds):0.282
0.52/0.38	o 573
0.52/0.39	c Got one! Elapsed wall clock time (in seconds):0.292
0.52/0.39	o 563
0.70/0.41	c Got one! Elapsed wall clock time (in seconds):0.308
0.70/0.41	o 554
0.70/0.43	c Got one! Elapsed wall clock time (in seconds):0.329
0.70/0.43	o 552
0.70/0.43	c Got one! Elapsed wall clock time (in seconds):0.333
0.70/0.43	o 511
0.70/0.44	c Got one! Elapsed wall clock time (in seconds):0.337
0.70/0.44	o 501
0.70/0.44	c Got one! Elapsed wall clock time (in seconds):0.345
0.70/0.44	o 493
0.70/0.45	c Got one! Elapsed wall clock time (in seconds):0.355
0.70/0.45	o 483
0.70/0.47	c Got one! Elapsed wall clock time (in seconds):0.37
0.70/0.47	o 479
0.70/0.50	c Got one! Elapsed wall clock time (in seconds):0.396
0.70/0.50	o 478
0.90/0.53	c Got one! Elapsed wall clock time (in seconds):0.43
0.90/0.53	o 466
0.90/0.54	c Got one! Elapsed wall clock time (in seconds):0.439
0.90/0.54	o 459
0.90/0.55	c Got one! Elapsed wall clock time (in seconds):0.448
0.90/0.55	o 455
0.90/0.56	c Got one! Elapsed wall clock time (in seconds):0.461
0.90/0.56	o 454
0.90/0.58	c Got one! Elapsed wall clock time (in seconds):0.477
0.90/0.58	o 448
1.10/0.61	c Got one! Elapsed wall clock time (in seconds):0.507
1.10/0.61	o 446
1.10/0.65	c Got one! Elapsed wall clock time (in seconds):0.548
1.10/0.65	o 432
1.22/0.70	c Got one! Elapsed wall clock time (in seconds):0.6
1.22/0.70	o 426
1.22/0.71	c Got one! Elapsed wall clock time (in seconds):0.607
1.22/0.71	o 424
1.22/0.71	c Got one! Elapsed wall clock time (in seconds):0.612
1.22/0.71	o 404
1.22/0.72	c Got one! Elapsed wall clock time (in seconds):0.622
1.22/0.72	o 383
1.22/0.73	c Got one! Elapsed wall clock time (in seconds):0.634
1.22/0.73	o 379
1.22/0.75	c Got one! Elapsed wall clock time (in seconds):0.652
1.22/0.75	o 367
1.22/0.78	c Got one! Elapsed wall clock time (in seconds):0.683
1.22/0.78	o 365
1.37/0.83	c Got one! Elapsed wall clock time (in seconds):0.728
1.37/0.83	o 359
1.50/0.91	c cleaning 8812 clauses out of 17643 with flag 4706/17643
1.60/1.03	c Got one! Elapsed wall clock time (in seconds):0.931
1.60/1.03	o 358
1.60/1.04	c Got one! Elapsed wall clock time (in seconds):0.938
1.60/1.04	o 350
1.60/1.05	c Got one! Elapsed wall clock time (in seconds):0.949
1.60/1.05	o 348
1.60/1.07	c Got one! Elapsed wall clock time (in seconds):0.968
1.60/1.07	o 329
1.60/1.10	c Got one! Elapsed wall clock time (in seconds):0.997
1.60/1.10	o 323
1.70/1.14	c Got one! Elapsed wall clock time (in seconds):1.037
1.70/1.14	o 246
1.70/1.19	c cleaning 8048 clauses out of 16113 with flag 5486/24925
1.81/1.23	c Got one! Elapsed wall clock time (in seconds):1.132
1.81/1.23	o 244
1.95/1.33	c Got one! Elapsed wall clock time (in seconds):1.227
1.95/1.33	o 219
2.05/1.44	c cleaning 7320 clauses out of 14653 with flag 14640/31513
2.05/1.46	c Got one! Elapsed wall clock time (in seconds):1.365
2.05/1.46	o 198
2.05/1.48	c Got one! Elapsed wall clock time (in seconds):1.383
2.05/1.48	o 195
2.20/1.55	c Got one! Elapsed wall clock time (in seconds):1.448
2.20/1.55	o 193
2.30/1.68	c Got one! Elapsed wall clock time (in seconds):1.578
2.30/1.68	o 192
2.40/1.72	c cleaning 7601 clauses out of 15229 with flag 5208/39409
2.50/1.83	c Got one! Elapsed wall clock time (in seconds):1.732
2.50/1.83	o 190
2.60/1.93	c cleaning 6617 clauses out of 13239 with flag 13538/45020
2.81/2.11	c Got one! Elapsed wall clock time (in seconds):2.007
2.81/2.11	o 183
2.81/2.15	c cleaning 6061 clauses out of 12141 with flag 4159/50539
2.81/2.17	c Got one! Elapsed wall clock time (in seconds):2.07
2.81/2.17	o 182
2.91/2.22	c Got one! Elapsed wall clock time (in seconds):2.124
2.91/2.22	o 181
3.00/2.36	c cleaning 6075 clauses out of 12174 with flag 17319/56633
3.20/2.53	c Got one! Elapsed wall clock time (in seconds):2.426
3.20/2.53	o 179
3.20/2.56	c cleaning 5761 clauses out of 11542 with flag 4947/62076
3.40/2.73	c Got one! Elapsed wall clock time (in seconds):2.626
3.40/2.73	o 177
3.62/2.91	c cleaning 8023 clauses out of 16066 with flag 26442/72361
3.73/3.00	c Got one! Elapsed wall clock time (in seconds):2.902
3.73/3.00	o 173
3.73/3.03	c Got one! Elapsed wall clock time (in seconds):2.929
3.73/3.03	o 172
3.73/3.07	c Got one! Elapsed wall clock time (in seconds):2.974
3.73/3.07	o 171
3.83/3.16	c cleaning 7392 clauses out of 14794 with flag 9759/79112
3.83/3.17	c Got one! Elapsed wall clock time (in seconds):3.069
3.83/3.17	o 166
4.04/3.30	c Got one! Elapsed wall clock time (in seconds):3.204
4.04/3.30	o 165
4.04/3.38	c cleaning 6695 clauses out of 13410 with flag 10228/85120
4.14/3.42	c Got one! Elapsed wall clock time (in seconds):3.322
4.14/3.42	o 148
4.24/3.55	c cleaning 5985 clauses out of 11985 with flag 21312/90390
4.44/3.79	c cleaning 5991 clauses out of 12000 with flag 49796/96390
4.64/3.97	c Got one! Elapsed wall clock time (in seconds):3.867
4.64/3.97	o 147
4.74/4.00	c cleaning 5737 clauses out of 11484 with flag 4921/101865
4.84/4.20	c cleaning 5859 clauses out of 11745 with flag 34793/107863
5.05/4.39	c Got one! Elapsed wall clock time (in seconds):4.287
5.05/4.39	o 145
5.15/4.41	c Got one! Elapsed wall clock time (in seconds):4.314
5.15/4.41	o 115
5.15/4.49	c Got one! Elapsed wall clock time (in seconds):4.386
5.15/4.49	o 114
5.24/4.53	c Got one! Elapsed wall clock time (in seconds):4.43
5.24/4.53	o 113
5.51/4.70	c cleaning 9159 clauses out of 18318 with flag 14621/120295
5.51/4.76	c Got one! Elapsed wall clock time (in seconds):4.663
5.51/4.76	o 108
5.93/4.93	c cleaning 7169 clauses out of 14341 with flag 20750/125477
5.93/4.96	c Got one! Elapsed wall clock time (in seconds):4.864
5.93/4.96	o 105
6.32/5.14	c cleaning 6464 clauses out of 12935 with flag 25270/131240
6.69/5.38	c cleaning 6235 clauses out of 12474 with flag 51534/137243
7.09/5.52	c Got one! Elapsed wall clock time (in seconds):5.417
7.09/5.52	o 103
7.09/5.59	c cleaning 5809 clauses out of 11640 with flag 10753/142644
7.28/5.79	c cleaning 5912 clauses out of 11830 with flag 42233/148643
7.59/6.05	c cleaning 6448 clauses out of 12922 with flag 77981/155647
7.79/6.24	c Got one! Elapsed wall clock time (in seconds):6.142
7.79/6.24	o 102
7.79/6.28	c cleaning 6094 clauses out of 12194 with flag 5175/161367
7.99/6.49	c cleaning 6039 clauses out of 12102 with flag 37647/167369
8.20/6.65	c Got one! Elapsed wall clock time (in seconds):6.549
8.20/6.65	o 94
8.20/6.66	c Got one! Elapsed wall clock time (in seconds):6.564
8.20/6.66	o 89
8.30/6.70	c Got one! Elapsed wall clock time (in seconds):6.604
8.30/6.70	o 85
8.30/6.75	c cleaning 6527 clauses out of 13069 with flag 5397/174375
8.42/6.85	c Got one! Elapsed wall clock time (in seconds):6.746
8.42/6.85	o 84
8.52/6.96	c cleaning 5945 clauses out of 11894 with flag 13200/179727
8.52/6.99	c Got one! Elapsed wall clock time (in seconds):6.894
8.52/6.99	o 82
8.74/7.11	c Got one! Elapsed wall clock time (in seconds):7.013
8.74/7.11	o 72
8.74/7.18	c cleaning 6230 clauses out of 12469 with flag 11345/186247
8.84/7.28	c Got one! Elapsed wall clock time (in seconds):7.184
8.84/7.28	o 58
8.94/7.40	c cleaning 6009 clauses out of 12037 with flag 17334/192045
9.25/7.62	c cleaning 6009 clauses out of 12026 with flag 51025/198043
9.44/7.84	c cleaning 6505 clauses out of 13019 with flag 76620/205045
9.64/8.07	c Got one! Elapsed wall clock time (in seconds):7.975
9.64/8.07	o 55
9.84/8.25	c cleaning 9020 clauses out of 18064 with flag 27596/216595
10.04/8.47	c cleaning 7509 clauses out of 15043 with flag 59875/222594
10.35/8.73	c cleaning 7258 clauses out of 14534 with flag 97509/229594
10.35/8.78	c Got one! Elapsed wall clock time (in seconds):8.678
10.35/8.78	o 54
10.56/8.93	c cleaning 6219 clauses out of 12442 with flag 23149/234760
10.76/9.13	c cleaning 6099 clauses out of 12222 with flag 54077/240759
10.96/9.37	c cleaning 6550 clauses out of 13122 with flag 89420/247758
11.26/9.65	c cleaning 7278 clauses out of 14574 with flag 131787/255760
11.36/9.78	c Got one! Elapsed wall clock time (in seconds):9.678
11.36/9.78	o 53
11.47/9.82	c Got one! Elapsed wall clock time (in seconds):9.716
11.47/9.82	o 52
11.47/9.86	c cleaning 6601 clauses out of 13220 with flag 5159/261684
11.57/9.90	c Got one! Elapsed wall clock time (in seconds):9.803
11.57/9.90	o 49
11.68/10.03	c cleaning 5855 clauses out of 11712 with flag 18545/266777
11.68/10.08	c Got one! Elapsed wall clock time (in seconds):9.984
11.68/10.08	o 47
11.89/10.21	c cleaning 5611 clauses out of 11225 with flag 20468/272145
11.99/10.31	c Got one! Elapsed wall clock time (in seconds):10.215
11.99/10.31	o 46
12.09/10.42	c cleaning 5760 clauses out of 11529 with flag 14364/278060
12.31/10.62	c cleaning 5878 clauses out of 11769 with flag 36764/284060
12.51/10.80	c Got one! Elapsed wall clock time (in seconds):10.705
12.51/10.80	o 44
12.61/10.98	c cleaning 8652 clauses out of 17327 with flag 27624/295496
12.82/11.13	c Got one! Elapsed wall clock time (in seconds):11.029
12.82/11.13	o 39
12.82/11.18	c cleaning 6983 clauses out of 13976 with flag 6055/300797
13.12/11.41	c cleaning 6494 clauses out of 12993 with flag 40987/306797
13.34/11.68	c cleaning 6733 clauses out of 13499 with flag 81488/313797
13.54/11.85	c Got one! Elapsed wall clock time (in seconds):11.75
13.54/11.85	o 36
13.76/12.04	c cleaning 8744 clauses out of 17500 with flag 26386/324531
13.95/12.25	c cleaning 7369 clauses out of 14756 with flag 58486/330531
14.25/12.51	c cleaning 7178 clauses out of 14390 with flag 97976/337534
14.60/12.81	c cleaning 7592 clauses out of 15208 with flag 140861/345530
14.60/12.89	c Got one! Elapsed wall clock time (in seconds):12.792
14.60/12.89	o 35
14.81/13.01	c cleaning 6544 clauses out of 13101 with flag 17731/351015
15.04/13.24	c cleaning 6272 clauses out of 12558 with flag 52821/357016
15.23/13.48	c cleaning 6636 clauses out of 13288 with flag 90097/364018
15.55/13.75	c cleaning 7320 clauses out of 14651 with flag 127586/372017
15.86/14.05	c cleaning 8156 clauses out of 16329 with flag 169330/381015
16.19/14.39	c cleaning 9087 clauses out of 18173 with flag 217684/391015
16.58/14.77	c cleaning 10041 clauses out of 20086 with flag 270163/402015
16.98/15.11	c Got one! Elapsed wall clock time (in seconds):15.012
16.98/15.11	o 31
17.19/15.32	c cleaning 12533 clauses out of 25070 with flag 28123/417040
17.39/15.51	c cleaning 9267 clauses out of 18537 with flag 53342/423040
17.60/15.73	c cleaning 8130 clauses out of 16269 with flag 82876/430039
17.80/15.94	c Got one! Elapsed wall clock time (in seconds):15.838
17.80/15.94	o 15
18.00/16.13	c cleaning 10121 clauses out of 20271 with flag 28638/442171
18.20/16.36	c cleaning 8059 clauses out of 16151 with flag 64203/448172
18.31/16.42	c Got one! Elapsed wall clock time (in seconds):16.321
18.31/16.42	o 14
18.41/16.57	c cleaning 6915 clauses out of 13856 with flag 24820/453936
18.61/16.79	c cleaning 6454 clauses out of 12941 with flag 58227/459936
18.91/17.03	c cleaning 6737 clauses out of 13487 with flag 95026/466936
19.21/17.31	c cleaning 7366 clauses out of 14750 with flag 138183/474936
19.57/17.61	c cleaning 8188 clauses out of 16384 with flag 183043/483936
19.86/17.93	c cleaning 9089 clauses out of 18195 with flag 230353/493937
20.17/18.27	c cleaning 10047 clauses out of 20104 with flag 280462/504936
20.62/18.66	c cleaning 11018 clauses out of 22054 with flag 335483/516936
20.81/18.83	c Got one! Elapsed wall clock time (in seconds):18.729
20.81/18.83	o 12
21.01/19.04	c cleaning 10868 clauses out of 21751 with flag 31142/527651
21.21/19.28	c cleaning 8436 clauses out of 16884 with flag 66728/533652
21.52/19.54	c cleaning 7717 clauses out of 15449 with flag 106516/540653
21.82/19.82	c cleaning 7853 clauses out of 15729 with flag 153414/548650
22.12/20.14	c cleaning 8430 clauses out of 16877 with flag 204261/557651
22.43/20.42	c Got one! Elapsed wall clock time (in seconds):20.317
22.43/20.42	o 11
22.63/20.63	c cleaning 11332 clauses out of 22676 with flag 28516/571881
22.63/20.67	c Got one! Elapsed wall clock time (in seconds):20.57
22.63/20.67	o 1
22.63/20.68	c starts		: 249
22.63/20.68	c conflicts		: 572946
22.63/20.68	c decisions		: 902995
22.63/20.68	c propagations		: 13600387
22.63/20.68	c inspects		: 148161524
22.63/20.68	c shortcuts		: 0
22.63/20.68	c learnt literals	: 7
22.63/20.68	c learnt binary clauses	: 45
22.63/20.68	c learnt ternary clauses	: 920
22.63/20.68	c learnt constraints	: 572939
22.63/20.68	c ignored constraints	: 0
22.63/20.68	c root simplifications	: 0
22.63/20.68	c removed literals (reason simplification)	: 0
22.63/20.68	c reason swapping (by a shorter reason)	: 0
22.63/20.68	c Calls to reduceDB	: 76
22.63/20.68	c Number of update (reduction) of LBD	: 168321
22.63/20.68	c number of reductions to clauses (during analyze)	: 0
22.63/20.68	c number of learned constraints concerned by reduction	: 0
22.63/20.68	c number of learning phase by resolution	: 0
22.63/20.68	c number of learning phase by cutting planes	: 0
22.63/20.68	c speed (assignments/second)	: 662819.1919684196
22.63/20.68	c non guided choices	5332
22.63/20.68	c learnt constraints type 
22.63/20.68	c constraints type 
22.63/20.68	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
22.63/20.68	c ignored satisfied constraints => 1
22.63/20.68	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
22.63/20.68	c 102 constraints processed.
22.63/20.68	s OPTIMUM FOUND
22.63/20.68	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 
22.63/20.68	c objective function=1
22.63/20.68	c Total wall clock time (in seconds): 20.579

Verifier Data

OK	1

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-3718433-1338254211/watcher-3718433-1338254211 -o /tmp/evaluation-result-3718433-1338254211/solver-3718433-1338254211 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718433-1338254211.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: 1.96 2.00 1.99 3/194 3978
/proc/meminfo: memFree=30433164/32873648 swapFree=7112/7112
[pid=3978] ppid=3976 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/3978/stat : 3978 (java) S 3976 3978 919 0 -1 4202496 1215 0 0 0 0 0 0 0 20 0 2 0 291546982 95129600 926 33554432000 1073741824 1073778376 140736722448464 140736722439600 242170757181 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3978/statm: 23225 926 703 9 0 16769 0
[pid=3978/tid=3979] ppid=3976 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3979/stat : 3979 (java) D 3976 3978 919 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 291546983 95129600 926 33554432000 1073741824 1073778376 140736722448464 140341491555880 242158234919 0 0 4096 0 18446744072100609316 0 0 -1 0 0 0 0 0 0

[startup+0.0964359 s]
/proc/loadavg: 1.96 2.00 1.99 3/194 3978
/proc/meminfo: memFree=30433164/32873648 swapFree=7112/7112
[pid=3978] ppid=3976 vsize=9558416 CPUtime=0.1 cores=0,2,4,6
/proc/3978/stat : 3978 (java) S 3976 3978 919 0 -1 4202496 4409 0 1 0 9 1 0 0 20 0 18 0 291546982 9787817984 6120 33554432000 1073741824 1073778376 140736722448464 140736722439600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3978/statm: 2389604 6120 2124 9 0 2380296 0
[pid=3978/tid=3979] ppid=3976 vsize=9558416 CPUtime=0.07 cores=0,2,4,6
/proc/3978/task/3979/stat : 3979 (java) R 3976 3978 919 0 -1 4202560 2429 0 1 0 7 0 0 0 20 0 18 0 291546983 9787817984 6120 33554432000 1073741824 1073778376 140736722448464 140341491561024 242170782989 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.100238 s]
/proc/loadavg: 1.96 2.00 1.99 3/194 3978
/proc/meminfo: memFree=30433164/32873648 swapFree=7112/7112
[pid=3978] ppid=3976 vsize=9558416 CPUtime=0.11 cores=0,2,4,6
/proc/3978/stat : 3978 (java) S 3976 3978 919 0 -1 4202496 4445 0 1 0 10 1 0 0 20 0 18 0 291546982 9787817984 6117 33554432000 1073741824 1073778376 140736722448464 140736722439600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3978/statm: 2389604 6117 2139 9 0 2380296 0
[pid=3978/tid=3979] ppid=3976 vsize=9558416 CPUtime=0.08 cores=0,2,4,6
/proc/3978/task/3979/stat : 3979 (java) R 3976 3978 919 0 -1 4202560 2429 0 1 0 8 0 0 0 20 0 18 0 291546983 9787817984 6117 33554432000 1073741824 1073778376 140736722448464 140341491561024 140341489437794 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558416

[startup+0.300196 s]
/proc/loadavg: 1.96 2.00 1.99 3/194 3978
/proc/meminfo: memFree=30433164/32873648 swapFree=7112/7112
[pid=3978] ppid=3976 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/3978/stat : 3978 (java) S 3976 3978 919 0 -1 4202496 6442 0 1 0 51 1 0 0 20 0 19 0 291546982 9855979520 7962 33554432000 1073741824 1073778376 140736722448464 140736722439600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3978/statm: 2406245 7962 2233 9 0 2396937 0
[pid=3978/tid=3979] ppid=3976 vsize=9624980 CPUtime=0.28 cores=0,2,4,6
/proc/3978/task/3979/stat : 3979 (java) R 3976 3978 919 0 -1 4202560 2451 0 1 0 28 0 0 0 20 0 19 0 291546983 9855979520 7962 33554432000 1073741824 1073778376 140736722448464 140341491560792 140341361962639 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.700195 s]
/proc/loadavg: 1.96 2.00 1.99 3/194 3978
/proc/meminfo: memFree=30433164/32873648 swapFree=7112/7112
[pid=3978] ppid=3976 vsize=9624980 CPUtime=1.22 cores=0,2,4,6
/proc/3978/stat : 3978 (java) S 3976 3978 919 0 -1 4202496 10775 0 1 0 120 2 0 0 20 0 19 0 291546982 9855979520 11721 33554432000 1073741824 1073778376 140736722448464 140736722439600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3978/statm: 2406245 11721 2243 9 0 2396937 0
[pid=3978/tid=3979] ppid=3976 vsize=9624980 CPUtime=0.68 cores=0,2,4,6
/proc/3978/task/3979/stat : 3979 (java) R 3976 3978 919 0 -1 4202560 2454 0 1 0 68 0 0 0 20 0 19 0 291546983 9855979520 11721 33554432000 1073741824 1073778376 140736722448464 140341491552704 140341361963777 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 9624980

[startup+1.50062 s]
/proc/loadavg: 1.96 2.00 1.99 3/213 3997
/proc/meminfo: memFree=30382500/32873648 swapFree=7112/7112
[pid=3978] ppid=3976 vsize=9624980 CPUtime=2.2 cores=0,2,4,6
/proc/3978/stat : 3978 (java) S 3976 3978 919 0 -1 4202496 11293 0 1 0 218 2 0 0 20 0 19 0 291546982 9855979520 15448 33554432000 1073741824 1073778376 140736722448464 140736722439600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3978/statm: 2406245 15448 2273 9 0 2396937 0
[pid=3978/tid=3979] ppid=3976 vsize=9624980 CPUtime=1.45 cores=0,2,4,6
/proc/3978/task/3979/stat : 3979 (java) R 3976 3978 919 0 -1 4202560 2461 0 1 0 143 2 0 0 20 0 19 0 291546983 9855979520 15448 33554432000 1073741824 1073778376 140736722448464 140341491560856 140341362004181 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3981] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3981/stat : 3981 (java) S 3976 3978 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 15448 33554432000 1073741824 1073778376 140736722448464 140341480622888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3982] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3982/stat : 3982 (java) S 3976 3978 919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 15448 33554432000 1073741824 1073778376 140736722448464 140341333932712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3983] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3983/stat : 3983 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 15448 33554432000 1073741824 1073778376 140736722448464 140341332880424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3984] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3984/stat : 3984 (java) S 3976 3978 919 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 15448 33554432000 1073741824 1073778376 140736722448464 140341331827624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3985] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3985/stat : 3985 (java) S 3976 3978 919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 15448 33554432000 1073741824 1073778376 140736722448464 140341330774312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3986] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3986/stat : 3986 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 15448 33554432000 1073741824 1073778376 140736722448464 140341329721512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3987] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3987/stat : 3987 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 15448 33554432000 1073741824 1073778376 140736722448464 140341328669224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3988] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3988/stat : 3988 (java) S 3976 3978 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 15448 33554432000 1073741824 1073778376 140736722448464 140341327616424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3989] ppid=3976 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/3978/task/3989/stat : 3989 (java) S 3976 3978 919 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 291546985 9855979520 15448 33554432000 1073741824 1073778376 140736722448464 140341315418856 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3990] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3990/stat : 3990 (java) S 3976 3978 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291546985 9855979520 15448 33554432000 1073741824 1073778376 140736722448464 140341314364920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3991] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3991/stat : 3991 (java) S 3976 3978 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291546985 9855979520 15448 33554432000 1073741824 1073778376 140736722448464 140341313312520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3992] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3992/stat : 3992 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546987 9855979520 15448 33554432000 1073741824 1073778376 140736722448464 140341312261008 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3993] ppid=3976 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/3978/task/3993/stat : 3993 (java) S 3976 3978 919 0 -1 4202560 2794 0 0 0 29 0 0 0 20 0 19 0 291546987 9855979520 15448 33554432000 1073741824 1073778376 140736722448464 140341311207608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3994] ppid=3976 vsize=9624980 CPUtime=0.38 cores=0,2,4,6
/proc/3978/task/3994/stat : 3994 (java) S 3976 3978 919 0 -1 4202560 4794 0 0 0 38 0 0 0 20 0 19 0 291546987 9855979520 15448 33554432000 1073741824 1073778376 140736722448464 140341310154808 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3995] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3995/stat : 3995 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546987 9855979520 15448 33554432000 1073741824 1073778376 140736722448464 140341309102712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3996] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3996/stat : 3996 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546987 9855979520 15448 33554432000 1073741824 1073778376 140736722448464 140341308050120 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3997] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3997/stat : 3997 (java) S 3976 3978 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291546999 9855979520 15448 33554432000 1073741824 1073778376 140736722448464 140341306996136 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 9624980

[startup+3.10064 s]
/proc/loadavg: 1.96 2.00 1.99 3/213 3997
/proc/meminfo: memFree=30379708/32873648 swapFree=7112/7112
[pid=3978] ppid=3976 vsize=9624980 CPUtime=3.83 cores=0,2,4,6
/proc/3978/stat : 3978 (java) S 3976 3978 919 0 -1 4202496 11307 0 1 0 381 2 0 0 20 0 19 0 291546982 9855979520 15456 33554432000 1073741824 1073778376 140736722448464 140736722439600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3978/statm: 2406245 15456 2274 9 0 2396937 0
[pid=3978/tid=3979] ppid=3976 vsize=9624980 CPUtime=2.98 cores=0,2,4,6
/proc/3978/task/3979/stat : 3979 (java) R 3976 3978 919 0 -1 4202560 2467 0 1 0 296 2 0 0 20 0 19 0 291546983 9855979520 15456 33554432000 1073741824 1073778376 140736722448464 140341491560856 140341362009672 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3981] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3981/stat : 3981 (java) S 3976 3978 919 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 15456 33554432000 1073741824 1073778376 140736722448464 140341480622888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3982] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3982/stat : 3982 (java) S 3976 3978 919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 15456 33554432000 1073741824 1073778376 140736722448464 140341333932712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3983] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3983/stat : 3983 (java) S 3976 3978 919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 15456 33554432000 1073741824 1073778376 140736722448464 140341332880424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3984] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3984/stat : 3984 (java) S 3976 3978 919 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 15456 33554432000 1073741824 1073778376 140736722448464 140341331827624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3985] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3985/stat : 3985 (java) S 3976 3978 919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 15456 33554432000 1073741824 1073778376 140736722448464 140341330774312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3986] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3986/stat : 3986 (java) S 3976 3978 919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 15456 33554432000 1073741824 1073778376 140736722448464 140341329721512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3987] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3987/stat : 3987 (java) S 3976 3978 919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 15456 33554432000 1073741824 1073778376 140736722448464 140341328669224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3988] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3988/stat : 3988 (java) S 3976 3978 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 15456 33554432000 1073741824 1073778376 140736722448464 140341327616424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3989] ppid=3976 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/3978/task/3989/stat : 3989 (java) S 3976 3978 919 0 -1 4202560 31 0 0 0 7 0 0 0 20 0 19 0 291546985 9855979520 15456 33554432000 1073741824 1073778376 140736722448464 140341315418856 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3990] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3990/stat : 3990 (java) S 3976 3978 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291546985 9855979520 15456 33554432000 1073741824 1073778376 140736722448464 140341314364920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3991] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3991/stat : 3991 (java) S 3976 3978 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291546985 9855979520 15456 33554432000 1073741824 1073778376 140736722448464 140341313312520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3992] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3992/stat : 3992 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546987 9855979520 15456 33554432000 1073741824 1073778376 140736722448464 140341312261008 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3993] ppid=3976 vsize=9624980 CPUtime=0.31 cores=0,2,4,6
/proc/3978/task/3993/stat : 3993 (java) S 3976 3978 919 0 -1 4202560 2795 0 0 0 31 0 0 0 20 0 19 0 291546987 9855979520 15456 33554432000 1073741824 1073778376 140736722448464 140341311207608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3994] ppid=3976 vsize=9624980 CPUtime=0.39 cores=0,2,4,6
/proc/3978/task/3994/stat : 3994 (java) S 3976 3978 919 0 -1 4202560 4794 0 0 0 39 0 0 0 20 0 19 0 291546987 9855979520 15456 33554432000 1073741824 1073778376 140736722448464 140341310154808 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3995] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3995/stat : 3995 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546987 9855979520 15456 33554432000 1073741824 1073778376 140736722448464 140341309102712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3996] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3996/stat : 3996 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546987 9855979520 15456 33554432000 1073741824 1073778376 140736722448464 140341308050120 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3997] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3997/stat : 3997 (java) S 3976 3978 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291546999 9855979520 15456 33554432000 1073741824 1073778376 140736722448464 140341306996136 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 9624980

[startup+6.30061 s]
/proc/loadavg: 1.96 2.00 1.99 4/213 3997
/proc/meminfo: memFree=30361728/32873648 swapFree=7112/7112
[pid=3978] ppid=3976 vsize=9624980 CPUtime=7.89 cores=0,2,4,6
/proc/3978/stat : 3978 (java) S 3976 3978 919 0 -1 4202496 20058 0 1 0 785 4 0 0 20 0 19 0 291546982 9855979520 19425 33554432000 1073741824 1073778376 140736722448464 140736722439600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3978/statm: 2406245 19425 2274 9 0 2396937 0
[pid=3978/tid=3979] ppid=3976 vsize=9624980 CPUtime=6.04 cores=0,2,4,6
/proc/3978/task/3979/stat : 3979 (java) R 3976 3978 919 0 -1 4202560 2481 0 1 0 602 2 0 0 20 0 19 0 291546983 9855979520 19425 33554432000 1073741824 1073778376 140736722448464 140341491560856 140341361948096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3981] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3981/stat : 3981 (java) S 3976 3978 919 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 19425 33554432000 1073741824 1073778376 140736722448464 140341480622888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3982] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3982/stat : 3982 (java) S 3976 3978 919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 19425 33554432000 1073741824 1073778376 140736722448464 140341333932712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3983] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3983/stat : 3983 (java) S 3976 3978 919 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 19425 33554432000 1073741824 1073778376 140736722448464 140341332880424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3984] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3984/stat : 3984 (java) S 3976 3978 919 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 19425 33554432000 1073741824 1073778376 140736722448464 140341331827624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3985] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3985/stat : 3985 (java) S 3976 3978 919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 19425 33554432000 1073741824 1073778376 140736722448464 140341330774312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3986] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3986/stat : 3986 (java) S 3976 3978 919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 19425 33554432000 1073741824 1073778376 140736722448464 140341329721512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3987] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3987/stat : 3987 (java) S 3976 3978 919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 19425 33554432000 1073741824 1073778376 140736722448464 140341328669224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3988] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3988/stat : 3988 (java) S 3976 3978 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291546984 9855979520 19425 33554432000 1073741824 1073778376 140736722448464 140341327616424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3989] ppid=3976 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/3978/task/3989/stat : 3989 (java) S 3976 3978 919 0 -1 4202560 48 0 0 0 19 0 0 0 20 0 19 0 291546985 9855979520 19425 33554432000 1073741824 1073778376 140736722448464 140341315418856 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3990] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3990/stat : 3990 (java) S 3976 3978 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291546985 9855979520 19425 33554432000 1073741824 1073778376 140736722448464 140341314364920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3991] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3991/stat : 3991 (java) S 3976 3978 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291546985 9855979520 19425 33554432000 1073741824 1073778376 140736722448464 140341313312520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3992] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3992/stat : 3992 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546987 9855979520 19425 33554432000 1073741824 1073778376 140736722448464 140341312261008 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3993] ppid=3976 vsize=9624980 CPUtime=1.09 cores=0,2,4,6
/proc/3978/task/3993/stat : 3993 (java) S 3976 3978 919 0 -1 4202560 11500 0 0 0 107 2 0 0 20 0 19 0 291546987 9855979520 19425 33554432000 1073741824 1073778376 140736722448464 140341311207608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3994] ppid=3976 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/3978/task/3994/stat : 3994 (java) S 3976 3978 919 0 -1 4202560 4801 0 0 0 45 0 0 0 20 0 19 0 291546987 9855979520 19425 33554432000 1073741824 1073778376 140736722448464 140341310154808 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

/proc/3978/task/3981/stat : 3981 (java) S 3976 3978 919 0 -1 4202560 14 0 0 0 6 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341480622888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3982] ppid=3976 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/3978/task/3982/stat : 3982 (java) S 3976 3978 919 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341333932712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3983] ppid=3976 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/3978/task/3983/stat : 3983 (java) S 3976 3978 919 0 -1 4202560 19 0 0 0 7 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341332880424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3984] ppid=3976 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/3978/task/3984/stat : 3984 (java) S 3976 3978 919 0 -1 4202560 15 0 0 0 5 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341331827624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3985] ppid=3976 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/3978/task/3985/stat : 3985 (java) S 3976 3978 919 0 -1 4202560 5 0 0 0 6 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341330774312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3986] ppid=3976 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/3978/task/3986/stat : 3986 (java) S 3976 3978 919 0 -1 4202560 5 0 0 0 6 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341329721512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3987] ppid=3976 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/3978/task/3987/stat : 3987 (java) S 3976 3978 919 0 -1 4202560 5 0 0 0 6 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341328669224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3988] ppid=3976 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/3978/task/3988/stat : 3988 (java) S 3976 3978 919 0 -1 4202560 10 0 0 0 8 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341327616424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3989] ppid=3976 vsize=9624980 CPUtime=0.68 cores=0,2,4,6
/proc/3978/task/3989/stat : 3989 (java) S 3976 3978 919 0 -1 4202560 48 0 0 0 68 0 0 0 20 0 19 0 291546985 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341315418856 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3990] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3990/stat : 3990 (java) S 3976 3978 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291546985 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341314364920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3991] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3991/stat : 3991 (java) S 3976 3978 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291546985 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341313312520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3992] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3992/stat : 3992 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341312261008 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3993] ppid=3976 vsize=9624980 CPUtime=1.13 cores=0,2,4,6
/proc/3978/task/3993/stat : 3993 (java) S 3976 3978 919 0 -1 4202560 11500 0 0 0 111 2 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341311207608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3994] ppid=3976 vsize=9624980 CPUtime=0.48 cores=0,2,4,6
/proc/3978/task/3994/stat : 3994 (java) S 3976 3978 919 0 -1 4202560 4801 0 0 0 48 0 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341310154808 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3995] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3995/stat : 3995 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341309102712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3996] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3996/stat : 3996 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341308050120 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3997] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3997/stat : 3997 (java) S 3976 3978 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291546999 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341306996136 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 21.92
Current children cumulated vsize (KiB) 9624980

[startup+20.3006 s]
/proc/loadavg: 1.97 2.00 1.99 3/213 3997
/proc/meminfo: memFree=30355816/32873648 swapFree=7112/7112
[pid=3978] ppid=3976 vsize=9624980 CPUtime=22.33 cores=0,2,4,6
/proc/3978/stat : 3978 (java) S 3976 3978 919 0 -1 4202496 20143 0 1 0 2228 5 0 0 20 0 19 0 291546982 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140736722439600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3978/statm: 2406245 17305 2274 9 0 2396937 0
[pid=3978/tid=3979] ppid=3976 vsize=9624980 CPUtime=19.37 cores=0,2,4,6
/proc/3978/task/3979/stat : 3979 (java) R 3976 3978 919 0 -1 4202560 2533 0 1 0 1935 2 0 0 20 0 19 0 291546983 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341491560736 140341362009672 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3981] ppid=3976 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/3978/task/3981/stat : 3981 (java) S 3976 3978 919 0 -1 4202560 14 0 0 0 6 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341480622888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3982] ppid=3976 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/3978/task/3982/stat : 3982 (java) S 3976 3978 919 0 -1 4202560 8 0 0 0 5 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341333932712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3983] ppid=3976 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/3978/task/3983/stat : 3983 (java) S 3976 3978 919 0 -1 4202560 19 0 0 0 7 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341332880424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3984] ppid=3976 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/3978/task/3984/stat : 3984 (java) S 3976 3978 919 0 -1 4202560 15 0 0 0 6 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341331827624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3985] ppid=3976 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/3978/task/3985/stat : 3985 (java) S 3976 3978 919 0 -1 4202560 5 0 0 0 6 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341330774312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3986] ppid=3976 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/3978/task/3986/stat : 3986 (java) S 3976 3978 919 0 -1 4202560 5 0 0 0 6 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341329721512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3987] ppid=3976 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/3978/task/3987/stat : 3987 (java) S 3976 3978 919 0 -1 4202560 5 0 0 0 6 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341328669224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3988] ppid=3976 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/3978/task/3988/stat : 3988 (java) S 3976 3978 919 0 -1 4202560 10 0 0 0 8 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341327616424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3989] ppid=3976 vsize=9624980 CPUtime=0.69 cores=0,2,4,6
/proc/3978/task/3989/stat : 3989 (java) S 3976 3978 919 0 -1 4202560 48 0 0 0 69 0 0 0 20 0 19 0 291546985 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341315418856 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3990] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3990/stat : 3990 (java) S 3976 3978 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291546985 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341314364920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3991] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3991/stat : 3991 (java) S 3976 3978 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291546985 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341313312520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3992] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3992/stat : 3992 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341312261008 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3993] ppid=3976 vsize=9624980 CPUtime=1.13 cores=0,2,4,6
/proc/3978/task/3993/stat : 3993 (java) S 3976 3978 919 0 -1 4202560 11500 0 0 0 111 2 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341311207608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3994] ppid=3976 vsize=9624980 CPUtime=0.48 cores=0,2,4,6
/proc/3978/task/3994/stat : 3994 (java) S 3976 3978 919 0 -1 4202560 4801 0 0 0 48 0 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341310154808 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3995] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3995/stat : 3995 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341309102712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3996] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3996/stat : 3996 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341308050120 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3997] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3997/stat : 3997 (java) S 3976 3978 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291546999 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341306996136 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 22.33
Current children cumulated vsize (KiB) 9624980

[startup+20.5005 s]
/proc/loadavg: 1.97 2.00 1.99 3/213 3997
/proc/meminfo: memFree=30355816/32873648 swapFree=7112/7112
[pid=3978] ppid=3976 vsize=9624980 CPUtime=22.53 cores=0,2,4,6
/proc/3978/stat : 3978 (java) S 3976 3978 919 0 -1 4202496 20143 0 1 0 2248 5 0 0 20 0 19 0 291546982 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140736722439600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3978/statm: 2406245 17305 2274 9 0 2396937 0
[pid=3978/tid=3979] ppid=3976 vsize=9624980 CPUtime=19.57 cores=0,2,4,6
/proc/3978/task/3979/stat : 3979 (java) R 3976 3978 919 0 -1 4202560 2533 0 1 0 1955 2 0 0 20 0 19 0 291546983 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341491552704 140341361948096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3981] ppid=3976 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/3978/task/3981/stat : 3981 (java) S 3976 3978 919 0 -1 4202560 14 0 0 0 6 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341480622888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3982] ppid=3976 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/3978/task/3982/stat : 3982 (java) S 3976 3978 919 0 -1 4202560 8 0 0 0 5 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341333932712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3983] ppid=3976 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/3978/task/3983/stat : 3983 (java) S 3976 3978 919 0 -1 4202560 19 0 0 0 7 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341332880424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3984] ppid=3976 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/3978/task/3984/stat : 3984 (java) S 3976 3978 919 0 -1 4202560 15 0 0 0 6 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341331827624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3985] ppid=3976 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/3978/task/3985/stat : 3985 (java) S 3976 3978 919 0 -1 4202560 5 0 0 0 6 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341330774312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3986] ppid=3976 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/3978/task/3986/stat : 3986 (java) S 3976 3978 919 0 -1 4202560 5 0 0 0 6 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341329721512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3987] ppid=3976 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/3978/task/3987/stat : 3987 (java) S 3976 3978 919 0 -1 4202560 5 0 0 0 6 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341328669224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3988] ppid=3976 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/3978/task/3988/stat : 3988 (java) S 3976 3978 919 0 -1 4202560 10 0 0 0 8 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341327616424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3989] ppid=3976 vsize=9624980 CPUtime=0.69 cores=0,2,4,6
/proc/3978/task/3989/stat : 3989 (java) S 3976 3978 919 0 -1 4202560 48 0 0 0 69 0 0 0 20 0 19 0 291546985 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341315418856 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3990] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3990/stat : 3990 (java) S 3976 3978 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291546985 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341314364920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3991] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3991/stat : 3991 (java) S 3976 3978 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291546985 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341313312520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3992] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3992/stat : 3992 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341312261008 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3993] ppid=3976 vsize=9624980 CPUtime=1.13 cores=0,2,4,6
/proc/3978/task/3993/stat : 3993 (java) S 3976 3978 919 0 -1 4202560 11500 0 0 0 111 2 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341311207608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3994] ppid=3976 vsize=9624980 CPUtime=0.48 cores=0,2,4,6
/proc/3978/task/3994/stat : 3994 (java) S 3976 3978 919 0 -1 4202560 4801 0 0 0 48 0 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341310154808 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3995] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3995/stat : 3995 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341309102712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3996] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3996/stat : 3996 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341308050120 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3997] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3997/stat : 3997 (java) S 3976 3978 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291546999 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341306996136 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 22.53
Current children cumulated vsize (KiB) 9624980

[startup+20.6005 s]
/proc/loadavg: 1.97 2.00 1.99 3/213 3997
/proc/meminfo: memFree=30355816/32873648 swapFree=7112/7112
[pid=3978] ppid=3976 vsize=9624980 CPUtime=22.63 cores=0,2,4,6
/proc/3978/stat : 3978 (java) S 3976 3978 919 0 -1 4202496 20143 0 1 0 2258 5 0 0 20 0 19 0 291546982 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140736722439600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3978/statm: 2406245 17305 2274 9 0 2396937 0
[pid=3978/tid=3979] ppid=3976 vsize=9624980 CPUtime=19.67 cores=0,2,4,6
/proc/3978/task/3979/stat : 3979 (java) R 3976 3978 919 0 -1 4202560 2533 0 1 0 1965 2 0 0 20 0 19 0 291546983 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341491552704 140341361948210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3981] ppid=3976 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/3978/task/3981/stat : 3981 (java) S 3976 3978 919 0 -1 4202560 14 0 0 0 6 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341480622888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3982] ppid=3976 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/3978/task/3982/stat : 3982 (java) S 3976 3978 919 0 -1 4202560 8 0 0 0 5 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341333932712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3983] ppid=3976 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/3978/task/3983/stat : 3983 (java) S 3976 3978 919 0 -1 4202560 19 0 0 0 7 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341332880424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3984] ppid=3976 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/3978/task/3984/stat : 3984 (java) S 3976 3978 919 0 -1 4202560 15 0 0 0 6 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341331827624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3985] ppid=3976 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/3978/task/3985/stat : 3985 (java) S 3976 3978 919 0 -1 4202560 5 0 0 0 6 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341330774312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3986] ppid=3976 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/3978/task/3986/stat : 3986 (java) S 3976 3978 919 0 -1 4202560 5 0 0 0 6 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341329721512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3987] ppid=3976 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/3978/task/3987/stat : 3987 (java) S 3976 3978 919 0 -1 4202560 5 0 0 0 6 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341328669224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3988] ppid=3976 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/3978/task/3988/stat : 3988 (java) S 3976 3978 919 0 -1 4202560 10 0 0 0 8 0 0 0 20 0 19 0 291546984 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341327616424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3989] ppid=3976 vsize=9624980 CPUtime=0.69 cores=0,2,4,6
/proc/3978/task/3989/stat : 3989 (java) S 3976 3978 919 0 -1 4202560 48 0 0 0 69 0 0 0 20 0 19 0 291546985 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341315418856 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3978/tid=3990] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3990/stat : 3990 (java) S 3976 3978 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291546985 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341314364920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3991] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3991/stat : 3991 (java) S 3976 3978 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291546985 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341313312520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3992] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3992/stat : 3992 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341312261008 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3993] ppid=3976 vsize=9624980 CPUtime=1.13 cores=0,2,4,6
/proc/3978/task/3993/stat : 3993 (java) S 3976 3978 919 0 -1 4202560 11500 0 0 0 111 2 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341311207608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3978/tid=3994] ppid=3976 vsize=9624980 CPUtime=0.48 cores=0,2,4,6
/proc/3978/task/3994/stat : 3994 (java) S 3976 3978 919 0 -1 4202560 4801 0 0 0 48 0 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341310154808 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3995] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3995/stat : 3995 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341309102712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3978/tid=3996] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3996/stat : 3996 (java) S 3976 3978 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291546987 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341308050120 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3978/tid=3997] ppid=3976 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3978/task/3997/stat : 3997 (java) S 3976 3978 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291546999 9855979520 17305 33554432000 1073741824 1073778376 140736722448464 140341306996136 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 22.63
Current children cumulated vsize (KiB) 9624980

Child status: 30
Real time (s): 20.6963
CPU time (s): 22.8005
CPU user time (s): 22.6396
CPU system time (s): 0.160975
CPU usage (%): 110.167
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.6396
system time used= 0.160975
maximum resident set size= 80032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20163
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= 2752
involuntary context switches= 2521

runsolver used 0.06199 second user time and 0.176973 second system time

The end

Launcher Data

Begin job on node126 at 2012-05-29 03:16:51
IDJOB=3718433
IDBENCH=79231
IDSOLVER=2301
FILE ID=node126/3718433-1338254211
RUNJOBID= node126-1338248585-2144
PBS_JOBID= 14624661
Free space on /tmp= 71360 MiB

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

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

MD5SUM BENCH= c968c5c5686ce999c268d6dcbb002538
RANDOM SEED=2072590253

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30433428 kB
Buffers:          426040 kB
Cached:           730244 kB
SwapCached:        17756 kB
Active:          1249064 kB
Inactive:         314552 kB
Active(anon):     388860 kB
Inactive(anon):    20452 kB
Active(file):     860204 kB
Inactive(file):   294100 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:               536 kB
Writeback:             0 kB
AnonPages:        407876 kB
Mapped:            17980 kB
Shmem:                 0 kB
Slab:             727284 kB
SReclaimable:     171392 kB
SUnreclaim:       555892 kB
KernelStack:        1600 kB
PageTables:         4760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     698628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    374784 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= 71360 MiB
End job on node126 at 2012-05-29 03:17:11